blob: 59b96eb37e7e97733dbf732f30cedc7fbe469cc6 [file] [log] [blame]
Chris Lattner27dd6422003-12-28 07:59:53 +00001//===-- Passes.cpp - Target independent code generation passes ------------===//
Misha Brukman835702a2005-04-21 22:36:52 +00002//
John Criswell482202a2003-10-20 19:43:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukman835702a2005-04-21 22:36:52 +00007//
John Criswell482202a2003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Alkis Evlogimenos5facafa2003-10-02 16:57:49 +00009//
10// This file defines interfaces to access the target independent code
11// generation passes provided by the LLVM backend.
12//
13//===---------------------------------------------------------------------===//
14
Chandler Carruthed0881b2012-12-03 16:50:05 +000015#include "llvm/CodeGen/Passes.h"
Andrew Trickde401d32012-02-04 02:56:48 +000016#include "llvm/Analysis/Passes.h"
Andrew Trickde401d32012-02-04 02:56:48 +000017#include "llvm/CodeGen/MachineFunctionPass.h"
Andrew Trickde401d32012-02-04 02:56:48 +000018#include "llvm/CodeGen/RegAllocRegistry.h"
Chandler Carruthb8ddc702014-01-12 11:10:32 +000019#include "llvm/IR/IRPrintingPasses.h"
Chandler Carruth30d69c22015-02-13 10:01:29 +000020#include "llvm/IR/LegacyPassManager.h"
Chandler Carruth5ad5f152014-01-13 09:26:24 +000021#include "llvm/IR/Verifier.h"
Bob Wilsonbbd38dd2012-07-02 19:48:31 +000022#include "llvm/MC/MCAsmInfo.h"
Andrew Trickde401d32012-02-04 02:56:48 +000023#include "llvm/Support/CommandLine.h"
24#include "llvm/Support/Debug.h"
Andrew Trickb7551332012-02-04 02:56:45 +000025#include "llvm/Support/ErrorHandling.h"
Benjamin Kramer799003b2015-03-23 19:32:43 +000026#include "llvm/Support/raw_ostream.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000027#include "llvm/Transforms/Scalar.h"
Saleem Abdulrasool5898e092014-11-07 21:32:08 +000028#include "llvm/Transforms/Utils/SymbolRewriter.h"
Jim Laskey95eda5b2006-08-01 14:21:23 +000029
Chris Lattner27dd6422003-12-28 07:59:53 +000030using namespace llvm;
Brian Gaeke960707c2003-11-11 22:41:34 +000031
Andrew Trickde401d32012-02-04 02:56:48 +000032static cl::opt<bool> DisablePostRA("disable-post-ra", cl::Hidden,
33 cl::desc("Disable Post Regalloc"));
34static cl::opt<bool> DisableBranchFold("disable-branch-fold", cl::Hidden,
35 cl::desc("Disable branch folding"));
36static cl::opt<bool> DisableTailDuplicate("disable-tail-duplicate", cl::Hidden,
37 cl::desc("Disable tail duplication"));
38static cl::opt<bool> DisableEarlyTailDup("disable-early-taildup", cl::Hidden,
39 cl::desc("Disable pre-register allocation tail duplication"));
Chandler Carruth4190b502012-04-16 13:49:17 +000040static cl::opt<bool> DisableBlockPlacement("disable-block-placement",
Benjamin Kramer70671b92013-03-29 17:14:24 +000041 cl::Hidden, cl::desc("Disable probability-driven block placement"));
Andrew Trickde401d32012-02-04 02:56:48 +000042static cl::opt<bool> EnableBlockPlacementStats("enable-block-placement-stats",
43 cl::Hidden, cl::desc("Collect probability-driven block placement stats"));
Andrew Trickde401d32012-02-04 02:56:48 +000044static cl::opt<bool> DisableSSC("disable-ssc", cl::Hidden,
45 cl::desc("Disable Stack Slot Coloring"));
46static cl::opt<bool> DisableMachineDCE("disable-machine-dce", cl::Hidden,
47 cl::desc("Disable Machine Dead Code Elimination"));
Jakob Stoklund Olesen0f6e8bb2012-10-03 00:51:32 +000048static cl::opt<bool> DisableEarlyIfConversion("disable-early-ifcvt", cl::Hidden,
49 cl::desc("Disable Early If-conversion"));
Andrew Trickde401d32012-02-04 02:56:48 +000050static cl::opt<bool> DisableMachineLICM("disable-machine-licm", cl::Hidden,
51 cl::desc("Disable Machine LICM"));
52static cl::opt<bool> DisableMachineCSE("disable-machine-cse", cl::Hidden,
53 cl::desc("Disable Machine Common Subexpression Elimination"));
Andrew Trickd3f8fe82012-02-10 04:10:36 +000054static cl::opt<cl::boolOrDefault>
Quentin Colombet61b305e2015-05-05 17:38:16 +000055 EnableShrinkWrapOpt("enable-shrink-wrap", cl::Hidden,
56 cl::desc("enable the shrink-wrapping pass"));
57static cl::opt<cl::boolOrDefault> OptimizeRegAlloc(
58 "optimize-regalloc", cl::Hidden,
Andrew Trickd3f8fe82012-02-10 04:10:36 +000059 cl::desc("Enable optimized register allocation compilation path."));
Andrew Trickde401d32012-02-04 02:56:48 +000060static cl::opt<bool> DisablePostRAMachineLICM("disable-postra-machine-licm",
61 cl::Hidden,
62 cl::desc("Disable Machine LICM"));
63static cl::opt<bool> DisableMachineSink("disable-machine-sink", cl::Hidden,
64 cl::desc("Disable Machine Sinking"));
65static cl::opt<bool> DisableLSR("disable-lsr", cl::Hidden,
66 cl::desc("Disable Loop Strength Reduction Pass"));
Juergen Ributzkaf26beda2014-01-25 02:02:55 +000067static cl::opt<bool> DisableConstantHoisting("disable-constant-hoisting",
68 cl::Hidden, cl::desc("Disable ConstantHoisting"));
Andrew Trickde401d32012-02-04 02:56:48 +000069static cl::opt<bool> DisableCGP("disable-cgp", cl::Hidden,
70 cl::desc("Disable Codegen Prepare"));
71static cl::opt<bool> DisableCopyProp("disable-copyprop", cl::Hidden,
Evan Cheng63618f92012-02-20 23:28:17 +000072 cl::desc("Disable Copy Propagation pass"));
James Molloybc9fed82014-07-23 13:33:00 +000073static cl::opt<bool> DisablePartialLibcallInlining("disable-partial-libcall-inlining",
74 cl::Hidden, cl::desc("Disable Partial Libcall Inlining"));
Sanjoy Das69fad072015-06-15 18:44:27 +000075static cl::opt<bool> EnableImplicitNullChecks(
76 "enable-implicit-null-checks",
77 cl::desc("Fold null checks into faulting memory operations"),
78 cl::init(false));
Andrew Trickde401d32012-02-04 02:56:48 +000079static cl::opt<bool> PrintLSR("print-lsr-output", cl::Hidden,
80 cl::desc("Print LLVM IR produced by the loop-reduce pass"));
81static cl::opt<bool> PrintISelInput("print-isel-input", cl::Hidden,
82 cl::desc("Print LLVM IR input to isel pass"));
83static cl::opt<bool> PrintGCInfo("print-gc", cl::Hidden,
84 cl::desc("Dump garbage collector data"));
85static cl::opt<bool> VerifyMachineCode("verify-machineinstrs", cl::Hidden,
86 cl::desc("Verify generated machine code"),
Owen Anderson21b17882015-02-04 00:02:59 +000087 cl::init(false),
88 cl::ZeroOrMore);
89
Bob Wilson33e51882012-05-30 00:17:12 +000090static cl::opt<std::string>
91PrintMachineInstrs("print-machineinstrs", cl::ValueOptional,
92 cl::desc("Print machine instrs"),
93 cl::value_desc("pass-name"), cl::init("option-unspecified"));
Andrew Trickde401d32012-02-04 02:56:48 +000094
Andrew Trick17080b92013-12-28 21:56:51 +000095// Temporary option to allow experimenting with MachineScheduler as a post-RA
96// scheduler. Targets can "properly" enable this with
Andrew Trick8d2ee372014-06-04 07:06:27 +000097// substitutePass(&PostRASchedulerID, &PostMachineSchedulerID); Ideally it
98// wouldn't be part of the standard pass pipeline, and the target would just add
99// a PostRA scheduling pass wherever it wants.
Andrew Trick17080b92013-12-28 21:56:51 +0000100static cl::opt<bool> MISchedPostRA("misched-postra", cl::Hidden,
101 cl::desc("Run MachineScheduler post regalloc (independent of preRA sched)"));
102
Cameron Zwarich71f0acb2013-02-10 06:42:34 +0000103// Experimental option to run live interval analysis early.
Jakob Stoklund Olesen1c465892012-08-03 22:12:54 +0000104static cl::opt<bool> EarlyLiveIntervals("early-live-intervals", cl::Hidden,
105 cl::desc("Run live interval analysis earlier in the pipeline"));
106
Hal Finkel445dda52014-09-02 22:12:54 +0000107static cl::opt<bool> UseCFLAA("use-cfl-aa-in-codegen",
108 cl::init(false), cl::Hidden,
109 cl::desc("Enable the new, experimental CFL alias analysis in CodeGen"));
110
Andrew Tricke9a951c2012-02-15 03:21:51 +0000111/// Allow standard passes to be disabled by command line options. This supports
112/// simple binary flags that either suppress the pass or do nothing.
113/// i.e. -disable-mypass=false has no effect.
114/// These should be converted to boolOrDefault in order to use applyOverride.
Andrew Tricke2203232013-04-10 01:06:56 +0000115static IdentifyingPassPtr applyDisable(IdentifyingPassPtr PassID,
116 bool Override) {
Andrew Tricke9a951c2012-02-15 03:21:51 +0000117 if (Override)
Andrew Tricke2203232013-04-10 01:06:56 +0000118 return IdentifyingPassPtr();
Bob Wilsonb9b69362012-07-02 19:48:37 +0000119 return PassID;
Andrew Tricke9a951c2012-02-15 03:21:51 +0000120}
121
Andrew Tricke9a951c2012-02-15 03:21:51 +0000122/// Allow standard passes to be disabled by the command line, regardless of who
123/// is adding the pass.
124///
125/// StandardID is the pass identified in the standard pass pipeline and provided
126/// to addPass(). It may be a target-specific ID in the case that the target
127/// directly adds its own pass, but in that case we harmlessly fall through.
128///
129/// TargetID is the pass that the target has configured to override StandardID.
130///
131/// StandardID may be a pseudo ID. In that case TargetID is the name of the real
132/// pass to run. This allows multiple options to control a single pass depending
133/// on where in the pipeline that pass is added.
Andrew Tricke2203232013-04-10 01:06:56 +0000134static IdentifyingPassPtr overridePass(AnalysisID StandardID,
135 IdentifyingPassPtr TargetID) {
Andrew Tricke9a951c2012-02-15 03:21:51 +0000136 if (StandardID == &PostRASchedulerID)
137 return applyDisable(TargetID, DisablePostRA);
138
139 if (StandardID == &BranchFolderPassID)
140 return applyDisable(TargetID, DisableBranchFold);
141
142 if (StandardID == &TailDuplicateID)
143 return applyDisable(TargetID, DisableTailDuplicate);
144
145 if (StandardID == &TargetPassConfig::EarlyTailDuplicateID)
146 return applyDisable(TargetID, DisableEarlyTailDup);
147
148 if (StandardID == &MachineBlockPlacementID)
Benjamin Kramer70671b92013-03-29 17:14:24 +0000149 return applyDisable(TargetID, DisableBlockPlacement);
Andrew Tricke9a951c2012-02-15 03:21:51 +0000150
151 if (StandardID == &StackSlotColoringID)
152 return applyDisable(TargetID, DisableSSC);
153
154 if (StandardID == &DeadMachineInstructionElimID)
155 return applyDisable(TargetID, DisableMachineDCE);
156
Jakob Stoklund Olesenf8a63a12012-07-04 00:09:54 +0000157 if (StandardID == &EarlyIfConverterID)
Jakob Stoklund Olesen0f6e8bb2012-10-03 00:51:32 +0000158 return applyDisable(TargetID, DisableEarlyIfConversion);
Jakob Stoklund Olesenf8a63a12012-07-04 00:09:54 +0000159
Andrew Tricke9a951c2012-02-15 03:21:51 +0000160 if (StandardID == &MachineLICMID)
161 return applyDisable(TargetID, DisableMachineLICM);
162
163 if (StandardID == &MachineCSEID)
164 return applyDisable(TargetID, DisableMachineCSE);
165
Andrew Tricke9a951c2012-02-15 03:21:51 +0000166 if (StandardID == &TargetPassConfig::PostRAMachineLICMID)
167 return applyDisable(TargetID, DisablePostRAMachineLICM);
168
169 if (StandardID == &MachineSinkingID)
170 return applyDisable(TargetID, DisableMachineSink);
171
172 if (StandardID == &MachineCopyPropagationID)
173 return applyDisable(TargetID, DisableCopyProp);
174
175 return TargetID;
176}
177
Jim Laskey29e635d2006-08-02 12:30:23 +0000178//===---------------------------------------------------------------------===//
Andrew Trickb7551332012-02-04 02:56:45 +0000179/// TargetPassConfig
180//===---------------------------------------------------------------------===//
181
182INITIALIZE_PASS(TargetPassConfig, "targetpassconfig",
183 "Target Pass Configuration", false, false)
184char TargetPassConfig::ID = 0;
185
Andrew Tricke9a951c2012-02-15 03:21:51 +0000186// Pseudo Pass IDs.
187char TargetPassConfig::EarlyTailDuplicateID = 0;
188char TargetPassConfig::PostRAMachineLICMID = 0;
189
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000190namespace llvm {
191class PassConfigImpl {
192public:
193 // List of passes explicitly substituted by this target. Normally this is
194 // empty, but it is a convenient way to suppress or replace specific passes
195 // that are part of a standard pass pipeline without overridding the entire
196 // pipeline. This mechanism allows target options to inherit a standard pass's
197 // user interface. For example, a target may disable a standard pass by
Bob Wilsonb9b69362012-07-02 19:48:37 +0000198 // default by substituting a pass ID of zero, and the user may still enable
199 // that standard pass with an explicit command line option.
Andrew Tricke2203232013-04-10 01:06:56 +0000200 DenseMap<AnalysisID,IdentifyingPassPtr> TargetPasses;
Bob Wilson33e51882012-05-30 00:17:12 +0000201
202 /// Store the pairs of <AnalysisID, AnalysisID> of which the second pass
203 /// is inserted after each instance of the first one.
Andrew Tricke2203232013-04-10 01:06:56 +0000204 SmallVector<std::pair<AnalysisID, IdentifyingPassPtr>, 4> InsertedPasses;
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000205};
206} // namespace llvm
207
Andrew Trickb7551332012-02-04 02:56:45 +0000208// Out of line virtual method.
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000209TargetPassConfig::~TargetPassConfig() {
210 delete Impl;
211}
Andrew Trickb7551332012-02-04 02:56:45 +0000212
Andrew Trick58648e42012-02-08 21:22:48 +0000213// Out of line constructor provides default values for pass options and
214// registers all common codegen passes.
Andrew Trickf8ea1082012-02-04 02:56:59 +0000215TargetPassConfig::TargetPassConfig(TargetMachine *tm, PassManagerBase &pm)
Quentin Colombet61b305e2015-05-05 17:38:16 +0000216 : ImmutablePass(ID), PM(&pm), StartAfter(nullptr), StopAfter(nullptr),
217 Started(true), Stopped(false), AddingMachinePasses(false), TM(tm),
218 Impl(nullptr), Initialized(false), DisableVerify(false),
219 EnableTailMerge(true), EnableShrinkWrap(false) {
Andrew Trickdd37d522012-02-08 21:22:39 +0000220
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000221 Impl = new PassConfigImpl();
222
Andrew Trickb7551332012-02-04 02:56:45 +0000223 // Register all target independent codegen passes to activate their PassIDs,
224 // including this pass itself.
225 initializeCodeGen(*PassRegistry::getPassRegistry());
Andrew Tricke9a951c2012-02-15 03:21:51 +0000226
227 // Substitute Pseudo Pass IDs for real ones.
Bob Wilsonb9b69362012-07-02 19:48:37 +0000228 substitutePass(&EarlyTailDuplicateID, &TailDuplicateID);
229 substitutePass(&PostRAMachineLICMID, &MachineLICMID);
Andrew Trickb7551332012-02-04 02:56:45 +0000230}
231
Bob Wilson33e51882012-05-30 00:17:12 +0000232/// Insert InsertedPassID pass after TargetPassID.
Bob Wilsonb9b69362012-07-02 19:48:37 +0000233void TargetPassConfig::insertPass(AnalysisID TargetPassID,
Andrew Tricke2203232013-04-10 01:06:56 +0000234 IdentifyingPassPtr InsertedPassID) {
Benjamin Kramere7c45bc2013-04-11 11:57:01 +0000235 assert(((!InsertedPassID.isInstance() &&
236 TargetPassID != InsertedPassID.getID()) ||
237 (InsertedPassID.isInstance() &&
238 TargetPassID != InsertedPassID.getInstance()->getPassID())) &&
Andrew Tricke2203232013-04-10 01:06:56 +0000239 "Insert a pass after itself!");
240 std::pair<AnalysisID, IdentifyingPassPtr> P(TargetPassID, InsertedPassID);
Bob Wilson33e51882012-05-30 00:17:12 +0000241 Impl->InsertedPasses.push_back(P);
242}
243
Andrew Trickb7551332012-02-04 02:56:45 +0000244/// createPassConfig - Create a pass configuration object to be used by
245/// addPassToEmitX methods for generating a pipeline of CodeGen passes.
246///
247/// Targets may override this to extend TargetPassConfig.
Andrew Trickf8ea1082012-02-04 02:56:59 +0000248TargetPassConfig *LLVMTargetMachine::createPassConfig(PassManagerBase &PM) {
249 return new TargetPassConfig(this, PM);
Andrew Trickb7551332012-02-04 02:56:45 +0000250}
251
252TargetPassConfig::TargetPassConfig()
Craig Topperc0196b12014-04-14 00:51:57 +0000253 : ImmutablePass(ID), PM(nullptr) {
Andrew Trickb7551332012-02-04 02:56:45 +0000254 llvm_unreachable("TargetPassConfig should not be constructed on-the-fly");
255}
256
Andrew Trickdd37d522012-02-08 21:22:39 +0000257// Helper to verify the analysis is really immutable.
258void TargetPassConfig::setOpt(bool &Opt, bool Val) {
259 assert(!Initialized && "PassConfig is immutable");
260 Opt = Val;
261}
262
Bob Wilsonb9b69362012-07-02 19:48:37 +0000263void TargetPassConfig::substitutePass(AnalysisID StandardID,
Andrew Tricke2203232013-04-10 01:06:56 +0000264 IdentifyingPassPtr TargetID) {
Bob Wilsonb9b69362012-07-02 19:48:37 +0000265 Impl->TargetPasses[StandardID] = TargetID;
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000266}
Andrew Trickee874db2012-02-11 07:11:32 +0000267
Andrew Tricke2203232013-04-10 01:06:56 +0000268IdentifyingPassPtr TargetPassConfig::getPassSubstitution(AnalysisID ID) const {
269 DenseMap<AnalysisID, IdentifyingPassPtr>::const_iterator
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000270 I = Impl->TargetPasses.find(ID);
271 if (I == Impl->TargetPasses.end())
272 return ID;
273 return I->second;
274}
275
Bob Wilsoncac3b902012-07-02 19:48:45 +0000276/// Add a pass to the PassManager if that pass is supposed to be run. If the
277/// Started/Stopped flags indicate either that the compilation should start at
278/// a later pass or that it should stop after an earlier pass, then do not add
279/// the pass. Finally, compare the current pass against the StartAfter
280/// and StopAfter options and change the Started/Stopped flags accordingly.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000281void TargetPassConfig::addPass(Pass *P, bool verifyAfter, bool printAfter) {
Bob Wilsona3f9fa72012-07-02 19:48:39 +0000282 assert(!Initialized && "PassConfig is immutable");
283
Chandler Carruth34263a02012-07-02 22:56:41 +0000284 // Cache the Pass ID here in case the pass manager finds this pass is
285 // redundant with ones already scheduled / available, and deletes it.
286 // Fundamentally, once we add the pass to the manager, we no longer own it
287 // and shouldn't reference it.
288 AnalysisID PassID = P->getPassID();
289
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000290 if (Started && !Stopped) {
291 std::string Banner;
292 // Construct banner message before PM->add() as that may delete the pass.
293 if (AddingMachinePasses && (printAfter || verifyAfter))
294 Banner = std::string("After ") + std::string(P->getPassName());
Bob Wilsoncac3b902012-07-02 19:48:45 +0000295 PM->add(P);
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000296 if (AddingMachinePasses) {
297 if (printAfter)
298 addPrintPass(Banner);
299 if (verifyAfter)
300 addVerifyPass(Banner);
301 }
Akira Hatanakac100c562015-06-05 21:58:14 +0000302
303 // Add the passes after the pass P if there is any.
304 for (SmallVectorImpl<std::pair<AnalysisID, IdentifyingPassPtr> >::iterator
305 I = Impl->InsertedPasses.begin(),
306 E = Impl->InsertedPasses.end();
307 I != E; ++I) {
308 if ((*I).first == PassID) {
309 assert((*I).second.isValid() && "Illegal Pass ID!");
310 Pass *NP;
311 if ((*I).second.isInstance())
312 NP = (*I).second.getInstance();
313 else {
314 NP = Pass::createPass((*I).second.getID());
315 assert(NP && "Pass ID not registered");
316 }
317 addPass(NP, false, false);
318 }
319 }
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000320 } else {
Benjamin Kramer483b9fb2013-08-05 11:11:11 +0000321 delete P;
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000322 }
Chandler Carruth34263a02012-07-02 22:56:41 +0000323 if (StopAfter == PassID)
Bob Wilsoncac3b902012-07-02 19:48:45 +0000324 Stopped = true;
Chandler Carruth34263a02012-07-02 22:56:41 +0000325 if (StartAfter == PassID)
Bob Wilsoncac3b902012-07-02 19:48:45 +0000326 Started = true;
327 if (Stopped && !Started)
328 report_fatal_error("Cannot stop compilation after pass that is not run");
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000329}
330
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000331/// Add a CodeGen pass at this point in the pipeline after checking for target
332/// and command line overrides.
Andrew Tricke2203232013-04-10 01:06:56 +0000333///
334/// addPass cannot return a pointer to the pass instance because is internal the
335/// PassManager and the instance we create here may already be freed.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000336AnalysisID TargetPassConfig::addPass(AnalysisID PassID, bool verifyAfter,
337 bool printAfter) {
Andrew Tricke2203232013-04-10 01:06:56 +0000338 IdentifyingPassPtr TargetID = getPassSubstitution(PassID);
339 IdentifyingPassPtr FinalPtr = overridePass(PassID, TargetID);
340 if (!FinalPtr.isValid())
Craig Topperc0196b12014-04-14 00:51:57 +0000341 return nullptr;
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000342
Andrew Tricke2203232013-04-10 01:06:56 +0000343 Pass *P;
344 if (FinalPtr.isInstance())
345 P = FinalPtr.getInstance();
346 else {
347 P = Pass::createPass(FinalPtr.getID());
348 if (!P)
349 llvm_unreachable("Pass ID not registered");
350 }
351 AnalysisID FinalID = P->getPassID();
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000352 addPass(P, verifyAfter, printAfter); // Ends the lifetime of P.
Andrew Tricke2203232013-04-10 01:06:56 +0000353
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000354 return FinalID;
Andrew Trickf8ea1082012-02-04 02:56:59 +0000355}
Andrew Trickde401d32012-02-04 02:56:48 +0000356
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000357void TargetPassConfig::printAndVerify(const std::string &Banner) {
358 addPrintPass(Banner);
359 addVerifyPass(Banner);
360}
Matthias Brauna7c82a92014-12-11 19:42:05 +0000361
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000362void TargetPassConfig::addPrintPass(const std::string &Banner) {
363 if (TM->shouldPrintMachineCode())
364 PM->add(createMachineFunctionPrinterPass(dbgs(), Banner));
365}
366
367void TargetPassConfig::addVerifyPass(const std::string &Banner) {
Andrew Trickde401d32012-02-04 02:56:48 +0000368 if (VerifyMachineCode)
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000369 PM->add(createMachineVerifierPass(Banner));
Andrew Trickde401d32012-02-04 02:56:48 +0000370}
371
Andrew Trickf8ea1082012-02-04 02:56:59 +0000372/// Add common target configurable passes that perform LLVM IR to IR transforms
373/// following machine independent optimization.
374void TargetPassConfig::addIRPasses() {
Andrew Trickde401d32012-02-04 02:56:48 +0000375 // Basic AliasAnalysis support.
376 // Add TypeBasedAliasAnalysis before BasicAliasAnalysis so that
377 // BasicAliasAnalysis wins if they disagree. This is intended to help
378 // support "obvious" type-punning idioms.
Hal Finkel445dda52014-09-02 22:12:54 +0000379 if (UseCFLAA)
380 addPass(createCFLAliasAnalysisPass());
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000381 addPass(createTypeBasedAliasAnalysisPass());
Hal Finkel94146652014-07-24 14:25:39 +0000382 addPass(createScopedNoAliasAAPass());
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000383 addPass(createBasicAliasAnalysisPass());
Andrew Trickde401d32012-02-04 02:56:48 +0000384
385 // Before running any passes, run the verifier to determine if the input
386 // coming from the front-end and/or optimizer is valid.
Duncan P. N. Exon Smithab58a562015-03-19 22:24:17 +0000387 if (!DisableVerify)
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000388 addPass(createVerifierPass());
Andrew Trickde401d32012-02-04 02:56:48 +0000389
390 // Run loop strength reduction before anything else.
391 if (getOptLevel() != CodeGenOpt::None && !DisableLSR) {
Chandler Carruth26c59fa2013-01-07 14:41:08 +0000392 addPass(createLoopStrengthReducePass());
Andrew Trickde401d32012-02-04 02:56:48 +0000393 if (PrintLSR)
Chandler Carruth9d805132014-01-12 11:30:46 +0000394 addPass(createPrintFunctionPass(dbgs(), "\n\n*** Code after LSR ***\n"));
Andrew Trickde401d32012-02-04 02:56:48 +0000395 }
396
Philip Reames23cf2e22015-01-28 19:28:03 +0000397 // Run GC lowering passes for builtin collectors
398 // TODO: add a pass insertion point here
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000399 addPass(createGCLoweringPass());
Philip Reames23cf2e22015-01-28 19:28:03 +0000400 addPass(createShadowStackGCLoweringPass());
Andrew Trickde401d32012-02-04 02:56:48 +0000401
402 // Make sure that no unreachable blocks are instruction selected.
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000403 addPass(createUnreachableBlockEliminationPass());
Juergen Ributzkaf26beda2014-01-25 02:02:55 +0000404
405 // Prepare expensive constants for SelectionDAG.
406 if (getOptLevel() != CodeGenOpt::None && !DisableConstantHoisting)
407 addPass(createConstantHoistingPass());
James Molloybc9fed82014-07-23 13:33:00 +0000408
409 if (getOptLevel() != CodeGenOpt::None && !DisablePartialLibcallInlining)
410 addPass(createPartiallyInlineLibCallsPass());
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000411}
412
413/// Turn exception handling constructs into something the code generators can
414/// handle.
415void TargetPassConfig::addPassesToHandleExceptions() {
416 switch (TM->getMCAsmInfo()->getExceptionHandlingType()) {
417 case ExceptionHandling::SjLj:
418 // SjLj piggy-backs on dwarf for this bit. The cleanups done apply to both
419 // Dwarf EH prepare needs to be run after SjLj prepare. Otherwise,
420 // catch info can get misplaced when a selector ends up more than one block
421 // removed from the parent invoke(s). This could happen when a landing
422 // pad is shared by multiple invokes and is also a target of a normal
423 // edge from elsewhere.
Bill Wendlingafc10362013-06-19 20:51:24 +0000424 addPass(createSjLjEHPreparePass(TM));
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000425 // FALLTHROUGH
426 case ExceptionHandling::DwarfCFI:
427 case ExceptionHandling::ARM:
Bill Wendlingafc10362013-06-19 20:51:24 +0000428 addPass(createDwarfEHPass(TM));
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000429 break;
Reid Kleckner1185fce2015-01-29 00:41:44 +0000430 case ExceptionHandling::WinEH:
Reid Kleckner47c8e7a2015-03-12 00:36:20 +0000431 // We support using both GCC-style and MSVC-style exceptions on Windows, so
432 // add both preparation passes. Each pass will only actually run if it
433 // recognizes the personality function.
Reid Kleckner1185fce2015-01-29 00:41:44 +0000434 addPass(createWinEHPass(TM));
Reid Kleckner47c8e7a2015-03-12 00:36:20 +0000435 addPass(createDwarfEHPass(TM));
Reid Kleckner1185fce2015-01-29 00:41:44 +0000436 break;
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000437 case ExceptionHandling::None:
Mark Seabornb6118c52014-03-20 19:54:47 +0000438 addPass(createLowerInvokePass());
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000439
440 // The lower invoke pass may create unreachable code. Remove it.
441 addPass(createUnreachableBlockEliminationPass());
442 break;
443 }
Andrew Trickf8ea1082012-02-04 02:56:59 +0000444}
Andrew Trickde401d32012-02-04 02:56:48 +0000445
Bill Wendlingc786b312012-11-30 22:08:55 +0000446/// Add pass to prepare the LLVM IR for code generation. This should be done
447/// before exception handling preparation passes.
448void TargetPassConfig::addCodeGenPrepare() {
449 if (getOptLevel() != CodeGenOpt::None && !DisableCGP)
Bill Wendling7a639ea2013-06-19 21:07:11 +0000450 addPass(createCodeGenPreparePass(TM));
Saleem Abdulrasoold2c5d7f2014-11-08 00:00:50 +0000451 addPass(createRewriteSymbolsPass());
Bill Wendlingc786b312012-11-30 22:08:55 +0000452}
453
Andrew Trickf8ea1082012-02-04 02:56:59 +0000454/// Add common passes that perform LLVM IR to IR transforms in preparation for
455/// instruction selection.
456void TargetPassConfig::addISelPrepare() {
Andrew Trickde401d32012-02-04 02:56:48 +0000457 addPreISel();
458
Josh Magee22b8ba22013-12-19 03:17:11 +0000459 addPass(createStackProtectorPass(TM));
460
Andrew Trickde401d32012-02-04 02:56:48 +0000461 if (PrintISelInput)
Chandler Carruth9d805132014-01-12 11:30:46 +0000462 addPass(createPrintFunctionPass(
463 dbgs(), "\n\n*** Final LLVM Code input to ISel ***\n"));
Andrew Trickde401d32012-02-04 02:56:48 +0000464
465 // All passes which modify the LLVM IR are now complete; run the verifier
466 // to ensure that the IR is valid.
467 if (!DisableVerify)
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000468 addPass(createVerifierPass());
Andrew Trickf8ea1082012-02-04 02:56:59 +0000469}
Andrew Trickde401d32012-02-04 02:56:48 +0000470
Andrew Trickf5426752012-02-09 00:40:55 +0000471/// Add the complete set of target-independent postISel code generator passes.
472///
473/// This can be read as the standard order of major LLVM CodeGen stages. Stages
474/// with nontrivial configuration or multiple passes are broken out below in
475/// add%Stage routines.
476///
477/// Any TargetPassConfig::addXX routine may be overriden by the Target. The
478/// addPre/Post methods with empty header implementations allow injecting
479/// target-specific fixups just before or after major stages. Additionally,
480/// targets have the flexibility to change pass order within a stage by
481/// overriding default implementation of add%Stage routines below. Each
482/// technique has maintainability tradeoffs because alternate pass orders are
483/// not well supported. addPre/Post works better if the target pass is easily
484/// tied to a common pass. But if it has subtle dependencies on multiple passes,
Andrew Trick09fc1bb2012-02-10 07:08:25 +0000485/// the target should override the stage instead.
Andrew Trickf5426752012-02-09 00:40:55 +0000486///
487/// TODO: We could use a single addPre/Post(ID) hook to allow pass injection
488/// before/after any target-independent pass. But it's currently overkill.
Andrew Trickf8ea1082012-02-04 02:56:59 +0000489void TargetPassConfig::addMachinePasses() {
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000490 AddingMachinePasses = true;
491
Bob Wilson33e51882012-05-30 00:17:12 +0000492 // Insert a machine instr printer pass after the specified pass.
493 // If -print-machineinstrs specified, print machineinstrs after all passes.
494 if (StringRef(PrintMachineInstrs.getValue()).equals(""))
495 TM->Options.PrintMachineCode = true;
496 else if (!StringRef(PrintMachineInstrs.getValue())
497 .equals("option-unspecified")) {
498 const PassRegistry *PR = PassRegistry::getPassRegistry();
499 const PassInfo *TPI = PR->getPassInfo(PrintMachineInstrs.getValue());
Akira Hatanaka7ba78302014-12-13 04:52:04 +0000500 const PassInfo *IPI = PR->getPassInfo(StringRef("machineinstr-printer"));
Bob Wilson33e51882012-05-30 00:17:12 +0000501 assert (TPI && IPI && "Pass ID not registered!");
Roman Divackyad06cee2012-09-05 22:26:57 +0000502 const char *TID = (const char *)(TPI->getTypeInfo());
503 const char *IID = (const char *)(IPI->getTypeInfo());
Bob Wilsonb9b69362012-07-02 19:48:37 +0000504 insertPass(TID, IID);
Bob Wilson33e51882012-05-30 00:17:12 +0000505 }
506
Jakob Stoklund Olesen29506f52012-07-04 19:28:27 +0000507 // Print the instruction selected machine code...
508 printAndVerify("After Instruction Selection");
509
Andrew Trickde401d32012-02-04 02:56:48 +0000510 // Expand pseudo-instructions emitted by ISel.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000511 addPass(&ExpandISelPseudosID);
Andrew Trickde401d32012-02-04 02:56:48 +0000512
Andrew Trickf5426752012-02-09 00:40:55 +0000513 // Add passes that optimize machine instructions in SSA form.
Andrew Trickde401d32012-02-04 02:56:48 +0000514 if (getOptLevel() != CodeGenOpt::None) {
Andrew Trickf5426752012-02-09 00:40:55 +0000515 addMachineSSAOptimization();
Craig Topper36f29122012-11-19 00:11:50 +0000516 } else {
Andrew Trickf5426752012-02-09 00:40:55 +0000517 // If the target requests it, assign local variables to stack slots relative
518 // to one another and simplify frame index references where possible.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000519 addPass(&LocalStackSlotAllocationID, false);
Andrew Trickde401d32012-02-04 02:56:48 +0000520 }
521
522 // Run pre-ra passes.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000523 addPreRegAlloc();
Andrew Trickde401d32012-02-04 02:56:48 +0000524
Andrew Trickf5426752012-02-09 00:40:55 +0000525 // Run register allocation and passes that are tightly coupled with it,
526 // including phi elimination and scheduling.
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000527 if (getOptimizeRegAlloc())
528 addOptimizedRegAlloc(createRegAllocPass(true));
529 else
530 addFastRegAlloc(createRegAllocPass(false));
Andrew Trickde401d32012-02-04 02:56:48 +0000531
532 // Run post-ra passes.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000533 addPostRegAlloc();
Andrew Trickde401d32012-02-04 02:56:48 +0000534
535 // Insert prolog/epilog code. Eliminate abstract frame index references...
Quentin Colombet61b305e2015-05-05 17:38:16 +0000536 if (getEnableShrinkWrap())
537 addPass(&ShrinkWrapID);
Bob Wilsonb9b69362012-07-02 19:48:37 +0000538 addPass(&PrologEpilogCodeInserterID);
Andrew Trickde401d32012-02-04 02:56:48 +0000539
Andrew Trickf5426752012-02-09 00:40:55 +0000540 /// Add passes that optimize machine instructions after register allocation.
541 if (getOptLevel() != CodeGenOpt::None)
542 addMachineLateOptimization();
Andrew Trickde401d32012-02-04 02:56:48 +0000543
544 // Expand pseudo instructions before second scheduling pass.
Bob Wilsonb9b69362012-07-02 19:48:37 +0000545 addPass(&ExpandPostRAPseudosID);
Andrew Trickde401d32012-02-04 02:56:48 +0000546
547 // Run pre-sched2 passes.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000548 addPreSched2();
Andrew Trickde401d32012-02-04 02:56:48 +0000549
Sanjoy Das69fad072015-06-15 18:44:27 +0000550 if (EnableImplicitNullChecks)
551 addPass(&ImplicitNullChecksID);
552
Andrew Trickde401d32012-02-04 02:56:48 +0000553 // Second pass scheduler.
Andrew Tricke9a951c2012-02-15 03:21:51 +0000554 if (getOptLevel() != CodeGenOpt::None) {
Andrew Trick17080b92013-12-28 21:56:51 +0000555 if (MISchedPostRA)
556 addPass(&PostMachineSchedulerID);
557 else
558 addPass(&PostRASchedulerID);
Andrew Trickde401d32012-02-04 02:56:48 +0000559 }
560
Andrew Trickf5426752012-02-09 00:40:55 +0000561 // GC
Evan Cheng59421ae2012-12-21 02:57:04 +0000562 if (addGCPasses()) {
563 if (PrintGCInfo)
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000564 addPass(createGCInfoPrinter(dbgs()), false, false);
Evan Cheng59421ae2012-12-21 02:57:04 +0000565 }
Andrew Trickde401d32012-02-04 02:56:48 +0000566
Andrew Trickf5426752012-02-09 00:40:55 +0000567 // Basic block placement.
Andrew Tricke9a951c2012-02-15 03:21:51 +0000568 if (getOptLevel() != CodeGenOpt::None)
Andrew Trickf5426752012-02-09 00:40:55 +0000569 addBlockPlacement();
Andrew Trickde401d32012-02-04 02:56:48 +0000570
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000571 addPreEmitPass();
Juergen Ributzkae8294752013-12-14 06:53:06 +0000572
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000573 addPass(&StackMapLivenessID, false);
574
575 AddingMachinePasses = false;
Andrew Trickde401d32012-02-04 02:56:48 +0000576}
577
Andrew Trickf5426752012-02-09 00:40:55 +0000578/// Add passes that optimize machine instructions in SSA form.
579void TargetPassConfig::addMachineSSAOptimization() {
580 // Pre-ra tail duplication.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000581 addPass(&EarlyTailDuplicateID);
Andrew Trickf5426752012-02-09 00:40:55 +0000582
583 // Optimize PHIs before DCE: removing dead PHI cycles may make more
584 // instructions dead.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000585 addPass(&OptimizePHIsID, false);
Andrew Trickf5426752012-02-09 00:40:55 +0000586
Nadav Rotem7c277da2012-09-06 09:17:37 +0000587 // This pass merges large allocas. StackSlotColoring is a different pass
588 // which merges spill slots.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000589 addPass(&StackColoringID, false);
Nadav Rotem7c277da2012-09-06 09:17:37 +0000590
Andrew Trickf5426752012-02-09 00:40:55 +0000591 // If the target requests it, assign local variables to stack slots relative
592 // to one another and simplify frame index references where possible.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000593 addPass(&LocalStackSlotAllocationID, false);
Andrew Trickf5426752012-02-09 00:40:55 +0000594
595 // With optimization, dead code should already be eliminated. However
596 // there is one known exception: lowered code for arguments that are only
597 // used by tail calls, where the tail calls reuse the incoming stack
598 // arguments directly (see t11 in test/CodeGen/X86/sibcall.ll).
Bob Wilsonb9b69362012-07-02 19:48:37 +0000599 addPass(&DeadMachineInstructionElimID);
Andrew Trickf5426752012-02-09 00:40:55 +0000600
Jakob Stoklund Olesen213a2f82013-01-17 00:58:38 +0000601 // Allow targets to insert passes that improve instruction level parallelism,
602 // like if-conversion. Such passes will typically need dominator trees and
603 // loop info, just like LICM and CSE below.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000604 addILPOpts();
Jakob Stoklund Olesen213a2f82013-01-17 00:58:38 +0000605
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000606 addPass(&MachineLICMID, false);
607 addPass(&MachineCSEID, false);
Bob Wilsonb9b69362012-07-02 19:48:37 +0000608 addPass(&MachineSinkingID);
Andrew Trickf5426752012-02-09 00:40:55 +0000609
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000610 addPass(&PeepholeOptimizerID, false);
Quentin Colombet03e43f82014-08-20 17:41:48 +0000611 // Clean-up the dead code that may have been generated by peephole
612 // rewriting.
613 addPass(&DeadMachineInstructionElimID);
Andrew Trickf5426752012-02-09 00:40:55 +0000614}
615
Quentin Colombet61b305e2015-05-05 17:38:16 +0000616bool TargetPassConfig::getEnableShrinkWrap() const {
617 switch (EnableShrinkWrapOpt) {
618 case cl::BOU_UNSET:
619 return EnableShrinkWrap && getOptLevel() != CodeGenOpt::None;
620 // If EnableShrinkWrap is set, it takes precedence on whatever the
621 // target sets. The rational is that we assume we want to test
622 // something related to shrink-wrapping.
623 case cl::BOU_TRUE:
624 return true;
625 case cl::BOU_FALSE:
626 return false;
627 }
628 llvm_unreachable("Invalid shrink-wrapping state");
629}
630
Andrew Trickb7551332012-02-04 02:56:45 +0000631//===---------------------------------------------------------------------===//
Andrew Trickf5426752012-02-09 00:40:55 +0000632/// Register Allocation Pass Configuration
Jim Laskey29e635d2006-08-02 12:30:23 +0000633//===---------------------------------------------------------------------===//
Andrew Trickf5426752012-02-09 00:40:55 +0000634
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000635bool TargetPassConfig::getOptimizeRegAlloc() const {
636 switch (OptimizeRegAlloc) {
637 case cl::BOU_UNSET: return getOptLevel() != CodeGenOpt::None;
638 case cl::BOU_TRUE: return true;
639 case cl::BOU_FALSE: return false;
640 }
641 llvm_unreachable("Invalid optimize-regalloc state");
642}
643
Andrew Trickf5426752012-02-09 00:40:55 +0000644/// RegisterRegAlloc's global Registry tracks allocator registration.
Jim Laskey29e635d2006-08-02 12:30:23 +0000645MachinePassRegistry RegisterRegAlloc::Registry;
646
Andrew Trickf5426752012-02-09 00:40:55 +0000647/// A dummy default pass factory indicates whether the register allocator is
648/// overridden on the command line.
Craig Topperc0196b12014-04-14 00:51:57 +0000649static FunctionPass *useDefaultRegisterAllocator() { return nullptr; }
Jakob Stoklund Olesenb613ae22010-05-27 23:57:25 +0000650static RegisterRegAlloc
651defaultRegAlloc("default",
652 "pick register allocator based on -O option",
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000653 useDefaultRegisterAllocator);
Jim Laskey29e635d2006-08-02 12:30:23 +0000654
Andrew Trickf5426752012-02-09 00:40:55 +0000655/// -regalloc=... command line option.
Dan Gohmand78c4002008-05-13 00:00:25 +0000656static cl::opt<RegisterRegAlloc::FunctionPassCtor, false,
657 RegisterPassParser<RegisterRegAlloc> >
658RegAlloc("regalloc",
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000659 cl::init(&useDefaultRegisterAllocator),
Jakob Stoklund Olesenb613ae22010-05-27 23:57:25 +0000660 cl::desc("Register allocator to use"));
Alkis Evlogimenos5facafa2003-10-02 16:57:49 +0000661
Jim Laskey29e635d2006-08-02 12:30:23 +0000662
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000663/// Instantiate the default register allocator pass for this target for either
664/// the optimized or unoptimized allocation path. This will be added to the pass
665/// manager by addFastRegAlloc in the unoptimized case or addOptimizedRegAlloc
666/// in the optimized case.
667///
668/// A target that uses the standard regalloc pass order for fast or optimized
669/// allocation may still override this for per-target regalloc
670/// selection. But -regalloc=... always takes precedence.
671FunctionPass *TargetPassConfig::createTargetRegisterAllocator(bool Optimized) {
672 if (Optimized)
673 return createGreedyRegisterAllocator();
674 else
675 return createFastRegisterAllocator();
676}
677
678/// Find and instantiate the register allocation pass requested by this target
679/// at the current optimization level. Different register allocators are
680/// defined as separate passes because they may require different analysis.
681///
682/// This helper ensures that the regalloc= option is always available,
683/// even for targets that override the default allocator.
684///
685/// FIXME: When MachinePassRegistry register pass IDs instead of function ptrs,
686/// this can be folded into addPass.
687FunctionPass *TargetPassConfig::createRegAllocPass(bool Optimized) {
Jim Laskey03593f72006-08-01 18:29:48 +0000688 RegisterRegAlloc::FunctionPassCtor Ctor = RegisterRegAlloc::getDefault();
Jakob Stoklund Olesenb613ae22010-05-27 23:57:25 +0000689
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000690 // Initialize the global default.
Jim Laskey95eda5b2006-08-01 14:21:23 +0000691 if (!Ctor) {
Jim Laskey29e635d2006-08-02 12:30:23 +0000692 Ctor = RegAlloc;
693 RegisterRegAlloc::setDefault(RegAlloc);
Jim Laskey95eda5b2006-08-01 14:21:23 +0000694 }
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000695 if (Ctor != useDefaultRegisterAllocator)
Jakob Stoklund Olesenb613ae22010-05-27 23:57:25 +0000696 return Ctor();
697
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000698 // With no -regalloc= override, ask the target for a regalloc pass.
699 return createTargetRegisterAllocator(Optimized);
700}
701
Arnaud A. de Grandmaisona61262f2014-10-21 20:47:22 +0000702/// Return true if the default global register allocator is in use and
703/// has not be overriden on the command line with '-regalloc=...'
704bool TargetPassConfig::usingDefaultRegAlloc() const {
Arnaud A. de Grandmaison5c7fe7e92014-10-21 21:50:49 +0000705 return RegAlloc.getNumOccurrences() == 0;
Arnaud A. de Grandmaisona61262f2014-10-21 20:47:22 +0000706}
707
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000708/// Add the minimum set of target-independent passes that are required for
709/// register allocation. No coalescing or scheduling.
710void TargetPassConfig::addFastRegAlloc(FunctionPass *RegAllocPass) {
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000711 addPass(&PHIEliminationID, false);
712 addPass(&TwoAddressInstructionPassID, false);
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000713
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000714 addPass(RegAllocPass);
Jim Laskeyd1a714e2006-07-27 20:05:00 +0000715}
Andrew Trickf5426752012-02-09 00:40:55 +0000716
717/// Add standard target-independent passes that are tightly coupled with
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000718/// optimized register allocation, including coalescing, machine instruction
719/// scheduling, and register allocation itself.
720void TargetPassConfig::addOptimizedRegAlloc(FunctionPass *RegAllocPass) {
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000721 addPass(&ProcessImplicitDefsID, false);
Jakob Stoklund Oleseneb495662012-06-25 18:12:18 +0000722
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000723 // LiveVariables currently requires pure SSA form.
724 //
725 // FIXME: Once TwoAddressInstruction pass no longer uses kill flags,
726 // LiveVariables can be removed completely, and LiveIntervals can be directly
727 // computed. (We still either need to regenerate kill flags after regalloc, or
728 // preferably fix the scavenger to not depend on them).
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000729 addPass(&LiveVariablesID, false);
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000730
Rafael Espindola9770bde2013-10-14 16:39:04 +0000731 // Edge splitting is smarter with machine loop info.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000732 addPass(&MachineLoopInfoID, false);
733 addPass(&PHIEliminationID, false);
Jakob Stoklund Olesen1c465892012-08-03 22:12:54 +0000734
735 // Eventually, we want to run LiveIntervals before PHI elimination.
736 if (EarlyLiveIntervals)
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000737 addPass(&LiveIntervalsID, false);
Jakob Stoklund Olesen1c465892012-08-03 22:12:54 +0000738
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000739 addPass(&TwoAddressInstructionPassID, false);
Bob Wilsonb9b69362012-07-02 19:48:37 +0000740 addPass(&RegisterCoalescerID);
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000741
742 // PreRA instruction scheduling.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000743 addPass(&MachineSchedulerID);
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000744
745 // Add the selected register allocation pass.
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000746 addPass(RegAllocPass);
Jakob Stoklund Olesen59a0d322012-06-26 17:09:29 +0000747
748 // Allow targets to change the register assignments before rewriting.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000749 addPreRewrite();
Andrew Trickf5426752012-02-09 00:40:55 +0000750
Jakob Stoklund Olesen12243122012-06-08 23:44:45 +0000751 // Finally rewrite virtual registers.
Bob Wilsonb9b69362012-07-02 19:48:37 +0000752 addPass(&VirtRegRewriterID);
Jakob Stoklund Olesen12243122012-06-08 23:44:45 +0000753
Andrew Trickf5426752012-02-09 00:40:55 +0000754 // Perform stack slot coloring and post-ra machine LICM.
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000755 //
756 // FIXME: Re-enable coloring with register when it's capable of adding
757 // kill markers.
Bob Wilsonb9b69362012-07-02 19:48:37 +0000758 addPass(&StackSlotColoringID);
Andrew Trick899f46c2012-02-15 07:57:03 +0000759
760 // Run post-ra machine LICM to hoist reloads / remats.
761 //
762 // FIXME: can this move into MachineLateOptimization?
Bob Wilsonb9b69362012-07-02 19:48:37 +0000763 addPass(&PostRAMachineLICMID);
Andrew Trickf5426752012-02-09 00:40:55 +0000764}
765
766//===---------------------------------------------------------------------===//
767/// Post RegAlloc Pass Configuration
768//===---------------------------------------------------------------------===//
769
770/// Add passes that optimize machine instructions after register allocation.
771void TargetPassConfig::addMachineLateOptimization() {
772 // Branch folding must be run after regalloc and prolog/epilog insertion.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000773 addPass(&BranchFolderPassID);
Andrew Trickf5426752012-02-09 00:40:55 +0000774
775 // Tail duplication.
Vincent Lejeune92b0a642013-12-07 01:49:19 +0000776 // Note that duplicating tail just increases code size and degrades
777 // performance for targets that require Structured Control Flow.
778 // In addition it can also make CFG irreducible. Thus we disable it.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000779 if (!TM->requiresStructuredCFG())
780 addPass(&TailDuplicateID);
Andrew Trickf5426752012-02-09 00:40:55 +0000781
782 // Copy propagation.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000783 addPass(&MachineCopyPropagationID);
Andrew Trickf5426752012-02-09 00:40:55 +0000784}
785
Evan Cheng59421ae2012-12-21 02:57:04 +0000786/// Add standard GC passes.
787bool TargetPassConfig::addGCPasses() {
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000788 addPass(&GCMachineCodeAnalysisID, false);
Evan Cheng59421ae2012-12-21 02:57:04 +0000789 return true;
790}
791
Andrew Trickf5426752012-02-09 00:40:55 +0000792/// Add standard basic block placement passes.
793void TargetPassConfig::addBlockPlacement() {
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000794 if (addPass(&MachineBlockPlacementID, false)) {
Andrew Tricke9a951c2012-02-15 03:21:51 +0000795 // Run a separate pass to collect block placement statistics.
796 if (EnableBlockPlacementStats)
Bob Wilsonb9b69362012-07-02 19:48:37 +0000797 addPass(&MachineBlockPlacementStatsID);
Andrew Trickf5426752012-02-09 00:40:55 +0000798 }
799}