1f22ef01cSRoman Divacky //===----- SchedulePostRAList.cpp - list scheduler ------------------------===//
2f22ef01cSRoman Divacky //
3f22ef01cSRoman Divacky // The LLVM Compiler Infrastructure
4f22ef01cSRoman Divacky //
5f22ef01cSRoman Divacky // This file is distributed under the University of Illinois Open Source
6f22ef01cSRoman Divacky // License. See LICENSE.TXT for details.
7f22ef01cSRoman Divacky //
8f22ef01cSRoman Divacky //===----------------------------------------------------------------------===//
9f22ef01cSRoman Divacky //
10f22ef01cSRoman Divacky // This implements a top-down list scheduler, using standard algorithms.
11f22ef01cSRoman Divacky // The basic approach uses a priority queue of available nodes to schedule.
12f22ef01cSRoman Divacky // One at a time, nodes are taken from the priority queue (thus in priority
13f22ef01cSRoman Divacky // order), checked for legality to schedule, and emitted if legal.
14f22ef01cSRoman Divacky //
15f22ef01cSRoman Divacky // Nodes may not be legal to schedule either due to structural hazards (e.g.
16f22ef01cSRoman Divacky // pipeline or resource constraints) or because an input to the instruction has
17f22ef01cSRoman Divacky // not completed execution.
18f22ef01cSRoman Divacky //
19f22ef01cSRoman Divacky //===----------------------------------------------------------------------===//
20f22ef01cSRoman Divacky
21139f7f9bSDimitry Andric #include "AggressiveAntiDepBreaker.h"
22139f7f9bSDimitry Andric #include "AntiDepBreaker.h"
23139f7f9bSDimitry Andric #include "CriticalAntiDepBreaker.h"
24139f7f9bSDimitry Andric #include "llvm/ADT/Statistic.h"
25139f7f9bSDimitry Andric #include "llvm/Analysis/AliasAnalysis.h"
26f22ef01cSRoman Divacky #include "llvm/CodeGen/LatencyPriorityQueue.h"
27f22ef01cSRoman Divacky #include "llvm/CodeGen/MachineDominators.h"
28f22ef01cSRoman Divacky #include "llvm/CodeGen/MachineFunctionPass.h"
29f22ef01cSRoman Divacky #include "llvm/CodeGen/MachineLoopInfo.h"
30f22ef01cSRoman Divacky #include "llvm/CodeGen/MachineRegisterInfo.h"
313ca95b02SDimitry Andric #include "llvm/CodeGen/Passes.h"
327ae0e2c9SDimitry Andric #include "llvm/CodeGen/RegisterClassInfo.h"
33dff0c46cSDimitry Andric #include "llvm/CodeGen/ScheduleDAGInstrs.h"
34f22ef01cSRoman Divacky #include "llvm/CodeGen/ScheduleHazardRecognizer.h"
35139f7f9bSDimitry Andric #include "llvm/CodeGen/SchedulerRegistry.h"
362cab237bSDimitry Andric #include "llvm/CodeGen/TargetInstrInfo.h"
372cab237bSDimitry Andric #include "llvm/CodeGen/TargetLowering.h"
383ca95b02SDimitry Andric #include "llvm/CodeGen/TargetPassConfig.h"
392cab237bSDimitry Andric #include "llvm/CodeGen/TargetRegisterInfo.h"
402cab237bSDimitry Andric #include "llvm/CodeGen/TargetSubtargetInfo.h"
414ba319b5SDimitry Andric #include "llvm/Config/llvm-config.h"
42f22ef01cSRoman Divacky #include "llvm/Support/CommandLine.h"
43f22ef01cSRoman Divacky #include "llvm/Support/Debug.h"
44f22ef01cSRoman Divacky #include "llvm/Support/ErrorHandling.h"
45f22ef01cSRoman Divacky #include "llvm/Support/raw_ostream.h"
46f22ef01cSRoman Divacky using namespace llvm;
47f22ef01cSRoman Divacky
4891bc56edSDimitry Andric #define DEBUG_TYPE "post-RA-sched"
4991bc56edSDimitry Andric
50f22ef01cSRoman Divacky STATISTIC(NumNoops, "Number of noops inserted");
51f22ef01cSRoman Divacky STATISTIC(NumStalls, "Number of pipeline stalls");
52f22ef01cSRoman Divacky STATISTIC(NumFixedAnti, "Number of fixed anti-dependencies");
53f22ef01cSRoman Divacky
54f22ef01cSRoman Divacky // Post-RA scheduling is enabled with
5517a519f9SDimitry Andric // TargetSubtargetInfo.enablePostRAScheduler(). This flag can be used to
56f22ef01cSRoman Divacky // override the target.
57f22ef01cSRoman Divacky static cl::opt<bool>
58f22ef01cSRoman Divacky EnablePostRAScheduler("post-RA-scheduler",
59f22ef01cSRoman Divacky cl::desc("Enable scheduling after register allocation"),
60f22ef01cSRoman Divacky cl::init(false), cl::Hidden);
61f22ef01cSRoman Divacky static cl::opt<std::string>
62f22ef01cSRoman Divacky EnableAntiDepBreaking("break-anti-dependencies",
63f22ef01cSRoman Divacky cl::desc("Break post-RA scheduling anti-dependencies: "
64f22ef01cSRoman Divacky "\"critical\", \"all\", or \"none\""),
65f22ef01cSRoman Divacky cl::init("none"), cl::Hidden);
66f22ef01cSRoman Divacky
67f22ef01cSRoman Divacky // If DebugDiv > 0 then only schedule MBB with (ID % DebugDiv) == DebugMod
68f22ef01cSRoman Divacky static cl::opt<int>
69f22ef01cSRoman Divacky DebugDiv("postra-sched-debugdiv",
70f22ef01cSRoman Divacky cl::desc("Debug control MBBs that are scheduled"),
71f22ef01cSRoman Divacky cl::init(0), cl::Hidden);
72f22ef01cSRoman Divacky static cl::opt<int>
73f22ef01cSRoman Divacky DebugMod("postra-sched-debugmod",
74f22ef01cSRoman Divacky cl::desc("Debug control MBBs that are scheduled"),
75f22ef01cSRoman Divacky cl::init(0), cl::Hidden);
76f22ef01cSRoman Divacky
~AntiDepBreaker()77f22ef01cSRoman Divacky AntiDepBreaker::~AntiDepBreaker() { }
78f22ef01cSRoman Divacky
79f22ef01cSRoman Divacky namespace {
80f22ef01cSRoman Divacky class PostRAScheduler : public MachineFunctionPass {
81ffd1746dSEd Schouten const TargetInstrInfo *TII;
8217a519f9SDimitry Andric RegisterClassInfo RegClassInfo;
83f22ef01cSRoman Divacky
84f22ef01cSRoman Divacky public:
85f22ef01cSRoman Divacky static char ID;
PostRAScheduler()86dff0c46cSDimitry Andric PostRAScheduler() : MachineFunctionPass(ID) {}
87f22ef01cSRoman Divacky
getAnalysisUsage(AnalysisUsage & AU) const8891bc56edSDimitry Andric void getAnalysisUsage(AnalysisUsage &AU) const override {
89f22ef01cSRoman Divacky AU.setPreservesCFG();
907d523365SDimitry Andric AU.addRequired<AAResultsWrapperPass>();
91dff0c46cSDimitry Andric AU.addRequired<TargetPassConfig>();
92f22ef01cSRoman Divacky AU.addRequired<MachineDominatorTree>();
93f22ef01cSRoman Divacky AU.addPreserved<MachineDominatorTree>();
94f22ef01cSRoman Divacky AU.addRequired<MachineLoopInfo>();
95f22ef01cSRoman Divacky AU.addPreserved<MachineLoopInfo>();
96f22ef01cSRoman Divacky MachineFunctionPass::getAnalysisUsage(AU);
97f22ef01cSRoman Divacky }
98f22ef01cSRoman Divacky
getRequiredProperties() const993ca95b02SDimitry Andric MachineFunctionProperties getRequiredProperties() const override {
1003ca95b02SDimitry Andric return MachineFunctionProperties().set(
101d88c1a5aSDimitry Andric MachineFunctionProperties::Property::NoVRegs);
1023ca95b02SDimitry Andric }
1033ca95b02SDimitry Andric
10491bc56edSDimitry Andric bool runOnMachineFunction(MachineFunction &Fn) override;
10591bc56edSDimitry Andric
1063ca95b02SDimitry Andric private:
10791bc56edSDimitry Andric bool enablePostRAScheduler(
10891bc56edSDimitry Andric const TargetSubtargetInfo &ST, CodeGenOpt::Level OptLevel,
10991bc56edSDimitry Andric TargetSubtargetInfo::AntiDepBreakMode &Mode,
11091bc56edSDimitry Andric TargetSubtargetInfo::RegClassVector &CriticalPathRCs) const;
111f22ef01cSRoman Divacky };
112f22ef01cSRoman Divacky char PostRAScheduler::ID = 0;
113f22ef01cSRoman Divacky
114f22ef01cSRoman Divacky class SchedulePostRATDList : public ScheduleDAGInstrs {
115f22ef01cSRoman Divacky /// AvailableQueue - The priority queue to use for the available SUnits.
116f22ef01cSRoman Divacky ///
117f22ef01cSRoman Divacky LatencyPriorityQueue AvailableQueue;
118f22ef01cSRoman Divacky
119f22ef01cSRoman Divacky /// PendingQueue - This contains all of the instructions whose operands have
120f22ef01cSRoman Divacky /// been issued, but their results are not ready yet (due to the latency of
121f22ef01cSRoman Divacky /// the operation). Once the operands becomes available, the instruction is
122f22ef01cSRoman Divacky /// added to the AvailableQueue.
123f22ef01cSRoman Divacky std::vector<SUnit*> PendingQueue;
124f22ef01cSRoman Divacky
125f22ef01cSRoman Divacky /// HazardRec - The hazard recognizer to use.
126f22ef01cSRoman Divacky ScheduleHazardRecognizer *HazardRec;
127f22ef01cSRoman Divacky
128f22ef01cSRoman Divacky /// AntiDepBreak - Anti-dependence breaking object, or NULL if none
129f22ef01cSRoman Divacky AntiDepBreaker *AntiDepBreak;
130f22ef01cSRoman Divacky
131f22ef01cSRoman Divacky /// AA - AliasAnalysis for making memory reference queries.
132f22ef01cSRoman Divacky AliasAnalysis *AA;
133f22ef01cSRoman Divacky
134dff0c46cSDimitry Andric /// The schedule. Null SUnit*'s represent noop instructions.
135dff0c46cSDimitry Andric std::vector<SUnit*> Sequence;
136f22ef01cSRoman Divacky
1373ca95b02SDimitry Andric /// Ordered list of DAG postprocessing steps.
1383ca95b02SDimitry Andric std::vector<std::unique_ptr<ScheduleDAGMutation>> Mutations;
1393ca95b02SDimitry Andric
140f785676fSDimitry Andric /// The index in BB of RegionEnd.
141f785676fSDimitry Andric ///
142f785676fSDimitry Andric /// This is the instruction number from the top of the current block, not
143f785676fSDimitry Andric /// the SlotIndex. It is only used by the AntiDepBreaker.
144f785676fSDimitry Andric unsigned EndIndex;
145f785676fSDimitry Andric
146f22ef01cSRoman Divacky public:
1472754fe60SDimitry Andric SchedulePostRATDList(
14839d628a0SDimitry Andric MachineFunction &MF, MachineLoopInfo &MLI, AliasAnalysis *AA,
14939d628a0SDimitry Andric const RegisterClassInfo &,
15017a519f9SDimitry Andric TargetSubtargetInfo::AntiDepBreakMode AntiDepMode,
151dff0c46cSDimitry Andric SmallVectorImpl<const TargetRegisterClass *> &CriticalPathRCs);
152f22ef01cSRoman Divacky
153ff0cc061SDimitry Andric ~SchedulePostRATDList() override;
154f22ef01cSRoman Divacky
155dff0c46cSDimitry Andric /// startBlock - Initialize register live-range state for scheduling in
156f22ef01cSRoman Divacky /// this block.
157f22ef01cSRoman Divacky ///
15891bc56edSDimitry Andric void startBlock(MachineBasicBlock *BB) override;
159dff0c46cSDimitry Andric
160f785676fSDimitry Andric // Set the index of RegionEnd within the current BB.
setEndIndex(unsigned EndIdx)161f785676fSDimitry Andric void setEndIndex(unsigned EndIdx) { EndIndex = EndIdx; }
162f785676fSDimitry Andric
163dff0c46cSDimitry Andric /// Initialize the scheduler state for the next scheduling region.
16491bc56edSDimitry Andric void enterRegion(MachineBasicBlock *bb,
165dff0c46cSDimitry Andric MachineBasicBlock::iterator begin,
166dff0c46cSDimitry Andric MachineBasicBlock::iterator end,
16791bc56edSDimitry Andric unsigned regioninstrs) override;
168dff0c46cSDimitry Andric
169dff0c46cSDimitry Andric /// Notify that the scheduler has finished scheduling the current region.
17091bc56edSDimitry Andric void exitRegion() override;
171f22ef01cSRoman Divacky
172f22ef01cSRoman Divacky /// Schedule - Schedule the instruction range using list scheduling.
173f22ef01cSRoman Divacky ///
17491bc56edSDimitry Andric void schedule() override;
175dff0c46cSDimitry Andric
176dff0c46cSDimitry Andric void EmitSchedule();
177f22ef01cSRoman Divacky
178f22ef01cSRoman Divacky /// Observe - Update liveness information to account for the current
179f22ef01cSRoman Divacky /// instruction, which will not be scheduled.
180f22ef01cSRoman Divacky ///
1813ca95b02SDimitry Andric void Observe(MachineInstr &MI, unsigned Count);
182f22ef01cSRoman Divacky
183dff0c46cSDimitry Andric /// finishBlock - Clean up register live-range state.
184f22ef01cSRoman Divacky ///
18591bc56edSDimitry Andric void finishBlock() override;
186f22ef01cSRoman Divacky
187f22ef01cSRoman Divacky private:
1883ca95b02SDimitry Andric /// Apply each ScheduleDAGMutation step in order.
1893ca95b02SDimitry Andric void postprocessDAG();
1903ca95b02SDimitry Andric
191f22ef01cSRoman Divacky void ReleaseSucc(SUnit *SU, SDep *SuccEdge);
192f22ef01cSRoman Divacky void ReleaseSuccessors(SUnit *SU);
193f22ef01cSRoman Divacky void ScheduleNodeTopDown(SUnit *SU, unsigned CurCycle);
194f22ef01cSRoman Divacky void ListScheduleTopDown();
195dff0c46cSDimitry Andric
196dff0c46cSDimitry Andric void dumpSchedule() const;
19791bc56edSDimitry Andric void emitNoop(unsigned CurCycle);
198f22ef01cSRoman Divacky };
1993dac3a9bSDimitry Andric }
200f22ef01cSRoman Divacky
201dff0c46cSDimitry Andric char &llvm::PostRASchedulerID = PostRAScheduler::ID;
202dff0c46cSDimitry Andric
203302affcbSDimitry Andric INITIALIZE_PASS(PostRAScheduler, DEBUG_TYPE,
204dff0c46cSDimitry Andric "Post RA top-down list latency scheduler", false, false)
205dff0c46cSDimitry Andric
SchedulePostRATDList(MachineFunction & MF,MachineLoopInfo & MLI,AliasAnalysis * AA,const RegisterClassInfo & RCI,TargetSubtargetInfo::AntiDepBreakMode AntiDepMode,SmallVectorImpl<const TargetRegisterClass * > & CriticalPathRCs)2062754fe60SDimitry Andric SchedulePostRATDList::SchedulePostRATDList(
20739d628a0SDimitry Andric MachineFunction &MF, MachineLoopInfo &MLI, AliasAnalysis *AA,
20839d628a0SDimitry Andric const RegisterClassInfo &RCI,
20917a519f9SDimitry Andric TargetSubtargetInfo::AntiDepBreakMode AntiDepMode,
210dff0c46cSDimitry Andric SmallVectorImpl<const TargetRegisterClass *> &CriticalPathRCs)
2117d523365SDimitry Andric : ScheduleDAGInstrs(MF, &MLI), AA(AA), EndIndex(0) {
21291bc56edSDimitry Andric
21339d628a0SDimitry Andric const InstrItineraryData *InstrItins =
21439d628a0SDimitry Andric MF.getSubtarget().getInstrItineraryData();
2152754fe60SDimitry Andric HazardRec =
21639d628a0SDimitry Andric MF.getSubtarget().getInstrInfo()->CreateTargetPostRAHazardRecognizer(
21739d628a0SDimitry Andric InstrItins, this);
2183ca95b02SDimitry Andric MF.getSubtarget().getPostRAMutations(Mutations);
2197ae0e2c9SDimitry Andric
2207ae0e2c9SDimitry Andric assert((AntiDepMode == TargetSubtargetInfo::ANTIDEP_NONE ||
2217ae0e2c9SDimitry Andric MRI.tracksLiveness()) &&
2227ae0e2c9SDimitry Andric "Live-ins must be accurate for anti-dependency breaking");
2232754fe60SDimitry Andric AntiDepBreak =
22417a519f9SDimitry Andric ((AntiDepMode == TargetSubtargetInfo::ANTIDEP_ALL) ?
22517a519f9SDimitry Andric (AntiDepBreaker *)new AggressiveAntiDepBreaker(MF, RCI, CriticalPathRCs) :
22617a519f9SDimitry Andric ((AntiDepMode == TargetSubtargetInfo::ANTIDEP_CRITICAL) ?
22791bc56edSDimitry Andric (AntiDepBreaker *)new CriticalAntiDepBreaker(MF, RCI) : nullptr));
2282754fe60SDimitry Andric }
2292754fe60SDimitry Andric
~SchedulePostRATDList()2302754fe60SDimitry Andric SchedulePostRATDList::~SchedulePostRATDList() {
2312754fe60SDimitry Andric delete HazardRec;
2322754fe60SDimitry Andric delete AntiDepBreak;
2332754fe60SDimitry Andric }
2342754fe60SDimitry Andric
235dff0c46cSDimitry Andric /// Initialize state associated with the next scheduling region.
enterRegion(MachineBasicBlock * bb,MachineBasicBlock::iterator begin,MachineBasicBlock::iterator end,unsigned regioninstrs)236dff0c46cSDimitry Andric void SchedulePostRATDList::enterRegion(MachineBasicBlock *bb,
237dff0c46cSDimitry Andric MachineBasicBlock::iterator begin,
238dff0c46cSDimitry Andric MachineBasicBlock::iterator end,
239f785676fSDimitry Andric unsigned regioninstrs) {
240f785676fSDimitry Andric ScheduleDAGInstrs::enterRegion(bb, begin, end, regioninstrs);
241dff0c46cSDimitry Andric Sequence.clear();
242dff0c46cSDimitry Andric }
243dff0c46cSDimitry Andric
244dff0c46cSDimitry Andric /// Print the schedule before exiting the region.
exitRegion()245dff0c46cSDimitry Andric void SchedulePostRATDList::exitRegion() {
2464ba319b5SDimitry Andric LLVM_DEBUG({
247dff0c46cSDimitry Andric dbgs() << "*** Final schedule ***\n";
248dff0c46cSDimitry Andric dumpSchedule();
249dff0c46cSDimitry Andric dbgs() << '\n';
250dff0c46cSDimitry Andric });
251dff0c46cSDimitry Andric ScheduleDAGInstrs::exitRegion();
252dff0c46cSDimitry Andric }
253dff0c46cSDimitry Andric
2543861d79fSDimitry Andric #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
255dff0c46cSDimitry Andric /// dumpSchedule - dump the scheduled Sequence.
dumpSchedule() const2567a7e6055SDimitry Andric LLVM_DUMP_METHOD void SchedulePostRATDList::dumpSchedule() const {
257dff0c46cSDimitry Andric for (unsigned i = 0, e = Sequence.size(); i != e; i++) {
258dff0c46cSDimitry Andric if (SUnit *SU = Sequence[i])
259*b5893f02SDimitry Andric dumpNode(*SU);
260dff0c46cSDimitry Andric else
261dff0c46cSDimitry Andric dbgs() << "**** NOOP ****\n";
262dff0c46cSDimitry Andric }
263dff0c46cSDimitry Andric }
2643861d79fSDimitry Andric #endif
265dff0c46cSDimitry Andric
enablePostRAScheduler(const TargetSubtargetInfo & ST,CodeGenOpt::Level OptLevel,TargetSubtargetInfo::AntiDepBreakMode & Mode,TargetSubtargetInfo::RegClassVector & CriticalPathRCs) const26691bc56edSDimitry Andric bool PostRAScheduler::enablePostRAScheduler(
26791bc56edSDimitry Andric const TargetSubtargetInfo &ST,
26891bc56edSDimitry Andric CodeGenOpt::Level OptLevel,
26991bc56edSDimitry Andric TargetSubtargetInfo::AntiDepBreakMode &Mode,
27091bc56edSDimitry Andric TargetSubtargetInfo::RegClassVector &CriticalPathRCs) const {
27191bc56edSDimitry Andric Mode = ST.getAntiDepBreakMode();
27291bc56edSDimitry Andric ST.getCriticalPathRCs(CriticalPathRCs);
2733ca95b02SDimitry Andric
2743ca95b02SDimitry Andric // Check for explicit enable/disable of post-ra scheduling.
2753ca95b02SDimitry Andric if (EnablePostRAScheduler.getPosition() > 0)
2763ca95b02SDimitry Andric return EnablePostRAScheduler;
2773ca95b02SDimitry Andric
2788f0fd8f6SDimitry Andric return ST.enablePostRAScheduler() &&
27991bc56edSDimitry Andric OptLevel >= ST.getOptLevelToEnablePostRAScheduler();
28091bc56edSDimitry Andric }
28191bc56edSDimitry Andric
runOnMachineFunction(MachineFunction & Fn)282f22ef01cSRoman Divacky bool PostRAScheduler::runOnMachineFunction(MachineFunction &Fn) {
2832cab237bSDimitry Andric if (skipFunction(Fn.getFunction()))
28491bc56edSDimitry Andric return false;
28591bc56edSDimitry Andric
28639d628a0SDimitry Andric TII = Fn.getSubtarget().getInstrInfo();
2872754fe60SDimitry Andric MachineLoopInfo &MLI = getAnalysis<MachineLoopInfo>();
2887d523365SDimitry Andric AliasAnalysis *AA = &getAnalysis<AAResultsWrapperPass>().getAAResults();
289dff0c46cSDimitry Andric TargetPassConfig *PassConfig = &getAnalysis<TargetPassConfig>();
290dff0c46cSDimitry Andric
29117a519f9SDimitry Andric RegClassInfo.runOnMachineFunction(Fn);
292f22ef01cSRoman Divacky
293dff0c46cSDimitry Andric TargetSubtargetInfo::AntiDepBreakMode AntiDepMode =
294dff0c46cSDimitry Andric TargetSubtargetInfo::ANTIDEP_NONE;
295dff0c46cSDimitry Andric SmallVector<const TargetRegisterClass*, 4> CriticalPathRCs;
2963ca95b02SDimitry Andric
297f22ef01cSRoman Divacky // Check that post-RA scheduling is enabled for this target.
2982754fe60SDimitry Andric // This may upgrade the AntiDepMode.
299ff0cc061SDimitry Andric if (!enablePostRAScheduler(Fn.getSubtarget(), PassConfig->getOptLevel(),
30091bc56edSDimitry Andric AntiDepMode, CriticalPathRCs))
301f22ef01cSRoman Divacky return false;
302f22ef01cSRoman Divacky
303f22ef01cSRoman Divacky // Check for antidep breaking override...
304f22ef01cSRoman Divacky if (EnableAntiDepBreaking.getPosition() > 0) {
30517a519f9SDimitry Andric AntiDepMode = (EnableAntiDepBreaking == "all")
30617a519f9SDimitry Andric ? TargetSubtargetInfo::ANTIDEP_ALL
30717a519f9SDimitry Andric : ((EnableAntiDepBreaking == "critical")
30817a519f9SDimitry Andric ? TargetSubtargetInfo::ANTIDEP_CRITICAL
30917a519f9SDimitry Andric : TargetSubtargetInfo::ANTIDEP_NONE);
310f22ef01cSRoman Divacky }
311f22ef01cSRoman Divacky
3124ba319b5SDimitry Andric LLVM_DEBUG(dbgs() << "PostRAScheduler\n");
313f22ef01cSRoman Divacky
31439d628a0SDimitry Andric SchedulePostRATDList Scheduler(Fn, MLI, AA, RegClassInfo, AntiDepMode,
3152754fe60SDimitry Andric CriticalPathRCs);
316f22ef01cSRoman Divacky
317f22ef01cSRoman Divacky // Loop over all of the basic blocks
3187d523365SDimitry Andric for (auto &MBB : Fn) {
319f22ef01cSRoman Divacky #ifndef NDEBUG
320f22ef01cSRoman Divacky // If DebugDiv > 0 then only schedule MBB with (ID % DebugDiv) == DebugMod
321f22ef01cSRoman Divacky if (DebugDiv > 0) {
322f22ef01cSRoman Divacky static int bbcnt = 0;
323f22ef01cSRoman Divacky if (bbcnt++ % DebugDiv != DebugMod)
324f22ef01cSRoman Divacky continue;
3252cab237bSDimitry Andric dbgs() << "*** DEBUG scheduling " << Fn.getName() << ":"
3262cab237bSDimitry Andric << printMBBReference(MBB) << " ***\n";
327f22ef01cSRoman Divacky }
328f22ef01cSRoman Divacky #endif
329f22ef01cSRoman Divacky
330f22ef01cSRoman Divacky // Initialize register live-range state for scheduling in this block.
3317d523365SDimitry Andric Scheduler.startBlock(&MBB);
332f22ef01cSRoman Divacky
333f22ef01cSRoman Divacky // Schedule each sequence of instructions not interrupted by a label
334f22ef01cSRoman Divacky // or anything else that effectively needs to shut down scheduling.
3357d523365SDimitry Andric MachineBasicBlock::iterator Current = MBB.end();
3367d523365SDimitry Andric unsigned Count = MBB.size(), CurrentCount = Count;
3377d523365SDimitry Andric for (MachineBasicBlock::iterator I = Current; I != MBB.begin();) {
3383ca95b02SDimitry Andric MachineInstr &MI = *std::prev(I);
339f785676fSDimitry Andric --Count;
340dff0c46cSDimitry Andric // Calls are not scheduling boundaries before register allocation, but
341dff0c46cSDimitry Andric // post-ra we don't gain anything by scheduling across calls since we
342dff0c46cSDimitry Andric // don't need to worry about register pressure.
3433ca95b02SDimitry Andric if (MI.isCall() || TII->isSchedulingBoundary(MI, &MBB, Fn)) {
3447d523365SDimitry Andric Scheduler.enterRegion(&MBB, I, Current, CurrentCount - Count);
345f785676fSDimitry Andric Scheduler.setEndIndex(CurrentCount);
346dff0c46cSDimitry Andric Scheduler.schedule();
347dff0c46cSDimitry Andric Scheduler.exitRegion();
348f22ef01cSRoman Divacky Scheduler.EmitSchedule();
3493ca95b02SDimitry Andric Current = &MI;
350f785676fSDimitry Andric CurrentCount = Count;
351f22ef01cSRoman Divacky Scheduler.Observe(MI, CurrentCount);
352f22ef01cSRoman Divacky }
353f22ef01cSRoman Divacky I = MI;
3543ca95b02SDimitry Andric if (MI.isBundle())
3553ca95b02SDimitry Andric Count -= MI.getBundleSize();
356f22ef01cSRoman Divacky }
357f22ef01cSRoman Divacky assert(Count == 0 && "Instruction count mismatch!");
3587d523365SDimitry Andric assert((MBB.begin() == Current || CurrentCount != 0) &&
359f22ef01cSRoman Divacky "Instruction count mismatch!");
3607d523365SDimitry Andric Scheduler.enterRegion(&MBB, MBB.begin(), Current, CurrentCount);
361f785676fSDimitry Andric Scheduler.setEndIndex(CurrentCount);
362dff0c46cSDimitry Andric Scheduler.schedule();
363dff0c46cSDimitry Andric Scheduler.exitRegion();
364f22ef01cSRoman Divacky Scheduler.EmitSchedule();
365f22ef01cSRoman Divacky
366f22ef01cSRoman Divacky // Clean up register live-range state.
367dff0c46cSDimitry Andric Scheduler.finishBlock();
368f22ef01cSRoman Divacky
369f22ef01cSRoman Divacky // Update register kills
370302affcbSDimitry Andric Scheduler.fixupKills(MBB);
371f22ef01cSRoman Divacky }
372f22ef01cSRoman Divacky
373f22ef01cSRoman Divacky return true;
374f22ef01cSRoman Divacky }
375f22ef01cSRoman Divacky
376f22ef01cSRoman Divacky /// StartBlock - Initialize register live-range state for scheduling in
377f22ef01cSRoman Divacky /// this block.
378f22ef01cSRoman Divacky ///
startBlock(MachineBasicBlock * BB)379dff0c46cSDimitry Andric void SchedulePostRATDList::startBlock(MachineBasicBlock *BB) {
380f22ef01cSRoman Divacky // Call the superclass.
381dff0c46cSDimitry Andric ScheduleDAGInstrs::startBlock(BB);
382f22ef01cSRoman Divacky
383f22ef01cSRoman Divacky // Reset the hazard recognizer and anti-dep breaker.
384f22ef01cSRoman Divacky HazardRec->Reset();
38591bc56edSDimitry Andric if (AntiDepBreak)
386f22ef01cSRoman Divacky AntiDepBreak->StartBlock(BB);
387f22ef01cSRoman Divacky }
388f22ef01cSRoman Divacky
389f22ef01cSRoman Divacky /// Schedule - Schedule the instruction range using list scheduling.
390f22ef01cSRoman Divacky ///
schedule()391dff0c46cSDimitry Andric void SchedulePostRATDList::schedule() {
392f22ef01cSRoman Divacky // Build the scheduling graph.
393dff0c46cSDimitry Andric buildSchedGraph(AA);
394f22ef01cSRoman Divacky
39591bc56edSDimitry Andric if (AntiDepBreak) {
396f22ef01cSRoman Divacky unsigned Broken =
397dff0c46cSDimitry Andric AntiDepBreak->BreakAntiDependencies(SUnits, RegionBegin, RegionEnd,
398dff0c46cSDimitry Andric EndIndex, DbgValues);
399f22ef01cSRoman Divacky
400f22ef01cSRoman Divacky if (Broken != 0) {
401f22ef01cSRoman Divacky // We made changes. Update the dependency graph.
402f22ef01cSRoman Divacky // Theoretically we could update the graph in place:
403f22ef01cSRoman Divacky // When a live range is changed to use a different register, remove
404f22ef01cSRoman Divacky // the def's anti-dependence *and* output-dependence edges due to
405f22ef01cSRoman Divacky // that register, and add new anti-dependence and output-dependence
406f22ef01cSRoman Divacky // edges based on the next live range of the register.
407dff0c46cSDimitry Andric ScheduleDAG::clearDAG();
408dff0c46cSDimitry Andric buildSchedGraph(AA);
409f22ef01cSRoman Divacky
410f22ef01cSRoman Divacky NumFixedAnti += Broken;
411f22ef01cSRoman Divacky }
412f22ef01cSRoman Divacky }
413f22ef01cSRoman Divacky
4143ca95b02SDimitry Andric postprocessDAG();
4153ca95b02SDimitry Andric
4164ba319b5SDimitry Andric LLVM_DEBUG(dbgs() << "********** List Scheduling **********\n");
417*b5893f02SDimitry Andric LLVM_DEBUG(dump());
418f22ef01cSRoman Divacky
419f22ef01cSRoman Divacky AvailableQueue.initNodes(SUnits);
420f22ef01cSRoman Divacky ListScheduleTopDown();
421f22ef01cSRoman Divacky AvailableQueue.releaseState();
422f22ef01cSRoman Divacky }
423f22ef01cSRoman Divacky
424f22ef01cSRoman Divacky /// Observe - Update liveness information to account for the current
425f22ef01cSRoman Divacky /// instruction, which will not be scheduled.
426f22ef01cSRoman Divacky ///
Observe(MachineInstr & MI,unsigned Count)4273ca95b02SDimitry Andric void SchedulePostRATDList::Observe(MachineInstr &MI, unsigned Count) {
42891bc56edSDimitry Andric if (AntiDepBreak)
429dff0c46cSDimitry Andric AntiDepBreak->Observe(MI, Count, EndIndex);
430f22ef01cSRoman Divacky }
431f22ef01cSRoman Divacky
432f22ef01cSRoman Divacky /// FinishBlock - Clean up register live-range state.
433f22ef01cSRoman Divacky ///
finishBlock()434dff0c46cSDimitry Andric void SchedulePostRATDList::finishBlock() {
43591bc56edSDimitry Andric if (AntiDepBreak)
436f22ef01cSRoman Divacky AntiDepBreak->FinishBlock();
437f22ef01cSRoman Divacky
438f22ef01cSRoman Divacky // Call the superclass.
439dff0c46cSDimitry Andric ScheduleDAGInstrs::finishBlock();
440f22ef01cSRoman Divacky }
441f22ef01cSRoman Divacky
4423ca95b02SDimitry Andric /// Apply each ScheduleDAGMutation step in order.
postprocessDAG()4433ca95b02SDimitry Andric void SchedulePostRATDList::postprocessDAG() {
4443ca95b02SDimitry Andric for (auto &M : Mutations)
4453ca95b02SDimitry Andric M->apply(this);
4463ca95b02SDimitry Andric }
4473ca95b02SDimitry Andric
448f22ef01cSRoman Divacky //===----------------------------------------------------------------------===//
449f22ef01cSRoman Divacky // Top-Down Scheduling
450f22ef01cSRoman Divacky //===----------------------------------------------------------------------===//
451f22ef01cSRoman Divacky
452f22ef01cSRoman Divacky /// ReleaseSucc - Decrement the NumPredsLeft count of a successor. Add it to
453139f7f9bSDimitry Andric /// the PendingQueue if the count reaches zero.
ReleaseSucc(SUnit * SU,SDep * SuccEdge)454f22ef01cSRoman Divacky void SchedulePostRATDList::ReleaseSucc(SUnit *SU, SDep *SuccEdge) {
455f22ef01cSRoman Divacky SUnit *SuccSU = SuccEdge->getSUnit();
456f22ef01cSRoman Divacky
457139f7f9bSDimitry Andric if (SuccEdge->isWeak()) {
458139f7f9bSDimitry Andric --SuccSU->WeakPredsLeft;
459139f7f9bSDimitry Andric return;
460139f7f9bSDimitry Andric }
461f22ef01cSRoman Divacky #ifndef NDEBUG
462f22ef01cSRoman Divacky if (SuccSU->NumPredsLeft == 0) {
463f22ef01cSRoman Divacky dbgs() << "*** Scheduling failed! ***\n";
464*b5893f02SDimitry Andric dumpNode(*SuccSU);
465f22ef01cSRoman Divacky dbgs() << " has been released too many times!\n";
46691bc56edSDimitry Andric llvm_unreachable(nullptr);
467f22ef01cSRoman Divacky }
468f22ef01cSRoman Divacky #endif
469f22ef01cSRoman Divacky --SuccSU->NumPredsLeft;
470f22ef01cSRoman Divacky
471bd5abe19SDimitry Andric // Standard scheduler algorithms will recompute the depth of the successor
472bd5abe19SDimitry Andric // here as such:
473bd5abe19SDimitry Andric // SuccSU->setDepthToAtLeast(SU->getDepth() + SuccEdge->getLatency());
474bd5abe19SDimitry Andric //
475bd5abe19SDimitry Andric // However, we lazily compute node depth instead. Note that
476bd5abe19SDimitry Andric // ScheduleNodeTopDown has already updated the depth of this node which causes
477bd5abe19SDimitry Andric // all descendents to be marked dirty. Setting the successor depth explicitly
478bd5abe19SDimitry Andric // here would cause depth to be recomputed for all its ancestors. If the
479bd5abe19SDimitry Andric // successor is not yet ready (because of a transitively redundant edge) then
480bd5abe19SDimitry Andric // this causes depth computation to be quadratic in the size of the DAG.
481f22ef01cSRoman Divacky
482f22ef01cSRoman Divacky // If all the node's predecessors are scheduled, this node is ready
483f22ef01cSRoman Divacky // to be scheduled. Ignore the special ExitSU node.
484f22ef01cSRoman Divacky if (SuccSU->NumPredsLeft == 0 && SuccSU != &ExitSU)
485f22ef01cSRoman Divacky PendingQueue.push_back(SuccSU);
486f22ef01cSRoman Divacky }
487f22ef01cSRoman Divacky
488f22ef01cSRoman Divacky /// ReleaseSuccessors - Call ReleaseSucc on each of SU's successors.
ReleaseSuccessors(SUnit * SU)489f22ef01cSRoman Divacky void SchedulePostRATDList::ReleaseSuccessors(SUnit *SU) {
490f22ef01cSRoman Divacky for (SUnit::succ_iterator I = SU->Succs.begin(), E = SU->Succs.end();
491f22ef01cSRoman Divacky I != E; ++I) {
492f22ef01cSRoman Divacky ReleaseSucc(SU, &*I);
493f22ef01cSRoman Divacky }
494f22ef01cSRoman Divacky }
495f22ef01cSRoman Divacky
496f22ef01cSRoman Divacky /// ScheduleNodeTopDown - Add the node to the schedule. Decrement the pending
497f22ef01cSRoman Divacky /// count of its successors. If a successor pending count is zero, add it to
498f22ef01cSRoman Divacky /// the Available queue.
ScheduleNodeTopDown(SUnit * SU,unsigned CurCycle)499f22ef01cSRoman Divacky void SchedulePostRATDList::ScheduleNodeTopDown(SUnit *SU, unsigned CurCycle) {
5004ba319b5SDimitry Andric LLVM_DEBUG(dbgs() << "*** Scheduling [" << CurCycle << "]: ");
501*b5893f02SDimitry Andric LLVM_DEBUG(dumpNode(*SU));
502f22ef01cSRoman Divacky
503f22ef01cSRoman Divacky Sequence.push_back(SU);
504f22ef01cSRoman Divacky assert(CurCycle >= SU->getDepth() &&
505f22ef01cSRoman Divacky "Node scheduled above its depth!");
506f22ef01cSRoman Divacky SU->setDepthToAtLeast(CurCycle);
507f22ef01cSRoman Divacky
508f22ef01cSRoman Divacky ReleaseSuccessors(SU);
509f22ef01cSRoman Divacky SU->isScheduled = true;
510dff0c46cSDimitry Andric AvailableQueue.scheduledNode(SU);
511f22ef01cSRoman Divacky }
512f22ef01cSRoman Divacky
51391bc56edSDimitry Andric /// emitNoop - Add a noop to the current instruction sequence.
emitNoop(unsigned CurCycle)51491bc56edSDimitry Andric void SchedulePostRATDList::emitNoop(unsigned CurCycle) {
5154ba319b5SDimitry Andric LLVM_DEBUG(dbgs() << "*** Emitting noop in cycle " << CurCycle << '\n');
51691bc56edSDimitry Andric HazardRec->EmitNoop();
51791bc56edSDimitry Andric Sequence.push_back(nullptr); // NULL here means noop
51891bc56edSDimitry Andric ++NumNoops;
51991bc56edSDimitry Andric }
52091bc56edSDimitry Andric
521f22ef01cSRoman Divacky /// ListScheduleTopDown - The main loop of list scheduling for top-down
522f22ef01cSRoman Divacky /// schedulers.
ListScheduleTopDown()523f22ef01cSRoman Divacky void SchedulePostRATDList::ListScheduleTopDown() {
524f22ef01cSRoman Divacky unsigned CurCycle = 0;
525f22ef01cSRoman Divacky
526f22ef01cSRoman Divacky // We're scheduling top-down but we're visiting the regions in
527f22ef01cSRoman Divacky // bottom-up order, so we don't know the hazards at the start of a
528f22ef01cSRoman Divacky // region. So assume no hazards (this should usually be ok as most
529f22ef01cSRoman Divacky // blocks are a single region).
530f22ef01cSRoman Divacky HazardRec->Reset();
531f22ef01cSRoman Divacky
532f22ef01cSRoman Divacky // Release any successors of the special Entry node.
533f22ef01cSRoman Divacky ReleaseSuccessors(&EntrySU);
534f22ef01cSRoman Divacky
535f22ef01cSRoman Divacky // Add all leaves to Available queue.
536f22ef01cSRoman Divacky for (unsigned i = 0, e = SUnits.size(); i != e; ++i) {
537f22ef01cSRoman Divacky // It is available if it has no predecessors.
538139f7f9bSDimitry Andric if (!SUnits[i].NumPredsLeft && !SUnits[i].isAvailable) {
539f22ef01cSRoman Divacky AvailableQueue.push(&SUnits[i]);
540f22ef01cSRoman Divacky SUnits[i].isAvailable = true;
541f22ef01cSRoman Divacky }
542f22ef01cSRoman Divacky }
543f22ef01cSRoman Divacky
544f22ef01cSRoman Divacky // In any cycle where we can't schedule any instructions, we must
545f22ef01cSRoman Divacky // stall or emit a noop, depending on the target.
546f22ef01cSRoman Divacky bool CycleHasInsts = false;
547f22ef01cSRoman Divacky
548f22ef01cSRoman Divacky // While Available queue is not empty, grab the node with the highest
549f22ef01cSRoman Divacky // priority. If it is not ready put it back. Schedule the node.
550f22ef01cSRoman Divacky std::vector<SUnit*> NotReady;
551f22ef01cSRoman Divacky Sequence.reserve(SUnits.size());
552f22ef01cSRoman Divacky while (!AvailableQueue.empty() || !PendingQueue.empty()) {
553f22ef01cSRoman Divacky // Check to see if any of the pending instructions are ready to issue. If
554f22ef01cSRoman Divacky // so, add them to the available queue.
555f22ef01cSRoman Divacky unsigned MinDepth = ~0u;
556f22ef01cSRoman Divacky for (unsigned i = 0, e = PendingQueue.size(); i != e; ++i) {
557f22ef01cSRoman Divacky if (PendingQueue[i]->getDepth() <= CurCycle) {
558f22ef01cSRoman Divacky AvailableQueue.push(PendingQueue[i]);
559f22ef01cSRoman Divacky PendingQueue[i]->isAvailable = true;
560f22ef01cSRoman Divacky PendingQueue[i] = PendingQueue.back();
561f22ef01cSRoman Divacky PendingQueue.pop_back();
562f22ef01cSRoman Divacky --i; --e;
563f22ef01cSRoman Divacky } else if (PendingQueue[i]->getDepth() < MinDepth)
564f22ef01cSRoman Divacky MinDepth = PendingQueue[i]->getDepth();
565f22ef01cSRoman Divacky }
566f22ef01cSRoman Divacky
5674ba319b5SDimitry Andric LLVM_DEBUG(dbgs() << "\n*** Examining Available\n";
5684ba319b5SDimitry Andric AvailableQueue.dump(this));
569f22ef01cSRoman Divacky
57091bc56edSDimitry Andric SUnit *FoundSUnit = nullptr, *NotPreferredSUnit = nullptr;
571f22ef01cSRoman Divacky bool HasNoopHazards = false;
572f22ef01cSRoman Divacky while (!AvailableQueue.empty()) {
573f22ef01cSRoman Divacky SUnit *CurSUnit = AvailableQueue.pop();
574f22ef01cSRoman Divacky
575f22ef01cSRoman Divacky ScheduleHazardRecognizer::HazardType HT =
5762754fe60SDimitry Andric HazardRec->getHazardType(CurSUnit, 0/*no stalls*/);
577f22ef01cSRoman Divacky if (HT == ScheduleHazardRecognizer::NoHazard) {
57891bc56edSDimitry Andric if (HazardRec->ShouldPreferAnother(CurSUnit)) {
57991bc56edSDimitry Andric if (!NotPreferredSUnit) {
58091bc56edSDimitry Andric // If this is the first non-preferred node for this cycle, then
58191bc56edSDimitry Andric // record it and continue searching for a preferred node. If this
58291bc56edSDimitry Andric // is not the first non-preferred node, then treat it as though
58391bc56edSDimitry Andric // there had been a hazard.
58491bc56edSDimitry Andric NotPreferredSUnit = CurSUnit;
58591bc56edSDimitry Andric continue;
58691bc56edSDimitry Andric }
58791bc56edSDimitry Andric } else {
588f22ef01cSRoman Divacky FoundSUnit = CurSUnit;
589f22ef01cSRoman Divacky break;
590f22ef01cSRoman Divacky }
59191bc56edSDimitry Andric }
592f22ef01cSRoman Divacky
593f22ef01cSRoman Divacky // Remember if this is a noop hazard.
594f22ef01cSRoman Divacky HasNoopHazards |= HT == ScheduleHazardRecognizer::NoopHazard;
595f22ef01cSRoman Divacky
596f22ef01cSRoman Divacky NotReady.push_back(CurSUnit);
597f22ef01cSRoman Divacky }
598f22ef01cSRoman Divacky
59991bc56edSDimitry Andric // If we have a non-preferred node, push it back onto the available list.
60091bc56edSDimitry Andric // If we did not find a preferred node, then schedule this first
60191bc56edSDimitry Andric // non-preferred node.
60291bc56edSDimitry Andric if (NotPreferredSUnit) {
60391bc56edSDimitry Andric if (!FoundSUnit) {
6044ba319b5SDimitry Andric LLVM_DEBUG(
6054ba319b5SDimitry Andric dbgs() << "*** Will schedule a non-preferred instruction...\n");
60691bc56edSDimitry Andric FoundSUnit = NotPreferredSUnit;
60791bc56edSDimitry Andric } else {
60891bc56edSDimitry Andric AvailableQueue.push(NotPreferredSUnit);
60991bc56edSDimitry Andric }
61091bc56edSDimitry Andric
61191bc56edSDimitry Andric NotPreferredSUnit = nullptr;
61291bc56edSDimitry Andric }
61391bc56edSDimitry Andric
614f22ef01cSRoman Divacky // Add the nodes that aren't ready back onto the available list.
615f22ef01cSRoman Divacky if (!NotReady.empty()) {
616f22ef01cSRoman Divacky AvailableQueue.push_all(NotReady);
617f22ef01cSRoman Divacky NotReady.clear();
618f22ef01cSRoman Divacky }
619f22ef01cSRoman Divacky
620f22ef01cSRoman Divacky // If we found a node to schedule...
621f22ef01cSRoman Divacky if (FoundSUnit) {
62291bc56edSDimitry Andric // If we need to emit noops prior to this instruction, then do so.
62391bc56edSDimitry Andric unsigned NumPreNoops = HazardRec->PreEmitNoops(FoundSUnit);
62491bc56edSDimitry Andric for (unsigned i = 0; i != NumPreNoops; ++i)
62591bc56edSDimitry Andric emitNoop(CurCycle);
62691bc56edSDimitry Andric
627f22ef01cSRoman Divacky // ... schedule the node...
628f22ef01cSRoman Divacky ScheduleNodeTopDown(FoundSUnit, CurCycle);
629f22ef01cSRoman Divacky HazardRec->EmitInstruction(FoundSUnit);
630f22ef01cSRoman Divacky CycleHasInsts = true;
631bd5abe19SDimitry Andric if (HazardRec->atIssueLimit()) {
6324ba319b5SDimitry Andric LLVM_DEBUG(dbgs() << "*** Max instructions per cycle " << CurCycle
6334ba319b5SDimitry Andric << '\n');
634bd5abe19SDimitry Andric HazardRec->AdvanceCycle();
635bd5abe19SDimitry Andric ++CurCycle;
636bd5abe19SDimitry Andric CycleHasInsts = false;
637bd5abe19SDimitry Andric }
638f22ef01cSRoman Divacky } else {
639f22ef01cSRoman Divacky if (CycleHasInsts) {
6404ba319b5SDimitry Andric LLVM_DEBUG(dbgs() << "*** Finished cycle " << CurCycle << '\n');
641f22ef01cSRoman Divacky HazardRec->AdvanceCycle();
642f22ef01cSRoman Divacky } else if (!HasNoopHazards) {
643f22ef01cSRoman Divacky // Otherwise, we have a pipeline stall, but no other problem,
644f22ef01cSRoman Divacky // just advance the current cycle and try again.
6454ba319b5SDimitry Andric LLVM_DEBUG(dbgs() << "*** Stall in cycle " << CurCycle << '\n');
646f22ef01cSRoman Divacky HazardRec->AdvanceCycle();
647f22ef01cSRoman Divacky ++NumStalls;
648f22ef01cSRoman Divacky } else {
649f22ef01cSRoman Divacky // Otherwise, we have no instructions to issue and we have instructions
650f22ef01cSRoman Divacky // that will fault if we don't do this right. This is the case for
651f22ef01cSRoman Divacky // processors without pipeline interlocks and other cases.
65291bc56edSDimitry Andric emitNoop(CurCycle);
653f22ef01cSRoman Divacky }
654f22ef01cSRoman Divacky
655f22ef01cSRoman Divacky ++CurCycle;
656f22ef01cSRoman Divacky CycleHasInsts = false;
657f22ef01cSRoman Divacky }
658f22ef01cSRoman Divacky }
659f22ef01cSRoman Divacky
660f22ef01cSRoman Divacky #ifndef NDEBUG
661dff0c46cSDimitry Andric unsigned ScheduledNodes = VerifyScheduledDAG(/*isBottomUp=*/false);
662dff0c46cSDimitry Andric unsigned Noops = 0;
663dff0c46cSDimitry Andric for (unsigned i = 0, e = Sequence.size(); i != e; ++i)
664dff0c46cSDimitry Andric if (!Sequence[i])
665dff0c46cSDimitry Andric ++Noops;
666dff0c46cSDimitry Andric assert(Sequence.size() - Noops == ScheduledNodes &&
667dff0c46cSDimitry Andric "The number of nodes scheduled doesn't match the expected number!");
668dff0c46cSDimitry Andric #endif // NDEBUG
669f22ef01cSRoman Divacky }
670f22ef01cSRoman Divacky
671dff0c46cSDimitry Andric // EmitSchedule - Emit the machine code in scheduled order.
EmitSchedule()672dff0c46cSDimitry Andric void SchedulePostRATDList::EmitSchedule() {
673dff0c46cSDimitry Andric RegionBegin = RegionEnd;
674f22ef01cSRoman Divacky
675dff0c46cSDimitry Andric // If first instruction was a DBG_VALUE then put it back.
676dff0c46cSDimitry Andric if (FirstDbgValue)
677dff0c46cSDimitry Andric BB->splice(RegionEnd, BB, FirstDbgValue);
678dff0c46cSDimitry Andric
679dff0c46cSDimitry Andric // Then re-insert them according to the given schedule.
680dff0c46cSDimitry Andric for (unsigned i = 0, e = Sequence.size(); i != e; i++) {
681dff0c46cSDimitry Andric if (SUnit *SU = Sequence[i])
682dff0c46cSDimitry Andric BB->splice(RegionEnd, BB, SU->getInstr());
683dff0c46cSDimitry Andric else
684dff0c46cSDimitry Andric // Null SUnit* is a noop.
685dff0c46cSDimitry Andric TII->insertNoop(*BB, RegionEnd);
686dff0c46cSDimitry Andric
687dff0c46cSDimitry Andric // Update the Begin iterator, as the first instruction in the block
688dff0c46cSDimitry Andric // may have been scheduled later.
689dff0c46cSDimitry Andric if (i == 0)
69091bc56edSDimitry Andric RegionBegin = std::prev(RegionEnd);
691dff0c46cSDimitry Andric }
692dff0c46cSDimitry Andric
693dff0c46cSDimitry Andric // Reinsert any remaining debug_values.
694dff0c46cSDimitry Andric for (std::vector<std::pair<MachineInstr *, MachineInstr *> >::iterator
695dff0c46cSDimitry Andric DI = DbgValues.end(), DE = DbgValues.begin(); DI != DE; --DI) {
69691bc56edSDimitry Andric std::pair<MachineInstr *, MachineInstr *> P = *std::prev(DI);
697dff0c46cSDimitry Andric MachineInstr *DbgValue = P.first;
698dff0c46cSDimitry Andric MachineBasicBlock::iterator OrigPrivMI = P.second;
699dff0c46cSDimitry Andric BB->splice(++OrigPrivMI, BB, DbgValue);
700dff0c46cSDimitry Andric }
701dff0c46cSDimitry Andric DbgValues.clear();
70291bc56edSDimitry Andric FirstDbgValue = nullptr;
703f22ef01cSRoman Divacky }
704