Chandler Carruth | 6644538 | 2014-01-11 08:16:35 +0000 | [diff] [blame] | 1 | //===- NewPMDriver.cpp - Driver for opt with new PM -----------------------===// |
| 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 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 |
Chandler Carruth | 6644538 | 2014-01-11 08:16:35 +0000 | [diff] [blame] | 6 | // |
| 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 Sergeev | 662e568 | 2018-09-24 16:08:15 +0000 | [diff] [blame] | 16 | #include "Debugify.h" |
Vedant Kumar | 775c7af | 2018-02-15 21:14:36 +0000 | [diff] [blame] | 17 | #include "PassPrinters.h" |
Chandler Carruth | 6644538 | 2014-01-11 08:16:35 +0000 | [diff] [blame] | 18 | #include "llvm/ADT/StringRef.h" |
Chandler Carruth | edf5996 | 2016-02-18 09:45:17 +0000 | [diff] [blame] | 19 | #include "llvm/Analysis/AliasAnalysis.h" |
Chandler Carruth | 572e340 | 2014-04-21 11:12:00 +0000 | [diff] [blame] | 20 | #include "llvm/Analysis/CGSCCPassManager.h" |
Chandler Carruth | b7bdfd6 | 2014-01-13 07:38:24 +0000 | [diff] [blame] | 21 | #include "llvm/Bitcode/BitcodeWriterPass.h" |
Nico Weber | 432a388 | 2018-04-30 14:59:11 +0000 | [diff] [blame] | 22 | #include "llvm/Config/llvm-config.h" |
Chandler Carruth | 64764b4 | 2015-01-14 10:19:28 +0000 | [diff] [blame] | 23 | #include "llvm/IR/Dominators.h" |
Chandler Carruth | b353c3f | 2014-01-13 05:16:45 +0000 | [diff] [blame] | 24 | #include "llvm/IR/IRPrintingPasses.h" |
Chandler Carruth | 6644538 | 2014-01-11 08:16:35 +0000 | [diff] [blame] | 25 | #include "llvm/IR/LLVMContext.h" |
| 26 | #include "llvm/IR/Module.h" |
| 27 | #include "llvm/IR/PassManager.h" |
Chandler Carruth | 4d35631 | 2014-01-20 11:34:08 +0000 | [diff] [blame] | 28 | #include "llvm/IR/Verifier.h" |
Chandler Carruth | 1ff7724 | 2015-03-07 09:02:36 +0000 | [diff] [blame] | 29 | #include "llvm/Passes/PassBuilder.h" |
Philip Pfaffe | 131fb97 | 2018-04-05 15:04:13 +0000 | [diff] [blame] | 30 | #include "llvm/Passes/PassPlugin.h" |
Fedor Sergeev | 662e568 | 2018-09-24 16:08:15 +0000 | [diff] [blame] | 31 | #include "llvm/Passes/StandardInstrumentations.h" |
Chandler Carruth | 6644538 | 2014-01-11 08:16:35 +0000 | [diff] [blame] | 32 | #include "llvm/Support/CommandLine.h" |
Chandler Carruth | b353c3f | 2014-01-13 05:16:45 +0000 | [diff] [blame] | 33 | #include "llvm/Support/ErrorHandling.h" |
Chandler Carruth | 6644538 | 2014-01-11 08:16:35 +0000 | [diff] [blame] | 34 | #include "llvm/Support/ToolOutputFile.h" |
Chandler Carruth | e038552 | 2015-02-01 10:11:22 +0000 | [diff] [blame] | 35 | #include "llvm/Target/TargetMachine.h" |
Tim Shen | 6b411418 | 2017-06-01 01:02:12 +0000 | [diff] [blame] | 36 | #include "llvm/Transforms/IPO/ThinLTOBitcodeWriter.h" |
Chandler Carruth | 3bab7e1 | 2017-01-11 09:43:56 +0000 | [diff] [blame] | 37 | #include "llvm/Transforms/Scalar/LoopPassManager.h" |
Chandler Carruth | 6644538 | 2014-01-11 08:16:35 +0000 | [diff] [blame] | 38 | |
| 39 | using namespace llvm; |
Chandler Carruth | 949282e | 2014-01-13 03:08:40 +0000 | [diff] [blame] | 40 | using namespace opt_tool; |
Chandler Carruth | 6644538 | 2014-01-11 08:16:35 +0000 | [diff] [blame] | 41 | |
Chandler Carruth | 14a759e | 2015-01-13 22:42:38 +0000 | [diff] [blame] | 42 | static cl::opt<bool> |
| 43 | DebugPM("debug-pass-manager", cl::Hidden, |
| 44 | cl::desc("Print pass management debugging information")); |
| 45 | |
Philip Pfaffe | 131fb97 | 2018-04-05 15:04:13 +0000 | [diff] [blame] | 46 | static cl::list<std::string> |
| 47 | PassPlugins("load-pass-plugin", |
| 48 | cl::desc("Load passes from plugin library")); |
| 49 | |
Chandler Carruth | edf5996 | 2016-02-18 09:45:17 +0000 | [diff] [blame] | 50 | // 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. |
| 53 | static 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 Pfaffe | 730f2f9 | 2017-07-10 10:57:55 +0000 | [diff] [blame] | 59 | /// {{@ These options accept textual pipeline descriptions which will be |
| 60 | /// inserted into default pipelines at the respective extension points |
| 61 | static 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); |
| 66 | static 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); |
| 72 | static 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); |
| 77 | static 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); |
| 82 | static 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); |
| 87 | static 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 Blaikie | 0c64f5a | 2018-01-23 01:25:20 +0000 | [diff] [blame] | 92 | static 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 Pfaffe | 2d4effb | 2018-11-12 11:17:07 +0000 | [diff] [blame] | 97 | static 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 Mi | c876e3d | 2019-01-16 23:19:02 +0000 | [diff] [blame] | 103 | extern cl::opt<PGOKind> PGOKindFlag; |
| 104 | extern cl::opt<std::string> ProfileFile; |
Rong Xu | db29a3a | 2019-03-04 20:21:27 +0000 | [diff] [blame] | 105 | extern cl::opt<CSPGOKind> CSPGOKindFlag; |
| 106 | extern cl::opt<std::string> CSProfileGenFile; |
| 107 | |
Richard Smith | 6c67662 | 2018-10-10 23:13:47 +0000 | [diff] [blame] | 108 | static cl::opt<std::string> |
| 109 | ProfileRemappingFile("profile-remapping-file", |
| 110 | cl::desc("Path to the profile remapping file."), |
| 111 | cl::Hidden); |
Dehao Chen | e90d015 | 2017-07-26 15:01:20 +0000 | [diff] [blame] | 112 | static cl::opt<bool> DebugInfoForProfiling( |
| 113 | "new-pm-debug-info-for-profiling", cl::init(false), cl::Hidden, |
| 114 | cl::desc("Emit special debug info to enable PGO profile generation.")); |
Philip Pfaffe | 730f2f9 | 2017-07-10 10:57:55 +0000 | [diff] [blame] | 115 | /// @}} |
| 116 | |
Philip Pfaffe | b4d500f | 2017-07-11 11:17:44 +0000 | [diff] [blame] | 117 | template <typename PassManagerT> |
Fedor Sergeev | bd6b213 | 2018-10-17 10:36:23 +0000 | [diff] [blame] | 118 | bool tryParsePipelineText(PassBuilder &PB, |
| 119 | const cl::opt<std::string> &PipelineOpt) { |
| 120 | if (PipelineOpt.empty()) |
Philip Pfaffe | b4d500f | 2017-07-11 11:17:44 +0000 | [diff] [blame] | 121 | return false; |
| 122 | |
| 123 | // Verify the pipeline is parseable: |
| 124 | PassManagerT PM; |
Fedor Sergeev | bd6b213 | 2018-10-17 10:36:23 +0000 | [diff] [blame] | 125 | if (auto Err = PB.parsePassPipeline(PM, PipelineOpt)) { |
| 126 | errs() << "Could not parse -" << PipelineOpt.ArgStr |
| 127 | << " pipeline: " << toString(std::move(Err)) |
| 128 | << "... I'm going to ignore it.\n"; |
| 129 | return false; |
| 130 | } |
| 131 | return true; |
Philip Pfaffe | b4d500f | 2017-07-11 11:17:44 +0000 | [diff] [blame] | 132 | } |
| 133 | |
Philip Pfaffe | 730f2f9 | 2017-07-10 10:57:55 +0000 | [diff] [blame] | 134 | /// If one of the EPPipeline command line options was given, register callbacks |
| 135 | /// for parsing and inserting the given pipeline |
| 136 | static void registerEPCallbacks(PassBuilder &PB, bool VerifyEachPass, |
| 137 | bool DebugLogging) { |
Philip Pfaffe | b4d500f | 2017-07-11 11:17:44 +0000 | [diff] [blame] | 138 | if (tryParsePipelineText<FunctionPassManager>(PB, PeepholeEPPipeline)) |
Fedor Sergeev | bd6b213 | 2018-10-17 10:36:23 +0000 | [diff] [blame] | 139 | PB.registerPeepholeEPCallback( |
| 140 | [&PB, VerifyEachPass, DebugLogging]( |
| 141 | FunctionPassManager &PM, PassBuilder::OptimizationLevel Level) { |
| 142 | ExitOnError Err("Unable to parse PeepholeEP pipeline: "); |
| 143 | Err(PB.parsePassPipeline(PM, PeepholeEPPipeline, VerifyEachPass, |
| 144 | DebugLogging)); |
| 145 | }); |
Philip Pfaffe | b4d500f | 2017-07-11 11:17:44 +0000 | [diff] [blame] | 146 | if (tryParsePipelineText<LoopPassManager>(PB, |
| 147 | LateLoopOptimizationsEPPipeline)) |
Philip Pfaffe | 730f2f9 | 2017-07-10 10:57:55 +0000 | [diff] [blame] | 148 | PB.registerLateLoopOptimizationsEPCallback( |
Philip Pfaffe | a3b8416 | 2017-07-10 12:48:51 +0000 | [diff] [blame] | 149 | [&PB, VerifyEachPass, DebugLogging]( |
| 150 | LoopPassManager &PM, PassBuilder::OptimizationLevel Level) { |
Fedor Sergeev | bd6b213 | 2018-10-17 10:36:23 +0000 | [diff] [blame] | 151 | ExitOnError Err("Unable to parse LateLoopOptimizationsEP pipeline: "); |
| 152 | Err(PB.parsePassPipeline(PM, LateLoopOptimizationsEPPipeline, |
| 153 | VerifyEachPass, DebugLogging)); |
Philip Pfaffe | 730f2f9 | 2017-07-10 10:57:55 +0000 | [diff] [blame] | 154 | }); |
Philip Pfaffe | b4d500f | 2017-07-11 11:17:44 +0000 | [diff] [blame] | 155 | if (tryParsePipelineText<LoopPassManager>(PB, LoopOptimizerEndEPPipeline)) |
Fedor Sergeev | bd6b213 | 2018-10-17 10:36:23 +0000 | [diff] [blame] | 156 | PB.registerLoopOptimizerEndEPCallback( |
| 157 | [&PB, VerifyEachPass, DebugLogging]( |
| 158 | LoopPassManager &PM, PassBuilder::OptimizationLevel Level) { |
| 159 | ExitOnError Err("Unable to parse LoopOptimizerEndEP pipeline: "); |
| 160 | Err(PB.parsePassPipeline(PM, LoopOptimizerEndEPPipeline, |
| 161 | VerifyEachPass, DebugLogging)); |
| 162 | }); |
Philip Pfaffe | b4d500f | 2017-07-11 11:17:44 +0000 | [diff] [blame] | 163 | if (tryParsePipelineText<FunctionPassManager>(PB, |
| 164 | ScalarOptimizerLateEPPipeline)) |
Philip Pfaffe | 730f2f9 | 2017-07-10 10:57:55 +0000 | [diff] [blame] | 165 | PB.registerScalarOptimizerLateEPCallback( |
Philip Pfaffe | a3b8416 | 2017-07-10 12:48:51 +0000 | [diff] [blame] | 166 | [&PB, VerifyEachPass, DebugLogging]( |
| 167 | FunctionPassManager &PM, PassBuilder::OptimizationLevel Level) { |
Fedor Sergeev | bd6b213 | 2018-10-17 10:36:23 +0000 | [diff] [blame] | 168 | ExitOnError Err("Unable to parse ScalarOptimizerLateEP pipeline: "); |
| 169 | Err(PB.parsePassPipeline(PM, ScalarOptimizerLateEPPipeline, |
| 170 | VerifyEachPass, DebugLogging)); |
Philip Pfaffe | 730f2f9 | 2017-07-10 10:57:55 +0000 | [diff] [blame] | 171 | }); |
Philip Pfaffe | b4d500f | 2017-07-11 11:17:44 +0000 | [diff] [blame] | 172 | if (tryParsePipelineText<CGSCCPassManager>(PB, CGSCCOptimizerLateEPPipeline)) |
Fedor Sergeev | bd6b213 | 2018-10-17 10:36:23 +0000 | [diff] [blame] | 173 | PB.registerCGSCCOptimizerLateEPCallback( |
| 174 | [&PB, VerifyEachPass, DebugLogging]( |
| 175 | CGSCCPassManager &PM, PassBuilder::OptimizationLevel Level) { |
| 176 | ExitOnError Err("Unable to parse CGSCCOptimizerLateEP pipeline: "); |
| 177 | Err(PB.parsePassPipeline(PM, CGSCCOptimizerLateEPPipeline, |
| 178 | VerifyEachPass, DebugLogging)); |
| 179 | }); |
Philip Pfaffe | b4d500f | 2017-07-11 11:17:44 +0000 | [diff] [blame] | 180 | if (tryParsePipelineText<FunctionPassManager>(PB, VectorizerStartEPPipeline)) |
Fedor Sergeev | bd6b213 | 2018-10-17 10:36:23 +0000 | [diff] [blame] | 181 | PB.registerVectorizerStartEPCallback( |
| 182 | [&PB, VerifyEachPass, DebugLogging]( |
| 183 | FunctionPassManager &PM, PassBuilder::OptimizationLevel Level) { |
| 184 | ExitOnError Err("Unable to parse VectorizerStartEP pipeline: "); |
| 185 | Err(PB.parsePassPipeline(PM, VectorizerStartEPPipeline, |
| 186 | VerifyEachPass, DebugLogging)); |
| 187 | }); |
David Blaikie | 0c64f5a | 2018-01-23 01:25:20 +0000 | [diff] [blame] | 188 | if (tryParsePipelineText<ModulePassManager>(PB, PipelineStartEPPipeline)) |
| 189 | PB.registerPipelineStartEPCallback( |
| 190 | [&PB, VerifyEachPass, DebugLogging](ModulePassManager &PM) { |
Fedor Sergeev | bd6b213 | 2018-10-17 10:36:23 +0000 | [diff] [blame] | 191 | ExitOnError Err("Unable to parse PipelineStartEP pipeline: "); |
| 192 | Err(PB.parsePassPipeline(PM, PipelineStartEPPipeline, VerifyEachPass, |
| 193 | DebugLogging)); |
David Blaikie | 0c64f5a | 2018-01-23 01:25:20 +0000 | [diff] [blame] | 194 | }); |
Philip Pfaffe | 2d4effb | 2018-11-12 11:17:07 +0000 | [diff] [blame] | 195 | if (tryParsePipelineText<FunctionPassManager>(PB, OptimizerLastEPPipeline)) |
| 196 | PB.registerOptimizerLastEPCallback( |
| 197 | [&PB, VerifyEachPass, DebugLogging](FunctionPassManager &PM, |
| 198 | PassBuilder::OptimizationLevel) { |
Philip Pfaffe | e194c02 | 2018-11-12 12:27:58 +0000 | [diff] [blame] | 199 | ExitOnError Err("Unable to parse OptimizerLastEP pipeline: "); |
| 200 | Err(PB.parsePassPipeline(PM, OptimizerLastEPPipeline, VerifyEachPass, |
| 201 | DebugLogging)); |
Philip Pfaffe | 2d4effb | 2018-11-12 11:17:07 +0000 | [diff] [blame] | 202 | }); |
Philip Pfaffe | 730f2f9 | 2017-07-10 10:57:55 +0000 | [diff] [blame] | 203 | } |
| 204 | |
Philip Pfaffe | 59d690b | 2017-08-04 09:28:09 +0000 | [diff] [blame] | 205 | #ifdef LINK_POLLY_INTO_TOOLS |
| 206 | namespace polly { |
| 207 | void RegisterPollyPasses(PassBuilder &); |
| 208 | } |
| 209 | #endif |
| 210 | |
Tim Shen | 6b411418 | 2017-06-01 01:02:12 +0000 | [diff] [blame] | 211 | bool llvm::runPassPipeline(StringRef Arg0, Module &M, TargetMachine *TM, |
Reid Kleckner | 3fc649c | 2017-09-23 01:03:17 +0000 | [diff] [blame] | 212 | ToolOutputFile *Out, ToolOutputFile *ThinLTOLinkOut, |
| 213 | ToolOutputFile *OptRemarkFile, |
Chandler Carruth | e038552 | 2015-02-01 10:11:22 +0000 | [diff] [blame] | 214 | StringRef PassPipeline, OutputKind OK, |
Duncan P. N. Exon Smith | 679db33 | 2015-04-15 00:34:24 +0000 | [diff] [blame] | 215 | VerifierKind VK, |
Duncan P. N. Exon Smith | 8a74f68 | 2015-04-15 02:38:06 +0000 | [diff] [blame] | 216 | bool ShouldPreserveAssemblyUseListOrder, |
Teresa Johnson | f93b246 | 2016-08-12 13:53:02 +0000 | [diff] [blame] | 217 | bool ShouldPreserveBitcodeUseListOrder, |
Vedant Kumar | 775c7af | 2018-02-15 21:14:36 +0000 | [diff] [blame] | 218 | bool EmitSummaryIndex, bool EmitModuleHash, |
| 219 | bool EnableDebugify) { |
Philip Pfaffe | 730f2f9 | 2017-07-10 10:57:55 +0000 | [diff] [blame] | 220 | bool VerifyEachPass = VK == VK_VerifyEachPass; |
Dehao Chen | 7b05a27 | 2017-07-26 02:00:43 +0000 | [diff] [blame] | 221 | |
| 222 | Optional<PGOOptions> P; |
| 223 | switch (PGOKindFlag) { |
| 224 | case InstrGen: |
Rong Xu | db29a3a | 2019-03-04 20:21:27 +0000 | [diff] [blame] | 225 | P = PGOOptions(ProfileFile, "", "", PGOOptions::IRInstr); |
Dehao Chen | 7b05a27 | 2017-07-26 02:00:43 +0000 | [diff] [blame] | 226 | break; |
| 227 | case InstrUse: |
Rong Xu | db29a3a | 2019-03-04 20:21:27 +0000 | [diff] [blame] | 228 | P = PGOOptions(ProfileFile, "", ProfileRemappingFile, PGOOptions::IRUse); |
Dehao Chen | 7b05a27 | 2017-07-26 02:00:43 +0000 | [diff] [blame] | 229 | break; |
| 230 | case SampleUse: |
Rong Xu | db29a3a | 2019-03-04 20:21:27 +0000 | [diff] [blame] | 231 | P = PGOOptions(ProfileFile, "", ProfileRemappingFile, |
| 232 | PGOOptions::SampleUse); |
Dehao Chen | 7b05a27 | 2017-07-26 02:00:43 +0000 | [diff] [blame] | 233 | break; |
| 234 | case NoPGO: |
Dehao Chen | e90d015 | 2017-07-26 15:01:20 +0000 | [diff] [blame] | 235 | if (DebugInfoForProfiling) |
Rong Xu | db29a3a | 2019-03-04 20:21:27 +0000 | [diff] [blame] | 236 | P = PGOOptions("", "", "", PGOOptions::NoAction, PGOOptions::NoCSAction, |
| 237 | true); |
Dehao Chen | e90d015 | 2017-07-26 15:01:20 +0000 | [diff] [blame] | 238 | else |
| 239 | P = None; |
Rong Xu | db29a3a | 2019-03-04 20:21:27 +0000 | [diff] [blame] | 240 | } |
| 241 | if (CSPGOKindFlag != NoCSPGO) { |
| 242 | if (P && (P->Action == PGOOptions::IRInstr || |
| 243 | P->Action == PGOOptions::SampleUse)) |
| 244 | errs() << "CSPGOKind cannot be used with IRInstr or SampleUse"; |
| 245 | if (CSPGOKindFlag == CSInstrGen) { |
| 246 | if (CSProfileGenFile.empty()) |
| 247 | errs() << "CSInstrGen needs to specify CSProfileGenFile"; |
| 248 | if (P) { |
| 249 | P->CSAction = PGOOptions::CSIRInstr; |
| 250 | P->CSProfileGenFile = CSProfileGenFile; |
| 251 | } else |
| 252 | P = PGOOptions("", CSProfileGenFile, ProfileRemappingFile, |
| 253 | PGOOptions::NoAction, PGOOptions::CSIRInstr); |
| 254 | } else /* CSPGOKindFlag == CSInstrUse */ { |
| 255 | if (!P) |
| 256 | errs() << "CSInstrUse needs to be together with InstrUse"; |
| 257 | P->CSAction = PGOOptions::CSIRUse; |
| 258 | } |
| 259 | } |
Fedor Sergeev | 662e568 | 2018-09-24 16:08:15 +0000 | [diff] [blame] | 260 | PassInstrumentationCallbacks PIC; |
| 261 | StandardInstrumentations SI; |
| 262 | SI.registerCallbacks(PIC); |
| 263 | |
Alina Sbirlea | 0499a2f | 2019-04-19 16:11:59 +0000 | [diff] [blame] | 264 | PassBuilder PB(TM, PipelineTuningOptions(), P, &PIC); |
Philip Pfaffe | 730f2f9 | 2017-07-10 10:57:55 +0000 | [diff] [blame] | 265 | registerEPCallbacks(PB, VerifyEachPass, DebugPM); |
Chandler Carruth | 2dc92e9 | 2015-02-01 07:40:05 +0000 | [diff] [blame] | 266 | |
Philip Pfaffe | 131fb97 | 2018-04-05 15:04:13 +0000 | [diff] [blame] | 267 | // Load requested pass plugins and let them register pass builder callbacks |
| 268 | for (auto &PluginFN : PassPlugins) { |
| 269 | auto PassPlugin = PassPlugin::Load(PluginFN); |
| 270 | if (!PassPlugin) { |
| 271 | errs() << "Failed to load passes from '" << PluginFN |
| 272 | << "'. Request ignored.\n"; |
| 273 | continue; |
| 274 | } |
| 275 | |
| 276 | PassPlugin->registerPassBuilderCallbacks(PB); |
| 277 | } |
| 278 | |
Vedant Kumar | 775c7af | 2018-02-15 21:14:36 +0000 | [diff] [blame] | 279 | // Register a callback that creates the debugify passes as needed. |
| 280 | PB.registerPipelineParsingCallback( |
| 281 | [](StringRef Name, ModulePassManager &MPM, |
| 282 | ArrayRef<PassBuilder::PipelineElement>) { |
| 283 | if (Name == "debugify") { |
| 284 | MPM.addPass(NewPMDebugifyPass()); |
| 285 | return true; |
| 286 | } else if (Name == "check-debugify") { |
| 287 | MPM.addPass(NewPMCheckDebugifyPass()); |
| 288 | return true; |
| 289 | } |
| 290 | return false; |
| 291 | }); |
| 292 | |
Philip Pfaffe | 59d690b | 2017-08-04 09:28:09 +0000 | [diff] [blame] | 293 | #ifdef LINK_POLLY_INTO_TOOLS |
| 294 | polly::RegisterPollyPasses(PB); |
| 295 | #endif |
| 296 | |
Chandler Carruth | edf5996 | 2016-02-18 09:45:17 +0000 | [diff] [blame] | 297 | // Specially handle the alias analysis manager so that we can register |
| 298 | // a custom pipeline of AA passes with it. |
| 299 | AAManager AA; |
Fedor Sergeev | bd6b213 | 2018-10-17 10:36:23 +0000 | [diff] [blame] | 300 | if (auto Err = PB.parseAAPipeline(AA, AAPipeline)) { |
| 301 | errs() << Arg0 << ": " << toString(std::move(Err)) << "\n"; |
Chandler Carruth | edf5996 | 2016-02-18 09:45:17 +0000 | [diff] [blame] | 302 | return false; |
| 303 | } |
| 304 | |
Justin Bogner | eecc3c8 | 2016-02-25 07:23:08 +0000 | [diff] [blame] | 305 | LoopAnalysisManager LAM(DebugPM); |
Chandler Carruth | 14a759e | 2015-01-13 22:42:38 +0000 | [diff] [blame] | 306 | FunctionAnalysisManager FAM(DebugPM); |
| 307 | CGSCCAnalysisManager CGAM(DebugPM); |
| 308 | ModuleAnalysisManager MAM(DebugPM); |
Chandler Carruth | 4d35631 | 2014-01-20 11:34:08 +0000 | [diff] [blame] | 309 | |
Chandler Carruth | edf5996 | 2016-02-18 09:45:17 +0000 | [diff] [blame] | 310 | // Register the AA manager first so that our version is the one used. |
| 311 | FAM.registerPass([&] { return std::move(AA); }); |
| 312 | |
Chandler Carruth | b70f673 | 2015-01-06 02:21:37 +0000 | [diff] [blame] | 313 | // Register all the basic analyses with the managers. |
Chandler Carruth | 1ff7724 | 2015-03-07 09:02:36 +0000 | [diff] [blame] | 314 | PB.registerModuleAnalyses(MAM); |
| 315 | PB.registerCGSCCAnalyses(CGAM); |
| 316 | PB.registerFunctionAnalyses(FAM); |
Justin Bogner | eecc3c8 | 2016-02-25 07:23:08 +0000 | [diff] [blame] | 317 | PB.registerLoopAnalyses(LAM); |
Davide Italiano | b6ccd6b | 2016-05-14 23:21:50 +0000 | [diff] [blame] | 318 | PB.crossRegisterProxies(LAM, FAM, CGAM, MAM); |
Chandler Carruth | c68d082 | 2014-02-06 04:25:13 +0000 | [diff] [blame] | 319 | |
Chandler Carruth | 14a759e | 2015-01-13 22:42:38 +0000 | [diff] [blame] | 320 | ModulePassManager MPM(DebugPM); |
Chandler Carruth | 4d35631 | 2014-01-20 11:34:08 +0000 | [diff] [blame] | 321 | if (VK > VK_NoVerifier) |
| 322 | MPM.addPass(VerifierPass()); |
Vedant Kumar | 775c7af | 2018-02-15 21:14:36 +0000 | [diff] [blame] | 323 | if (EnableDebugify) |
| 324 | MPM.addPass(NewPMDebugifyPass()); |
Chandler Carruth | 4d35631 | 2014-01-20 11:34:08 +0000 | [diff] [blame] | 325 | |
Fedor Sergeev | bd6b213 | 2018-10-17 10:36:23 +0000 | [diff] [blame] | 326 | if (auto Err = |
| 327 | PB.parsePassPipeline(MPM, PassPipeline, VerifyEachPass, DebugPM)) { |
| 328 | errs() << Arg0 << ": " << toString(std::move(Err)) << "\n"; |
Chandler Carruth | 6644538 | 2014-01-11 08:16:35 +0000 | [diff] [blame] | 329 | return false; |
| 330 | } |
| 331 | |
Chandler Carruth | 4d35631 | 2014-01-20 11:34:08 +0000 | [diff] [blame] | 332 | if (VK > VK_NoVerifier) |
| 333 | MPM.addPass(VerifierPass()); |
Vedant Kumar | 775c7af | 2018-02-15 21:14:36 +0000 | [diff] [blame] | 334 | if (EnableDebugify) |
| 335 | MPM.addPass(NewPMCheckDebugifyPass()); |
Chandler Carruth | 4d35631 | 2014-01-20 11:34:08 +0000 | [diff] [blame] | 336 | |
Chandler Carruth | b353c3f | 2014-01-13 05:16:45 +0000 | [diff] [blame] | 337 | // Add any relevant output pass at the end of the pipeline. |
| 338 | switch (OK) { |
| 339 | case OK_NoOutput: |
| 340 | break; // No output pass needed. |
| 341 | case OK_OutputAssembly: |
Duncan P. N. Exon Smith | 8a74f68 | 2015-04-15 02:38:06 +0000 | [diff] [blame] | 342 | MPM.addPass( |
| 343 | PrintModulePass(Out->os(), "", ShouldPreserveAssemblyUseListOrder)); |
Chandler Carruth | b353c3f | 2014-01-13 05:16:45 +0000 | [diff] [blame] | 344 | break; |
| 345 | case OK_OutputBitcode: |
Teresa Johnson | f93b246 | 2016-08-12 13:53:02 +0000 | [diff] [blame] | 346 | MPM.addPass(BitcodeWriterPass(Out->os(), ShouldPreserveBitcodeUseListOrder, |
| 347 | EmitSummaryIndex, EmitModuleHash)); |
Chandler Carruth | b7bdfd6 | 2014-01-13 07:38:24 +0000 | [diff] [blame] | 348 | break; |
Tim Shen | 6b411418 | 2017-06-01 01:02:12 +0000 | [diff] [blame] | 349 | case OK_OutputThinLTOBitcode: |
| 350 | MPM.addPass(ThinLTOBitcodeWriterPass( |
| 351 | Out->os(), ThinLTOLinkOut ? &ThinLTOLinkOut->os() : nullptr)); |
| 352 | break; |
Chandler Carruth | b353c3f | 2014-01-13 05:16:45 +0000 | [diff] [blame] | 353 | } |
| 354 | |
| 355 | // Before executing passes, print the final values of the LLVM options. |
| 356 | cl::PrintOptionValues(); |
| 357 | |
Chandler Carruth | 6644538 | 2014-01-11 08:16:35 +0000 | [diff] [blame] | 358 | // Now that we have all of the passes ready, run them. |
Chandler Carruth | b47f801 | 2016-03-11 11:05:24 +0000 | [diff] [blame] | 359 | MPM.run(M, MAM); |
Chandler Carruth | 6644538 | 2014-01-11 08:16:35 +0000 | [diff] [blame] | 360 | |
| 361 | // Declare success. |
Tim Shen | 6b411418 | 2017-06-01 01:02:12 +0000 | [diff] [blame] | 362 | if (OK != OK_NoOutput) { |
Chandler Carruth | 6644538 | 2014-01-11 08:16:35 +0000 | [diff] [blame] | 363 | Out->keep(); |
Tim Shen | 6b411418 | 2017-06-01 01:02:12 +0000 | [diff] [blame] | 364 | if (OK == OK_OutputThinLTOBitcode && ThinLTOLinkOut) |
| 365 | ThinLTOLinkOut->keep(); |
| 366 | } |
Sam Elliott | b0c9753 | 2017-08-20 01:30:45 +0000 | [diff] [blame] | 367 | |
| 368 | if (OptRemarkFile) |
| 369 | OptRemarkFile->keep(); |
| 370 | |
Chandler Carruth | 6644538 | 2014-01-11 08:16:35 +0000 | [diff] [blame] | 371 | return true; |
| 372 | } |