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) {
168 true, InFile,
"",
false);
187std::vector<std::unique_ptr<ASTConsumer>>
191 OS = CreateOutputFile(CI, InFile);
198 auto Buffer = std::make_shared<PCHBuffer>();
199 std::vector<std::unique_ptr<ASTConsumer>> Consumers;
201 Consumers.push_back(std::make_unique<PCHGenerator>(
211 CI, std::string(InFile), OutputFile, std::move(OS), Buffer));
215std::unique_ptr<ASTConsumer>
218 std::vector<std::unique_ptr<ASTConsumer>> Consumers =
220 if (Consumers.empty())
223 return std::make_unique<MultiplexConsumer>(std::move(Consumers));
231bool GenerateModuleFromModuleMapAction::BeginSourceFileAction(
241std::unique_ptr<raw_pwrite_stream>
248 if (ModuleMapFile.empty())
249 ModuleMapFile = InFile;
267 if (
const auto InputFormat = FIF.getKind().getFormat();
270 diag::err_frontend_action_unsupported_input_format)
271 <<
"module interface compilation" << FIF.getFile() << InputFormat;
285std::unique_ptr<ASTConsumer>
288 std::vector<std::unique_ptr<ASTConsumer>> Consumers;
292 Consumers.push_back(std::make_unique<ReducedBMIGenerator>(
298 Consumers.push_back(std::make_unique<CXX20ModulesGenerator>(
303 return std::make_unique<MultiplexConsumer>(std::move(Consumers));
306std::unique_ptr<raw_pwrite_stream>
312std::unique_ptr<ASTConsumer>
313GenerateReducedModuleInterfaceAction::CreateASTConsumer(
CompilerInstance &CI,
315 return std::make_unique<ReducedBMIGenerator>(
329std::unique_ptr<raw_pwrite_stream>
338std::unique_ptr<ASTConsumer>
340 return std::make_unique<ASTConsumer>();
343std::unique_ptr<ASTConsumer>
346 return std::make_unique<ASTConsumer>();
349std::unique_ptr<ASTConsumer>
351 return std::make_unique<ASTConsumer>();
358 std::unique_ptr<ASTReader> Reader(
new ASTReader(
362 Sysroot.empty() ?
"" : Sysroot.c_str(),
374struct TemplightEntry {
378 std::string DefinitionLocation;
379 std::string PointOfInstantiation;
385template <>
struct MappingTraits<TemplightEntry> {
386 static void mapping(IO &io, TemplightEntry &fields) {
387 io.mapRequired(
"name", fields.Name);
388 io.mapRequired(
"kind", fields.Kind);
389 io.mapRequired(
"event", fields.Event);
390 io.mapRequired(
"orig", fields.DefinitionLocation);
391 io.mapRequired(
"poi", fields.PointOfInstantiation);
399 using CodeSynthesisContext = Sema::CodeSynthesisContext;
404 void finalize(
const Sema &)
override {}
407 const CodeSynthesisContext &Inst)
override {
408 displayTemplightEntry<true>(llvm::outs(), TheSema, Inst);
412 const CodeSynthesisContext &Inst)
override {
413 displayTemplightEntry<false>(llvm::outs(), TheSema, Inst);
417 static std::string
toString(CodeSynthesisContext::SynthesisKind Kind) {
419 case CodeSynthesisContext::TemplateInstantiation:
420 return "TemplateInstantiation";
421 case CodeSynthesisContext::DefaultTemplateArgumentInstantiation:
422 return "DefaultTemplateArgumentInstantiation";
423 case CodeSynthesisContext::DefaultFunctionArgumentInstantiation:
424 return "DefaultFunctionArgumentInstantiation";
425 case CodeSynthesisContext::ExplicitTemplateArgumentSubstitution:
426 return "ExplicitTemplateArgumentSubstitution";
427 case CodeSynthesisContext::DeducedTemplateArgumentSubstitution:
428 return "DeducedTemplateArgumentSubstitution";
429 case CodeSynthesisContext::LambdaExpressionSubstitution:
430 return "LambdaExpressionSubstitution";
431 case CodeSynthesisContext::PriorTemplateArgumentSubstitution:
432 return "PriorTemplateArgumentSubstitution";
433 case CodeSynthesisContext::DefaultTemplateArgumentChecking:
434 return "DefaultTemplateArgumentChecking";
435 case CodeSynthesisContext::ExceptionSpecEvaluation:
436 return "ExceptionSpecEvaluation";
437 case CodeSynthesisContext::ExceptionSpecInstantiation:
438 return "ExceptionSpecInstantiation";
439 case CodeSynthesisContext::DeclaringSpecialMember:
440 return "DeclaringSpecialMember";
441 case CodeSynthesisContext::DeclaringImplicitEqualityComparison:
442 return "DeclaringImplicitEqualityComparison";
443 case CodeSynthesisContext::DefiningSynthesizedFunction:
444 return "DefiningSynthesizedFunction";
445 case CodeSynthesisContext::RewritingOperatorAsSpaceship:
446 return "RewritingOperatorAsSpaceship";
447 case CodeSynthesisContext::Memoization:
448 return "Memoization";
449 case CodeSynthesisContext::ConstraintsCheck:
450 return "ConstraintsCheck";
451 case CodeSynthesisContext::ConstraintSubstitution:
452 return "ConstraintSubstitution";
453 case CodeSynthesisContext::ConstraintNormalization:
454 return "ConstraintNormalization";
455 case CodeSynthesisContext::RequirementParameterInstantiation:
456 return "RequirementParameterInstantiation";
457 case CodeSynthesisContext::ParameterMappingSubstitution:
458 return "ParameterMappingSubstitution";
459 case CodeSynthesisContext::RequirementInstantiation:
460 return "RequirementInstantiation";
461 case CodeSynthesisContext::NestedRequirementConstraintsCheck:
462 return "NestedRequirementConstraintsCheck";
463 case CodeSynthesisContext::InitializingStructuredBinding:
464 return "InitializingStructuredBinding";
465 case CodeSynthesisContext::MarkingClassDllexported:
466 return "MarkingClassDllexported";
467 case CodeSynthesisContext::BuildingBuiltinDumpStructCall:
468 return "BuildingBuiltinDumpStructCall";
469 case CodeSynthesisContext::BuildingDeductionGuides:
470 return "BuildingDeductionGuides";
471 case CodeSynthesisContext::TypeAliasTemplateInstantiation:
472 return "TypeAliasTemplateInstantiation";
473 case CodeSynthesisContext::PartialOrderingTTP:
474 return "PartialOrderingTTP";
475 case CodeSynthesisContext::SYCLKernelLaunchLookup:
476 return "SYCLKernelLaunchLookup";
477 case CodeSynthesisContext::SYCLKernelLaunchOverloadResolution:
478 return "SYCLKernelLaunchOverloadResolution";
483 template <
bool BeginInstantiation>
484 static void displayTemplightEntry(llvm::raw_ostream &Out,
const Sema &TheSema,
485 const CodeSynthesisContext &Inst) {
488 llvm::raw_string_ostream
OS(YAML);
489 llvm::yaml::Output YO(OS);
490 TemplightEntry Entry =
491 getTemplightEntry<BeginInstantiation>(TheSema, Inst);
492 llvm::yaml::EmptyContext Context;
493 llvm::yaml::yamlize(YO, Entry,
true, Context);
495 Out <<
"---" << YAML <<
"\n";
498 static void printEntryName(
const Sema &TheSema,
const Decl *Entity,
499 llvm::raw_string_ostream &OS) {
505 NamedTemplate->getNameForDiagnostic(OS, Policy,
true);
507 if (!
OS.str().empty())
511 NamedDecl *NamedCtx = dyn_cast_or_null<NamedDecl>(Ctx);
513 if (
const auto *Decl = dyn_cast<TagDecl>(NamedTemplate)) {
514 if (
const auto *R = dyn_cast<RecordDecl>(Decl)) {
521 OS <<
"unnamed " <<
Decl->getKindName();
525 assert(NamedCtx &&
"NamedCtx cannot be null");
527 if (
const auto *Decl = dyn_cast<ParmVarDecl>(NamedTemplate)) {
528 OS <<
"unnamed function parameter " <<
Decl->getFunctionScopeIndex()
530 if (
Decl->getFunctionScopeDepth() > 0)
531 OS <<
"(at depth " <<
Decl->getFunctionScopeDepth() <<
") ";
537 if (
const auto *Decl = dyn_cast<TemplateTypeParmDecl>(NamedTemplate)) {
538 if (
const Type *Ty =
Decl->getTypeForDecl()) {
539 if (
const auto *TTPT = dyn_cast_or_null<TemplateTypeParmType>(Ty)) {
540 OS <<
"unnamed template type parameter " << TTPT->getIndex() <<
" ";
541 if (TTPT->getDepth() > 0)
542 OS <<
"(at depth " << TTPT->getDepth() <<
") ";
550 if (
const auto *Decl = dyn_cast<NonTypeTemplateParmDecl>(NamedTemplate)) {
551 OS <<
"unnamed template non-type parameter " <<
Decl->getIndex() <<
" ";
552 if (
Decl->getDepth() > 0)
553 OS <<
"(at depth " <<
Decl->getDepth() <<
") ";
559 if (
const auto *Decl = dyn_cast<TemplateTemplateParmDecl>(NamedTemplate)) {
560 OS <<
"unnamed template template parameter " <<
Decl->getIndex() <<
" ";
561 if (
Decl->getDepth() > 0)
562 OS <<
"(at depth " <<
Decl->getDepth() <<
") ";
568 llvm_unreachable(
"Failed to retrieve a name for this entry!");
569 OS <<
"unnamed identifier";
572 template <
bool BeginInstantiation>
573 static TemplightEntry getTemplightEntry(
const Sema &TheSema,
574 const CodeSynthesisContext &Inst) {
575 TemplightEntry Entry;
577 Entry.Event = BeginInstantiation ?
"Begin" :
"End";
578 llvm::raw_string_ostream
OS(Entry.Name);
579 printEntryName(TheSema, Inst.Entity, OS);
580 const PresumedLoc DefLoc =
583 Entry.DefinitionLocation = std::string(DefLoc.
getFilename()) +
":" +
584 std::to_string(DefLoc.
getLine()) +
":" +
586 const PresumedLoc PoiLoc =
589 Entry.PointOfInstantiation = std::string(PoiLoc.
getFilename()) +
":" +
590 std::to_string(PoiLoc.
getLine()) +
":" +
598std::unique_ptr<ASTConsumer>
600 return std::make_unique<ASTConsumer>();
610 EnsureSemaIsCreated(CI, *
this);
613 std::make_unique<DefaultTemplateInstCallback>());
621 llvm::raw_ostream &Out;
628#define DUMP_BOOLEAN(Value, Text) \
629 Out.indent(4) << Text << ": " << (Value? "Yes" : "No") << "\n"
631 bool ReadFullVersionInformation(StringRef FullVersion)
override {
636 <<
" Clang: " << FullVersion <<
"\n";
640 void ReadModuleName(StringRef ModuleName)
override {
641 Out.indent(2) <<
"Module name: " << ModuleName <<
"\n";
643 void ReadModuleMapFile(StringRef ModuleMapPath)
override {
644 Out.indent(2) <<
"Module map file: " << ModuleMapPath <<
"\n";
647 bool ReadLanguageOptions(
const LangOptions &LangOpts,
648 StringRef ModuleFilename,
bool Complain,
649 bool AllowCompatibleDifferences)
override {
651 using CK = LangOptions::CompatibilityKind;
653 Out.indent(2) <<
"Language options:\n";
654#define LANGOPT(Name, Bits, Default, Compatibility, Description) \
655 if constexpr (CK::Compatibility != CK::Benign) \
656 DUMP_BOOLEAN(LangOpts.Name, Description);
657#define ENUM_LANGOPT(Name, Type, Bits, Default, Compatibility, Description) \
658 if constexpr (CK::Compatibility != CK::Benign) \
659 Out.indent(4) << Description << ": " \
660 << static_cast<unsigned>(LangOpts.get##Name()) << "\n";
661#define VALUE_LANGOPT(Name, Bits, Default, Compatibility, Description) \
662 if constexpr (CK::Compatibility != CK::Benign) \
663 Out.indent(4) << Description << ": " << LangOpts.Name << "\n";
664#include "clang/Basic/LangOptions.def"
667 Out.indent(4) <<
"Module features:\n";
675 bool ReadTargetOptions(
const TargetOptions &TargetOpts,
676 StringRef ModuleFilename,
bool Complain,
677 bool AllowCompatibleDifferences)
override {
678 Out.indent(2) <<
"Target options:\n";
679 Out.indent(4) <<
" Triple: " << TargetOpts.
Triple <<
"\n";
680 Out.indent(4) <<
" CPU: " << TargetOpts.
CPU <<
"\n";
681 Out.indent(4) <<
" TuneCPU: " << TargetOpts.
TuneCPU <<
"\n";
682 Out.indent(4) <<
" ABI: " << TargetOpts.
ABI <<
"\n";
685 Out.indent(4) <<
"Target features:\n";
695 bool ReadDiagnosticOptions(DiagnosticOptions &DiagOpts,
696 StringRef ModuleFilename,
697 bool Complain)
override {
698 Out.indent(2) <<
"Diagnostic options:\n";
699#define DIAGOPT(Name, Bits, Default) DUMP_BOOLEAN(DiagOpts.Name, #Name);
700#define ENUM_DIAGOPT(Name, Type, Bits, Default) \
701 Out.indent(4) << #Name << ": " << DiagOpts.get##Name() << "\n";
702#define VALUE_DIAGOPT(Name, Bits, Default) \
703 Out.indent(4) << #Name << ": " << DiagOpts.Name << "\n";
704#include "clang/Basic/DiagnosticOptions.def"
706 Out.indent(4) <<
"Diagnostic flags:\n";
715 bool ReadHeaderSearchOptions(
const HeaderSearchOptions &HSOpts,
716 StringRef ModuleFilename,
717 StringRef ContextHash,
718 bool Complain)
override {
721 std::string(ContextHash));
723 Out.indent(2) <<
"Header search options:\n";
724 Out.indent(4) <<
"System root [-isysroot=]: '" << HSOpts.
Sysroot <<
"'\n";
725 Out.indent(4) <<
"Resource dir [ -resource-dir=]: '" << HSOpts.
ResourceDir <<
"'\n";
726 Out.indent(4) <<
"Module Cache: '" << SpecificModuleCachePath <<
"'\n";
728 "Use builtin include directories [-nobuiltininc]");
730 "Use standard system include directories [-nostdinc]");
732 "Use standard C++ include directories [-nostdinc++]");
734 "Use libc++ (rather than libstdc++) [-stdlib=]");
738 bool ReadHeaderSearchPaths(
const HeaderSearchOptions &HSOpts,
739 bool Complain)
override {
740 Out.indent(2) <<
"Header search paths:\n";
741 Out.indent(4) <<
"User entries:\n";
743 Out.indent(6) << Entry.Path <<
"\n";
744 Out.indent(4) <<
"System header prefixes:\n";
746 Out.indent(6) << Prefix.Prefix <<
"\n";
747 Out.indent(4) <<
"VFS overlay files:\n";
749 Out.indent(6) << Overlay <<
"\n";
753 bool ReadPreprocessorOptions(
const PreprocessorOptions &PPOpts,
754 StringRef ModuleFilename,
bool ReadMacros,
756 std::string &SuggestedPredefines)
override {
757 Out.indent(2) <<
"Preprocessor options:\n";
759 "Uses compiler/target-specific predefines [-undef]");
761 "Uses detailed preprocessing record (for indexing)");
764 Out.indent(4) <<
"Predefined macros:\n";
767 for (std::vector<std::pair<std::string, bool/*isUndef*/> >::const_iterator
775 Out << I->first <<
"\n";
781 void readModuleFileExtension(
782 const ModuleFileExtensionMetadata &Metadata)
override {
783 Out.indent(2) <<
"Module file extension '"
796 bool needsInputFileVisitation()
override {
return true; }
800 bool needsSystemInputFileVisitation()
override {
return true; }
805 bool visitInputFileAsRequested(StringRef FilenameAsRequested,
806 StringRef Filename,
bool isSystem,
807 bool isOverridden, time_t StoredTime,
808 bool isExplicitModule)
override {
810 Out.indent(2) <<
"Input file: " << FilenameAsRequested;
812 if (isSystem || isOverridden || isExplicitModule) {
816 if (isOverridden || isExplicitModule)
821 if (isExplicitModule)
824 if (isExplicitModule)
825 Out <<
"ExplicitModule";
833 Out.indent(4) <<
"MTime: " << llvm::itostr(StoredTime) <<
"\n";
840 bool needsImportVisitation()
const override {
return true; }
844 void visitImport(StringRef ModuleName, StringRef Filename)
override {
845 Out.indent(2) <<
"Imports module '" << ModuleName
846 <<
"': " << Filename.str() <<
"\n";
862 return "Module Map Module";
864 return "Interface Unit";
866 return "Implementation Unit";
868 return "Partition Interface";
870 return "Partition Implementation";
872 return "Header Unit";
874 return "Global Module Fragment";
876 return "Implicit Module Fragment";
878 return "Private Module Fragment";
880 llvm_unreachable(
"unknown module kind!");
895 if (!OutputFileName.empty() && OutputFileName !=
"-") {
897 OutputStream.reset(
new llvm::raw_fd_ostream(
898 OutputFileName.str(), EC, llvm::sys::fs::OF_TextWithCRLF));
900 llvm::raw_ostream &Out = OutputStream ? *OutputStream : llvm::outs();
902 Out <<
"Information for module file '" <<
getCurrentFile() <<
"':\n";
905 StringRef Magic = (*Buffer)->getMemBufferRef().getBuffer();
906 bool IsRaw = Magic.starts_with(
"CPCH");
907 Out <<
" Module format: " << (IsRaw ?
"raw" :
"obj") <<
"\n";
912 PP.getHeaderSearchInfo().getHeaderSearchOpts();
921 unsigned SubModuleCount = R->getTotalNumSubmodules();
923 Out <<
" ====== C++20 Module structure ======\n";
926 Out <<
" Mismatched module names : " << MF.
ModuleName <<
" and "
936 std::map<std::string, SubModInfo> SubModMap;
939 auto I = SubModMap.find(Name);
940 if (I == SubModMap.end())
941 Out <<
" was not found in the sub modules!\n";
943 I->second.Seen =
true;
944 Out <<
" is at index #" << I->second.Idx <<
"\n";
947 Module *Primary =
nullptr;
948 for (
unsigned Idx = 0; Idx <= SubModuleCount; ++Idx) {
949 Module *M = R->getModule(Idx);
955 <<
"' is the Primary Module at index #" << Idx <<
"\n";
956 SubModMap.insert({M->
Name, {Idx, M, M->
Kind, M->Name,
true}});
958 SubModMap.insert({M->
Name, {Idx, M, M->
Kind, M->Name,
false}});
962 Out <<
" Sub Modules:\n";
964 PrintSubMapEntry(MI->Name, MI->Kind);
967 Out <<
" Imports:\n";
968 for (
auto *IMP : Primary->
Imports) {
969 PrintSubMapEntry(IMP->Name, IMP->Kind);
972 Out <<
" Exports:\n";
973 for (
unsigned MN = 0, N = Primary->
Exports.size(); MN != N; ++MN) {
975 PrintSubMapEntry(M->Name, M->Kind);
984 std::vector<StringRef> MacroNames;
985 for (
const auto &M : R->getPreprocessor().macros()) {
986 if (M.first->isFromAST())
987 MacroNames.push_back(M.first->getName());
989 llvm::sort(MacroNames);
990 if (!MacroNames.empty())
991 Out <<
" Macro Definitions:\n";
992 for (StringRef Name : MacroNames)
993 Out <<
" " << Name <<
"\n";
997 for (
const auto &
SM : SubModMap) {
998 if (!
SM.second.Seen &&
SM.second.Mod) {
1000 <<
"' at index #" <<
SM.second.Idx
1001 <<
" has no direct reference in the Primary\n";
1004 Out <<
" ====== ======\n";
1025 llvm::MemoryBufferRef FromFile =
SM.getBufferOrFake(
SM.getMainFileID());
1031 while (RawTok.
isNot(tok::eof)) {
1033 llvm::errs() <<
"\n";
1046 llvm::errs() <<
"\n";
1047 }
while (
Tok.isNot(tok::eof));
1061 }
while (
Tok.isNot(tok::eof));
1080 bool BinaryMode =
false;
1081 if (llvm::Triple(LLVM_HOST_TRIPLE).isOSWindows()) {
1084 if (std::optional<llvm::MemoryBufferRef> Buffer =
1085 SM.getBufferOrNone(
SM.getMainFileID())) {
1086 const char *cur = Buffer->getBufferStart();
1087 const char *end = Buffer->getBufferEnd();
1088 const char *next = (cur != end) ? cur + 1 : end;
1093 if (end - cur > 256)
1096 while (next < end) {
1102 }
else if (*cur == 0x0A)
1111 std::unique_ptr<raw_ostream> OS =
1119 if (Input.isFile()) {
1121 OS->write_escaped(Input.getFile());
1125 (*OS) <<
"#pragma clang module contents\n";
1162 llvm::outs().write((*Buffer)->getBufferStart(),
Preamble);
1168 std::unique_ptr<raw_ostream> OSP =
1173 raw_ostream &OS = *OSP;
1183 OS <<
"\n\"features\" : [\n";
1186#define FEATURE(Name, Predicate) \
1187 ("\t{\"" #Name "\" : " + llvm::Twine(Predicate ? "true" : "false") + "},\n") \
1189#include "clang/Basic/Features.def"
1193 OS << Str.substr(0, Str.size() - 2);
1197 OS <<
"\n\"extensions\" : [\n";
1200#define EXTENSION(Name, Predicate) \
1201 ("\t{\"" #Name "\" : " + llvm::Twine(Predicate ? "true" : "false") + "},\n") \
1203#include "clang/Basic/Features.def"
1207 OS << Str.substr(0, Str.size() - 2);
1217 llvm::MemoryBufferRef FromFile =
SM.getBufferOrFake(
SM.getMainFileID());
1223 SM.getLocForStartOfFile(
SM.getMainFileID()))) {
1225 "no errors reported for failure");
1237 }
while (
Tok.isNot(tok::eof));
1252 StringRef RootSigName;
1253 llvm::dxbc::RootSignatureVersion Version;
1255 std::optional<StringLiteral *> processStringLiteral(
ArrayRef<Token> Tokens) {
1258 return std::nullopt;
1260 ExprResult StringResult = Actions.ActOnUnevaluatedStringLiteral(Tokens);
1262 return std::nullopt;
1264 if (
auto Signature = dyn_cast<StringLiteral>(StringResult.
get()))
1267 return std::nullopt;
1277 auto Signature = processStringLiteral(MI->
tokens());
1278 if (!Signature.has_value()) {
1280 diag::err_expected_string_literal)
1281 << 4 <<
"RootSignature";
1287 Actions.HLSL().SetRootSignatureOverride(DeclIdent);
1291 llvm::dxbc::RootSignatureVersion Version)
1292 :
PPCallbacks(), Actions(Actions), RootSigName(RootSigName),
1312 bool IsRootSignatureTarget =
1318 StringRef RootSigName =
1321 auto MacroCallback = std::make_unique<InjectRootSignatureCallback>(
1328 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.
#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.
const PCHContainerReader & getPCHContainerReader() const
Return the appropriate PCHContainerReader depending on the current CodeGenOptions.
DiagnosticsEngine & getDiagnostics() const
Get the current diagnostics engine.
std::unique_ptr< raw_pwrite_stream > createDefaultOutputFile(bool Binary=true, StringRef BaseInput="", StringRef Extension="", bool RemoveFileOnSignal=true, bool CreateMissingDirectories=false, bool ForceUseTemporary=false)
Create the default output file (from the invocation's options) and add it to the list of tracked outp...
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.
static std::unique_ptr< llvm::raw_pwrite_stream > CreateOutputFile(CompilerInstance &CI, StringRef InFile, std::string &OutputFile)
Creates file to write the PCH into and returns a stream to write it into.
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.
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.
llvm::SmallSetVector< Module *, 2 > Imports
The set of modules imported by this module, and on which this module depends.
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.
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)