1c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola//===- PassManagerBuilder.cpp - Build Standard Pass -----------------------===// 2c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola// 3c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola// The LLVM Compiler Infrastructure 4c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola// 5c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola// This file is distributed under the University of Illinois Open Source 6c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola// License. See LICENSE.TXT for details. 7c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola// 8c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola//===----------------------------------------------------------------------===// 9c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola// 10c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola// This file defines the PassManagerBuilder class, which is used to set up a 11c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola// "standard" optimization sequence suitable for languages like C and C++. 12c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola// 13c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola//===----------------------------------------------------------------------===// 14c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 15c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 16c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola#include "llvm/Transforms/IPO/PassManagerBuilder.h" 17c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 1869cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola#include "llvm-c/Transforms/PassManagerBuilder.h" 1969cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola 20c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola#include "llvm/PassManager.h" 21c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola#include "llvm/DefaultPasses.h" 22c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola#include "llvm/PassManager.h" 23c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola#include "llvm/Analysis/Passes.h" 24de5e5ec3045a73a06b1054417f9ac6c02929e9ceHal Finkel#include "llvm/Analysis/Verifier.h" 25de5e5ec3045a73a06b1054417f9ac6c02929e9ceHal Finkel#include "llvm/Support/CommandLine.h" 26c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola#include "llvm/Target/TargetLibraryInfo.h" 27c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola#include "llvm/Transforms/Scalar.h" 28de5e5ec3045a73a06b1054417f9ac6c02929e9ceHal Finkel#include "llvm/Transforms/Vectorize.h" 29c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola#include "llvm/Transforms/IPO.h" 307a817eae6cb00a2ba5ec2a4127775b839a357e4cDavid Chisnall#include "llvm/ADT/SmallVector.h" 317a817eae6cb00a2ba5ec2a4127775b839a357e4cDavid Chisnall#include "llvm/Support/ManagedStatic.h" 32c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 33c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindolausing namespace llvm; 34c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 35de5e5ec3045a73a06b1054417f9ac6c02929e9ceHal Finkelstatic cl::opt<bool> 36de5e5ec3045a73a06b1054417f9ac6c02929e9ceHal FinkelRunVectorization("vectorize", cl::desc("Run vectorization passes")); 37de5e5ec3045a73a06b1054417f9ac6c02929e9ceHal Finkel 38064551e94c9763c7e74121b88f9cbccc0969946aHal Finkelstatic cl::opt<bool> 39064551e94c9763c7e74121b88f9cbccc0969946aHal FinkelUseGVNAfterVectorization("use-gvn-after-vectorization", 40064551e94c9763c7e74121b88f9cbccc0969946aHal Finkel cl::init(false), cl::Hidden, 41064551e94c9763c7e74121b88f9cbccc0969946aHal Finkel cl::desc("Run GVN instead of Early CSE after vectorization passes")); 42064551e94c9763c7e74121b88f9cbccc0969946aHal Finkel 43c684e83e4554bfaf6180426f86b9253b65dd46ecRafael EspindolaPassManagerBuilder::PassManagerBuilder() { 44c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola OptLevel = 2; 45c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola SizeLevel = 0; 46c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola LibraryInfo = 0; 47c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola Inliner = 0; 48c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola DisableSimplifyLibCalls = false; 49c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola DisableUnitAtATime = false; 50c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola DisableUnrollLoops = false; 51de5e5ec3045a73a06b1054417f9ac6c02929e9ceHal Finkel Vectorize = RunVectorization; 52c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola} 53c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 54c684e83e4554bfaf6180426f86b9253b65dd46ecRafael EspindolaPassManagerBuilder::~PassManagerBuilder() { 55c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola delete LibraryInfo; 56c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola delete Inliner; 57c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola} 58c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 597a817eae6cb00a2ba5ec2a4127775b839a357e4cDavid Chisnall/// Set of global extensions, automatically added as part of the standard set. 607a817eae6cb00a2ba5ec2a4127775b839a357e4cDavid Chisnallstatic ManagedStatic<SmallVector<std::pair<PassManagerBuilder::ExtensionPointTy, 617a817eae6cb00a2ba5ec2a4127775b839a357e4cDavid Chisnall PassManagerBuilder::ExtensionFn>, 8> > GlobalExtensions; 627a817eae6cb00a2ba5ec2a4127775b839a357e4cDavid Chisnall 637a817eae6cb00a2ba5ec2a4127775b839a357e4cDavid Chisnallvoid PassManagerBuilder::addGlobalExtension( 647a817eae6cb00a2ba5ec2a4127775b839a357e4cDavid Chisnall PassManagerBuilder::ExtensionPointTy Ty, 657a817eae6cb00a2ba5ec2a4127775b839a357e4cDavid Chisnall PassManagerBuilder::ExtensionFn Fn) { 667a817eae6cb00a2ba5ec2a4127775b839a357e4cDavid Chisnall GlobalExtensions->push_back(std::make_pair(Ty, Fn)); 677a817eae6cb00a2ba5ec2a4127775b839a357e4cDavid Chisnall} 687a817eae6cb00a2ba5ec2a4127775b839a357e4cDavid Chisnall 69c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindolavoid PassManagerBuilder::addExtension(ExtensionPointTy Ty, ExtensionFn Fn) { 70c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola Extensions.push_back(std::make_pair(Ty, Fn)); 71c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola} 72c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 73c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindolavoid PassManagerBuilder::addExtensionsToPM(ExtensionPointTy ETy, 74c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola PassManagerBase &PM) const { 757a817eae6cb00a2ba5ec2a4127775b839a357e4cDavid Chisnall for (unsigned i = 0, e = GlobalExtensions->size(); i != e; ++i) 767a817eae6cb00a2ba5ec2a4127775b839a357e4cDavid Chisnall if ((*GlobalExtensions)[i].first == ETy) 777a817eae6cb00a2ba5ec2a4127775b839a357e4cDavid Chisnall (*GlobalExtensions)[i].second(*this, PM); 78c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola for (unsigned i = 0, e = Extensions.size(); i != e; ++i) 79c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola if (Extensions[i].first == ETy) 80c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola Extensions[i].second(*this, PM); 81c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola} 82c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 83c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindolavoid 84c684e83e4554bfaf6180426f86b9253b65dd46ecRafael EspindolaPassManagerBuilder::addInitialAliasAnalysisPasses(PassManagerBase &PM) const { 85c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // Add TypeBasedAliasAnalysis before BasicAliasAnalysis so that 86c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // BasicAliasAnalysis wins if they disagree. This is intended to help 87c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // support "obvious" type-punning idioms. 88c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola PM.add(createTypeBasedAliasAnalysisPass()); 89c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola PM.add(createBasicAliasAnalysisPass()); 90c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola} 91c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 92c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindolavoid PassManagerBuilder::populateFunctionPassManager(FunctionPassManager &FPM) { 93c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola addExtensionsToPM(EP_EarlyAsPossible, FPM); 94c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 95c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // Add LibraryInfo if we have some. 96c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola if (LibraryInfo) FPM.add(new TargetLibraryInfo(*LibraryInfo)); 97c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 98c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola if (OptLevel == 0) return; 99c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 100c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola addInitialAliasAnalysisPasses(FPM); 101c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 102c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola FPM.add(createCFGSimplificationPass()); 103c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola FPM.add(createScalarReplAggregatesPass()); 104c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola FPM.add(createEarlyCSEPass()); 105c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola FPM.add(createLowerExpectIntrinsicPass()); 106c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola} 107c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 108c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindolavoid PassManagerBuilder::populateModulePassManager(PassManagerBase &MPM) { 109c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // If all optimizations are disabled, just run the always-inline pass. 110c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola if (OptLevel == 0) { 111c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola if (Inliner) { 112c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(Inliner); 113c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola Inliner = 0; 114c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola } 115af65a8c54b66e9a78e2c7a9a810a33a73fb7f63aKostya Serebryany addExtensionsToPM(EP_EnabledOnOptLevel0, MPM); 116c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola return; 117c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola } 118c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 119c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // Add LibraryInfo if we have some. 120c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola if (LibraryInfo) MPM.add(new TargetLibraryInfo(*LibraryInfo)); 121c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 122c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola addInitialAliasAnalysisPasses(MPM); 123c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 124c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola if (!DisableUnitAtATime) { 1257d4c87ef6eea424b7a28392ea11137ed77b44b57Dan Gohman addExtensionsToPM(EP_ModuleOptimizerEarly, MPM); 1267d4c87ef6eea424b7a28392ea11137ed77b44b57Dan Gohman 127c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createGlobalOptimizerPass()); // Optimize out global vars 128c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 129c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createIPSCCPPass()); // IP SCCP 130c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createDeadArgEliminationPass()); // Dead argument elimination 131c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 132c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createInstructionCombiningPass());// Clean up after IPCP & DAE 133c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createCFGSimplificationPass()); // Clean up after IPCP & DAE 134c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola } 135c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 136c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // Start of CallGraph SCC passes. 137c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola if (!DisableUnitAtATime) 138c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createPruneEHPass()); // Remove dead EH info 139c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola if (Inliner) { 140c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(Inliner); 141c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola Inliner = 0; 142c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola } 143c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola if (!DisableUnitAtATime) 144c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createFunctionAttrsPass()); // Set readonly/readnone attrs 145c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola if (OptLevel > 2) 146c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createArgumentPromotionPass()); // Scalarize uninlined fn args 147c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 148c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // Start of function pass. 149c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // Break up aggregate allocas, using SSAUpdater. 150c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createScalarReplAggregatesPass(-1, false)); 151c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createEarlyCSEPass()); // Catch trivial redundancies 152c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola if (!DisableSimplifyLibCalls) 153c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createSimplifyLibCallsPass()); // Library Call Optimizations 154c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createJumpThreadingPass()); // Thread jumps. 155c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createCorrelatedValuePropagationPass()); // Propagate conditionals 156c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createCFGSimplificationPass()); // Merge & remove BBs 157c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createInstructionCombiningPass()); // Combine silly seq's 158c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 159c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createTailCallEliminationPass()); // Eliminate tail calls 160c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createCFGSimplificationPass()); // Merge & remove BBs 161c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createReassociatePass()); // Reassociate expressions 162c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createLoopRotatePass()); // Rotate Loop 163c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createLICMPass()); // Hoist loop invariants 164c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createLoopUnswitchPass(SizeLevel || OptLevel < 3)); 165c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createInstructionCombiningPass()); 166c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createIndVarSimplifyPass()); // Canonicalize indvars 167c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createLoopIdiomPass()); // Recognize idioms like memset. 168c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createLoopDeletionPass()); // Delete dead loops 169c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola if (!DisableUnrollLoops) 170c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createLoopUnrollPass()); // Unroll small loops 171c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola addExtensionsToPM(EP_LoopOptimizerEnd, MPM); 172c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 173c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola if (OptLevel > 1) 174c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createGVNPass()); // Remove redundancies 175c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createMemCpyOptPass()); // Remove memcpy / form memset 176c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createSCCPPass()); // Constant prop with SCCP 177c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 178c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // Run instcombine after redundancy elimination to exploit opportunities 179c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // opened up by them. 180c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createInstructionCombiningPass()); 181c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createJumpThreadingPass()); // Thread jumps 182c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createCorrelatedValuePropagationPass()); 183c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createDeadStoreEliminationPass()); // Delete dead stores 184c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 185c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola addExtensionsToPM(EP_ScalarOptimizerLate, MPM); 186c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 187de5e5ec3045a73a06b1054417f9ac6c02929e9ceHal Finkel if (Vectorize) { 188de5e5ec3045a73a06b1054417f9ac6c02929e9ceHal Finkel MPM.add(createBBVectorizePass()); 189de5e5ec3045a73a06b1054417f9ac6c02929e9ceHal Finkel MPM.add(createInstructionCombiningPass()); 190064551e94c9763c7e74121b88f9cbccc0969946aHal Finkel if (OptLevel > 1 && UseGVNAfterVectorization) 191064551e94c9763c7e74121b88f9cbccc0969946aHal Finkel MPM.add(createGVNPass()); // Remove redundancies 192064551e94c9763c7e74121b88f9cbccc0969946aHal Finkel else 193064551e94c9763c7e74121b88f9cbccc0969946aHal Finkel MPM.add(createEarlyCSEPass()); // Catch trivial redundancies 194de5e5ec3045a73a06b1054417f9ac6c02929e9ceHal Finkel } 195de5e5ec3045a73a06b1054417f9ac6c02929e9ceHal Finkel 196c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createAggressiveDCEPass()); // Delete dead instructions 197c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createCFGSimplificationPass()); // Merge & remove BBs 198c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createInstructionCombiningPass()); // Clean up after everything. 199c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 200c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola if (!DisableUnitAtATime) { 201c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // FIXME: We shouldn't bother with this anymore. 202c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createStripDeadPrototypesPass()); // Get rid of dead prototypes 203c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 204c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // GlobalOpt already deletes dead functions and globals, at -O3 try a 205c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // late pass of GlobalDCE. It is capable of deleting dead cycles. 206c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola if (OptLevel > 2) 207c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createGlobalDCEPass()); // Remove dead fns and globals. 208c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 209c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola if (OptLevel > 1) 210c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola MPM.add(createConstantMergePass()); // Merge dup global constants 211c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola } 2121db394921b9635980555cc8d7e0d05b5e885784fKostya Serebryany addExtensionsToPM(EP_OptimizerLast, MPM); 213c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola} 214c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 215c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindolavoid PassManagerBuilder::populateLTOPassManager(PassManagerBase &PM, 216c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola bool Internalize, 2173197b4453d214aa96de3a42da8f8fe189fff2077Bill Wendling bool RunInliner, 2183197b4453d214aa96de3a42da8f8fe189fff2077Bill Wendling bool DisableGVNLoadPRE) { 219c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // Provide AliasAnalysis services for optimizations. 220c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola addInitialAliasAnalysisPasses(PM); 221c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 222c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // Now that composite has been compiled, scan through the module, looking 223c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // for a main function. If main is defined, mark all other functions 224c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // internal. 225c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola if (Internalize) 226c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola PM.add(createInternalizePass(true)); 227c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 228c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // Propagate constants at call sites into the functions they call. This 229c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // opens opportunities for globalopt (and inlining) by substituting function 230c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // pointers passed as arguments to direct uses of functions. 231c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola PM.add(createIPSCCPPass()); 232c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 233c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // Now that we internalized some globals, see if we can hack on them! 234c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola PM.add(createGlobalOptimizerPass()); 235c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 236c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // Linking modules together can lead to duplicated global constants, only 237c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // keep one copy of each constant. 238c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola PM.add(createConstantMergePass()); 239c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 240c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // Remove unused arguments from functions. 241c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola PM.add(createDeadArgEliminationPass()); 242c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 243c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // Reduce the code after globalopt and ipsccp. Both can open up significant 244c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // simplification opportunities, and both can propagate functions through 245c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // function pointers. When this happens, we often have to resolve varargs 246c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // calls, etc, so let instcombine do this. 247c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola PM.add(createInstructionCombiningPass()); 248c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 249c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // Inline small functions 250c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola if (RunInliner) 251c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola PM.add(createFunctionInliningPass()); 252c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 253c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola PM.add(createPruneEHPass()); // Remove dead EH info. 254c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 255c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // Optimize globals again if we ran the inliner. 256c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola if (RunInliner) 257c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola PM.add(createGlobalOptimizerPass()); 258c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola PM.add(createGlobalDCEPass()); // Remove dead functions. 259c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 260c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // If we didn't decide to inline a function, check to see if we can 261c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // transform it to pass arguments by value instead of by reference. 262c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola PM.add(createArgumentPromotionPass()); 263c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 264c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // The IPO passes may leave cruft around. Clean up after them. 265c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola PM.add(createInstructionCombiningPass()); 266c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola PM.add(createJumpThreadingPass()); 267c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // Break up allocas 268c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola PM.add(createScalarReplAggregatesPass()); 269c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 270c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // Run a few AA driven optimizations here and now, to cleanup the code. 271c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola PM.add(createFunctionAttrsPass()); // Add nocapture. 272c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola PM.add(createGlobalsModRefPass()); // IP alias analysis. 273c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 2743197b4453d214aa96de3a42da8f8fe189fff2077Bill Wendling PM.add(createLICMPass()); // Hoist loop invariants. 2753197b4453d214aa96de3a42da8f8fe189fff2077Bill Wendling PM.add(createGVNPass(DisableGVNLoadPRE)); // Remove redundancies. 2763197b4453d214aa96de3a42da8f8fe189fff2077Bill Wendling PM.add(createMemCpyOptPass()); // Remove dead memcpys. 277c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // Nuke dead stores. 278c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola PM.add(createDeadStoreEliminationPass()); 279c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 280c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // Cleanup and simplify the code after the scalar optimizations. 281c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola PM.add(createInstructionCombiningPass()); 282c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 283c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola PM.add(createJumpThreadingPass()); 284c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 285c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // Delete basic blocks, which optimization passes may have killed. 286c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola PM.add(createCFGSimplificationPass()); 287c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola 288c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola // Now that we have optimized the program, discard unreachable functions. 289c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola PM.add(createGlobalDCEPass()); 290c684e83e4554bfaf6180426f86b9253b65dd46ecRafael Espindola} 29169cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola 29269cb216009387694122c78438a9117f31a2f9ad5Rafael EspindolaLLVMPassManagerBuilderRef LLVMPassManagerBuilderCreate(void) { 29369cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola PassManagerBuilder *PMB = new PassManagerBuilder(); 29469cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola return wrap(PMB); 29569cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola} 29669cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola 29769cb216009387694122c78438a9117f31a2f9ad5Rafael Espindolavoid LLVMPassManagerBuilderDispose(LLVMPassManagerBuilderRef PMB) { 29869cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola PassManagerBuilder *Builder = unwrap(PMB); 29969cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola delete Builder; 30069cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola} 30169cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola 30269cb216009387694122c78438a9117f31a2f9ad5Rafael Espindolavoid 30369cb216009387694122c78438a9117f31a2f9ad5Rafael EspindolaLLVMPassManagerBuilderSetOptLevel(LLVMPassManagerBuilderRef PMB, 30469cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola unsigned OptLevel) { 30569cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola PassManagerBuilder *Builder = unwrap(PMB); 30669cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola Builder->OptLevel = OptLevel; 30769cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola} 30869cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola 30969cb216009387694122c78438a9117f31a2f9ad5Rafael Espindolavoid 31069cb216009387694122c78438a9117f31a2f9ad5Rafael EspindolaLLVMPassManagerBuilderSetSizeLevel(LLVMPassManagerBuilderRef PMB, 31169cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola unsigned SizeLevel) { 31269cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola PassManagerBuilder *Builder = unwrap(PMB); 31369cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola Builder->SizeLevel = SizeLevel; 31469cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola} 31569cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola 31669cb216009387694122c78438a9117f31a2f9ad5Rafael Espindolavoid 31769cb216009387694122c78438a9117f31a2f9ad5Rafael EspindolaLLVMPassManagerBuilderSetDisableUnitAtATime(LLVMPassManagerBuilderRef PMB, 31869cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola LLVMBool Value) { 31969cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola PassManagerBuilder *Builder = unwrap(PMB); 32069cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola Builder->DisableUnitAtATime = Value; 32169cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola} 32269cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola 32369cb216009387694122c78438a9117f31a2f9ad5Rafael Espindolavoid 32469cb216009387694122c78438a9117f31a2f9ad5Rafael EspindolaLLVMPassManagerBuilderSetDisableUnrollLoops(LLVMPassManagerBuilderRef PMB, 32569cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola LLVMBool Value) { 32669cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola PassManagerBuilder *Builder = unwrap(PMB); 32769cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola Builder->DisableUnrollLoops = Value; 32869cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola} 32969cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola 33069cb216009387694122c78438a9117f31a2f9ad5Rafael Espindolavoid 33169cb216009387694122c78438a9117f31a2f9ad5Rafael EspindolaLLVMPassManagerBuilderSetDisableSimplifyLibCalls(LLVMPassManagerBuilderRef PMB, 33269cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola LLVMBool Value) { 33369cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola PassManagerBuilder *Builder = unwrap(PMB); 33469cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola Builder->DisableSimplifyLibCalls = Value; 33569cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola} 33669cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola 33769cb216009387694122c78438a9117f31a2f9ad5Rafael Espindolavoid 33869cb216009387694122c78438a9117f31a2f9ad5Rafael EspindolaLLVMPassManagerBuilderUseInlinerWithThreshold(LLVMPassManagerBuilderRef PMB, 33969cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola unsigned Threshold) { 34069cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola PassManagerBuilder *Builder = unwrap(PMB); 34169cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola Builder->Inliner = createFunctionInliningPass(Threshold); 34269cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola} 34369cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola 34469cb216009387694122c78438a9117f31a2f9ad5Rafael Espindolavoid 34569cb216009387694122c78438a9117f31a2f9ad5Rafael EspindolaLLVMPassManagerBuilderPopulateFunctionPassManager(LLVMPassManagerBuilderRef PMB, 34669cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola LLVMPassManagerRef PM) { 34769cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola PassManagerBuilder *Builder = unwrap(PMB); 34869cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola FunctionPassManager *FPM = unwrap<FunctionPassManager>(PM); 34969cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola Builder->populateFunctionPassManager(*FPM); 35069cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola} 35169cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola 35269cb216009387694122c78438a9117f31a2f9ad5Rafael Espindolavoid 35369cb216009387694122c78438a9117f31a2f9ad5Rafael EspindolaLLVMPassManagerBuilderPopulateModulePassManager(LLVMPassManagerBuilderRef PMB, 35469cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola LLVMPassManagerRef PM) { 35569cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola PassManagerBuilder *Builder = unwrap(PMB); 35669cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola PassManagerBase *MPM = unwrap(PM); 35769cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola Builder->populateModulePassManager(*MPM); 35869cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola} 35969cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola 36069cb216009387694122c78438a9117f31a2f9ad5Rafael Espindolavoid LLVMPassManagerBuilderPopulateLTOPassManager(LLVMPassManagerBuilderRef PMB, 36169cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola LLVMPassManagerRef PM, 36269cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola bool Internalize, 36369cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola bool RunInliner) { 36469cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola PassManagerBuilder *Builder = unwrap(PMB); 36569cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola PassManagerBase *LPM = unwrap(PM); 36669cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola Builder->populateLTOPassManager(*LPM, Internalize, RunInliner); 36769cb216009387694122c78438a9117f31a2f9ad5Rafael Espindola} 368