blob: 659b5ca3e25dd37a36d802180845dc981280f46f [file] [log] [blame]
Andrew Trick5429a6b2012-05-17 22:37:09 +00001//===- MachineScheduler.cpp - Machine Instruction Scheduler ---------------===//
Andrew Trick96f678f2012-01-13 06:30:30 +00002//
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 Trick86b7e2a2012-04-24 20:36:19 +000017#include "RegisterClassInfo.h"
Andrew Trick006e1ab2012-04-24 17:56:43 +000018#include "RegisterPressure.h"
Andrew Trick96f678f2012-01-13 06:30:30 +000019#include "llvm/CodeGen/LiveIntervalAnalysis.h"
Andrew Trickc174eaf2012-03-08 01:41:12 +000020#include "llvm/CodeGen/MachineScheduler.h"
Andrew Trick96f678f2012-01-13 06:30:30 +000021#include "llvm/CodeGen/Passes.h"
Andrew Tricked395c82012-03-07 23:01:06 +000022#include "llvm/CodeGen/ScheduleDAGInstrs.h"
Andrew Trick96f678f2012-01-13 06:30:30 +000023#include "llvm/Analysis/AliasAnalysis.h"
Andrew Tricke9ef4ed2012-01-14 02:17:09 +000024#include "llvm/Target/TargetInstrInfo.h"
Andrew Trick96f678f2012-01-13 06:30:30 +000025#include "llvm/Support/CommandLine.h"
26#include "llvm/Support/Debug.h"
27#include "llvm/Support/ErrorHandling.h"
28#include "llvm/Support/raw_ostream.h"
29#include "llvm/ADT/OwningPtr.h"
Andrew Trick17d35e52012-03-14 04:00:41 +000030#include "llvm/ADT/PriorityQueue.h"
Andrew Trick96f678f2012-01-13 06:30:30 +000031
Andrew Trickc6cf11b2012-01-17 06:55:07 +000032#include <queue>
33
Andrew Trick96f678f2012-01-13 06:30:30 +000034using namespace llvm;
35
Andrew Trick17d35e52012-03-14 04:00:41 +000036static cl::opt<bool> ForceTopDown("misched-topdown", cl::Hidden,
37 cl::desc("Force top-down list scheduling"));
38static cl::opt<bool> ForceBottomUp("misched-bottomup", cl::Hidden,
39 cl::desc("Force bottom-up list scheduling"));
40
Andrew Trick0df7f882012-03-07 00:18:25 +000041#ifndef NDEBUG
42static cl::opt<bool> ViewMISchedDAGs("view-misched-dags", cl::Hidden,
43 cl::desc("Pop up a window to show MISched dags after they are processed"));
Lang Hames23f1cbb2012-03-19 18:38:38 +000044
45static cl::opt<unsigned> MISchedCutoff("misched-cutoff", cl::Hidden,
46 cl::desc("Stop scheduling after N instructions"), cl::init(~0U));
Andrew Trick0df7f882012-03-07 00:18:25 +000047#else
48static bool ViewMISchedDAGs = false;
49#endif // NDEBUG
50
Andrew Trick5edf2f02012-01-14 02:17:06 +000051//===----------------------------------------------------------------------===//
52// Machine Instruction Scheduling Pass and Registry
53//===----------------------------------------------------------------------===//
54
Andrew Trick86b7e2a2012-04-24 20:36:19 +000055MachineSchedContext::MachineSchedContext():
56 MF(0), MLI(0), MDT(0), PassConfig(0), AA(0), LIS(0) {
57 RegClassInfo = new RegisterClassInfo();
58}
59
60MachineSchedContext::~MachineSchedContext() {
61 delete RegClassInfo;
62}
63
Andrew Trick96f678f2012-01-13 06:30:30 +000064namespace {
Andrew Trick42b7a712012-01-17 06:55:03 +000065/// MachineScheduler runs after coalescing and before register allocation.
Andrew Trickc174eaf2012-03-08 01:41:12 +000066class MachineScheduler : public MachineSchedContext,
67 public MachineFunctionPass {
Andrew Trick96f678f2012-01-13 06:30:30 +000068public:
Andrew Trick42b7a712012-01-17 06:55:03 +000069 MachineScheduler();
Andrew Trick96f678f2012-01-13 06:30:30 +000070
71 virtual void getAnalysisUsage(AnalysisUsage &AU) const;
72
73 virtual void releaseMemory() {}
74
75 virtual bool runOnMachineFunction(MachineFunction&);
76
77 virtual void print(raw_ostream &O, const Module* = 0) const;
78
79 static char ID; // Class identification, replacement for typeinfo
80};
81} // namespace
82
Andrew Trick42b7a712012-01-17 06:55:03 +000083char MachineScheduler::ID = 0;
Andrew Trick96f678f2012-01-13 06:30:30 +000084
Andrew Trick42b7a712012-01-17 06:55:03 +000085char &llvm::MachineSchedulerID = MachineScheduler::ID;
Andrew Trick96f678f2012-01-13 06:30:30 +000086
Andrew Trick42b7a712012-01-17 06:55:03 +000087INITIALIZE_PASS_BEGIN(MachineScheduler, "misched",
Andrew Trick96f678f2012-01-13 06:30:30 +000088 "Machine Instruction Scheduler", false, false)
89INITIALIZE_AG_DEPENDENCY(AliasAnalysis)
90INITIALIZE_PASS_DEPENDENCY(SlotIndexes)
91INITIALIZE_PASS_DEPENDENCY(LiveIntervals)
Andrew Trick42b7a712012-01-17 06:55:03 +000092INITIALIZE_PASS_END(MachineScheduler, "misched",
Andrew Trick96f678f2012-01-13 06:30:30 +000093 "Machine Instruction Scheduler", false, false)
94
Andrew Trick42b7a712012-01-17 06:55:03 +000095MachineScheduler::MachineScheduler()
Andrew Trickc174eaf2012-03-08 01:41:12 +000096: MachineFunctionPass(ID) {
Andrew Trick42b7a712012-01-17 06:55:03 +000097 initializeMachineSchedulerPass(*PassRegistry::getPassRegistry());
Andrew Trick96f678f2012-01-13 06:30:30 +000098}
99
Andrew Trick42b7a712012-01-17 06:55:03 +0000100void MachineScheduler::getAnalysisUsage(AnalysisUsage &AU) const {
Andrew Trick96f678f2012-01-13 06:30:30 +0000101 AU.setPreservesCFG();
102 AU.addRequiredID(MachineDominatorsID);
103 AU.addRequired<MachineLoopInfo>();
104 AU.addRequired<AliasAnalysis>();
Andrew Trickd04ec0c2012-03-09 00:52:20 +0000105 AU.addRequired<TargetPassConfig>();
Andrew Trick96f678f2012-01-13 06:30:30 +0000106 AU.addRequired<SlotIndexes>();
107 AU.addPreserved<SlotIndexes>();
108 AU.addRequired<LiveIntervals>();
109 AU.addPreserved<LiveIntervals>();
Andrew Trick96f678f2012-01-13 06:30:30 +0000110 MachineFunctionPass::getAnalysisUsage(AU);
111}
112
Andrew Trick96f678f2012-01-13 06:30:30 +0000113MachinePassRegistry MachineSchedRegistry::Registry;
114
Andrew Trickd04ec0c2012-03-09 00:52:20 +0000115/// A dummy default scheduler factory indicates whether the scheduler
116/// is overridden on the command line.
117static ScheduleDAGInstrs *useDefaultMachineSched(MachineSchedContext *C) {
118 return 0;
119}
Andrew Trick96f678f2012-01-13 06:30:30 +0000120
121/// MachineSchedOpt allows command line selection of the scheduler.
122static cl::opt<MachineSchedRegistry::ScheduleDAGCtor, false,
123 RegisterPassParser<MachineSchedRegistry> >
124MachineSchedOpt("misched",
Andrew Trickd04ec0c2012-03-09 00:52:20 +0000125 cl::init(&useDefaultMachineSched), cl::Hidden,
Andrew Trick96f678f2012-01-13 06:30:30 +0000126 cl::desc("Machine instruction scheduler to use"));
127
Andrew Trickd04ec0c2012-03-09 00:52:20 +0000128static MachineSchedRegistry
Andrew Trick17d35e52012-03-14 04:00:41 +0000129DefaultSchedRegistry("default", "Use the target's default scheduler choice.",
Andrew Trickd04ec0c2012-03-09 00:52:20 +0000130 useDefaultMachineSched);
131
Andrew Trick17d35e52012-03-14 04:00:41 +0000132/// Forward declare the standard machine scheduler. This will be used as the
Andrew Trickd04ec0c2012-03-09 00:52:20 +0000133/// default scheduler if the target does not set a default.
Andrew Trick17d35e52012-03-14 04:00:41 +0000134static ScheduleDAGInstrs *createConvergingSched(MachineSchedContext *C);
Andrew Trickd04ec0c2012-03-09 00:52:20 +0000135
Andrew Trickeb45ebb2012-04-24 18:04:34 +0000136
137/// Decrement this iterator until reaching the top or a non-debug instr.
138static MachineBasicBlock::iterator
139priorNonDebug(MachineBasicBlock::iterator I, MachineBasicBlock::iterator Beg) {
140 assert(I != Beg && "reached the top of the region, cannot decrement");
141 while (--I != Beg) {
142 if (!I->isDebugValue())
143 break;
144 }
145 return I;
146}
147
148/// If this iterator is a debug value, increment until reaching the End or a
149/// non-debug instruction.
150static MachineBasicBlock::iterator
151nextIfDebug(MachineBasicBlock::iterator I, MachineBasicBlock::iterator End) {
Andrew Trick811d92682012-05-17 18:35:03 +0000152 for(; I != End; ++I) {
Andrew Trickeb45ebb2012-04-24 18:04:34 +0000153 if (!I->isDebugValue())
154 break;
155 }
156 return I;
157}
158
Andrew Trickcb058d52012-03-14 04:00:38 +0000159/// Top-level MachineScheduler pass driver.
160///
161/// Visit blocks in function order. Divide each block into scheduling regions
Andrew Trick17d35e52012-03-14 04:00:41 +0000162/// and visit them bottom-up. Visiting regions bottom-up is not required, but is
163/// consistent with the DAG builder, which traverses the interior of the
164/// scheduling regions bottom-up.
Andrew Trickcb058d52012-03-14 04:00:38 +0000165///
166/// This design avoids exposing scheduling boundaries to the DAG builder,
Andrew Trick17d35e52012-03-14 04:00:41 +0000167/// simplifying the DAG builder's support for "special" target instructions.
168/// At the same time the design allows target schedulers to operate across
Andrew Trickcb058d52012-03-14 04:00:38 +0000169/// scheduling boundaries, for example to bundle the boudary instructions
170/// without reordering them. This creates complexity, because the target
171/// scheduler must update the RegionBegin and RegionEnd positions cached by
172/// ScheduleDAGInstrs whenever adding or removing instructions. A much simpler
173/// design would be to split blocks at scheduling boundaries, but LLVM has a
174/// general bias against block splitting purely for implementation simplicity.
Andrew Trick42b7a712012-01-17 06:55:03 +0000175bool MachineScheduler::runOnMachineFunction(MachineFunction &mf) {
Andrew Trick89c324b2012-05-10 21:06:21 +0000176 DEBUG(dbgs() << "Before MISsched:\n"; mf.print(dbgs()));
177
Andrew Trick96f678f2012-01-13 06:30:30 +0000178 // Initialize the context of the pass.
179 MF = &mf;
180 MLI = &getAnalysis<MachineLoopInfo>();
181 MDT = &getAnalysis<MachineDominatorTree>();
Andrew Trickd04ec0c2012-03-09 00:52:20 +0000182 PassConfig = &getAnalysis<TargetPassConfig>();
Andrew Trickc174eaf2012-03-08 01:41:12 +0000183 AA = &getAnalysis<AliasAnalysis>();
184
Lang Hames907cc8f2012-01-27 22:36:19 +0000185 LIS = &getAnalysis<LiveIntervals>();
Andrew Trickc174eaf2012-03-08 01:41:12 +0000186 const TargetInstrInfo *TII = MF->getTarget().getInstrInfo();
Andrew Trick96f678f2012-01-13 06:30:30 +0000187
Andrew Trick86b7e2a2012-04-24 20:36:19 +0000188 RegClassInfo->runOnMachineFunction(*MF);
Andrew Trick006e1ab2012-04-24 17:56:43 +0000189
Andrew Trick96f678f2012-01-13 06:30:30 +0000190 // Select the scheduler, or set the default.
Andrew Trickd04ec0c2012-03-09 00:52:20 +0000191 MachineSchedRegistry::ScheduleDAGCtor Ctor = MachineSchedOpt;
192 if (Ctor == useDefaultMachineSched) {
193 // Get the default scheduler set by the target.
194 Ctor = MachineSchedRegistry::getDefault();
195 if (!Ctor) {
Andrew Trick17d35e52012-03-14 04:00:41 +0000196 Ctor = createConvergingSched;
Andrew Trickd04ec0c2012-03-09 00:52:20 +0000197 MachineSchedRegistry::setDefault(Ctor);
198 }
Andrew Trick96f678f2012-01-13 06:30:30 +0000199 }
200 // Instantiate the selected scheduler.
201 OwningPtr<ScheduleDAGInstrs> Scheduler(Ctor(this));
202
203 // Visit all machine basic blocks.
Andrew Trick006e1ab2012-04-24 17:56:43 +0000204 //
205 // TODO: Visit blocks in global postorder or postorder within the bottom-up
206 // loop tree. Then we can optionally compute global RegPressure.
Andrew Trick96f678f2012-01-13 06:30:30 +0000207 for (MachineFunction::iterator MBB = MF->begin(), MBBEnd = MF->end();
208 MBB != MBBEnd; ++MBB) {
209
Andrew Trick1fabd9f2012-03-09 08:02:51 +0000210 Scheduler->startBlock(MBB);
211
Andrew Tricke9ef4ed2012-01-14 02:17:09 +0000212 // Break the block into scheduling regions [I, RegionEnd), and schedule each
Andrew Trickfe4d6df2012-03-09 22:34:56 +0000213 // region as soon as it is discovered. RegionEnd points the the scheduling
214 // boundary at the bottom of the region. The DAG does not include RegionEnd,
215 // but the region does (i.e. the next RegionEnd is above the previous
216 // RegionBegin). If the current block has no terminator then RegionEnd ==
217 // MBB->end() for the bottom region.
218 //
219 // The Scheduler may insert instructions during either schedule() or
220 // exitRegion(), even for empty regions. So the local iterators 'I' and
221 // 'RegionEnd' are invalid across these calls.
Andrew Tricke9ef4ed2012-01-14 02:17:09 +0000222 unsigned RemainingCount = MBB->size();
Andrew Trick7799eb42012-03-09 03:46:39 +0000223 for(MachineBasicBlock::iterator RegionEnd = MBB->end();
Andrew Trickfe4d6df2012-03-09 22:34:56 +0000224 RegionEnd != MBB->begin(); RegionEnd = Scheduler->begin()) {
Andrew Trick006e1ab2012-04-24 17:56:43 +0000225
Andrew Trick1fabd9f2012-03-09 08:02:51 +0000226 // Avoid decrementing RegionEnd for blocks with no terminator.
227 if (RegionEnd != MBB->end()
228 || TII->isSchedulingBoundary(llvm::prior(RegionEnd), MBB, *MF)) {
229 --RegionEnd;
230 // Count the boundary instruction.
231 --RemainingCount;
232 }
233
Andrew Tricke9ef4ed2012-01-14 02:17:09 +0000234 // The next region starts above the previous region. Look backward in the
235 // instruction stream until we find the nearest boundary.
236 MachineBasicBlock::iterator I = RegionEnd;
Andrew Trick7799eb42012-03-09 03:46:39 +0000237 for(;I != MBB->begin(); --I, --RemainingCount) {
Andrew Tricke9ef4ed2012-01-14 02:17:09 +0000238 if (TII->isSchedulingBoundary(llvm::prior(I), MBB, *MF))
239 break;
240 }
Andrew Trick47c14452012-03-07 05:21:52 +0000241 // Notify the scheduler of the region, even if we may skip scheduling
242 // it. Perhaps it still needs to be bundled.
243 Scheduler->enterRegion(MBB, I, RegionEnd, RemainingCount);
244
245 // Skip empty scheduling regions (0 or 1 schedulable instructions).
246 if (I == RegionEnd || I == llvm::prior(RegionEnd)) {
Andrew Trick47c14452012-03-07 05:21:52 +0000247 // Close the current region. Bundle the terminator if needed.
Andrew Trickfe4d6df2012-03-09 22:34:56 +0000248 // This invalidates 'RegionEnd' and 'I'.
Andrew Trick47c14452012-03-07 05:21:52 +0000249 Scheduler->exitRegion();
Andrew Trickc6cf11b2012-01-17 06:55:07 +0000250 continue;
Andrew Trick3c58ba82012-01-14 02:17:18 +0000251 }
Andrew Trickc6cf11b2012-01-17 06:55:07 +0000252 DEBUG(dbgs() << "MachineScheduling " << MF->getFunction()->getName()
Andrew Trick291411c2012-02-08 02:17:21 +0000253 << ":BB#" << MBB->getNumber() << "\n From: " << *I << " To: ";
254 if (RegionEnd != MBB->end()) dbgs() << *RegionEnd;
255 else dbgs() << "End";
256 dbgs() << " Remaining: " << RemainingCount << "\n");
Andrew Trickc6cf11b2012-01-17 06:55:07 +0000257
Andrew Trickd24da972012-03-09 03:46:42 +0000258 // Schedule a region: possibly reorder instructions.
Andrew Trickfe4d6df2012-03-09 22:34:56 +0000259 // This invalidates 'RegionEnd' and 'I'.
Andrew Trick953be892012-03-07 23:00:49 +0000260 Scheduler->schedule();
Andrew Trickd24da972012-03-09 03:46:42 +0000261
262 // Close the current region.
Andrew Trick47c14452012-03-07 05:21:52 +0000263 Scheduler->exitRegion();
264
265 // Scheduling has invalidated the current iterator 'I'. Ask the
266 // scheduler for the top of it's scheduled region.
267 RegionEnd = Scheduler->begin();
Andrew Tricke9ef4ed2012-01-14 02:17:09 +0000268 }
269 assert(RemainingCount == 0 && "Instruction count mismatch!");
Andrew Trick953be892012-03-07 23:00:49 +0000270 Scheduler->finishBlock();
Andrew Trick96f678f2012-01-13 06:30:30 +0000271 }
Andrew Trick830da402012-04-01 07:24:23 +0000272 Scheduler->finalizeSchedule();
Andrew Trickaad37f12012-03-21 04:12:12 +0000273 DEBUG(LIS->print(dbgs()));
Andrew Trick96f678f2012-01-13 06:30:30 +0000274 return true;
275}
276
Andrew Trick42b7a712012-01-17 06:55:03 +0000277void MachineScheduler::print(raw_ostream &O, const Module* m) const {
Andrew Trick96f678f2012-01-13 06:30:30 +0000278 // unimplemented
279}
280
Andrew Trick5edf2f02012-01-14 02:17:06 +0000281//===----------------------------------------------------------------------===//
Andrew Trick17d35e52012-03-14 04:00:41 +0000282// MachineSchedStrategy - Interface to a machine scheduling algorithm.
283//===----------------------------------------------------------------------===//
Andrew Trickc174eaf2012-03-08 01:41:12 +0000284
285namespace {
Andrew Trick17d35e52012-03-14 04:00:41 +0000286class ScheduleDAGMI;
Andrew Trickc174eaf2012-03-08 01:41:12 +0000287
Andrew Trick17d35e52012-03-14 04:00:41 +0000288/// MachineSchedStrategy - Interface used by ScheduleDAGMI to drive the selected
289/// scheduling algorithm.
290///
291/// If this works well and targets wish to reuse ScheduleDAGMI, we may expose it
292/// in ScheduleDAGInstrs.h
293class MachineSchedStrategy {
294public:
295 virtual ~MachineSchedStrategy() {}
296
297 /// Initialize the strategy after building the DAG for a new region.
298 virtual void initialize(ScheduleDAGMI *DAG) = 0;
299
300 /// Pick the next node to schedule, or return NULL. Set IsTopNode to true to
301 /// schedule the node at the top of the unscheduled region. Otherwise it will
302 /// be scheduled at the bottom.
303 virtual SUnit *pickNode(bool &IsTopNode) = 0;
304
305 /// When all predecessor dependencies have been resolved, free this node for
306 /// top-down scheduling.
307 virtual void releaseTopNode(SUnit *SU) = 0;
308 /// When all successor dependencies have been resolved, free this node for
309 /// bottom-up scheduling.
310 virtual void releaseBottomNode(SUnit *SU) = 0;
311};
312} // namespace
313
314//===----------------------------------------------------------------------===//
315// ScheduleDAGMI - Base class for MachineInstr scheduling with LiveIntervals
316// preservation.
317//===----------------------------------------------------------------------===//
318
319namespace {
320/// ScheduleDAGMI is an implementation of ScheduleDAGInstrs that schedules
321/// machine instructions while updating LiveIntervals.
322class ScheduleDAGMI : public ScheduleDAGInstrs {
323 AliasAnalysis *AA;
Andrew Trick006e1ab2012-04-24 17:56:43 +0000324 RegisterClassInfo *RegClassInfo;
Andrew Trick17d35e52012-03-14 04:00:41 +0000325 MachineSchedStrategy *SchedImpl;
326
Andrew Trick7f8ab782012-05-10 21:06:10 +0000327 MachineBasicBlock::iterator LiveRegionEnd;
328
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000329 /// Register pressure in this region computed by buildSchedGraph.
Andrew Trick006e1ab2012-04-24 17:56:43 +0000330 IntervalPressure RegPressure;
331 RegPressureTracker RPTracker;
332
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000333 /// List of pressure sets that exceed the target's pressure limit before
334 /// scheduling, listed in increasing set ID order. Each pressure set is paired
335 /// with its max pressure in the currently scheduled regions.
336 std::vector<PressureElement> RegionCriticalPSets;
337
Andrew Trick17d35e52012-03-14 04:00:41 +0000338 /// The top of the unscheduled zone.
339 MachineBasicBlock::iterator CurrentTop;
Andrew Trick7f8ab782012-05-10 21:06:10 +0000340 IntervalPressure TopPressure;
341 RegPressureTracker TopRPTracker;
Andrew Trick17d35e52012-03-14 04:00:41 +0000342
343 /// The bottom of the unscheduled zone.
344 MachineBasicBlock::iterator CurrentBottom;
Andrew Trick7f8ab782012-05-10 21:06:10 +0000345 IntervalPressure BotPressure;
346 RegPressureTracker BotRPTracker;
Lang Hames23f1cbb2012-03-19 18:38:38 +0000347
348 /// The number of instructions scheduled so far. Used to cut off the
349 /// scheduler at the point determined by misched-cutoff.
350 unsigned NumInstrsScheduled;
Andrew Trick17d35e52012-03-14 04:00:41 +0000351public:
352 ScheduleDAGMI(MachineSchedContext *C, MachineSchedStrategy *S):
353 ScheduleDAGInstrs(*C->MF, *C->MLI, *C->MDT, /*IsPostRA=*/false, C->LIS),
Andrew Trick86b7e2a2012-04-24 20:36:19 +0000354 AA(C->AA), RegClassInfo(C->RegClassInfo), SchedImpl(S),
Andrew Trick7f8ab782012-05-10 21:06:10 +0000355 RPTracker(RegPressure), CurrentTop(), TopRPTracker(TopPressure),
356 CurrentBottom(), BotRPTracker(BotPressure), NumInstrsScheduled(0) {}
Andrew Trick17d35e52012-03-14 04:00:41 +0000357
358 ~ScheduleDAGMI() {
359 delete SchedImpl;
360 }
361
362 MachineBasicBlock::iterator top() const { return CurrentTop; }
363 MachineBasicBlock::iterator bottom() const { return CurrentBottom; }
364
Andrew Trick006e1ab2012-04-24 17:56:43 +0000365 /// Implement the ScheduleDAGInstrs interface for handling the next scheduling
366 /// region. This covers all instructions in a block, while schedule() may only
367 /// cover a subset.
368 void enterRegion(MachineBasicBlock *bb,
369 MachineBasicBlock::iterator begin,
370 MachineBasicBlock::iterator end,
371 unsigned endcount);
372
373 /// Implement ScheduleDAGInstrs interface for scheduling a sequence of
374 /// reorderable instructions.
Andrew Trickc174eaf2012-03-08 01:41:12 +0000375 void schedule();
376
Andrew Trick7196a8f2012-05-10 21:06:16 +0000377 /// Get current register pressure for the top scheduled instructions.
378 const IntervalPressure &getTopPressure() const { return TopPressure; }
379 const RegPressureTracker &getTopRPTracker() const { return TopRPTracker; }
380
381 /// Get current register pressure for the bottom scheduled instructions.
382 const IntervalPressure &getBotPressure() const { return BotPressure; }
383 const RegPressureTracker &getBotRPTracker() const { return BotRPTracker; }
384
385 /// Get register pressure for the entire scheduling region before scheduling.
386 const IntervalPressure &getRegPressure() const { return RegPressure; }
387
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000388 const std::vector<PressureElement> &getRegionCriticalPSets() const {
389 return RegionCriticalPSets;
390 }
391
Andrew Trickc174eaf2012-03-08 01:41:12 +0000392protected:
Andrew Trick7f8ab782012-05-10 21:06:10 +0000393 void initRegPressure();
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000394 void updateScheduledPressure(std::vector<unsigned> NewMaxPressure);
Andrew Trick7f8ab782012-05-10 21:06:10 +0000395
Andrew Trick17d35e52012-03-14 04:00:41 +0000396 void moveInstruction(MachineInstr *MI, MachineBasicBlock::iterator InsertPos);
Andrew Trick0b0d8992012-03-21 04:12:07 +0000397 bool checkSchedLimit();
Andrew Trick17d35e52012-03-14 04:00:41 +0000398
Andrew Trickc174eaf2012-03-08 01:41:12 +0000399 void releaseSucc(SUnit *SU, SDep *SuccEdge);
400 void releaseSuccessors(SUnit *SU);
Andrew Trick17d35e52012-03-14 04:00:41 +0000401 void releasePred(SUnit *SU, SDep *PredEdge);
402 void releasePredecessors(SUnit *SU);
Andrew Trick000b2502012-04-24 18:04:37 +0000403
404 void placeDebugValues();
Andrew Trickc174eaf2012-03-08 01:41:12 +0000405};
406} // namespace
407
408/// ReleaseSucc - Decrement the NumPredsLeft count of a successor. When
409/// NumPredsLeft reaches zero, release the successor node.
Andrew Trick17d35e52012-03-14 04:00:41 +0000410void ScheduleDAGMI::releaseSucc(SUnit *SU, SDep *SuccEdge) {
Andrew Trickc174eaf2012-03-08 01:41:12 +0000411 SUnit *SuccSU = SuccEdge->getSUnit();
412
413#ifndef NDEBUG
414 if (SuccSU->NumPredsLeft == 0) {
415 dbgs() << "*** Scheduling failed! ***\n";
416 SuccSU->dump(this);
417 dbgs() << " has been released too many times!\n";
418 llvm_unreachable(0);
419 }
420#endif
421 --SuccSU->NumPredsLeft;
422 if (SuccSU->NumPredsLeft == 0 && SuccSU != &ExitSU)
Andrew Trick17d35e52012-03-14 04:00:41 +0000423 SchedImpl->releaseTopNode(SuccSU);
Andrew Trickc174eaf2012-03-08 01:41:12 +0000424}
425
426/// releaseSuccessors - Call releaseSucc on each of SU's successors.
Andrew Trick17d35e52012-03-14 04:00:41 +0000427void ScheduleDAGMI::releaseSuccessors(SUnit *SU) {
Andrew Trickc174eaf2012-03-08 01:41:12 +0000428 for (SUnit::succ_iterator I = SU->Succs.begin(), E = SU->Succs.end();
429 I != E; ++I) {
430 releaseSucc(SU, &*I);
431 }
432}
433
Andrew Trick17d35e52012-03-14 04:00:41 +0000434/// ReleasePred - Decrement the NumSuccsLeft count of a predecessor. When
435/// NumSuccsLeft reaches zero, release the predecessor node.
436void ScheduleDAGMI::releasePred(SUnit *SU, SDep *PredEdge) {
437 SUnit *PredSU = PredEdge->getSUnit();
438
439#ifndef NDEBUG
440 if (PredSU->NumSuccsLeft == 0) {
441 dbgs() << "*** Scheduling failed! ***\n";
442 PredSU->dump(this);
443 dbgs() << " has been released too many times!\n";
444 llvm_unreachable(0);
445 }
446#endif
447 --PredSU->NumSuccsLeft;
448 if (PredSU->NumSuccsLeft == 0 && PredSU != &EntrySU)
449 SchedImpl->releaseBottomNode(PredSU);
450}
451
452/// releasePredecessors - Call releasePred on each of SU's predecessors.
453void ScheduleDAGMI::releasePredecessors(SUnit *SU) {
454 for (SUnit::pred_iterator I = SU->Preds.begin(), E = SU->Preds.end();
455 I != E; ++I) {
456 releasePred(SU, &*I);
457 }
458}
459
460void ScheduleDAGMI::moveInstruction(MachineInstr *MI,
461 MachineBasicBlock::iterator InsertPos) {
Andrew Trick811d92682012-05-17 18:35:03 +0000462 // Advance RegionBegin if the first instruction moves down.
Andrew Trick1ce062f2012-03-21 04:12:10 +0000463 if (&*RegionBegin == MI)
Andrew Trick811d92682012-05-17 18:35:03 +0000464 ++RegionBegin;
465
466 // Update the instruction stream.
Andrew Trick17d35e52012-03-14 04:00:41 +0000467 BB->splice(InsertPos, BB, MI);
Andrew Trick811d92682012-05-17 18:35:03 +0000468
469 // Update LiveIntervals
Andrew Trick17d35e52012-03-14 04:00:41 +0000470 LIS->handleMove(MI);
Andrew Trick811d92682012-05-17 18:35:03 +0000471
472 // Recede RegionBegin if an instruction moves above the first.
Andrew Trick17d35e52012-03-14 04:00:41 +0000473 if (RegionBegin == InsertPos)
474 RegionBegin = MI;
475}
476
Andrew Trick0b0d8992012-03-21 04:12:07 +0000477bool ScheduleDAGMI::checkSchedLimit() {
478#ifndef NDEBUG
479 if (NumInstrsScheduled == MISchedCutoff && MISchedCutoff != ~0U) {
480 CurrentTop = CurrentBottom;
481 return false;
482 }
483 ++NumInstrsScheduled;
484#endif
485 return true;
486}
487
Andrew Trick006e1ab2012-04-24 17:56:43 +0000488/// enterRegion - Called back from MachineScheduler::runOnMachineFunction after
489/// crossing a scheduling boundary. [begin, end) includes all instructions in
490/// the region, including the boundary itself and single-instruction regions
491/// that don't get scheduled.
492void ScheduleDAGMI::enterRegion(MachineBasicBlock *bb,
493 MachineBasicBlock::iterator begin,
494 MachineBasicBlock::iterator end,
495 unsigned endcount)
496{
497 ScheduleDAGInstrs::enterRegion(bb, begin, end, endcount);
Andrew Trick7f8ab782012-05-10 21:06:10 +0000498
499 // For convenience remember the end of the liveness region.
500 LiveRegionEnd =
501 (RegionEnd == bb->end()) ? RegionEnd : llvm::next(RegionEnd);
502}
503
504// Setup the register pressure trackers for the top scheduled top and bottom
505// scheduled regions.
506void ScheduleDAGMI::initRegPressure() {
507 TopRPTracker.init(&MF, RegClassInfo, LIS, BB, RegionBegin);
508 BotRPTracker.init(&MF, RegClassInfo, LIS, BB, LiveRegionEnd);
509
510 // Close the RPTracker to finalize live ins.
511 RPTracker.closeRegion();
512
513 // Initialize the live ins and live outs.
514 TopRPTracker.addLiveRegs(RPTracker.getPressure().LiveInRegs);
515 BotRPTracker.addLiveRegs(RPTracker.getPressure().LiveOutRegs);
516
517 // Close one end of the tracker so we can call
518 // getMaxUpward/DownwardPressureDelta before advancing across any
519 // instructions. This converts currently live regs into live ins/outs.
520 TopRPTracker.closeTop();
521 BotRPTracker.closeBottom();
522
523 // Account for liveness generated by the region boundary.
524 if (LiveRegionEnd != RegionEnd)
525 BotRPTracker.recede();
526
527 assert(BotRPTracker.getPos() == RegionEnd && "Can't find the region bottom");
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000528
529 // Cache the list of excess pressure sets in this region. This will also track
530 // the max pressure in the scheduled code for these sets.
531 RegionCriticalPSets.clear();
532 std::vector<unsigned> RegionPressure = RPTracker.getPressure().MaxSetPressure;
533 for (unsigned i = 0, e = RegionPressure.size(); i < e; ++i) {
534 unsigned Limit = TRI->getRegPressureSetLimit(i);
535 if (RegionPressure[i] > Limit)
536 RegionCriticalPSets.push_back(PressureElement(i, 0));
537 }
538 DEBUG(dbgs() << "Excess PSets: ";
539 for (unsigned i = 0, e = RegionCriticalPSets.size(); i != e; ++i)
540 dbgs() << TRI->getRegPressureSetName(
541 RegionCriticalPSets[i].PSetID) << " ";
542 dbgs() << "\n");
543}
544
545// FIXME: When the pressure tracker deals in pressure differences then we won't
546// iterate over all RegionCriticalPSets[i].
547void ScheduleDAGMI::
548updateScheduledPressure(std::vector<unsigned> NewMaxPressure) {
549 for (unsigned i = 0, e = RegionCriticalPSets.size(); i < e; ++i) {
550 unsigned ID = RegionCriticalPSets[i].PSetID;
551 int &MaxUnits = RegionCriticalPSets[i].UnitIncrease;
552 if ((int)NewMaxPressure[ID] > MaxUnits)
553 MaxUnits = NewMaxPressure[ID];
554 }
Andrew Trick006e1ab2012-04-24 17:56:43 +0000555}
556
Andrew Trick17d35e52012-03-14 04:00:41 +0000557/// schedule - Called back from MachineScheduler::runOnMachineFunction
Andrew Trick006e1ab2012-04-24 17:56:43 +0000558/// after setting up the current scheduling region. [RegionBegin, RegionEnd)
559/// only includes instructions that have DAG nodes, not scheduling boundaries.
Andrew Trick17d35e52012-03-14 04:00:41 +0000560void ScheduleDAGMI::schedule() {
Andrew Trick7f8ab782012-05-10 21:06:10 +0000561 // Initialize the register pressure tracker used by buildSchedGraph.
562 RPTracker.init(&MF, RegClassInfo, LIS, BB, LiveRegionEnd);
Andrew Trick006e1ab2012-04-24 17:56:43 +0000563
Andrew Trick7f8ab782012-05-10 21:06:10 +0000564 // Account for liveness generate by the region boundary.
565 if (LiveRegionEnd != RegionEnd)
566 RPTracker.recede();
567
568 // Build the DAG, and compute current register pressure.
Andrew Trick006e1ab2012-04-24 17:56:43 +0000569 buildSchedGraph(AA, &RPTracker);
Andrew Trickc174eaf2012-03-08 01:41:12 +0000570
Andrew Trick7f8ab782012-05-10 21:06:10 +0000571 // Initialize top/bottom trackers after computing region pressure.
572 initRegPressure();
573
Andrew Trickc174eaf2012-03-08 01:41:12 +0000574 DEBUG(dbgs() << "********** MI Scheduling **********\n");
575 DEBUG(for (unsigned su = 0, e = SUnits.size(); su != e; ++su)
576 SUnits[su].dumpAll(this));
577
578 if (ViewMISchedDAGs) viewGraph();
579
Andrew Trick17d35e52012-03-14 04:00:41 +0000580 SchedImpl->initialize(this);
581
582 // Release edges from the special Entry node or to the special Exit node.
Andrew Trickc174eaf2012-03-08 01:41:12 +0000583 releaseSuccessors(&EntrySU);
Andrew Trick17d35e52012-03-14 04:00:41 +0000584 releasePredecessors(&ExitSU);
Andrew Trickc174eaf2012-03-08 01:41:12 +0000585
586 // Release all DAG roots for scheduling.
587 for (std::vector<SUnit>::iterator I = SUnits.begin(), E = SUnits.end();
588 I != E; ++I) {
Andrew Trick17d35e52012-03-14 04:00:41 +0000589 // A SUnit is ready to top schedule if it has no predecessors.
Andrew Trickc174eaf2012-03-08 01:41:12 +0000590 if (I->Preds.empty())
Andrew Trick17d35e52012-03-14 04:00:41 +0000591 SchedImpl->releaseTopNode(&(*I));
592 // A SUnit is ready to bottom schedule if it has no successors.
593 if (I->Succs.empty())
594 SchedImpl->releaseBottomNode(&(*I));
Andrew Trickc174eaf2012-03-08 01:41:12 +0000595 }
596
Andrew Trickeb45ebb2012-04-24 18:04:34 +0000597 CurrentTop = nextIfDebug(RegionBegin, RegionEnd);
Andrew Trick17d35e52012-03-14 04:00:41 +0000598 CurrentBottom = RegionEnd;
599 bool IsTopNode = false;
600 while (SUnit *SU = SchedImpl->pickNode(IsTopNode)) {
601 DEBUG(dbgs() << "*** " << (IsTopNode ? "Top" : "Bottom")
602 << " Scheduling Instruction:\n"; SU->dump(this));
Andrew Trick0b0d8992012-03-21 04:12:07 +0000603 if (!checkSchedLimit())
604 break;
Andrew Trickc174eaf2012-03-08 01:41:12 +0000605
606 // Move the instruction to its new location in the instruction stream.
607 MachineInstr *MI = SU->getInstr();
Andrew Trickc174eaf2012-03-08 01:41:12 +0000608
Andrew Trick17d35e52012-03-14 04:00:41 +0000609 if (IsTopNode) {
610 assert(SU->isTopReady() && "node still has unscheduled dependencies");
611 if (&*CurrentTop == MI)
Andrew Trickeb45ebb2012-04-24 18:04:34 +0000612 CurrentTop = nextIfDebug(++CurrentTop, CurrentBottom);
Andrew Trick811d92682012-05-17 18:35:03 +0000613 else {
Andrew Trick17d35e52012-03-14 04:00:41 +0000614 moveInstruction(MI, CurrentTop);
Andrew Trick811d92682012-05-17 18:35:03 +0000615 TopRPTracker.setPos(MI);
616 }
Andrew Trick7f8ab782012-05-10 21:06:10 +0000617
618 // Update top scheduled pressure.
619 TopRPTracker.advance();
620 assert(TopRPTracker.getPos() == CurrentTop && "out of sync");
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000621 updateScheduledPressure(TopRPTracker.getPressure().MaxSetPressure);
Andrew Trick7f8ab782012-05-10 21:06:10 +0000622
Andrew Trick17d35e52012-03-14 04:00:41 +0000623 // Release dependent instructions for scheduling.
624 releaseSuccessors(SU);
625 }
626 else {
627 assert(SU->isBottomReady() && "node still has unscheduled dependencies");
Andrew Trickeb45ebb2012-04-24 18:04:34 +0000628 MachineBasicBlock::iterator priorII =
629 priorNonDebug(CurrentBottom, CurrentTop);
630 if (&*priorII == MI)
631 CurrentBottom = priorII;
Andrew Trick17d35e52012-03-14 04:00:41 +0000632 else {
Andrew Trick811d92682012-05-17 18:35:03 +0000633 if (&*CurrentTop == MI) {
634 CurrentTop = nextIfDebug(++CurrentTop, priorII);
635 TopRPTracker.setPos(CurrentTop);
636 }
Andrew Trick17d35e52012-03-14 04:00:41 +0000637 moveInstruction(MI, CurrentBottom);
638 CurrentBottom = MI;
639 }
Andrew Trick7f8ab782012-05-10 21:06:10 +0000640 // Update bottom scheduled pressure.
641 BotRPTracker.recede();
642 assert(BotRPTracker.getPos() == CurrentBottom && "out of sync");
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000643 updateScheduledPressure(BotRPTracker.getPressure().MaxSetPressure);
Andrew Trick7f8ab782012-05-10 21:06:10 +0000644
Andrew Trick17d35e52012-03-14 04:00:41 +0000645 // Release dependent instructions for scheduling.
646 releasePredecessors(SU);
647 }
648 SU->isScheduled = true;
Andrew Trickc174eaf2012-03-08 01:41:12 +0000649 }
Andrew Trick17d35e52012-03-14 04:00:41 +0000650 assert(CurrentTop == CurrentBottom && "Nonempty unscheduled zone.");
Andrew Trick000b2502012-04-24 18:04:37 +0000651
652 placeDebugValues();
653}
654
655/// Reinsert any remaining debug_values, just like the PostRA scheduler.
656void ScheduleDAGMI::placeDebugValues() {
657 // If first instruction was a DBG_VALUE then put it back.
658 if (FirstDbgValue) {
659 BB->splice(RegionBegin, BB, FirstDbgValue);
660 RegionBegin = FirstDbgValue;
661 }
662
663 for (std::vector<std::pair<MachineInstr *, MachineInstr *> >::iterator
664 DI = DbgValues.end(), DE = DbgValues.begin(); DI != DE; --DI) {
665 std::pair<MachineInstr *, MachineInstr *> P = *prior(DI);
666 MachineInstr *DbgValue = P.first;
667 MachineBasicBlock::iterator OrigPrevMI = P.second;
668 BB->splice(++OrigPrevMI, BB, DbgValue);
669 if (OrigPrevMI == llvm::prior(RegionEnd))
670 RegionEnd = DbgValue;
671 }
672 DbgValues.clear();
673 FirstDbgValue = NULL;
Andrew Trickc174eaf2012-03-08 01:41:12 +0000674}
675
676//===----------------------------------------------------------------------===//
Andrew Trick17d35e52012-03-14 04:00:41 +0000677// ConvergingScheduler - Implementation of the standard MachineSchedStrategy.
Andrew Trick42b7a712012-01-17 06:55:03 +0000678//===----------------------------------------------------------------------===//
679
680namespace {
Andrew Trick7196a8f2012-05-10 21:06:16 +0000681/// Wrapper around a vector of SUnits with some basic convenience methods.
Andrew Trickd38f87e2012-05-10 21:06:12 +0000682struct ReadyQ {
683 typedef std::vector<SUnit*>::iterator iterator;
684
685 unsigned ID;
686 std::vector<SUnit*> Queue;
687
688 ReadyQ(unsigned id): ID(id) {}
689
690 bool isInQueue(SUnit *SU) const {
691 return SU->NodeQueueId & ID;
692 }
693
694 bool empty() const { return Queue.empty(); }
695
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000696 unsigned size() const { return Queue.size(); }
697
Andrew Trick16716c72012-05-10 21:06:14 +0000698 iterator begin() { return Queue.begin(); }
699
700 iterator end() { return Queue.end(); }
701
Andrew Trickd38f87e2012-05-10 21:06:12 +0000702 iterator find(SUnit *SU) {
703 return std::find(Queue.begin(), Queue.end(), SU);
704 }
705
706 void push(SUnit *SU) {
707 Queue.push_back(SU);
Andrew Trick7196a8f2012-05-10 21:06:16 +0000708 SU->NodeQueueId |= ID;
Andrew Trickd38f87e2012-05-10 21:06:12 +0000709 }
710
711 void remove(iterator I) {
Andrew Trick7196a8f2012-05-10 21:06:16 +0000712 (*I)->NodeQueueId &= ~ID;
Andrew Trickd38f87e2012-05-10 21:06:12 +0000713 *I = Queue.back();
714 Queue.pop_back();
715 }
Andrew Trick81f1be32012-05-17 18:35:13 +0000716
717 void dump(const char* Name) {
718 dbgs() << Name << ": ";
719 for (unsigned i = 0, e = Queue.size(); i < e; ++i)
720 dbgs() << Queue[i]->NodeNum << " ";
721 dbgs() << "\n";
722 }
Andrew Trickd38f87e2012-05-10 21:06:12 +0000723};
724
Andrew Trick17d35e52012-03-14 04:00:41 +0000725/// ConvergingScheduler shrinks the unscheduled zone using heuristics to balance
726/// the schedule.
727class ConvergingScheduler : public MachineSchedStrategy {
Andrew Trick7196a8f2012-05-10 21:06:16 +0000728
729 /// Store the state used by ConvergingScheduler heuristics, required for the
730 /// lifetime of one invocation of pickNode().
731 struct SchedCandidate {
732 // The best SUnit candidate.
733 SUnit *SU;
734
735 // Register pressure values for the best candidate.
736 RegPressureDelta RPDelta;
737
738 SchedCandidate(): SU(NULL) {}
739 };
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000740 /// Represent the type of SchedCandidate found within a single queue.
741 enum CandResult {
742 NoCand, NodeOrder, SingleExcess, SingleCritical, SingleMax, MultiPressure };
Andrew Trick7196a8f2012-05-10 21:06:16 +0000743
Andrew Trick17d35e52012-03-14 04:00:41 +0000744 ScheduleDAGMI *DAG;
Andrew Trick7196a8f2012-05-10 21:06:16 +0000745 const TargetRegisterInfo *TRI;
Andrew Trick42b7a712012-01-17 06:55:03 +0000746
Andrew Trickd38f87e2012-05-10 21:06:12 +0000747 ReadyQ TopQueue;
748 ReadyQ BotQueue;
Andrew Trick17d35e52012-03-14 04:00:41 +0000749
750public:
Andrew Trick7196a8f2012-05-10 21:06:16 +0000751 /// SUnit::NodeQueueId = 0 (none), = 1 (top), = 2 (bottom), = 3 (both)
752 enum {
753 TopQID = 1,
754 BotQID = 2
755 };
756
757 ConvergingScheduler(): DAG(0), TRI(0), TopQueue(TopQID), BotQueue(BotQID) {}
758
759 static const char *getQName(unsigned ID) {
760 switch(ID) {
761 default: return "NoQ";
762 case TopQID: return "TopQ";
763 case BotQID: return "BotQ";
764 };
765 }
Andrew Trickd38f87e2012-05-10 21:06:12 +0000766
Andrew Trick17d35e52012-03-14 04:00:41 +0000767 virtual void initialize(ScheduleDAGMI *dag) {
768 DAG = dag;
Andrew Trick7196a8f2012-05-10 21:06:16 +0000769 TRI = DAG->TRI;
Andrew Trick17d35e52012-03-14 04:00:41 +0000770
Benjamin Kramer689e0b42012-03-14 11:26:37 +0000771 assert((!ForceTopDown || !ForceBottomUp) &&
Andrew Trick17d35e52012-03-14 04:00:41 +0000772 "-misched-topdown incompatible with -misched-bottomup");
773 }
774
Andrew Trick7196a8f2012-05-10 21:06:16 +0000775 virtual SUnit *pickNode(bool &IsTopNode);
Andrew Trick17d35e52012-03-14 04:00:41 +0000776
777 virtual void releaseTopNode(SUnit *SU) {
Andrew Trick16716c72012-05-10 21:06:14 +0000778 if (!SU->isScheduled)
779 TopQueue.push(SU);
Andrew Trick17d35e52012-03-14 04:00:41 +0000780 }
781 virtual void releaseBottomNode(SUnit *SU) {
Andrew Trick16716c72012-05-10 21:06:14 +0000782 if (!SU->isScheduled)
783 BotQueue.push(SU);
Andrew Trick17d35e52012-03-14 04:00:41 +0000784 }
Andrew Trick7196a8f2012-05-10 21:06:16 +0000785protected:
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000786 SUnit *pickNodeBidrectional(bool &IsTopNode);
787
788 CandResult pickNodeFromQueue(ReadyQ &Q, const RegPressureTracker &RPTracker,
789 SchedCandidate &Candidate);
Andrew Trick28ebc892012-05-10 21:06:19 +0000790#ifndef NDEBUG
791 void traceCandidate(const char *Label, unsigned QID, SUnit *SU,
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000792 PressureElement P = PressureElement());
Andrew Trick28ebc892012-05-10 21:06:19 +0000793#endif
Andrew Trick42b7a712012-01-17 06:55:03 +0000794};
795} // namespace
796
Andrew Trick28ebc892012-05-10 21:06:19 +0000797#ifndef NDEBUG
798void ConvergingScheduler::
799traceCandidate(const char *Label, unsigned QID, SUnit *SU,
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000800 PressureElement P) {
Andrew Trick28ebc892012-05-10 21:06:19 +0000801 dbgs() << Label << getQName(QID) << " ";
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000802 if (P.isValid())
803 dbgs() << TRI->getRegPressureSetName(P.PSetID) << ":" << P.UnitIncrease
804 << " ";
Andrew Trick28ebc892012-05-10 21:06:19 +0000805 else
806 dbgs() << " ";
807 SU->dump(DAG);
808}
809#endif
810
Andrew Trick5429a6b2012-05-17 22:37:09 +0000811/// pickNodeFromQueue helper that returns true if the LHS reg pressure effect is
812/// more desirable than RHS from scheduling standpoint.
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000813static bool compareRPDelta(const RegPressureDelta &LHS,
814 const RegPressureDelta &RHS) {
815 // Compare each component of pressure in decreasing order of importance
816 // without checking if any are valid. Invalid PressureElements are assumed to
817 // have UnitIncrease==0, so are neutral.
Andrew Trickc8fe4ec2012-05-24 22:11:01 +0000818
819 // Avoid increasing the max critical pressure in the scheduled region.
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000820 if (LHS.Excess.UnitIncrease != RHS.Excess.UnitIncrease)
821 return LHS.Excess.UnitIncrease < RHS.Excess.UnitIncrease;
822
Andrew Trickc8fe4ec2012-05-24 22:11:01 +0000823 // Avoid increasing the max critical pressure in the scheduled region.
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000824 if (LHS.CriticalMax.UnitIncrease != RHS.CriticalMax.UnitIncrease)
825 return LHS.CriticalMax.UnitIncrease < RHS.CriticalMax.UnitIncrease;
826
Andrew Trickc8fe4ec2012-05-24 22:11:01 +0000827 // Avoid increasing the max pressure of the entire region.
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000828 if (LHS.CurrentMax.UnitIncrease != RHS.CurrentMax.UnitIncrease)
829 return LHS.CurrentMax.UnitIncrease < RHS.CurrentMax.UnitIncrease;
830
831 return false;
832}
833
Andrew Trick7196a8f2012-05-10 21:06:16 +0000834/// Pick the best candidate from the top queue.
835///
836/// TODO: getMaxPressureDelta results can be mostly cached for each SUnit during
837/// DAG building. To adjust for the current scheduling location we need to
838/// maintain the number of vreg uses remaining to be top-scheduled.
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000839ConvergingScheduler::CandResult ConvergingScheduler::
840pickNodeFromQueue(ReadyQ &Q, const RegPressureTracker &RPTracker,
841 SchedCandidate &Candidate) {
Andrew Trick81f1be32012-05-17 18:35:13 +0000842 DEBUG(Q.dump(getQName(Q.ID)));
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000843
Andrew Trick7196a8f2012-05-10 21:06:16 +0000844 // getMaxPressureDelta temporarily modifies the tracker.
845 RegPressureTracker &TempTracker = const_cast<RegPressureTracker&>(RPTracker);
846
847 // BestSU remains NULL if no top candidates beat the best existing candidate.
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000848 CandResult FoundCandidate = NoCand;
Andrew Trick7196a8f2012-05-10 21:06:16 +0000849 for (ReadyQ::iterator I = Q.begin(), E = Q.end(); I != E; ++I) {
850
851 RegPressureDelta RPDelta;
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000852 TempTracker.getMaxPressureDelta((*I)->getInstr(), RPDelta,
853 DAG->getRegionCriticalPSets(),
854 DAG->getRegPressure().MaxSetPressure);
Andrew Trick7196a8f2012-05-10 21:06:16 +0000855
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000856 // Initialize the candidate if needed.
857 if (!Candidate.SU) {
858 Candidate.SU = *I;
859 Candidate.RPDelta = RPDelta;
860 FoundCandidate = NodeOrder;
861 continue;
862 }
Andrew Trick7196a8f2012-05-10 21:06:16 +0000863 // Avoid exceeding the target's limit.
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000864 if (RPDelta.Excess.UnitIncrease < Candidate.RPDelta.Excess.UnitIncrease) {
865 DEBUG(traceCandidate("ECAND", Q.ID, *I, RPDelta.Excess));
Andrew Trick7196a8f2012-05-10 21:06:16 +0000866 Candidate.SU = *I;
867 Candidate.RPDelta = RPDelta;
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000868 FoundCandidate = SingleExcess;
Andrew Trick7196a8f2012-05-10 21:06:16 +0000869 continue;
870 }
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000871 if (RPDelta.Excess.UnitIncrease > Candidate.RPDelta.Excess.UnitIncrease)
Andrew Trick7196a8f2012-05-10 21:06:16 +0000872 continue;
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000873 if (FoundCandidate == SingleExcess)
874 FoundCandidate = MultiPressure;
Andrew Trick7196a8f2012-05-10 21:06:16 +0000875
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000876 // Avoid increasing the max critical pressure in the scheduled region.
877 if (RPDelta.CriticalMax.UnitIncrease
878 < Candidate.RPDelta.CriticalMax.UnitIncrease) {
879 DEBUG(traceCandidate("PCAND", Q.ID, *I, RPDelta.CriticalMax));
Andrew Trick7196a8f2012-05-10 21:06:16 +0000880 Candidate.SU = *I;
881 Candidate.RPDelta = RPDelta;
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000882 FoundCandidate = SingleCritical;
Andrew Trick7196a8f2012-05-10 21:06:16 +0000883 continue;
884 }
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000885 if (RPDelta.CriticalMax.UnitIncrease
886 > Candidate.RPDelta.CriticalMax.UnitIncrease)
Andrew Trick7196a8f2012-05-10 21:06:16 +0000887 continue;
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000888 if (FoundCandidate == SingleCritical)
889 FoundCandidate = MultiPressure;
890
891 // Avoid increasing the max pressure of the entire region.
892 if (RPDelta.CurrentMax.UnitIncrease
893 < Candidate.RPDelta.CurrentMax.UnitIncrease) {
894 DEBUG(traceCandidate("MCAND", Q.ID, *I, RPDelta.CurrentMax));
895 Candidate.SU = *I;
896 Candidate.RPDelta = RPDelta;
897 FoundCandidate = SingleMax;
898 continue;
899 }
900 if (RPDelta.CurrentMax.UnitIncrease
901 > Candidate.RPDelta.CurrentMax.UnitIncrease)
902 continue;
903 if (FoundCandidate == SingleMax)
904 FoundCandidate = MultiPressure;
Andrew Trick7196a8f2012-05-10 21:06:16 +0000905
906 // Fall through to original instruction order.
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000907 // Only consider node order if Candidate was chosen from this Q.
908 if (FoundCandidate == NoCand)
Andrew Trick7196a8f2012-05-10 21:06:16 +0000909 continue;
910
911 if ((Q.ID == TopQID && (*I)->NodeNum < Candidate.SU->NodeNum)
912 || (Q.ID == BotQID && (*I)->NodeNum > Candidate.SU->NodeNum)) {
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000913 DEBUG(traceCandidate("NCAND", Q.ID, *I));
Andrew Trick7196a8f2012-05-10 21:06:16 +0000914 Candidate.SU = *I;
915 Candidate.RPDelta = RPDelta;
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000916 FoundCandidate = NodeOrder;
Andrew Trick7196a8f2012-05-10 21:06:16 +0000917 }
918 }
919 return FoundCandidate;
920}
921
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000922/// Pick the best candidate node from either the top or bottom queue.
923SUnit *ConvergingScheduler::pickNodeBidrectional(bool &IsTopNode) {
924 // Schedule as far as possible in the direction of no choice. This is most
925 // efficient, but also provides the best heuristics for CriticalPSets.
926 if (BotQueue.size() == 1) {
927 IsTopNode = false;
928 return *BotQueue.begin();
929 }
930 if (TopQueue.size() == 1) {
931 IsTopNode = true;
932 return *TopQueue.begin();
933 }
934 SchedCandidate BotCandidate;
935 // Prefer bottom scheduling when heuristics are silent.
936 CandResult BotResult =
937 pickNodeFromQueue(BotQueue, DAG->getBotRPTracker(), BotCandidate);
938 assert(BotResult != NoCand && "failed to find the first candidate");
939
940 // If either Q has a single candidate that provides the least increase in
941 // Excess pressure, we can immediately schedule from that Q.
942 //
943 // RegionCriticalPSets summarizes the pressure within the scheduled region and
944 // affects picking from either Q. If scheduling in one direction must
945 // increase pressure for one of the excess PSets, then schedule in that
946 // direction first to provide more freedom in the other direction.
947 if (BotResult == SingleExcess || BotResult == SingleCritical) {
948 IsTopNode = false;
949 return BotCandidate.SU;
950 }
951 // Check if the top Q has a better candidate.
952 SchedCandidate TopCandidate;
953 CandResult TopResult =
954 pickNodeFromQueue(TopQueue, DAG->getTopRPTracker(), TopCandidate);
955 assert(TopResult != NoCand && "failed to find the first candidate");
956
957 if (TopResult == SingleExcess || TopResult == SingleCritical) {
958 IsTopNode = true;
959 return TopCandidate.SU;
960 }
961 // If either Q has a single candidate that minimizes pressure above the
962 // original region's pressure pick it.
963 if (BotResult == SingleMax) {
964 IsTopNode = false;
965 return BotCandidate.SU;
966 }
967 if (TopResult == SingleMax) {
968 IsTopNode = true;
969 return TopCandidate.SU;
970 }
971 // Check for a salient pressure difference and pick the best from either side.
972 if (compareRPDelta(TopCandidate.RPDelta, BotCandidate.RPDelta)) {
973 IsTopNode = true;
974 return TopCandidate.SU;
975 }
976 // Otherwise prefer the bottom candidate in node order.
977 IsTopNode = false;
978 return BotCandidate.SU;
979}
980
981/// Pick the best node to balance the schedule. Implements MachineSchedStrategy.
Andrew Trick7196a8f2012-05-10 21:06:16 +0000982SUnit *ConvergingScheduler::pickNode(bool &IsTopNode) {
983 if (DAG->top() == DAG->bottom()) {
984 assert(TopQueue.empty() && BotQueue.empty() && "ReadyQ garbage");
985 return NULL;
986 }
Andrew Trick7196a8f2012-05-10 21:06:16 +0000987 SUnit *SU;
988 if (ForceTopDown) {
989 SU = DAG->getSUnit(DAG->top());
990 IsTopNode = true;
991 }
992 else if (ForceBottomUp) {
993 SU = DAG->getSUnit(priorNonDebug(DAG->bottom(), DAG->top()));
994 IsTopNode = false;
995 }
996 else {
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000997 SU = pickNodeBidrectional(IsTopNode);
Andrew Trick7196a8f2012-05-10 21:06:16 +0000998 }
999 if (SU->isTopReady()) {
1000 assert(!TopQueue.empty() && "bad ready count");
1001 TopQueue.remove(TopQueue.find(SU));
1002 }
1003 if (SU->isBottomReady()) {
1004 assert(!BotQueue.empty() && "bad ready count");
1005 BotQueue.remove(BotQueue.find(SU));
1006 }
1007 return SU;
1008}
1009
Andrew Trick17d35e52012-03-14 04:00:41 +00001010/// Create the standard converging machine scheduler. This will be used as the
1011/// default scheduler if the target does not set a default.
1012static ScheduleDAGInstrs *createConvergingSched(MachineSchedContext *C) {
Benjamin Kramer689e0b42012-03-14 11:26:37 +00001013 assert((!ForceTopDown || !ForceBottomUp) &&
Andrew Trick17d35e52012-03-14 04:00:41 +00001014 "-misched-topdown incompatible with -misched-bottomup");
1015 return new ScheduleDAGMI(C, new ConvergingScheduler());
Andrew Trick42b7a712012-01-17 06:55:03 +00001016}
1017static MachineSchedRegistry
Andrew Trick17d35e52012-03-14 04:00:41 +00001018ConvergingSchedRegistry("converge", "Standard converging scheduler.",
1019 createConvergingSched);
Andrew Trick42b7a712012-01-17 06:55:03 +00001020
1021//===----------------------------------------------------------------------===//
Andrew Trick5edf2f02012-01-14 02:17:06 +00001022// Machine Instruction Shuffler for Correctness Testing
1023//===----------------------------------------------------------------------===//
1024
Andrew Trick96f678f2012-01-13 06:30:30 +00001025#ifndef NDEBUG
1026namespace {
Andrew Trick17d35e52012-03-14 04:00:41 +00001027/// Apply a less-than relation on the node order, which corresponds to the
1028/// instruction order prior to scheduling. IsReverse implements greater-than.
1029template<bool IsReverse>
1030struct SUnitOrder {
Andrew Trickc6cf11b2012-01-17 06:55:07 +00001031 bool operator()(SUnit *A, SUnit *B) const {
Andrew Trick17d35e52012-03-14 04:00:41 +00001032 if (IsReverse)
1033 return A->NodeNum > B->NodeNum;
1034 else
1035 return A->NodeNum < B->NodeNum;
Andrew Trickc6cf11b2012-01-17 06:55:07 +00001036 }
1037};
1038
Andrew Trick96f678f2012-01-13 06:30:30 +00001039/// Reorder instructions as much as possible.
Andrew Trick17d35e52012-03-14 04:00:41 +00001040class InstructionShuffler : public MachineSchedStrategy {
1041 bool IsAlternating;
1042 bool IsTopDown;
1043
1044 // Using a less-than relation (SUnitOrder<false>) for the TopQ priority
1045 // gives nodes with a higher number higher priority causing the latest
1046 // instructions to be scheduled first.
1047 PriorityQueue<SUnit*, std::vector<SUnit*>, SUnitOrder<false> >
1048 TopQ;
1049 // When scheduling bottom-up, use greater-than as the queue priority.
1050 PriorityQueue<SUnit*, std::vector<SUnit*>, SUnitOrder<true> >
1051 BottomQ;
Andrew Trick96f678f2012-01-13 06:30:30 +00001052public:
Andrew Trick17d35e52012-03-14 04:00:41 +00001053 InstructionShuffler(bool alternate, bool topdown)
1054 : IsAlternating(alternate), IsTopDown(topdown) {}
Andrew Trick96f678f2012-01-13 06:30:30 +00001055
Andrew Trick17d35e52012-03-14 04:00:41 +00001056 virtual void initialize(ScheduleDAGMI *) {
1057 TopQ.clear();
1058 BottomQ.clear();
1059 }
Andrew Trickc6cf11b2012-01-17 06:55:07 +00001060
Andrew Trick17d35e52012-03-14 04:00:41 +00001061 /// Implement MachineSchedStrategy interface.
1062 /// -----------------------------------------
1063
1064 virtual SUnit *pickNode(bool &IsTopNode) {
1065 SUnit *SU;
1066 if (IsTopDown) {
1067 do {
1068 if (TopQ.empty()) return NULL;
1069 SU = TopQ.top();
1070 TopQ.pop();
1071 } while (SU->isScheduled);
1072 IsTopNode = true;
1073 }
1074 else {
1075 do {
1076 if (BottomQ.empty()) return NULL;
1077 SU = BottomQ.top();
1078 BottomQ.pop();
1079 } while (SU->isScheduled);
1080 IsTopNode = false;
1081 }
1082 if (IsAlternating)
1083 IsTopDown = !IsTopDown;
Andrew Trickc6cf11b2012-01-17 06:55:07 +00001084 return SU;
1085 }
1086
Andrew Trick17d35e52012-03-14 04:00:41 +00001087 virtual void releaseTopNode(SUnit *SU) {
1088 TopQ.push(SU);
1089 }
1090 virtual void releaseBottomNode(SUnit *SU) {
1091 BottomQ.push(SU);
Andrew Trick96f678f2012-01-13 06:30:30 +00001092 }
1093};
1094} // namespace
1095
Andrew Trickc174eaf2012-03-08 01:41:12 +00001096static ScheduleDAGInstrs *createInstructionShuffler(MachineSchedContext *C) {
Andrew Trick17d35e52012-03-14 04:00:41 +00001097 bool Alternate = !ForceTopDown && !ForceBottomUp;
1098 bool TopDown = !ForceBottomUp;
Benjamin Kramer689e0b42012-03-14 11:26:37 +00001099 assert((TopDown || !ForceTopDown) &&
Andrew Trick17d35e52012-03-14 04:00:41 +00001100 "-misched-topdown incompatible with -misched-bottomup");
1101 return new ScheduleDAGMI(C, new InstructionShuffler(Alternate, TopDown));
Andrew Trick96f678f2012-01-13 06:30:30 +00001102}
Andrew Trick17d35e52012-03-14 04:00:41 +00001103static MachineSchedRegistry ShufflerRegistry(
1104 "shuffle", "Shuffle machine instructions alternating directions",
1105 createInstructionShuffler);
Andrew Trick96f678f2012-01-13 06:30:30 +00001106#endif // !NDEBUG