blob: c128414c0b38687196228cffbdf7c36e1163cad1 [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>
55OptimizeRegAlloc("optimize-regalloc", cl::Hidden,
56 cl::desc("Enable optimized register allocation compilation path."));
Andrew Trickde401d32012-02-04 02:56:48 +000057static cl::opt<bool> DisablePostRAMachineLICM("disable-postra-machine-licm",
58 cl::Hidden,
59 cl::desc("Disable Machine LICM"));
60static cl::opt<bool> DisableMachineSink("disable-machine-sink", cl::Hidden,
61 cl::desc("Disable Machine Sinking"));
62static cl::opt<bool> DisableLSR("disable-lsr", cl::Hidden,
63 cl::desc("Disable Loop Strength Reduction Pass"));
Juergen Ributzkaf26beda2014-01-25 02:02:55 +000064static cl::opt<bool> DisableConstantHoisting("disable-constant-hoisting",
65 cl::Hidden, cl::desc("Disable ConstantHoisting"));
Andrew Trickde401d32012-02-04 02:56:48 +000066static cl::opt<bool> DisableCGP("disable-cgp", cl::Hidden,
67 cl::desc("Disable Codegen Prepare"));
68static cl::opt<bool> DisableCopyProp("disable-copyprop", cl::Hidden,
Evan Cheng63618f92012-02-20 23:28:17 +000069 cl::desc("Disable Copy Propagation pass"));
James Molloybc9fed82014-07-23 13:33:00 +000070static cl::opt<bool> DisablePartialLibcallInlining("disable-partial-libcall-inlining",
71 cl::Hidden, cl::desc("Disable Partial Libcall Inlining"));
Andrew Trickde401d32012-02-04 02:56:48 +000072static cl::opt<bool> PrintLSR("print-lsr-output", cl::Hidden,
73 cl::desc("Print LLVM IR produced by the loop-reduce pass"));
74static cl::opt<bool> PrintISelInput("print-isel-input", cl::Hidden,
75 cl::desc("Print LLVM IR input to isel pass"));
76static cl::opt<bool> PrintGCInfo("print-gc", cl::Hidden,
77 cl::desc("Dump garbage collector data"));
78static cl::opt<bool> VerifyMachineCode("verify-machineinstrs", cl::Hidden,
79 cl::desc("Verify generated machine code"),
Owen Anderson21b17882015-02-04 00:02:59 +000080 cl::init(false),
81 cl::ZeroOrMore);
82
Bob Wilson33e51882012-05-30 00:17:12 +000083static cl::opt<std::string>
84PrintMachineInstrs("print-machineinstrs", cl::ValueOptional,
85 cl::desc("Print machine instrs"),
86 cl::value_desc("pass-name"), cl::init("option-unspecified"));
Andrew Trickde401d32012-02-04 02:56:48 +000087
Andrew Trick17080b92013-12-28 21:56:51 +000088// Temporary option to allow experimenting with MachineScheduler as a post-RA
89// scheduler. Targets can "properly" enable this with
Andrew Trick8d2ee372014-06-04 07:06:27 +000090// substitutePass(&PostRASchedulerID, &PostMachineSchedulerID); Ideally it
91// wouldn't be part of the standard pass pipeline, and the target would just add
92// a PostRA scheduling pass wherever it wants.
Andrew Trick17080b92013-12-28 21:56:51 +000093static cl::opt<bool> MISchedPostRA("misched-postra", cl::Hidden,
94 cl::desc("Run MachineScheduler post regalloc (independent of preRA sched)"));
95
Cameron Zwarich71f0acb2013-02-10 06:42:34 +000096// Experimental option to run live interval analysis early.
Jakob Stoklund Olesen1c465892012-08-03 22:12:54 +000097static cl::opt<bool> EarlyLiveIntervals("early-live-intervals", cl::Hidden,
98 cl::desc("Run live interval analysis earlier in the pipeline"));
99
Hal Finkel445dda52014-09-02 22:12:54 +0000100static cl::opt<bool> UseCFLAA("use-cfl-aa-in-codegen",
101 cl::init(false), cl::Hidden,
102 cl::desc("Enable the new, experimental CFL alias analysis in CodeGen"));
103
Andrew Tricke9a951c2012-02-15 03:21:51 +0000104/// Allow standard passes to be disabled by command line options. This supports
105/// simple binary flags that either suppress the pass or do nothing.
106/// i.e. -disable-mypass=false has no effect.
107/// These should be converted to boolOrDefault in order to use applyOverride.
Andrew Tricke2203232013-04-10 01:06:56 +0000108static IdentifyingPassPtr applyDisable(IdentifyingPassPtr PassID,
109 bool Override) {
Andrew Tricke9a951c2012-02-15 03:21:51 +0000110 if (Override)
Andrew Tricke2203232013-04-10 01:06:56 +0000111 return IdentifyingPassPtr();
Bob Wilsonb9b69362012-07-02 19:48:37 +0000112 return PassID;
Andrew Tricke9a951c2012-02-15 03:21:51 +0000113}
114
Andrew Tricke9a951c2012-02-15 03:21:51 +0000115/// Allow standard passes to be disabled by the command line, regardless of who
116/// is adding the pass.
117///
118/// StandardID is the pass identified in the standard pass pipeline and provided
119/// to addPass(). It may be a target-specific ID in the case that the target
120/// directly adds its own pass, but in that case we harmlessly fall through.
121///
122/// TargetID is the pass that the target has configured to override StandardID.
123///
124/// StandardID may be a pseudo ID. In that case TargetID is the name of the real
125/// pass to run. This allows multiple options to control a single pass depending
126/// on where in the pipeline that pass is added.
Andrew Tricke2203232013-04-10 01:06:56 +0000127static IdentifyingPassPtr overridePass(AnalysisID StandardID,
128 IdentifyingPassPtr TargetID) {
Andrew Tricke9a951c2012-02-15 03:21:51 +0000129 if (StandardID == &PostRASchedulerID)
130 return applyDisable(TargetID, DisablePostRA);
131
132 if (StandardID == &BranchFolderPassID)
133 return applyDisable(TargetID, DisableBranchFold);
134
135 if (StandardID == &TailDuplicateID)
136 return applyDisable(TargetID, DisableTailDuplicate);
137
138 if (StandardID == &TargetPassConfig::EarlyTailDuplicateID)
139 return applyDisable(TargetID, DisableEarlyTailDup);
140
141 if (StandardID == &MachineBlockPlacementID)
Benjamin Kramer70671b92013-03-29 17:14:24 +0000142 return applyDisable(TargetID, DisableBlockPlacement);
Andrew Tricke9a951c2012-02-15 03:21:51 +0000143
144 if (StandardID == &StackSlotColoringID)
145 return applyDisable(TargetID, DisableSSC);
146
147 if (StandardID == &DeadMachineInstructionElimID)
148 return applyDisable(TargetID, DisableMachineDCE);
149
Jakob Stoklund Olesenf8a63a12012-07-04 00:09:54 +0000150 if (StandardID == &EarlyIfConverterID)
Jakob Stoklund Olesen0f6e8bb2012-10-03 00:51:32 +0000151 return applyDisable(TargetID, DisableEarlyIfConversion);
Jakob Stoklund Olesenf8a63a12012-07-04 00:09:54 +0000152
Andrew Tricke9a951c2012-02-15 03:21:51 +0000153 if (StandardID == &MachineLICMID)
154 return applyDisable(TargetID, DisableMachineLICM);
155
156 if (StandardID == &MachineCSEID)
157 return applyDisable(TargetID, DisableMachineCSE);
158
Andrew Tricke9a951c2012-02-15 03:21:51 +0000159 if (StandardID == &TargetPassConfig::PostRAMachineLICMID)
160 return applyDisable(TargetID, DisablePostRAMachineLICM);
161
162 if (StandardID == &MachineSinkingID)
163 return applyDisable(TargetID, DisableMachineSink);
164
165 if (StandardID == &MachineCopyPropagationID)
166 return applyDisable(TargetID, DisableCopyProp);
167
168 return TargetID;
169}
170
Jim Laskey29e635d2006-08-02 12:30:23 +0000171//===---------------------------------------------------------------------===//
Andrew Trickb7551332012-02-04 02:56:45 +0000172/// TargetPassConfig
173//===---------------------------------------------------------------------===//
174
175INITIALIZE_PASS(TargetPassConfig, "targetpassconfig",
176 "Target Pass Configuration", false, false)
177char TargetPassConfig::ID = 0;
178
Andrew Tricke9a951c2012-02-15 03:21:51 +0000179// Pseudo Pass IDs.
180char TargetPassConfig::EarlyTailDuplicateID = 0;
181char TargetPassConfig::PostRAMachineLICMID = 0;
182
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000183namespace llvm {
184class PassConfigImpl {
185public:
186 // List of passes explicitly substituted by this target. Normally this is
187 // empty, but it is a convenient way to suppress or replace specific passes
188 // that are part of a standard pass pipeline without overridding the entire
189 // pipeline. This mechanism allows target options to inherit a standard pass's
190 // user interface. For example, a target may disable a standard pass by
Bob Wilsonb9b69362012-07-02 19:48:37 +0000191 // default by substituting a pass ID of zero, and the user may still enable
192 // that standard pass with an explicit command line option.
Andrew Tricke2203232013-04-10 01:06:56 +0000193 DenseMap<AnalysisID,IdentifyingPassPtr> TargetPasses;
Bob Wilson33e51882012-05-30 00:17:12 +0000194
195 /// Store the pairs of <AnalysisID, AnalysisID> of which the second pass
196 /// is inserted after each instance of the first one.
Andrew Tricke2203232013-04-10 01:06:56 +0000197 SmallVector<std::pair<AnalysisID, IdentifyingPassPtr>, 4> InsertedPasses;
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000198};
199} // namespace llvm
200
Andrew Trickb7551332012-02-04 02:56:45 +0000201// Out of line virtual method.
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000202TargetPassConfig::~TargetPassConfig() {
203 delete Impl;
204}
Andrew Trickb7551332012-02-04 02:56:45 +0000205
Andrew Trick58648e42012-02-08 21:22:48 +0000206// Out of line constructor provides default values for pass options and
207// registers all common codegen passes.
Andrew Trickf8ea1082012-02-04 02:56:59 +0000208TargetPassConfig::TargetPassConfig(TargetMachine *tm, PassManagerBase &pm)
Craig Topperc0196b12014-04-14 00:51:57 +0000209 : ImmutablePass(ID), PM(&pm), StartAfter(nullptr), StopAfter(nullptr),
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000210 Started(true), Stopped(false), AddingMachinePasses(false), TM(tm),
211 Impl(nullptr), Initialized(false), DisableVerify(false),
Andrew Trickdd37d522012-02-08 21:22:39 +0000212 EnableTailMerge(true) {
213
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000214 Impl = new PassConfigImpl();
215
Andrew Trickb7551332012-02-04 02:56:45 +0000216 // Register all target independent codegen passes to activate their PassIDs,
217 // including this pass itself.
218 initializeCodeGen(*PassRegistry::getPassRegistry());
Andrew Tricke9a951c2012-02-15 03:21:51 +0000219
220 // Substitute Pseudo Pass IDs for real ones.
Bob Wilsonb9b69362012-07-02 19:48:37 +0000221 substitutePass(&EarlyTailDuplicateID, &TailDuplicateID);
222 substitutePass(&PostRAMachineLICMID, &MachineLICMID);
Andrew Trickb7551332012-02-04 02:56:45 +0000223}
224
Bob Wilson33e51882012-05-30 00:17:12 +0000225/// Insert InsertedPassID pass after TargetPassID.
Bob Wilsonb9b69362012-07-02 19:48:37 +0000226void TargetPassConfig::insertPass(AnalysisID TargetPassID,
Andrew Tricke2203232013-04-10 01:06:56 +0000227 IdentifyingPassPtr InsertedPassID) {
Benjamin Kramere7c45bc2013-04-11 11:57:01 +0000228 assert(((!InsertedPassID.isInstance() &&
229 TargetPassID != InsertedPassID.getID()) ||
230 (InsertedPassID.isInstance() &&
231 TargetPassID != InsertedPassID.getInstance()->getPassID())) &&
Andrew Tricke2203232013-04-10 01:06:56 +0000232 "Insert a pass after itself!");
233 std::pair<AnalysisID, IdentifyingPassPtr> P(TargetPassID, InsertedPassID);
Bob Wilson33e51882012-05-30 00:17:12 +0000234 Impl->InsertedPasses.push_back(P);
235}
236
Andrew Trickb7551332012-02-04 02:56:45 +0000237/// createPassConfig - Create a pass configuration object to be used by
238/// addPassToEmitX methods for generating a pipeline of CodeGen passes.
239///
240/// Targets may override this to extend TargetPassConfig.
Andrew Trickf8ea1082012-02-04 02:56:59 +0000241TargetPassConfig *LLVMTargetMachine::createPassConfig(PassManagerBase &PM) {
242 return new TargetPassConfig(this, PM);
Andrew Trickb7551332012-02-04 02:56:45 +0000243}
244
245TargetPassConfig::TargetPassConfig()
Craig Topperc0196b12014-04-14 00:51:57 +0000246 : ImmutablePass(ID), PM(nullptr) {
Andrew Trickb7551332012-02-04 02:56:45 +0000247 llvm_unreachable("TargetPassConfig should not be constructed on-the-fly");
248}
249
Andrew Trickdd37d522012-02-08 21:22:39 +0000250// Helper to verify the analysis is really immutable.
251void TargetPassConfig::setOpt(bool &Opt, bool Val) {
252 assert(!Initialized && "PassConfig is immutable");
253 Opt = Val;
254}
255
Bob Wilsonb9b69362012-07-02 19:48:37 +0000256void TargetPassConfig::substitutePass(AnalysisID StandardID,
Andrew Tricke2203232013-04-10 01:06:56 +0000257 IdentifyingPassPtr TargetID) {
Bob Wilsonb9b69362012-07-02 19:48:37 +0000258 Impl->TargetPasses[StandardID] = TargetID;
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000259}
Andrew Trickee874db2012-02-11 07:11:32 +0000260
Andrew Tricke2203232013-04-10 01:06:56 +0000261IdentifyingPassPtr TargetPassConfig::getPassSubstitution(AnalysisID ID) const {
262 DenseMap<AnalysisID, IdentifyingPassPtr>::const_iterator
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000263 I = Impl->TargetPasses.find(ID);
264 if (I == Impl->TargetPasses.end())
265 return ID;
266 return I->second;
267}
268
Bob Wilsoncac3b902012-07-02 19:48:45 +0000269/// Add a pass to the PassManager if that pass is supposed to be run. If the
270/// Started/Stopped flags indicate either that the compilation should start at
271/// a later pass or that it should stop after an earlier pass, then do not add
272/// the pass. Finally, compare the current pass against the StartAfter
273/// and StopAfter options and change the Started/Stopped flags accordingly.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000274void TargetPassConfig::addPass(Pass *P, bool verifyAfter, bool printAfter) {
Bob Wilsona3f9fa72012-07-02 19:48:39 +0000275 assert(!Initialized && "PassConfig is immutable");
276
Chandler Carruth34263a02012-07-02 22:56:41 +0000277 // Cache the Pass ID here in case the pass manager finds this pass is
278 // redundant with ones already scheduled / available, and deletes it.
279 // Fundamentally, once we add the pass to the manager, we no longer own it
280 // and shouldn't reference it.
281 AnalysisID PassID = P->getPassID();
282
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000283 if (Started && !Stopped) {
284 std::string Banner;
285 // Construct banner message before PM->add() as that may delete the pass.
286 if (AddingMachinePasses && (printAfter || verifyAfter))
287 Banner = std::string("After ") + std::string(P->getPassName());
Bob Wilsoncac3b902012-07-02 19:48:45 +0000288 PM->add(P);
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000289 if (AddingMachinePasses) {
290 if (printAfter)
291 addPrintPass(Banner);
292 if (verifyAfter)
293 addVerifyPass(Banner);
294 }
295 } else {
Benjamin Kramer483b9fb2013-08-05 11:11:11 +0000296 delete P;
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000297 }
Chandler Carruth34263a02012-07-02 22:56:41 +0000298 if (StopAfter == PassID)
Bob Wilsoncac3b902012-07-02 19:48:45 +0000299 Stopped = true;
Chandler Carruth34263a02012-07-02 22:56:41 +0000300 if (StartAfter == PassID)
Bob Wilsoncac3b902012-07-02 19:48:45 +0000301 Started = true;
302 if (Stopped && !Started)
303 report_fatal_error("Cannot stop compilation after pass that is not run");
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000304}
305
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000306/// Add a CodeGen pass at this point in the pipeline after checking for target
307/// and command line overrides.
Andrew Tricke2203232013-04-10 01:06:56 +0000308///
309/// addPass cannot return a pointer to the pass instance because is internal the
310/// PassManager and the instance we create here may already be freed.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000311AnalysisID TargetPassConfig::addPass(AnalysisID PassID, bool verifyAfter,
312 bool printAfter) {
Andrew Tricke2203232013-04-10 01:06:56 +0000313 IdentifyingPassPtr TargetID = getPassSubstitution(PassID);
314 IdentifyingPassPtr FinalPtr = overridePass(PassID, TargetID);
315 if (!FinalPtr.isValid())
Craig Topperc0196b12014-04-14 00:51:57 +0000316 return nullptr;
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000317
Andrew Tricke2203232013-04-10 01:06:56 +0000318 Pass *P;
319 if (FinalPtr.isInstance())
320 P = FinalPtr.getInstance();
321 else {
322 P = Pass::createPass(FinalPtr.getID());
323 if (!P)
324 llvm_unreachable("Pass ID not registered");
325 }
326 AnalysisID FinalID = P->getPassID();
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000327 addPass(P, verifyAfter, printAfter); // Ends the lifetime of P.
Andrew Tricke2203232013-04-10 01:06:56 +0000328
Bob Wilson33e51882012-05-30 00:17:12 +0000329 // Add the passes after the pass P if there is any.
Craig Toppere1c1d362013-07-03 05:11:49 +0000330 for (SmallVectorImpl<std::pair<AnalysisID, IdentifyingPassPtr> >::iterator
Bob Wilson33e51882012-05-30 00:17:12 +0000331 I = Impl->InsertedPasses.begin(), E = Impl->InsertedPasses.end();
332 I != E; ++I) {
Bob Wilsonb9b69362012-07-02 19:48:37 +0000333 if ((*I).first == PassID) {
Andrew Tricke2203232013-04-10 01:06:56 +0000334 assert((*I).second.isValid() && "Illegal Pass ID!");
335 Pass *NP;
336 if ((*I).second.isInstance())
337 NP = (*I).second.getInstance();
338 else {
339 NP = Pass::createPass((*I).second.getID());
340 assert(NP && "Pass ID not registered");
341 }
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000342 addPass(NP, false, false);
Bob Wilson33e51882012-05-30 00:17:12 +0000343 }
344 }
Andrew Trickc9ce9d22012-02-15 03:21:47 +0000345 return FinalID;
Andrew Trickf8ea1082012-02-04 02:56:59 +0000346}
Andrew Trickde401d32012-02-04 02:56:48 +0000347
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000348void TargetPassConfig::printAndVerify(const std::string &Banner) {
349 addPrintPass(Banner);
350 addVerifyPass(Banner);
351}
Matthias Brauna7c82a92014-12-11 19:42:05 +0000352
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000353void TargetPassConfig::addPrintPass(const std::string &Banner) {
354 if (TM->shouldPrintMachineCode())
355 PM->add(createMachineFunctionPrinterPass(dbgs(), Banner));
356}
357
358void TargetPassConfig::addVerifyPass(const std::string &Banner) {
Andrew Trickde401d32012-02-04 02:56:48 +0000359 if (VerifyMachineCode)
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000360 PM->add(createMachineVerifierPass(Banner));
Andrew Trickde401d32012-02-04 02:56:48 +0000361}
362
Andrew Trickf8ea1082012-02-04 02:56:59 +0000363/// Add common target configurable passes that perform LLVM IR to IR transforms
364/// following machine independent optimization.
365void TargetPassConfig::addIRPasses() {
Andrew Trickde401d32012-02-04 02:56:48 +0000366 // Basic AliasAnalysis support.
367 // Add TypeBasedAliasAnalysis before BasicAliasAnalysis so that
368 // BasicAliasAnalysis wins if they disagree. This is intended to help
369 // support "obvious" type-punning idioms.
Hal Finkel445dda52014-09-02 22:12:54 +0000370 if (UseCFLAA)
371 addPass(createCFLAliasAnalysisPass());
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000372 addPass(createTypeBasedAliasAnalysisPass());
Hal Finkel94146652014-07-24 14:25:39 +0000373 addPass(createScopedNoAliasAAPass());
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000374 addPass(createBasicAliasAnalysisPass());
Andrew Trickde401d32012-02-04 02:56:48 +0000375
376 // Before running any passes, run the verifier to determine if the input
377 // coming from the front-end and/or optimizer is valid.
Duncan P. N. Exon Smithab58a562015-03-19 22:24:17 +0000378 if (!DisableVerify)
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000379 addPass(createVerifierPass());
Andrew Trickde401d32012-02-04 02:56:48 +0000380
381 // Run loop strength reduction before anything else.
382 if (getOptLevel() != CodeGenOpt::None && !DisableLSR) {
Chandler Carruth26c59fa2013-01-07 14:41:08 +0000383 addPass(createLoopStrengthReducePass());
Andrew Trickde401d32012-02-04 02:56:48 +0000384 if (PrintLSR)
Chandler Carruth9d805132014-01-12 11:30:46 +0000385 addPass(createPrintFunctionPass(dbgs(), "\n\n*** Code after LSR ***\n"));
Andrew Trickde401d32012-02-04 02:56:48 +0000386 }
387
Philip Reames23cf2e22015-01-28 19:28:03 +0000388 // Run GC lowering passes for builtin collectors
389 // TODO: add a pass insertion point here
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000390 addPass(createGCLoweringPass());
Philip Reames23cf2e22015-01-28 19:28:03 +0000391 addPass(createShadowStackGCLoweringPass());
Andrew Trickde401d32012-02-04 02:56:48 +0000392
393 // Make sure that no unreachable blocks are instruction selected.
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000394 addPass(createUnreachableBlockEliminationPass());
Juergen Ributzkaf26beda2014-01-25 02:02:55 +0000395
396 // Prepare expensive constants for SelectionDAG.
397 if (getOptLevel() != CodeGenOpt::None && !DisableConstantHoisting)
398 addPass(createConstantHoistingPass());
James Molloybc9fed82014-07-23 13:33:00 +0000399
400 if (getOptLevel() != CodeGenOpt::None && !DisablePartialLibcallInlining)
401 addPass(createPartiallyInlineLibCallsPass());
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000402}
403
404/// Turn exception handling constructs into something the code generators can
405/// handle.
406void TargetPassConfig::addPassesToHandleExceptions() {
407 switch (TM->getMCAsmInfo()->getExceptionHandlingType()) {
408 case ExceptionHandling::SjLj:
409 // SjLj piggy-backs on dwarf for this bit. The cleanups done apply to both
410 // Dwarf EH prepare needs to be run after SjLj prepare. Otherwise,
411 // catch info can get misplaced when a selector ends up more than one block
412 // removed from the parent invoke(s). This could happen when a landing
413 // pad is shared by multiple invokes and is also a target of a normal
414 // edge from elsewhere.
Bill Wendlingafc10362013-06-19 20:51:24 +0000415 addPass(createSjLjEHPreparePass(TM));
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000416 // FALLTHROUGH
417 case ExceptionHandling::DwarfCFI:
418 case ExceptionHandling::ARM:
Bill Wendlingafc10362013-06-19 20:51:24 +0000419 addPass(createDwarfEHPass(TM));
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000420 break;
Reid Kleckner1185fce2015-01-29 00:41:44 +0000421 case ExceptionHandling::WinEH:
Reid Kleckner47c8e7a2015-03-12 00:36:20 +0000422 // We support using both GCC-style and MSVC-style exceptions on Windows, so
423 // add both preparation passes. Each pass will only actually run if it
424 // recognizes the personality function.
Reid Kleckner1185fce2015-01-29 00:41:44 +0000425 addPass(createWinEHPass(TM));
Reid Kleckner47c8e7a2015-03-12 00:36:20 +0000426 addPass(createDwarfEHPass(TM));
Reid Kleckner1185fce2015-01-29 00:41:44 +0000427 break;
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000428 case ExceptionHandling::None:
Mark Seabornb6118c52014-03-20 19:54:47 +0000429 addPass(createLowerInvokePass());
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000430
431 // The lower invoke pass may create unreachable code. Remove it.
432 addPass(createUnreachableBlockEliminationPass());
433 break;
434 }
Andrew Trickf8ea1082012-02-04 02:56:59 +0000435}
Andrew Trickde401d32012-02-04 02:56:48 +0000436
Bill Wendlingc786b312012-11-30 22:08:55 +0000437/// Add pass to prepare the LLVM IR for code generation. This should be done
438/// before exception handling preparation passes.
439void TargetPassConfig::addCodeGenPrepare() {
440 if (getOptLevel() != CodeGenOpt::None && !DisableCGP)
Bill Wendling7a639ea2013-06-19 21:07:11 +0000441 addPass(createCodeGenPreparePass(TM));
Saleem Abdulrasoold2c5d7f2014-11-08 00:00:50 +0000442 addPass(createRewriteSymbolsPass());
Bill Wendlingc786b312012-11-30 22:08:55 +0000443}
444
Andrew Trickf8ea1082012-02-04 02:56:59 +0000445/// Add common passes that perform LLVM IR to IR transforms in preparation for
446/// instruction selection.
447void TargetPassConfig::addISelPrepare() {
Andrew Trickde401d32012-02-04 02:56:48 +0000448 addPreISel();
449
Josh Magee22b8ba22013-12-19 03:17:11 +0000450 addPass(createStackProtectorPass(TM));
451
Andrew Trickde401d32012-02-04 02:56:48 +0000452 if (PrintISelInput)
Chandler Carruth9d805132014-01-12 11:30:46 +0000453 addPass(createPrintFunctionPass(
454 dbgs(), "\n\n*** Final LLVM Code input to ISel ***\n"));
Andrew Trickde401d32012-02-04 02:56:48 +0000455
456 // All passes which modify the LLVM IR are now complete; run the verifier
457 // to ensure that the IR is valid.
458 if (!DisableVerify)
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000459 addPass(createVerifierPass());
Andrew Trickf8ea1082012-02-04 02:56:59 +0000460}
Andrew Trickde401d32012-02-04 02:56:48 +0000461
Andrew Trickf5426752012-02-09 00:40:55 +0000462/// Add the complete set of target-independent postISel code generator passes.
463///
464/// This can be read as the standard order of major LLVM CodeGen stages. Stages
465/// with nontrivial configuration or multiple passes are broken out below in
466/// add%Stage routines.
467///
468/// Any TargetPassConfig::addXX routine may be overriden by the Target. The
469/// addPre/Post methods with empty header implementations allow injecting
470/// target-specific fixups just before or after major stages. Additionally,
471/// targets have the flexibility to change pass order within a stage by
472/// overriding default implementation of add%Stage routines below. Each
473/// technique has maintainability tradeoffs because alternate pass orders are
474/// not well supported. addPre/Post works better if the target pass is easily
475/// tied to a common pass. But if it has subtle dependencies on multiple passes,
Andrew Trick09fc1bb2012-02-10 07:08:25 +0000476/// the target should override the stage instead.
Andrew Trickf5426752012-02-09 00:40:55 +0000477///
478/// TODO: We could use a single addPre/Post(ID) hook to allow pass injection
479/// before/after any target-independent pass. But it's currently overkill.
Andrew Trickf8ea1082012-02-04 02:56:59 +0000480void TargetPassConfig::addMachinePasses() {
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000481 AddingMachinePasses = true;
482
Bob Wilson33e51882012-05-30 00:17:12 +0000483 // Insert a machine instr printer pass after the specified pass.
484 // If -print-machineinstrs specified, print machineinstrs after all passes.
485 if (StringRef(PrintMachineInstrs.getValue()).equals(""))
486 TM->Options.PrintMachineCode = true;
487 else if (!StringRef(PrintMachineInstrs.getValue())
488 .equals("option-unspecified")) {
489 const PassRegistry *PR = PassRegistry::getPassRegistry();
490 const PassInfo *TPI = PR->getPassInfo(PrintMachineInstrs.getValue());
Akira Hatanaka7ba78302014-12-13 04:52:04 +0000491 const PassInfo *IPI = PR->getPassInfo(StringRef("machineinstr-printer"));
Bob Wilson33e51882012-05-30 00:17:12 +0000492 assert (TPI && IPI && "Pass ID not registered!");
Roman Divackyad06cee2012-09-05 22:26:57 +0000493 const char *TID = (const char *)(TPI->getTypeInfo());
494 const char *IID = (const char *)(IPI->getTypeInfo());
Bob Wilsonb9b69362012-07-02 19:48:37 +0000495 insertPass(TID, IID);
Bob Wilson33e51882012-05-30 00:17:12 +0000496 }
497
Jakob Stoklund Olesen29506f52012-07-04 19:28:27 +0000498 // Print the instruction selected machine code...
499 printAndVerify("After Instruction Selection");
500
Andrew Trickde401d32012-02-04 02:56:48 +0000501 // Expand pseudo-instructions emitted by ISel.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000502 addPass(&ExpandISelPseudosID);
Andrew Trickde401d32012-02-04 02:56:48 +0000503
Andrew Trickf5426752012-02-09 00:40:55 +0000504 // Add passes that optimize machine instructions in SSA form.
Andrew Trickde401d32012-02-04 02:56:48 +0000505 if (getOptLevel() != CodeGenOpt::None) {
Andrew Trickf5426752012-02-09 00:40:55 +0000506 addMachineSSAOptimization();
Craig Topper36f29122012-11-19 00:11:50 +0000507 } else {
Andrew Trickf5426752012-02-09 00:40:55 +0000508 // If the target requests it, assign local variables to stack slots relative
509 // to one another and simplify frame index references where possible.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000510 addPass(&LocalStackSlotAllocationID, false);
Andrew Trickde401d32012-02-04 02:56:48 +0000511 }
512
513 // Run pre-ra passes.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000514 addPreRegAlloc();
Andrew Trickde401d32012-02-04 02:56:48 +0000515
Andrew Trickf5426752012-02-09 00:40:55 +0000516 // Run register allocation and passes that are tightly coupled with it,
517 // including phi elimination and scheduling.
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000518 if (getOptimizeRegAlloc())
519 addOptimizedRegAlloc(createRegAllocPass(true));
520 else
521 addFastRegAlloc(createRegAllocPass(false));
Andrew Trickde401d32012-02-04 02:56:48 +0000522
523 // Run post-ra passes.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000524 addPostRegAlloc();
Andrew Trickde401d32012-02-04 02:56:48 +0000525
526 // Insert prolog/epilog code. Eliminate abstract frame index references...
Bob Wilsonb9b69362012-07-02 19:48:37 +0000527 addPass(&PrologEpilogCodeInserterID);
Andrew Trickde401d32012-02-04 02:56:48 +0000528
Andrew Trickf5426752012-02-09 00:40:55 +0000529 /// Add passes that optimize machine instructions after register allocation.
530 if (getOptLevel() != CodeGenOpt::None)
531 addMachineLateOptimization();
Andrew Trickde401d32012-02-04 02:56:48 +0000532
533 // Expand pseudo instructions before second scheduling pass.
Bob Wilsonb9b69362012-07-02 19:48:37 +0000534 addPass(&ExpandPostRAPseudosID);
Andrew Trickde401d32012-02-04 02:56:48 +0000535
536 // Run pre-sched2 passes.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000537 addPreSched2();
Andrew Trickde401d32012-02-04 02:56:48 +0000538
539 // Second pass scheduler.
Andrew Tricke9a951c2012-02-15 03:21:51 +0000540 if (getOptLevel() != CodeGenOpt::None) {
Andrew Trick17080b92013-12-28 21:56:51 +0000541 if (MISchedPostRA)
542 addPass(&PostMachineSchedulerID);
543 else
544 addPass(&PostRASchedulerID);
Andrew Trickde401d32012-02-04 02:56:48 +0000545 }
546
Andrew Trickf5426752012-02-09 00:40:55 +0000547 // GC
Evan Cheng59421ae2012-12-21 02:57:04 +0000548 if (addGCPasses()) {
549 if (PrintGCInfo)
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000550 addPass(createGCInfoPrinter(dbgs()), false, false);
Evan Cheng59421ae2012-12-21 02:57:04 +0000551 }
Andrew Trickde401d32012-02-04 02:56:48 +0000552
Andrew Trickf5426752012-02-09 00:40:55 +0000553 // Basic block placement.
Andrew Tricke9a951c2012-02-15 03:21:51 +0000554 if (getOptLevel() != CodeGenOpt::None)
Andrew Trickf5426752012-02-09 00:40:55 +0000555 addBlockPlacement();
Andrew Trickde401d32012-02-04 02:56:48 +0000556
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000557 addPreEmitPass();
Juergen Ributzkae8294752013-12-14 06:53:06 +0000558
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000559 addPass(&StackMapLivenessID, false);
560
561 AddingMachinePasses = false;
Andrew Trickde401d32012-02-04 02:56:48 +0000562}
563
Andrew Trickf5426752012-02-09 00:40:55 +0000564/// Add passes that optimize machine instructions in SSA form.
565void TargetPassConfig::addMachineSSAOptimization() {
566 // Pre-ra tail duplication.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000567 addPass(&EarlyTailDuplicateID);
Andrew Trickf5426752012-02-09 00:40:55 +0000568
569 // Optimize PHIs before DCE: removing dead PHI cycles may make more
570 // instructions dead.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000571 addPass(&OptimizePHIsID, false);
Andrew Trickf5426752012-02-09 00:40:55 +0000572
Nadav Rotem7c277da2012-09-06 09:17:37 +0000573 // This pass merges large allocas. StackSlotColoring is a different pass
574 // which merges spill slots.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000575 addPass(&StackColoringID, false);
Nadav Rotem7c277da2012-09-06 09:17:37 +0000576
Andrew Trickf5426752012-02-09 00:40:55 +0000577 // If the target requests it, assign local variables to stack slots relative
578 // to one another and simplify frame index references where possible.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000579 addPass(&LocalStackSlotAllocationID, false);
Andrew Trickf5426752012-02-09 00:40:55 +0000580
581 // With optimization, dead code should already be eliminated. However
582 // there is one known exception: lowered code for arguments that are only
583 // used by tail calls, where the tail calls reuse the incoming stack
584 // arguments directly (see t11 in test/CodeGen/X86/sibcall.ll).
Bob Wilsonb9b69362012-07-02 19:48:37 +0000585 addPass(&DeadMachineInstructionElimID);
Andrew Trickf5426752012-02-09 00:40:55 +0000586
Jakob Stoklund Olesen213a2f82013-01-17 00:58:38 +0000587 // Allow targets to insert passes that improve instruction level parallelism,
588 // like if-conversion. Such passes will typically need dominator trees and
589 // loop info, just like LICM and CSE below.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000590 addILPOpts();
Jakob Stoklund Olesen213a2f82013-01-17 00:58:38 +0000591
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000592 addPass(&MachineLICMID, false);
593 addPass(&MachineCSEID, false);
Bob Wilsonb9b69362012-07-02 19:48:37 +0000594 addPass(&MachineSinkingID);
Andrew Trickf5426752012-02-09 00:40:55 +0000595
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000596 addPass(&PeepholeOptimizerID, false);
Quentin Colombet03e43f82014-08-20 17:41:48 +0000597 // Clean-up the dead code that may have been generated by peephole
598 // rewriting.
599 addPass(&DeadMachineInstructionElimID);
Andrew Trickf5426752012-02-09 00:40:55 +0000600}
601
Andrew Trickb7551332012-02-04 02:56:45 +0000602//===---------------------------------------------------------------------===//
Andrew Trickf5426752012-02-09 00:40:55 +0000603/// Register Allocation Pass Configuration
Jim Laskey29e635d2006-08-02 12:30:23 +0000604//===---------------------------------------------------------------------===//
Andrew Trickf5426752012-02-09 00:40:55 +0000605
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000606bool TargetPassConfig::getOptimizeRegAlloc() const {
607 switch (OptimizeRegAlloc) {
608 case cl::BOU_UNSET: return getOptLevel() != CodeGenOpt::None;
609 case cl::BOU_TRUE: return true;
610 case cl::BOU_FALSE: return false;
611 }
612 llvm_unreachable("Invalid optimize-regalloc state");
613}
614
Andrew Trickf5426752012-02-09 00:40:55 +0000615/// RegisterRegAlloc's global Registry tracks allocator registration.
Jim Laskey29e635d2006-08-02 12:30:23 +0000616MachinePassRegistry RegisterRegAlloc::Registry;
617
Andrew Trickf5426752012-02-09 00:40:55 +0000618/// A dummy default pass factory indicates whether the register allocator is
619/// overridden on the command line.
Craig Topperc0196b12014-04-14 00:51:57 +0000620static FunctionPass *useDefaultRegisterAllocator() { return nullptr; }
Jakob Stoklund Olesenb613ae22010-05-27 23:57:25 +0000621static RegisterRegAlloc
622defaultRegAlloc("default",
623 "pick register allocator based on -O option",
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000624 useDefaultRegisterAllocator);
Jim Laskey29e635d2006-08-02 12:30:23 +0000625
Andrew Trickf5426752012-02-09 00:40:55 +0000626/// -regalloc=... command line option.
Dan Gohmand78c4002008-05-13 00:00:25 +0000627static cl::opt<RegisterRegAlloc::FunctionPassCtor, false,
628 RegisterPassParser<RegisterRegAlloc> >
629RegAlloc("regalloc",
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000630 cl::init(&useDefaultRegisterAllocator),
Jakob Stoklund Olesenb613ae22010-05-27 23:57:25 +0000631 cl::desc("Register allocator to use"));
Alkis Evlogimenos5facafa2003-10-02 16:57:49 +0000632
Jim Laskey29e635d2006-08-02 12:30:23 +0000633
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000634/// Instantiate the default register allocator pass for this target for either
635/// the optimized or unoptimized allocation path. This will be added to the pass
636/// manager by addFastRegAlloc in the unoptimized case or addOptimizedRegAlloc
637/// in the optimized case.
638///
639/// A target that uses the standard regalloc pass order for fast or optimized
640/// allocation may still override this for per-target regalloc
641/// selection. But -regalloc=... always takes precedence.
642FunctionPass *TargetPassConfig::createTargetRegisterAllocator(bool Optimized) {
643 if (Optimized)
644 return createGreedyRegisterAllocator();
645 else
646 return createFastRegisterAllocator();
647}
648
649/// Find and instantiate the register allocation pass requested by this target
650/// at the current optimization level. Different register allocators are
651/// defined as separate passes because they may require different analysis.
652///
653/// This helper ensures that the regalloc= option is always available,
654/// even for targets that override the default allocator.
655///
656/// FIXME: When MachinePassRegistry register pass IDs instead of function ptrs,
657/// this can be folded into addPass.
658FunctionPass *TargetPassConfig::createRegAllocPass(bool Optimized) {
Jim Laskey03593f72006-08-01 18:29:48 +0000659 RegisterRegAlloc::FunctionPassCtor Ctor = RegisterRegAlloc::getDefault();
Jakob Stoklund Olesenb613ae22010-05-27 23:57:25 +0000660
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000661 // Initialize the global default.
Jim Laskey95eda5b2006-08-01 14:21:23 +0000662 if (!Ctor) {
Jim Laskey29e635d2006-08-02 12:30:23 +0000663 Ctor = RegAlloc;
664 RegisterRegAlloc::setDefault(RegAlloc);
Jim Laskey95eda5b2006-08-01 14:21:23 +0000665 }
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000666 if (Ctor != useDefaultRegisterAllocator)
Jakob Stoklund Olesenb613ae22010-05-27 23:57:25 +0000667 return Ctor();
668
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000669 // With no -regalloc= override, ask the target for a regalloc pass.
670 return createTargetRegisterAllocator(Optimized);
671}
672
Arnaud A. de Grandmaisona61262f2014-10-21 20:47:22 +0000673/// Return true if the default global register allocator is in use and
674/// has not be overriden on the command line with '-regalloc=...'
675bool TargetPassConfig::usingDefaultRegAlloc() const {
Arnaud A. de Grandmaison5c7fe7e92014-10-21 21:50:49 +0000676 return RegAlloc.getNumOccurrences() == 0;
Arnaud A. de Grandmaisona61262f2014-10-21 20:47:22 +0000677}
678
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000679/// Add the minimum set of target-independent passes that are required for
680/// register allocation. No coalescing or scheduling.
681void TargetPassConfig::addFastRegAlloc(FunctionPass *RegAllocPass) {
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000682 addPass(&PHIEliminationID, false);
683 addPass(&TwoAddressInstructionPassID, false);
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000684
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000685 addPass(RegAllocPass);
Jim Laskeyd1a714e2006-07-27 20:05:00 +0000686}
Andrew Trickf5426752012-02-09 00:40:55 +0000687
688/// Add standard target-independent passes that are tightly coupled with
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000689/// optimized register allocation, including coalescing, machine instruction
690/// scheduling, and register allocation itself.
691void TargetPassConfig::addOptimizedRegAlloc(FunctionPass *RegAllocPass) {
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000692 addPass(&ProcessImplicitDefsID, false);
Jakob Stoklund Oleseneb495662012-06-25 18:12:18 +0000693
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000694 // LiveVariables currently requires pure SSA form.
695 //
696 // FIXME: Once TwoAddressInstruction pass no longer uses kill flags,
697 // LiveVariables can be removed completely, and LiveIntervals can be directly
698 // computed. (We still either need to regenerate kill flags after regalloc, or
699 // preferably fix the scavenger to not depend on them).
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000700 addPass(&LiveVariablesID, false);
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000701
Rafael Espindola9770bde2013-10-14 16:39:04 +0000702 // Edge splitting is smarter with machine loop info.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000703 addPass(&MachineLoopInfoID, false);
704 addPass(&PHIEliminationID, false);
Jakob Stoklund Olesen1c465892012-08-03 22:12:54 +0000705
706 // Eventually, we want to run LiveIntervals before PHI elimination.
707 if (EarlyLiveIntervals)
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000708 addPass(&LiveIntervalsID, false);
Jakob Stoklund Olesen1c465892012-08-03 22:12:54 +0000709
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000710 addPass(&TwoAddressInstructionPassID, false);
Bob Wilsonb9b69362012-07-02 19:48:37 +0000711 addPass(&RegisterCoalescerID);
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000712
713 // PreRA instruction scheduling.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000714 addPass(&MachineSchedulerID);
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000715
716 // Add the selected register allocation pass.
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000717 addPass(RegAllocPass);
Jakob Stoklund Olesen59a0d322012-06-26 17:09:29 +0000718
719 // Allow targets to change the register assignments before rewriting.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000720 addPreRewrite();
Andrew Trickf5426752012-02-09 00:40:55 +0000721
Jakob Stoklund Olesen12243122012-06-08 23:44:45 +0000722 // Finally rewrite virtual registers.
Bob Wilsonb9b69362012-07-02 19:48:37 +0000723 addPass(&VirtRegRewriterID);
Jakob Stoklund Olesen12243122012-06-08 23:44:45 +0000724
Andrew Trickf5426752012-02-09 00:40:55 +0000725 // Perform stack slot coloring and post-ra machine LICM.
Andrew Trickd3f8fe82012-02-10 04:10:36 +0000726 //
727 // FIXME: Re-enable coloring with register when it's capable of adding
728 // kill markers.
Bob Wilsonb9b69362012-07-02 19:48:37 +0000729 addPass(&StackSlotColoringID);
Andrew Trick899f46c2012-02-15 07:57:03 +0000730
731 // Run post-ra machine LICM to hoist reloads / remats.
732 //
733 // FIXME: can this move into MachineLateOptimization?
Bob Wilsonb9b69362012-07-02 19:48:37 +0000734 addPass(&PostRAMachineLICMID);
Andrew Trickf5426752012-02-09 00:40:55 +0000735}
736
737//===---------------------------------------------------------------------===//
738/// Post RegAlloc Pass Configuration
739//===---------------------------------------------------------------------===//
740
741/// Add passes that optimize machine instructions after register allocation.
742void TargetPassConfig::addMachineLateOptimization() {
743 // Branch folding must be run after regalloc and prolog/epilog insertion.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000744 addPass(&BranchFolderPassID);
Andrew Trickf5426752012-02-09 00:40:55 +0000745
746 // Tail duplication.
Vincent Lejeune92b0a642013-12-07 01:49:19 +0000747 // Note that duplicating tail just increases code size and degrades
748 // performance for targets that require Structured Control Flow.
749 // In addition it can also make CFG irreducible. Thus we disable it.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000750 if (!TM->requiresStructuredCFG())
751 addPass(&TailDuplicateID);
Andrew Trickf5426752012-02-09 00:40:55 +0000752
753 // Copy propagation.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000754 addPass(&MachineCopyPropagationID);
Andrew Trickf5426752012-02-09 00:40:55 +0000755}
756
Evan Cheng59421ae2012-12-21 02:57:04 +0000757/// Add standard GC passes.
758bool TargetPassConfig::addGCPasses() {
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000759 addPass(&GCMachineCodeAnalysisID, false);
Evan Cheng59421ae2012-12-21 02:57:04 +0000760 return true;
761}
762
Andrew Trickf5426752012-02-09 00:40:55 +0000763/// Add standard basic block placement passes.
764void TargetPassConfig::addBlockPlacement() {
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000765 if (addPass(&MachineBlockPlacementID, false)) {
Andrew Tricke9a951c2012-02-15 03:21:51 +0000766 // Run a separate pass to collect block placement statistics.
767 if (EnableBlockPlacementStats)
Bob Wilsonb9b69362012-07-02 19:48:37 +0000768 addPass(&MachineBlockPlacementStatsID);
Andrew Trickf5426752012-02-09 00:40:55 +0000769 }
770}