blob: e032c40a67ed2660cb62c014314021a83aec0224 [file] [log] [blame]
Chandler Carruth66445382014-01-11 08:16:35 +00001//===- NewPMDriver.cpp - Driver for opt with new PM -----------------------===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// 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
Chandler Carruth66445382014-01-11 08:16:35 +00006//
7//===----------------------------------------------------------------------===//
8/// \file
9///
10/// This file is just a split of the code that logically belongs in opt.cpp but
11/// that includes the new pass manager headers.
12///
13//===----------------------------------------------------------------------===//
14
15#include "NewPMDriver.h"
Fedor Sergeev662e5682018-09-24 16:08:15 +000016#include "Debugify.h"
Vedant Kumar775c7af2018-02-15 21:14:36 +000017#include "PassPrinters.h"
Chandler Carruth66445382014-01-11 08:16:35 +000018#include "llvm/ADT/StringRef.h"
Chandler Carruthedf59962016-02-18 09:45:17 +000019#include "llvm/Analysis/AliasAnalysis.h"
Chandler Carruth572e3402014-04-21 11:12:00 +000020#include "llvm/Analysis/CGSCCPassManager.h"
Chandler Carruthb7bdfd62014-01-13 07:38:24 +000021#include "llvm/Bitcode/BitcodeWriterPass.h"
Nico Weber432a3882018-04-30 14:59:11 +000022#include "llvm/Config/llvm-config.h"
Chandler Carruth64764b42015-01-14 10:19:28 +000023#include "llvm/IR/Dominators.h"
Chandler Carruthb353c3f2014-01-13 05:16:45 +000024#include "llvm/IR/IRPrintingPasses.h"
Chandler Carruth66445382014-01-11 08:16:35 +000025#include "llvm/IR/LLVMContext.h"
26#include "llvm/IR/Module.h"
27#include "llvm/IR/PassManager.h"
Chandler Carruth4d356312014-01-20 11:34:08 +000028#include "llvm/IR/Verifier.h"
Chandler Carruth1ff77242015-03-07 09:02:36 +000029#include "llvm/Passes/PassBuilder.h"
Philip Pfaffe131fb972018-04-05 15:04:13 +000030#include "llvm/Passes/PassPlugin.h"
Fedor Sergeev662e5682018-09-24 16:08:15 +000031#include "llvm/Passes/StandardInstrumentations.h"
Chandler Carruth66445382014-01-11 08:16:35 +000032#include "llvm/Support/CommandLine.h"
Chandler Carruthb353c3f2014-01-13 05:16:45 +000033#include "llvm/Support/ErrorHandling.h"
Chandler Carruth66445382014-01-11 08:16:35 +000034#include "llvm/Support/ToolOutputFile.h"
Chandler Carruthe0385522015-02-01 10:11:22 +000035#include "llvm/Target/TargetMachine.h"
Tim Shen6b4114182017-06-01 01:02:12 +000036#include "llvm/Transforms/IPO/ThinLTOBitcodeWriter.h"
Chandler Carruth3bab7e12017-01-11 09:43:56 +000037#include "llvm/Transforms/Scalar/LoopPassManager.h"
Chandler Carruth66445382014-01-11 08:16:35 +000038
39using namespace llvm;
Chandler Carruth949282e2014-01-13 03:08:40 +000040using namespace opt_tool;
Chandler Carruth66445382014-01-11 08:16:35 +000041
Chandler Carruth14a759e2015-01-13 22:42:38 +000042static cl::opt<bool>
43 DebugPM("debug-pass-manager", cl::Hidden,
44 cl::desc("Print pass management debugging information"));
45
Philip Pfaffe131fb972018-04-05 15:04:13 +000046static cl::list<std::string>
47 PassPlugins("load-pass-plugin",
48 cl::desc("Load passes from plugin library"));
49
Chandler Carruthedf59962016-02-18 09:45:17 +000050// This flag specifies a textual description of the alias analysis pipeline to
51// use when querying for aliasing information. It only works in concert with
52// the "passes" flag above.
53static cl::opt<std::string>
54 AAPipeline("aa-pipeline",
55 cl::desc("A textual description of the alias analysis "
56 "pipeline for handling managed aliasing queries"),
57 cl::Hidden);
58
Philip Pfaffe730f2f92017-07-10 10:57:55 +000059/// {{@ These options accept textual pipeline descriptions which will be
60/// inserted into default pipelines at the respective extension points
61static cl::opt<std::string> PeepholeEPPipeline(
62 "passes-ep-peephole",
63 cl::desc("A textual description of the function pass pipeline inserted at "
64 "the Peephole extension points into default pipelines"),
65 cl::Hidden);
66static cl::opt<std::string> LateLoopOptimizationsEPPipeline(
67 "passes-ep-late-loop-optimizations",
68 cl::desc(
69 "A textual description of the loop pass pipeline inserted at "
70 "the LateLoopOptimizations extension point into default pipelines"),
71 cl::Hidden);
72static cl::opt<std::string> LoopOptimizerEndEPPipeline(
73 "passes-ep-loop-optimizer-end",
74 cl::desc("A textual description of the loop pass pipeline inserted at "
75 "the LoopOptimizerEnd extension point into default pipelines"),
76 cl::Hidden);
77static cl::opt<std::string> ScalarOptimizerLateEPPipeline(
78 "passes-ep-scalar-optimizer-late",
79 cl::desc("A textual description of the function pass pipeline inserted at "
80 "the ScalarOptimizerLate extension point into default pipelines"),
81 cl::Hidden);
82static cl::opt<std::string> CGSCCOptimizerLateEPPipeline(
83 "passes-ep-cgscc-optimizer-late",
84 cl::desc("A textual description of the cgscc pass pipeline inserted at "
85 "the CGSCCOptimizerLate extension point into default pipelines"),
86 cl::Hidden);
87static cl::opt<std::string> VectorizerStartEPPipeline(
88 "passes-ep-vectorizer-start",
89 cl::desc("A textual description of the function pass pipeline inserted at "
90 "the VectorizerStart extension point into default pipelines"),
91 cl::Hidden);
David Blaikie0c64f5a2018-01-23 01:25:20 +000092static cl::opt<std::string> PipelineStartEPPipeline(
93 "passes-ep-pipeline-start",
94 cl::desc("A textual description of the function pass pipeline inserted at "
95 "the PipelineStart extension point into default pipelines"),
96 cl::Hidden);
Philip Pfaffe2d4effb2018-11-12 11:17:07 +000097static cl::opt<std::string> OptimizerLastEPPipeline(
98 "passes-ep-optimizer-last",
99 cl::desc("A textual description of the function pass pipeline inserted at "
100 "the OptimizerLast extension point into default pipelines"),
101 cl::Hidden);
102
Wei Mic876e3d2019-01-16 23:19:02 +0000103extern cl::opt<PGOKind> PGOKindFlag;
104extern cl::opt<std::string> ProfileFile;
Richard Smith6c676622018-10-10 23:13:47 +0000105static cl::opt<std::string>
106 ProfileRemappingFile("profile-remapping-file",
107 cl::desc("Path to the profile remapping file."),
108 cl::Hidden);
Dehao Chene90d0152017-07-26 15:01:20 +0000109static cl::opt<bool> DebugInfoForProfiling(
110 "new-pm-debug-info-for-profiling", cl::init(false), cl::Hidden,
111 cl::desc("Emit special debug info to enable PGO profile generation."));
Philip Pfaffe730f2f92017-07-10 10:57:55 +0000112/// @}}
113
Philip Pfaffeb4d500f2017-07-11 11:17:44 +0000114template <typename PassManagerT>
Fedor Sergeevbd6b2132018-10-17 10:36:23 +0000115bool tryParsePipelineText(PassBuilder &PB,
116 const cl::opt<std::string> &PipelineOpt) {
117 if (PipelineOpt.empty())
Philip Pfaffeb4d500f2017-07-11 11:17:44 +0000118 return false;
119
120 // Verify the pipeline is parseable:
121 PassManagerT PM;
Fedor Sergeevbd6b2132018-10-17 10:36:23 +0000122 if (auto Err = PB.parsePassPipeline(PM, PipelineOpt)) {
123 errs() << "Could not parse -" << PipelineOpt.ArgStr
124 << " pipeline: " << toString(std::move(Err))
125 << "... I'm going to ignore it.\n";
126 return false;
127 }
128 return true;
Philip Pfaffeb4d500f2017-07-11 11:17:44 +0000129}
130
Philip Pfaffe730f2f92017-07-10 10:57:55 +0000131/// If one of the EPPipeline command line options was given, register callbacks
132/// for parsing and inserting the given pipeline
133static void registerEPCallbacks(PassBuilder &PB, bool VerifyEachPass,
134 bool DebugLogging) {
Philip Pfaffeb4d500f2017-07-11 11:17:44 +0000135 if (tryParsePipelineText<FunctionPassManager>(PB, PeepholeEPPipeline))
Fedor Sergeevbd6b2132018-10-17 10:36:23 +0000136 PB.registerPeepholeEPCallback(
137 [&PB, VerifyEachPass, DebugLogging](
138 FunctionPassManager &PM, PassBuilder::OptimizationLevel Level) {
139 ExitOnError Err("Unable to parse PeepholeEP pipeline: ");
140 Err(PB.parsePassPipeline(PM, PeepholeEPPipeline, VerifyEachPass,
141 DebugLogging));
142 });
Philip Pfaffeb4d500f2017-07-11 11:17:44 +0000143 if (tryParsePipelineText<LoopPassManager>(PB,
144 LateLoopOptimizationsEPPipeline))
Philip Pfaffe730f2f92017-07-10 10:57:55 +0000145 PB.registerLateLoopOptimizationsEPCallback(
Philip Pfaffea3b84162017-07-10 12:48:51 +0000146 [&PB, VerifyEachPass, DebugLogging](
147 LoopPassManager &PM, PassBuilder::OptimizationLevel Level) {
Fedor Sergeevbd6b2132018-10-17 10:36:23 +0000148 ExitOnError Err("Unable to parse LateLoopOptimizationsEP pipeline: ");
149 Err(PB.parsePassPipeline(PM, LateLoopOptimizationsEPPipeline,
150 VerifyEachPass, DebugLogging));
Philip Pfaffe730f2f92017-07-10 10:57:55 +0000151 });
Philip Pfaffeb4d500f2017-07-11 11:17:44 +0000152 if (tryParsePipelineText<LoopPassManager>(PB, LoopOptimizerEndEPPipeline))
Fedor Sergeevbd6b2132018-10-17 10:36:23 +0000153 PB.registerLoopOptimizerEndEPCallback(
154 [&PB, VerifyEachPass, DebugLogging](
155 LoopPassManager &PM, PassBuilder::OptimizationLevel Level) {
156 ExitOnError Err("Unable to parse LoopOptimizerEndEP pipeline: ");
157 Err(PB.parsePassPipeline(PM, LoopOptimizerEndEPPipeline,
158 VerifyEachPass, DebugLogging));
159 });
Philip Pfaffeb4d500f2017-07-11 11:17:44 +0000160 if (tryParsePipelineText<FunctionPassManager>(PB,
161 ScalarOptimizerLateEPPipeline))
Philip Pfaffe730f2f92017-07-10 10:57:55 +0000162 PB.registerScalarOptimizerLateEPCallback(
Philip Pfaffea3b84162017-07-10 12:48:51 +0000163 [&PB, VerifyEachPass, DebugLogging](
164 FunctionPassManager &PM, PassBuilder::OptimizationLevel Level) {
Fedor Sergeevbd6b2132018-10-17 10:36:23 +0000165 ExitOnError Err("Unable to parse ScalarOptimizerLateEP pipeline: ");
166 Err(PB.parsePassPipeline(PM, ScalarOptimizerLateEPPipeline,
167 VerifyEachPass, DebugLogging));
Philip Pfaffe730f2f92017-07-10 10:57:55 +0000168 });
Philip Pfaffeb4d500f2017-07-11 11:17:44 +0000169 if (tryParsePipelineText<CGSCCPassManager>(PB, CGSCCOptimizerLateEPPipeline))
Fedor Sergeevbd6b2132018-10-17 10:36:23 +0000170 PB.registerCGSCCOptimizerLateEPCallback(
171 [&PB, VerifyEachPass, DebugLogging](
172 CGSCCPassManager &PM, PassBuilder::OptimizationLevel Level) {
173 ExitOnError Err("Unable to parse CGSCCOptimizerLateEP pipeline: ");
174 Err(PB.parsePassPipeline(PM, CGSCCOptimizerLateEPPipeline,
175 VerifyEachPass, DebugLogging));
176 });
Philip Pfaffeb4d500f2017-07-11 11:17:44 +0000177 if (tryParsePipelineText<FunctionPassManager>(PB, VectorizerStartEPPipeline))
Fedor Sergeevbd6b2132018-10-17 10:36:23 +0000178 PB.registerVectorizerStartEPCallback(
179 [&PB, VerifyEachPass, DebugLogging](
180 FunctionPassManager &PM, PassBuilder::OptimizationLevel Level) {
181 ExitOnError Err("Unable to parse VectorizerStartEP pipeline: ");
182 Err(PB.parsePassPipeline(PM, VectorizerStartEPPipeline,
183 VerifyEachPass, DebugLogging));
184 });
David Blaikie0c64f5a2018-01-23 01:25:20 +0000185 if (tryParsePipelineText<ModulePassManager>(PB, PipelineStartEPPipeline))
186 PB.registerPipelineStartEPCallback(
187 [&PB, VerifyEachPass, DebugLogging](ModulePassManager &PM) {
Fedor Sergeevbd6b2132018-10-17 10:36:23 +0000188 ExitOnError Err("Unable to parse PipelineStartEP pipeline: ");
189 Err(PB.parsePassPipeline(PM, PipelineStartEPPipeline, VerifyEachPass,
190 DebugLogging));
David Blaikie0c64f5a2018-01-23 01:25:20 +0000191 });
Philip Pfaffe2d4effb2018-11-12 11:17:07 +0000192 if (tryParsePipelineText<FunctionPassManager>(PB, OptimizerLastEPPipeline))
193 PB.registerOptimizerLastEPCallback(
194 [&PB, VerifyEachPass, DebugLogging](FunctionPassManager &PM,
195 PassBuilder::OptimizationLevel) {
Philip Pfaffee194c022018-11-12 12:27:58 +0000196 ExitOnError Err("Unable to parse OptimizerLastEP pipeline: ");
197 Err(PB.parsePassPipeline(PM, OptimizerLastEPPipeline, VerifyEachPass,
198 DebugLogging));
Philip Pfaffe2d4effb2018-11-12 11:17:07 +0000199 });
Philip Pfaffe730f2f92017-07-10 10:57:55 +0000200}
201
Philip Pfaffe59d690b2017-08-04 09:28:09 +0000202#ifdef LINK_POLLY_INTO_TOOLS
203namespace polly {
204void RegisterPollyPasses(PassBuilder &);
205}
206#endif
207
Tim Shen6b4114182017-06-01 01:02:12 +0000208bool llvm::runPassPipeline(StringRef Arg0, Module &M, TargetMachine *TM,
Reid Kleckner3fc649c2017-09-23 01:03:17 +0000209 ToolOutputFile *Out, ToolOutputFile *ThinLTOLinkOut,
210 ToolOutputFile *OptRemarkFile,
Chandler Carruthe0385522015-02-01 10:11:22 +0000211 StringRef PassPipeline, OutputKind OK,
Duncan P. N. Exon Smith679db332015-04-15 00:34:24 +0000212 VerifierKind VK,
Duncan P. N. Exon Smith8a74f682015-04-15 02:38:06 +0000213 bool ShouldPreserveAssemblyUseListOrder,
Teresa Johnsonf93b2462016-08-12 13:53:02 +0000214 bool ShouldPreserveBitcodeUseListOrder,
Vedant Kumar775c7af2018-02-15 21:14:36 +0000215 bool EmitSummaryIndex, bool EmitModuleHash,
216 bool EnableDebugify) {
Philip Pfaffe730f2f92017-07-10 10:57:55 +0000217 bool VerifyEachPass = VK == VK_VerifyEachPass;
Dehao Chen7b05a272017-07-26 02:00:43 +0000218
219 Optional<PGOOptions> P;
220 switch (PGOKindFlag) {
221 case InstrGen:
Richard Smith6c676622018-10-10 23:13:47 +0000222 P = PGOOptions(ProfileFile, "", "", "", true);
Dehao Chen7b05a272017-07-26 02:00:43 +0000223 break;
224 case InstrUse:
Richard Smith6c676622018-10-10 23:13:47 +0000225 P = PGOOptions("", ProfileFile, "", ProfileRemappingFile, false);
Dehao Chen7b05a272017-07-26 02:00:43 +0000226 break;
227 case SampleUse:
Richard Smith6c676622018-10-10 23:13:47 +0000228 P = PGOOptions("", "", ProfileFile, ProfileRemappingFile, false);
Dehao Chen7b05a272017-07-26 02:00:43 +0000229 break;
230 case NoPGO:
Dehao Chene90d0152017-07-26 15:01:20 +0000231 if (DebugInfoForProfiling)
Richard Smith6c676622018-10-10 23:13:47 +0000232 P = PGOOptions("", "", "", "", false, true);
Dehao Chene90d0152017-07-26 15:01:20 +0000233 else
234 P = None;
Dehao Chen7b05a272017-07-26 02:00:43 +0000235 }
Fedor Sergeev662e5682018-09-24 16:08:15 +0000236 PassInstrumentationCallbacks PIC;
237 StandardInstrumentations SI;
238 SI.registerCallbacks(PIC);
239
240 PassBuilder PB(TM, P, &PIC);
Philip Pfaffe730f2f92017-07-10 10:57:55 +0000241 registerEPCallbacks(PB, VerifyEachPass, DebugPM);
Chandler Carruth2dc92e92015-02-01 07:40:05 +0000242
Philip Pfaffe131fb972018-04-05 15:04:13 +0000243 // Load requested pass plugins and let them register pass builder callbacks
244 for (auto &PluginFN : PassPlugins) {
245 auto PassPlugin = PassPlugin::Load(PluginFN);
246 if (!PassPlugin) {
247 errs() << "Failed to load passes from '" << PluginFN
248 << "'. Request ignored.\n";
249 continue;
250 }
251
252 PassPlugin->registerPassBuilderCallbacks(PB);
253 }
254
Vedant Kumar775c7af2018-02-15 21:14:36 +0000255 // Register a callback that creates the debugify passes as needed.
256 PB.registerPipelineParsingCallback(
257 [](StringRef Name, ModulePassManager &MPM,
258 ArrayRef<PassBuilder::PipelineElement>) {
259 if (Name == "debugify") {
260 MPM.addPass(NewPMDebugifyPass());
261 return true;
262 } else if (Name == "check-debugify") {
263 MPM.addPass(NewPMCheckDebugifyPass());
264 return true;
265 }
266 return false;
267 });
268
Philip Pfaffe59d690b2017-08-04 09:28:09 +0000269#ifdef LINK_POLLY_INTO_TOOLS
270 polly::RegisterPollyPasses(PB);
271#endif
272
Chandler Carruthedf59962016-02-18 09:45:17 +0000273 // Specially handle the alias analysis manager so that we can register
274 // a custom pipeline of AA passes with it.
275 AAManager AA;
Fedor Sergeevbd6b2132018-10-17 10:36:23 +0000276 if (auto Err = PB.parseAAPipeline(AA, AAPipeline)) {
277 errs() << Arg0 << ": " << toString(std::move(Err)) << "\n";
Chandler Carruthedf59962016-02-18 09:45:17 +0000278 return false;
279 }
280
Justin Bognereecc3c82016-02-25 07:23:08 +0000281 LoopAnalysisManager LAM(DebugPM);
Chandler Carruth14a759e2015-01-13 22:42:38 +0000282 FunctionAnalysisManager FAM(DebugPM);
283 CGSCCAnalysisManager CGAM(DebugPM);
284 ModuleAnalysisManager MAM(DebugPM);
Chandler Carruth4d356312014-01-20 11:34:08 +0000285
Chandler Carruthedf59962016-02-18 09:45:17 +0000286 // Register the AA manager first so that our version is the one used.
287 FAM.registerPass([&] { return std::move(AA); });
288
Chandler Carruthb70f6732015-01-06 02:21:37 +0000289 // Register all the basic analyses with the managers.
Chandler Carruth1ff77242015-03-07 09:02:36 +0000290 PB.registerModuleAnalyses(MAM);
291 PB.registerCGSCCAnalyses(CGAM);
292 PB.registerFunctionAnalyses(FAM);
Justin Bognereecc3c82016-02-25 07:23:08 +0000293 PB.registerLoopAnalyses(LAM);
Davide Italianob6ccd6b2016-05-14 23:21:50 +0000294 PB.crossRegisterProxies(LAM, FAM, CGAM, MAM);
Chandler Carruthc68d0822014-02-06 04:25:13 +0000295
Chandler Carruth14a759e2015-01-13 22:42:38 +0000296 ModulePassManager MPM(DebugPM);
Chandler Carruth4d356312014-01-20 11:34:08 +0000297 if (VK > VK_NoVerifier)
298 MPM.addPass(VerifierPass());
Vedant Kumar775c7af2018-02-15 21:14:36 +0000299 if (EnableDebugify)
300 MPM.addPass(NewPMDebugifyPass());
Chandler Carruth4d356312014-01-20 11:34:08 +0000301
Fedor Sergeevbd6b2132018-10-17 10:36:23 +0000302 if (auto Err =
303 PB.parsePassPipeline(MPM, PassPipeline, VerifyEachPass, DebugPM)) {
304 errs() << Arg0 << ": " << toString(std::move(Err)) << "\n";
Chandler Carruth66445382014-01-11 08:16:35 +0000305 return false;
306 }
307
Chandler Carruth4d356312014-01-20 11:34:08 +0000308 if (VK > VK_NoVerifier)
309 MPM.addPass(VerifierPass());
Vedant Kumar775c7af2018-02-15 21:14:36 +0000310 if (EnableDebugify)
311 MPM.addPass(NewPMCheckDebugifyPass());
Chandler Carruth4d356312014-01-20 11:34:08 +0000312
Chandler Carruthb353c3f2014-01-13 05:16:45 +0000313 // Add any relevant output pass at the end of the pipeline.
314 switch (OK) {
315 case OK_NoOutput:
316 break; // No output pass needed.
317 case OK_OutputAssembly:
Duncan P. N. Exon Smith8a74f682015-04-15 02:38:06 +0000318 MPM.addPass(
319 PrintModulePass(Out->os(), "", ShouldPreserveAssemblyUseListOrder));
Chandler Carruthb353c3f2014-01-13 05:16:45 +0000320 break;
321 case OK_OutputBitcode:
Teresa Johnsonf93b2462016-08-12 13:53:02 +0000322 MPM.addPass(BitcodeWriterPass(Out->os(), ShouldPreserveBitcodeUseListOrder,
323 EmitSummaryIndex, EmitModuleHash));
Chandler Carruthb7bdfd62014-01-13 07:38:24 +0000324 break;
Tim Shen6b4114182017-06-01 01:02:12 +0000325 case OK_OutputThinLTOBitcode:
326 MPM.addPass(ThinLTOBitcodeWriterPass(
327 Out->os(), ThinLTOLinkOut ? &ThinLTOLinkOut->os() : nullptr));
328 break;
Chandler Carruthb353c3f2014-01-13 05:16:45 +0000329 }
330
331 // Before executing passes, print the final values of the LLVM options.
332 cl::PrintOptionValues();
333
Chandler Carruth66445382014-01-11 08:16:35 +0000334 // Now that we have all of the passes ready, run them.
Chandler Carruthb47f8012016-03-11 11:05:24 +0000335 MPM.run(M, MAM);
Chandler Carruth66445382014-01-11 08:16:35 +0000336
337 // Declare success.
Tim Shen6b4114182017-06-01 01:02:12 +0000338 if (OK != OK_NoOutput) {
Chandler Carruth66445382014-01-11 08:16:35 +0000339 Out->keep();
Tim Shen6b4114182017-06-01 01:02:12 +0000340 if (OK == OK_OutputThinLTOBitcode && ThinLTOLinkOut)
341 ThinLTOLinkOut->keep();
342 }
Sam Elliottb0c97532017-08-20 01:30:45 +0000343
344 if (OptRemarkFile)
345 OptRemarkFile->keep();
346
Chandler Carruth66445382014-01-11 08:16:35 +0000347 return true;
348}