10b57cec5SDimitry Andric //===--- ExecuteCompilerInvocation.cpp ------------------------------------===// 20b57cec5SDimitry Andric // 30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 60b57cec5SDimitry Andric // 70b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 80b57cec5SDimitry Andric // 90b57cec5SDimitry Andric // This file holds ExecuteCompilerInvocation(). It is split into its own file to 100b57cec5SDimitry Andric // minimize the impact of pulling in essentially everything else in Clang. 110b57cec5SDimitry Andric // 120b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 130b57cec5SDimitry Andric 140b57cec5SDimitry Andric #include "clang/ARCMigrate/ARCMTActions.h" 150b57cec5SDimitry Andric #include "clang/CodeGen/CodeGenAction.h" 160b57cec5SDimitry Andric #include "clang/Config/config.h" 170b57cec5SDimitry Andric #include "clang/Driver/Options.h" 18*81ad6265SDimitry Andric #include "clang/ExtractAPI/FrontendActions.h" 190b57cec5SDimitry Andric #include "clang/Frontend/CompilerInstance.h" 200b57cec5SDimitry Andric #include "clang/Frontend/CompilerInvocation.h" 210b57cec5SDimitry Andric #include "clang/Frontend/FrontendActions.h" 220b57cec5SDimitry Andric #include "clang/Frontend/FrontendDiagnostic.h" 230b57cec5SDimitry Andric #include "clang/Frontend/FrontendPluginRegistry.h" 240b57cec5SDimitry Andric #include "clang/Frontend/Utils.h" 250b57cec5SDimitry Andric #include "clang/FrontendTool/Utils.h" 260b57cec5SDimitry Andric #include "clang/Rewrite/Frontend/FrontendActions.h" 275ffd83dbSDimitry Andric #include "clang/StaticAnalyzer/Frontend/AnalyzerHelpFlags.h" 280b57cec5SDimitry Andric #include "clang/StaticAnalyzer/Frontend/FrontendActions.h" 290b57cec5SDimitry Andric #include "llvm/Option/OptTable.h" 300b57cec5SDimitry Andric #include "llvm/Option/Option.h" 310b57cec5SDimitry Andric #include "llvm/Support/BuryPointer.h" 320b57cec5SDimitry Andric #include "llvm/Support/DynamicLibrary.h" 330b57cec5SDimitry Andric #include "llvm/Support/ErrorHandling.h" 340b57cec5SDimitry Andric using namespace clang; 350b57cec5SDimitry Andric using namespace llvm::opt; 360b57cec5SDimitry Andric 370b57cec5SDimitry Andric namespace clang { 380b57cec5SDimitry Andric 390b57cec5SDimitry Andric static std::unique_ptr<FrontendAction> 400b57cec5SDimitry Andric CreateFrontendBaseAction(CompilerInstance &CI) { 410b57cec5SDimitry Andric using namespace clang::frontend; 420b57cec5SDimitry Andric StringRef Action("unknown"); 430b57cec5SDimitry Andric (void)Action; 440b57cec5SDimitry Andric 450b57cec5SDimitry Andric switch (CI.getFrontendOpts().ProgramAction) { 46a7dea167SDimitry Andric case ASTDeclList: return std::make_unique<ASTDeclListAction>(); 47a7dea167SDimitry Andric case ASTDump: return std::make_unique<ASTDumpAction>(); 48a7dea167SDimitry Andric case ASTPrint: return std::make_unique<ASTPrintAction>(); 49a7dea167SDimitry Andric case ASTView: return std::make_unique<ASTViewAction>(); 500b57cec5SDimitry Andric case DumpCompilerOptions: 51a7dea167SDimitry Andric return std::make_unique<DumpCompilerOptionsAction>(); 52a7dea167SDimitry Andric case DumpRawTokens: return std::make_unique<DumpRawTokensAction>(); 53a7dea167SDimitry Andric case DumpTokens: return std::make_unique<DumpTokensAction>(); 54a7dea167SDimitry Andric case EmitAssembly: return std::make_unique<EmitAssemblyAction>(); 55a7dea167SDimitry Andric case EmitBC: return std::make_unique<EmitBCAction>(); 56a7dea167SDimitry Andric case EmitHTML: return std::make_unique<HTMLPrintAction>(); 57a7dea167SDimitry Andric case EmitLLVM: return std::make_unique<EmitLLVMAction>(); 58a7dea167SDimitry Andric case EmitLLVMOnly: return std::make_unique<EmitLLVMOnlyAction>(); 59a7dea167SDimitry Andric case EmitCodeGenOnly: return std::make_unique<EmitCodeGenOnlyAction>(); 60a7dea167SDimitry Andric case EmitObj: return std::make_unique<EmitObjAction>(); 6104eeddc0SDimitry Andric case ExtractAPI: 6204eeddc0SDimitry Andric return std::make_unique<ExtractAPIAction>(); 63a7dea167SDimitry Andric case FixIt: return std::make_unique<FixItAction>(); 640b57cec5SDimitry Andric case GenerateModule: 65a7dea167SDimitry Andric return std::make_unique<GenerateModuleFromModuleMapAction>(); 660b57cec5SDimitry Andric case GenerateModuleInterface: 67a7dea167SDimitry Andric return std::make_unique<GenerateModuleInterfaceAction>(); 680b57cec5SDimitry Andric case GenerateHeaderModule: 69a7dea167SDimitry Andric return std::make_unique<GenerateHeaderModuleAction>(); 70*81ad6265SDimitry Andric case GenerateHeaderUnit: 71*81ad6265SDimitry Andric return std::make_unique<GenerateHeaderUnitAction>(); 72a7dea167SDimitry Andric case GeneratePCH: return std::make_unique<GeneratePCHAction>(); 735ffd83dbSDimitry Andric case GenerateInterfaceStubs: 745ffd83dbSDimitry Andric return std::make_unique<GenerateInterfaceStubsAction>(); 75a7dea167SDimitry Andric case InitOnly: return std::make_unique<InitOnlyAction>(); 76a7dea167SDimitry Andric case ParseSyntaxOnly: return std::make_unique<SyntaxOnlyAction>(); 77a7dea167SDimitry Andric case ModuleFileInfo: return std::make_unique<DumpModuleInfoAction>(); 78a7dea167SDimitry Andric case VerifyPCH: return std::make_unique<VerifyPCHAction>(); 79a7dea167SDimitry Andric case TemplightDump: return std::make_unique<TemplightDumpAction>(); 800b57cec5SDimitry Andric 810b57cec5SDimitry Andric case PluginAction: { 825ffd83dbSDimitry Andric for (const FrontendPluginRegistry::entry &Plugin : 835ffd83dbSDimitry Andric FrontendPluginRegistry::entries()) { 845ffd83dbSDimitry Andric if (Plugin.getName() == CI.getFrontendOpts().ActionName) { 855ffd83dbSDimitry Andric std::unique_ptr<PluginASTAction> P(Plugin.instantiate()); 860b57cec5SDimitry Andric if ((P->getActionType() != PluginASTAction::ReplaceAction && 87349cc55cSDimitry Andric P->getActionType() != PluginASTAction::CmdlineAfterMainAction) || 885ffd83dbSDimitry Andric !P->ParseArgs( 895ffd83dbSDimitry Andric CI, 905ffd83dbSDimitry Andric CI.getFrontendOpts().PluginArgs[std::string(Plugin.getName())])) 910b57cec5SDimitry Andric return nullptr; 920b57cec5SDimitry Andric return std::move(P); 930b57cec5SDimitry Andric } 940b57cec5SDimitry Andric } 950b57cec5SDimitry Andric 960b57cec5SDimitry Andric CI.getDiagnostics().Report(diag::err_fe_invalid_plugin_name) 970b57cec5SDimitry Andric << CI.getFrontendOpts().ActionName; 980b57cec5SDimitry Andric return nullptr; 990b57cec5SDimitry Andric } 1000b57cec5SDimitry Andric 101a7dea167SDimitry Andric case PrintPreamble: return std::make_unique<PrintPreambleAction>(); 1020b57cec5SDimitry Andric case PrintPreprocessedInput: { 1030b57cec5SDimitry Andric if (CI.getPreprocessorOutputOpts().RewriteIncludes || 1040b57cec5SDimitry Andric CI.getPreprocessorOutputOpts().RewriteImports) 105a7dea167SDimitry Andric return std::make_unique<RewriteIncludesAction>(); 106a7dea167SDimitry Andric return std::make_unique<PrintPreprocessedAction>(); 1070b57cec5SDimitry Andric } 1080b57cec5SDimitry Andric 109a7dea167SDimitry Andric case RewriteMacros: return std::make_unique<RewriteMacrosAction>(); 110a7dea167SDimitry Andric case RewriteTest: return std::make_unique<RewriteTestAction>(); 1110b57cec5SDimitry Andric #if CLANG_ENABLE_OBJC_REWRITER 112a7dea167SDimitry Andric case RewriteObjC: return std::make_unique<RewriteObjCAction>(); 1130b57cec5SDimitry Andric #else 1140b57cec5SDimitry Andric case RewriteObjC: Action = "RewriteObjC"; break; 1150b57cec5SDimitry Andric #endif 1160b57cec5SDimitry Andric #if CLANG_ENABLE_ARCMT 1170b57cec5SDimitry Andric case MigrateSource: 118a7dea167SDimitry Andric return std::make_unique<arcmt::MigrateSourceAction>(); 1190b57cec5SDimitry Andric #else 1200b57cec5SDimitry Andric case MigrateSource: Action = "MigrateSource"; break; 1210b57cec5SDimitry Andric #endif 1220b57cec5SDimitry Andric #if CLANG_ENABLE_STATIC_ANALYZER 123a7dea167SDimitry Andric case RunAnalysis: return std::make_unique<ento::AnalysisAction>(); 1240b57cec5SDimitry Andric #else 1250b57cec5SDimitry Andric case RunAnalysis: Action = "RunAnalysis"; break; 1260b57cec5SDimitry Andric #endif 127a7dea167SDimitry Andric case RunPreprocessorOnly: return std::make_unique<PreprocessOnlyAction>(); 1280b57cec5SDimitry Andric case PrintDependencyDirectivesSourceMinimizerOutput: 129a7dea167SDimitry Andric return std::make_unique<PrintDependencyDirectivesSourceMinimizerAction>(); 1300b57cec5SDimitry Andric } 1310b57cec5SDimitry Andric 1320b57cec5SDimitry Andric #if !CLANG_ENABLE_ARCMT || !CLANG_ENABLE_STATIC_ANALYZER \ 1330b57cec5SDimitry Andric || !CLANG_ENABLE_OBJC_REWRITER 1340b57cec5SDimitry Andric CI.getDiagnostics().Report(diag::err_fe_action_not_available) << Action; 1350b57cec5SDimitry Andric return 0; 1360b57cec5SDimitry Andric #else 1370b57cec5SDimitry Andric llvm_unreachable("Invalid program action!"); 1380b57cec5SDimitry Andric #endif 1390b57cec5SDimitry Andric } 1400b57cec5SDimitry Andric 1410b57cec5SDimitry Andric std::unique_ptr<FrontendAction> 1420b57cec5SDimitry Andric CreateFrontendAction(CompilerInstance &CI) { 1430b57cec5SDimitry Andric // Create the underlying action. 1440b57cec5SDimitry Andric std::unique_ptr<FrontendAction> Act = CreateFrontendBaseAction(CI); 1450b57cec5SDimitry Andric if (!Act) 1460b57cec5SDimitry Andric return nullptr; 1470b57cec5SDimitry Andric 1480b57cec5SDimitry Andric const FrontendOptions &FEOpts = CI.getFrontendOpts(); 1490b57cec5SDimitry Andric 1500b57cec5SDimitry Andric if (FEOpts.FixAndRecompile) { 151a7dea167SDimitry Andric Act = std::make_unique<FixItRecompile>(std::move(Act)); 1520b57cec5SDimitry Andric } 1530b57cec5SDimitry Andric 1540b57cec5SDimitry Andric #if CLANG_ENABLE_ARCMT 1550b57cec5SDimitry Andric if (CI.getFrontendOpts().ProgramAction != frontend::MigrateSource && 1560b57cec5SDimitry Andric CI.getFrontendOpts().ProgramAction != frontend::GeneratePCH) { 1570b57cec5SDimitry Andric // Potentially wrap the base FE action in an ARC Migrate Tool action. 1580b57cec5SDimitry Andric switch (FEOpts.ARCMTAction) { 1590b57cec5SDimitry Andric case FrontendOptions::ARCMT_None: 1600b57cec5SDimitry Andric break; 1610b57cec5SDimitry Andric case FrontendOptions::ARCMT_Check: 162a7dea167SDimitry Andric Act = std::make_unique<arcmt::CheckAction>(std::move(Act)); 1630b57cec5SDimitry Andric break; 1640b57cec5SDimitry Andric case FrontendOptions::ARCMT_Modify: 165a7dea167SDimitry Andric Act = std::make_unique<arcmt::ModifyAction>(std::move(Act)); 1660b57cec5SDimitry Andric break; 1670b57cec5SDimitry Andric case FrontendOptions::ARCMT_Migrate: 168a7dea167SDimitry Andric Act = std::make_unique<arcmt::MigrateAction>(std::move(Act), 1690b57cec5SDimitry Andric FEOpts.MTMigrateDir, 1700b57cec5SDimitry Andric FEOpts.ARCMTMigrateReportOut, 1710b57cec5SDimitry Andric FEOpts.ARCMTMigrateEmitARCErrors); 1720b57cec5SDimitry Andric break; 1730b57cec5SDimitry Andric } 1740b57cec5SDimitry Andric 1750b57cec5SDimitry Andric if (FEOpts.ObjCMTAction != FrontendOptions::ObjCMT_None) { 176a7dea167SDimitry Andric Act = std::make_unique<arcmt::ObjCMigrateAction>(std::move(Act), 1770b57cec5SDimitry Andric FEOpts.MTMigrateDir, 1780b57cec5SDimitry Andric FEOpts.ObjCMTAction); 1790b57cec5SDimitry Andric } 1800b57cec5SDimitry Andric } 1810b57cec5SDimitry Andric #endif 1820b57cec5SDimitry Andric 1830b57cec5SDimitry Andric // If there are any AST files to merge, create a frontend action 1840b57cec5SDimitry Andric // adaptor to perform the merge. 1850b57cec5SDimitry Andric if (!FEOpts.ASTMergeFiles.empty()) 186a7dea167SDimitry Andric Act = std::make_unique<ASTMergeAction>(std::move(Act), 1870b57cec5SDimitry Andric FEOpts.ASTMergeFiles); 1880b57cec5SDimitry Andric 1890b57cec5SDimitry Andric return Act; 1900b57cec5SDimitry Andric } 1910b57cec5SDimitry Andric 1920b57cec5SDimitry Andric bool ExecuteCompilerInvocation(CompilerInstance *Clang) { 1930b57cec5SDimitry Andric // Honor -help. 1940b57cec5SDimitry Andric if (Clang->getFrontendOpts().ShowHelp) { 195fe6060f1SDimitry Andric driver::getDriverOptTable().printHelp( 196a7dea167SDimitry Andric llvm::outs(), "clang -cc1 [options] file...", 1970b57cec5SDimitry Andric "LLVM 'Clang' Compiler: http://clang.llvm.org", 1980b57cec5SDimitry Andric /*Include=*/driver::options::CC1Option, 1990b57cec5SDimitry Andric /*Exclude=*/0, /*ShowAllAliases=*/false); 2000b57cec5SDimitry Andric return true; 2010b57cec5SDimitry Andric } 2020b57cec5SDimitry Andric 2030b57cec5SDimitry Andric // Honor -version. 2040b57cec5SDimitry Andric // 2050b57cec5SDimitry Andric // FIXME: Use a better -version message? 2060b57cec5SDimitry Andric if (Clang->getFrontendOpts().ShowVersion) { 2070b57cec5SDimitry Andric llvm::cl::PrintVersionMessage(); 2080b57cec5SDimitry Andric return true; 2090b57cec5SDimitry Andric } 2100b57cec5SDimitry Andric 211349cc55cSDimitry Andric Clang->LoadRequestedPlugins(); 2120b57cec5SDimitry Andric 2130b57cec5SDimitry Andric // Honor -mllvm. 2140b57cec5SDimitry Andric // 2150b57cec5SDimitry Andric // FIXME: Remove this, one day. 2160b57cec5SDimitry Andric // This should happen AFTER plugins have been loaded! 2170b57cec5SDimitry Andric if (!Clang->getFrontendOpts().LLVMArgs.empty()) { 2180b57cec5SDimitry Andric unsigned NumArgs = Clang->getFrontendOpts().LLVMArgs.size(); 219a7dea167SDimitry Andric auto Args = std::make_unique<const char*[]>(NumArgs + 2); 2200b57cec5SDimitry Andric Args[0] = "clang (LLVM option parsing)"; 2210b57cec5SDimitry Andric for (unsigned i = 0; i != NumArgs; ++i) 2220b57cec5SDimitry Andric Args[i + 1] = Clang->getFrontendOpts().LLVMArgs[i].c_str(); 2230b57cec5SDimitry Andric Args[NumArgs + 1] = nullptr; 2240b57cec5SDimitry Andric llvm::cl::ParseCommandLineOptions(NumArgs + 1, Args.get()); 2250b57cec5SDimitry Andric } 2260b57cec5SDimitry Andric 2270b57cec5SDimitry Andric #if CLANG_ENABLE_STATIC_ANALYZER 2280b57cec5SDimitry Andric // These should happen AFTER plugins have been loaded! 2290b57cec5SDimitry Andric 2300b57cec5SDimitry Andric AnalyzerOptions &AnOpts = *Clang->getAnalyzerOpts(); 2315ffd83dbSDimitry Andric 2320b57cec5SDimitry Andric // Honor -analyzer-checker-help and -analyzer-checker-help-hidden. 2330b57cec5SDimitry Andric if (AnOpts.ShowCheckerHelp || AnOpts.ShowCheckerHelpAlpha || 2340b57cec5SDimitry Andric AnOpts.ShowCheckerHelpDeveloper) { 2355ffd83dbSDimitry Andric ento::printCheckerHelp(llvm::outs(), *Clang); 2360b57cec5SDimitry Andric return true; 2370b57cec5SDimitry Andric } 2380b57cec5SDimitry Andric 2390b57cec5SDimitry Andric // Honor -analyzer-checker-option-help. 2400b57cec5SDimitry Andric if (AnOpts.ShowCheckerOptionList || AnOpts.ShowCheckerOptionAlphaList || 2410b57cec5SDimitry Andric AnOpts.ShowCheckerOptionDeveloperList) { 2425ffd83dbSDimitry Andric ento::printCheckerConfigList(llvm::outs(), *Clang); 2430b57cec5SDimitry Andric return true; 2440b57cec5SDimitry Andric } 2450b57cec5SDimitry Andric 2460b57cec5SDimitry Andric // Honor -analyzer-list-enabled-checkers. 2470b57cec5SDimitry Andric if (AnOpts.ShowEnabledCheckerList) { 2485ffd83dbSDimitry Andric ento::printEnabledCheckerList(llvm::outs(), *Clang); 249a7dea167SDimitry Andric return true; 2500b57cec5SDimitry Andric } 2510b57cec5SDimitry Andric 2520b57cec5SDimitry Andric // Honor -analyzer-config-help. 2530b57cec5SDimitry Andric if (AnOpts.ShowConfigOptionsList) { 2540b57cec5SDimitry Andric ento::printAnalyzerConfigList(llvm::outs()); 2550b57cec5SDimitry Andric return true; 2560b57cec5SDimitry Andric } 2570b57cec5SDimitry Andric #endif 2580b57cec5SDimitry Andric 2590b57cec5SDimitry Andric // If there were errors in processing arguments, don't do anything else. 2600b57cec5SDimitry Andric if (Clang->getDiagnostics().hasErrorOccurred()) 2610b57cec5SDimitry Andric return false; 2620b57cec5SDimitry Andric // Create and execute the frontend action. 2630b57cec5SDimitry Andric std::unique_ptr<FrontendAction> Act(CreateFrontendAction(*Clang)); 2640b57cec5SDimitry Andric if (!Act) 2650b57cec5SDimitry Andric return false; 2660b57cec5SDimitry Andric bool Success = Clang->ExecuteAction(*Act); 2670b57cec5SDimitry Andric if (Clang->getFrontendOpts().DisableFree) 2680b57cec5SDimitry Andric llvm::BuryPointer(std::move(Act)); 2690b57cec5SDimitry Andric return Success; 2700b57cec5SDimitry Andric } 2710b57cec5SDimitry Andric 2720b57cec5SDimitry Andric } // namespace clang 273