Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 1 | //===- PassManagerBuilder.cpp - Build Standard Pass -----------------------===// |
| 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 | // This file defines the PassManagerBuilder class, which is used to set up a |
| 11 | // "standard" optimization sequence suitable for languages like C and C++. |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| 15 | |
| 16 | #include "llvm/Transforms/IPO/PassManagerBuilder.h" |
Rafael Espindola | 07f60915 | 2011-08-09 22:17:34 +0000 | [diff] [blame] | 17 | #include "llvm-c/Transforms/PassManagerBuilder.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 18 | #include "llvm/ADT/SmallVector.h" |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 19 | #include "llvm/Analysis/Passes.h" |
Rafael Espindola | 7cebf36 | 2014-08-21 20:03:44 +0000 | [diff] [blame] | 20 | #include "llvm/IR/DataLayout.h" |
Chandler Carruth | 5ad5f15 | 2014-01-13 09:26:24 +0000 | [diff] [blame] | 21 | #include "llvm/IR/Verifier.h" |
Chandler Carruth | 30d69c2 | 2015-02-13 10:01:29 +0000 | [diff] [blame] | 22 | #include "llvm/IR/LegacyPassManager.h" |
Hal Finkel | c34e511 | 2012-02-01 03:51:43 +0000 | [diff] [blame] | 23 | #include "llvm/Support/CommandLine.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 24 | #include "llvm/Support/ManagedStatic.h" |
Chandler Carruth | 62d4215 | 2015-01-15 02:16:27 +0000 | [diff] [blame] | 25 | #include "llvm/Analysis/TargetLibraryInfo.h" |
Rafael Espindola | 7cebf36 | 2014-08-21 20:03:44 +0000 | [diff] [blame] | 26 | #include "llvm/Target/TargetMachine.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 27 | #include "llvm/Transforms/IPO.h" |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 28 | #include "llvm/Transforms/Scalar.h" |
Hal Finkel | c34e511 | 2012-02-01 03:51:43 +0000 | [diff] [blame] | 29 | #include "llvm/Transforms/Vectorize.h" |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 30 | |
| 31 | using namespace llvm; |
| 32 | |
Hal Finkel | c34e511 | 2012-02-01 03:51:43 +0000 | [diff] [blame] | 33 | static cl::opt<bool> |
Nadav Rotem | 7f27e0b | 2013-10-18 23:38:13 +0000 | [diff] [blame] | 34 | RunLoopVectorization("vectorize-loops", cl::Hidden, |
Nadav Rotem | d3df665 | 2012-10-30 18:37:43 +0000 | [diff] [blame] | 35 | cl::desc("Run the Loop vectorization passes")); |
Nadav Rotem | c59ae20 | 2012-10-29 16:36:25 +0000 | [diff] [blame] | 36 | |
| 37 | static cl::opt<bool> |
Nadav Rotem | 7f27e0b | 2013-10-18 23:38:13 +0000 | [diff] [blame] | 38 | RunSLPVectorization("vectorize-slp", cl::Hidden, |
Nadav Rotem | d4dcc00 | 2013-04-15 05:39:58 +0000 | [diff] [blame] | 39 | cl::desc("Run the SLP vectorization passes")); |
| 40 | |
| 41 | static cl::opt<bool> |
Nadav Rotem | 7f27e0b | 2013-10-18 23:38:13 +0000 | [diff] [blame] | 42 | RunBBVectorization("vectorize-slp-aggressive", cl::Hidden, |
Nadav Rotem | d4dcc00 | 2013-04-15 05:39:58 +0000 | [diff] [blame] | 43 | cl::desc("Run the BB vectorization passes")); |
Hal Finkel | c34e511 | 2012-02-01 03:51:43 +0000 | [diff] [blame] | 44 | |
Hal Finkel | 204bf53 | 2012-04-13 17:15:33 +0000 | [diff] [blame] | 45 | static cl::opt<bool> |
| 46 | UseGVNAfterVectorization("use-gvn-after-vectorization", |
| 47 | cl::init(false), cl::Hidden, |
| 48 | cl::desc("Run GVN instead of Early CSE after vectorization passes")); |
| 49 | |
Chandler Carruth | 7b8297a | 2014-10-14 00:31:29 +0000 | [diff] [blame] | 50 | static cl::opt<bool> ExtraVectorizerPasses( |
| 51 | "extra-vectorizer-passes", cl::init(false), cl::Hidden, |
| 52 | cl::desc("Run cleanup optimization passes after vectorization.")); |
| 53 | |
Chandler Carruth | 1b398ae | 2012-09-14 09:22:59 +0000 | [diff] [blame] | 54 | static cl::opt<bool> UseNewSROA("use-new-sroa", |
Chandler Carruth | 4e43599 | 2012-10-02 04:24:01 +0000 | [diff] [blame] | 55 | cl::init(true), cl::Hidden, |
Chandler Carruth | 1b398ae | 2012-09-14 09:22:59 +0000 | [diff] [blame] | 56 | cl::desc("Enable the new, experimental SROA pass")); |
| 57 | |
Hal Finkel | bf45efd | 2013-11-16 23:59:05 +0000 | [diff] [blame] | 58 | static cl::opt<bool> |
| 59 | RunLoopRerolling("reroll-loops", cl::Hidden, |
| 60 | cl::desc("Run the loop rerolling pass")); |
| 61 | |
James Molloy | 0cbb2a86 | 2015-03-27 10:36:57 +0000 | [diff] [blame] | 62 | static cl::opt<bool> |
| 63 | RunFloat2Int("float-to-int", cl::Hidden, cl::init(true), |
| 64 | cl::desc("Run the float2int (float demotion) pass")); |
| 65 | |
Michael J. Spencer | 289067c | 2014-05-29 01:55:07 +0000 | [diff] [blame] | 66 | static cl::opt<bool> RunLoadCombine("combine-loads", cl::init(false), |
| 67 | cl::Hidden, |
| 68 | cl::desc("Run the load combining pass")); |
| 69 | |
James Molloy | 568da09 | 2014-08-06 12:56:19 +0000 | [diff] [blame] | 70 | static cl::opt<bool> |
| 71 | RunSLPAfterLoopVectorization("run-slp-after-loop-vectorization", |
James Molloy | 6b95d8e | 2014-09-04 13:23:08 +0000 | [diff] [blame] | 72 | cl::init(true), cl::Hidden, |
James Molloy | 568da09 | 2014-08-06 12:56:19 +0000 | [diff] [blame] | 73 | cl::desc("Run the SLP vectorizer (and BB vectorizer) after the Loop " |
| 74 | "vectorizer instead of before")); |
| 75 | |
Hal Finkel | 445dda5 | 2014-09-02 22:12:54 +0000 | [diff] [blame] | 76 | static cl::opt<bool> UseCFLAA("use-cfl-aa", |
| 77 | cl::init(false), cl::Hidden, |
| 78 | cl::desc("Enable the new, experimental CFL alias analysis")); |
James Molloy | 568da09 | 2014-08-06 12:56:19 +0000 | [diff] [blame] | 79 | |
Gerolf Hoflehner | 24815d9 | 2014-09-10 19:55:29 +0000 | [diff] [blame] | 80 | static cl::opt<bool> |
Gerolf Hoflehner | 008e5cd | 2014-09-10 20:24:03 +0000 | [diff] [blame] | 81 | EnableMLSM("mlsm", cl::init(true), cl::Hidden, |
| 82 | cl::desc("Enable motion of merged load and store")); |
Gerolf Hoflehner | 24815d9 | 2014-09-10 19:55:29 +0000 | [diff] [blame] | 83 | |
Karthik Bhat | 88db86d | 2015-03-06 10:11:25 +0000 | [diff] [blame] | 84 | static cl::opt<bool> EnableLoopInterchange( |
| 85 | "enable-loopinterchange", cl::init(false), cl::Hidden, |
| 86 | cl::desc("Enable the new, experimental LoopInterchange Pass")); |
| 87 | |
Adam Nemet | 938d3d6 | 2015-05-14 12:05:18 +0000 | [diff] [blame] | 88 | static cl::opt<bool> EnableLoopDistribute( |
| 89 | "enable-loop-distribute", cl::init(false), cl::Hidden, |
| 90 | cl::desc("Enable the new, experimental LoopDistribution Pass")); |
| 91 | |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 92 | PassManagerBuilder::PassManagerBuilder() { |
| 93 | OptLevel = 2; |
| 94 | SizeLevel = 0; |
Craig Topper | f40110f | 2014-04-25 05:29:35 +0000 | [diff] [blame] | 95 | LibraryInfo = nullptr; |
| 96 | Inliner = nullptr; |
Duncan P. N. Exon Smith | 49f3ec8 | 2014-04-18 01:05:15 +0000 | [diff] [blame] | 97 | DisableTailCalls = false; |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 98 | DisableUnitAtATime = false; |
| 99 | DisableUnrollLoops = false; |
Nadav Rotem | d4dcc00 | 2013-04-15 05:39:58 +0000 | [diff] [blame] | 100 | BBVectorize = RunBBVectorization; |
Nadav Rotem | a1e5e44 | 2013-04-15 04:54:42 +0000 | [diff] [blame] | 101 | SLPVectorize = RunSLPVectorization; |
Nadav Rotem | c59ae20 | 2012-10-29 16:36:25 +0000 | [diff] [blame] | 102 | LoopVectorize = RunLoopVectorization; |
Hal Finkel | 29aeb20 | 2013-11-17 16:02:50 +0000 | [diff] [blame] | 103 | RerollLoops = RunLoopRerolling; |
Michael J. Spencer | 289067c | 2014-05-29 01:55:07 +0000 | [diff] [blame] | 104 | LoadCombine = RunLoadCombine; |
Rafael Espindola | 208bc53 | 2014-08-21 13:13:17 +0000 | [diff] [blame] | 105 | DisableGVNLoadPRE = false; |
Rafael Espindola | 7cebf36 | 2014-08-21 20:03:44 +0000 | [diff] [blame] | 106 | VerifyInput = false; |
| 107 | VerifyOutput = false; |
Nick Lewycky | 9e6d184 | 2014-09-13 21:46:00 +0000 | [diff] [blame] | 108 | MergeFunctions = false; |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 109 | } |
| 110 | |
| 111 | PassManagerBuilder::~PassManagerBuilder() { |
| 112 | delete LibraryInfo; |
| 113 | delete Inliner; |
| 114 | } |
| 115 | |
David Chisnall | 719a72f | 2011-08-16 13:58:41 +0000 | [diff] [blame] | 116 | /// Set of global extensions, automatically added as part of the standard set. |
| 117 | static ManagedStatic<SmallVector<std::pair<PassManagerBuilder::ExtensionPointTy, |
| 118 | PassManagerBuilder::ExtensionFn>, 8> > GlobalExtensions; |
| 119 | |
| 120 | void PassManagerBuilder::addGlobalExtension( |
| 121 | PassManagerBuilder::ExtensionPointTy Ty, |
| 122 | PassManagerBuilder::ExtensionFn Fn) { |
| 123 | GlobalExtensions->push_back(std::make_pair(Ty, Fn)); |
| 124 | } |
| 125 | |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 126 | void PassManagerBuilder::addExtension(ExtensionPointTy Ty, ExtensionFn Fn) { |
| 127 | Extensions.push_back(std::make_pair(Ty, Fn)); |
| 128 | } |
| 129 | |
| 130 | void PassManagerBuilder::addExtensionsToPM(ExtensionPointTy ETy, |
Chandler Carruth | 30d69c2 | 2015-02-13 10:01:29 +0000 | [diff] [blame] | 131 | legacy::PassManagerBase &PM) const { |
David Chisnall | 719a72f | 2011-08-16 13:58:41 +0000 | [diff] [blame] | 132 | for (unsigned i = 0, e = GlobalExtensions->size(); i != e; ++i) |
| 133 | if ((*GlobalExtensions)[i].first == ETy) |
| 134 | (*GlobalExtensions)[i].second(*this, PM); |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 135 | for (unsigned i = 0, e = Extensions.size(); i != e; ++i) |
| 136 | if (Extensions[i].first == ETy) |
| 137 | Extensions[i].second(*this, PM); |
| 138 | } |
| 139 | |
Chandler Carruth | 30d69c2 | 2015-02-13 10:01:29 +0000 | [diff] [blame] | 140 | void PassManagerBuilder::addInitialAliasAnalysisPasses( |
| 141 | legacy::PassManagerBase &PM) const { |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 142 | // Add TypeBasedAliasAnalysis before BasicAliasAnalysis so that |
| 143 | // BasicAliasAnalysis wins if they disagree. This is intended to help |
| 144 | // support "obvious" type-punning idioms. |
Hal Finkel | 445dda5 | 2014-09-02 22:12:54 +0000 | [diff] [blame] | 145 | if (UseCFLAA) |
| 146 | PM.add(createCFLAliasAnalysisPass()); |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 147 | PM.add(createTypeBasedAliasAnalysisPass()); |
Hal Finkel | 9414665 | 2014-07-24 14:25:39 +0000 | [diff] [blame] | 148 | PM.add(createScopedNoAliasAAPass()); |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 149 | PM.add(createBasicAliasAnalysisPass()); |
| 150 | } |
| 151 | |
Chandler Carruth | 30d69c2 | 2015-02-13 10:01:29 +0000 | [diff] [blame] | 152 | void PassManagerBuilder::populateFunctionPassManager( |
| 153 | legacy::FunctionPassManager &FPM) { |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 154 | addExtensionsToPM(EP_EarlyAsPossible, FPM); |
| 155 | |
| 156 | // Add LibraryInfo if we have some. |
Chandler Carruth | b98f63d | 2015-01-15 10:41:28 +0000 | [diff] [blame] | 157 | if (LibraryInfo) |
| 158 | FPM.add(new TargetLibraryInfoWrapperPass(*LibraryInfo)); |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 159 | |
| 160 | if (OptLevel == 0) return; |
| 161 | |
| 162 | addInitialAliasAnalysisPasses(FPM); |
| 163 | |
| 164 | FPM.add(createCFGSimplificationPass()); |
Chandler Carruth | 1b398ae | 2012-09-14 09:22:59 +0000 | [diff] [blame] | 165 | if (UseNewSROA) |
| 166 | FPM.add(createSROAPass()); |
| 167 | else |
| 168 | FPM.add(createScalarReplAggregatesPass()); |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 169 | FPM.add(createEarlyCSEPass()); |
| 170 | FPM.add(createLowerExpectIntrinsicPass()); |
| 171 | } |
| 172 | |
Chandler Carruth | 30d69c2 | 2015-02-13 10:01:29 +0000 | [diff] [blame] | 173 | void PassManagerBuilder::populateModulePassManager( |
| 174 | legacy::PassManagerBase &MPM) { |
Nick Lewycky | 592d849 | 2014-10-23 23:49:31 +0000 | [diff] [blame] | 175 | // If all optimizations are disabled, just run the always-inline pass and, |
| 176 | // if enabled, the function merging pass. |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 177 | if (OptLevel == 0) { |
| 178 | if (Inliner) { |
| 179 | MPM.add(Inliner); |
Craig Topper | f40110f | 2014-04-25 05:29:35 +0000 | [diff] [blame] | 180 | Inliner = nullptr; |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 181 | } |
Chandler Carruth | e8479e1 | 2012-10-18 08:05:46 +0000 | [diff] [blame] | 182 | |
Nick Lewycky | 592d849 | 2014-10-23 23:49:31 +0000 | [diff] [blame] | 183 | // FIXME: The BarrierNoopPass is a HACK! The inliner pass above implicitly |
| 184 | // creates a CGSCC pass manager, but we don't want to add extensions into |
| 185 | // that pass manager. To prevent this we insert a no-op module pass to reset |
| 186 | // the pass manager to get the same behavior as EP_OptimizerLast in non-O0 |
| 187 | // builds. The function merging pass is |
| 188 | if (MergeFunctions) |
| 189 | MPM.add(createMergeFunctionsPass()); |
| 190 | else if (!GlobalExtensions->empty() || !Extensions.empty()) |
Chandler Carruth | e8479e1 | 2012-10-18 08:05:46 +0000 | [diff] [blame] | 191 | MPM.add(createBarrierNoopPass()); |
| 192 | |
Kostya Serebryany | dc436f9 | 2011-11-30 22:19:26 +0000 | [diff] [blame] | 193 | addExtensionsToPM(EP_EnabledOnOptLevel0, MPM); |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 194 | return; |
| 195 | } |
| 196 | |
| 197 | // Add LibraryInfo if we have some. |
Chandler Carruth | b98f63d | 2015-01-15 10:41:28 +0000 | [diff] [blame] | 198 | if (LibraryInfo) |
| 199 | MPM.add(new TargetLibraryInfoWrapperPass(*LibraryInfo)); |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 200 | |
| 201 | addInitialAliasAnalysisPasses(MPM); |
| 202 | |
| 203 | if (!DisableUnitAtATime) { |
Dan Gohman | b993629 | 2012-01-17 20:51:32 +0000 | [diff] [blame] | 204 | addExtensionsToPM(EP_ModuleOptimizerEarly, MPM); |
| 205 | |
Gerolf Hoflehner | 65b1332 | 2014-07-03 19:28:15 +0000 | [diff] [blame] | 206 | MPM.add(createIPSCCPPass()); // IP SCCP |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 207 | MPM.add(createGlobalOptimizerPass()); // Optimize out global vars |
| 208 | |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 209 | MPM.add(createDeadArgEliminationPass()); // Dead argument elimination |
| 210 | |
| 211 | MPM.add(createInstructionCombiningPass());// Clean up after IPCP & DAE |
Peter Collingbourne | 0a43761 | 2014-05-25 10:27:02 +0000 | [diff] [blame] | 212 | addExtensionsToPM(EP_Peephole, MPM); |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 213 | MPM.add(createCFGSimplificationPass()); // Clean up after IPCP & DAE |
| 214 | } |
| 215 | |
| 216 | // Start of CallGraph SCC passes. |
| 217 | if (!DisableUnitAtATime) |
| 218 | MPM.add(createPruneEHPass()); // Remove dead EH info |
| 219 | if (Inliner) { |
| 220 | MPM.add(Inliner); |
Craig Topper | f40110f | 2014-04-25 05:29:35 +0000 | [diff] [blame] | 221 | Inliner = nullptr; |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 222 | } |
| 223 | if (!DisableUnitAtATime) |
| 224 | MPM.add(createFunctionAttrsPass()); // Set readonly/readnone attrs |
| 225 | if (OptLevel > 2) |
| 226 | MPM.add(createArgumentPromotionPass()); // Scalarize uninlined fn args |
| 227 | |
| 228 | // Start of function pass. |
| 229 | // Break up aggregate allocas, using SSAUpdater. |
Chandler Carruth | 70b44c5 | 2012-09-15 11:43:14 +0000 | [diff] [blame] | 230 | if (UseNewSROA) |
| 231 | MPM.add(createSROAPass(/*RequiresDomTree*/ false)); |
| 232 | else |
| 233 | MPM.add(createScalarReplAggregatesPass(-1, false)); |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 234 | MPM.add(createEarlyCSEPass()); // Catch trivial redundancies |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 235 | MPM.add(createJumpThreadingPass()); // Thread jumps. |
| 236 | MPM.add(createCorrelatedValuePropagationPass()); // Propagate conditionals |
| 237 | MPM.add(createCFGSimplificationPass()); // Merge & remove BBs |
| 238 | MPM.add(createInstructionCombiningPass()); // Combine silly seq's |
Peter Collingbourne | 0a43761 | 2014-05-25 10:27:02 +0000 | [diff] [blame] | 239 | addExtensionsToPM(EP_Peephole, MPM); |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 240 | |
Duncan P. N. Exon Smith | 49f3ec8 | 2014-04-18 01:05:15 +0000 | [diff] [blame] | 241 | if (!DisableTailCalls) |
| 242 | MPM.add(createTailCallEliminationPass()); // Eliminate tail calls |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 243 | MPM.add(createCFGSimplificationPass()); // Merge & remove BBs |
| 244 | MPM.add(createReassociatePass()); // Reassociate expressions |
Roman Divacky | d2b9a1b | 2014-11-21 19:53:24 +0000 | [diff] [blame] | 245 | // Rotate Loop - disable header duplication at -Oz |
| 246 | MPM.add(createLoopRotatePass(SizeLevel == 2 ? 0 : -1)); |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 247 | MPM.add(createLICMPass()); // Hoist loop invariants |
| 248 | MPM.add(createLoopUnswitchPass(SizeLevel || OptLevel < 3)); |
| 249 | MPM.add(createInstructionCombiningPass()); |
| 250 | MPM.add(createIndVarSimplifyPass()); // Canonicalize indvars |
| 251 | MPM.add(createLoopIdiomPass()); // Recognize idioms like memset. |
| 252 | MPM.add(createLoopDeletionPass()); // Delete dead loops |
Karthik Bhat | 8210fdf | 2015-04-23 04:51:44 +0000 | [diff] [blame] | 253 | if (EnableLoopInterchange) { |
Karthik Bhat | 88db86d | 2015-03-06 10:11:25 +0000 | [diff] [blame] | 254 | MPM.add(createLoopInterchangePass()); // Interchange loops |
Karthik Bhat | 8210fdf | 2015-04-23 04:51:44 +0000 | [diff] [blame] | 255 | MPM.add(createCFGSimplificationPass()); |
| 256 | } |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 257 | if (!DisableUnrollLoops) |
Hal Finkel | 86b3064 | 2014-03-31 23:23:51 +0000 | [diff] [blame] | 258 | MPM.add(createSimpleLoopUnrollPass()); // Unroll small loops |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 259 | addExtensionsToPM(EP_LoopOptimizerEnd, MPM); |
| 260 | |
Gerolf Hoflehner | f27ae6c | 2014-07-18 19:13:09 +0000 | [diff] [blame] | 261 | if (OptLevel > 1) { |
Gerolf Hoflehner | 24815d9 | 2014-09-10 19:55:29 +0000 | [diff] [blame] | 262 | if (EnableMLSM) |
| 263 | MPM.add(createMergedLoadStoreMotionPass()); // Merge ld/st in diamonds |
Rafael Espindola | 208bc53 | 2014-08-21 13:13:17 +0000 | [diff] [blame] | 264 | MPM.add(createGVNPass(DisableGVNLoadPRE)); // Remove redundancies |
Gerolf Hoflehner | f27ae6c | 2014-07-18 19:13:09 +0000 | [diff] [blame] | 265 | } |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 266 | MPM.add(createMemCpyOptPass()); // Remove memcpy / form memset |
| 267 | MPM.add(createSCCPPass()); // Constant prop with SCCP |
| 268 | |
Hal Finkel | 2bb61ba | 2015-02-17 01:36:59 +0000 | [diff] [blame] | 269 | // Delete dead bit computations (instcombine runs after to fold away the dead |
| 270 | // computations, and then ADCE will run later to exploit any new DCE |
| 271 | // opportunities that creates). |
| 272 | MPM.add(createBitTrackingDCEPass()); // Delete dead bit computations |
| 273 | |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 274 | // Run instcombine after redundancy elimination to exploit opportunities |
| 275 | // opened up by them. |
| 276 | MPM.add(createInstructionCombiningPass()); |
Peter Collingbourne | 0a43761 | 2014-05-25 10:27:02 +0000 | [diff] [blame] | 277 | addExtensionsToPM(EP_Peephole, MPM); |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 278 | MPM.add(createJumpThreadingPass()); // Thread jumps |
| 279 | MPM.add(createCorrelatedValuePropagationPass()); |
| 280 | MPM.add(createDeadStoreEliminationPass()); // Delete dead stores |
James Molloy | 8357024 | 2015-02-16 18:59:54 +0000 | [diff] [blame] | 281 | MPM.add(createLICMPass()); |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 282 | |
| 283 | addExtensionsToPM(EP_ScalarOptimizerLate, MPM); |
| 284 | |
Hal Finkel | 29aeb20 | 2013-11-17 16:02:50 +0000 | [diff] [blame] | 285 | if (RerollLoops) |
Hal Finkel | bf45efd | 2013-11-16 23:59:05 +0000 | [diff] [blame] | 286 | MPM.add(createLoopRerollPass()); |
James Molloy | 568da09 | 2014-08-06 12:56:19 +0000 | [diff] [blame] | 287 | if (!RunSLPAfterLoopVectorization) { |
| 288 | if (SLPVectorize) |
| 289 | MPM.add(createSLPVectorizerPass()); // Vectorize parallel scalar chains. |
Nadav Rotem | d4dcc00 | 2013-04-15 05:39:58 +0000 | [diff] [blame] | 290 | |
James Molloy | 568da09 | 2014-08-06 12:56:19 +0000 | [diff] [blame] | 291 | if (BBVectorize) { |
| 292 | MPM.add(createBBVectorizePass()); |
| 293 | MPM.add(createInstructionCombiningPass()); |
| 294 | addExtensionsToPM(EP_Peephole, MPM); |
| 295 | if (OptLevel > 1 && UseGVNAfterVectorization) |
Rafael Espindola | 208bc53 | 2014-08-21 13:13:17 +0000 | [diff] [blame] | 296 | MPM.add(createGVNPass(DisableGVNLoadPRE)); // Remove redundancies |
James Molloy | 568da09 | 2014-08-06 12:56:19 +0000 | [diff] [blame] | 297 | else |
| 298 | MPM.add(createEarlyCSEPass()); // Catch trivial redundancies |
Hal Finkel | bf4db4f | 2013-01-29 00:22:49 +0000 | [diff] [blame] | 299 | |
James Molloy | 568da09 | 2014-08-06 12:56:19 +0000 | [diff] [blame] | 300 | // BBVectorize may have significantly shortened a loop body; unroll again. |
| 301 | if (!DisableUnrollLoops) |
| 302 | MPM.add(createLoopUnrollPass()); |
| 303 | } |
Hal Finkel | c34e511 | 2012-02-01 03:51:43 +0000 | [diff] [blame] | 304 | } |
| 305 | |
Michael J. Spencer | 289067c | 2014-05-29 01:55:07 +0000 | [diff] [blame] | 306 | if (LoadCombine) |
| 307 | MPM.add(createLoadCombinePass()); |
| 308 | |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 309 | MPM.add(createAggressiveDCEPass()); // Delete dead instructions |
Tom Stellard | aa664d9 | 2013-08-06 02:43:45 +0000 | [diff] [blame] | 310 | MPM.add(createCFGSimplificationPass()); // Merge & remove BBs |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 311 | MPM.add(createInstructionCombiningPass()); // Clean up after everything. |
Peter Collingbourne | 0a43761 | 2014-05-25 10:27:02 +0000 | [diff] [blame] | 312 | addExtensionsToPM(EP_Peephole, MPM); |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 313 | |
Renato Golin | 729a3ae | 2013-12-05 21:20:02 +0000 | [diff] [blame] | 314 | // FIXME: This is a HACK! The inliner pass above implicitly creates a CGSCC |
| 315 | // pass manager that we are specifically trying to avoid. To prevent this |
| 316 | // we must insert a no-op module pass to reset the pass manager. |
| 317 | MPM.add(createBarrierNoopPass()); |
Chandler Carruth | 7b8297a | 2014-10-14 00:31:29 +0000 | [diff] [blame] | 318 | |
James Molloy | 0cbb2a86 | 2015-03-27 10:36:57 +0000 | [diff] [blame] | 319 | if (RunFloat2Int) |
| 320 | MPM.add(createFloat2IntPass()); |
| 321 | |
Chandler Carruth | 7b8297a | 2014-10-14 00:31:29 +0000 | [diff] [blame] | 322 | // Re-rotate loops in all our loop nests. These may have fallout out of |
| 323 | // rotated form due to GVN or other transformations, and the vectorizer relies |
| 324 | // on the rotated form. |
Michael Zolotukhin | 267e12f | 2015-03-10 19:07:41 +0000 | [diff] [blame] | 325 | MPM.add(createLoopRotatePass()); |
Chandler Carruth | 7b8297a | 2014-10-14 00:31:29 +0000 | [diff] [blame] | 326 | |
Adam Nemet | 938d3d6 | 2015-05-14 12:05:18 +0000 | [diff] [blame] | 327 | // Distribute loops to allow partial vectorization. I.e. isolate dependences |
| 328 | // into separate loop that would otherwise inhibit vectorization. |
| 329 | if (EnableLoopDistribute) |
| 330 | MPM.add(createLoopDistributePass()); |
| 331 | |
Renato Golin | 729a3ae | 2013-12-05 21:20:02 +0000 | [diff] [blame] | 332 | MPM.add(createLoopVectorizePass(DisableUnrollLoops, LoopVectorize)); |
| 333 | // FIXME: Because of #pragma vectorize enable, the passes below are always |
| 334 | // inserted in the pipeline, even when the vectorizer doesn't run (ex. when |
| 335 | // on -O1 and no #pragma is found). Would be good to have these two passes |
| 336 | // as function calls, so that we can only pass them when the vectorizer |
| 337 | // changed the code. |
| 338 | MPM.add(createInstructionCombiningPass()); |
Chandler Carruth | 7b8297a | 2014-10-14 00:31:29 +0000 | [diff] [blame] | 339 | if (OptLevel > 1 && ExtraVectorizerPasses) { |
| 340 | // At higher optimization levels, try to clean up any runtime overlap and |
| 341 | // alignment checks inserted by the vectorizer. We want to track correllated |
| 342 | // runtime checks for two inner loops in the same outer loop, fold any |
| 343 | // common computations, hoist loop-invariant aspects out of any outer loop, |
| 344 | // and unswitch the runtime checks if possible. Once hoisted, we may have |
| 345 | // dead (or speculatable) control flows or more combining opportunities. |
| 346 | MPM.add(createEarlyCSEPass()); |
| 347 | MPM.add(createCorrelatedValuePropagationPass()); |
| 348 | MPM.add(createInstructionCombiningPass()); |
| 349 | MPM.add(createLICMPass()); |
| 350 | MPM.add(createLoopUnswitchPass(SizeLevel || OptLevel < 3)); |
| 351 | MPM.add(createCFGSimplificationPass()); |
| 352 | MPM.add(createInstructionCombiningPass()); |
| 353 | } |
James Molloy | 568da09 | 2014-08-06 12:56:19 +0000 | [diff] [blame] | 354 | |
| 355 | if (RunSLPAfterLoopVectorization) { |
Chandler Carruth | 7b8297a | 2014-10-14 00:31:29 +0000 | [diff] [blame] | 356 | if (SLPVectorize) { |
James Molloy | 568da09 | 2014-08-06 12:56:19 +0000 | [diff] [blame] | 357 | MPM.add(createSLPVectorizerPass()); // Vectorize parallel scalar chains. |
Chandler Carruth | 7b8297a | 2014-10-14 00:31:29 +0000 | [diff] [blame] | 358 | if (OptLevel > 1 && ExtraVectorizerPasses) { |
| 359 | MPM.add(createEarlyCSEPass()); |
| 360 | } |
| 361 | } |
James Molloy | 568da09 | 2014-08-06 12:56:19 +0000 | [diff] [blame] | 362 | |
| 363 | if (BBVectorize) { |
| 364 | MPM.add(createBBVectorizePass()); |
| 365 | MPM.add(createInstructionCombiningPass()); |
| 366 | addExtensionsToPM(EP_Peephole, MPM); |
| 367 | if (OptLevel > 1 && UseGVNAfterVectorization) |
Rafael Espindola | 208bc53 | 2014-08-21 13:13:17 +0000 | [diff] [blame] | 368 | MPM.add(createGVNPass(DisableGVNLoadPRE)); // Remove redundancies |
James Molloy | 568da09 | 2014-08-06 12:56:19 +0000 | [diff] [blame] | 369 | else |
| 370 | MPM.add(createEarlyCSEPass()); // Catch trivial redundancies |
| 371 | |
| 372 | // BBVectorize may have significantly shortened a loop body; unroll again. |
| 373 | if (!DisableUnrollLoops) |
| 374 | MPM.add(createLoopUnrollPass()); |
| 375 | } |
| 376 | } |
| 377 | |
Peter Collingbourne | 0a43761 | 2014-05-25 10:27:02 +0000 | [diff] [blame] | 378 | addExtensionsToPM(EP_Peephole, MPM); |
Renato Golin | 729a3ae | 2013-12-05 21:20:02 +0000 | [diff] [blame] | 379 | MPM.add(createCFGSimplificationPass()); |
Chandler Carruth | 7b8297a | 2014-10-14 00:31:29 +0000 | [diff] [blame] | 380 | MPM.add(createInstructionCombiningPass()); |
Chandler Carruth | 08e1b87 | 2013-06-24 07:21:47 +0000 | [diff] [blame] | 381 | |
Kevin Qin | 49bc764 | 2015-03-12 05:36:01 +0000 | [diff] [blame] | 382 | if (!DisableUnrollLoops) { |
Hal Finkel | 86b3064 | 2014-03-31 23:23:51 +0000 | [diff] [blame] | 383 | MPM.add(createLoopUnrollPass()); // Unroll small loops |
| 384 | |
Wei Mi | bf727ba | 2015-05-14 22:02:54 +0000 | [diff] [blame^] | 385 | // LoopUnroll may generate some redundency to cleanup. |
| 386 | MPM.add(createInstructionCombiningPass()); |
| 387 | |
Kevin Qin | 49bc764 | 2015-03-12 05:36:01 +0000 | [diff] [blame] | 388 | // This is a barrier pass to avoid combine LICM pass and loop unroll pass |
| 389 | // within same loop pass manager. |
| 390 | MPM.add(createInstructionSimplifierPass()); |
| 391 | |
| 392 | // Runtime unrolling will introduce runtime check in loop prologue. If the |
| 393 | // unrolled loop is a inner loop, then the prologue will be inside the |
| 394 | // outer loop. LICM pass can help to promote the runtime check out if the |
| 395 | // checked value is loop invariant. |
| 396 | MPM.add(createLICMPass()); |
| 397 | } |
| 398 | |
Hal Finkel | d67e463 | 2014-09-07 20:05:11 +0000 | [diff] [blame] | 399 | // After vectorization and unrolling, assume intrinsics may tell us more |
| 400 | // about pointer alignments. |
| 401 | MPM.add(createAlignmentFromAssumptionsPass()); |
| 402 | |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 403 | if (!DisableUnitAtATime) { |
| 404 | // FIXME: We shouldn't bother with this anymore. |
| 405 | MPM.add(createStripDeadPrototypesPass()); // Get rid of dead prototypes |
| 406 | |
Evan Cheng | 8c6b06d | 2012-09-28 21:23:26 +0000 | [diff] [blame] | 407 | // GlobalOpt already deletes dead functions and globals, at -O2 try a |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 408 | // late pass of GlobalDCE. It is capable of deleting dead cycles. |
Evan Cheng | 8c6b06d | 2012-09-28 21:23:26 +0000 | [diff] [blame] | 409 | if (OptLevel > 1) { |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 410 | MPM.add(createGlobalDCEPass()); // Remove dead fns and globals. |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 411 | MPM.add(createConstantMergePass()); // Merge dup global constants |
Evan Cheng | 8c6b06d | 2012-09-28 21:23:26 +0000 | [diff] [blame] | 412 | } |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 413 | } |
Nick Lewycky | 9e6d184 | 2014-09-13 21:46:00 +0000 | [diff] [blame] | 414 | |
| 415 | if (MergeFunctions) |
| 416 | MPM.add(createMergeFunctionsPass()); |
| 417 | |
Kostya Serebryany | e505a5a | 2012-03-23 23:22:59 +0000 | [diff] [blame] | 418 | addExtensionsToPM(EP_OptimizerLast, MPM); |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 419 | } |
| 420 | |
Chandler Carruth | 30d69c2 | 2015-02-13 10:01:29 +0000 | [diff] [blame] | 421 | void PassManagerBuilder::addLTOOptimizationPasses(legacy::PassManagerBase &PM) { |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 422 | // Provide AliasAnalysis services for optimizations. |
| 423 | addInitialAliasAnalysisPasses(PM); |
| 424 | |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 425 | // Propagate constants at call sites into the functions they call. This |
| 426 | // opens opportunities for globalopt (and inlining) by substituting function |
| 427 | // pointers passed as arguments to direct uses of functions. |
| 428 | PM.add(createIPSCCPPass()); |
| 429 | |
| 430 | // Now that we internalized some globals, see if we can hack on them! |
| 431 | PM.add(createGlobalOptimizerPass()); |
| 432 | |
| 433 | // Linking modules together can lead to duplicated global constants, only |
| 434 | // keep one copy of each constant. |
| 435 | PM.add(createConstantMergePass()); |
| 436 | |
| 437 | // Remove unused arguments from functions. |
| 438 | PM.add(createDeadArgEliminationPass()); |
| 439 | |
| 440 | // Reduce the code after globalopt and ipsccp. Both can open up significant |
| 441 | // simplification opportunities, and both can propagate functions through |
| 442 | // function pointers. When this happens, we often have to resolve varargs |
| 443 | // calls, etc, so let instcombine do this. |
| 444 | PM.add(createInstructionCombiningPass()); |
Peter Collingbourne | 0a43761 | 2014-05-25 10:27:02 +0000 | [diff] [blame] | 445 | addExtensionsToPM(EP_Peephole, PM); |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 446 | |
| 447 | // Inline small functions |
Rafael Espindola | e07caad | 2014-08-21 13:35:30 +0000 | [diff] [blame] | 448 | bool RunInliner = Inliner; |
| 449 | if (RunInliner) { |
| 450 | PM.add(Inliner); |
| 451 | Inliner = nullptr; |
| 452 | } |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 453 | |
| 454 | PM.add(createPruneEHPass()); // Remove dead EH info. |
| 455 | |
| 456 | // Optimize globals again if we ran the inliner. |
| 457 | if (RunInliner) |
| 458 | PM.add(createGlobalOptimizerPass()); |
| 459 | PM.add(createGlobalDCEPass()); // Remove dead functions. |
| 460 | |
| 461 | // If we didn't decide to inline a function, check to see if we can |
| 462 | // transform it to pass arguments by value instead of by reference. |
| 463 | PM.add(createArgumentPromotionPass()); |
| 464 | |
| 465 | // The IPO passes may leave cruft around. Clean up after them. |
| 466 | PM.add(createInstructionCombiningPass()); |
Peter Collingbourne | 0a43761 | 2014-05-25 10:27:02 +0000 | [diff] [blame] | 467 | addExtensionsToPM(EP_Peephole, PM); |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 468 | PM.add(createJumpThreadingPass()); |
Bill Wendling | 4c0d9ad | 2013-08-30 00:48:37 +0000 | [diff] [blame] | 469 | |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 470 | // Break up allocas |
Chandler Carruth | 1b398ae | 2012-09-14 09:22:59 +0000 | [diff] [blame] | 471 | if (UseNewSROA) |
| 472 | PM.add(createSROAPass()); |
| 473 | else |
| 474 | PM.add(createScalarReplAggregatesPass()); |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 475 | |
| 476 | // Run a few AA driven optimizations here and now, to cleanup the code. |
| 477 | PM.add(createFunctionAttrsPass()); // Add nocapture. |
| 478 | PM.add(createGlobalsModRefPass()); // IP alias analysis. |
| 479 | |
Bill Wendling | 932b992 | 2012-04-02 22:16:50 +0000 | [diff] [blame] | 480 | PM.add(createLICMPass()); // Hoist loop invariants. |
Gerolf Hoflehner | 24815d9 | 2014-09-10 19:55:29 +0000 | [diff] [blame] | 481 | if (EnableMLSM) |
| 482 | PM.add(createMergedLoadStoreMotionPass()); // Merge ld/st in diamonds. |
Bill Wendling | 932b992 | 2012-04-02 22:16:50 +0000 | [diff] [blame] | 483 | PM.add(createGVNPass(DisableGVNLoadPRE)); // Remove redundancies. |
| 484 | PM.add(createMemCpyOptPass()); // Remove dead memcpys. |
Bill Wendling | 4c0d9ad | 2013-08-30 00:48:37 +0000 | [diff] [blame] | 485 | |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 486 | // Nuke dead stores. |
| 487 | PM.add(createDeadStoreEliminationPass()); |
| 488 | |
Duncan P. N. Exon Smith | 2b69189 | 2014-04-15 17:48:15 +0000 | [diff] [blame] | 489 | // More loops are countable; try to optimize them. |
| 490 | PM.add(createIndVarSimplifyPass()); |
| 491 | PM.add(createLoopDeletionPass()); |
Karthik Bhat | 88db86d | 2015-03-06 10:11:25 +0000 | [diff] [blame] | 492 | if (EnableLoopInterchange) |
| 493 | PM.add(createLoopInterchangePass()); |
| 494 | |
Arnold Schwaighofer | eb1a38f | 2014-10-26 21:50:58 +0000 | [diff] [blame] | 495 | PM.add(createLoopVectorizePass(true, LoopVectorize)); |
Arnold Schwaighofer | 6ccda92 | 2014-02-24 18:19:31 +0000 | [diff] [blame] | 496 | |
Yi Jiang | 79eb0aa | 2014-05-05 23:14:46 +0000 | [diff] [blame] | 497 | // More scalar chains could be vectorized due to more alias information |
JF Bastien | f42a6ea | 2014-10-21 23:18:21 +0000 | [diff] [blame] | 498 | if (RunSLPAfterLoopVectorization) |
| 499 | if (SLPVectorize) |
| 500 | PM.add(createSLPVectorizerPass()); // Vectorize parallel scalar chains. |
Yi Jiang | 79eb0aa | 2014-05-05 23:14:46 +0000 | [diff] [blame] | 501 | |
Hal Finkel | d67e463 | 2014-09-07 20:05:11 +0000 | [diff] [blame] | 502 | // After vectorization, assume intrinsics may tell us more about pointer |
| 503 | // alignments. |
| 504 | PM.add(createAlignmentFromAssumptionsPass()); |
| 505 | |
Michael J. Spencer | 289067c | 2014-05-29 01:55:07 +0000 | [diff] [blame] | 506 | if (LoadCombine) |
| 507 | PM.add(createLoadCombinePass()); |
| 508 | |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 509 | // Cleanup and simplify the code after the scalar optimizations. |
| 510 | PM.add(createInstructionCombiningPass()); |
Peter Collingbourne | 0a43761 | 2014-05-25 10:27:02 +0000 | [diff] [blame] | 511 | addExtensionsToPM(EP_Peephole, PM); |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 512 | |
| 513 | PM.add(createJumpThreadingPass()); |
Peter Collingbourne | 070843d | 2015-03-19 22:01:00 +0000 | [diff] [blame] | 514 | } |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 515 | |
Peter Collingbourne | 070843d | 2015-03-19 22:01:00 +0000 | [diff] [blame] | 516 | void PassManagerBuilder::addLateLTOOptimizationPasses( |
| 517 | legacy::PassManagerBase &PM) { |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 518 | // Delete basic blocks, which optimization passes may have killed. |
Tom Stellard | aa664d9 | 2013-08-06 02:43:45 +0000 | [diff] [blame] | 519 | PM.add(createCFGSimplificationPass()); |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 520 | |
| 521 | // Now that we have optimized the program, discard unreachable functions. |
| 522 | PM.add(createGlobalDCEPass()); |
Nick Lewycky | 9e6d184 | 2014-09-13 21:46:00 +0000 | [diff] [blame] | 523 | |
| 524 | // FIXME: this is profitable (for compiler time) to do at -O0 too, but |
| 525 | // currently it damages debug info. |
| 526 | if (MergeFunctions) |
| 527 | PM.add(createMergeFunctionsPass()); |
Rafael Espindola | 3ea478b | 2011-08-02 21:50:27 +0000 | [diff] [blame] | 528 | } |
Rafael Espindola | 07f60915 | 2011-08-09 22:17:34 +0000 | [diff] [blame] | 529 | |
Chandler Carruth | 30d69c2 | 2015-02-13 10:01:29 +0000 | [diff] [blame] | 530 | void PassManagerBuilder::populateLTOPassManager(legacy::PassManagerBase &PM) { |
Rafael Espindola | 7cebf36 | 2014-08-21 20:03:44 +0000 | [diff] [blame] | 531 | if (LibraryInfo) |
Chandler Carruth | b98f63d | 2015-01-15 10:41:28 +0000 | [diff] [blame] | 532 | PM.add(new TargetLibraryInfoWrapperPass(*LibraryInfo)); |
Rafael Espindola | 7cebf36 | 2014-08-21 20:03:44 +0000 | [diff] [blame] | 533 | |
Duncan P. N. Exon Smith | ab58a56 | 2015-03-19 22:24:17 +0000 | [diff] [blame] | 534 | if (VerifyInput) |
Rafael Espindola | 7cebf36 | 2014-08-21 20:03:44 +0000 | [diff] [blame] | 535 | PM.add(createVerifierPass()); |
Rafael Espindola | 7cebf36 | 2014-08-21 20:03:44 +0000 | [diff] [blame] | 536 | |
Peter Collingbourne | 070843d | 2015-03-19 22:01:00 +0000 | [diff] [blame] | 537 | if (OptLevel > 1) |
Rafael Espindola | 7cebf36 | 2014-08-21 20:03:44 +0000 | [diff] [blame] | 538 | addLTOOptimizationPasses(PM); |
| 539 | |
Peter Collingbourne | 070843d | 2015-03-19 22:01:00 +0000 | [diff] [blame] | 540 | // Lower bit sets to globals. This pass supports Clang's control flow |
| 541 | // integrity mechanisms (-fsanitize=cfi*) and needs to run at link time if CFI |
| 542 | // is enabled. The pass does nothing if CFI is disabled. |
| 543 | PM.add(createLowerBitSetsPass()); |
| 544 | |
| 545 | if (OptLevel != 0) |
| 546 | addLateLTOOptimizationPasses(PM); |
| 547 | |
Duncan P. N. Exon Smith | ab58a56 | 2015-03-19 22:24:17 +0000 | [diff] [blame] | 548 | if (VerifyOutput) |
Rafael Espindola | 7cebf36 | 2014-08-21 20:03:44 +0000 | [diff] [blame] | 549 | PM.add(createVerifierPass()); |
Rafael Espindola | 7cebf36 | 2014-08-21 20:03:44 +0000 | [diff] [blame] | 550 | } |
| 551 | |
Eric Christopher | 04d4e93 | 2013-04-22 22:47:22 +0000 | [diff] [blame] | 552 | inline PassManagerBuilder *unwrap(LLVMPassManagerBuilderRef P) { |
| 553 | return reinterpret_cast<PassManagerBuilder*>(P); |
| 554 | } |
| 555 | |
| 556 | inline LLVMPassManagerBuilderRef wrap(PassManagerBuilder *P) { |
| 557 | return reinterpret_cast<LLVMPassManagerBuilderRef>(P); |
| 558 | } |
| 559 | |
Dmitri Gribenko | 0011bbf | 2012-11-15 16:51:49 +0000 | [diff] [blame] | 560 | LLVMPassManagerBuilderRef LLVMPassManagerBuilderCreate() { |
Rafael Espindola | 07f60915 | 2011-08-09 22:17:34 +0000 | [diff] [blame] | 561 | PassManagerBuilder *PMB = new PassManagerBuilder(); |
| 562 | return wrap(PMB); |
| 563 | } |
| 564 | |
| 565 | void LLVMPassManagerBuilderDispose(LLVMPassManagerBuilderRef PMB) { |
| 566 | PassManagerBuilder *Builder = unwrap(PMB); |
| 567 | delete Builder; |
| 568 | } |
| 569 | |
| 570 | void |
| 571 | LLVMPassManagerBuilderSetOptLevel(LLVMPassManagerBuilderRef PMB, |
| 572 | unsigned OptLevel) { |
| 573 | PassManagerBuilder *Builder = unwrap(PMB); |
| 574 | Builder->OptLevel = OptLevel; |
| 575 | } |
| 576 | |
| 577 | void |
| 578 | LLVMPassManagerBuilderSetSizeLevel(LLVMPassManagerBuilderRef PMB, |
| 579 | unsigned SizeLevel) { |
| 580 | PassManagerBuilder *Builder = unwrap(PMB); |
| 581 | Builder->SizeLevel = SizeLevel; |
| 582 | } |
| 583 | |
| 584 | void |
| 585 | LLVMPassManagerBuilderSetDisableUnitAtATime(LLVMPassManagerBuilderRef PMB, |
| 586 | LLVMBool Value) { |
| 587 | PassManagerBuilder *Builder = unwrap(PMB); |
| 588 | Builder->DisableUnitAtATime = Value; |
| 589 | } |
| 590 | |
| 591 | void |
| 592 | LLVMPassManagerBuilderSetDisableUnrollLoops(LLVMPassManagerBuilderRef PMB, |
| 593 | LLVMBool Value) { |
| 594 | PassManagerBuilder *Builder = unwrap(PMB); |
| 595 | Builder->DisableUnrollLoops = Value; |
| 596 | } |
| 597 | |
| 598 | void |
| 599 | LLVMPassManagerBuilderSetDisableSimplifyLibCalls(LLVMPassManagerBuilderRef PMB, |
| 600 | LLVMBool Value) { |
Meador Inge | dfb08a2 | 2013-06-20 19:48:07 +0000 | [diff] [blame] | 601 | // NOTE: The simplify-libcalls pass has been removed. |
Rafael Espindola | 07f60915 | 2011-08-09 22:17:34 +0000 | [diff] [blame] | 602 | } |
| 603 | |
| 604 | void |
| 605 | LLVMPassManagerBuilderUseInlinerWithThreshold(LLVMPassManagerBuilderRef PMB, |
| 606 | unsigned Threshold) { |
| 607 | PassManagerBuilder *Builder = unwrap(PMB); |
| 608 | Builder->Inliner = createFunctionInliningPass(Threshold); |
| 609 | } |
| 610 | |
| 611 | void |
| 612 | LLVMPassManagerBuilderPopulateFunctionPassManager(LLVMPassManagerBuilderRef PMB, |
| 613 | LLVMPassManagerRef PM) { |
| 614 | PassManagerBuilder *Builder = unwrap(PMB); |
Chandler Carruth | 30d69c2 | 2015-02-13 10:01:29 +0000 | [diff] [blame] | 615 | legacy::FunctionPassManager *FPM = unwrap<legacy::FunctionPassManager>(PM); |
Rafael Espindola | 07f60915 | 2011-08-09 22:17:34 +0000 | [diff] [blame] | 616 | Builder->populateFunctionPassManager(*FPM); |
| 617 | } |
| 618 | |
| 619 | void |
| 620 | LLVMPassManagerBuilderPopulateModulePassManager(LLVMPassManagerBuilderRef PMB, |
| 621 | LLVMPassManagerRef PM) { |
| 622 | PassManagerBuilder *Builder = unwrap(PMB); |
Chandler Carruth | 30d69c2 | 2015-02-13 10:01:29 +0000 | [diff] [blame] | 623 | legacy::PassManagerBase *MPM = unwrap(PM); |
Rafael Espindola | 07f60915 | 2011-08-09 22:17:34 +0000 | [diff] [blame] | 624 | Builder->populateModulePassManager(*MPM); |
| 625 | } |
| 626 | |
| 627 | void LLVMPassManagerBuilderPopulateLTOPassManager(LLVMPassManagerBuilderRef PMB, |
| 628 | LLVMPassManagerRef PM, |
Nick Lewycky | 5f50854 | 2013-03-10 21:58:22 +0000 | [diff] [blame] | 629 | LLVMBool Internalize, |
| 630 | LLVMBool RunInliner) { |
Rafael Espindola | 07f60915 | 2011-08-09 22:17:34 +0000 | [diff] [blame] | 631 | PassManagerBuilder *Builder = unwrap(PMB); |
Chandler Carruth | 30d69c2 | 2015-02-13 10:01:29 +0000 | [diff] [blame] | 632 | legacy::PassManagerBase *LPM = unwrap(PM); |
Rafael Espindola | e07caad | 2014-08-21 13:35:30 +0000 | [diff] [blame] | 633 | |
| 634 | // A small backwards compatibility hack. populateLTOPassManager used to take |
| 635 | // an RunInliner option. |
| 636 | if (RunInliner && !Builder->Inliner) |
| 637 | Builder->Inliner = createFunctionInliningPass(); |
| 638 | |
| 639 | Builder->populateLTOPassManager(*LPM); |
Rafael Espindola | 07f60915 | 2011-08-09 22:17:34 +0000 | [diff] [blame] | 640 | } |