blob: 690224342f6447e833e0d14f448b794ab1fbcfc9 [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"));
Andrew Trickde401d32012-02-04 02:56:48 +000075static cl::opt<bool> PrintLSR("print-lsr-output", cl::Hidden,
76 cl::desc("Print LLVM IR produced by the loop-reduce pass"));
77static cl::opt<bool> PrintISelInput("print-isel-input", cl::Hidden,
78 cl::desc("Print LLVM IR input to isel pass"));
79static cl::opt<bool> PrintGCInfo("print-gc", cl::Hidden,
80 cl::desc("Dump garbage collector data"));
81static cl::opt<bool> VerifyMachineCode("verify-machineinstrs", cl::Hidden,
82 cl::desc("Verify generated machine code"),
Owen Anderson21b17882015-02-04 00:02:59 +000083 cl::init(false),
84 cl::ZeroOrMore);
85
Bob Wilson33e51882012-05-30 00:17:12 +000086static cl::opt<std::string>
87PrintMachineInstrs("print-machineinstrs", cl::ValueOptional,
88 cl::desc("Print machine instrs"),
89 cl::value_desc("pass-name"), cl::init("option-unspecified"));
Andrew Trickde401d32012-02-04 02:56:48 +000090
Andrew Trick17080b92013-12-28 21:56:51 +000091// Temporary option to allow experimenting with MachineScheduler as a post-RA
92// scheduler. Targets can "properly" enable this with
Andrew Trick8d2ee372014-06-04 07:06:27 +000093// substitutePass(&PostRASchedulerID, &PostMachineSchedulerID); Ideally it
94// wouldn't be part of the standard pass pipeline, and the target would just add
95// a PostRA scheduling pass wherever it wants.
Andrew Trick17080b92013-12-28 21:56:51 +000096static cl::opt<bool> MISchedPostRA("misched-postra", cl::Hidden,
97 cl::desc("Run MachineScheduler post regalloc (independent of preRA sched)"));
98
Cameron Zwarich71f0acb2013-02-10 06:42:34 +000099// Experimental option to run live interval analysis early.
Jakob Stoklund Olesen1c465892012-08-03 22:12:54 +0000100static cl::opt<bool> EarlyLiveIntervals("early-live-intervals", cl::Hidden,
101 cl::desc("Run live interval analysis earlier in the pipeline"));
102
Hal Finkel445dda52014-09-02 22:12:54 +0000103static cl::opt<bool> UseCFLAA("use-cfl-aa-in-codegen",
104 cl::init(false), cl::Hidden,
105 cl::desc("Enable the new, experimental CFL alias analysis in CodeGen"));
106
Andrew Tricke9a951c2012-02-15 03:21:51 +0000107/// Allow standard passes to be disabled by command line options. This supports
108/// simple binary flags that either suppress the pass or do nothing.
109/// i.e. -disable-mypass=false has no effect.
110/// These should be converted to boolOrDefault in order to use applyOverride.
Andrew Tricke2203232013-04-10 01:06:56 +0000111static IdentifyingPassPtr applyDisable(IdentifyingPassPtr PassID,
112 bool Override) {
Andrew Tricke9a951c2012-02-15 03:21:51 +0000113 if (Override)
Andrew Tricke2203232013-04-10 01:06:56 +0000114 return IdentifyingPassPtr();
Bob Wilsonb9b69362012-07-02 19:48:37 +0000115 return PassID;
Andrew Tricke9a951c2012-02-15 03:21:51 +0000116}
117
Andrew Tricke9a951c2012-02-15 03:21:51 +0000118/// Allow standard passes to be disabled by the command line, regardless of who
119/// is adding the pass.
120///
121/// StandardID is the pass identified in the standard pass pipeline and provided
122/// to addPass(). It may be a target-specific ID in the case that the target
123/// directly adds its own pass, but in that case we harmlessly fall through.
124///
125/// TargetID is the pass that the target has configured to override StandardID.
126///
127/// StandardID may be a pseudo ID. In that case TargetID is the name of the real
128/// pass to run. This allows multiple options to control a single pass depending
129/// on where in the pipeline that pass is added.
Andrew Tricke2203232013-04-10 01:06:56 +0000130static IdentifyingPassPtr overridePass(AnalysisID StandardID,
131 IdentifyingPassPtr TargetID) {
Andrew Tricke9a951c2012-02-15 03:21:51 +0000132 if (StandardID == &PostRASchedulerID)
133 return applyDisable(TargetID, DisablePostRA);
134
135 if (StandardID == &BranchFolderPassID)
136 return applyDisable(TargetID, DisableBranchFold);
137
138 if (StandardID == &TailDuplicateID)
139 return applyDisable(TargetID, DisableTailDuplicate);
140
141 if (StandardID == &TargetPassConfig::EarlyTailDuplicateID)
142 return applyDisable(TargetID, DisableEarlyTailDup);
143
144 if (StandardID == &MachineBlockPlacementID)
Benjamin Kramer70671b92013-03-29 17:14:24 +0000145 return applyDisable(TargetID, DisableBlockPlacement);
Andrew Tricke9a951c2012-02-15 03:21:51 +0000146
147 if (StandardID == &StackSlotColoringID)
148 return applyDisable(TargetID, DisableSSC);
149
150 if (StandardID == &DeadMachineInstructionElimID)
151 return applyDisable(TargetID, DisableMachineDCE);
152
Jakob Stoklund Olesenf8a63a12012-07-04 00:09:54 +0000153 if (StandardID == &EarlyIfConverterID)
Jakob Stoklund Olesen0f6e8bb2012-10-03 00:51:32 +0000154 return applyDisable(TargetID, DisableEarlyIfConversion);
Jakob Stoklund Olesenf8a63a12012-07-04 00:09:54 +0000155
Andrew Tricke9a951c2012-02-15 03:21:51 +0000156 if (StandardID == &MachineLICMID)
157 return applyDisable(TargetID, DisableMachineLICM);
158
159 if (StandardID == &MachineCSEID)
160 return applyDisable(TargetID, DisableMachineCSE);
161
Andrew Tricke9a951c2012-02-15 03:21:51 +0000162 if (StandardID == &TargetPassConfig::PostRAMachineLICMID)
163 return applyDisable(TargetID, DisablePostRAMachineLICM);
164
165 if (StandardID == &MachineSinkingID)
166 return applyDisable(TargetID, DisableMachineSink);
167
168 if (StandardID == &MachineCopyPropagationID)
169 return applyDisable(TargetID, DisableCopyProp);
170
171 return TargetID;
172}
173
Jim Laskey29e635d2006-08-02 12:30:23 +0000174//===---------------------------------------------------------------------===//
Andrew Trickb7551332012-02-04 02:56:45 +0000175/// TargetPassConfig
176//===---------------------------------------------------------------------===//
177
178INITIALIZE_PASS(TargetPassConfig, "targetpassconfig",
179 "Target Pass Configuration", false, false)
180char TargetPassConfig::ID = 0;
181
Andrew Tricke9a951c2012-02-15 03:21:51 +0000182// Pseudo Pass IDs.
183char TargetPassConfig::EarlyTailDuplicateID = 0;
184char TargetPassConfig::PostRAMachineLICMID = 0;
185
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000186namespace llvm {
187class PassConfigImpl {
188public:
189 // List of passes explicitly substituted by this target. Normally this is
190 // empty, but it is a convenient way to suppress or replace specific passes
191 // that are part of a standard pass pipeline without overridding the entire
192 // pipeline. This mechanism allows target options to inherit a standard pass's
193 // user interface. For example, a target may disable a standard pass by
Bob Wilsonb9b69362012-07-02 19:48:37 +0000194 // default by substituting a pass ID of zero, and the user may still enable
195 // that standard pass with an explicit command line option.
Andrew Tricke2203232013-04-10 01:06:56 +0000196 DenseMap<AnalysisID,IdentifyingPassPtr> TargetPasses;
Bob Wilson33e51882012-05-30 00:17:12 +0000197
198 /// Store the pairs of <AnalysisID, AnalysisID> of which the second pass
199 /// is inserted after each instance of the first one.
Andrew Tricke2203232013-04-10 01:06:56 +0000200 SmallVector<std::pair<AnalysisID, IdentifyingPassPtr>, 4> InsertedPasses;
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000201};
202} // namespace llvm
203
Andrew Trickb7551332012-02-04 02:56:45 +0000204// Out of line virtual method.
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000205TargetPassConfig::~TargetPassConfig() {
206 delete Impl;
207}
Andrew Trickb7551332012-02-04 02:56:45 +0000208
Andrew Trick58648e42012-02-08 21:22:48 +0000209// Out of line constructor provides default values for pass options and
210// registers all common codegen passes.
Andrew Trickf8ea1082012-02-04 02:56:59 +0000211TargetPassConfig::TargetPassConfig(TargetMachine *tm, PassManagerBase &pm)
Quentin Colombet61b305e2015-05-05 17:38:16 +0000212 : ImmutablePass(ID), PM(&pm), StartAfter(nullptr), StopAfter(nullptr),
213 Started(true), Stopped(false), AddingMachinePasses(false), TM(tm),
214 Impl(nullptr), Initialized(false), DisableVerify(false),
215 EnableTailMerge(true), EnableShrinkWrap(false) {
Andrew Trickdd37d522012-02-08 21:22:39 +0000216
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000217 Impl = new PassConfigImpl();
218
Andrew Trickb7551332012-02-04 02:56:45 +0000219 // Register all target independent codegen passes to activate their PassIDs,
220 // including this pass itself.
221 initializeCodeGen(*PassRegistry::getPassRegistry());
Andrew Tricke9a951c2012-02-15 03:21:51 +0000222
223 // Substitute Pseudo Pass IDs for real ones.
Bob Wilsonb9b69362012-07-02 19:48:37 +0000224 substitutePass(&EarlyTailDuplicateID, &TailDuplicateID);
225 substitutePass(&PostRAMachineLICMID, &MachineLICMID);
Andrew Trickb7551332012-02-04 02:56:45 +0000226}
227
Bob Wilson33e51882012-05-30 00:17:12 +0000228/// Insert InsertedPassID pass after TargetPassID.
Bob Wilsonb9b69362012-07-02 19:48:37 +0000229void TargetPassConfig::insertPass(AnalysisID TargetPassID,
Andrew Tricke2203232013-04-10 01:06:56 +0000230 IdentifyingPassPtr InsertedPassID) {
Benjamin Kramere7c45bc2013-04-11 11:57:01 +0000231 assert(((!InsertedPassID.isInstance() &&
232 TargetPassID != InsertedPassID.getID()) ||
233 (InsertedPassID.isInstance() &&
234 TargetPassID != InsertedPassID.getInstance()->getPassID())) &&
Andrew Tricke2203232013-04-10 01:06:56 +0000235 "Insert a pass after itself!");
236 std::pair<AnalysisID, IdentifyingPassPtr> P(TargetPassID, InsertedPassID);
Bob Wilson33e51882012-05-30 00:17:12 +0000237 Impl->InsertedPasses.push_back(P);
238}
239
Andrew Trickb7551332012-02-04 02:56:45 +0000240/// createPassConfig - Create a pass configuration object to be used by
241/// addPassToEmitX methods for generating a pipeline of CodeGen passes.
242///
243/// Targets may override this to extend TargetPassConfig.
Andrew Trickf8ea1082012-02-04 02:56:59 +0000244TargetPassConfig *LLVMTargetMachine::createPassConfig(PassManagerBase &PM) {
245 return new TargetPassConfig(this, PM);
Andrew Trickb7551332012-02-04 02:56:45 +0000246}
247
248TargetPassConfig::TargetPassConfig()
Craig Topperc0196b12014-04-14 00:51:57 +0000249 : ImmutablePass(ID), PM(nullptr) {
Andrew Trickb7551332012-02-04 02:56:45 +0000250 llvm_unreachable("TargetPassConfig should not be constructed on-the-fly");
251}
252
Andrew Trickdd37d522012-02-08 21:22:39 +0000253// Helper to verify the analysis is really immutable.
254void TargetPassConfig::setOpt(bool &Opt, bool Val) {
255 assert(!Initialized && "PassConfig is immutable");
256 Opt = Val;
257}
258
Bob Wilsonb9b69362012-07-02 19:48:37 +0000259void TargetPassConfig::substitutePass(AnalysisID StandardID,
Andrew Tricke2203232013-04-10 01:06:56 +0000260 IdentifyingPassPtr TargetID) {
Bob Wilsonb9b69362012-07-02 19:48:37 +0000261 Impl->TargetPasses[StandardID] = TargetID;
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000262}
Andrew Trickee874db2012-02-11 07:11:32 +0000263
Andrew Tricke2203232013-04-10 01:06:56 +0000264IdentifyingPassPtr TargetPassConfig::getPassSubstitution(AnalysisID ID) const {
265 DenseMap<AnalysisID, IdentifyingPassPtr>::const_iterator
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000266 I = Impl->TargetPasses.find(ID);
267 if (I == Impl->TargetPasses.end())
268 return ID;
269 return I->second;
270}
271
Bob Wilsoncac3b902012-07-02 19:48:45 +0000272/// Add a pass to the PassManager if that pass is supposed to be run. If the
273/// Started/Stopped flags indicate either that the compilation should start at
274/// a later pass or that it should stop after an earlier pass, then do not add
275/// the pass. Finally, compare the current pass against the StartAfter
276/// and StopAfter options and change the Started/Stopped flags accordingly.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000277void TargetPassConfig::addPass(Pass *P, bool verifyAfter, bool printAfter) {
Bob Wilsona3f9fa72012-07-02 19:48:39 +0000278 assert(!Initialized && "PassConfig is immutable");
279
Chandler Carruth34263a02012-07-02 22:56:41 +0000280 // Cache the Pass ID here in case the pass manager finds this pass is
281 // redundant with ones already scheduled / available, and deletes it.
282 // Fundamentally, once we add the pass to the manager, we no longer own it
283 // and shouldn't reference it.
284 AnalysisID PassID = P->getPassID();
285
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000286 if (Started && !Stopped) {
287 std::string Banner;
288 // Construct banner message before PM->add() as that may delete the pass.
289 if (AddingMachinePasses && (printAfter || verifyAfter))
290 Banner = std::string("After ") + std::string(P->getPassName());
Bob Wilsoncac3b902012-07-02 19:48:45 +0000291 PM->add(P);
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000292 if (AddingMachinePasses) {
293 if (printAfter)
294 addPrintPass(Banner);
295 if (verifyAfter)
296 addVerifyPass(Banner);
297 }
298 } else {
Benjamin Kramer483b9fb2013-08-05 11:11:11 +0000299 delete P;
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000300 }
Chandler Carruth34263a02012-07-02 22:56:41 +0000301 if (StopAfter == PassID)
Bob Wilsoncac3b902012-07-02 19:48:45 +0000302 Stopped = true;
Chandler Carruth34263a02012-07-02 22:56:41 +0000303 if (StartAfter == PassID)
Bob Wilsoncac3b902012-07-02 19:48:45 +0000304 Started = true;
305 if (Stopped && !Started)
306 report_fatal_error("Cannot stop compilation after pass that is not run");
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000307}
308
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000309/// Add a CodeGen pass at this point in the pipeline after checking for target
310/// and command line overrides.
Andrew Tricke2203232013-04-10 01:06:56 +0000311///
312/// addPass cannot return a pointer to the pass instance because is internal the
313/// PassManager and the instance we create here may already be freed.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000314AnalysisID TargetPassConfig::addPass(AnalysisID PassID, bool verifyAfter,
315 bool printAfter) {
Andrew Tricke2203232013-04-10 01:06:56 +0000316 IdentifyingPassPtr TargetID = getPassSubstitution(PassID);
317 IdentifyingPassPtr FinalPtr = overridePass(PassID, TargetID);
318 if (!FinalPtr.isValid())
Craig Topperc0196b12014-04-14 00:51:57 +0000319 return nullptr;
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000320
Andrew Tricke2203232013-04-10 01:06:56 +0000321 Pass *P;
322 if (FinalPtr.isInstance())
323 P = FinalPtr.getInstance();
324 else {
325 P = Pass::createPass(FinalPtr.getID());
326 if (!P)
327 llvm_unreachable("Pass ID not registered");
328 }
329 AnalysisID FinalID = P->getPassID();
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000330 addPass(P, verifyAfter, printAfter); // Ends the lifetime of P.
Andrew Tricke2203232013-04-10 01:06:56 +0000331
Bob Wilson33e51882012-05-30 00:17:12 +0000332 // Add the passes after the pass P if there is any.
Craig Toppere1c1d362013-07-03 05:11:49 +0000333 for (SmallVectorImpl<std::pair<AnalysisID, IdentifyingPassPtr> >::iterator
Bob Wilson33e51882012-05-30 00:17:12 +0000334 I = Impl->InsertedPasses.begin(), E = Impl->InsertedPasses.end();
335 I != E; ++I) {
Bob Wilsonb9b69362012-07-02 19:48:37 +0000336 if ((*I).first == PassID) {
Andrew Tricke2203232013-04-10 01:06:56 +0000337 assert((*I).second.isValid() && "Illegal Pass ID!");
338 Pass *NP;
339 if ((*I).second.isInstance())
340 NP = (*I).second.getInstance();
341 else {
342 NP = Pass::createPass((*I).second.getID());
343 assert(NP && "Pass ID not registered");
344 }
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000345 addPass(NP, false, false);
Bob Wilson33e51882012-05-30 00:17:12 +0000346 }
347 }
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000348 return FinalID;
Andrew Trickf8ea1082012-02-04 02:56:59 +0000349}
Andrew Trickde401d32012-02-04 02:56:48 +0000350
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000351void TargetPassConfig::printAndVerify(const std::string &Banner) {
352 addPrintPass(Banner);
353 addVerifyPass(Banner);
354}
Matthias Brauna7c82a92014-12-11 19:42:05 +0000355
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000356void TargetPassConfig::addPrintPass(const std::string &Banner) {
357 if (TM->shouldPrintMachineCode())
358 PM->add(createMachineFunctionPrinterPass(dbgs(), Banner));
359}
360
361void TargetPassConfig::addVerifyPass(const std::string &Banner) {
Andrew Trickde401d32012-02-04 02:56:48 +0000362 if (VerifyMachineCode)
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000363 PM->add(createMachineVerifierPass(Banner));
Andrew Trickde401d32012-02-04 02:56:48 +0000364}
365
Andrew Trickf8ea1082012-02-04 02:56:59 +0000366/// Add common target configurable passes that perform LLVM IR to IR transforms
367/// following machine independent optimization.
368void TargetPassConfig::addIRPasses() {
Andrew Trickde401d32012-02-04 02:56:48 +0000369 // Basic AliasAnalysis support.
370 // Add TypeBasedAliasAnalysis before BasicAliasAnalysis so that
371 // BasicAliasAnalysis wins if they disagree. This is intended to help
372 // support "obvious" type-punning idioms.
Hal Finkel445dda52014-09-02 22:12:54 +0000373 if (UseCFLAA)
374 addPass(createCFLAliasAnalysisPass());
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000375 addPass(createTypeBasedAliasAnalysisPass());
Hal Finkel94146652014-07-24 14:25:39 +0000376 addPass(createScopedNoAliasAAPass());
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000377 addPass(createBasicAliasAnalysisPass());
Andrew Trickde401d32012-02-04 02:56:48 +0000378
379 // Before running any passes, run the verifier to determine if the input
380 // coming from the front-end and/or optimizer is valid.
Duncan P. N. Exon Smithab58a562015-03-19 22:24:17 +0000381 if (!DisableVerify)
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000382 addPass(createVerifierPass());
Andrew Trickde401d32012-02-04 02:56:48 +0000383
384 // Run loop strength reduction before anything else.
385 if (getOptLevel() != CodeGenOpt::None && !DisableLSR) {
Chandler Carruth26c59fa2013-01-07 14:41:08 +0000386 addPass(createLoopStrengthReducePass());
Andrew Trickde401d32012-02-04 02:56:48 +0000387 if (PrintLSR)
Chandler Carruth9d805132014-01-12 11:30:46 +0000388 addPass(createPrintFunctionPass(dbgs(), "\n\n*** Code after LSR ***\n"));
Andrew Trickde401d32012-02-04 02:56:48 +0000389 }
390
Philip Reames23cf2e22015-01-28 19:28:03 +0000391 // Run GC lowering passes for builtin collectors
392 // TODO: add a pass insertion point here
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000393 addPass(createGCLoweringPass());
Philip Reames23cf2e22015-01-28 19:28:03 +0000394 addPass(createShadowStackGCLoweringPass());
Andrew Trickde401d32012-02-04 02:56:48 +0000395
396 // Make sure that no unreachable blocks are instruction selected.
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000397 addPass(createUnreachableBlockEliminationPass());
Juergen Ributzkaf26beda2014-01-25 02:02:55 +0000398
399 // Prepare expensive constants for SelectionDAG.
400 if (getOptLevel() != CodeGenOpt::None && !DisableConstantHoisting)
401 addPass(createConstantHoistingPass());
James Molloybc9fed82014-07-23 13:33:00 +0000402
403 if (getOptLevel() != CodeGenOpt::None && !DisablePartialLibcallInlining)
404 addPass(createPartiallyInlineLibCallsPass());
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000405}
406
407/// Turn exception handling constructs into something the code generators can
408/// handle.
409void TargetPassConfig::addPassesToHandleExceptions() {
410 switch (TM->getMCAsmInfo()->getExceptionHandlingType()) {
411 case ExceptionHandling::SjLj:
412 // SjLj piggy-backs on dwarf for this bit. The cleanups done apply to both
413 // Dwarf EH prepare needs to be run after SjLj prepare. Otherwise,
414 // catch info can get misplaced when a selector ends up more than one block
415 // removed from the parent invoke(s). This could happen when a landing
416 // pad is shared by multiple invokes and is also a target of a normal
417 // edge from elsewhere.
Bill Wendlingafc10362013-06-19 20:51:24 +0000418 addPass(createSjLjEHPreparePass(TM));
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000419 // FALLTHROUGH
420 case ExceptionHandling::DwarfCFI:
421 case ExceptionHandling::ARM:
Bill Wendlingafc10362013-06-19 20:51:24 +0000422 addPass(createDwarfEHPass(TM));
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000423 break;
Reid Kleckner1185fce2015-01-29 00:41:44 +0000424 case ExceptionHandling::WinEH:
Reid Kleckner47c8e7a2015-03-12 00:36:20 +0000425 // We support using both GCC-style and MSVC-style exceptions on Windows, so
426 // add both preparation passes. Each pass will only actually run if it
427 // recognizes the personality function.
Reid Kleckner1185fce2015-01-29 00:41:44 +0000428 addPass(createWinEHPass(TM));
Reid Kleckner47c8e7a2015-03-12 00:36:20 +0000429 addPass(createDwarfEHPass(TM));
Reid Kleckner1185fce2015-01-29 00:41:44 +0000430 break;
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000431 case ExceptionHandling::None:
Mark Seabornb6118c52014-03-20 19:54:47 +0000432 addPass(createLowerInvokePass());
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000433
434 // The lower invoke pass may create unreachable code. Remove it.
435 addPass(createUnreachableBlockEliminationPass());
436 break;
437 }
Andrew Trickf8ea1082012-02-04 02:56:59 +0000438}
Andrew Trickde401d32012-02-04 02:56:48 +0000439
Bill Wendlingc786b312012-11-30 22:08:55 +0000440/// Add pass to prepare the LLVM IR for code generation. This should be done
441/// before exception handling preparation passes.
442void TargetPassConfig::addCodeGenPrepare() {
443 if (getOptLevel() != CodeGenOpt::None && !DisableCGP)
Bill Wendling7a639ea2013-06-19 21:07:11 +0000444 addPass(createCodeGenPreparePass(TM));
Saleem Abdulrasoold2c5d7f2014-11-08 00:00:50 +0000445 addPass(createRewriteSymbolsPass());
Bill Wendlingc786b312012-11-30 22:08:55 +0000446}
447
Andrew Trickf8ea1082012-02-04 02:56:59 +0000448/// Add common passes that perform LLVM IR to IR transforms in preparation for
449/// instruction selection.
450void TargetPassConfig::addISelPrepare() {
Andrew Trickde401d32012-02-04 02:56:48 +0000451 addPreISel();
452
Josh Magee22b8ba22013-12-19 03:17:11 +0000453 addPass(createStackProtectorPass(TM));
454
Andrew Trickde401d32012-02-04 02:56:48 +0000455 if (PrintISelInput)
Chandler Carruth9d805132014-01-12 11:30:46 +0000456 addPass(createPrintFunctionPass(
457 dbgs(), "\n\n*** Final LLVM Code input to ISel ***\n"));
Andrew Trickde401d32012-02-04 02:56:48 +0000458
459 // All passes which modify the LLVM IR are now complete; run the verifier
460 // to ensure that the IR is valid.
461 if (!DisableVerify)
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000462 addPass(createVerifierPass());
Andrew Trickf8ea1082012-02-04 02:56:59 +0000463}
Andrew Trickde401d32012-02-04 02:56:48 +0000464
Andrew Trickf5426752012-02-09 00:40:55 +0000465/// Add the complete set of target-independent postISel code generator passes.
466///
467/// This can be read as the standard order of major LLVM CodeGen stages. Stages
468/// with nontrivial configuration or multiple passes are broken out below in
469/// add%Stage routines.
470///
471/// Any TargetPassConfig::addXX routine may be overriden by the Target. The
472/// addPre/Post methods with empty header implementations allow injecting
473/// target-specific fixups just before or after major stages. Additionally,
474/// targets have the flexibility to change pass order within a stage by
475/// overriding default implementation of add%Stage routines below. Each
476/// technique has maintainability tradeoffs because alternate pass orders are
477/// not well supported. addPre/Post works better if the target pass is easily
478/// tied to a common pass. But if it has subtle dependencies on multiple passes,
Andrew Trick09fc1bb2012-02-10 07:08:25 +0000479/// the target should override the stage instead.
Andrew Trickf5426752012-02-09 00:40:55 +0000480///
481/// TODO: We could use a single addPre/Post(ID) hook to allow pass injection
482/// before/after any target-independent pass. But it's currently overkill.
Andrew Trickf8ea1082012-02-04 02:56:59 +0000483void TargetPassConfig::addMachinePasses() {
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000484 AddingMachinePasses = true;
485
Bob Wilson33e51882012-05-30 00:17:12 +0000486 // Insert a machine instr printer pass after the specified pass.
487 // If -print-machineinstrs specified, print machineinstrs after all passes.
488 if (StringRef(PrintMachineInstrs.getValue()).equals(""))
489 TM->Options.PrintMachineCode = true;
490 else if (!StringRef(PrintMachineInstrs.getValue())
491 .equals("option-unspecified")) {
492 const PassRegistry *PR = PassRegistry::getPassRegistry();
493 const PassInfo *TPI = PR->getPassInfo(PrintMachineInstrs.getValue());
Akira Hatanaka7ba78302014-12-13 04:52:04 +0000494 const PassInfo *IPI = PR->getPassInfo(StringRef("machineinstr-printer"));
Bob Wilson33e51882012-05-30 00:17:12 +0000495 assert (TPI && IPI && "Pass ID not registered!");
Roman Divackyad06cee2012-09-05 22:26:57 +0000496 const char *TID = (const char *)(TPI->getTypeInfo());
497 const char *IID = (const char *)(IPI->getTypeInfo());
Bob Wilsonb9b69362012-07-02 19:48:37 +0000498 insertPass(TID, IID);
Bob Wilson33e51882012-05-30 00:17:12 +0000499 }
500
Jakob Stoklund Olesen29506f52012-07-04 19:28:27 +0000501 // Print the instruction selected machine code...
502 printAndVerify("After Instruction Selection");
503
Andrew Trickde401d32012-02-04 02:56:48 +0000504 // Expand pseudo-instructions emitted by ISel.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000505 addPass(&ExpandISelPseudosID);
Andrew Trickde401d32012-02-04 02:56:48 +0000506
Andrew Trickf5426752012-02-09 00:40:55 +0000507 // Add passes that optimize machine instructions in SSA form.
Andrew Trickde401d32012-02-04 02:56:48 +0000508 if (getOptLevel() != CodeGenOpt::None) {
Andrew Trickf5426752012-02-09 00:40:55 +0000509 addMachineSSAOptimization();
Craig Topper36f29122012-11-19 00:11:50 +0000510 } else {
Andrew Trickf5426752012-02-09 00:40:55 +0000511 // If the target requests it, assign local variables to stack slots relative
512 // to one another and simplify frame index references where possible.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000513 addPass(&LocalStackSlotAllocationID, false);
Andrew Trickde401d32012-02-04 02:56:48 +0000514 }
515
516 // Run pre-ra passes.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000517 addPreRegAlloc();
Andrew Trickde401d32012-02-04 02:56:48 +0000518
Andrew Trickf5426752012-02-09 00:40:55 +0000519 // Run register allocation and passes that are tightly coupled with it,
520 // including phi elimination and scheduling.
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000521 if (getOptimizeRegAlloc())
522 addOptimizedRegAlloc(createRegAllocPass(true));
523 else
524 addFastRegAlloc(createRegAllocPass(false));
Andrew Trickde401d32012-02-04 02:56:48 +0000525
526 // Run post-ra passes.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000527 addPostRegAlloc();
Andrew Trickde401d32012-02-04 02:56:48 +0000528
529 // Insert prolog/epilog code. Eliminate abstract frame index references...
Quentin Colombet61b305e2015-05-05 17:38:16 +0000530 if (getEnableShrinkWrap())
531 addPass(&ShrinkWrapID);
Bob Wilsonb9b69362012-07-02 19:48:37 +0000532 addPass(&PrologEpilogCodeInserterID);
Andrew Trickde401d32012-02-04 02:56:48 +0000533
Andrew Trickf5426752012-02-09 00:40:55 +0000534 /// Add passes that optimize machine instructions after register allocation.
535 if (getOptLevel() != CodeGenOpt::None)
536 addMachineLateOptimization();
Andrew Trickde401d32012-02-04 02:56:48 +0000537
538 // Expand pseudo instructions before second scheduling pass.
Bob Wilsonb9b69362012-07-02 19:48:37 +0000539 addPass(&ExpandPostRAPseudosID);
Andrew Trickde401d32012-02-04 02:56:48 +0000540
541 // Run pre-sched2 passes.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000542 addPreSched2();
Andrew Trickde401d32012-02-04 02:56:48 +0000543
544 // Second pass scheduler.
Andrew Tricke9a951c2012-02-15 03:21:51 +0000545 if (getOptLevel() != CodeGenOpt::None) {
Andrew Trick17080b92013-12-28 21:56:51 +0000546 if (MISchedPostRA)
547 addPass(&PostMachineSchedulerID);
548 else
549 addPass(&PostRASchedulerID);
Andrew Trickde401d32012-02-04 02:56:48 +0000550 }
551
Andrew Trickf5426752012-02-09 00:40:55 +0000552 // GC
Evan Cheng59421ae2012-12-21 02:57:04 +0000553 if (addGCPasses()) {
554 if (PrintGCInfo)
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000555 addPass(createGCInfoPrinter(dbgs()), false, false);
Evan Cheng59421ae2012-12-21 02:57:04 +0000556 }
Andrew Trickde401d32012-02-04 02:56:48 +0000557
Andrew Trickf5426752012-02-09 00:40:55 +0000558 // Basic block placement.
Andrew Tricke9a951c2012-02-15 03:21:51 +0000559 if (getOptLevel() != CodeGenOpt::None)
Andrew Trickf5426752012-02-09 00:40:55 +0000560 addBlockPlacement();
Andrew Trickde401d32012-02-04 02:56:48 +0000561
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000562 addPreEmitPass();
Juergen Ributzkae8294752013-12-14 06:53:06 +0000563
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000564 addPass(&StackMapLivenessID, false);
565
566 AddingMachinePasses = false;
Andrew Trickde401d32012-02-04 02:56:48 +0000567}
568
Andrew Trickf5426752012-02-09 00:40:55 +0000569/// Add passes that optimize machine instructions in SSA form.
570void TargetPassConfig::addMachineSSAOptimization() {
571 // Pre-ra tail duplication.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000572 addPass(&EarlyTailDuplicateID);
Andrew Trickf5426752012-02-09 00:40:55 +0000573
574 // Optimize PHIs before DCE: removing dead PHI cycles may make more
575 // instructions dead.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000576 addPass(&OptimizePHIsID, false);
Andrew Trickf5426752012-02-09 00:40:55 +0000577
Nadav Rotem7c277da2012-09-06 09:17:37 +0000578 // This pass merges large allocas. StackSlotColoring is a different pass
579 // which merges spill slots.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000580 addPass(&StackColoringID, false);
Nadav Rotem7c277da2012-09-06 09:17:37 +0000581
Andrew Trickf5426752012-02-09 00:40:55 +0000582 // If the target requests it, assign local variables to stack slots relative
583 // to one another and simplify frame index references where possible.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000584 addPass(&LocalStackSlotAllocationID, false);
Andrew Trickf5426752012-02-09 00:40:55 +0000585
586 // With optimization, dead code should already be eliminated. However
587 // there is one known exception: lowered code for arguments that are only
588 // used by tail calls, where the tail calls reuse the incoming stack
589 // arguments directly (see t11 in test/CodeGen/X86/sibcall.ll).
Bob Wilsonb9b69362012-07-02 19:48:37 +0000590 addPass(&DeadMachineInstructionElimID);
Andrew Trickf5426752012-02-09 00:40:55 +0000591
Jakob Stoklund Olesen213a2f82013-01-17 00:58:38 +0000592 // Allow targets to insert passes that improve instruction level parallelism,
593 // like if-conversion. Such passes will typically need dominator trees and
594 // loop info, just like LICM and CSE below.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000595 addILPOpts();
Jakob Stoklund Olesen213a2f82013-01-17 00:58:38 +0000596
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000597 addPass(&MachineLICMID, false);
598 addPass(&MachineCSEID, false);
Bob Wilsonb9b69362012-07-02 19:48:37 +0000599 addPass(&MachineSinkingID);
Andrew Trickf5426752012-02-09 00:40:55 +0000600
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000601 addPass(&PeepholeOptimizerID, false);
Quentin Colombet03e43f82014-08-20 17:41:48 +0000602 // Clean-up the dead code that may have been generated by peephole
603 // rewriting.
604 addPass(&DeadMachineInstructionElimID);
Andrew Trickf5426752012-02-09 00:40:55 +0000605}
606
Quentin Colombet61b305e2015-05-05 17:38:16 +0000607bool TargetPassConfig::getEnableShrinkWrap() const {
608 switch (EnableShrinkWrapOpt) {
609 case cl::BOU_UNSET:
610 return EnableShrinkWrap && getOptLevel() != CodeGenOpt::None;
611 // If EnableShrinkWrap is set, it takes precedence on whatever the
612 // target sets. The rational is that we assume we want to test
613 // something related to shrink-wrapping.
614 case cl::BOU_TRUE:
615 return true;
616 case cl::BOU_FALSE:
617 return false;
618 }
619 llvm_unreachable("Invalid shrink-wrapping state");
620}
621
Andrew Trickb7551332012-02-04 02:56:45 +0000622//===---------------------------------------------------------------------===//
Andrew Trickf5426752012-02-09 00:40:55 +0000623/// Register Allocation Pass Configuration
Jim Laskey29e635d2006-08-02 12:30:23 +0000624//===---------------------------------------------------------------------===//
Andrew Trickf5426752012-02-09 00:40:55 +0000625
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000626bool TargetPassConfig::getOptimizeRegAlloc() const {
627 switch (OptimizeRegAlloc) {
628 case cl::BOU_UNSET: return getOptLevel() != CodeGenOpt::None;
629 case cl::BOU_TRUE: return true;
630 case cl::BOU_FALSE: return false;
631 }
632 llvm_unreachable("Invalid optimize-regalloc state");
633}
634
Andrew Trickf5426752012-02-09 00:40:55 +0000635/// RegisterRegAlloc's global Registry tracks allocator registration.
Jim Laskey29e635d2006-08-02 12:30:23 +0000636MachinePassRegistry RegisterRegAlloc::Registry;
637
Andrew Trickf5426752012-02-09 00:40:55 +0000638/// A dummy default pass factory indicates whether the register allocator is
639/// overridden on the command line.
Craig Topperc0196b12014-04-14 00:51:57 +0000640static FunctionPass *useDefaultRegisterAllocator() { return nullptr; }
Jakob Stoklund Olesenb613ae22010-05-27 23:57:25 +0000641static RegisterRegAlloc
642defaultRegAlloc("default",
643 "pick register allocator based on -O option",
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000644 useDefaultRegisterAllocator);
Jim Laskey29e635d2006-08-02 12:30:23 +0000645
Andrew Trickf5426752012-02-09 00:40:55 +0000646/// -regalloc=... command line option.
Dan Gohmand78c4002008-05-13 00:00:25 +0000647static cl::opt<RegisterRegAlloc::FunctionPassCtor, false,
648 RegisterPassParser<RegisterRegAlloc> >
649RegAlloc("regalloc",
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000650 cl::init(&useDefaultRegisterAllocator),
Jakob Stoklund Olesenb613ae22010-05-27 23:57:25 +0000651 cl::desc("Register allocator to use"));
Alkis Evlogimenos5facafa2003-10-02 16:57:49 +0000652
Jim Laskey29e635d2006-08-02 12:30:23 +0000653
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000654/// Instantiate the default register allocator pass for this target for either
655/// the optimized or unoptimized allocation path. This will be added to the pass
656/// manager by addFastRegAlloc in the unoptimized case or addOptimizedRegAlloc
657/// in the optimized case.
658///
659/// A target that uses the standard regalloc pass order for fast or optimized
660/// allocation may still override this for per-target regalloc
661/// selection. But -regalloc=... always takes precedence.
662FunctionPass *TargetPassConfig::createTargetRegisterAllocator(bool Optimized) {
663 if (Optimized)
664 return createGreedyRegisterAllocator();
665 else
666 return createFastRegisterAllocator();
667}
668
669/// Find and instantiate the register allocation pass requested by this target
670/// at the current optimization level. Different register allocators are
671/// defined as separate passes because they may require different analysis.
672///
673/// This helper ensures that the regalloc= option is always available,
674/// even for targets that override the default allocator.
675///
676/// FIXME: When MachinePassRegistry register pass IDs instead of function ptrs,
677/// this can be folded into addPass.
678FunctionPass *TargetPassConfig::createRegAllocPass(bool Optimized) {
Jim Laskey03593f72006-08-01 18:29:48 +0000679 RegisterRegAlloc::FunctionPassCtor Ctor = RegisterRegAlloc::getDefault();
Jakob Stoklund Olesenb613ae22010-05-27 23:57:25 +0000680
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000681 // Initialize the global default.
Jim Laskey95eda5b2006-08-01 14:21:23 +0000682 if (!Ctor) {
Jim Laskey29e635d2006-08-02 12:30:23 +0000683 Ctor = RegAlloc;
684 RegisterRegAlloc::setDefault(RegAlloc);
Jim Laskey95eda5b2006-08-01 14:21:23 +0000685 }
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000686 if (Ctor != useDefaultRegisterAllocator)
Jakob Stoklund Olesenb613ae22010-05-27 23:57:25 +0000687 return Ctor();
688
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000689 // With no -regalloc= override, ask the target for a regalloc pass.
690 return createTargetRegisterAllocator(Optimized);
691}
692
Arnaud A. de Grandmaisona61262f2014-10-21 20:47:22 +0000693/// Return true if the default global register allocator is in use and
694/// has not be overriden on the command line with '-regalloc=...'
695bool TargetPassConfig::usingDefaultRegAlloc() const {
Arnaud A. de Grandmaison5c7fe7e92014-10-21 21:50:49 +0000696 return RegAlloc.getNumOccurrences() == 0;
Arnaud A. de Grandmaisona61262f2014-10-21 20:47:22 +0000697}
698
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000699/// Add the minimum set of target-independent passes that are required for
700/// register allocation. No coalescing or scheduling.
701void TargetPassConfig::addFastRegAlloc(FunctionPass *RegAllocPass) {
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000702 addPass(&PHIEliminationID, false);
703 addPass(&TwoAddressInstructionPassID, false);
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000704
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000705 addPass(RegAllocPass);
Jim Laskeyd1a714e2006-07-27 20:05:00 +0000706}
Andrew Trickf5426752012-02-09 00:40:55 +0000707
708/// Add standard target-independent passes that are tightly coupled with
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000709/// optimized register allocation, including coalescing, machine instruction
710/// scheduling, and register allocation itself.
711void TargetPassConfig::addOptimizedRegAlloc(FunctionPass *RegAllocPass) {
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000712 addPass(&ProcessImplicitDefsID, false);
Jakob Stoklund Oleseneb495662012-06-25 18:12:18 +0000713
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000714 // LiveVariables currently requires pure SSA form.
715 //
716 // FIXME: Once TwoAddressInstruction pass no longer uses kill flags,
717 // LiveVariables can be removed completely, and LiveIntervals can be directly
718 // computed. (We still either need to regenerate kill flags after regalloc, or
719 // preferably fix the scavenger to not depend on them).
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000720 addPass(&LiveVariablesID, false);
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000721
Rafael Espindola9770bde2013-10-14 16:39:04 +0000722 // Edge splitting is smarter with machine loop info.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000723 addPass(&MachineLoopInfoID, false);
724 addPass(&PHIEliminationID, false);
Jakob Stoklund Olesen1c465892012-08-03 22:12:54 +0000725
726 // Eventually, we want to run LiveIntervals before PHI elimination.
727 if (EarlyLiveIntervals)
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000728 addPass(&LiveIntervalsID, false);
Jakob Stoklund Olesen1c465892012-08-03 22:12:54 +0000729
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000730 addPass(&TwoAddressInstructionPassID, false);
Bob Wilsonb9b69362012-07-02 19:48:37 +0000731 addPass(&RegisterCoalescerID);
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000732
733 // PreRA instruction scheduling.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000734 addPass(&MachineSchedulerID);
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000735
736 // Add the selected register allocation pass.
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000737 addPass(RegAllocPass);
Jakob Stoklund Olesen59a0d322012-06-26 17:09:29 +0000738
739 // Allow targets to change the register assignments before rewriting.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000740 addPreRewrite();
Andrew Trickf5426752012-02-09 00:40:55 +0000741
Jakob Stoklund Olesen12243122012-06-08 23:44:45 +0000742 // Finally rewrite virtual registers.
Bob Wilsonb9b69362012-07-02 19:48:37 +0000743 addPass(&VirtRegRewriterID);
Jakob Stoklund Olesen12243122012-06-08 23:44:45 +0000744
Andrew Trickf5426752012-02-09 00:40:55 +0000745 // Perform stack slot coloring and post-ra machine LICM.
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000746 //
747 // FIXME: Re-enable coloring with register when it's capable of adding
748 // kill markers.
Bob Wilsonb9b69362012-07-02 19:48:37 +0000749 addPass(&StackSlotColoringID);
Andrew Trick899f46c2012-02-15 07:57:03 +0000750
751 // Run post-ra machine LICM to hoist reloads / remats.
752 //
753 // FIXME: can this move into MachineLateOptimization?
Bob Wilsonb9b69362012-07-02 19:48:37 +0000754 addPass(&PostRAMachineLICMID);
Andrew Trickf5426752012-02-09 00:40:55 +0000755}
756
757//===---------------------------------------------------------------------===//
758/// Post RegAlloc Pass Configuration
759//===---------------------------------------------------------------------===//
760
761/// Add passes that optimize machine instructions after register allocation.
762void TargetPassConfig::addMachineLateOptimization() {
763 // Branch folding must be run after regalloc and prolog/epilog insertion.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000764 addPass(&BranchFolderPassID);
Andrew Trickf5426752012-02-09 00:40:55 +0000765
766 // Tail duplication.
Vincent Lejeune92b0a642013-12-07 01:49:19 +0000767 // Note that duplicating tail just increases code size and degrades
768 // performance for targets that require Structured Control Flow.
769 // In addition it can also make CFG irreducible. Thus we disable it.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000770 if (!TM->requiresStructuredCFG())
771 addPass(&TailDuplicateID);
Andrew Trickf5426752012-02-09 00:40:55 +0000772
773 // Copy propagation.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000774 addPass(&MachineCopyPropagationID);
Andrew Trickf5426752012-02-09 00:40:55 +0000775}
776
Evan Cheng59421ae2012-12-21 02:57:04 +0000777/// Add standard GC passes.
778bool TargetPassConfig::addGCPasses() {
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000779 addPass(&GCMachineCodeAnalysisID, false);
Evan Cheng59421ae2012-12-21 02:57:04 +0000780 return true;
781}
782
Andrew Trickf5426752012-02-09 00:40:55 +0000783/// Add standard basic block placement passes.
784void TargetPassConfig::addBlockPlacement() {
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000785 if (addPass(&MachineBlockPlacementID, false)) {
Andrew Tricke9a951c2012-02-15 03:21:51 +0000786 // Run a separate pass to collect block placement statistics.
787 if (EnableBlockPlacementStats)
Bob Wilsonb9b69362012-07-02 19:48:37 +0000788 addPass(&MachineBlockPlacementStatsID);
Andrew Trickf5426752012-02-09 00:40:55 +0000789 }
790}