| Andrew Trick | d06df96 | 2012-02-01 22:13:57 +0000 | [diff] [blame] | 1 | //===- ScheduleDAGVLIW.cpp - SelectionDAG list scheduler for VLIW -*- C++ -*-=// | 
|  | 2 | // | 
|  | 3 | //                     The LLVM Compiler Infrastructure | 
|  | 4 | // | 
|  | 5 | // This file is distributed under the University of Illinois Open Source | 
|  | 6 | // License. See LICENSE.TXT for details. | 
|  | 7 | // | 
|  | 8 | //===----------------------------------------------------------------------===// | 
|  | 9 | // | 
|  | 10 | // This implements a top-down list scheduler, using standard algorithms. | 
|  | 11 | // The basic approach uses a priority queue of available nodes to schedule. | 
|  | 12 | // One at a time, nodes are taken from the priority queue (thus in priority | 
|  | 13 | // order), checked for legality to schedule, and emitted if legal. | 
|  | 14 | // | 
|  | 15 | // Nodes may not be legal to schedule either due to structural hazards (e.g. | 
|  | 16 | // pipeline or resource constraints) or because an input to the instruction has | 
|  | 17 | // not completed execution. | 
|  | 18 | // | 
|  | 19 | //===----------------------------------------------------------------------===// | 
|  | 20 |  | 
| Andrew Trick | d06df96 | 2012-02-01 22:13:57 +0000 | [diff] [blame] | 21 | #include "llvm/CodeGen/SchedulerRegistry.h" | 
| Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 22 | #include "ScheduleDAGSDNodes.h" | 
|  | 23 | #include "llvm/ADT/Statistic.h" | 
|  | 24 | #include "llvm/CodeGen/LatencyPriorityQueue.h" | 
|  | 25 | #include "llvm/CodeGen/ResourcePriorityQueue.h" | 
|  | 26 | #include "llvm/CodeGen/ScheduleHazardRecognizer.h" | 
| Andrew Trick | d06df96 | 2012-02-01 22:13:57 +0000 | [diff] [blame] | 27 | #include "llvm/CodeGen/SelectionDAGISel.h" | 
| Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 28 | #include "llvm/IR/DataLayout.h" | 
| Andrew Trick | d06df96 | 2012-02-01 22:13:57 +0000 | [diff] [blame] | 29 | #include "llvm/Support/Debug.h" | 
|  | 30 | #include "llvm/Support/ErrorHandling.h" | 
|  | 31 | #include "llvm/Support/raw_ostream.h" | 
| Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 32 | #include "llvm/Target/TargetInstrInfo.h" | 
|  | 33 | #include "llvm/Target/TargetRegisterInfo.h" | 
| Eric Christopher | d913448 | 2014-08-04 21:25:23 +0000 | [diff] [blame] | 34 | #include "llvm/Target/TargetSubtargetInfo.h" | 
| Andrew Trick | d06df96 | 2012-02-01 22:13:57 +0000 | [diff] [blame] | 35 | #include <climits> | 
|  | 36 | using namespace llvm; | 
|  | 37 |  | 
| Chandler Carruth | 1b9dde0 | 2014-04-22 02:02:50 +0000 | [diff] [blame] | 38 | #define DEBUG_TYPE "pre-RA-sched" | 
|  | 39 |  | 
| Andrew Trick | d06df96 | 2012-02-01 22:13:57 +0000 | [diff] [blame] | 40 | STATISTIC(NumNoops , "Number of noops inserted"); | 
|  | 41 | STATISTIC(NumStalls, "Number of pipeline stalls"); | 
|  | 42 |  | 
|  | 43 | static RegisterScheduler | 
|  | 44 | VLIWScheduler("vliw-td", "VLIW scheduler", | 
|  | 45 | createVLIWDAGScheduler); | 
|  | 46 |  | 
|  | 47 | namespace { | 
|  | 48 | //===----------------------------------------------------------------------===// | 
|  | 49 | /// ScheduleDAGVLIW - The actual DFA list scheduler implementation.  This | 
|  | 50 | /// supports / top-down scheduling. | 
|  | 51 | /// | 
|  | 52 | class ScheduleDAGVLIW : public ScheduleDAGSDNodes { | 
|  | 53 | private: | 
|  | 54 | /// AvailableQueue - The priority queue to use for the available SUnits. | 
|  | 55 | /// | 
|  | 56 | SchedulingPriorityQueue *AvailableQueue; | 
|  | 57 |  | 
|  | 58 | /// PendingQueue - This contains all of the instructions whose operands have | 
|  | 59 | /// been issued, but their results are not ready yet (due to the latency of | 
|  | 60 | /// the operation).  Once the operands become available, the instruction is | 
|  | 61 | /// added to the AvailableQueue. | 
|  | 62 | std::vector<SUnit*> PendingQueue; | 
|  | 63 |  | 
|  | 64 | /// HazardRec - The hazard recognizer to use. | 
|  | 65 | ScheduleHazardRecognizer *HazardRec; | 
|  | 66 |  | 
|  | 67 | /// AA - AliasAnalysis for making memory reference queries. | 
|  | 68 | AliasAnalysis *AA; | 
|  | 69 |  | 
|  | 70 | public: | 
|  | 71 | ScheduleDAGVLIW(MachineFunction &mf, | 
|  | 72 | AliasAnalysis *aa, | 
|  | 73 | SchedulingPriorityQueue *availqueue) | 
|  | 74 | : ScheduleDAGSDNodes(mf), AvailableQueue(availqueue), AA(aa) { | 
| Eric Christopher | edba30c | 2014-10-09 06:28:06 +0000 | [diff] [blame] | 75 | const TargetSubtargetInfo &STI = mf.getSubtarget(); | 
|  | 76 | HazardRec = STI.getInstrInfo()->CreateTargetHazardRecognizer(&STI, this); | 
| Andrew Trick | d06df96 | 2012-02-01 22:13:57 +0000 | [diff] [blame] | 77 | } | 
|  | 78 |  | 
|  | 79 | ~ScheduleDAGVLIW() { | 
|  | 80 | delete HazardRec; | 
|  | 81 | delete AvailableQueue; | 
|  | 82 | } | 
|  | 83 |  | 
| Craig Topper | 7b883b3 | 2014-03-08 06:31:39 +0000 | [diff] [blame] | 84 | void Schedule() override; | 
| Andrew Trick | d06df96 | 2012-02-01 22:13:57 +0000 | [diff] [blame] | 85 |  | 
|  | 86 | private: | 
|  | 87 | void releaseSucc(SUnit *SU, const SDep &D); | 
|  | 88 | void releaseSuccessors(SUnit *SU); | 
|  | 89 | void scheduleNodeTopDown(SUnit *SU, unsigned CurCycle); | 
|  | 90 | void listScheduleTopDown(); | 
|  | 91 | }; | 
|  | 92 | }  // end anonymous namespace | 
|  | 93 |  | 
|  | 94 | /// Schedule - Schedule the DAG using list scheduling. | 
|  | 95 | void ScheduleDAGVLIW::Schedule() { | 
|  | 96 | DEBUG(dbgs() | 
|  | 97 | << "********** List Scheduling BB#" << BB->getNumber() | 
|  | 98 | << " '" << BB->getName() << "' **********\n"); | 
|  | 99 |  | 
|  | 100 | // Build the scheduling graph. | 
|  | 101 | BuildSchedGraph(AA); | 
|  | 102 |  | 
|  | 103 | AvailableQueue->initNodes(SUnits); | 
|  | 104 |  | 
|  | 105 | listScheduleTopDown(); | 
|  | 106 |  | 
|  | 107 | AvailableQueue->releaseState(); | 
|  | 108 | } | 
|  | 109 |  | 
|  | 110 | //===----------------------------------------------------------------------===// | 
|  | 111 | //  Top-Down Scheduling | 
|  | 112 | //===----------------------------------------------------------------------===// | 
|  | 113 |  | 
|  | 114 | /// releaseSucc - Decrement the NumPredsLeft count of a successor. Add it to | 
|  | 115 | /// the PendingQueue if the count reaches zero. Also update its cycle bound. | 
|  | 116 | void ScheduleDAGVLIW::releaseSucc(SUnit *SU, const SDep &D) { | 
|  | 117 | SUnit *SuccSU = D.getSUnit(); | 
|  | 118 |  | 
|  | 119 | #ifndef NDEBUG | 
|  | 120 | if (SuccSU->NumPredsLeft == 0) { | 
|  | 121 | dbgs() << "*** Scheduling failed! ***\n"; | 
|  | 122 | SuccSU->dump(this); | 
|  | 123 | dbgs() << " has been released too many times!\n"; | 
| Craig Topper | c0196b1 | 2014-04-14 00:51:57 +0000 | [diff] [blame] | 124 | llvm_unreachable(nullptr); | 
| Andrew Trick | d06df96 | 2012-02-01 22:13:57 +0000 | [diff] [blame] | 125 | } | 
|  | 126 | #endif | 
| Andrew Trick | f1ff84c | 2012-11-12 19:28:57 +0000 | [diff] [blame] | 127 | assert(!D.isWeak() && "unexpected artificial DAG edge"); | 
|  | 128 |  | 
| Andrew Trick | d06df96 | 2012-02-01 22:13:57 +0000 | [diff] [blame] | 129 | --SuccSU->NumPredsLeft; | 
|  | 130 |  | 
|  | 131 | SuccSU->setDepthToAtLeast(SU->getDepth() + D.getLatency()); | 
|  | 132 |  | 
|  | 133 | // If all the node's predecessors are scheduled, this node is ready | 
|  | 134 | // to be scheduled. Ignore the special ExitSU node. | 
|  | 135 | if (SuccSU->NumPredsLeft == 0 && SuccSU != &ExitSU) { | 
|  | 136 | PendingQueue.push_back(SuccSU); | 
|  | 137 | } | 
|  | 138 | } | 
|  | 139 |  | 
|  | 140 | void ScheduleDAGVLIW::releaseSuccessors(SUnit *SU) { | 
|  | 141 | // Top down: release successors. | 
|  | 142 | for (SUnit::succ_iterator I = SU->Succs.begin(), E = SU->Succs.end(); | 
|  | 143 | I != E; ++I) { | 
|  | 144 | assert(!I->isAssignedRegDep() && | 
|  | 145 | "The list-td scheduler doesn't yet support physreg dependencies!"); | 
|  | 146 |  | 
|  | 147 | releaseSucc(SU, *I); | 
|  | 148 | } | 
|  | 149 | } | 
|  | 150 |  | 
|  | 151 | /// scheduleNodeTopDown - Add the node to the schedule. Decrement the pending | 
|  | 152 | /// count of its successors. If a successor pending count is zero, add it to | 
|  | 153 | /// the Available queue. | 
|  | 154 | void ScheduleDAGVLIW::scheduleNodeTopDown(SUnit *SU, unsigned CurCycle) { | 
|  | 155 | DEBUG(dbgs() << "*** Scheduling [" << CurCycle << "]: "); | 
|  | 156 | DEBUG(SU->dump(this)); | 
|  | 157 |  | 
|  | 158 | Sequence.push_back(SU); | 
|  | 159 | assert(CurCycle >= SU->getDepth() && "Node scheduled above its depth!"); | 
|  | 160 | SU->setDepthToAtLeast(CurCycle); | 
|  | 161 |  | 
|  | 162 | releaseSuccessors(SU); | 
|  | 163 | SU->isScheduled = true; | 
| Andrew Trick | 52226d4 | 2012-03-07 23:00:49 +0000 | [diff] [blame] | 164 | AvailableQueue->scheduledNode(SU); | 
| Andrew Trick | d06df96 | 2012-02-01 22:13:57 +0000 | [diff] [blame] | 165 | } | 
|  | 166 |  | 
|  | 167 | /// listScheduleTopDown - The main loop of list scheduling for top-down | 
|  | 168 | /// schedulers. | 
|  | 169 | void ScheduleDAGVLIW::listScheduleTopDown() { | 
|  | 170 | unsigned CurCycle = 0; | 
|  | 171 |  | 
|  | 172 | // Release any successors of the special Entry node. | 
|  | 173 | releaseSuccessors(&EntrySU); | 
|  | 174 |  | 
|  | 175 | // All leaves to AvailableQueue. | 
|  | 176 | for (unsigned i = 0, e = SUnits.size(); i != e; ++i) { | 
|  | 177 | // It is available if it has no predecessors. | 
|  | 178 | if (SUnits[i].Preds.empty()) { | 
|  | 179 | AvailableQueue->push(&SUnits[i]); | 
|  | 180 | SUnits[i].isAvailable = true; | 
|  | 181 | } | 
|  | 182 | } | 
|  | 183 |  | 
|  | 184 | // While AvailableQueue is not empty, grab the node with the highest | 
|  | 185 | // priority. If it is not ready put it back.  Schedule the node. | 
|  | 186 | std::vector<SUnit*> NotReady; | 
|  | 187 | Sequence.reserve(SUnits.size()); | 
|  | 188 | while (!AvailableQueue->empty() || !PendingQueue.empty()) { | 
|  | 189 | // Check to see if any of the pending instructions are ready to issue.  If | 
|  | 190 | // so, add them to the available queue. | 
|  | 191 | for (unsigned i = 0, e = PendingQueue.size(); i != e; ++i) { | 
|  | 192 | if (PendingQueue[i]->getDepth() == CurCycle) { | 
|  | 193 | AvailableQueue->push(PendingQueue[i]); | 
|  | 194 | PendingQueue[i]->isAvailable = true; | 
|  | 195 | PendingQueue[i] = PendingQueue.back(); | 
|  | 196 | PendingQueue.pop_back(); | 
|  | 197 | --i; --e; | 
|  | 198 | } | 
|  | 199 | else { | 
|  | 200 | assert(PendingQueue[i]->getDepth() > CurCycle && "Negative latency?"); | 
|  | 201 | } | 
|  | 202 | } | 
|  | 203 |  | 
|  | 204 | // If there are no instructions available, don't try to issue anything, and | 
|  | 205 | // don't advance the hazard recognizer. | 
|  | 206 | if (AvailableQueue->empty()) { | 
|  | 207 | // Reset DFA state. | 
| Craig Topper | c0196b1 | 2014-04-14 00:51:57 +0000 | [diff] [blame] | 208 | AvailableQueue->scheduledNode(nullptr); | 
| Andrew Trick | d06df96 | 2012-02-01 22:13:57 +0000 | [diff] [blame] | 209 | ++CurCycle; | 
|  | 210 | continue; | 
|  | 211 | } | 
|  | 212 |  | 
| Craig Topper | c0196b1 | 2014-04-14 00:51:57 +0000 | [diff] [blame] | 213 | SUnit *FoundSUnit = nullptr; | 
| Andrew Trick | d06df96 | 2012-02-01 22:13:57 +0000 | [diff] [blame] | 214 |  | 
|  | 215 | bool HasNoopHazards = false; | 
|  | 216 | while (!AvailableQueue->empty()) { | 
|  | 217 | SUnit *CurSUnit = AvailableQueue->pop(); | 
|  | 218 |  | 
|  | 219 | ScheduleHazardRecognizer::HazardType HT = | 
|  | 220 | HazardRec->getHazardType(CurSUnit, 0/*no stalls*/); | 
|  | 221 | if (HT == ScheduleHazardRecognizer::NoHazard) { | 
|  | 222 | FoundSUnit = CurSUnit; | 
|  | 223 | break; | 
|  | 224 | } | 
|  | 225 |  | 
|  | 226 | // Remember if this is a noop hazard. | 
|  | 227 | HasNoopHazards |= HT == ScheduleHazardRecognizer::NoopHazard; | 
|  | 228 |  | 
|  | 229 | NotReady.push_back(CurSUnit); | 
|  | 230 | } | 
|  | 231 |  | 
|  | 232 | // Add the nodes that aren't ready back onto the available list. | 
|  | 233 | if (!NotReady.empty()) { | 
|  | 234 | AvailableQueue->push_all(NotReady); | 
|  | 235 | NotReady.clear(); | 
|  | 236 | } | 
|  | 237 |  | 
|  | 238 | // If we found a node to schedule, do it now. | 
|  | 239 | if (FoundSUnit) { | 
|  | 240 | scheduleNodeTopDown(FoundSUnit, CurCycle); | 
|  | 241 | HazardRec->EmitInstruction(FoundSUnit); | 
|  | 242 |  | 
|  | 243 | // If this is a pseudo-op node, we don't want to increment the current | 
|  | 244 | // cycle. | 
|  | 245 | if (FoundSUnit->Latency)  // Don't increment CurCycle for pseudo-ops! | 
|  | 246 | ++CurCycle; | 
|  | 247 | } else if (!HasNoopHazards) { | 
|  | 248 | // Otherwise, we have a pipeline stall, but no other problem, just advance | 
|  | 249 | // the current cycle and try again. | 
|  | 250 | DEBUG(dbgs() << "*** Advancing cycle, no work to do\n"); | 
|  | 251 | HazardRec->AdvanceCycle(); | 
|  | 252 | ++NumStalls; | 
|  | 253 | ++CurCycle; | 
|  | 254 | } else { | 
|  | 255 | // Otherwise, we have no instructions to issue and we have instructions | 
|  | 256 | // that will fault if we don't do this right.  This is the case for | 
|  | 257 | // processors without pipeline interlocks and other cases. | 
|  | 258 | DEBUG(dbgs() << "*** Emitting noop\n"); | 
|  | 259 | HazardRec->EmitNoop(); | 
| Craig Topper | c0196b1 | 2014-04-14 00:51:57 +0000 | [diff] [blame] | 260 | Sequence.push_back(nullptr);   // NULL here means noop | 
| Andrew Trick | d06df96 | 2012-02-01 22:13:57 +0000 | [diff] [blame] | 261 | ++NumNoops; | 
|  | 262 | ++CurCycle; | 
|  | 263 | } | 
|  | 264 | } | 
|  | 265 |  | 
|  | 266 | #ifndef NDEBUG | 
| Andrew Trick | 46a5866 | 2012-03-07 05:21:36 +0000 | [diff] [blame] | 267 | VerifyScheduledSequence(/*isBottomUp=*/false); | 
| Andrew Trick | d06df96 | 2012-02-01 22:13:57 +0000 | [diff] [blame] | 268 | #endif | 
|  | 269 | } | 
|  | 270 |  | 
|  | 271 | //===----------------------------------------------------------------------===// | 
|  | 272 | //                         Public Constructor Functions | 
|  | 273 | //===----------------------------------------------------------------------===// | 
|  | 274 |  | 
|  | 275 | /// createVLIWDAGScheduler - This creates a top-down list scheduler. | 
|  | 276 | ScheduleDAGSDNodes * | 
|  | 277 | llvm::createVLIWDAGScheduler(SelectionDAGISel *IS, CodeGenOpt::Level) { | 
|  | 278 | return new ScheduleDAGVLIW(*IS->MF, IS->AA, new ResourcePriorityQueue(IS)); | 
|  | 279 | } |