blob: 57f3506d8e8e883e360b65be78f0e8e275e65253 [file] [log] [blame]
Andrew Trick73a0d8e2012-05-17 18:35:10 +00001//===- MachineScheduler.cpp - Machine Instruction Scheduler ---------------===//excess
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 }
716};
717
Andrew Trick17d35e52012-03-14 04:00:41 +0000718/// ConvergingScheduler shrinks the unscheduled zone using heuristics to balance
719/// the schedule.
720class ConvergingScheduler : public MachineSchedStrategy {
Andrew Trick7196a8f2012-05-10 21:06:16 +0000721
722 /// Store the state used by ConvergingScheduler heuristics, required for the
723 /// lifetime of one invocation of pickNode().
724 struct SchedCandidate {
725 // The best SUnit candidate.
726 SUnit *SU;
727
728 // Register pressure values for the best candidate.
729 RegPressureDelta RPDelta;
730
731 SchedCandidate(): SU(NULL) {}
732 };
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000733 /// Represent the type of SchedCandidate found within a single queue.
734 enum CandResult {
735 NoCand, NodeOrder, SingleExcess, SingleCritical, SingleMax, MultiPressure };
Andrew Trick7196a8f2012-05-10 21:06:16 +0000736
Andrew Trick17d35e52012-03-14 04:00:41 +0000737 ScheduleDAGMI *DAG;
Andrew Trick7196a8f2012-05-10 21:06:16 +0000738 const TargetRegisterInfo *TRI;
Andrew Trick42b7a712012-01-17 06:55:03 +0000739
Andrew Trickd38f87e2012-05-10 21:06:12 +0000740 ReadyQ TopQueue;
741 ReadyQ BotQueue;
Andrew Trick17d35e52012-03-14 04:00:41 +0000742
743public:
Andrew Trick7196a8f2012-05-10 21:06:16 +0000744 /// SUnit::NodeQueueId = 0 (none), = 1 (top), = 2 (bottom), = 3 (both)
745 enum {
746 TopQID = 1,
747 BotQID = 2
748 };
749
750 ConvergingScheduler(): DAG(0), TRI(0), TopQueue(TopQID), BotQueue(BotQID) {}
751
752 static const char *getQName(unsigned ID) {
753 switch(ID) {
754 default: return "NoQ";
755 case TopQID: return "TopQ";
756 case BotQID: return "BotQ";
757 };
758 }
Andrew Trickd38f87e2012-05-10 21:06:12 +0000759
Andrew Trick17d35e52012-03-14 04:00:41 +0000760 virtual void initialize(ScheduleDAGMI *dag) {
761 DAG = dag;
Andrew Trick7196a8f2012-05-10 21:06:16 +0000762 TRI = DAG->TRI;
Andrew Trick17d35e52012-03-14 04:00:41 +0000763
Benjamin Kramer689e0b42012-03-14 11:26:37 +0000764 assert((!ForceTopDown || !ForceBottomUp) &&
Andrew Trick17d35e52012-03-14 04:00:41 +0000765 "-misched-topdown incompatible with -misched-bottomup");
766 }
767
Andrew Trick7196a8f2012-05-10 21:06:16 +0000768 virtual SUnit *pickNode(bool &IsTopNode);
Andrew Trick17d35e52012-03-14 04:00:41 +0000769
770 virtual void releaseTopNode(SUnit *SU) {
Andrew Trick16716c72012-05-10 21:06:14 +0000771 if (!SU->isScheduled)
772 TopQueue.push(SU);
Andrew Trick17d35e52012-03-14 04:00:41 +0000773 }
774 virtual void releaseBottomNode(SUnit *SU) {
Andrew Trick16716c72012-05-10 21:06:14 +0000775 if (!SU->isScheduled)
776 BotQueue.push(SU);
Andrew Trick17d35e52012-03-14 04:00:41 +0000777 }
Andrew Trick7196a8f2012-05-10 21:06:16 +0000778protected:
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000779 SUnit *pickNodeBidrectional(bool &IsTopNode);
780
781 CandResult pickNodeFromQueue(ReadyQ &Q, const RegPressureTracker &RPTracker,
782 SchedCandidate &Candidate);
Andrew Trick28ebc892012-05-10 21:06:19 +0000783#ifndef NDEBUG
784 void traceCandidate(const char *Label, unsigned QID, SUnit *SU,
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000785 PressureElement P = PressureElement());
Andrew Trick28ebc892012-05-10 21:06:19 +0000786#endif
Andrew Trick42b7a712012-01-17 06:55:03 +0000787};
788} // namespace
789
Andrew Trick28ebc892012-05-10 21:06:19 +0000790#ifndef NDEBUG
791void ConvergingScheduler::
792traceCandidate(const char *Label, unsigned QID, SUnit *SU,
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000793 PressureElement P) {
Andrew Trick28ebc892012-05-10 21:06:19 +0000794 dbgs() << Label << getQName(QID) << " ";
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000795 if (P.isValid())
796 dbgs() << TRI->getRegPressureSetName(P.PSetID) << ":" << P.UnitIncrease
797 << " ";
Andrew Trick28ebc892012-05-10 21:06:19 +0000798 else
799 dbgs() << " ";
800 SU->dump(DAG);
801}
802#endif
803
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000804/// Return true if the LHS reg pressure effect is better than RHS.
805static bool compareRPDelta(const RegPressureDelta &LHS,
806 const RegPressureDelta &RHS) {
807 // Compare each component of pressure in decreasing order of importance
808 // without checking if any are valid. Invalid PressureElements are assumed to
809 // have UnitIncrease==0, so are neutral.
810 if (LHS.Excess.UnitIncrease != RHS.Excess.UnitIncrease)
811 return LHS.Excess.UnitIncrease < RHS.Excess.UnitIncrease;
812
813 if (LHS.CriticalMax.UnitIncrease != RHS.CriticalMax.UnitIncrease)
814 return LHS.CriticalMax.UnitIncrease < RHS.CriticalMax.UnitIncrease;
815
816 if (LHS.CurrentMax.UnitIncrease != RHS.CurrentMax.UnitIncrease)
817 return LHS.CurrentMax.UnitIncrease < RHS.CurrentMax.UnitIncrease;
818
819 return false;
820}
821
822
Andrew Trick7196a8f2012-05-10 21:06:16 +0000823/// Pick the best candidate from the top queue.
824///
825/// TODO: getMaxPressureDelta results can be mostly cached for each SUnit during
826/// DAG building. To adjust for the current scheduling location we need to
827/// maintain the number of vreg uses remaining to be top-scheduled.
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000828ConvergingScheduler::CandResult ConvergingScheduler::
829pickNodeFromQueue(ReadyQ &Q, const RegPressureTracker &RPTracker,
830 SchedCandidate &Candidate) {
831
Andrew Trick7196a8f2012-05-10 21:06:16 +0000832 // getMaxPressureDelta temporarily modifies the tracker.
833 RegPressureTracker &TempTracker = const_cast<RegPressureTracker&>(RPTracker);
834
835 // BestSU remains NULL if no top candidates beat the best existing candidate.
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000836 CandResult FoundCandidate = NoCand;
Andrew Trick7196a8f2012-05-10 21:06:16 +0000837 for (ReadyQ::iterator I = Q.begin(), E = Q.end(); I != E; ++I) {
838
839 RegPressureDelta RPDelta;
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000840 TempTracker.getMaxPressureDelta((*I)->getInstr(), RPDelta,
841 DAG->getRegionCriticalPSets(),
842 DAG->getRegPressure().MaxSetPressure);
Andrew Trick7196a8f2012-05-10 21:06:16 +0000843
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000844 // Initialize the candidate if needed.
845 if (!Candidate.SU) {
846 Candidate.SU = *I;
847 Candidate.RPDelta = RPDelta;
848 FoundCandidate = NodeOrder;
849 continue;
850 }
Andrew Trick7196a8f2012-05-10 21:06:16 +0000851 // Avoid exceeding the target's limit.
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000852 if (RPDelta.Excess.UnitIncrease < Candidate.RPDelta.Excess.UnitIncrease) {
853 DEBUG(traceCandidate("ECAND", Q.ID, *I, RPDelta.Excess));
Andrew Trick7196a8f2012-05-10 21:06:16 +0000854 Candidate.SU = *I;
855 Candidate.RPDelta = RPDelta;
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000856 FoundCandidate = SingleExcess;
Andrew Trick7196a8f2012-05-10 21:06:16 +0000857 continue;
858 }
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000859 if (RPDelta.Excess.UnitIncrease > Candidate.RPDelta.Excess.UnitIncrease)
Andrew Trick7196a8f2012-05-10 21:06:16 +0000860 continue;
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000861 if (FoundCandidate == SingleExcess)
862 FoundCandidate = MultiPressure;
Andrew Trick7196a8f2012-05-10 21:06:16 +0000863
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000864 // Avoid increasing the max critical pressure in the scheduled region.
865 if (RPDelta.CriticalMax.UnitIncrease
866 < Candidate.RPDelta.CriticalMax.UnitIncrease) {
867 DEBUG(traceCandidate("PCAND", Q.ID, *I, RPDelta.CriticalMax));
Andrew Trick7196a8f2012-05-10 21:06:16 +0000868 Candidate.SU = *I;
869 Candidate.RPDelta = RPDelta;
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000870 FoundCandidate = SingleCritical;
Andrew Trick7196a8f2012-05-10 21:06:16 +0000871 continue;
872 }
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000873 if (RPDelta.CriticalMax.UnitIncrease
874 > Candidate.RPDelta.CriticalMax.UnitIncrease)
Andrew Trick7196a8f2012-05-10 21:06:16 +0000875 continue;
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000876 if (FoundCandidate == SingleCritical)
877 FoundCandidate = MultiPressure;
878
879 // Avoid increasing the max pressure of the entire region.
880 if (RPDelta.CurrentMax.UnitIncrease
881 < Candidate.RPDelta.CurrentMax.UnitIncrease) {
882 DEBUG(traceCandidate("MCAND", Q.ID, *I, RPDelta.CurrentMax));
883 Candidate.SU = *I;
884 Candidate.RPDelta = RPDelta;
885 FoundCandidate = SingleMax;
886 continue;
887 }
888 if (RPDelta.CurrentMax.UnitIncrease
889 > Candidate.RPDelta.CurrentMax.UnitIncrease)
890 continue;
891 if (FoundCandidate == SingleMax)
892 FoundCandidate = MultiPressure;
Andrew Trick7196a8f2012-05-10 21:06:16 +0000893
894 // Fall through to original instruction order.
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000895 // Only consider node order if Candidate was chosen from this Q.
896 if (FoundCandidate == NoCand)
Andrew Trick7196a8f2012-05-10 21:06:16 +0000897 continue;
898
899 if ((Q.ID == TopQID && (*I)->NodeNum < Candidate.SU->NodeNum)
900 || (Q.ID == BotQID && (*I)->NodeNum > Candidate.SU->NodeNum)) {
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000901 DEBUG(traceCandidate("NCAND", Q.ID, *I));
Andrew Trick7196a8f2012-05-10 21:06:16 +0000902 Candidate.SU = *I;
903 Candidate.RPDelta = RPDelta;
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000904 FoundCandidate = NodeOrder;
Andrew Trick7196a8f2012-05-10 21:06:16 +0000905 }
906 }
907 return FoundCandidate;
908}
909
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000910/// Pick the best candidate node from either the top or bottom queue.
911SUnit *ConvergingScheduler::pickNodeBidrectional(bool &IsTopNode) {
912 // Schedule as far as possible in the direction of no choice. This is most
913 // efficient, but also provides the best heuristics for CriticalPSets.
914 if (BotQueue.size() == 1) {
915 IsTopNode = false;
916 return *BotQueue.begin();
917 }
918 if (TopQueue.size() == 1) {
919 IsTopNode = true;
920 return *TopQueue.begin();
921 }
922 SchedCandidate BotCandidate;
923 // Prefer bottom scheduling when heuristics are silent.
924 CandResult BotResult =
925 pickNodeFromQueue(BotQueue, DAG->getBotRPTracker(), BotCandidate);
926 assert(BotResult != NoCand && "failed to find the first candidate");
927
928 // If either Q has a single candidate that provides the least increase in
929 // Excess pressure, we can immediately schedule from that Q.
930 //
931 // RegionCriticalPSets summarizes the pressure within the scheduled region and
932 // affects picking from either Q. If scheduling in one direction must
933 // increase pressure for one of the excess PSets, then schedule in that
934 // direction first to provide more freedom in the other direction.
935 if (BotResult == SingleExcess || BotResult == SingleCritical) {
936 IsTopNode = false;
937 return BotCandidate.SU;
938 }
939 // Check if the top Q has a better candidate.
940 SchedCandidate TopCandidate;
941 CandResult TopResult =
942 pickNodeFromQueue(TopQueue, DAG->getTopRPTracker(), TopCandidate);
943 assert(TopResult != NoCand && "failed to find the first candidate");
944
945 if (TopResult == SingleExcess || TopResult == SingleCritical) {
946 IsTopNode = true;
947 return TopCandidate.SU;
948 }
949 // If either Q has a single candidate that minimizes pressure above the
950 // original region's pressure pick it.
951 if (BotResult == SingleMax) {
952 IsTopNode = false;
953 return BotCandidate.SU;
954 }
955 if (TopResult == SingleMax) {
956 IsTopNode = true;
957 return TopCandidate.SU;
958 }
959 // Check for a salient pressure difference and pick the best from either side.
960 if (compareRPDelta(TopCandidate.RPDelta, BotCandidate.RPDelta)) {
961 IsTopNode = true;
962 return TopCandidate.SU;
963 }
964 // Otherwise prefer the bottom candidate in node order.
965 IsTopNode = false;
966 return BotCandidate.SU;
967}
968
969/// Pick the best node to balance the schedule. Implements MachineSchedStrategy.
Andrew Trick7196a8f2012-05-10 21:06:16 +0000970SUnit *ConvergingScheduler::pickNode(bool &IsTopNode) {
971 if (DAG->top() == DAG->bottom()) {
972 assert(TopQueue.empty() && BotQueue.empty() && "ReadyQ garbage");
973 return NULL;
974 }
Andrew Trick7196a8f2012-05-10 21:06:16 +0000975 SUnit *SU;
976 if (ForceTopDown) {
977 SU = DAG->getSUnit(DAG->top());
978 IsTopNode = true;
979 }
980 else if (ForceBottomUp) {
981 SU = DAG->getSUnit(priorNonDebug(DAG->bottom(), DAG->top()));
982 IsTopNode = false;
983 }
984 else {
Andrew Trick73a0d8e2012-05-17 18:35:10 +0000985 SU = pickNodeBidrectional(IsTopNode);
Andrew Trick7196a8f2012-05-10 21:06:16 +0000986 }
987 if (SU->isTopReady()) {
988 assert(!TopQueue.empty() && "bad ready count");
989 TopQueue.remove(TopQueue.find(SU));
990 }
991 if (SU->isBottomReady()) {
992 assert(!BotQueue.empty() && "bad ready count");
993 BotQueue.remove(BotQueue.find(SU));
994 }
995 return SU;
996}
997
Andrew Trick17d35e52012-03-14 04:00:41 +0000998/// Create the standard converging machine scheduler. This will be used as the
999/// default scheduler if the target does not set a default.
1000static ScheduleDAGInstrs *createConvergingSched(MachineSchedContext *C) {
Benjamin Kramer689e0b42012-03-14 11:26:37 +00001001 assert((!ForceTopDown || !ForceBottomUp) &&
Andrew Trick17d35e52012-03-14 04:00:41 +00001002 "-misched-topdown incompatible with -misched-bottomup");
1003 return new ScheduleDAGMI(C, new ConvergingScheduler());
Andrew Trick42b7a712012-01-17 06:55:03 +00001004}
1005static MachineSchedRegistry
Andrew Trick17d35e52012-03-14 04:00:41 +00001006ConvergingSchedRegistry("converge", "Standard converging scheduler.",
1007 createConvergingSched);
Andrew Trick42b7a712012-01-17 06:55:03 +00001008
1009//===----------------------------------------------------------------------===//
Andrew Trick5edf2f02012-01-14 02:17:06 +00001010// Machine Instruction Shuffler for Correctness Testing
1011//===----------------------------------------------------------------------===//
1012
Andrew Trick96f678f2012-01-13 06:30:30 +00001013#ifndef NDEBUG
1014namespace {
Andrew Trick17d35e52012-03-14 04:00:41 +00001015/// Apply a less-than relation on the node order, which corresponds to the
1016/// instruction order prior to scheduling. IsReverse implements greater-than.
1017template<bool IsReverse>
1018struct SUnitOrder {
Andrew Trickc6cf11b2012-01-17 06:55:07 +00001019 bool operator()(SUnit *A, SUnit *B) const {
Andrew Trick17d35e52012-03-14 04:00:41 +00001020 if (IsReverse)
1021 return A->NodeNum > B->NodeNum;
1022 else
1023 return A->NodeNum < B->NodeNum;
Andrew Trickc6cf11b2012-01-17 06:55:07 +00001024 }
1025};
1026
Andrew Trick96f678f2012-01-13 06:30:30 +00001027/// Reorder instructions as much as possible.
Andrew Trick17d35e52012-03-14 04:00:41 +00001028class InstructionShuffler : public MachineSchedStrategy {
1029 bool IsAlternating;
1030 bool IsTopDown;
1031
1032 // Using a less-than relation (SUnitOrder<false>) for the TopQ priority
1033 // gives nodes with a higher number higher priority causing the latest
1034 // instructions to be scheduled first.
1035 PriorityQueue<SUnit*, std::vector<SUnit*>, SUnitOrder<false> >
1036 TopQ;
1037 // When scheduling bottom-up, use greater-than as the queue priority.
1038 PriorityQueue<SUnit*, std::vector<SUnit*>, SUnitOrder<true> >
1039 BottomQ;
Andrew Trick96f678f2012-01-13 06:30:30 +00001040public:
Andrew Trick17d35e52012-03-14 04:00:41 +00001041 InstructionShuffler(bool alternate, bool topdown)
1042 : IsAlternating(alternate), IsTopDown(topdown) {}
Andrew Trick96f678f2012-01-13 06:30:30 +00001043
Andrew Trick17d35e52012-03-14 04:00:41 +00001044 virtual void initialize(ScheduleDAGMI *) {
1045 TopQ.clear();
1046 BottomQ.clear();
1047 }
Andrew Trickc6cf11b2012-01-17 06:55:07 +00001048
Andrew Trick17d35e52012-03-14 04:00:41 +00001049 /// Implement MachineSchedStrategy interface.
1050 /// -----------------------------------------
1051
1052 virtual SUnit *pickNode(bool &IsTopNode) {
1053 SUnit *SU;
1054 if (IsTopDown) {
1055 do {
1056 if (TopQ.empty()) return NULL;
1057 SU = TopQ.top();
1058 TopQ.pop();
1059 } while (SU->isScheduled);
1060 IsTopNode = true;
1061 }
1062 else {
1063 do {
1064 if (BottomQ.empty()) return NULL;
1065 SU = BottomQ.top();
1066 BottomQ.pop();
1067 } while (SU->isScheduled);
1068 IsTopNode = false;
1069 }
1070 if (IsAlternating)
1071 IsTopDown = !IsTopDown;
Andrew Trickc6cf11b2012-01-17 06:55:07 +00001072 return SU;
1073 }
1074
Andrew Trick17d35e52012-03-14 04:00:41 +00001075 virtual void releaseTopNode(SUnit *SU) {
1076 TopQ.push(SU);
1077 }
1078 virtual void releaseBottomNode(SUnit *SU) {
1079 BottomQ.push(SU);
Andrew Trick96f678f2012-01-13 06:30:30 +00001080 }
1081};
1082} // namespace
1083
Andrew Trickc174eaf2012-03-08 01:41:12 +00001084static ScheduleDAGInstrs *createInstructionShuffler(MachineSchedContext *C) {
Andrew Trick17d35e52012-03-14 04:00:41 +00001085 bool Alternate = !ForceTopDown && !ForceBottomUp;
1086 bool TopDown = !ForceBottomUp;
Benjamin Kramer689e0b42012-03-14 11:26:37 +00001087 assert((TopDown || !ForceTopDown) &&
Andrew Trick17d35e52012-03-14 04:00:41 +00001088 "-misched-topdown incompatible with -misched-bottomup");
1089 return new ScheduleDAGMI(C, new InstructionShuffler(Alternate, TopDown));
Andrew Trick96f678f2012-01-13 06:30:30 +00001090}
Andrew Trick17d35e52012-03-14 04:00:41 +00001091static MachineSchedRegistry ShufflerRegistry(
1092 "shuffle", "Shuffle machine instructions alternating directions",
1093 createInstructionShuffler);
Andrew Trick96f678f2012-01-13 06:30:30 +00001094#endif // !NDEBUG