LLVM 17.0.0git
VLIWMachineScheduler.h
Go to the documentation of this file.
1//===- VLIWMachineScheduler.h - VLIW-Focused Scheduling Pass ----*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8// //
9//===----------------------------------------------------------------------===//
10
11#ifndef LLVM_CODEGEN_VLIWMACHINESCHEDULER_H
12#define LLVM_CODEGEN_VLIWMACHINESCHEDULER_H
13
15#include "llvm/ADT/Twine.h"
18#include <limits>
19#include <memory>
20#include <utility>
21
22namespace llvm {
23
24class DFAPacketizer;
25class RegisterClassInfo;
26class ScheduleHazardRecognizer;
27class SUnit;
28class TargetInstrInfo;
29class TargetSubtargetInfo;
30
32protected:
34
35 /// ResourcesModel - Represents VLIW state.
36 /// Not limited to VLIW targets per se, but assumes definition of resource
37 /// model by a target.
39
41
42 /// Local packet/bundle model. Purely
43 /// internal to the MI scheduler at the time.
45
46 /// Total packets created.
47 unsigned TotalPackets = 0;
48
49public:
51
52 virtual ~VLIWResourceModel();
53
54 virtual void reset();
55
56 virtual bool hasDependence(const SUnit *SUd, const SUnit *SUu);
57 virtual bool isResourceAvailable(SUnit *SU, bool IsTop);
58 virtual bool reserveResources(SUnit *SU, bool IsTop);
59 unsigned getTotalPackets() const { return TotalPackets; }
60 size_t getPacketInstCount() const { return Packet.size(); }
61 bool isInPacket(SUnit *SU) const { return is_contained(Packet, SU); }
62
63protected:
64 virtual DFAPacketizer *createPacketizer(const TargetSubtargetInfo &STI) const;
65};
66
67/// Extend the standard ScheduleDAGMILive to provide more context and override
68/// the top-level schedule() driver.
70public:
72 std::unique_ptr<MachineSchedStrategy> S)
73 : ScheduleDAGMILive(C, std::move(S)) {}
74
75 /// Schedule - This is called back from ScheduleDAGInstrs::Run() when it's
76 /// time to do some work.
77 void schedule() override;
78
80 int getBBSize() { return BB->size(); }
81};
82
83//===----------------------------------------------------------------------===//
84// ConvergingVLIWScheduler - Implementation of a VLIW-aware
85// MachineSchedStrategy.
86//===----------------------------------------------------------------------===//
87
89protected:
90 /// Store the state used by ConvergingVLIWScheduler heuristics, required
91 /// for the lifetime of one invocation of pickNode().
93 // The best SUnit candidate.
94 SUnit *SU = nullptr;
95
96 // Register pressure values for the best candidate.
98
99 // Best scheduling cost.
100 int SCost = 0;
101
102 SchedCandidate() = default;
103 };
104 /// Represent the type of SchedCandidate found within a single queue.
113 Weak
114 };
115
116 // Constants used to denote relative importance of
117 // heuristic components for cost computation.
118 static constexpr unsigned PriorityOne = 200;
119 static constexpr unsigned PriorityTwo = 50;
120 static constexpr unsigned PriorityThree = 75;
121 static constexpr unsigned ScaleTwo = 10;
122
123 /// Each Scheduling boundary is associated with ready queues. It tracks the
124 /// current cycle in whichever direction at has moved, and maintains the state
125 /// of "hazards" and other interlocks at the current cycle.
128 const TargetSchedModel *SchedModel = nullptr;
129
132 bool CheckPending = false;
133
136
137 unsigned CurrCycle = 0;
138 unsigned IssueCount = 0;
139 unsigned CriticalPathLength = 0;
140
141 /// MinReadyCycle - Cycle of the soonest available instruction.
142 unsigned MinReadyCycle = std::numeric_limits<unsigned>::max();
143
144 // Remember the greatest min operand latency.
145 unsigned MaxMinLatency = 0;
146
147 /// Pending queues extend the ready queues with the same ID and the
148 /// PendingFlag set.
149 VLIWSchedBoundary(unsigned ID, const Twine &Name)
150 : Available(ID, Name + ".A"),
152
154
155 void init(VLIWMachineScheduler *dag, const TargetSchedModel *smodel) {
156 DAG = dag;
157 SchedModel = smodel;
158 CurrCycle = 0;
159 IssueCount = 0;
160 // Initialize the critical path length limit, which used by the scheduling
161 // cost model to determine the value for scheduling an instruction. We use
162 // a slightly different heuristic for small and large functions. For small
163 // functions, it's important to use the height/depth of the instruction.
164 // For large functions, prioritizing by height or depth increases spills.
166 if (DAG->getBBSize() < 50)
167 // We divide by two as a cheap and simple heuristic to reduce the
168 // critcal path length, which increases the priority of using the graph
169 // height/depth in the scheduler's cost computation.
170 CriticalPathLength >>= 1;
171 else {
172 // For large basic blocks, we prefer a larger critical path length to
173 // decrease the priority of using the graph height/depth.
174 unsigned MaxPath = 0;
175 for (auto &SU : DAG->SUnits)
176 MaxPath = std::max(MaxPath, isTop() ? SU.getHeight() : SU.getDepth());
177 CriticalPathLength = std::max(CriticalPathLength, MaxPath) + 1;
178 }
179 }
180
181 bool isTop() const {
183 }
184
185 bool checkHazard(SUnit *SU);
186
187 void releaseNode(SUnit *SU, unsigned ReadyCycle);
188
189 void bumpCycle();
190
191 void bumpNode(SUnit *SU);
192
193 void releasePending();
194
195 void removeReady(SUnit *SU);
196
198
201 return true;
202 unsigned PathLength = isTop() ? SU->getHeight() : SU->getDepth();
203 return CriticalPathLength - CurrCycle <= PathLength;
204 }
205 };
206
208 const TargetSchedModel *SchedModel = nullptr;
209
210 // State of the top and bottom scheduled instruction boundaries.
213
214 /// List of pressure sets that have a high pressure level in the region.
216
217public:
218 /// SUnit::NodeQueueId: 0 (none), 1 (top), 2 (bot), 3 (both)
219 enum { TopQID = 1, BotQID = 2, LogMaxQID = 2 };
220
221 ConvergingVLIWScheduler() : Top(TopQID, "TopQ"), Bot(BotQID, "BotQ") {}
222 virtual ~ConvergingVLIWScheduler() = default;
223
224 void initialize(ScheduleDAGMI *dag) override;
225
226 SUnit *pickNode(bool &IsTopNode) override;
227
228 void schedNode(SUnit *SU, bool IsTopNode) override;
229
230 void releaseTopNode(SUnit *SU) override;
231
232 void releaseBottomNode(SUnit *SU) override;
233
234 unsigned reportPackets() {
237 }
238
239protected:
240 virtual VLIWResourceModel *
242 const TargetSchedModel *SchedModel) const;
243
244 SUnit *pickNodeBidrectional(bool &IsTopNode);
245
246 int pressureChange(const SUnit *SU, bool isBotUp);
247
248 virtual int SchedulingCost(ReadyQueue &Q, SUnit *SU,
249 SchedCandidate &Candidate, RegPressureDelta &Delta,
250 bool verbose);
251
252 CandResult pickNodeFromQueue(VLIWSchedBoundary &Zone,
253 const RegPressureTracker &RPTracker,
254 SchedCandidate &Candidate);
255#ifndef NDEBUG
256 void traceCandidate(const char *Label, const ReadyQueue &Q, SUnit *SU,
258
259 void readyQueueVerboseDump(const RegPressureTracker &RPTracker,
260 SchedCandidate &Candidate, ReadyQueue &Q);
261#endif
262};
263
265
266} // end namespace llvm
267
268#endif // LLVM_CODEGEN_VLIWMACHINESCHEDULER_H
std::string Name
#define P(N)
This file defines the SmallVector class.
void releaseBottomNode(SUnit *SU) override
When all successor dependencies have been resolved, free this node for bottom-up scheduling.
static constexpr unsigned PriorityOne
SUnit * pickNode(bool &IsTopNode) override
Pick the best node to balance the schedule. Implements MachineSchedStrategy.
virtual VLIWResourceModel * createVLIWResourceModel(const TargetSubtargetInfo &STI, const TargetSchedModel *SchedModel) const
int pressureChange(const SUnit *SU, bool isBotUp)
Check if the instruction changes the register pressure of a register in the high pressure set.
SmallVector< bool > HighPressureSets
List of pressure sets that have a high pressure level in the region.
static constexpr unsigned ScaleTwo
virtual ~ConvergingVLIWScheduler()=default
CandResult pickNodeFromQueue(VLIWSchedBoundary &Zone, const RegPressureTracker &RPTracker, SchedCandidate &Candidate)
Pick the best candidate from the top queue.
void schedNode(SUnit *SU, bool IsTopNode) override
Update the scheduler's state after scheduling a node.
void readyQueueVerboseDump(const RegPressureTracker &RPTracker, SchedCandidate &Candidate, ReadyQueue &Q)
void releaseTopNode(SUnit *SU) override
When all predecessor dependencies have been resolved, free this node for top-down scheduling.
SUnit * pickNodeBidrectional(bool &IsTopNode)
Pick the best candidate node from either the top or bottom queue.
static constexpr unsigned PriorityTwo
static constexpr unsigned PriorityThree
const TargetSchedModel * SchedModel
void initialize(ScheduleDAGMI *dag) override
Initialize the strategy after building the DAG for a new region.
virtual int SchedulingCost(ReadyQueue &Q, SUnit *SU, SchedCandidate &Candidate, RegPressureDelta &Delta, bool verbose)
Single point to compute overall scheduling cost.
void traceCandidate(const char *Label, const ReadyQueue &Q, SUnit *SU, int Cost, PressureChange P=PressureChange())
CandResult
Represent the type of SchedCandidate found within a single queue.
MachineSchedStrategy - Interface to the scheduling algorithm used by ScheduleDAGMI.
Capture a change in pressure for a single pressure set.
Helpers for implementing custom MachineSchedStrategy classes.
unsigned getID() const
Track the current register pressure at some position in the instruction stream, and remember the high...
Scheduling unit. This is a node in the scheduling DAG.
Definition: ScheduleDAG.h:242
unsigned getHeight() const
Returns the height of this node, which is the length of the maximum path down to any node which has n...
Definition: ScheduleDAG.h:406
unsigned getDepth() const
Returns the depth of this node, which is the length of the maximum path up to any node which has no p...
Definition: ScheduleDAG.h:398
MachineBasicBlock * BB
The block in which to insert instructions.
ScheduleDAGMILive is an implementation of ScheduleDAGInstrs that schedules machine instructions while...
RegisterClassInfo * RegClassInfo
ScheduleDAGMI is an implementation of ScheduleDAGInstrs that simply schedules machine instructions ac...
std::vector< SUnit > SUnits
The scheduling units.
Definition: ScheduleDAG.h:561
HazardRecognizer - This determines whether or not an instruction can be issued this cycle,...
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
Definition: SmallVector.h:1200
TargetInstrInfo - Interface to description of machine instruction set.
Provide an instruction scheduling machine model to CodeGen passes.
unsigned getIssueWidth() const
Maximum number of micro-ops that may be scheduled per cycle.
TargetSubtargetInfo - Generic base class for all target subtargets.
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
Definition: Twine.h:81
Extend the standard ScheduleDAGMILive to provide more context and override the top-level schedule() d...
VLIWMachineScheduler(MachineSchedContext *C, std::unique_ptr< MachineSchedStrategy > S)
RegisterClassInfo * getRegClassInfo()
void schedule() override
Schedule - This is called back from ScheduleDAGInstrs::Run() when it's time to do some work.
unsigned TotalPackets
Total packets created.
virtual bool hasDependence(const SUnit *SUd, const SUnit *SUu)
Return true if there is a dependence between SUd and SUu.
virtual DFAPacketizer * createPacketizer(const TargetSubtargetInfo &STI) const
virtual bool reserveResources(SUnit *SU, bool IsTop)
Keep track of available resources.
bool isInPacket(SUnit *SU) const
DFAPacketizer * ResourcesModel
ResourcesModel - Represents VLIW state.
SmallVector< SUnit * > Packet
Local packet/bundle model.
const TargetSchedModel * SchedModel
unsigned getTotalPackets() const
virtual bool isResourceAvailable(SUnit *SU, bool IsTop)
Check if scheduling of this SU is possible in the current packet.
const TargetInstrInfo * TII
@ C
The default llvm calling convention, compatible with C.
Definition: CallingConv.h:34
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
ScheduleDAGMILive * createVLIWSched(MachineSchedContext *C)
OutputIt move(R &&Range, OutputIt Out)
Provide wrappers to std::move which take ranges instead of having to pass begin/end explicitly.
Definition: STLExtras.h:1946
bool is_contained(R &&Range, const E &Element)
Returns true if Element is found in Range.
Definition: STLExtras.h:1976
Definition: BitVector.h:858
Store the state used by ConvergingVLIWScheduler heuristics, required for the lifetime of one invocati...
Each Scheduling boundary is associated with ready queues.
VLIWSchedBoundary(unsigned ID, const Twine &Name)
Pending queues extend the ready queues with the same ID and the PendingFlag set.
void releaseNode(SUnit *SU, unsigned ReadyCycle)
void removeReady(SUnit *SU)
Remove SU from the ready set for this boundary.
void bumpNode(SUnit *SU)
Move the boundary of scheduled code by one SUnit.
unsigned MinReadyCycle
MinReadyCycle - Cycle of the soonest available instruction.
void releasePending()
Release pending ready nodes in to the available queue.
SUnit * pickOnlyChoice()
If this queue only has one ready candidate, return it.
void init(VLIWMachineScheduler *dag, const TargetSchedModel *smodel)
void bumpCycle()
Move the boundary of scheduled code by one cycle.
bool checkHazard(SUnit *SU)
Does this SU have a hazard within the current instruction group.
MachineSchedContext provides enough context from the MachineScheduler pass for the target to instanti...
Store the effects of a change in pressure on things that MI scheduler cares about.