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