Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 1 | //===-- HexagonMachineScheduler.h - Custom Hexagon MI scheduler. ----===// |
| 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 | // Custom Hexagon MI scheduler. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Benjamin Kramer | a7c40ef | 2014-08-13 16:26:38 +0000 | [diff] [blame] | 14 | #ifndef LLVM_LIB_TARGET_HEXAGON_HEXAGONMACHINESCHEDULER_H |
| 15 | #define LLVM_LIB_TARGET_HEXAGON_HEXAGONMACHINESCHEDULER_H |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 16 | |
Chandler Carruth | 802d755 | 2012-12-04 07:12:27 +0000 | [diff] [blame] | 17 | #include "llvm/ADT/PriorityQueue.h" |
| 18 | #include "llvm/Analysis/AliasAnalysis.h" |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 19 | #include "llvm/CodeGen/LiveIntervalAnalysis.h" |
| 20 | #include "llvm/CodeGen/MachineScheduler.h" |
| 21 | #include "llvm/CodeGen/Passes.h" |
| 22 | #include "llvm/CodeGen/RegisterClassInfo.h" |
| 23 | #include "llvm/CodeGen/RegisterPressure.h" |
| 24 | #include "llvm/CodeGen/ResourcePriorityQueue.h" |
| 25 | #include "llvm/CodeGen/ScheduleDAGInstrs.h" |
| 26 | #include "llvm/CodeGen/ScheduleHazardRecognizer.h" |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 27 | #include "llvm/Support/CommandLine.h" |
| 28 | #include "llvm/Support/Debug.h" |
| 29 | #include "llvm/Support/ErrorHandling.h" |
| 30 | #include "llvm/Support/raw_ostream.h" |
Chandler Carruth | 802d755 | 2012-12-04 07:12:27 +0000 | [diff] [blame] | 31 | #include "llvm/Target/TargetInstrInfo.h" |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 32 | |
| 33 | using namespace llvm; |
| 34 | |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 35 | namespace llvm { |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 36 | //===----------------------------------------------------------------------===// |
Sergei Larin | ef4cc11 | 2012-09-10 17:31:34 +0000 | [diff] [blame] | 37 | // ConvergingVLIWScheduler - Implementation of the standard |
| 38 | // MachineSchedStrategy. |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 39 | //===----------------------------------------------------------------------===// |
| 40 | |
Sergei Larin | ef4cc11 | 2012-09-10 17:31:34 +0000 | [diff] [blame] | 41 | class VLIWResourceModel { |
| 42 | /// ResourcesModel - Represents VLIW state. |
| 43 | /// Not limited to VLIW targets per say, but assumes |
| 44 | /// definition of DFA by a target. |
| 45 | DFAPacketizer *ResourcesModel; |
| 46 | |
Andrew Trick | dd79f0f | 2012-10-10 05:43:09 +0000 | [diff] [blame] | 47 | const TargetSchedModel *SchedModel; |
Sergei Larin | ef4cc11 | 2012-09-10 17:31:34 +0000 | [diff] [blame] | 48 | |
| 49 | /// Local packet/bundle model. Purely |
| 50 | /// internal to the MI schedulre at the time. |
| 51 | std::vector<SUnit*> Packet; |
| 52 | |
| 53 | /// Total packets created. |
| 54 | unsigned TotalPackets; |
| 55 | |
| 56 | public: |
Eric Christopher | f8b8e4a | 2015-02-02 22:11:40 +0000 | [diff] [blame] | 57 | VLIWResourceModel(const TargetSubtargetInfo &STI, const TargetSchedModel *SM) |
| 58 | : SchedModel(SM), TotalPackets(0) { |
| 59 | ResourcesModel = STI.getInstrInfo()->CreateTargetScheduleState(STI); |
Sergei Larin | ef4cc11 | 2012-09-10 17:31:34 +0000 | [diff] [blame] | 60 | |
| 61 | // This hard requirement could be relaxed, |
| 62 | // but for now do not let it proceed. |
| 63 | assert(ResourcesModel && "Unimplemented CreateTargetScheduleState."); |
| 64 | |
Andrew Trick | dd79f0f | 2012-10-10 05:43:09 +0000 | [diff] [blame] | 65 | Packet.resize(SchedModel->getIssueWidth()); |
Sergei Larin | ef4cc11 | 2012-09-10 17:31:34 +0000 | [diff] [blame] | 66 | Packet.clear(); |
| 67 | ResourcesModel->clearResources(); |
| 68 | } |
| 69 | |
| 70 | ~VLIWResourceModel() { |
| 71 | delete ResourcesModel; |
| 72 | } |
| 73 | |
| 74 | void resetPacketState() { |
| 75 | Packet.clear(); |
| 76 | } |
| 77 | |
| 78 | void resetDFA() { |
| 79 | ResourcesModel->clearResources(); |
| 80 | } |
| 81 | |
| 82 | void reset() { |
| 83 | Packet.clear(); |
| 84 | ResourcesModel->clearResources(); |
| 85 | } |
| 86 | |
| 87 | bool isResourceAvailable(SUnit *SU); |
| 88 | bool reserveResources(SUnit *SU); |
| 89 | unsigned getTotalPackets() const { return TotalPackets; } |
| 90 | }; |
| 91 | |
Andrew Trick | 7a8e100 | 2012-09-11 00:39:15 +0000 | [diff] [blame] | 92 | /// Extend the standard ScheduleDAGMI to provide more context and override the |
| 93 | /// top-level schedule() driver. |
Andrew Trick | d7f890e | 2013-12-28 21:56:47 +0000 | [diff] [blame] | 94 | class VLIWMachineScheduler : public ScheduleDAGMILive { |
Sergei Larin | ef4cc11 | 2012-09-10 17:31:34 +0000 | [diff] [blame] | 95 | public: |
David Blaikie | 422b93d | 2014-04-21 20:32:32 +0000 | [diff] [blame] | 96 | VLIWMachineScheduler(MachineSchedContext *C, |
| 97 | std::unique_ptr<MachineSchedStrategy> S) |
| 98 | : ScheduleDAGMILive(C, std::move(S)) {} |
Sergei Larin | ef4cc11 | 2012-09-10 17:31:34 +0000 | [diff] [blame] | 99 | |
| 100 | /// Schedule - This is called back from ScheduleDAGInstrs::Run() when it's |
| 101 | /// time to do some work. |
Craig Topper | fd38cbe | 2014-08-30 16:48:34 +0000 | [diff] [blame] | 102 | void schedule() override; |
Alp Toker | cf21875 | 2014-06-30 18:57:16 +0000 | [diff] [blame] | 103 | /// Perform platform-specific DAG postprocessing. |
Sergei Larin | 2db64a7 | 2012-09-14 15:07:59 +0000 | [diff] [blame] | 104 | void postprocessDAG(); |
Sergei Larin | ef4cc11 | 2012-09-10 17:31:34 +0000 | [diff] [blame] | 105 | }; |
| 106 | |
| 107 | /// ConvergingVLIWScheduler shrinks the unscheduled zone using heuristics |
| 108 | /// to balance the schedule. |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 109 | class ConvergingVLIWScheduler : public MachineSchedStrategy { |
| 110 | |
Sergei Larin | ef4cc11 | 2012-09-10 17:31:34 +0000 | [diff] [blame] | 111 | /// Store the state used by ConvergingVLIWScheduler heuristics, required |
| 112 | /// for the lifetime of one invocation of pickNode(). |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 113 | struct SchedCandidate { |
| 114 | // The best SUnit candidate. |
| 115 | SUnit *SU; |
| 116 | |
| 117 | // Register pressure values for the best candidate. |
| 118 | RegPressureDelta RPDelta; |
| 119 | |
| 120 | // Best scheduling cost. |
| 121 | int SCost; |
| 122 | |
Craig Topper | e73658d | 2014-04-28 04:05:08 +0000 | [diff] [blame] | 123 | SchedCandidate(): SU(nullptr), SCost(0) {} |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 124 | }; |
| 125 | /// Represent the type of SchedCandidate found within a single queue. |
| 126 | enum CandResult { |
| 127 | NoCand, NodeOrder, SingleExcess, SingleCritical, SingleMax, MultiPressure, |
| 128 | BestCost}; |
| 129 | |
| 130 | /// Each Scheduling boundary is associated with ready queues. It tracks the |
| 131 | /// current cycle in whichever direction at has moved, and maintains the state |
| 132 | /// of "hazards" and other interlocks at the current cycle. |
Andrew Trick | d7f890e | 2013-12-28 21:56:47 +0000 | [diff] [blame] | 133 | struct VLIWSchedBoundary { |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 134 | VLIWMachineScheduler *DAG; |
Andrew Trick | dd79f0f | 2012-10-10 05:43:09 +0000 | [diff] [blame] | 135 | const TargetSchedModel *SchedModel; |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 136 | |
| 137 | ReadyQueue Available; |
| 138 | ReadyQueue Pending; |
| 139 | bool CheckPending; |
| 140 | |
| 141 | ScheduleHazardRecognizer *HazardRec; |
Sergei Larin | ef4cc11 | 2012-09-10 17:31:34 +0000 | [diff] [blame] | 142 | VLIWResourceModel *ResourceModel; |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 143 | |
| 144 | unsigned CurrCycle; |
| 145 | unsigned IssueCount; |
| 146 | |
| 147 | /// MinReadyCycle - Cycle of the soonest available instruction. |
| 148 | unsigned MinReadyCycle; |
| 149 | |
| 150 | // Remember the greatest min operand latency. |
| 151 | unsigned MaxMinLatency; |
| 152 | |
| 153 | /// Pending queues extend the ready queues with the same ID and the |
| 154 | /// PendingFlag set. |
Andrew Trick | d7f890e | 2013-12-28 21:56:47 +0000 | [diff] [blame] | 155 | VLIWSchedBoundary(unsigned ID, const Twine &Name): |
Craig Topper | e73658d | 2014-04-28 04:05:08 +0000 | [diff] [blame] | 156 | DAG(nullptr), SchedModel(nullptr), Available(ID, Name+".A"), |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 157 | Pending(ID << ConvergingVLIWScheduler::LogMaxQID, Name+".P"), |
Craig Topper | e73658d | 2014-04-28 04:05:08 +0000 | [diff] [blame] | 158 | CheckPending(false), HazardRec(nullptr), ResourceModel(nullptr), |
Sergei Larin | ef4cc11 | 2012-09-10 17:31:34 +0000 | [diff] [blame] | 159 | CurrCycle(0), IssueCount(0), |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 160 | MinReadyCycle(UINT_MAX), MaxMinLatency(0) {} |
| 161 | |
Andrew Trick | d7f890e | 2013-12-28 21:56:47 +0000 | [diff] [blame] | 162 | ~VLIWSchedBoundary() { |
Sergei Larin | ef4cc11 | 2012-09-10 17:31:34 +0000 | [diff] [blame] | 163 | delete ResourceModel; |
| 164 | delete HazardRec; |
| 165 | } |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 166 | |
Andrew Trick | dd79f0f | 2012-10-10 05:43:09 +0000 | [diff] [blame] | 167 | void init(VLIWMachineScheduler *dag, const TargetSchedModel *smodel) { |
| 168 | DAG = dag; |
| 169 | SchedModel = smodel; |
| 170 | } |
| 171 | |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 172 | bool isTop() const { |
| 173 | return Available.getID() == ConvergingVLIWScheduler::TopQID; |
| 174 | } |
| 175 | |
| 176 | bool checkHazard(SUnit *SU); |
| 177 | |
| 178 | void releaseNode(SUnit *SU, unsigned ReadyCycle); |
| 179 | |
| 180 | void bumpCycle(); |
| 181 | |
| 182 | void bumpNode(SUnit *SU); |
| 183 | |
| 184 | void releasePending(); |
| 185 | |
| 186 | void removeReady(SUnit *SU); |
| 187 | |
| 188 | SUnit *pickOnlyChoice(); |
| 189 | }; |
| 190 | |
| 191 | VLIWMachineScheduler *DAG; |
Andrew Trick | dd79f0f | 2012-10-10 05:43:09 +0000 | [diff] [blame] | 192 | const TargetSchedModel *SchedModel; |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 193 | |
| 194 | // State of the top and bottom scheduled instruction boundaries. |
Andrew Trick | d7f890e | 2013-12-28 21:56:47 +0000 | [diff] [blame] | 195 | VLIWSchedBoundary Top; |
| 196 | VLIWSchedBoundary Bot; |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 197 | |
| 198 | public: |
| 199 | /// SUnit::NodeQueueId: 0 (none), 1 (top), 2 (bot), 3 (both) |
| 200 | enum { |
| 201 | TopQID = 1, |
| 202 | BotQID = 2, |
| 203 | LogMaxQID = 2 |
| 204 | }; |
| 205 | |
Craig Topper | e73658d | 2014-04-28 04:05:08 +0000 | [diff] [blame] | 206 | ConvergingVLIWScheduler() |
| 207 | : DAG(nullptr), SchedModel(nullptr), Top(TopQID, "TopQ"), |
| 208 | Bot(BotQID, "BotQ") {} |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 209 | |
Craig Topper | fd38cbe | 2014-08-30 16:48:34 +0000 | [diff] [blame] | 210 | void initialize(ScheduleDAGMI *dag) override; |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 211 | |
Craig Topper | fd38cbe | 2014-08-30 16:48:34 +0000 | [diff] [blame] | 212 | SUnit *pickNode(bool &IsTopNode) override; |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 213 | |
Craig Topper | fd38cbe | 2014-08-30 16:48:34 +0000 | [diff] [blame] | 214 | void schedNode(SUnit *SU, bool IsTopNode) override; |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 215 | |
Craig Topper | fd38cbe | 2014-08-30 16:48:34 +0000 | [diff] [blame] | 216 | void releaseTopNode(SUnit *SU) override; |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 217 | |
Craig Topper | fd38cbe | 2014-08-30 16:48:34 +0000 | [diff] [blame] | 218 | void releaseBottomNode(SUnit *SU) override; |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 219 | |
Sergei Larin | 2db64a7 | 2012-09-14 15:07:59 +0000 | [diff] [blame] | 220 | unsigned ReportPackets() { |
| 221 | return Top.ResourceModel->getTotalPackets() + |
| 222 | Bot.ResourceModel->getTotalPackets(); |
| 223 | } |
| 224 | |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 225 | protected: |
| 226 | SUnit *pickNodeBidrectional(bool &IsTopNode); |
| 227 | |
| 228 | int SchedulingCost(ReadyQueue &Q, |
| 229 | SUnit *SU, SchedCandidate &Candidate, |
| 230 | RegPressureDelta &Delta, bool verbose); |
| 231 | |
| 232 | CandResult pickNodeFromQueue(ReadyQueue &Q, |
| 233 | const RegPressureTracker &RPTracker, |
| 234 | SchedCandidate &Candidate); |
| 235 | #ifndef NDEBUG |
| 236 | void traceCandidate(const char *Label, const ReadyQueue &Q, SUnit *SU, |
Andrew Trick | 1a83134 | 2013-08-30 03:49:48 +0000 | [diff] [blame] | 237 | PressureChange P = PressureChange()); |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 238 | #endif |
| 239 | }; |
| 240 | |
Alexander Kornienko | f00654e | 2015-06-23 09:49:53 +0000 | [diff] [blame] | 241 | } // namespace |
Sergei Larin | 4d8986a | 2012-09-04 14:49:56 +0000 | [diff] [blame] | 242 | |
| 243 | |
| 244 | #endif |