blob: 4cd86e66c0e866b0eb1c53cf2cafc6f7f2be49f7 [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 }
Akira Hatanakac100c562015-06-05 21:58:14 +0000298
299 // Add the passes after the pass P if there is any.
300 for (SmallVectorImpl<std::pair<AnalysisID, IdentifyingPassPtr> >::iterator
301 I = Impl->InsertedPasses.begin(),
302 E = Impl->InsertedPasses.end();
303 I != E; ++I) {
304 if ((*I).first == PassID) {
305 assert((*I).second.isValid() && "Illegal Pass ID!");
306 Pass *NP;
307 if ((*I).second.isInstance())
308 NP = (*I).second.getInstance();
309 else {
310 NP = Pass::createPass((*I).second.getID());
311 assert(NP && "Pass ID not registered");
312 }
313 addPass(NP, false, false);
314 }
315 }
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000316 } else {
Benjamin Kramer483b9fb2013-08-05 11:11:11 +0000317 delete P;
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000318 }
Chandler Carruth34263a02012-07-02 22:56:41 +0000319 if (StopAfter == PassID)
Bob Wilsoncac3b902012-07-02 19:48:45 +0000320 Stopped = true;
Chandler Carruth34263a02012-07-02 22:56:41 +0000321 if (StartAfter == PassID)
Bob Wilsoncac3b902012-07-02 19:48:45 +0000322 Started = true;
323 if (Stopped && !Started)
324 report_fatal_error("Cannot stop compilation after pass that is not run");
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000325}
326
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000327/// Add a CodeGen pass at this point in the pipeline after checking for target
328/// and command line overrides.
Andrew Tricke2203232013-04-10 01:06:56 +0000329///
330/// addPass cannot return a pointer to the pass instance because is internal the
331/// PassManager and the instance we create here may already be freed.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000332AnalysisID TargetPassConfig::addPass(AnalysisID PassID, bool verifyAfter,
333 bool printAfter) {
Andrew Tricke2203232013-04-10 01:06:56 +0000334 IdentifyingPassPtr TargetID = getPassSubstitution(PassID);
335 IdentifyingPassPtr FinalPtr = overridePass(PassID, TargetID);
336 if (!FinalPtr.isValid())
Craig Topperc0196b12014-04-14 00:51:57 +0000337 return nullptr;
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000338
Andrew Tricke2203232013-04-10 01:06:56 +0000339 Pass *P;
340 if (FinalPtr.isInstance())
341 P = FinalPtr.getInstance();
342 else {
343 P = Pass::createPass(FinalPtr.getID());
344 if (!P)
345 llvm_unreachable("Pass ID not registered");
346 }
347 AnalysisID FinalID = P->getPassID();
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000348 addPass(P, verifyAfter, printAfter); // Ends the lifetime of P.
Andrew Tricke2203232013-04-10 01:06:56 +0000349
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000350 return FinalID;
Andrew Trickf8ea1082012-02-04 02:56:59 +0000351}
Andrew Trickde401d32012-02-04 02:56:48 +0000352
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000353void TargetPassConfig::printAndVerify(const std::string &Banner) {
354 addPrintPass(Banner);
355 addVerifyPass(Banner);
356}
Matthias Brauna7c82a92014-12-11 19:42:05 +0000357
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000358void TargetPassConfig::addPrintPass(const std::string &Banner) {
359 if (TM->shouldPrintMachineCode())
360 PM->add(createMachineFunctionPrinterPass(dbgs(), Banner));
361}
362
363void TargetPassConfig::addVerifyPass(const std::string &Banner) {
Andrew Trickde401d32012-02-04 02:56:48 +0000364 if (VerifyMachineCode)
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000365 PM->add(createMachineVerifierPass(Banner));
Andrew Trickde401d32012-02-04 02:56:48 +0000366}
367
Andrew Trickf8ea1082012-02-04 02:56:59 +0000368/// Add common target configurable passes that perform LLVM IR to IR transforms
369/// following machine independent optimization.
370void TargetPassConfig::addIRPasses() {
Andrew Trickde401d32012-02-04 02:56:48 +0000371 // Basic AliasAnalysis support.
372 // Add TypeBasedAliasAnalysis before BasicAliasAnalysis so that
373 // BasicAliasAnalysis wins if they disagree. This is intended to help
374 // support "obvious" type-punning idioms.
Hal Finkel445dda52014-09-02 22:12:54 +0000375 if (UseCFLAA)
376 addPass(createCFLAliasAnalysisPass());
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000377 addPass(createTypeBasedAliasAnalysisPass());
Hal Finkel94146652014-07-24 14:25:39 +0000378 addPass(createScopedNoAliasAAPass());
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000379 addPass(createBasicAliasAnalysisPass());
Andrew Trickde401d32012-02-04 02:56:48 +0000380
381 // Before running any passes, run the verifier to determine if the input
382 // coming from the front-end and/or optimizer is valid.
Duncan P. N. Exon Smithab58a562015-03-19 22:24:17 +0000383 if (!DisableVerify)
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000384 addPass(createVerifierPass());
Andrew Trickde401d32012-02-04 02:56:48 +0000385
386 // Run loop strength reduction before anything else.
387 if (getOptLevel() != CodeGenOpt::None && !DisableLSR) {
Chandler Carruth26c59fa2013-01-07 14:41:08 +0000388 addPass(createLoopStrengthReducePass());
Andrew Trickde401d32012-02-04 02:56:48 +0000389 if (PrintLSR)
Chandler Carruth9d805132014-01-12 11:30:46 +0000390 addPass(createPrintFunctionPass(dbgs(), "\n\n*** Code after LSR ***\n"));
Andrew Trickde401d32012-02-04 02:56:48 +0000391 }
392
Philip Reames23cf2e22015-01-28 19:28:03 +0000393 // Run GC lowering passes for builtin collectors
394 // TODO: add a pass insertion point here
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000395 addPass(createGCLoweringPass());
Philip Reames23cf2e22015-01-28 19:28:03 +0000396 addPass(createShadowStackGCLoweringPass());
Andrew Trickde401d32012-02-04 02:56:48 +0000397
398 // Make sure that no unreachable blocks are instruction selected.
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000399 addPass(createUnreachableBlockEliminationPass());
Juergen Ributzkaf26beda2014-01-25 02:02:55 +0000400
401 // Prepare expensive constants for SelectionDAG.
402 if (getOptLevel() != CodeGenOpt::None && !DisableConstantHoisting)
403 addPass(createConstantHoistingPass());
James Molloybc9fed82014-07-23 13:33:00 +0000404
405 if (getOptLevel() != CodeGenOpt::None && !DisablePartialLibcallInlining)
406 addPass(createPartiallyInlineLibCallsPass());
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000407}
408
409/// Turn exception handling constructs into something the code generators can
410/// handle.
411void TargetPassConfig::addPassesToHandleExceptions() {
412 switch (TM->getMCAsmInfo()->getExceptionHandlingType()) {
413 case ExceptionHandling::SjLj:
414 // SjLj piggy-backs on dwarf for this bit. The cleanups done apply to both
415 // Dwarf EH prepare needs to be run after SjLj prepare. Otherwise,
416 // catch info can get misplaced when a selector ends up more than one block
417 // removed from the parent invoke(s). This could happen when a landing
418 // pad is shared by multiple invokes and is also a target of a normal
419 // edge from elsewhere.
Bill Wendlingafc10362013-06-19 20:51:24 +0000420 addPass(createSjLjEHPreparePass(TM));
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000421 // FALLTHROUGH
422 case ExceptionHandling::DwarfCFI:
423 case ExceptionHandling::ARM:
Bill Wendlingafc10362013-06-19 20:51:24 +0000424 addPass(createDwarfEHPass(TM));
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000425 break;
Reid Kleckner1185fce2015-01-29 00:41:44 +0000426 case ExceptionHandling::WinEH:
Reid Kleckner47c8e7a2015-03-12 00:36:20 +0000427 // We support using both GCC-style and MSVC-style exceptions on Windows, so
428 // add both preparation passes. Each pass will only actually run if it
429 // recognizes the personality function.
Reid Kleckner1185fce2015-01-29 00:41:44 +0000430 addPass(createWinEHPass(TM));
Reid Kleckner47c8e7a2015-03-12 00:36:20 +0000431 addPass(createDwarfEHPass(TM));
Reid Kleckner1185fce2015-01-29 00:41:44 +0000432 break;
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000433 case ExceptionHandling::None:
Mark Seabornb6118c52014-03-20 19:54:47 +0000434 addPass(createLowerInvokePass());
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000435
436 // The lower invoke pass may create unreachable code. Remove it.
437 addPass(createUnreachableBlockEliminationPass());
438 break;
439 }
Andrew Trickf8ea1082012-02-04 02:56:59 +0000440}
Andrew Trickde401d32012-02-04 02:56:48 +0000441
Bill Wendlingc786b312012-11-30 22:08:55 +0000442/// Add pass to prepare the LLVM IR for code generation. This should be done
443/// before exception handling preparation passes.
444void TargetPassConfig::addCodeGenPrepare() {
445 if (getOptLevel() != CodeGenOpt::None && !DisableCGP)
Bill Wendling7a639ea2013-06-19 21:07:11 +0000446 addPass(createCodeGenPreparePass(TM));
Saleem Abdulrasoold2c5d7f2014-11-08 00:00:50 +0000447 addPass(createRewriteSymbolsPass());
Bill Wendlingc786b312012-11-30 22:08:55 +0000448}
449
Andrew Trickf8ea1082012-02-04 02:56:59 +0000450/// Add common passes that perform LLVM IR to IR transforms in preparation for
451/// instruction selection.
452void TargetPassConfig::addISelPrepare() {
Andrew Trickde401d32012-02-04 02:56:48 +0000453 addPreISel();
454
Josh Magee22b8ba22013-12-19 03:17:11 +0000455 addPass(createStackProtectorPass(TM));
456
Andrew Trickde401d32012-02-04 02:56:48 +0000457 if (PrintISelInput)
Chandler Carruth9d805132014-01-12 11:30:46 +0000458 addPass(createPrintFunctionPass(
459 dbgs(), "\n\n*** Final LLVM Code input to ISel ***\n"));
Andrew Trickde401d32012-02-04 02:56:48 +0000460
461 // All passes which modify the LLVM IR are now complete; run the verifier
462 // to ensure that the IR is valid.
463 if (!DisableVerify)
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000464 addPass(createVerifierPass());
Andrew Trickf8ea1082012-02-04 02:56:59 +0000465}
Andrew Trickde401d32012-02-04 02:56:48 +0000466
Andrew Trickf5426752012-02-09 00:40:55 +0000467/// Add the complete set of target-independent postISel code generator passes.
468///
469/// This can be read as the standard order of major LLVM CodeGen stages. Stages
470/// with nontrivial configuration or multiple passes are broken out below in
471/// add%Stage routines.
472///
473/// Any TargetPassConfig::addXX routine may be overriden by the Target. The
474/// addPre/Post methods with empty header implementations allow injecting
475/// target-specific fixups just before or after major stages. Additionally,
476/// targets have the flexibility to change pass order within a stage by
477/// overriding default implementation of add%Stage routines below. Each
478/// technique has maintainability tradeoffs because alternate pass orders are
479/// not well supported. addPre/Post works better if the target pass is easily
480/// tied to a common pass. But if it has subtle dependencies on multiple passes,
Andrew Trick09fc1bb2012-02-10 07:08:25 +0000481/// the target should override the stage instead.
Andrew Trickf5426752012-02-09 00:40:55 +0000482///
483/// TODO: We could use a single addPre/Post(ID) hook to allow pass injection
484/// before/after any target-independent pass. But it's currently overkill.
Andrew Trickf8ea1082012-02-04 02:56:59 +0000485void TargetPassConfig::addMachinePasses() {
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000486 AddingMachinePasses = true;
487
Bob Wilson33e51882012-05-30 00:17:12 +0000488 // Insert a machine instr printer pass after the specified pass.
489 // If -print-machineinstrs specified, print machineinstrs after all passes.
490 if (StringRef(PrintMachineInstrs.getValue()).equals(""))
491 TM->Options.PrintMachineCode = true;
492 else if (!StringRef(PrintMachineInstrs.getValue())
493 .equals("option-unspecified")) {
494 const PassRegistry *PR = PassRegistry::getPassRegistry();
495 const PassInfo *TPI = PR->getPassInfo(PrintMachineInstrs.getValue());
Akira Hatanaka7ba78302014-12-13 04:52:04 +0000496 const PassInfo *IPI = PR->getPassInfo(StringRef("machineinstr-printer"));
Bob Wilson33e51882012-05-30 00:17:12 +0000497 assert (TPI && IPI && "Pass ID not registered!");
Roman Divackyad06cee2012-09-05 22:26:57 +0000498 const char *TID = (const char *)(TPI->getTypeInfo());
499 const char *IID = (const char *)(IPI->getTypeInfo());
Bob Wilsonb9b69362012-07-02 19:48:37 +0000500 insertPass(TID, IID);
Bob Wilson33e51882012-05-30 00:17:12 +0000501 }
502
Jakob Stoklund Olesen29506f52012-07-04 19:28:27 +0000503 // Print the instruction selected machine code...
504 printAndVerify("After Instruction Selection");
505
Andrew Trickde401d32012-02-04 02:56:48 +0000506 // Expand pseudo-instructions emitted by ISel.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000507 addPass(&ExpandISelPseudosID);
Andrew Trickde401d32012-02-04 02:56:48 +0000508
Andrew Trickf5426752012-02-09 00:40:55 +0000509 // Add passes that optimize machine instructions in SSA form.
Andrew Trickde401d32012-02-04 02:56:48 +0000510 if (getOptLevel() != CodeGenOpt::None) {
Andrew Trickf5426752012-02-09 00:40:55 +0000511 addMachineSSAOptimization();
Craig Topper36f29122012-11-19 00:11:50 +0000512 } else {
Andrew Trickf5426752012-02-09 00:40:55 +0000513 // If the target requests it, assign local variables to stack slots relative
514 // to one another and simplify frame index references where possible.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000515 addPass(&LocalStackSlotAllocationID, false);
Andrew Trickde401d32012-02-04 02:56:48 +0000516 }
517
518 // Run pre-ra passes.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000519 addPreRegAlloc();
Andrew Trickde401d32012-02-04 02:56:48 +0000520
Andrew Trickf5426752012-02-09 00:40:55 +0000521 // Run register allocation and passes that are tightly coupled with it,
522 // including phi elimination and scheduling.
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000523 if (getOptimizeRegAlloc())
524 addOptimizedRegAlloc(createRegAllocPass(true));
525 else
526 addFastRegAlloc(createRegAllocPass(false));
Andrew Trickde401d32012-02-04 02:56:48 +0000527
528 // Run post-ra passes.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000529 addPostRegAlloc();
Andrew Trickde401d32012-02-04 02:56:48 +0000530
531 // Insert prolog/epilog code. Eliminate abstract frame index references...
Quentin Colombet61b305e2015-05-05 17:38:16 +0000532 if (getEnableShrinkWrap())
533 addPass(&ShrinkWrapID);
Bob Wilsonb9b69362012-07-02 19:48:37 +0000534 addPass(&PrologEpilogCodeInserterID);
Andrew Trickde401d32012-02-04 02:56:48 +0000535
Andrew Trickf5426752012-02-09 00:40:55 +0000536 /// Add passes that optimize machine instructions after register allocation.
537 if (getOptLevel() != CodeGenOpt::None)
538 addMachineLateOptimization();
Andrew Trickde401d32012-02-04 02:56:48 +0000539
540 // Expand pseudo instructions before second scheduling pass.
Bob Wilsonb9b69362012-07-02 19:48:37 +0000541 addPass(&ExpandPostRAPseudosID);
Andrew Trickde401d32012-02-04 02:56:48 +0000542
543 // Run pre-sched2 passes.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000544 addPreSched2();
Andrew Trickde401d32012-02-04 02:56:48 +0000545
546 // Second pass scheduler.
Andrew Tricke9a951c2012-02-15 03:21:51 +0000547 if (getOptLevel() != CodeGenOpt::None) {
Andrew Trick17080b92013-12-28 21:56:51 +0000548 if (MISchedPostRA)
549 addPass(&PostMachineSchedulerID);
550 else
551 addPass(&PostRASchedulerID);
Andrew Trickde401d32012-02-04 02:56:48 +0000552 }
553
Andrew Trickf5426752012-02-09 00:40:55 +0000554 // GC
Evan Cheng59421ae2012-12-21 02:57:04 +0000555 if (addGCPasses()) {
556 if (PrintGCInfo)
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000557 addPass(createGCInfoPrinter(dbgs()), false, false);
Evan Cheng59421ae2012-12-21 02:57:04 +0000558 }
Andrew Trickde401d32012-02-04 02:56:48 +0000559
Andrew Trickf5426752012-02-09 00:40:55 +0000560 // Basic block placement.
Andrew Tricke9a951c2012-02-15 03:21:51 +0000561 if (getOptLevel() != CodeGenOpt::None)
Andrew Trickf5426752012-02-09 00:40:55 +0000562 addBlockPlacement();
Andrew Trickde401d32012-02-04 02:56:48 +0000563
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000564 addPreEmitPass();
Juergen Ributzkae8294752013-12-14 06:53:06 +0000565
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000566 addPass(&StackMapLivenessID, false);
567
568 AddingMachinePasses = false;
Andrew Trickde401d32012-02-04 02:56:48 +0000569}
570
Andrew Trickf5426752012-02-09 00:40:55 +0000571/// Add passes that optimize machine instructions in SSA form.
572void TargetPassConfig::addMachineSSAOptimization() {
573 // Pre-ra tail duplication.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000574 addPass(&EarlyTailDuplicateID);
Andrew Trickf5426752012-02-09 00:40:55 +0000575
576 // Optimize PHIs before DCE: removing dead PHI cycles may make more
577 // instructions dead.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000578 addPass(&OptimizePHIsID, false);
Andrew Trickf5426752012-02-09 00:40:55 +0000579
Nadav Rotem7c277da2012-09-06 09:17:37 +0000580 // This pass merges large allocas. StackSlotColoring is a different pass
581 // which merges spill slots.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000582 addPass(&StackColoringID, false);
Nadav Rotem7c277da2012-09-06 09:17:37 +0000583
Andrew Trickf5426752012-02-09 00:40:55 +0000584 // If the target requests it, assign local variables to stack slots relative
585 // to one another and simplify frame index references where possible.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000586 addPass(&LocalStackSlotAllocationID, false);
Andrew Trickf5426752012-02-09 00:40:55 +0000587
588 // With optimization, dead code should already be eliminated. However
589 // there is one known exception: lowered code for arguments that are only
590 // used by tail calls, where the tail calls reuse the incoming stack
591 // arguments directly (see t11 in test/CodeGen/X86/sibcall.ll).
Bob Wilsonb9b69362012-07-02 19:48:37 +0000592 addPass(&DeadMachineInstructionElimID);
Andrew Trickf5426752012-02-09 00:40:55 +0000593
Jakob Stoklund Olesen213a2f82013-01-17 00:58:38 +0000594 // Allow targets to insert passes that improve instruction level parallelism,
595 // like if-conversion. Such passes will typically need dominator trees and
596 // loop info, just like LICM and CSE below.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000597 addILPOpts();
Jakob Stoklund Olesen213a2f82013-01-17 00:58:38 +0000598
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000599 addPass(&MachineLICMID, false);
600 addPass(&MachineCSEID, false);
Bob Wilsonb9b69362012-07-02 19:48:37 +0000601 addPass(&MachineSinkingID);
Andrew Trickf5426752012-02-09 00:40:55 +0000602
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000603 addPass(&PeepholeOptimizerID, false);
Quentin Colombet03e43f82014-08-20 17:41:48 +0000604 // Clean-up the dead code that may have been generated by peephole
605 // rewriting.
606 addPass(&DeadMachineInstructionElimID);
Andrew Trickf5426752012-02-09 00:40:55 +0000607}
608
Quentin Colombet61b305e2015-05-05 17:38:16 +0000609bool TargetPassConfig::getEnableShrinkWrap() const {
610 switch (EnableShrinkWrapOpt) {
611 case cl::BOU_UNSET:
612 return EnableShrinkWrap && getOptLevel() != CodeGenOpt::None;
613 // If EnableShrinkWrap is set, it takes precedence on whatever the
614 // target sets. The rational is that we assume we want to test
615 // something related to shrink-wrapping.
616 case cl::BOU_TRUE:
617 return true;
618 case cl::BOU_FALSE:
619 return false;
620 }
621 llvm_unreachable("Invalid shrink-wrapping state");
622}
623
Andrew Trickb7551332012-02-04 02:56:45 +0000624//===---------------------------------------------------------------------===//
Andrew Trickf5426752012-02-09 00:40:55 +0000625/// Register Allocation Pass Configuration
Jim Laskey29e635d2006-08-02 12:30:23 +0000626//===---------------------------------------------------------------------===//
Andrew Trickf5426752012-02-09 00:40:55 +0000627
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000628bool TargetPassConfig::getOptimizeRegAlloc() const {
629 switch (OptimizeRegAlloc) {
630 case cl::BOU_UNSET: return getOptLevel() != CodeGenOpt::None;
631 case cl::BOU_TRUE: return true;
632 case cl::BOU_FALSE: return false;
633 }
634 llvm_unreachable("Invalid optimize-regalloc state");
635}
636
Andrew Trickf5426752012-02-09 00:40:55 +0000637/// RegisterRegAlloc's global Registry tracks allocator registration.
Jim Laskey29e635d2006-08-02 12:30:23 +0000638MachinePassRegistry RegisterRegAlloc::Registry;
639
Andrew Trickf5426752012-02-09 00:40:55 +0000640/// A dummy default pass factory indicates whether the register allocator is
641/// overridden on the command line.
Craig Topperc0196b12014-04-14 00:51:57 +0000642static FunctionPass *useDefaultRegisterAllocator() { return nullptr; }
Jakob Stoklund Olesenb613ae22010-05-27 23:57:25 +0000643static RegisterRegAlloc
644defaultRegAlloc("default",
645 "pick register allocator based on -O option",
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000646 useDefaultRegisterAllocator);
Jim Laskey29e635d2006-08-02 12:30:23 +0000647
Andrew Trickf5426752012-02-09 00:40:55 +0000648/// -regalloc=... command line option.
Dan Gohmand78c4002008-05-13 00:00:25 +0000649static cl::opt<RegisterRegAlloc::FunctionPassCtor, false,
650 RegisterPassParser<RegisterRegAlloc> >
651RegAlloc("regalloc",
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000652 cl::init(&useDefaultRegisterAllocator),
Jakob Stoklund Olesenb613ae22010-05-27 23:57:25 +0000653 cl::desc("Register allocator to use"));
Alkis Evlogimenos5facafa2003-10-02 16:57:49 +0000654
Jim Laskey29e635d2006-08-02 12:30:23 +0000655
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000656/// Instantiate the default register allocator pass for this target for either
657/// the optimized or unoptimized allocation path. This will be added to the pass
658/// manager by addFastRegAlloc in the unoptimized case or addOptimizedRegAlloc
659/// in the optimized case.
660///
661/// A target that uses the standard regalloc pass order for fast or optimized
662/// allocation may still override this for per-target regalloc
663/// selection. But -regalloc=... always takes precedence.
664FunctionPass *TargetPassConfig::createTargetRegisterAllocator(bool Optimized) {
665 if (Optimized)
666 return createGreedyRegisterAllocator();
667 else
668 return createFastRegisterAllocator();
669}
670
671/// Find and instantiate the register allocation pass requested by this target
672/// at the current optimization level. Different register allocators are
673/// defined as separate passes because they may require different analysis.
674///
675/// This helper ensures that the regalloc= option is always available,
676/// even for targets that override the default allocator.
677///
678/// FIXME: When MachinePassRegistry register pass IDs instead of function ptrs,
679/// this can be folded into addPass.
680FunctionPass *TargetPassConfig::createRegAllocPass(bool Optimized) {
Jim Laskey03593f72006-08-01 18:29:48 +0000681 RegisterRegAlloc::FunctionPassCtor Ctor = RegisterRegAlloc::getDefault();
Jakob Stoklund Olesenb613ae22010-05-27 23:57:25 +0000682
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000683 // Initialize the global default.
Jim Laskey95eda5b2006-08-01 14:21:23 +0000684 if (!Ctor) {
Jim Laskey29e635d2006-08-02 12:30:23 +0000685 Ctor = RegAlloc;
686 RegisterRegAlloc::setDefault(RegAlloc);
Jim Laskey95eda5b2006-08-01 14:21:23 +0000687 }
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000688 if (Ctor != useDefaultRegisterAllocator)
Jakob Stoklund Olesenb613ae22010-05-27 23:57:25 +0000689 return Ctor();
690
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000691 // With no -regalloc= override, ask the target for a regalloc pass.
692 return createTargetRegisterAllocator(Optimized);
693}
694
Arnaud A. de Grandmaisona61262f2014-10-21 20:47:22 +0000695/// Return true if the default global register allocator is in use and
696/// has not be overriden on the command line with '-regalloc=...'
697bool TargetPassConfig::usingDefaultRegAlloc() const {
Arnaud A. de Grandmaison5c7fe7e92014-10-21 21:50:49 +0000698 return RegAlloc.getNumOccurrences() == 0;
Arnaud A. de Grandmaisona61262f2014-10-21 20:47:22 +0000699}
700
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000701/// Add the minimum set of target-independent passes that are required for
702/// register allocation. No coalescing or scheduling.
703void TargetPassConfig::addFastRegAlloc(FunctionPass *RegAllocPass) {
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000704 addPass(&PHIEliminationID, false);
705 addPass(&TwoAddressInstructionPassID, false);
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000706
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000707 addPass(RegAllocPass);
Jim Laskeyd1a714e2006-07-27 20:05:00 +0000708}
Andrew Trickf5426752012-02-09 00:40:55 +0000709
710/// Add standard target-independent passes that are tightly coupled with
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000711/// optimized register allocation, including coalescing, machine instruction
712/// scheduling, and register allocation itself.
713void TargetPassConfig::addOptimizedRegAlloc(FunctionPass *RegAllocPass) {
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000714 addPass(&ProcessImplicitDefsID, false);
Jakob Stoklund Oleseneb495662012-06-25 18:12:18 +0000715
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000716 // LiveVariables currently requires pure SSA form.
717 //
718 // FIXME: Once TwoAddressInstruction pass no longer uses kill flags,
719 // LiveVariables can be removed completely, and LiveIntervals can be directly
720 // computed. (We still either need to regenerate kill flags after regalloc, or
721 // preferably fix the scavenger to not depend on them).
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000722 addPass(&LiveVariablesID, false);
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000723
Rafael Espindola9770bde2013-10-14 16:39:04 +0000724 // Edge splitting is smarter with machine loop info.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000725 addPass(&MachineLoopInfoID, false);
726 addPass(&PHIEliminationID, false);
Jakob Stoklund Olesen1c465892012-08-03 22:12:54 +0000727
728 // Eventually, we want to run LiveIntervals before PHI elimination.
729 if (EarlyLiveIntervals)
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000730 addPass(&LiveIntervalsID, false);
Jakob Stoklund Olesen1c465892012-08-03 22:12:54 +0000731
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000732 addPass(&TwoAddressInstructionPassID, false);
Bob Wilsonb9b69362012-07-02 19:48:37 +0000733 addPass(&RegisterCoalescerID);
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000734
735 // PreRA instruction scheduling.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000736 addPass(&MachineSchedulerID);
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000737
738 // Add the selected register allocation pass.
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000739 addPass(RegAllocPass);
Jakob Stoklund Olesen59a0d322012-06-26 17:09:29 +0000740
741 // Allow targets to change the register assignments before rewriting.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000742 addPreRewrite();
Andrew Trickf5426752012-02-09 00:40:55 +0000743
Jakob Stoklund Olesen12243122012-06-08 23:44:45 +0000744 // Finally rewrite virtual registers.
Bob Wilsonb9b69362012-07-02 19:48:37 +0000745 addPass(&VirtRegRewriterID);
Jakob Stoklund Olesen12243122012-06-08 23:44:45 +0000746
Andrew Trickf5426752012-02-09 00:40:55 +0000747 // Perform stack slot coloring and post-ra machine LICM.
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000748 //
749 // FIXME: Re-enable coloring with register when it's capable of adding
750 // kill markers.
Bob Wilsonb9b69362012-07-02 19:48:37 +0000751 addPass(&StackSlotColoringID);
Andrew Trick899f46c2012-02-15 07:57:03 +0000752
753 // Run post-ra machine LICM to hoist reloads / remats.
754 //
755 // FIXME: can this move into MachineLateOptimization?
Bob Wilsonb9b69362012-07-02 19:48:37 +0000756 addPass(&PostRAMachineLICMID);
Andrew Trickf5426752012-02-09 00:40:55 +0000757}
758
759//===---------------------------------------------------------------------===//
760/// Post RegAlloc Pass Configuration
761//===---------------------------------------------------------------------===//
762
763/// Add passes that optimize machine instructions after register allocation.
764void TargetPassConfig::addMachineLateOptimization() {
765 // Branch folding must be run after regalloc and prolog/epilog insertion.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000766 addPass(&BranchFolderPassID);
Andrew Trickf5426752012-02-09 00:40:55 +0000767
768 // Tail duplication.
Vincent Lejeune92b0a642013-12-07 01:49:19 +0000769 // Note that duplicating tail just increases code size and degrades
770 // performance for targets that require Structured Control Flow.
771 // In addition it can also make CFG irreducible. Thus we disable it.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000772 if (!TM->requiresStructuredCFG())
773 addPass(&TailDuplicateID);
Andrew Trickf5426752012-02-09 00:40:55 +0000774
775 // Copy propagation.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000776 addPass(&MachineCopyPropagationID);
Andrew Trickf5426752012-02-09 00:40:55 +0000777}
778
Evan Cheng59421ae2012-12-21 02:57:04 +0000779/// Add standard GC passes.
780bool TargetPassConfig::addGCPasses() {
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000781 addPass(&GCMachineCodeAnalysisID, false);
Evan Cheng59421ae2012-12-21 02:57:04 +0000782 return true;
783}
784
Andrew Trickf5426752012-02-09 00:40:55 +0000785/// Add standard basic block placement passes.
786void TargetPassConfig::addBlockPlacement() {
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000787 if (addPass(&MachineBlockPlacementID, false)) {
Andrew Tricke9a951c2012-02-15 03:21:51 +0000788 // Run a separate pass to collect block placement statistics.
789 if (EnableBlockPlacementStats)
Bob Wilsonb9b69362012-07-02 19:48:37 +0000790 addPass(&MachineBlockPlacementStatsID);
Andrew Trickf5426752012-02-09 00:40:55 +0000791 }
792}