xref: /llvm-project-15.0.7/llvm/tools/opt/opt.cpp (revision 4dc0ed83)
1 //===- opt.cpp - The LLVM Modular Optimizer -------------------------------===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // Optimizations may be specified an arbitrary number of times on the command
11 // line, They are run in the order specified.
12 //
13 //===----------------------------------------------------------------------===//
14 
15 #include "BreakpointPrinter.h"
16 #include "NewPMDriver.h"
17 #include "PassPrinters.h"
18 #include "llvm/ADT/Triple.h"
19 #include "llvm/Analysis/CallGraph.h"
20 #include "llvm/Analysis/CallGraphSCCPass.h"
21 #include "llvm/Analysis/LoopPass.h"
22 #include "llvm/Analysis/RegionPass.h"
23 #include "llvm/Analysis/TargetLibraryInfo.h"
24 #include "llvm/Analysis/TargetTransformInfo.h"
25 #include "llvm/Bitcode/BitcodeWriterPass.h"
26 #include "llvm/CodeGen/CommandFlags.h"
27 #include "llvm/IR/DataLayout.h"
28 #include "llvm/IR/DebugInfo.h"
29 #include "llvm/IR/IRPrintingPasses.h"
30 #include "llvm/IR/LLVMContext.h"
31 #include "llvm/IR/LegacyPassManager.h"
32 #include "llvm/IR/LegacyPassNameParser.h"
33 #include "llvm/IR/Module.h"
34 #include "llvm/IR/Verifier.h"
35 #include "llvm/IRReader/IRReader.h"
36 #include "llvm/InitializePasses.h"
37 #include "llvm/LinkAllIR.h"
38 #include "llvm/LinkAllPasses.h"
39 #include "llvm/MC/SubtargetFeature.h"
40 #include "llvm/Support/Debug.h"
41 #include "llvm/Support/FileSystem.h"
42 #include "llvm/Support/Host.h"
43 #include "llvm/Support/ManagedStatic.h"
44 #include "llvm/Support/PluginLoader.h"
45 #include "llvm/Support/PrettyStackTrace.h"
46 #include "llvm/Support/Signals.h"
47 #include "llvm/Support/SourceMgr.h"
48 #include "llvm/Support/SystemUtils.h"
49 #include "llvm/Support/TargetRegistry.h"
50 #include "llvm/Support/TargetSelect.h"
51 #include "llvm/Support/ToolOutputFile.h"
52 #include "llvm/Support/YAMLTraits.h"
53 #include "llvm/Target/TargetMachine.h"
54 #include "llvm/Transforms/Coroutines.h"
55 #include "llvm/Transforms/IPO/AlwaysInliner.h"
56 #include "llvm/Transforms/IPO/PassManagerBuilder.h"
57 #include "llvm/Transforms/Utils/Cloning.h"
58 #include <algorithm>
59 #include <memory>
60 using namespace llvm;
61 using namespace opt_tool;
62 
63 // The OptimizationList is automatically populated with registered Passes by the
64 // PassNameParser.
65 //
66 static cl::list<const PassInfo*, bool, PassNameParser>
67 PassList(cl::desc("Optimizations available:"));
68 
69 // This flag specifies a textual description of the optimization pass pipeline
70 // to run over the module. This flag switches opt to use the new pass manager
71 // infrastructure, completely disabling all of the flags specific to the old
72 // pass management.
73 static cl::opt<std::string> PassPipeline(
74     "passes",
75     cl::desc("A textual description of the pass pipeline for optimizing"),
76     cl::Hidden);
77 
78 // Other command line options...
79 //
80 static cl::opt<std::string>
81 InputFilename(cl::Positional, cl::desc("<input bitcode file>"),
82     cl::init("-"), cl::value_desc("filename"));
83 
84 static cl::opt<std::string>
85 OutputFilename("o", cl::desc("Override output filename"),
86                cl::value_desc("filename"));
87 
88 static cl::opt<bool>
89 Force("f", cl::desc("Enable binary output on terminals"));
90 
91 static cl::opt<bool>
92 PrintEachXForm("p", cl::desc("Print module after each transformation"));
93 
94 static cl::opt<bool>
95 NoOutput("disable-output",
96          cl::desc("Do not write result bitcode file"), cl::Hidden);
97 
98 static cl::opt<bool>
99 OutputAssembly("S", cl::desc("Write output as LLVM assembly"));
100 
101 static cl::opt<bool>
102 NoVerify("disable-verify", cl::desc("Do not run the verifier"), cl::Hidden);
103 
104 static cl::opt<bool>
105 VerifyEach("verify-each", cl::desc("Verify after each transform"));
106 
107 static cl::opt<bool>
108     DisableDITypeMap("disable-debug-info-type-map",
109                      cl::desc("Don't use a uniquing type map for debug info"));
110 
111 static cl::opt<bool>
112 StripDebug("strip-debug",
113            cl::desc("Strip debugger symbol info from translation unit"));
114 
115 static cl::opt<bool>
116 DisableInline("disable-inlining", cl::desc("Do not run the inliner pass"));
117 
118 static cl::opt<bool>
119 DisableOptimizations("disable-opt",
120                      cl::desc("Do not run any optimization passes"));
121 
122 static cl::opt<bool>
123 StandardLinkOpts("std-link-opts",
124                  cl::desc("Include the standard link time optimizations"));
125 
126 static cl::opt<bool>
127 OptLevelO0("O0",
128   cl::desc("Optimization level 0. Similar to clang -O0"));
129 
130 static cl::opt<bool>
131 OptLevelO1("O1",
132            cl::desc("Optimization level 1. Similar to clang -O1"));
133 
134 static cl::opt<bool>
135 OptLevelO2("O2",
136            cl::desc("Optimization level 2. Similar to clang -O2"));
137 
138 static cl::opt<bool>
139 OptLevelOs("Os",
140            cl::desc("Like -O2 with extra optimizations for size. Similar to clang -Os"));
141 
142 static cl::opt<bool>
143 OptLevelOz("Oz",
144            cl::desc("Like -Os but reduces code size further. Similar to clang -Oz"));
145 
146 static cl::opt<bool>
147 OptLevelO3("O3",
148            cl::desc("Optimization level 3. Similar to clang -O3"));
149 
150 static cl::opt<unsigned>
151 CodeGenOptLevel("codegen-opt-level",
152                 cl::desc("Override optimization level for codegen hooks"));
153 
154 static cl::opt<std::string>
155 TargetTriple("mtriple", cl::desc("Override target triple for module"));
156 
157 static cl::opt<bool>
158 UnitAtATime("funit-at-a-time",
159             cl::desc("Enable IPO. This corresponds to gcc's -funit-at-a-time"),
160             cl::init(true));
161 
162 static cl::opt<bool>
163 DisableLoopUnrolling("disable-loop-unrolling",
164                      cl::desc("Disable loop unrolling in all relevant passes"),
165                      cl::init(false));
166 static cl::opt<bool>
167 DisableLoopVectorization("disable-loop-vectorization",
168                      cl::desc("Disable the loop vectorization pass"),
169                      cl::init(false));
170 
171 static cl::opt<bool>
172 DisableSLPVectorization("disable-slp-vectorization",
173                         cl::desc("Disable the slp vectorization pass"),
174                         cl::init(false));
175 
176 static cl::opt<bool> EmitSummaryIndex("module-summary",
177                                       cl::desc("Emit module summary index"),
178                                       cl::init(false));
179 
180 static cl::opt<bool> EmitModuleHash("module-hash", cl::desc("Emit module hash"),
181                                     cl::init(false));
182 
183 static cl::opt<bool>
184 DisableSimplifyLibCalls("disable-simplify-libcalls",
185                         cl::desc("Disable simplify-libcalls"));
186 
187 static cl::opt<bool>
188 Quiet("q", cl::desc("Obsolete option"), cl::Hidden);
189 
190 static cl::alias
191 QuietA("quiet", cl::desc("Alias for -q"), cl::aliasopt(Quiet));
192 
193 static cl::opt<bool>
194 AnalyzeOnly("analyze", cl::desc("Only perform analysis, no optimization"));
195 
196 static cl::opt<bool>
197 PrintBreakpoints("print-breakpoints-for-testing",
198                  cl::desc("Print select breakpoints location for testing"));
199 
200 static cl::opt<std::string>
201 DefaultDataLayout("default-data-layout",
202           cl::desc("data layout string to use if not specified by module"),
203           cl::value_desc("layout-string"), cl::init(""));
204 
205 static cl::opt<bool> PreserveBitcodeUseListOrder(
206     "preserve-bc-uselistorder",
207     cl::desc("Preserve use-list order when writing LLVM bitcode."),
208     cl::init(true), cl::Hidden);
209 
210 static cl::opt<bool> PreserveAssemblyUseListOrder(
211     "preserve-ll-uselistorder",
212     cl::desc("Preserve use-list order when writing LLVM assembly."),
213     cl::init(false), cl::Hidden);
214 
215 static cl::opt<bool>
216     RunTwice("run-twice",
217              cl::desc("Run all passes twice, re-using the same pass manager."),
218              cl::init(false), cl::Hidden);
219 
220 static cl::opt<bool> DiscardValueNames(
221     "discard-value-names",
222     cl::desc("Discard names from Value (other than GlobalValue)."),
223     cl::init(false), cl::Hidden);
224 
225 static cl::opt<bool> Coroutines(
226   "enable-coroutines",
227   cl::desc("Enable coroutine passes."),
228   cl::init(false), cl::Hidden);
229 
230 static cl::opt<bool> PassRemarksWithHotness(
231     "pass-remarks-with-hotness",
232     cl::desc("With PGO, include profile count in optimization remarks"),
233     cl::Hidden);
234 
235 static cl::opt<std::string>
236     RemarksFilename("pass-remarks-output",
237                     cl::desc("YAML output filename for pass remarks"),
238                     cl::value_desc("filename"));
239 
240 static inline void addPass(legacy::PassManagerBase &PM, Pass *P) {
241   // Add the pass to the pass manager...
242   PM.add(P);
243 
244   // If we are verifying all of the intermediate steps, add the verifier...
245   if (VerifyEach)
246     PM.add(createVerifierPass());
247 }
248 
249 /// This routine adds optimization passes based on selected optimization level,
250 /// OptLevel.
251 ///
252 /// OptLevel - Optimization Level
253 static void AddOptimizationPasses(legacy::PassManagerBase &MPM,
254                                   legacy::FunctionPassManager &FPM,
255                                   TargetMachine *TM, unsigned OptLevel,
256                                   unsigned SizeLevel) {
257   if (!NoVerify || VerifyEach)
258     FPM.add(createVerifierPass()); // Verify that input is correct
259 
260   PassManagerBuilder Builder;
261   Builder.OptLevel = OptLevel;
262   Builder.SizeLevel = SizeLevel;
263 
264   if (DisableInline) {
265     // No inlining pass
266   } else if (OptLevel > 1) {
267     Builder.Inliner = createFunctionInliningPass(OptLevel, SizeLevel);
268   } else {
269     Builder.Inliner = createAlwaysInlinerLegacyPass();
270   }
271   Builder.DisableUnitAtATime = !UnitAtATime;
272   Builder.DisableUnrollLoops = (DisableLoopUnrolling.getNumOccurrences() > 0) ?
273                                DisableLoopUnrolling : OptLevel == 0;
274 
275   // This is final, unless there is a #pragma vectorize enable
276   if (DisableLoopVectorization)
277     Builder.LoopVectorize = false;
278   // If option wasn't forced via cmd line (-vectorize-loops, -loop-vectorize)
279   else if (!Builder.LoopVectorize)
280     Builder.LoopVectorize = OptLevel > 1 && SizeLevel < 2;
281 
282   // When #pragma vectorize is on for SLP, do the same as above
283   Builder.SLPVectorize =
284       DisableSLPVectorization ? false : OptLevel > 1 && SizeLevel < 2;
285 
286   // Add target-specific passes that need to run as early as possible.
287   if (TM)
288     Builder.addExtension(
289         PassManagerBuilder::EP_EarlyAsPossible,
290         [&](const PassManagerBuilder &, legacy::PassManagerBase &PM) {
291           TM->addEarlyAsPossiblePasses(PM);
292         });
293 
294   if (Coroutines)
295     addCoroutinePassesToExtensionPoints(Builder);
296 
297   Builder.populateFunctionPassManager(FPM);
298   Builder.populateModulePassManager(MPM);
299 }
300 
301 static void AddStandardLinkPasses(legacy::PassManagerBase &PM) {
302   PassManagerBuilder Builder;
303   Builder.VerifyInput = true;
304   if (DisableOptimizations)
305     Builder.OptLevel = 0;
306 
307   if (!DisableInline)
308     Builder.Inliner = createFunctionInliningPass();
309   Builder.populateLTOPassManager(PM);
310 }
311 
312 //===----------------------------------------------------------------------===//
313 // CodeGen-related helper functions.
314 //
315 
316 static CodeGenOpt::Level GetCodeGenOptLevel() {
317   if (CodeGenOptLevel.getNumOccurrences())
318     return static_cast<CodeGenOpt::Level>(unsigned(CodeGenOptLevel));
319   if (OptLevelO1)
320     return CodeGenOpt::Less;
321   if (OptLevelO2)
322     return CodeGenOpt::Default;
323   if (OptLevelO3)
324     return CodeGenOpt::Aggressive;
325   return CodeGenOpt::None;
326 }
327 
328 // Returns the TargetMachine instance or zero if no triple is provided.
329 static TargetMachine* GetTargetMachine(Triple TheTriple, StringRef CPUStr,
330                                        StringRef FeaturesStr,
331                                        const TargetOptions &Options) {
332   std::string Error;
333   const Target *TheTarget = TargetRegistry::lookupTarget(MArch, TheTriple,
334                                                          Error);
335   // Some modules don't specify a triple, and this is okay.
336   if (!TheTarget) {
337     return nullptr;
338   }
339 
340   return TheTarget->createTargetMachine(TheTriple.getTriple(), CPUStr,
341                                         FeaturesStr, Options, getRelocModel(),
342                                         CMModel, GetCodeGenOptLevel());
343 }
344 
345 #ifdef LINK_POLLY_INTO_TOOLS
346 namespace polly {
347 void initializePollyPasses(llvm::PassRegistry &Registry);
348 }
349 #endif
350 
351 //===----------------------------------------------------------------------===//
352 // main for opt
353 //
354 int main(int argc, char **argv) {
355   sys::PrintStackTraceOnErrorSignal(argv[0]);
356   llvm::PrettyStackTraceProgram X(argc, argv);
357 
358   // Enable debug stream buffering.
359   EnableDebugBuffering = true;
360 
361   llvm_shutdown_obj Y;  // Call llvm_shutdown() on exit.
362   LLVMContext Context;
363 
364   InitializeAllTargets();
365   InitializeAllTargetMCs();
366   InitializeAllAsmPrinters();
367   InitializeAllAsmParsers();
368 
369   // Initialize passes
370   PassRegistry &Registry = *PassRegistry::getPassRegistry();
371   initializeCore(Registry);
372   initializeCoroutines(Registry);
373   initializeScalarOpts(Registry);
374   initializeObjCARCOpts(Registry);
375   initializeVectorization(Registry);
376   initializeIPO(Registry);
377   initializeAnalysis(Registry);
378   initializeTransformUtils(Registry);
379   initializeInstCombine(Registry);
380   initializeInstrumentation(Registry);
381   initializeTarget(Registry);
382   // For codegen passes, only passes that do IR to IR transformation are
383   // supported.
384   initializeCodeGenPreparePass(Registry);
385   initializeAtomicExpandPass(Registry);
386   initializeRewriteSymbolsLegacyPassPass(Registry);
387   initializeWinEHPreparePass(Registry);
388   initializeDwarfEHPreparePass(Registry);
389   initializeSafeStackPass(Registry);
390   initializeSjLjEHPreparePass(Registry);
391   initializePreISelIntrinsicLoweringLegacyPassPass(Registry);
392   initializeGlobalMergePass(Registry);
393   initializeInterleavedAccessPass(Registry);
394   initializeCountingFunctionInserterPass(Registry);
395   initializeUnreachableBlockElimLegacyPassPass(Registry);
396 
397 #ifdef LINK_POLLY_INTO_TOOLS
398   polly::initializePollyPasses(Registry);
399 #endif
400 
401   cl::ParseCommandLineOptions(argc, argv,
402     "llvm .bc -> .bc modular optimizer and analysis printer\n");
403 
404   if (AnalyzeOnly && NoOutput) {
405     errs() << argv[0] << ": analyze mode conflicts with no-output mode.\n";
406     return 1;
407   }
408 
409   SMDiagnostic Err;
410 
411   Context.setDiscardValueNames(DiscardValueNames);
412   if (!DisableDITypeMap)
413     Context.enableDebugTypeODRUniquing();
414 
415   if (PassRemarksWithHotness)
416     Context.setDiagnosticHotnessRequested(true);
417 
418   std::unique_ptr<tool_output_file> YamlFile;
419   if (RemarksFilename != "") {
420     std::error_code EC;
421     YamlFile = llvm::make_unique<tool_output_file>(RemarksFilename, EC,
422                                                    sys::fs::F_None);
423     if (EC) {
424       errs() << EC.message() << '\n';
425       return 1;
426     }
427     Context.setDiagnosticsOutputFile(new yaml::Output(YamlFile->os()));
428   }
429 
430   // Load the input module...
431   std::unique_ptr<Module> M = parseIRFile(InputFilename, Err, Context);
432 
433   if (!M) {
434     Err.print(argv[0], errs());
435     return 1;
436   }
437 
438   // Strip debug info before running the verifier.
439   if (StripDebug)
440     StripDebugInfo(*M);
441 
442   // Immediately run the verifier to catch any problems before starting up the
443   // pass pipelines.  Otherwise we can crash on broken code during
444   // doInitialization().
445   if (!NoVerify && verifyModule(*M, &errs())) {
446     errs() << argv[0] << ": " << InputFilename
447            << ": error: input module is broken!\n";
448     return 1;
449   }
450 
451   // If we are supposed to override the target triple, do so now.
452   if (!TargetTriple.empty())
453     M->setTargetTriple(Triple::normalize(TargetTriple));
454 
455   // Figure out what stream we are supposed to write to...
456   std::unique_ptr<tool_output_file> Out;
457   if (NoOutput) {
458     if (!OutputFilename.empty())
459       errs() << "WARNING: The -o (output filename) option is ignored when\n"
460                 "the --disable-output option is used.\n";
461   } else {
462     // Default to standard output.
463     if (OutputFilename.empty())
464       OutputFilename = "-";
465 
466     std::error_code EC;
467     Out.reset(new tool_output_file(OutputFilename, EC, sys::fs::F_None));
468     if (EC) {
469       errs() << EC.message() << '\n';
470       return 1;
471     }
472   }
473 
474   Triple ModuleTriple(M->getTargetTriple());
475   std::string CPUStr, FeaturesStr;
476   TargetMachine *Machine = nullptr;
477   const TargetOptions Options = InitTargetOptionsFromCodeGenFlags();
478 
479   if (ModuleTriple.getArch()) {
480     CPUStr = getCPUStr();
481     FeaturesStr = getFeaturesStr();
482     Machine = GetTargetMachine(ModuleTriple, CPUStr, FeaturesStr, Options);
483   }
484 
485   std::unique_ptr<TargetMachine> TM(Machine);
486 
487   // Override function attributes based on CPUStr, FeaturesStr, and command line
488   // flags.
489   setFunctionAttributes(CPUStr, FeaturesStr, *M);
490 
491   // If the output is set to be emitted to standard out, and standard out is a
492   // console, print out a warning message and refuse to do it.  We don't
493   // impress anyone by spewing tons of binary goo to a terminal.
494   if (!Force && !NoOutput && !AnalyzeOnly && !OutputAssembly)
495     if (CheckBitcodeOutputToConsole(Out->os(), !Quiet))
496       NoOutput = true;
497 
498   if (PassPipeline.getNumOccurrences() > 0) {
499     OutputKind OK = OK_NoOutput;
500     if (!NoOutput)
501       OK = OutputAssembly ? OK_OutputAssembly : OK_OutputBitcode;
502 
503     VerifierKind VK = VK_VerifyInAndOut;
504     if (NoVerify)
505       VK = VK_NoVerifier;
506     else if (VerifyEach)
507       VK = VK_VerifyEachPass;
508 
509     // The user has asked to use the new pass manager and provided a pipeline
510     // string. Hand off the rest of the functionality to the new code for that
511     // layer.
512     return runPassPipeline(argv[0], *M, TM.get(), Out.get(),
513                            PassPipeline, OK, VK, PreserveAssemblyUseListOrder,
514                            PreserveBitcodeUseListOrder, EmitSummaryIndex,
515                            EmitModuleHash)
516                ? 0
517                : 1;
518   }
519 
520   // Create a PassManager to hold and optimize the collection of passes we are
521   // about to build.
522   //
523   legacy::PassManager Passes;
524 
525   // Add an appropriate TargetLibraryInfo pass for the module's triple.
526   TargetLibraryInfoImpl TLII(ModuleTriple);
527 
528   // The -disable-simplify-libcalls flag actually disables all builtin optzns.
529   if (DisableSimplifyLibCalls)
530     TLII.disableAllFunctions();
531   Passes.add(new TargetLibraryInfoWrapperPass(TLII));
532 
533   // Add an appropriate DataLayout instance for this module.
534   const DataLayout &DL = M->getDataLayout();
535   if (DL.isDefault() && !DefaultDataLayout.empty()) {
536     M->setDataLayout(DefaultDataLayout);
537   }
538 
539   // Add internal analysis passes from the target machine.
540   Passes.add(createTargetTransformInfoWrapperPass(TM ? TM->getTargetIRAnalysis()
541                                                      : TargetIRAnalysis()));
542 
543   std::unique_ptr<legacy::FunctionPassManager> FPasses;
544   if (OptLevelO0 || OptLevelO1 || OptLevelO2 || OptLevelOs || OptLevelOz ||
545       OptLevelO3) {
546     FPasses.reset(new legacy::FunctionPassManager(M.get()));
547     FPasses->add(createTargetTransformInfoWrapperPass(
548         TM ? TM->getTargetIRAnalysis() : TargetIRAnalysis()));
549   }
550 
551   if (PrintBreakpoints) {
552     // Default to standard output.
553     if (!Out) {
554       if (OutputFilename.empty())
555         OutputFilename = "-";
556 
557       std::error_code EC;
558       Out = llvm::make_unique<tool_output_file>(OutputFilename, EC,
559                                                 sys::fs::F_None);
560       if (EC) {
561         errs() << EC.message() << '\n';
562         return 1;
563       }
564     }
565     Passes.add(createBreakpointPrinter(Out->os()));
566     NoOutput = true;
567   }
568 
569   // Create a new optimization pass for each one specified on the command line
570   for (unsigned i = 0; i < PassList.size(); ++i) {
571     if (StandardLinkOpts &&
572         StandardLinkOpts.getPosition() < PassList.getPosition(i)) {
573       AddStandardLinkPasses(Passes);
574       StandardLinkOpts = false;
575     }
576 
577     if (OptLevelO0 && OptLevelO0.getPosition() < PassList.getPosition(i)) {
578       AddOptimizationPasses(Passes, *FPasses, TM.get(), 0, 0);
579       OptLevelO0 = false;
580     }
581 
582     if (OptLevelO1 && OptLevelO1.getPosition() < PassList.getPosition(i)) {
583       AddOptimizationPasses(Passes, *FPasses, TM.get(), 1, 0);
584       OptLevelO1 = false;
585     }
586 
587     if (OptLevelO2 && OptLevelO2.getPosition() < PassList.getPosition(i)) {
588       AddOptimizationPasses(Passes, *FPasses, TM.get(), 2, 0);
589       OptLevelO2 = false;
590     }
591 
592     if (OptLevelOs && OptLevelOs.getPosition() < PassList.getPosition(i)) {
593       AddOptimizationPasses(Passes, *FPasses, TM.get(), 2, 1);
594       OptLevelOs = false;
595     }
596 
597     if (OptLevelOz && OptLevelOz.getPosition() < PassList.getPosition(i)) {
598       AddOptimizationPasses(Passes, *FPasses, TM.get(), 2, 2);
599       OptLevelOz = false;
600     }
601 
602     if (OptLevelO3 && OptLevelO3.getPosition() < PassList.getPosition(i)) {
603       AddOptimizationPasses(Passes, *FPasses, TM.get(), 3, 0);
604       OptLevelO3 = false;
605     }
606 
607     const PassInfo *PassInf = PassList[i];
608     Pass *P = nullptr;
609     if (PassInf->getTargetMachineCtor())
610       P = PassInf->getTargetMachineCtor()(TM.get());
611     else if (PassInf->getNormalCtor())
612       P = PassInf->getNormalCtor()();
613     else
614       errs() << argv[0] << ": cannot create pass: "
615              << PassInf->getPassName() << "\n";
616     if (P) {
617       PassKind Kind = P->getPassKind();
618       addPass(Passes, P);
619 
620       if (AnalyzeOnly) {
621         switch (Kind) {
622         case PT_BasicBlock:
623           Passes.add(createBasicBlockPassPrinter(PassInf, Out->os(), Quiet));
624           break;
625         case PT_Region:
626           Passes.add(createRegionPassPrinter(PassInf, Out->os(), Quiet));
627           break;
628         case PT_Loop:
629           Passes.add(createLoopPassPrinter(PassInf, Out->os(), Quiet));
630           break;
631         case PT_Function:
632           Passes.add(createFunctionPassPrinter(PassInf, Out->os(), Quiet));
633           break;
634         case PT_CallGraphSCC:
635           Passes.add(createCallGraphPassPrinter(PassInf, Out->os(), Quiet));
636           break;
637         default:
638           Passes.add(createModulePassPrinter(PassInf, Out->os(), Quiet));
639           break;
640         }
641       }
642     }
643 
644     if (PrintEachXForm)
645       Passes.add(
646           createPrintModulePass(errs(), "", PreserveAssemblyUseListOrder));
647   }
648 
649   if (StandardLinkOpts) {
650     AddStandardLinkPasses(Passes);
651     StandardLinkOpts = false;
652   }
653 
654   if (OptLevelO0)
655     AddOptimizationPasses(Passes, *FPasses, TM.get(), 0, 0);
656 
657   if (OptLevelO1)
658     AddOptimizationPasses(Passes, *FPasses, TM.get(), 1, 0);
659 
660   if (OptLevelO2)
661     AddOptimizationPasses(Passes, *FPasses, TM.get(), 2, 0);
662 
663   if (OptLevelOs)
664     AddOptimizationPasses(Passes, *FPasses, TM.get(), 2, 1);
665 
666   if (OptLevelOz)
667     AddOptimizationPasses(Passes, *FPasses, TM.get(), 2, 2);
668 
669   if (OptLevelO3)
670     AddOptimizationPasses(Passes, *FPasses, TM.get(), 3, 0);
671 
672   if (FPasses) {
673     FPasses->doInitialization();
674     for (Function &F : *M)
675       FPasses->run(F);
676     FPasses->doFinalization();
677   }
678 
679   // Check that the module is well formed on completion of optimization
680   if (!NoVerify && !VerifyEach)
681     Passes.add(createVerifierPass());
682 
683   // In run twice mode, we want to make sure the output is bit-by-bit
684   // equivalent if we run the pass manager again, so setup two buffers and
685   // a stream to write to them. Note that llc does something similar and it
686   // may be worth to abstract this out in the future.
687   SmallVector<char, 0> Buffer;
688   SmallVector<char, 0> CompileTwiceBuffer;
689   std::unique_ptr<raw_svector_ostream> BOS;
690   raw_ostream *OS = nullptr;
691 
692   // Write bitcode or assembly to the output as the last step...
693   if (!NoOutput && !AnalyzeOnly) {
694     assert(Out);
695     OS = &Out->os();
696     if (RunTwice) {
697       BOS = make_unique<raw_svector_ostream>(Buffer);
698       OS = BOS.get();
699     }
700     if (OutputAssembly) {
701       if (EmitSummaryIndex)
702         report_fatal_error("Text output is incompatible with -module-summary");
703       if (EmitModuleHash)
704         report_fatal_error("Text output is incompatible with -module-hash");
705       Passes.add(createPrintModulePass(*OS, "", PreserveAssemblyUseListOrder));
706     } else
707       Passes.add(createBitcodeWriterPass(*OS, PreserveBitcodeUseListOrder,
708                                          EmitSummaryIndex, EmitModuleHash));
709   }
710 
711   // Before executing passes, print the final values of the LLVM options.
712   cl::PrintOptionValues();
713 
714   // If requested, run all passes again with the same pass manager to catch
715   // bugs caused by persistent state in the passes
716   if (RunTwice) {
717       std::unique_ptr<Module> M2(CloneModule(M.get()));
718       Passes.run(*M2);
719       CompileTwiceBuffer = Buffer;
720       Buffer.clear();
721   }
722 
723   // Now that we have all of the passes ready, run them.
724   Passes.run(*M);
725 
726   // Compare the two outputs and make sure they're the same
727   if (RunTwice) {
728     assert(Out);
729     if (Buffer.size() != CompileTwiceBuffer.size() ||
730         (memcmp(Buffer.data(), CompileTwiceBuffer.data(), Buffer.size()) !=
731          0)) {
732       errs() << "Running the pass manager twice changed the output.\n"
733                 "Writing the result of the second run to the specified output.\n"
734                 "To generate the one-run comparison binary, just run without\n"
735                 "the compile-twice option\n";
736       Out->os() << BOS->str();
737       Out->keep();
738       if (YamlFile)
739         YamlFile->keep();
740       return 1;
741     }
742     Out->os() << BOS->str();
743   }
744 
745   // Declare success.
746   if (!NoOutput || PrintBreakpoints)
747     Out->keep();
748 
749   if (YamlFile)
750     YamlFile->keep();
751 
752   return 0;
753 }
754