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