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,
148 CI, std::string(InFile), OutputFile, std::move(OS), Buffer));
150 return std::make_unique<MultiplexConsumer>(std::move(Consumers));
154 std::string &Sysroot) {
164std::unique_ptr<llvm::raw_pwrite_stream>
166 std::string &OutputFile) {
169 true, InFile,
"",
false);
188std::vector<std::unique_ptr<ASTConsumer>>
191 std::unique_ptr<raw_pwrite_stream> 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>(
213 CI, std::string(InFile), OutputFile, std::move(OS), Buffer));
217std::unique_ptr<ASTConsumer>
220 std::vector<std::unique_ptr<ASTConsumer>> Consumers =
222 if (Consumers.empty())
225 return std::make_unique<MultiplexConsumer>(std::move(Consumers));
233bool GenerateModuleFromModuleMapAction::BeginSourceFileAction(
243std::unique_ptr<raw_pwrite_stream>
250 if (ModuleMapFile.empty())
251 ModuleMapFile = InFile;
269 if (
const auto InputFormat = FIF.getKind().getFormat();
272 diag::err_frontend_action_unsupported_input_format)
273 <<
"module interface compilation" << FIF.getFile() << InputFormat;
287std::unique_ptr<ASTConsumer>
290 std::vector<std::unique_ptr<ASTConsumer>> Consumers;
294 Consumers.push_back(std::make_unique<ReducedBMIGenerator>(
300 Consumers.push_back(std::make_unique<CXX20ModulesGenerator>(
305 return std::make_unique<MultiplexConsumer>(std::move(Consumers));
308std::unique_ptr<raw_pwrite_stream>
314std::unique_ptr<ASTConsumer>
315GenerateReducedModuleInterfaceAction::CreateASTConsumer(
CompilerInstance &CI,
317 return std::make_unique<ReducedBMIGenerator>(
331std::unique_ptr<raw_pwrite_stream>
340std::unique_ptr<ASTConsumer>
342 return std::make_unique<ASTConsumer>();
345std::unique_ptr<ASTConsumer>
348 return std::make_unique<ASTConsumer>();
351std::unique_ptr<ASTConsumer>
353 return std::make_unique<ASTConsumer>();
360 std::unique_ptr<ASTReader> Reader(
new ASTReader(
364 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::ConstraintNormalization:
458 return "ConstraintNormalization";
459 case CodeSynthesisContext::RequirementParameterInstantiation:
460 return "RequirementParameterInstantiation";
461 case CodeSynthesisContext::ParameterMappingSubstitution:
462 return "ParameterMappingSubstitution";
463 case CodeSynthesisContext::RequirementInstantiation:
464 return "RequirementInstantiation";
465 case CodeSynthesisContext::NestedRequirementConstraintsCheck:
466 return "NestedRequirementConstraintsCheck";
467 case CodeSynthesisContext::InitializingStructuredBinding:
468 return "InitializingStructuredBinding";
469 case CodeSynthesisContext::MarkingClassDllexported:
470 return "MarkingClassDllexported";
471 case CodeSynthesisContext::BuildingBuiltinDumpStructCall:
472 return "BuildingBuiltinDumpStructCall";
473 case CodeSynthesisContext::BuildingDeductionGuides:
474 return "BuildingDeductionGuides";
475 case CodeSynthesisContext::TypeAliasTemplateInstantiation:
476 return "TypeAliasTemplateInstantiation";
477 case CodeSynthesisContext::PartialOrderingTTP:
478 return "PartialOrderingTTP";
479 case CodeSynthesisContext::SYCLKernelLaunchLookup:
480 return "SYCLKernelLaunchLookup";
481 case CodeSynthesisContext::SYCLKernelLaunchOverloadResolution:
482 return "SYCLKernelLaunchOverloadResolution";
487 template <
bool BeginInstantiation>
488 static void displayTemplightEntry(llvm::raw_ostream &Out,
const Sema &TheSema,
489 const CodeSynthesisContext &Inst) {
492 llvm::raw_string_ostream
OS(YAML);
493 llvm::yaml::Output YO(OS);
494 TemplightEntry Entry =
495 getTemplightEntry<BeginInstantiation>(TheSema, Inst);
496 llvm::yaml::EmptyContext Context;
497 llvm::yaml::yamlize(YO, Entry,
true, Context);
499 Out <<
"---" << YAML <<
"\n";
502 static void printEntryName(
const Sema &TheSema,
const Decl *Entity,
503 llvm::raw_string_ostream &OS) {
509 NamedTemplate->getNameForDiagnostic(OS, Policy,
true);
511 if (!
OS.str().empty())
515 NamedDecl *NamedCtx = dyn_cast_or_null<NamedDecl>(Ctx);
517 if (
const auto *Decl = dyn_cast<TagDecl>(NamedTemplate)) {
518 if (
const auto *R = dyn_cast<RecordDecl>(Decl)) {
525 OS <<
"unnamed " <<
Decl->getKindName();
529 assert(NamedCtx &&
"NamedCtx cannot be null");
531 if (
const auto *Decl = dyn_cast<ParmVarDecl>(NamedTemplate)) {
532 OS <<
"unnamed function parameter " <<
Decl->getFunctionScopeIndex()
534 if (
Decl->getFunctionScopeDepth() > 0)
535 OS <<
"(at depth " <<
Decl->getFunctionScopeDepth() <<
") ";
541 if (
const auto *Decl = dyn_cast<TemplateTypeParmDecl>(NamedTemplate)) {
542 if (
const Type *Ty =
Decl->getTypeForDecl()) {
543 if (
const auto *TTPT = dyn_cast_or_null<TemplateTypeParmType>(Ty)) {
544 OS <<
"unnamed template type parameter " << TTPT->getIndex() <<
" ";
545 if (TTPT->getDepth() > 0)
546 OS <<
"(at depth " << TTPT->getDepth() <<
") ";
554 if (
const auto *Decl = dyn_cast<NonTypeTemplateParmDecl>(NamedTemplate)) {
555 OS <<
"unnamed template non-type parameter " <<
Decl->getIndex() <<
" ";
556 if (
Decl->getDepth() > 0)
557 OS <<
"(at depth " <<
Decl->getDepth() <<
") ";
563 if (
const auto *Decl = dyn_cast<TemplateTemplateParmDecl>(NamedTemplate)) {
564 OS <<
"unnamed template template parameter " <<
Decl->getIndex() <<
" ";
565 if (
Decl->getDepth() > 0)
566 OS <<
"(at depth " <<
Decl->getDepth() <<
") ";
572 llvm_unreachable(
"Failed to retrieve a name for this entry!");
573 OS <<
"unnamed identifier";
576 template <
bool BeginInstantiation>
577 static TemplightEntry getTemplightEntry(
const Sema &TheSema,
578 const CodeSynthesisContext &Inst) {
579 TemplightEntry Entry;
581 Entry.Event = BeginInstantiation ?
"Begin" :
"End";
582 llvm::raw_string_ostream
OS(Entry.Name);
583 printEntryName(TheSema, Inst.Entity, OS);
584 const PresumedLoc DefLoc =
587 Entry.DefinitionLocation = std::string(DefLoc.
getFilename()) +
":" +
588 std::to_string(DefLoc.
getLine()) +
":" +
590 const PresumedLoc PoiLoc =
593 Entry.PointOfInstantiation = std::string(PoiLoc.
getFilename()) +
":" +
594 std::to_string(PoiLoc.
getLine()) +
":" +
602std::unique_ptr<ASTConsumer>
604 return std::make_unique<ASTConsumer>();
614 EnsureSemaIsCreated(CI, *
this);
617 std::make_unique<DefaultTemplateInstCallback>());
625 llvm::raw_ostream &Out;
628 DumpModuleInfoListener(llvm::raw_ostream &Out) : Out(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 << ": " << DiagOpts.get##Name() << "\n";
704#define VALUE_DIAGOPT(Name, Bits, Default) \
705 Out.indent(4) << #Name << ": " << DiagOpts.Name << "\n";
706#include "clang/Basic/DiagnosticOptions.def"
708 Out.indent(4) <<
"Diagnostic flags:\n";
717 bool ReadHeaderSearchOptions(
const HeaderSearchOptions &HSOpts,
718 StringRef ModuleFilename,
719 StringRef SpecificModuleCachePath,
720 bool Complain)
override {
721 Out.indent(2) <<
"Header search options:\n";
722 Out.indent(4) <<
"System root [-isysroot=]: '" << HSOpts.
Sysroot <<
"'\n";
723 Out.indent(4) <<
"Resource dir [ -resource-dir=]: '" << HSOpts.
ResourceDir <<
"'\n";
724 Out.indent(4) <<
"Module Cache: '" << SpecificModuleCachePath <<
"'\n";
726 "Use builtin include directories [-nobuiltininc]");
728 "Use standard system include directories [-nostdinc]");
730 "Use standard C++ include directories [-nostdinc++]");
732 "Use libc++ (rather than libstdc++) [-stdlib=]");
736 bool ReadHeaderSearchPaths(
const HeaderSearchOptions &HSOpts,
737 bool Complain)
override {
738 Out.indent(2) <<
"Header search paths:\n";
739 Out.indent(4) <<
"User entries:\n";
741 Out.indent(6) << Entry.Path <<
"\n";
742 Out.indent(4) <<
"System header prefixes:\n";
744 Out.indent(6) << Prefix.Prefix <<
"\n";
745 Out.indent(4) <<
"VFS overlay files:\n";
747 Out.indent(6) << Overlay <<
"\n";
751 bool ReadPreprocessorOptions(
const PreprocessorOptions &PPOpts,
752 StringRef ModuleFilename,
bool ReadMacros,
754 std::string &SuggestedPredefines)
override {
755 Out.indent(2) <<
"Preprocessor options:\n";
757 "Uses compiler/target-specific predefines [-undef]");
759 "Uses detailed preprocessing record (for indexing)");
762 Out.indent(4) <<
"Predefined macros:\n";
765 for (std::vector<std::pair<std::string, bool/*isUndef*/> >::const_iterator
773 Out << I->first <<
"\n";
779 void readModuleFileExtension(
780 const ModuleFileExtensionMetadata &Metadata)
override {
781 Out.indent(2) <<
"Module file extension '"
794 bool needsInputFileVisitation()
override {
return true; }
798 bool needsSystemInputFileVisitation()
override {
return true; }
803 bool visitInputFileAsRequested(StringRef FilenameAsRequested,
804 StringRef Filename,
bool isSystem,
805 bool isOverridden, time_t StoredTime,
806 bool isExplicitModule)
override {
808 Out.indent(2) <<
"Input file: " << FilenameAsRequested;
810 if (isSystem || isOverridden || isExplicitModule) {
814 if (isOverridden || isExplicitModule)
819 if (isExplicitModule)
822 if (isExplicitModule)
823 Out <<
"ExplicitModule";
831 Out.indent(4) <<
"MTime: " << llvm::itostr(StoredTime) <<
"\n";
838 bool needsImportVisitation()
const override {
return true; }
842 void visitImport(StringRef ModuleName, StringRef Filename)
override {
843 Out.indent(2) <<
"Imports module '" << ModuleName
844 <<
"': " << Filename.str() <<
"\n";
860 return "Module Map Module";
862 return "Interface Unit";
864 return "Implementation Unit";
866 return "Partition Interface";
868 return "Partition Implementation";
870 return "Header Unit";
872 return "Global Module Fragment";
874 return "Implicit Module Fragment";
876 return "Private Module Fragment";
878 llvm_unreachable(
"unknown module kind!");
893 if (!OutputFileName.empty() && OutputFileName !=
"-") {
895 OutputStream.reset(
new llvm::raw_fd_ostream(
896 OutputFileName.str(), EC, llvm::sys::fs::OF_TextWithCRLF));
898 llvm::raw_ostream &Out = OutputStream ? *OutputStream : llvm::outs();
900 Out <<
"Information for module file '" <<
getCurrentFile() <<
"':\n";
903 StringRef Magic = (*Buffer)->getMemBufferRef().getBuffer();
904 bool IsRaw = Magic.starts_with(
"CPCH");
905 Out <<
" Module format: " << (IsRaw ?
"raw" :
"obj") <<
"\n";
908 DumpModuleInfoListener Listener(Out);
910 PP.getHeaderSearchInfo().getHeaderSearchOpts();
921 Out <<
" ====== C++20 Module structure ======\n";
924 Out <<
" Mismatched module names : " << MF.
ModuleName <<
" and "
934 std::map<std::string, SubModInfo> SubModMap;
937 auto I = SubModMap.find(Name);
938 if (I == SubModMap.end())
939 Out <<
" was not found in the sub modules!\n";
941 I->second.Seen =
true;
942 Out <<
" is at index #" << I->second.Idx <<
"\n";
945 Module *Primary =
nullptr;
946 for (
unsigned Idx = 0; Idx <= SubModuleCount; ++Idx) {
953 <<
"' is the Primary Module at index #" << Idx <<
"\n";
954 SubModMap.insert({M->
Name, {Idx, M, M->
Kind, M->Name,
true}});
956 SubModMap.insert({M->
Name, {Idx, M, M->
Kind, M->Name,
false}});
960 Out <<
" Sub Modules:\n";
962 PrintSubMapEntry(MI->Name, MI->Kind);
965 Out <<
" Imports:\n";
966 for (
auto *IMP : Primary->
Imports) {
967 PrintSubMapEntry(IMP->Name, IMP->Kind);
970 Out <<
" Exports:\n";
971 for (
unsigned MN = 0, N = Primary->
Exports.size(); MN != N; ++MN) {
973 PrintSubMapEntry(M->Name, M->Kind);
982 std::vector<StringRef> MacroNames;
984 if (M.first->isFromAST())
985 MacroNames.push_back(M.first->getName());
987 llvm::sort(MacroNames);
988 if (!MacroNames.empty())
989 Out <<
" Macro Definitions:\n";
990 for (StringRef Name : MacroNames)
991 Out <<
" " << Name <<
"\n";
995 for (
const auto &
SM : SubModMap) {
996 if (!
SM.second.Seen &&
SM.second.Mod) {
998 <<
"' at index #" <<
SM.second.Idx
999 <<
" has no direct reference in the Primary\n";
1002 Out <<
" ====== ======\n";
1023 llvm::MemoryBufferRef FromFile =
SM.getBufferOrFake(
SM.getMainFileID());
1029 while (RawTok.
isNot(tok::eof)) {
1031 llvm::errs() <<
"\n";
1044 llvm::errs() <<
"\n";
1045 }
while (
Tok.isNot(tok::eof));
1059 }
while (
Tok.isNot(tok::eof));
1078 bool BinaryMode =
false;
1079 if (llvm::Triple(LLVM_HOST_TRIPLE).isOSWindows()) {
1082 if (std::optional<llvm::MemoryBufferRef> Buffer =
1083 SM.getBufferOrNone(
SM.getMainFileID())) {
1084 const char *cur = Buffer->getBufferStart();
1085 const char *end = Buffer->getBufferEnd();
1086 const char *next = (cur != end) ? cur + 1 : end;
1091 if (end - cur > 256)
1094 while (next < end) {
1100 }
else if (*cur == 0x0A)
1109 std::unique_ptr<raw_ostream> OS =
1117 if (Input.isFile()) {
1119 OS->write_escaped(Input.getFile());
1123 (*OS) <<
"#pragma clang module contents\n";
1160 llvm::outs().write((*Buffer)->getBufferStart(),
Preamble);
1166 std::unique_ptr<raw_ostream> OSP =
1171 raw_ostream &OS = *OSP;
1181 OS <<
"\n\"features\" : [\n";
1184#define FEATURE(Name, Predicate) \
1185 ("\t{\"" #Name "\" : " + llvm::Twine(Predicate ? "true" : "false") + "},\n") \
1187#include "clang/Basic/Features.def"
1191 OS << Str.substr(0, Str.size() - 2);
1195 OS <<
"\n\"extensions\" : [\n";
1198#define EXTENSION(Name, Predicate) \
1199 ("\t{\"" #Name "\" : " + llvm::Twine(Predicate ? "true" : "false") + "},\n") \
1201#include "clang/Basic/Features.def"
1205 OS << Str.substr(0, Str.size() - 2);
1215 llvm::MemoryBufferRef FromFile =
SM.getBufferOrFake(
SM.getMainFileID());
1221 SM.getLocForStartOfFile(
SM.getMainFileID()))) {
1223 "no errors reported for failure");
1235 }
while (
Tok.isNot(tok::eof));
1250 StringRef RootSigName;
1251 llvm::dxbc::RootSignatureVersion Version;
1253 std::optional<StringLiteral *> processStringLiteral(
ArrayRef<Token> Tokens) {
1256 return std::nullopt;
1258 ExprResult StringResult = Actions.ActOnUnevaluatedStringLiteral(Tokens);
1260 return std::nullopt;
1262 if (
auto Signature = dyn_cast<StringLiteral>(StringResult.
get()))
1265 return std::nullopt;
1275 auto Signature = processStringLiteral(MI->
tokens());
1276 if (!Signature.has_value()) {
1278 diag::err_expected_string_literal)
1279 << 4 <<
"RootSignature";
1285 Actions.HLSL().SetRootSignatureOverride(DeclIdent);
1289 llvm::dxbc::RootSignatureVersion Version)
1290 :
PPCallbacks(), Actions(Actions), RootSigName(RootSigName),
1310 bool IsRootSignatureTarget =
1316 StringRef RootSigName =
1319 auto MacroCallback = std::make_unique<InjectRootSignatureCallback>(
1326 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.
ModuleManager & getModuleManager()
Retrieve the module manager.
@ ARR_ConfigurationMismatch
The client can handle an AST file that cannot load because it's compiled configuration doesn't match ...
unsigned getTotalNumSubmodules() const
Returns the number of submodules known.
Module * getModule(unsigned ID) override
Retrieve the module that corresponds to the given module ID.
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.
Preprocessor & getPreprocessor() const
Retrieve the preprocessor.
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.
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
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
llvm::iterator_range< macro_iterator > macros(bool IncludeExternalMacros=true) 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.
ModuleFile & getPrimaryModule()
Returns the primary module associated with the manager, that is, the first module loaded.
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.
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)