1 //===--- FrontendActions.cpp ----------------------------------------------===//
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 #include "clang/Frontend/FrontendActions.h"
10 #include "clang/AST/ASTConsumer.h"
11 #include "clang/Basic/FileManager.h"
12 #include "clang/Frontend/ASTConsumers.h"
13 #include "clang/Frontend/CompilerInstance.h"
14 #include "clang/Frontend/FrontendDiagnostic.h"
15 #include "clang/Frontend/MultiplexConsumer.h"
16 #include "clang/Frontend/Utils.h"
17 #include "clang/Lex/DependencyDirectivesSourceMinimizer.h"
18 #include "clang/Lex/HeaderSearch.h"
19 #include "clang/Lex/Preprocessor.h"
20 #include "clang/Lex/PreprocessorOptions.h"
21 #include "clang/Sema/TemplateInstCallback.h"
22 #include "clang/Serialization/ASTReader.h"
23 #include "clang/Serialization/ASTWriter.h"
24 #include "llvm/Support/FileSystem.h"
25 #include "llvm/Support/MemoryBuffer.h"
26 #include "llvm/Support/Path.h"
27 #include "llvm/Support/YAMLTraits.h"
28 #include "llvm/Support/raw_ostream.h"
30 #include <system_error>
32 using namespace clang;
35 CodeCompleteConsumer *GetCodeCompletionConsumer(CompilerInstance &CI) {
36 return CI.hasCodeCompletionConsumer() ? &CI.getCodeCompletionConsumer()
40 void EnsureSemaIsCreated(CompilerInstance &CI, FrontendAction &Action) {
41 if (Action.hasCodeCompletionSupport() &&
42 !CI.getFrontendOpts().CodeCompletionAt.FileName.empty())
43 CI.createCodeCompletionConsumer();
46 CI.createSema(Action.getTranslationUnitKind(),
47 GetCodeCompletionConsumer(CI));
51 //===----------------------------------------------------------------------===//
53 //===----------------------------------------------------------------------===//
55 std::unique_ptr<ASTConsumer>
56 InitOnlyAction::CreateASTConsumer(CompilerInstance &CI, StringRef InFile) {
57 return llvm::make_unique<ASTConsumer>();
60 void InitOnlyAction::ExecuteAction() {
63 //===----------------------------------------------------------------------===//
64 // AST Consumer Actions
65 //===----------------------------------------------------------------------===//
67 std::unique_ptr<ASTConsumer>
68 ASTPrintAction::CreateASTConsumer(CompilerInstance &CI, StringRef InFile) {
69 if (std::unique_ptr<raw_ostream> OS =
70 CI.createDefaultOutputFile(false, InFile))
71 return CreateASTPrinter(std::move(OS), CI.getFrontendOpts().ASTDumpFilter);
75 std::unique_ptr<ASTConsumer>
76 ASTDumpAction::CreateASTConsumer(CompilerInstance &CI, StringRef InFile) {
77 const FrontendOptions &Opts = CI.getFrontendOpts();
78 return CreateASTDumper(nullptr /*Dump to stdout.*/, Opts.ASTDumpFilter,
79 Opts.ASTDumpDecls, Opts.ASTDumpAll,
80 Opts.ASTDumpLookups, Opts.ASTDumpFormat);
83 std::unique_ptr<ASTConsumer>
84 ASTDeclListAction::CreateASTConsumer(CompilerInstance &CI, StringRef InFile) {
85 return CreateASTDeclNodeLister();
88 std::unique_ptr<ASTConsumer>
89 ASTViewAction::CreateASTConsumer(CompilerInstance &CI, StringRef InFile) {
90 return CreateASTViewer();
93 std::unique_ptr<ASTConsumer>
94 GeneratePCHAction::CreateASTConsumer(CompilerInstance &CI, StringRef InFile) {
96 if (!ComputeASTConsumerArguments(CI, /*ref*/ Sysroot))
99 std::string OutputFile;
100 std::unique_ptr<raw_pwrite_stream> OS =
101 CreateOutputFile(CI, InFile, /*ref*/ OutputFile);
105 if (!CI.getFrontendOpts().RelocatablePCH)
108 const auto &FrontendOpts = CI.getFrontendOpts();
109 auto Buffer = std::make_shared<PCHBuffer>();
110 std::vector<std::unique_ptr<ASTConsumer>> Consumers;
111 Consumers.push_back(llvm::make_unique<PCHGenerator>(
112 CI.getPreprocessor(), CI.getModuleCache(), OutputFile, Sysroot, Buffer,
113 FrontendOpts.ModuleFileExtensions,
114 CI.getPreprocessorOpts().AllowPCHWithCompilerErrors,
115 FrontendOpts.IncludeTimestamps, +CI.getLangOpts().CacheGeneratedPCH));
116 Consumers.push_back(CI.getPCHContainerWriter().CreatePCHContainerGenerator(
117 CI, InFile, OutputFile, std::move(OS), Buffer));
119 return llvm::make_unique<MultiplexConsumer>(std::move(Consumers));
122 bool GeneratePCHAction::ComputeASTConsumerArguments(CompilerInstance &CI,
123 std::string &Sysroot) {
124 Sysroot = CI.getHeaderSearchOpts().Sysroot;
125 if (CI.getFrontendOpts().RelocatablePCH && Sysroot.empty()) {
126 CI.getDiagnostics().Report(diag::err_relocatable_without_isysroot);
133 std::unique_ptr<llvm::raw_pwrite_stream>
134 GeneratePCHAction::CreateOutputFile(CompilerInstance &CI, StringRef InFile,
135 std::string &OutputFile) {
136 // We use createOutputFile here because this is exposed via libclang, and we
137 // must disable the RemoveFileOnSignal behavior.
138 // We use a temporary to avoid race conditions.
139 std::unique_ptr<raw_pwrite_stream> OS =
140 CI.createOutputFile(CI.getFrontendOpts().OutputFile, /*Binary=*/true,
141 /*RemoveFileOnSignal=*/false, InFile,
142 /*Extension=*/"", /*UseTemporary=*/true);
146 OutputFile = CI.getFrontendOpts().OutputFile;
150 bool GeneratePCHAction::shouldEraseOutputFiles() {
151 if (getCompilerInstance().getPreprocessorOpts().AllowPCHWithCompilerErrors)
153 return ASTFrontendAction::shouldEraseOutputFiles();
156 bool GeneratePCHAction::BeginSourceFileAction(CompilerInstance &CI) {
157 CI.getLangOpts().CompilingPCH = true;
161 std::unique_ptr<ASTConsumer>
162 GenerateModuleAction::CreateASTConsumer(CompilerInstance &CI,
164 std::unique_ptr<raw_pwrite_stream> OS = CreateOutputFile(CI, InFile);
168 std::string OutputFile = CI.getFrontendOpts().OutputFile;
171 auto Buffer = std::make_shared<PCHBuffer>();
172 std::vector<std::unique_ptr<ASTConsumer>> Consumers;
174 Consumers.push_back(llvm::make_unique<PCHGenerator>(
175 CI.getPreprocessor(), CI.getModuleCache(), OutputFile, Sysroot, Buffer,
176 CI.getFrontendOpts().ModuleFileExtensions,
177 /*AllowASTWithErrors=*/false,
178 /*IncludeTimestamps=*/
179 +CI.getFrontendOpts().BuildingImplicitModule,
180 /*ShouldCacheASTInMemory=*/
181 +CI.getFrontendOpts().BuildingImplicitModule));
182 Consumers.push_back(CI.getPCHContainerWriter().CreatePCHContainerGenerator(
183 CI, InFile, OutputFile, std::move(OS), Buffer));
184 return llvm::make_unique<MultiplexConsumer>(std::move(Consumers));
187 bool GenerateModuleFromModuleMapAction::BeginSourceFileAction(
188 CompilerInstance &CI) {
189 if (!CI.getLangOpts().Modules) {
190 CI.getDiagnostics().Report(diag::err_module_build_requires_fmodules);
194 return GenerateModuleAction::BeginSourceFileAction(CI);
197 std::unique_ptr<raw_pwrite_stream>
198 GenerateModuleFromModuleMapAction::CreateOutputFile(CompilerInstance &CI,
200 // If no output file was provided, figure out where this module would go
201 // in the module cache.
202 if (CI.getFrontendOpts().OutputFile.empty()) {
203 StringRef ModuleMapFile = CI.getFrontendOpts().OriginalModuleMap;
204 if (ModuleMapFile.empty())
205 ModuleMapFile = InFile;
207 HeaderSearch &HS = CI.getPreprocessor().getHeaderSearchInfo();
208 CI.getFrontendOpts().OutputFile =
209 HS.getCachedModuleFileName(CI.getLangOpts().CurrentModule,
213 // We use createOutputFile here because this is exposed via libclang, and we
214 // must disable the RemoveFileOnSignal behavior.
215 // We use a temporary to avoid race conditions.
216 return CI.createOutputFile(CI.getFrontendOpts().OutputFile, /*Binary=*/true,
217 /*RemoveFileOnSignal=*/false, InFile,
218 /*Extension=*/"", /*UseTemporary=*/true,
219 /*CreateMissingDirectories=*/true);
222 bool GenerateModuleInterfaceAction::BeginSourceFileAction(
223 CompilerInstance &CI) {
224 if (!CI.getLangOpts().ModulesTS && !CI.getLangOpts().CPlusPlusModules) {
225 CI.getDiagnostics().Report(diag::err_module_interface_requires_cpp_modules);
229 CI.getLangOpts().setCompilingModule(LangOptions::CMK_ModuleInterface);
231 return GenerateModuleAction::BeginSourceFileAction(CI);
234 std::unique_ptr<raw_pwrite_stream>
235 GenerateModuleInterfaceAction::CreateOutputFile(CompilerInstance &CI,
237 return CI.createDefaultOutputFile(/*Binary=*/true, InFile, "pcm");
240 bool GenerateHeaderModuleAction::PrepareToExecuteAction(
241 CompilerInstance &CI) {
242 if (!CI.getLangOpts().Modules) {
243 CI.getDiagnostics().Report(diag::err_header_module_requires_modules);
247 auto &Inputs = CI.getFrontendOpts().Inputs;
249 return GenerateModuleAction::BeginInvocation(CI);
251 auto Kind = Inputs[0].getKind();
253 // Convert the header file inputs into a single module input buffer.
254 SmallString<256> HeaderContents;
255 ModuleHeaders.reserve(Inputs.size());
256 for (const FrontendInputFile &FIF : Inputs) {
257 // FIXME: We should support re-compiling from an AST file.
258 if (FIF.getKind().getFormat() != InputKind::Source || !FIF.isFile()) {
259 CI.getDiagnostics().Report(diag::err_module_header_file_not_found)
260 << (FIF.isFile() ? FIF.getFile()
261 : FIF.getBuffer()->getBufferIdentifier());
265 HeaderContents += "#include \"";
266 HeaderContents += FIF.getFile();
267 HeaderContents += "\"\n";
268 ModuleHeaders.push_back(FIF.getFile());
270 Buffer = llvm::MemoryBuffer::getMemBufferCopy(
271 HeaderContents, Module::getModuleInputBufferName());
273 // Set that buffer up as our "real" input.
275 Inputs.push_back(FrontendInputFile(Buffer.get(), Kind, /*IsSystem*/false));
277 return GenerateModuleAction::PrepareToExecuteAction(CI);
280 bool GenerateHeaderModuleAction::BeginSourceFileAction(
281 CompilerInstance &CI) {
282 CI.getLangOpts().setCompilingModule(LangOptions::CMK_HeaderModule);
284 // Synthesize a Module object for the given headers.
285 auto &HS = CI.getPreprocessor().getHeaderSearchInfo();
286 SmallVector<Module::Header, 16> Headers;
287 for (StringRef Name : ModuleHeaders) {
288 const DirectoryLookup *CurDir = nullptr;
289 const FileEntry *FE = HS.LookupFile(
290 Name, SourceLocation(), /*Angled*/ false, nullptr, CurDir,
291 None, nullptr, nullptr, nullptr, nullptr, nullptr, nullptr);
293 CI.getDiagnostics().Report(diag::err_module_header_file_not_found)
297 Headers.push_back({Name, FE});
299 HS.getModuleMap().createHeaderModule(CI.getLangOpts().CurrentModule, Headers);
301 return GenerateModuleAction::BeginSourceFileAction(CI);
304 std::unique_ptr<raw_pwrite_stream>
305 GenerateHeaderModuleAction::CreateOutputFile(CompilerInstance &CI,
307 return CI.createDefaultOutputFile(/*Binary=*/true, InFile, "pcm");
310 SyntaxOnlyAction::~SyntaxOnlyAction() {
313 std::unique_ptr<ASTConsumer>
314 SyntaxOnlyAction::CreateASTConsumer(CompilerInstance &CI, StringRef InFile) {
315 return llvm::make_unique<ASTConsumer>();
318 std::unique_ptr<ASTConsumer>
319 DumpModuleInfoAction::CreateASTConsumer(CompilerInstance &CI,
321 return llvm::make_unique<ASTConsumer>();
324 std::unique_ptr<ASTConsumer>
325 VerifyPCHAction::CreateASTConsumer(CompilerInstance &CI, StringRef InFile) {
326 return llvm::make_unique<ASTConsumer>();
329 void VerifyPCHAction::ExecuteAction() {
330 CompilerInstance &CI = getCompilerInstance();
331 bool Preamble = CI.getPreprocessorOpts().PrecompiledPreambleBytes.first != 0;
332 const std::string &Sysroot = CI.getHeaderSearchOpts().Sysroot;
333 std::unique_ptr<ASTReader> Reader(new ASTReader(
334 CI.getPreprocessor(), CI.getModuleCache(), &CI.getASTContext(),
335 CI.getPCHContainerReader(), CI.getFrontendOpts().ModuleFileExtensions,
336 Sysroot.empty() ? "" : Sysroot.c_str(),
337 /*DisableValidation*/ false,
338 /*AllowPCHWithCompilerErrors*/ false,
339 /*AllowConfigurationMismatch*/ true,
340 /*ValidateSystemInputs*/ true));
342 Reader->ReadAST(getCurrentFile(),
343 Preamble ? serialization::MK_Preamble
344 : serialization::MK_PCH,
346 ASTReader::ARR_ConfigurationMismatch);
350 struct TemplightEntry {
354 std::string DefinitionLocation;
355 std::string PointOfInstantiation;
361 template <> struct MappingTraits<TemplightEntry> {
362 static void mapping(IO &io, TemplightEntry &fields) {
363 io.mapRequired("name", fields.Name);
364 io.mapRequired("kind", fields.Kind);
365 io.mapRequired("event", fields.Event);
366 io.mapRequired("orig", fields.DefinitionLocation);
367 io.mapRequired("poi", fields.PointOfInstantiation);
374 class DefaultTemplateInstCallback : public TemplateInstantiationCallback {
375 using CodeSynthesisContext = Sema::CodeSynthesisContext;
378 void initialize(const Sema &) override {}
380 void finalize(const Sema &) override {}
382 void atTemplateBegin(const Sema &TheSema,
383 const CodeSynthesisContext &Inst) override {
384 displayTemplightEntry<true>(llvm::outs(), TheSema, Inst);
387 void atTemplateEnd(const Sema &TheSema,
388 const CodeSynthesisContext &Inst) override {
389 displayTemplightEntry<false>(llvm::outs(), TheSema, Inst);
393 static std::string toString(CodeSynthesisContext::SynthesisKind Kind) {
395 case CodeSynthesisContext::TemplateInstantiation:
396 return "TemplateInstantiation";
397 case CodeSynthesisContext::DefaultTemplateArgumentInstantiation:
398 return "DefaultTemplateArgumentInstantiation";
399 case CodeSynthesisContext::DefaultFunctionArgumentInstantiation:
400 return "DefaultFunctionArgumentInstantiation";
401 case CodeSynthesisContext::ExplicitTemplateArgumentSubstitution:
402 return "ExplicitTemplateArgumentSubstitution";
403 case CodeSynthesisContext::DeducedTemplateArgumentSubstitution:
404 return "DeducedTemplateArgumentSubstitution";
405 case CodeSynthesisContext::PriorTemplateArgumentSubstitution:
406 return "PriorTemplateArgumentSubstitution";
407 case CodeSynthesisContext::DefaultTemplateArgumentChecking:
408 return "DefaultTemplateArgumentChecking";
409 case CodeSynthesisContext::ExceptionSpecEvaluation:
410 return "ExceptionSpecEvaluation";
411 case CodeSynthesisContext::ExceptionSpecInstantiation:
412 return "ExceptionSpecInstantiation";
413 case CodeSynthesisContext::DeclaringSpecialMember:
414 return "DeclaringSpecialMember";
415 case CodeSynthesisContext::DefiningSynthesizedFunction:
416 return "DefiningSynthesizedFunction";
417 case CodeSynthesisContext::Memoization:
418 return "Memoization";
423 template <bool BeginInstantiation>
424 static void displayTemplightEntry(llvm::raw_ostream &Out, const Sema &TheSema,
425 const CodeSynthesisContext &Inst) {
428 llvm::raw_string_ostream OS(YAML);
429 llvm::yaml::Output YO(OS);
430 TemplightEntry Entry =
431 getTemplightEntry<BeginInstantiation>(TheSema, Inst);
432 llvm::yaml::EmptyContext Context;
433 llvm::yaml::yamlize(YO, Entry, true, Context);
435 Out << "---" << YAML << "\n";
438 template <bool BeginInstantiation>
439 static TemplightEntry getTemplightEntry(const Sema &TheSema,
440 const CodeSynthesisContext &Inst) {
441 TemplightEntry Entry;
442 Entry.Kind = toString(Inst.Kind);
443 Entry.Event = BeginInstantiation ? "Begin" : "End";
444 if (auto *NamedTemplate = dyn_cast_or_null<NamedDecl>(Inst.Entity)) {
445 llvm::raw_string_ostream OS(Entry.Name);
446 NamedTemplate->getNameForDiagnostic(OS, TheSema.getLangOpts(), true);
447 const PresumedLoc DefLoc =
448 TheSema.getSourceManager().getPresumedLoc(Inst.Entity->getLocation());
449 if(!DefLoc.isInvalid())
450 Entry.DefinitionLocation = std::string(DefLoc.getFilename()) + ":" +
451 std::to_string(DefLoc.getLine()) + ":" +
452 std::to_string(DefLoc.getColumn());
454 const PresumedLoc PoiLoc =
455 TheSema.getSourceManager().getPresumedLoc(Inst.PointOfInstantiation);
456 if (!PoiLoc.isInvalid()) {
457 Entry.PointOfInstantiation = std::string(PoiLoc.getFilename()) + ":" +
458 std::to_string(PoiLoc.getLine()) + ":" +
459 std::to_string(PoiLoc.getColumn());
466 std::unique_ptr<ASTConsumer>
467 TemplightDumpAction::CreateASTConsumer(CompilerInstance &CI, StringRef InFile) {
468 return llvm::make_unique<ASTConsumer>();
471 void TemplightDumpAction::ExecuteAction() {
472 CompilerInstance &CI = getCompilerInstance();
474 // This part is normally done by ASTFrontEndAction, but needs to happen
475 // before Templight observers can be created
476 // FIXME: Move the truncation aspect of this into Sema, we delayed this till
477 // here so the source manager would be initialized.
478 EnsureSemaIsCreated(CI, *this);
480 CI.getSema().TemplateInstCallbacks.push_back(
481 llvm::make_unique<DefaultTemplateInstCallback>());
482 ASTFrontendAction::ExecuteAction();
486 /// AST reader listener that dumps module information for a module
488 class DumpModuleInfoListener : public ASTReaderListener {
489 llvm::raw_ostream &Out;
492 DumpModuleInfoListener(llvm::raw_ostream &Out) : Out(Out) { }
494 #define DUMP_BOOLEAN(Value, Text) \
495 Out.indent(4) << Text << ": " << (Value? "Yes" : "No") << "\n"
497 bool ReadFullVersionInformation(StringRef FullVersion) override {
500 << (FullVersion == getClangFullRepositoryVersion()? "this"
502 << " Clang: " << FullVersion << "\n";
503 return ASTReaderListener::ReadFullVersionInformation(FullVersion);
506 void ReadModuleName(StringRef ModuleName) override {
507 Out.indent(2) << "Module name: " << ModuleName << "\n";
509 void ReadModuleMapFile(StringRef ModuleMapPath) override {
510 Out.indent(2) << "Module map file: " << ModuleMapPath << "\n";
513 bool ReadLanguageOptions(const LangOptions &LangOpts, bool Complain,
514 bool AllowCompatibleDifferences) override {
515 Out.indent(2) << "Language options:\n";
516 #define LANGOPT(Name, Bits, Default, Description) \
517 DUMP_BOOLEAN(LangOpts.Name, Description);
518 #define ENUM_LANGOPT(Name, Type, Bits, Default, Description) \
519 Out.indent(4) << Description << ": " \
520 << static_cast<unsigned>(LangOpts.get##Name()) << "\n";
521 #define VALUE_LANGOPT(Name, Bits, Default, Description) \
522 Out.indent(4) << Description << ": " << LangOpts.Name << "\n";
523 #define BENIGN_LANGOPT(Name, Bits, Default, Description)
524 #define BENIGN_ENUM_LANGOPT(Name, Type, Bits, Default, Description)
525 #include "clang/Basic/LangOptions.def"
527 if (!LangOpts.ModuleFeatures.empty()) {
528 Out.indent(4) << "Module features:\n";
529 for (StringRef Feature : LangOpts.ModuleFeatures)
530 Out.indent(6) << Feature << "\n";
536 bool ReadTargetOptions(const TargetOptions &TargetOpts, bool Complain,
537 bool AllowCompatibleDifferences) override {
538 Out.indent(2) << "Target options:\n";
539 Out.indent(4) << " Triple: " << TargetOpts.Triple << "\n";
540 Out.indent(4) << " CPU: " << TargetOpts.CPU << "\n";
541 Out.indent(4) << " ABI: " << TargetOpts.ABI << "\n";
543 if (!TargetOpts.FeaturesAsWritten.empty()) {
544 Out.indent(4) << "Target features:\n";
545 for (unsigned I = 0, N = TargetOpts.FeaturesAsWritten.size();
547 Out.indent(6) << TargetOpts.FeaturesAsWritten[I] << "\n";
554 bool ReadDiagnosticOptions(IntrusiveRefCntPtr<DiagnosticOptions> DiagOpts,
555 bool Complain) override {
556 Out.indent(2) << "Diagnostic options:\n";
557 #define DIAGOPT(Name, Bits, Default) DUMP_BOOLEAN(DiagOpts->Name, #Name);
558 #define ENUM_DIAGOPT(Name, Type, Bits, Default) \
559 Out.indent(4) << #Name << ": " << DiagOpts->get##Name() << "\n";
560 #define VALUE_DIAGOPT(Name, Bits, Default) \
561 Out.indent(4) << #Name << ": " << DiagOpts->Name << "\n";
562 #include "clang/Basic/DiagnosticOptions.def"
564 Out.indent(4) << "Diagnostic flags:\n";
565 for (const std::string &Warning : DiagOpts->Warnings)
566 Out.indent(6) << "-W" << Warning << "\n";
567 for (const std::string &Remark : DiagOpts->Remarks)
568 Out.indent(6) << "-R" << Remark << "\n";
573 bool ReadHeaderSearchOptions(const HeaderSearchOptions &HSOpts,
574 StringRef SpecificModuleCachePath,
575 bool Complain) override {
576 Out.indent(2) << "Header search options:\n";
577 Out.indent(4) << "System root [-isysroot=]: '" << HSOpts.Sysroot << "'\n";
578 Out.indent(4) << "Resource dir [ -resource-dir=]: '" << HSOpts.ResourceDir << "'\n";
579 Out.indent(4) << "Module Cache: '" << SpecificModuleCachePath << "'\n";
580 DUMP_BOOLEAN(HSOpts.UseBuiltinIncludes,
581 "Use builtin include directories [-nobuiltininc]");
582 DUMP_BOOLEAN(HSOpts.UseStandardSystemIncludes,
583 "Use standard system include directories [-nostdinc]");
584 DUMP_BOOLEAN(HSOpts.UseStandardCXXIncludes,
585 "Use standard C++ include directories [-nostdinc++]");
586 DUMP_BOOLEAN(HSOpts.UseLibcxx,
587 "Use libc++ (rather than libstdc++) [-stdlib=]");
591 bool ReadPreprocessorOptions(const PreprocessorOptions &PPOpts,
593 std::string &SuggestedPredefines) override {
594 Out.indent(2) << "Preprocessor options:\n";
595 DUMP_BOOLEAN(PPOpts.UsePredefines,
596 "Uses compiler/target-specific predefines [-undef]");
597 DUMP_BOOLEAN(PPOpts.DetailedRecord,
598 "Uses detailed preprocessing record (for indexing)");
600 if (!PPOpts.Macros.empty()) {
601 Out.indent(4) << "Predefined macros:\n";
604 for (std::vector<std::pair<std::string, bool/*isUndef*/> >::const_iterator
605 I = PPOpts.Macros.begin(), IEnd = PPOpts.Macros.end();
612 Out << I->first << "\n";
617 /// Indicates that a particular module file extension has been read.
618 void readModuleFileExtension(
619 const ModuleFileExtensionMetadata &Metadata) override {
620 Out.indent(2) << "Module file extension '"
621 << Metadata.BlockName << "' " << Metadata.MajorVersion
622 << "." << Metadata.MinorVersion;
623 if (!Metadata.UserInfo.empty()) {
625 Out.write_escaped(Metadata.UserInfo);
631 /// Tells the \c ASTReaderListener that we want to receive the
632 /// input files of the AST file via \c visitInputFile.
633 bool needsInputFileVisitation() override { return true; }
635 /// Tells the \c ASTReaderListener that we want to receive the
636 /// input files of the AST file via \c visitInputFile.
637 bool needsSystemInputFileVisitation() override { return true; }
639 /// Indicates that the AST file contains particular input file.
641 /// \returns true to continue receiving the next input file, false to stop.
642 bool visitInputFile(StringRef Filename, bool isSystem,
643 bool isOverridden, bool isExplicitModule) override {
645 Out.indent(2) << "Input file: " << Filename;
647 if (isSystem || isOverridden || isExplicitModule) {
651 if (isOverridden || isExplicitModule)
656 if (isExplicitModule)
659 if (isExplicitModule)
660 Out << "ExplicitModule";
670 /// Returns true if this \c ASTReaderListener wants to receive the
671 /// imports of the AST file via \c visitImport, false otherwise.
672 bool needsImportVisitation() const override { return true; }
674 /// If needsImportVisitation returns \c true, this is called for each
675 /// AST file imported by this AST file.
676 void visitImport(StringRef ModuleName, StringRef Filename) override {
677 Out.indent(2) << "Imports module '" << ModuleName
678 << "': " << Filename.str() << "\n";
684 bool DumpModuleInfoAction::BeginInvocation(CompilerInstance &CI) {
685 // The Object file reader also supports raw ast files and there is no point in
686 // being strict about the module file format in -module-file-info mode.
687 CI.getHeaderSearchOpts().ModuleFormat = "obj";
691 void DumpModuleInfoAction::ExecuteAction() {
692 // Set up the output file.
693 std::unique_ptr<llvm::raw_fd_ostream> OutFile;
694 StringRef OutputFileName = getCompilerInstance().getFrontendOpts().OutputFile;
695 if (!OutputFileName.empty() && OutputFileName != "-") {
697 OutFile.reset(new llvm::raw_fd_ostream(OutputFileName.str(), EC,
698 llvm::sys::fs::F_Text));
700 llvm::raw_ostream &Out = OutFile.get()? *OutFile.get() : llvm::outs();
702 Out << "Information for module file '" << getCurrentFile() << "':\n";
703 auto &FileMgr = getCompilerInstance().getFileManager();
704 auto Buffer = FileMgr.getBufferForFile(getCurrentFile());
705 StringRef Magic = (*Buffer)->getMemBufferRef().getBuffer();
706 bool IsRaw = (Magic.size() >= 4 && Magic[0] == 'C' && Magic[1] == 'P' &&
707 Magic[2] == 'C' && Magic[3] == 'H');
708 Out << " Module format: " << (IsRaw ? "raw" : "obj") << "\n";
710 Preprocessor &PP = getCompilerInstance().getPreprocessor();
711 DumpModuleInfoListener Listener(Out);
712 HeaderSearchOptions &HSOpts =
713 PP.getHeaderSearchInfo().getHeaderSearchOpts();
714 ASTReader::readASTFileControlBlock(
715 getCurrentFile(), FileMgr, getCompilerInstance().getPCHContainerReader(),
716 /*FindModuleFileExtensions=*/true, Listener,
717 HSOpts.ModulesValidateDiagnosticOptions);
720 //===----------------------------------------------------------------------===//
721 // Preprocessor Actions
722 //===----------------------------------------------------------------------===//
724 void DumpRawTokensAction::ExecuteAction() {
725 Preprocessor &PP = getCompilerInstance().getPreprocessor();
726 SourceManager &SM = PP.getSourceManager();
728 // Start lexing the specified input file.
729 const llvm::MemoryBuffer *FromFile = SM.getBuffer(SM.getMainFileID());
730 Lexer RawLex(SM.getMainFileID(), FromFile, SM, PP.getLangOpts());
731 RawLex.SetKeepWhitespaceMode(true);
734 RawLex.LexFromRawLexer(RawTok);
735 while (RawTok.isNot(tok::eof)) {
736 PP.DumpToken(RawTok, true);
737 llvm::errs() << "\n";
738 RawLex.LexFromRawLexer(RawTok);
742 void DumpTokensAction::ExecuteAction() {
743 Preprocessor &PP = getCompilerInstance().getPreprocessor();
744 // Start preprocessing the specified input file.
746 PP.EnterMainSourceFile();
749 PP.DumpToken(Tok, true);
750 llvm::errs() << "\n";
751 } while (Tok.isNot(tok::eof));
754 void PreprocessOnlyAction::ExecuteAction() {
755 Preprocessor &PP = getCompilerInstance().getPreprocessor();
757 // Ignore unknown pragmas.
761 // Start parsing the specified input file.
762 PP.EnterMainSourceFile();
765 } while (Tok.isNot(tok::eof));
768 void PrintPreprocessedAction::ExecuteAction() {
769 CompilerInstance &CI = getCompilerInstance();
770 // Output file may need to be set to 'Binary', to avoid converting Unix style
771 // line feeds (<LF>) to Microsoft style line feeds (<CR><LF>).
773 // Look to see what type of line endings the file uses. If there's a
774 // CRLF, then we won't open the file up in binary mode. If there is
775 // just an LF or CR, then we will open the file up in binary mode.
776 // In this fashion, the output format should match the input format, unless
777 // the input format has inconsistent line endings.
779 // This should be a relatively fast operation since most files won't have
780 // all of their source code on a single line. However, that is still a
781 // concern, so if we scan for too long, we'll just assume the file should
782 // be opened in binary mode.
783 bool BinaryMode = true;
784 bool InvalidFile = false;
785 const SourceManager& SM = CI.getSourceManager();
786 const llvm::MemoryBuffer *Buffer = SM.getBuffer(SM.getMainFileID(),
789 const char *cur = Buffer->getBufferStart();
790 const char *end = Buffer->getBufferEnd();
791 const char *next = (cur != end) ? cur + 1 : end;
793 // Limit ourselves to only scanning 256 characters into the source
794 // file. This is mostly a sanity check in case the file has no
795 // newlines whatsoever.
796 if (end - cur > 256) end = cur + 256;
799 if (*cur == 0x0D) { // CR
800 if (*next == 0x0A) // CRLF
804 } else if (*cur == 0x0A) // LF
812 std::unique_ptr<raw_ostream> OS =
813 CI.createDefaultOutputFile(BinaryMode, getCurrentFileOrBufferName());
816 // If we're preprocessing a module map, start by dumping the contents of the
817 // module itself before switching to the input buffer.
818 auto &Input = getCurrentInput();
819 if (Input.getKind().getFormat() == InputKind::ModuleMap) {
820 if (Input.isFile()) {
822 OS->write_escaped(Input.getFile());
825 getCurrentModule()->print(*OS);
826 (*OS) << "#pragma clang module contents\n";
829 DoPrintPreprocessedInput(CI.getPreprocessor(), OS.get(),
830 CI.getPreprocessorOutputOpts());
833 void PrintPreambleAction::ExecuteAction() {
834 switch (getCurrentFileKind().getLanguage()) {
837 case InputKind::ObjC:
838 case InputKind::ObjCXX:
839 case InputKind::OpenCL:
840 case InputKind::CUDA:
844 case InputKind::Unknown:
846 case InputKind::LLVM_IR:
847 case InputKind::RenderScript:
848 // We can't do anything with these.
852 // We don't expect to find any #include directives in a preprocessed input.
853 if (getCurrentFileKind().isPreprocessed())
856 CompilerInstance &CI = getCompilerInstance();
857 auto Buffer = CI.getFileManager().getBufferForFile(getCurrentFile());
860 Lexer::ComputePreamble((*Buffer)->getBuffer(), CI.getLangOpts()).Size;
861 llvm::outs().write((*Buffer)->getBufferStart(), Preamble);
865 void DumpCompilerOptionsAction::ExecuteAction() {
866 CompilerInstance &CI = getCompilerInstance();
867 std::unique_ptr<raw_ostream> OSP =
868 CI.createDefaultOutputFile(false, getCurrentFile());
872 raw_ostream &OS = *OSP;
873 const Preprocessor &PP = CI.getPreprocessor();
874 const LangOptions &LangOpts = PP.getLangOpts();
876 // FIXME: Rather than manually format the JSON (which is awkward due to
877 // needing to remove trailing commas), this should make use of a JSON library.
878 // FIXME: Instead of printing enums as an integral value and specifying the
879 // type as a separate field, use introspection to print the enumerator.
882 OS << "\n\"features\" : [\n";
884 llvm::SmallString<128> Str;
885 #define FEATURE(Name, Predicate) \
886 ("\t{\"" #Name "\" : " + llvm::Twine(Predicate ? "true" : "false") + "},\n") \
888 #include "clang/Basic/Features.def"
890 // Remove the newline and comma from the last entry to ensure this remains
892 OS << Str.substr(0, Str.size() - 2);
896 OS << "\n\"extensions\" : [\n";
898 llvm::SmallString<128> Str;
899 #define EXTENSION(Name, Predicate) \
900 ("\t{\"" #Name "\" : " + llvm::Twine(Predicate ? "true" : "false") + "},\n") \
902 #include "clang/Basic/Features.def"
904 // Remove the newline and comma from the last entry to ensure this remains
906 OS << Str.substr(0, Str.size() - 2);
913 void PrintDependencyDirectivesSourceMinimizerAction::ExecuteAction() {
914 CompilerInstance &CI = getCompilerInstance();
915 SourceManager &SM = CI.getPreprocessor().getSourceManager();
916 const llvm::MemoryBuffer *FromFile = SM.getBuffer(SM.getMainFileID());
918 llvm::SmallString<1024> Output;
919 llvm::SmallVector<minimize_source_to_dependency_directives::Token, 32> Toks;
920 if (minimizeSourceToDependencyDirectives(
921 FromFile->getBuffer(), Output, Toks, &CI.getDiagnostics(),
922 SM.getLocForStartOfFile(SM.getMainFileID()))) {
923 assert(CI.getDiagnostics().hasErrorOccurred() &&
924 "no errors reported for failure");
926 // Preprocess the source when verifying the diagnostics to capture the
927 // 'expected' comments.
928 if (CI.getDiagnosticOpts().VerifyDiagnostics) {
929 // Make sure we don't emit new diagnostics!
930 CI.getDiagnostics().setSuppressAllDiagnostics();
931 Preprocessor &PP = getCompilerInstance().getPreprocessor();
932 PP.EnterMainSourceFile();
936 } while (Tok.isNot(tok::eof));
940 llvm::outs() << Output;