blob: 8b70ae5350d446cf976218a2917f52efc8549f07 [file] [log] [blame]
Andrew Trick96f678f2012-01-13 06:30:30 +00001//===- MachineScheduler.cpp - Machine Instruction Scheduler ---------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// MachineScheduler schedules machine instructions after phi elimination. It
11// preserves LiveIntervals so it can be invoked before register allocation.
12//
13//===----------------------------------------------------------------------===//
14
15#define DEBUG_TYPE "misched"
16
Andrew Trick96f678f2012-01-13 06:30:30 +000017#include "llvm/CodeGen/LiveIntervalAnalysis.h"
Andrew Trickc174eaf2012-03-08 01:41:12 +000018#include "llvm/CodeGen/MachineScheduler.h"
Andrew Trick96f678f2012-01-13 06:30:30 +000019#include "llvm/CodeGen/Passes.h"
Andrew Tricked395c82012-03-07 23:01:06 +000020#include "llvm/CodeGen/ScheduleDAGInstrs.h"
Andrew Trick96f678f2012-01-13 06:30:30 +000021#include "llvm/Analysis/AliasAnalysis.h"
Andrew Tricke9ef4ed2012-01-14 02:17:09 +000022#include "llvm/Target/TargetInstrInfo.h"
Andrew Trick96f678f2012-01-13 06:30:30 +000023#include "llvm/Support/CommandLine.h"
24#include "llvm/Support/Debug.h"
25#include "llvm/Support/ErrorHandling.h"
26#include "llvm/Support/raw_ostream.h"
27#include "llvm/ADT/OwningPtr.h"
28
Andrew Trickc6cf11b2012-01-17 06:55:07 +000029#include <queue>
30
Andrew Trick96f678f2012-01-13 06:30:30 +000031using namespace llvm;
32
Andrew Trick0df7f882012-03-07 00:18:25 +000033#ifndef NDEBUG
34static cl::opt<bool> ViewMISchedDAGs("view-misched-dags", cl::Hidden,
35 cl::desc("Pop up a window to show MISched dags after they are processed"));
36#else
37static bool ViewMISchedDAGs = false;
38#endif // NDEBUG
39
Andrew Trick5edf2f02012-01-14 02:17:06 +000040//===----------------------------------------------------------------------===//
41// Machine Instruction Scheduling Pass and Registry
42//===----------------------------------------------------------------------===//
43
Andrew Trick96f678f2012-01-13 06:30:30 +000044namespace {
Andrew Trick42b7a712012-01-17 06:55:03 +000045/// MachineScheduler runs after coalescing and before register allocation.
Andrew Trickc174eaf2012-03-08 01:41:12 +000046class MachineScheduler : public MachineSchedContext,
47 public MachineFunctionPass {
Andrew Trick96f678f2012-01-13 06:30:30 +000048public:
Andrew Trick42b7a712012-01-17 06:55:03 +000049 MachineScheduler();
Andrew Trick96f678f2012-01-13 06:30:30 +000050
51 virtual void getAnalysisUsage(AnalysisUsage &AU) const;
52
53 virtual void releaseMemory() {}
54
55 virtual bool runOnMachineFunction(MachineFunction&);
56
57 virtual void print(raw_ostream &O, const Module* = 0) const;
58
59 static char ID; // Class identification, replacement for typeinfo
60};
61} // namespace
62
Andrew Trick42b7a712012-01-17 06:55:03 +000063char MachineScheduler::ID = 0;
Andrew Trick96f678f2012-01-13 06:30:30 +000064
Andrew Trick42b7a712012-01-17 06:55:03 +000065char &llvm::MachineSchedulerID = MachineScheduler::ID;
Andrew Trick96f678f2012-01-13 06:30:30 +000066
Andrew Trick42b7a712012-01-17 06:55:03 +000067INITIALIZE_PASS_BEGIN(MachineScheduler, "misched",
Andrew Trick96f678f2012-01-13 06:30:30 +000068 "Machine Instruction Scheduler", false, false)
69INITIALIZE_AG_DEPENDENCY(AliasAnalysis)
70INITIALIZE_PASS_DEPENDENCY(SlotIndexes)
71INITIALIZE_PASS_DEPENDENCY(LiveIntervals)
Andrew Trick42b7a712012-01-17 06:55:03 +000072INITIALIZE_PASS_END(MachineScheduler, "misched",
Andrew Trick96f678f2012-01-13 06:30:30 +000073 "Machine Instruction Scheduler", false, false)
74
Andrew Trick42b7a712012-01-17 06:55:03 +000075MachineScheduler::MachineScheduler()
Andrew Trickc174eaf2012-03-08 01:41:12 +000076: MachineFunctionPass(ID) {
Andrew Trick42b7a712012-01-17 06:55:03 +000077 initializeMachineSchedulerPass(*PassRegistry::getPassRegistry());
Andrew Trick96f678f2012-01-13 06:30:30 +000078}
79
Andrew Trick42b7a712012-01-17 06:55:03 +000080void MachineScheduler::getAnalysisUsage(AnalysisUsage &AU) const {
Andrew Trick96f678f2012-01-13 06:30:30 +000081 AU.setPreservesCFG();
82 AU.addRequiredID(MachineDominatorsID);
83 AU.addRequired<MachineLoopInfo>();
84 AU.addRequired<AliasAnalysis>();
Andrew Trickd04ec0c2012-03-09 00:52:20 +000085 AU.addRequired<TargetPassConfig>();
Andrew Trick96f678f2012-01-13 06:30:30 +000086 AU.addRequired<SlotIndexes>();
87 AU.addPreserved<SlotIndexes>();
88 AU.addRequired<LiveIntervals>();
89 AU.addPreserved<LiveIntervals>();
Andrew Trick96f678f2012-01-13 06:30:30 +000090 MachineFunctionPass::getAnalysisUsage(AU);
91}
92
Andrew Trick96f678f2012-01-13 06:30:30 +000093MachinePassRegistry MachineSchedRegistry::Registry;
94
Andrew Trickd04ec0c2012-03-09 00:52:20 +000095/// A dummy default scheduler factory indicates whether the scheduler
96/// is overridden on the command line.
97static ScheduleDAGInstrs *useDefaultMachineSched(MachineSchedContext *C) {
98 return 0;
99}
Andrew Trick96f678f2012-01-13 06:30:30 +0000100
101/// MachineSchedOpt allows command line selection of the scheduler.
102static cl::opt<MachineSchedRegistry::ScheduleDAGCtor, false,
103 RegisterPassParser<MachineSchedRegistry> >
104MachineSchedOpt("misched",
Andrew Trickd04ec0c2012-03-09 00:52:20 +0000105 cl::init(&useDefaultMachineSched), cl::Hidden,
Andrew Trick96f678f2012-01-13 06:30:30 +0000106 cl::desc("Machine instruction scheduler to use"));
107
Andrew Trickd04ec0c2012-03-09 00:52:20 +0000108static MachineSchedRegistry
109SchedDefaultRegistry("default", "Use the target's default scheduler choice.",
110 useDefaultMachineSched);
111
112/// Forward declare the common machine scheduler. This will be used as the
113/// default scheduler if the target does not set a default.
114static ScheduleDAGInstrs *createCommonMachineSched(MachineSchedContext *C);
115
Andrew Trick42b7a712012-01-17 06:55:03 +0000116bool MachineScheduler::runOnMachineFunction(MachineFunction &mf) {
Andrew Trick96f678f2012-01-13 06:30:30 +0000117 // Initialize the context of the pass.
118 MF = &mf;
119 MLI = &getAnalysis<MachineLoopInfo>();
120 MDT = &getAnalysis<MachineDominatorTree>();
Andrew Trickd04ec0c2012-03-09 00:52:20 +0000121 PassConfig = &getAnalysis<TargetPassConfig>();
Andrew Trickc174eaf2012-03-08 01:41:12 +0000122 AA = &getAnalysis<AliasAnalysis>();
123
Lang Hames907cc8f2012-01-27 22:36:19 +0000124 LIS = &getAnalysis<LiveIntervals>();
Andrew Trickc174eaf2012-03-08 01:41:12 +0000125 const TargetInstrInfo *TII = MF->getTarget().getInstrInfo();
Andrew Trick96f678f2012-01-13 06:30:30 +0000126
127 // Select the scheduler, or set the default.
Andrew Trickd04ec0c2012-03-09 00:52:20 +0000128 MachineSchedRegistry::ScheduleDAGCtor Ctor = MachineSchedOpt;
129 if (Ctor == useDefaultMachineSched) {
130 // Get the default scheduler set by the target.
131 Ctor = MachineSchedRegistry::getDefault();
132 if (!Ctor) {
133 Ctor = createCommonMachineSched;
134 MachineSchedRegistry::setDefault(Ctor);
135 }
Andrew Trick96f678f2012-01-13 06:30:30 +0000136 }
137 // Instantiate the selected scheduler.
138 OwningPtr<ScheduleDAGInstrs> Scheduler(Ctor(this));
139
140 // Visit all machine basic blocks.
141 for (MachineFunction::iterator MBB = MF->begin(), MBBEnd = MF->end();
142 MBB != MBBEnd; ++MBB) {
143
Andrew Trick1fabd9f2012-03-09 08:02:51 +0000144 Scheduler->startBlock(MBB);
145
Andrew Tricke9ef4ed2012-01-14 02:17:09 +0000146 // Break the block into scheduling regions [I, RegionEnd), and schedule each
Andrew Trickfe4d6df2012-03-09 22:34:56 +0000147 // region as soon as it is discovered. RegionEnd points the the scheduling
148 // boundary at the bottom of the region. The DAG does not include RegionEnd,
149 // but the region does (i.e. the next RegionEnd is above the previous
150 // RegionBegin). If the current block has no terminator then RegionEnd ==
151 // MBB->end() for the bottom region.
152 //
153 // The Scheduler may insert instructions during either schedule() or
154 // exitRegion(), even for empty regions. So the local iterators 'I' and
155 // 'RegionEnd' are invalid across these calls.
Andrew Tricke9ef4ed2012-01-14 02:17:09 +0000156 unsigned RemainingCount = MBB->size();
Andrew Trick7799eb42012-03-09 03:46:39 +0000157 for(MachineBasicBlock::iterator RegionEnd = MBB->end();
Andrew Trickfe4d6df2012-03-09 22:34:56 +0000158 RegionEnd != MBB->begin(); RegionEnd = Scheduler->begin()) {
Andrew Trick1fabd9f2012-03-09 08:02:51 +0000159 // Avoid decrementing RegionEnd for blocks with no terminator.
160 if (RegionEnd != MBB->end()
161 || TII->isSchedulingBoundary(llvm::prior(RegionEnd), MBB, *MF)) {
162 --RegionEnd;
163 // Count the boundary instruction.
164 --RemainingCount;
165 }
166
Andrew Tricke9ef4ed2012-01-14 02:17:09 +0000167 // The next region starts above the previous region. Look backward in the
168 // instruction stream until we find the nearest boundary.
169 MachineBasicBlock::iterator I = RegionEnd;
Andrew Trick7799eb42012-03-09 03:46:39 +0000170 for(;I != MBB->begin(); --I, --RemainingCount) {
Andrew Tricke9ef4ed2012-01-14 02:17:09 +0000171 if (TII->isSchedulingBoundary(llvm::prior(I), MBB, *MF))
172 break;
173 }
Andrew Trick47c14452012-03-07 05:21:52 +0000174 // Notify the scheduler of the region, even if we may skip scheduling
175 // it. Perhaps it still needs to be bundled.
176 Scheduler->enterRegion(MBB, I, RegionEnd, RemainingCount);
177
178 // Skip empty scheduling regions (0 or 1 schedulable instructions).
179 if (I == RegionEnd || I == llvm::prior(RegionEnd)) {
Andrew Trick47c14452012-03-07 05:21:52 +0000180 // Close the current region. Bundle the terminator if needed.
Andrew Trickfe4d6df2012-03-09 22:34:56 +0000181 // This invalidates 'RegionEnd' and 'I'.
Andrew Trick47c14452012-03-07 05:21:52 +0000182 Scheduler->exitRegion();
Andrew Trickc6cf11b2012-01-17 06:55:07 +0000183 continue;
Andrew Trick3c58ba82012-01-14 02:17:18 +0000184 }
Andrew Trickc6cf11b2012-01-17 06:55:07 +0000185 DEBUG(dbgs() << "MachineScheduling " << MF->getFunction()->getName()
Andrew Trick291411c2012-02-08 02:17:21 +0000186 << ":BB#" << MBB->getNumber() << "\n From: " << *I << " To: ";
187 if (RegionEnd != MBB->end()) dbgs() << *RegionEnd;
188 else dbgs() << "End";
189 dbgs() << " Remaining: " << RemainingCount << "\n");
Andrew Trickc6cf11b2012-01-17 06:55:07 +0000190
Andrew Trickd24da972012-03-09 03:46:42 +0000191 // Schedule a region: possibly reorder instructions.
Andrew Trickfe4d6df2012-03-09 22:34:56 +0000192 // This invalidates 'RegionEnd' and 'I'.
Andrew Trick953be892012-03-07 23:00:49 +0000193 Scheduler->schedule();
Andrew Trickd24da972012-03-09 03:46:42 +0000194
195 // Close the current region.
Andrew Trick47c14452012-03-07 05:21:52 +0000196 Scheduler->exitRegion();
197
198 // Scheduling has invalidated the current iterator 'I'. Ask the
199 // scheduler for the top of it's scheduled region.
200 RegionEnd = Scheduler->begin();
Andrew Tricke9ef4ed2012-01-14 02:17:09 +0000201 }
202 assert(RemainingCount == 0 && "Instruction count mismatch!");
Andrew Trick953be892012-03-07 23:00:49 +0000203 Scheduler->finishBlock();
Andrew Trick96f678f2012-01-13 06:30:30 +0000204 }
205 return true;
206}
207
Andrew Trick42b7a712012-01-17 06:55:03 +0000208void MachineScheduler::print(raw_ostream &O, const Module* m) const {
Andrew Trick96f678f2012-01-13 06:30:30 +0000209 // unimplemented
210}
211
Andrew Trick5edf2f02012-01-14 02:17:06 +0000212//===----------------------------------------------------------------------===//
Andrew Trickc174eaf2012-03-08 01:41:12 +0000213// ScheduleTopeDownLive - Base class for basic top-down scheduling with
214// LiveIntervals preservation.
215// ===----------------------------------------------------------------------===//
216
217namespace {
218/// ScheduleTopDownLive is an implementation of ScheduleDAGInstrs that schedules
219/// machine instructions while updating LiveIntervals.
220class ScheduleTopDownLive : public ScheduleDAGInstrs {
221 AliasAnalysis *AA;
222public:
223 ScheduleTopDownLive(MachineSchedContext *C):
224 ScheduleDAGInstrs(*C->MF, *C->MLI, *C->MDT, /*IsPostRA=*/false, C->LIS),
225 AA(C->AA) {}
226
227 /// ScheduleDAGInstrs interface.
228 void schedule();
229
230 /// Interface implemented by the selected top-down liveinterval scheduler.
231 ///
232 /// Pick the next node to schedule, or return NULL.
233 virtual SUnit *pickNode() = 0;
234
235 /// When all preceeding dependencies have been resolved, free this node for
236 /// scheduling.
237 virtual void releaseNode(SUnit *SU) = 0;
238
239protected:
240 void releaseSucc(SUnit *SU, SDep *SuccEdge);
241 void releaseSuccessors(SUnit *SU);
242};
243} // namespace
244
245/// ReleaseSucc - Decrement the NumPredsLeft count of a successor. When
246/// NumPredsLeft reaches zero, release the successor node.
247void ScheduleTopDownLive::releaseSucc(SUnit *SU, SDep *SuccEdge) {
248 SUnit *SuccSU = SuccEdge->getSUnit();
249
250#ifndef NDEBUG
251 if (SuccSU->NumPredsLeft == 0) {
252 dbgs() << "*** Scheduling failed! ***\n";
253 SuccSU->dump(this);
254 dbgs() << " has been released too many times!\n";
255 llvm_unreachable(0);
256 }
257#endif
258 --SuccSU->NumPredsLeft;
259 if (SuccSU->NumPredsLeft == 0 && SuccSU != &ExitSU)
260 releaseNode(SuccSU);
261}
262
263/// releaseSuccessors - Call releaseSucc on each of SU's successors.
264void ScheduleTopDownLive::releaseSuccessors(SUnit *SU) {
265 for (SUnit::succ_iterator I = SU->Succs.begin(), E = SU->Succs.end();
266 I != E; ++I) {
267 releaseSucc(SU, &*I);
268 }
269}
270
271/// schedule - This is called back from ScheduleDAGInstrs::Run() when it's
272/// time to do some work.
273void ScheduleTopDownLive::schedule() {
274 buildSchedGraph(AA);
275
276 DEBUG(dbgs() << "********** MI Scheduling **********\n");
277 DEBUG(for (unsigned su = 0, e = SUnits.size(); su != e; ++su)
278 SUnits[su].dumpAll(this));
279
280 if (ViewMISchedDAGs) viewGraph();
281
282 // Release any successors of the special Entry node. It is currently unused,
283 // but we keep up appearances.
284 releaseSuccessors(&EntrySU);
285
286 // Release all DAG roots for scheduling.
287 for (std::vector<SUnit>::iterator I = SUnits.begin(), E = SUnits.end();
288 I != E; ++I) {
289 // A SUnit is ready to schedule if it has no predecessors.
290 if (I->Preds.empty())
291 releaseNode(&(*I));
292 }
293
Andrew Trick68675c62012-03-09 04:29:02 +0000294 MachineBasicBlock::iterator InsertPos = RegionBegin;
Andrew Trickc174eaf2012-03-08 01:41:12 +0000295 while (SUnit *SU = pickNode()) {
296 DEBUG(dbgs() << "*** Scheduling Instruction:\n"; SU->dump(this));
297
298 // Move the instruction to its new location in the instruction stream.
299 MachineInstr *MI = SU->getInstr();
300 if (&*InsertPos == MI)
301 ++InsertPos;
302 else {
303 BB->splice(InsertPos, BB, MI);
304 LIS->handleMove(MI);
Andrew Trick68675c62012-03-09 04:29:02 +0000305 if (RegionBegin == InsertPos)
306 RegionBegin = MI;
Andrew Trickc174eaf2012-03-08 01:41:12 +0000307 }
308
309 // Release dependent instructions for scheduling.
310 releaseSuccessors(SU);
311 }
312}
313
314//===----------------------------------------------------------------------===//
315// Placeholder for the default machine instruction scheduler.
Andrew Trick42b7a712012-01-17 06:55:03 +0000316//===----------------------------------------------------------------------===//
317
318namespace {
Andrew Trickd04ec0c2012-03-09 00:52:20 +0000319class CommonMachineScheduler : public ScheduleDAGInstrs {
Andrew Trickc174eaf2012-03-08 01:41:12 +0000320 AliasAnalysis *AA;
Andrew Trick42b7a712012-01-17 06:55:03 +0000321public:
Andrew Trickd04ec0c2012-03-09 00:52:20 +0000322 CommonMachineScheduler(MachineSchedContext *C):
Andrew Trickc174eaf2012-03-08 01:41:12 +0000323 ScheduleDAGInstrs(*C->MF, *C->MLI, *C->MDT, /*IsPostRA=*/false, C->LIS),
324 AA(C->AA) {}
Andrew Trick42b7a712012-01-17 06:55:03 +0000325
Andrew Trick953be892012-03-07 23:00:49 +0000326 /// schedule - This is called back from ScheduleDAGInstrs::Run() when it's
Andrew Trickc6cf11b2012-01-17 06:55:07 +0000327 /// time to do some work.
Andrew Trick953be892012-03-07 23:00:49 +0000328 void schedule();
Andrew Trick42b7a712012-01-17 06:55:03 +0000329};
330} // namespace
331
Andrew Trickd04ec0c2012-03-09 00:52:20 +0000332/// The common machine scheduler will be used as the default scheduler if the
333/// target does not set a default.
334static ScheduleDAGInstrs *createCommonMachineSched(MachineSchedContext *C) {
335 return new CommonMachineScheduler(C);
Andrew Trick42b7a712012-01-17 06:55:03 +0000336}
337static MachineSchedRegistry
Andrew Trickd04ec0c2012-03-09 00:52:20 +0000338SchedCommonRegistry("common", "Use the target's default scheduler choice.",
339 createCommonMachineSched);
Andrew Trick42b7a712012-01-17 06:55:03 +0000340
Andrew Trick42b7a712012-01-17 06:55:03 +0000341/// Schedule - This is called back from ScheduleDAGInstrs::Run() when it's
342/// time to do some work.
Andrew Trickd04ec0c2012-03-09 00:52:20 +0000343void CommonMachineScheduler::schedule() {
Andrew Trickc174eaf2012-03-08 01:41:12 +0000344 buildSchedGraph(AA);
Andrew Trick42b7a712012-01-17 06:55:03 +0000345
346 DEBUG(dbgs() << "********** MI Scheduling **********\n");
347 DEBUG(for (unsigned su = 0, e = SUnits.size(); su != e; ++su)
348 SUnits[su].dumpAll(this));
349
350 // TODO: Put interesting things here.
Andrew Trickc6cf11b2012-01-17 06:55:07 +0000351 //
352 // When this is fully implemented, it will become a subclass of
353 // ScheduleTopDownLive. So this driver will disappear.
Andrew Trick42b7a712012-01-17 06:55:03 +0000354}
355
356//===----------------------------------------------------------------------===//
Andrew Trick5edf2f02012-01-14 02:17:06 +0000357// Machine Instruction Shuffler for Correctness Testing
358//===----------------------------------------------------------------------===//
359
Andrew Trick96f678f2012-01-13 06:30:30 +0000360#ifndef NDEBUG
361namespace {
Andrew Trickb4566a92012-02-22 06:08:11 +0000362// Nodes with a higher number have higher priority. This way we attempt to
Andrew Trickc6cf11b2012-01-17 06:55:07 +0000363// schedule the latest instructions earliest.
364//
365// TODO: Relies on the property of the BuildSchedGraph that results in SUnits
Andrew Trickb4566a92012-02-22 06:08:11 +0000366// being ordered in sequence top-down.
Andrew Trickc6cf11b2012-01-17 06:55:07 +0000367struct ShuffleSUnitOrder {
368 bool operator()(SUnit *A, SUnit *B) const {
Andrew Trickb4566a92012-02-22 06:08:11 +0000369 return A->NodeNum < B->NodeNum;
Andrew Trickc6cf11b2012-01-17 06:55:07 +0000370 }
371};
372
Andrew Trick96f678f2012-01-13 06:30:30 +0000373/// Reorder instructions as much as possible.
Andrew Trick42b7a712012-01-17 06:55:03 +0000374class InstructionShuffler : public ScheduleTopDownLive {
Andrew Trickc6cf11b2012-01-17 06:55:07 +0000375 std::priority_queue<SUnit*, std::vector<SUnit*>, ShuffleSUnitOrder> Queue;
Andrew Trick96f678f2012-01-13 06:30:30 +0000376public:
Andrew Trickc174eaf2012-03-08 01:41:12 +0000377 InstructionShuffler(MachineSchedContext *C):
378 ScheduleTopDownLive(C) {}
Andrew Trick96f678f2012-01-13 06:30:30 +0000379
Andrew Trickc6cf11b2012-01-17 06:55:07 +0000380 /// ScheduleTopDownLive Interface
381
382 virtual SUnit *pickNode() {
383 if (Queue.empty()) return NULL;
384 SUnit *SU = Queue.top();
385 Queue.pop();
386 return SU;
387 }
388
389 virtual void releaseNode(SUnit *SU) {
390 Queue.push(SU);
Andrew Trick96f678f2012-01-13 06:30:30 +0000391 }
392};
393} // namespace
394
Andrew Trickc174eaf2012-03-08 01:41:12 +0000395static ScheduleDAGInstrs *createInstructionShuffler(MachineSchedContext *C) {
396 return new InstructionShuffler(C);
Andrew Trick96f678f2012-01-13 06:30:30 +0000397}
398static MachineSchedRegistry ShufflerRegistry("shuffle",
399 "Shuffle machine instructions",
400 createInstructionShuffler);
401#endif // !NDEBUG