blob: 3ad59d77ee40b7ebc31472abcde9829be4137b47 [file] [log] [blame]
Chris Lattnerd32b2362005-08-18 18:45:24 +00001//===-- ScheduleDAG.cpp - Implement a trivial DAG scheduler ---------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Jim Laskey5a608dd2005-10-31 12:49:09 +00005// This file was developed by James M. Laskey and is distributed under the
Chris Lattnerd32b2362005-08-18 18:45:24 +00006// University of Illinois Open Source License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
Jim Laskeye6b90fb2005-09-26 21:57:04 +000010// This implements a simple two pass scheduler. The first pass attempts to push
11// backward any lengthy instructions and critical paths. The second pass packs
12// instructions into semi-optimal time slots.
Chris Lattnerd32b2362005-08-18 18:45:24 +000013//
14//===----------------------------------------------------------------------===//
15
16#define DEBUG_TYPE "sched"
Chris Lattner5839bf22005-08-26 17:15:30 +000017#include "llvm/CodeGen/MachineConstantPool.h"
Chris Lattner4ccd4062005-08-19 20:45:43 +000018#include "llvm/CodeGen/MachineFunction.h"
Chris Lattnerd32b2362005-08-18 18:45:24 +000019#include "llvm/CodeGen/SelectionDAGISel.h"
Chris Lattner2d973e42005-08-18 20:07:59 +000020#include "llvm/CodeGen/SelectionDAG.h"
Chris Lattner4ccd4062005-08-19 20:45:43 +000021#include "llvm/CodeGen/SSARegMap.h"
Chris Lattner2d973e42005-08-18 20:07:59 +000022#include "llvm/Target/TargetMachine.h"
23#include "llvm/Target/TargetInstrInfo.h"
Jim Laskey7d090f32005-11-04 04:05:35 +000024#include "llvm/Target/TargetInstrItineraries.h"
Chris Lattner025c39b2005-08-26 20:54:47 +000025#include "llvm/Target/TargetLowering.h"
Chris Lattner068ca152005-08-18 20:11:49 +000026#include "llvm/Support/CommandLine.h"
Jim Laskeye6b90fb2005-09-26 21:57:04 +000027#include "llvm/Support/Debug.h"
28#include <iostream>
Duraid Madinaf65d9172005-12-29 05:59:19 +000029#include <ios>
Jeff Cohen18840db2005-12-18 22:20:05 +000030#include <algorithm>
Chris Lattnerd32b2362005-08-18 18:45:24 +000031using namespace llvm;
32
Jim Laskeye6b90fb2005-09-26 21:57:04 +000033namespace {
34 // Style of scheduling to use.
35 enum ScheduleChoices {
36 noScheduling,
37 simpleScheduling,
Jim Laskey7d090f32005-11-04 04:05:35 +000038 simpleNoItinScheduling
Jim Laskeye6b90fb2005-09-26 21:57:04 +000039 };
40} // namespace
41
42cl::opt<ScheduleChoices> ScheduleStyle("sched",
43 cl::desc("Choose scheduling style"),
44 cl::init(noScheduling),
45 cl::values(
46 clEnumValN(noScheduling, "none",
47 "Trivial emission with no analysis"),
48 clEnumValN(simpleScheduling, "simple",
49 "Minimize critical path and maximize processor utilization"),
Jim Laskey7d090f32005-11-04 04:05:35 +000050 clEnumValN(simpleNoItinScheduling, "simple-noitin",
51 "Same as simple except using generic latency"),
Jim Laskeye6b90fb2005-09-26 21:57:04 +000052 clEnumValEnd));
53
54
Chris Lattnerda8abb02005-09-01 18:44:10 +000055#ifndef NDEBUG
Chris Lattner068ca152005-08-18 20:11:49 +000056static cl::opt<bool>
57ViewDAGs("view-sched-dags", cl::Hidden,
58 cl::desc("Pop up a window to show sched dags as they are processed"));
59#else
Chris Lattnera639a432005-09-02 07:09:28 +000060static const bool ViewDAGs = 0;
Chris Lattner068ca152005-08-18 20:11:49 +000061#endif
62
Chris Lattner2d973e42005-08-18 20:07:59 +000063namespace {
Jim Laskeye6b90fb2005-09-26 21:57:04 +000064//===----------------------------------------------------------------------===//
65///
66/// BitsIterator - Provides iteration through individual bits in a bit vector.
67///
68template<class T>
69class BitsIterator {
70private:
71 T Bits; // Bits left to iterate through
72
73public:
74 /// Ctor.
75 BitsIterator(T Initial) : Bits(Initial) {}
76
77 /// Next - Returns the next bit set or zero if exhausted.
78 inline T Next() {
79 // Get the rightmost bit set
80 T Result = Bits & -Bits;
81 // Remove from rest
82 Bits &= ~Result;
83 // Return single bit or zero
84 return Result;
85 }
86};
87
88//===----------------------------------------------------------------------===//
89
90
91//===----------------------------------------------------------------------===//
92///
93/// ResourceTally - Manages the use of resources over time intervals. Each
94/// item (slot) in the tally vector represents the resources used at a given
95/// moment. A bit set to 1 indicates that a resource is in use, otherwise
96/// available. An assumption is made that the tally is large enough to schedule
97/// all current instructions (asserts otherwise.)
98///
99template<class T>
100class ResourceTally {
101private:
102 std::vector<T> Tally; // Resources used per slot
103 typedef typename std::vector<T>::iterator Iter;
104 // Tally iterator
105
Jim Laskeya5e5bff2005-11-05 00:01:25 +0000106 /// SlotsAvailable - Returns true if all units are available.
107 ///
108 bool SlotsAvailable(Iter Begin, unsigned N, unsigned ResourceSet,
Jim Laskey7d090f32005-11-04 04:05:35 +0000109 unsigned &Resource) {
110 assert(N && "Must check availability with N != 0");
111 // Determine end of interval
112 Iter End = Begin + N;
Jim Laskey7d090f32005-11-04 04:05:35 +0000113 assert(End <= Tally.end() && "Tally is not large enough for schedule");
114
115 // Iterate thru each resource
116 BitsIterator<T> Resources(ResourceSet & ~*Begin);
117 while (unsigned Res = Resources.Next()) {
118 // Check if resource is available for next N slots
119 Iter Interval = End;
120 do {
121 Interval--;
122 if (*Interval & Res) break;
123 } while (Interval != Begin);
124
125 // If available for N
126 if (Interval == Begin) {
127 // Success
128 Resource = Res;
Jim Laskeya5e5bff2005-11-05 00:01:25 +0000129 return true;
Jim Laskey7d090f32005-11-04 04:05:35 +0000130 }
Jim Laskey7d090f32005-11-04 04:05:35 +0000131 }
132
133 // No luck
Jim Laskey54f997d2005-11-04 18:26:02 +0000134 Resource = 0;
Jim Laskeya5e5bff2005-11-05 00:01:25 +0000135 return false;
Jim Laskey7d090f32005-11-04 04:05:35 +0000136 }
Jim Laskeya5e5bff2005-11-05 00:01:25 +0000137
138 /// RetrySlot - Finds a good candidate slot to retry search.
139 Iter RetrySlot(Iter Begin, unsigned N, unsigned ResourceSet) {
140 assert(N && "Must check availability with N != 0");
141 // Determine end of interval
142 Iter End = Begin + N;
143 assert(End <= Tally.end() && "Tally is not large enough for schedule");
144
145 while (Begin != End--) {
146 // Clear units in use
147 ResourceSet &= ~*End;
148 // If no units left then we should go no further
149 if (!ResourceSet) return End + 1;
150 }
151 // Made it all the way through
152 return Begin;
153 }
Jim Laskey7d090f32005-11-04 04:05:35 +0000154
155 /// FindAndReserveStages - Return true if the stages can be completed. If
156 /// so mark as busy.
157 bool FindAndReserveStages(Iter Begin,
158 InstrStage *Stage, InstrStage *StageEnd) {
159 // If at last stage then we're done
160 if (Stage == StageEnd) return true;
161 // Get number of cycles for current stage
162 unsigned N = Stage->Cycles;
163 // Check to see if N slots are available, if not fail
164 unsigned Resource;
Jim Laskeya5e5bff2005-11-05 00:01:25 +0000165 if (!SlotsAvailable(Begin, N, Stage->Units, Resource)) return false;
Jim Laskey7d090f32005-11-04 04:05:35 +0000166 // Check to see if remaining stages are available, if not fail
167 if (!FindAndReserveStages(Begin + N, Stage + 1, StageEnd)) return false;
168 // Reserve resource
169 Reserve(Begin, N, Resource);
170 // Success
171 return true;
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000172 }
173
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000174 /// Reserve - Mark busy (set) the specified N slots.
175 void Reserve(Iter Begin, unsigned N, unsigned Resource) {
176 // Determine end of interval
177 Iter End = Begin + N;
178 assert(End <= Tally.end() && "Tally is not large enough for schedule");
179
180 // Set resource bit in each slot
181 for (; Begin < End; Begin++)
182 *Begin |= Resource;
183 }
184
Jim Laskey7d090f32005-11-04 04:05:35 +0000185 /// FindSlots - Starting from Begin, locate consecutive slots where all stages
186 /// can be completed. Returns the address of first slot.
187 Iter FindSlots(Iter Begin, InstrStage *StageBegin, InstrStage *StageEnd) {
188 // Track position
189 Iter Cursor = Begin;
190
191 // Try all possible slots forward
192 while (true) {
193 // Try at cursor, if successful return position.
194 if (FindAndReserveStages(Cursor, StageBegin, StageEnd)) return Cursor;
195 // Locate a better position
Jim Laskeya5e5bff2005-11-05 00:01:25 +0000196 Cursor = RetrySlot(Cursor + 1, StageBegin->Cycles, StageBegin->Units);
Jim Laskey7d090f32005-11-04 04:05:35 +0000197 }
198 }
199
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000200public:
201 /// Initialize - Resize and zero the tally to the specified number of time
202 /// slots.
203 inline void Initialize(unsigned N) {
204 Tally.assign(N, 0); // Initialize tally to all zeros.
205 }
Jim Laskey7d090f32005-11-04 04:05:35 +0000206
207 // FindAndReserve - Locate an ideal slot for the specified stages and mark
208 // as busy.
209 unsigned FindAndReserve(unsigned Slot, InstrStage *StageBegin,
210 InstrStage *StageEnd) {
Jim Laskeya5e5bff2005-11-05 00:01:25 +0000211 // Where to begin
212 Iter Begin = Tally.begin() + Slot;
213 // Find a free slot
214 Iter Where = FindSlots(Begin, StageBegin, StageEnd);
215 // Distance is slot number
216 unsigned Final = Where - Tally.begin();
217 return Final;
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000218 }
219
220};
221//===----------------------------------------------------------------------===//
222
Jim Laskeyfab66f62005-10-12 18:29:35 +0000223// Forward
224class NodeInfo;
Jim Laskey5a608dd2005-10-31 12:49:09 +0000225typedef NodeInfo *NodeInfoPtr;
226typedef std::vector<NodeInfoPtr> NIVector;
227typedef std::vector<NodeInfoPtr>::iterator NIIterator;
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000228
229//===----------------------------------------------------------------------===//
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000230///
231/// Node group - This struct is used to manage flagged node groups.
232///
Jim Laskey5a608dd2005-10-31 12:49:09 +0000233class NodeGroup {
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000234private:
Jim Laskey5a608dd2005-10-31 12:49:09 +0000235 NIVector Members; // Group member nodes
Jim Laskey7d090f32005-11-04 04:05:35 +0000236 NodeInfo *Dominator; // Node with highest latency
237 unsigned Latency; // Total latency of the group
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000238 int Pending; // Number of visits pending before
239 // adding to order
240
241public:
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000242 // Ctor.
Jim Laskey7d090f32005-11-04 04:05:35 +0000243 NodeGroup() : Dominator(NULL), Pending(0) {}
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000244
245 // Accessors
Jim Laskey7d090f32005-11-04 04:05:35 +0000246 inline void setDominator(NodeInfo *D) { Dominator = D; }
247 inline NodeInfo *getDominator() { return Dominator; }
248 inline void setLatency(unsigned L) { Latency = L; }
249 inline unsigned getLatency() { return Latency; }
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000250 inline int getPending() const { return Pending; }
251 inline void setPending(int P) { Pending = P; }
252 inline int addPending(int I) { return Pending += I; }
Jim Laskey5a608dd2005-10-31 12:49:09 +0000253
254 // Pass thru
255 inline bool group_empty() { return Members.empty(); }
256 inline NIIterator group_begin() { return Members.begin(); }
257 inline NIIterator group_end() { return Members.end(); }
258 inline void group_push_back(const NodeInfoPtr &NI) { Members.push_back(NI); }
259 inline NIIterator group_insert(NIIterator Pos, const NodeInfoPtr &NI) {
260 return Members.insert(Pos, NI);
261 }
262 inline void group_insert(NIIterator Pos, NIIterator First, NIIterator Last) {
263 Members.insert(Pos, First, Last);
264 }
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000265
266 static void Add(NodeInfo *D, NodeInfo *U);
267 static unsigned CountInternalUses(NodeInfo *D, NodeInfo *U);
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000268};
269//===----------------------------------------------------------------------===//
270
271
272//===----------------------------------------------------------------------===//
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000273///
274/// NodeInfo - This struct tracks information used to schedule the a node.
275///
276class NodeInfo {
277private:
278 int Pending; // Number of visits pending before
279 // adding to order
280public:
281 SDNode *Node; // DAG node
Jim Laskey7d090f32005-11-04 04:05:35 +0000282 InstrStage *StageBegin; // First stage in itinerary
283 InstrStage *StageEnd; // Last+1 stage in itinerary
284 unsigned Latency; // Total cycles to complete instruction
Jim Laskeyde48ee22005-12-19 16:30:13 +0000285 bool IsCall : 1; // Is function call
286 bool IsLoad : 1; // Is memory load
287 bool IsStore : 1; // Is memory store
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000288 unsigned Slot; // Node's time slot
289 NodeGroup *Group; // Grouping information
290 unsigned VRBase; // Virtual register base
Jim Laskeyfab66f62005-10-12 18:29:35 +0000291#ifndef NDEBUG
292 unsigned Preorder; // Index before scheduling
293#endif
294
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000295 // Ctor.
296 NodeInfo(SDNode *N = NULL)
297 : Pending(0)
298 , Node(N)
Jim Laskey7d090f32005-11-04 04:05:35 +0000299 , StageBegin(NULL)
300 , StageEnd(NULL)
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000301 , Latency(0)
Jim Laskey53c523c2005-10-13 16:44:00 +0000302 , IsCall(false)
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000303 , Slot(0)
304 , Group(NULL)
305 , VRBase(0)
Jim Laskey53c523c2005-10-13 16:44:00 +0000306#ifndef NDEBUG
307 , Preorder(0)
308#endif
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000309 {}
310
311 // Accessors
312 inline bool isInGroup() const {
Jim Laskey5a608dd2005-10-31 12:49:09 +0000313 assert(!Group || !Group->group_empty() && "Group with no members");
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000314 return Group != NULL;
315 }
Jim Laskey7d090f32005-11-04 04:05:35 +0000316 inline bool isGroupDominator() const {
317 return isInGroup() && Group->getDominator() == this;
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000318 }
319 inline int getPending() const {
320 return Group ? Group->getPending() : Pending;
321 }
322 inline void setPending(int P) {
323 if (Group) Group->setPending(P);
324 else Pending = P;
325 }
326 inline int addPending(int I) {
327 if (Group) return Group->addPending(I);
328 else return Pending += I;
329 }
330};
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000331//===----------------------------------------------------------------------===//
332
333
334//===----------------------------------------------------------------------===//
335///
336/// NodeGroupIterator - Iterates over all the nodes indicated by the node info.
337/// If the node is in a group then iterate over the members of the group,
338/// otherwise just the node info.
339///
340class NodeGroupIterator {
341private:
342 NodeInfo *NI; // Node info
343 NIIterator NGI; // Node group iterator
344 NIIterator NGE; // Node group iterator end
345
346public:
347 // Ctor.
348 NodeGroupIterator(NodeInfo *N) : NI(N) {
349 // If the node is in a group then set up the group iterator. Otherwise
350 // the group iterators will trip first time out.
351 if (N->isInGroup()) {
352 // get Group
353 NodeGroup *Group = NI->Group;
Jim Laskey5a608dd2005-10-31 12:49:09 +0000354 NGI = Group->group_begin();
355 NGE = Group->group_end();
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000356 // Prevent this node from being used (will be in members list
357 NI = NULL;
358 }
359 }
360
361 /// next - Return the next node info, otherwise NULL.
362 ///
363 NodeInfo *next() {
364 // If members list
365 if (NGI != NGE) return *NGI++;
366 // Use node as the result (may be NULL)
367 NodeInfo *Result = NI;
368 // Only use once
369 NI = NULL;
370 // Return node or NULL
371 return Result;
372 }
373};
374//===----------------------------------------------------------------------===//
375
376
377//===----------------------------------------------------------------------===//
378///
379/// NodeGroupOpIterator - Iterates over all the operands of a node. If the node
380/// is a member of a group, this iterates over all the operands of all the
381/// members of the group.
382///
383class NodeGroupOpIterator {
384private:
385 NodeInfo *NI; // Node containing operands
386 NodeGroupIterator GI; // Node group iterator
387 SDNode::op_iterator OI; // Operand iterator
388 SDNode::op_iterator OE; // Operand iterator end
389
390 /// CheckNode - Test if node has more operands. If not get the next node
391 /// skipping over nodes that have no operands.
392 void CheckNode() {
393 // Only if operands are exhausted first
394 while (OI == OE) {
395 // Get next node info
396 NodeInfo *NI = GI.next();
397 // Exit if nodes are exhausted
398 if (!NI) return;
399 // Get node itself
400 SDNode *Node = NI->Node;
401 // Set up the operand iterators
402 OI = Node->op_begin();
403 OE = Node->op_end();
404 }
405 }
406
407public:
408 // Ctor.
Chris Lattner4012eb22005-11-08 21:54:57 +0000409 NodeGroupOpIterator(NodeInfo *N)
410 : NI(N), GI(N), OI(SDNode::op_iterator()), OE(SDNode::op_iterator()) {}
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000411
412 /// isEnd - Returns true when not more operands are available.
413 ///
414 inline bool isEnd() { CheckNode(); return OI == OE; }
415
416 /// next - Returns the next available operand.
417 ///
418 inline SDOperand next() {
419 assert(OI != OE && "Not checking for end of NodeGroupOpIterator correctly");
420 return *OI++;
421 }
422};
423//===----------------------------------------------------------------------===//
424
425
426//===----------------------------------------------------------------------===//
427///
428/// SimpleSched - Simple two pass scheduler.
429///
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000430class SimpleSched {
431private:
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000432 MachineBasicBlock *BB; // Current basic block
433 SelectionDAG &DAG; // DAG of the current basic block
434 const TargetMachine &TM; // Target processor
435 const TargetInstrInfo &TII; // Target instruction information
436 const MRegisterInfo &MRI; // Target processor register information
437 SSARegMap *RegMap; // Virtual/real register map
438 MachineConstantPool *ConstPool; // Target constant pool
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000439 unsigned NodeCount; // Number of nodes in DAG
Jim Laskey7d090f32005-11-04 04:05:35 +0000440 bool HasGroups; // True if there are any groups
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000441 NodeInfo *Info; // Info for nodes being scheduled
442 std::map<SDNode *, NodeInfo *> Map; // Map nodes to info
Jim Laskeyfab66f62005-10-12 18:29:35 +0000443 NIVector Ordering; // Emit ordering of nodes
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000444 ResourceTally<unsigned> Tally; // Resource usage tally
445 unsigned NSlots; // Total latency
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000446 static const unsigned NotFound = ~0U; // Search marker
447
448public:
449
450 // Ctor.
451 SimpleSched(SelectionDAG &D, MachineBasicBlock *bb)
452 : BB(bb), DAG(D), TM(D.getTarget()), TII(*TM.getInstrInfo()),
453 MRI(*TM.getRegisterInfo()), RegMap(BB->getParent()->getSSARegMap()),
454 ConstPool(BB->getParent()->getConstantPool()),
Jim Laskey7d090f32005-11-04 04:05:35 +0000455 NodeCount(0), HasGroups(false), Info(NULL), Map(), Tally(), NSlots(0) {
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000456 assert(&TII && "Target doesn't provide instr info?");
457 assert(&MRI && "Target doesn't provide register info?");
458 }
459
460 // Run - perform scheduling.
461 MachineBasicBlock *Run() {
462 Schedule();
463 return BB;
464 }
465
466private:
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000467 /// getNI - Returns the node info for the specified node.
468 ///
469 inline NodeInfo *getNI(SDNode *Node) { return Map[Node]; }
470
471 /// getVR - Returns the virtual register number of the node.
472 ///
473 inline unsigned getVR(SDOperand Op) {
474 NodeInfo *NI = getNI(Op.Val);
475 assert(NI->VRBase != 0 && "Node emitted out of order - late");
476 return NI->VRBase + Op.ResNo;
477 }
478
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000479 static bool isFlagDefiner(SDNode *A);
480 static bool isFlagUser(SDNode *A);
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000481 static bool isDefiner(NodeInfo *A, NodeInfo *B);
482 static bool isPassiveNode(SDNode *Node);
483 void IncludeNode(NodeInfo *NI);
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000484 void VisitAll();
485 void Schedule();
Jim Laskeyfab66f62005-10-12 18:29:35 +0000486 void IdentifyGroups();
487 void GatherSchedulingInfo();
Jim Laskey7d090f32005-11-04 04:05:35 +0000488 void FakeGroupDominators();
Jim Laskeyfab66f62005-10-12 18:29:35 +0000489 void PrepareNodeInfo();
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000490 bool isStrongDependency(NodeInfo *A, NodeInfo *B);
491 bool isWeakDependency(NodeInfo *A, NodeInfo *B);
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000492 void ScheduleBackward();
493 void ScheduleForward();
494 void EmitAll();
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000495 void EmitNode(NodeInfo *NI);
496 static unsigned CountResults(SDNode *Node);
497 static unsigned CountOperands(SDNode *Node);
498 unsigned CreateVirtualRegisters(MachineInstr *MI,
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000499 unsigned NumResults,
500 const TargetInstrDescriptor &II);
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000501
Jim Laskeyfab66f62005-10-12 18:29:35 +0000502 void printChanges(unsigned Index);
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000503 void printSI(std::ostream &O, NodeInfo *NI) const;
504 void print(std::ostream &O) const;
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000505 inline void dump(const char *tag) const { std::cerr << tag; dump(); }
506 void dump() const;
507};
Jim Laskey7d090f32005-11-04 04:05:35 +0000508
509
510//===----------------------------------------------------------------------===//
511/// Special case itineraries.
512///
513enum {
514 CallLatency = 40, // To push calls back in time
515
516 RSInteger = 0xC0000000, // Two integer units
517 RSFloat = 0x30000000, // Two float units
518 RSLoadStore = 0x0C000000, // Two load store units
519 RSBranch = 0x02000000 // One branch unit
520};
521static InstrStage CallStage = { CallLatency, RSBranch };
522static InstrStage LoadStage = { 5, RSLoadStore };
523static InstrStage StoreStage = { 2, RSLoadStore };
524static InstrStage IntStage = { 2, RSInteger };
525static InstrStage FloatStage = { 3, RSFloat };
526//===----------------------------------------------------------------------===//
527
528
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000529//===----------------------------------------------------------------------===//
530
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000531} // namespace
Jim Laskey41755e22005-10-01 00:03:07 +0000532
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000533//===----------------------------------------------------------------------===//
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000534
535
536//===----------------------------------------------------------------------===//
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000537/// Add - Adds a definer and user pair to a node group.
538///
539void NodeGroup::Add(NodeInfo *D, NodeInfo *U) {
540 // Get current groups
541 NodeGroup *DGroup = D->Group;
542 NodeGroup *UGroup = U->Group;
543 // If both are members of groups
544 if (DGroup && UGroup) {
545 // There may have been another edge connecting
546 if (DGroup == UGroup) return;
547 // Add the pending users count
548 DGroup->addPending(UGroup->getPending());
549 // For each member of the users group
550 NodeGroupIterator UNGI(U);
551 while (NodeInfo *UNI = UNGI.next() ) {
552 // Change the group
553 UNI->Group = DGroup;
554 // For each member of the definers group
555 NodeGroupIterator DNGI(D);
556 while (NodeInfo *DNI = DNGI.next() ) {
557 // Remove internal edges
558 DGroup->addPending(-CountInternalUses(DNI, UNI));
559 }
560 }
561 // Merge the two lists
Jim Laskey5a608dd2005-10-31 12:49:09 +0000562 DGroup->group_insert(DGroup->group_end(),
563 UGroup->group_begin(), UGroup->group_end());
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000564 } else if (DGroup) {
565 // Make user member of definers group
566 U->Group = DGroup;
567 // Add users uses to definers group pending
568 DGroup->addPending(U->Node->use_size());
569 // For each member of the definers group
570 NodeGroupIterator DNGI(D);
571 while (NodeInfo *DNI = DNGI.next() ) {
572 // Remove internal edges
573 DGroup->addPending(-CountInternalUses(DNI, U));
574 }
Jim Laskey5a608dd2005-10-31 12:49:09 +0000575 DGroup->group_push_back(U);
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000576 } else if (UGroup) {
577 // Make definer member of users group
578 D->Group = UGroup;
579 // Add definers uses to users group pending
580 UGroup->addPending(D->Node->use_size());
581 // For each member of the users group
582 NodeGroupIterator UNGI(U);
583 while (NodeInfo *UNI = UNGI.next() ) {
584 // Remove internal edges
585 UGroup->addPending(-CountInternalUses(D, UNI));
586 }
Jim Laskey5a608dd2005-10-31 12:49:09 +0000587 UGroup->group_insert(UGroup->group_begin(), D);
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000588 } else {
589 D->Group = U->Group = DGroup = new NodeGroup();
590 DGroup->addPending(D->Node->use_size() + U->Node->use_size() -
591 CountInternalUses(D, U));
Jim Laskey5a608dd2005-10-31 12:49:09 +0000592 DGroup->group_push_back(D);
593 DGroup->group_push_back(U);
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000594 }
595}
596
597/// CountInternalUses - Returns the number of edges between the two nodes.
598///
599unsigned NodeGroup::CountInternalUses(NodeInfo *D, NodeInfo *U) {
600 unsigned N = 0;
Jim Laskey5a608dd2005-10-31 12:49:09 +0000601 for (unsigned M = U->Node->getNumOperands(); 0 < M--;) {
602 SDOperand Op = U->Node->getOperand(M);
603 if (Op.Val == D->Node) N++;
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000604 }
Jim Laskey5a608dd2005-10-31 12:49:09 +0000605
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000606 return N;
607}
608//===----------------------------------------------------------------------===//
609
610
611//===----------------------------------------------------------------------===//
612/// isFlagDefiner - Returns true if the node defines a flag result.
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000613bool SimpleSched::isFlagDefiner(SDNode *A) {
614 unsigned N = A->getNumValues();
615 return N && A->getValueType(N - 1) == MVT::Flag;
Chris Lattner2d973e42005-08-18 20:07:59 +0000616}
617
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000618/// isFlagUser - Returns true if the node uses a flag result.
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000619///
620bool SimpleSched::isFlagUser(SDNode *A) {
621 unsigned N = A->getNumOperands();
622 return N && A->getOperand(N - 1).getValueType() == MVT::Flag;
623}
624
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000625/// isDefiner - Return true if node A is a definer for B.
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000626///
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000627bool SimpleSched::isDefiner(NodeInfo *A, NodeInfo *B) {
628 // While there are A nodes
629 NodeGroupIterator NII(A);
630 while (NodeInfo *NI = NII.next()) {
631 // Extract node
632 SDNode *Node = NI->Node;
633 // While there operands in nodes of B
634 NodeGroupOpIterator NGOI(B);
635 while (!NGOI.isEnd()) {
636 SDOperand Op = NGOI.next();
637 // If node from A defines a node in B
638 if (Node == Op.Val) return true;
639 }
Chris Lattner2d973e42005-08-18 20:07:59 +0000640 }
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000641 return false;
642}
643
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000644/// isPassiveNode - Return true if the node is a non-scheduled leaf.
645///
646bool SimpleSched::isPassiveNode(SDNode *Node) {
647 if (isa<ConstantSDNode>(Node)) return true;
648 if (isa<RegisterSDNode>(Node)) return true;
649 if (isa<GlobalAddressSDNode>(Node)) return true;
650 if (isa<BasicBlockSDNode>(Node)) return true;
651 if (isa<FrameIndexSDNode>(Node)) return true;
652 if (isa<ConstantPoolSDNode>(Node)) return true;
653 if (isa<ExternalSymbolSDNode>(Node)) return true;
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000654 return false;
655}
656
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000657/// IncludeNode - Add node to NodeInfo vector.
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000658///
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000659void SimpleSched::IncludeNode(NodeInfo *NI) {
Jim Laskey9022ed92005-12-18 03:59:21 +0000660 // Get node
661 SDNode *Node = NI->Node;
662 // Ignore entry node
663 if (Node->getOpcode() == ISD::EntryToken) return;
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000664 // Check current count for node
665 int Count = NI->getPending();
666 // If the node is already in list
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000667 if (Count < 0) return;
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000668 // Decrement count to indicate a visit
669 Count--;
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000670 // If count has gone to zero then add node to list
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000671 if (!Count) {
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000672 // Add node
673 if (NI->isInGroup()) {
Jim Laskey7d090f32005-11-04 04:05:35 +0000674 Ordering.push_back(NI->Group->getDominator());
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000675 } else {
676 Ordering.push_back(NI);
677 }
678 // indicate node has been added
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000679 Count--;
680 }
681 // Mark as visited with new count
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000682 NI->setPending(Count);
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000683}
684
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000685/// VisitAll - Visit each node breadth-wise to produce an initial ordering.
686/// Note that the ordering in the Nodes vector is reversed.
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000687void SimpleSched::VisitAll() {
688 // Add first element to list
Jim Laskeybd2b6212005-12-18 04:40:52 +0000689 NodeInfo *NI = getNI(DAG.getRoot().Val);
690 if (NI->isInGroup()) {
691 Ordering.push_back(NI->Group->getDominator());
692 } else {
693 Ordering.push_back(NI);
694 }
Jim Laskeye81aecb2005-12-21 20:51:37 +0000695
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000696 // Iterate through all nodes that have been added
697 for (unsigned i = 0; i < Ordering.size(); i++) { // note: size() varies
698 // Visit all operands
699 NodeGroupOpIterator NGI(Ordering[i]);
700 while (!NGI.isEnd()) {
701 // Get next operand
702 SDOperand Op = NGI.next();
703 // Get node
704 SDNode *Node = Op.Val;
705 // Ignore passive nodes
706 if (isPassiveNode(Node)) continue;
707 // Check out node
708 IncludeNode(getNI(Node));
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000709 }
710 }
711
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000712 // Add entry node last (IncludeNode filters entry nodes)
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000713 if (DAG.getEntryNode().Val != DAG.getRoot().Val)
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000714 Ordering.push_back(getNI(DAG.getEntryNode().Val));
715
Chris Lattnera5282d82005-12-18 01:03:46 +0000716 // Reverse the order
717 std::reverse(Ordering.begin(), Ordering.end());
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000718}
719
Jim Laskeyfab66f62005-10-12 18:29:35 +0000720/// IdentifyGroups - Put flagged nodes into groups.
721///
722void SimpleSched::IdentifyGroups() {
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000723 for (unsigned i = 0, N = NodeCount; i < N; i++) {
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000724 NodeInfo* NI = &Info[i];
Jim Laskeyfab66f62005-10-12 18:29:35 +0000725 SDNode *Node = NI->Node;
726
727 // For each operand (in reverse to only look at flags)
728 for (unsigned N = Node->getNumOperands(); 0 < N--;) {
729 // Get operand
730 SDOperand Op = Node->getOperand(N);
731 // No more flags to walk
732 if (Op.getValueType() != MVT::Flag) break;
733 // Add to node group
734 NodeGroup::Add(getNI(Op.Val), NI);
Jim Laskey7d090f32005-11-04 04:05:35 +0000735 // Let evryone else know
736 HasGroups = true;
Jim Laskeyfab66f62005-10-12 18:29:35 +0000737 }
738 }
739}
740
741/// GatherSchedulingInfo - Get latency and resource information about each node.
742///
743void SimpleSched::GatherSchedulingInfo() {
Jim Laskeya5e5bff2005-11-05 00:01:25 +0000744 // Get instruction itineraries for the target
Jim Laskey7d090f32005-11-04 04:05:35 +0000745 const InstrItineraryData InstrItins = TM.getInstrItineraryData();
Jim Laskey53c523c2005-10-13 16:44:00 +0000746
747 // For each node
Jim Laskeyfab66f62005-10-12 18:29:35 +0000748 for (unsigned i = 0, N = NodeCount; i < N; i++) {
Jim Laskey53c523c2005-10-13 16:44:00 +0000749 // Get node info
Jim Laskeyfab66f62005-10-12 18:29:35 +0000750 NodeInfo* NI = &Info[i];
751 SDNode *Node = NI->Node;
Jim Laskey53c523c2005-10-13 16:44:00 +0000752
Jim Laskey7d090f32005-11-04 04:05:35 +0000753 // If there are itineraries and it is a machine instruction
754 if (InstrItins.isEmpty() || ScheduleStyle == simpleNoItinScheduling) {
755 // If machine opcode
756 if (Node->isTargetOpcode()) {
757 // Get return type to guess which processing unit
758 MVT::ValueType VT = Node->getValueType(0);
759 // Get machine opcode
760 MachineOpCode TOpc = Node->getTargetOpcode();
761 NI->IsCall = TII.isCall(TOpc);
Jim Laskeyde48ee22005-12-19 16:30:13 +0000762 NI->IsLoad = TII.isLoad(TOpc);
763 NI->IsStore = TII.isStore(TOpc);
Jim Laskeyfab66f62005-10-12 18:29:35 +0000764
Jim Laskey7d090f32005-11-04 04:05:35 +0000765 if (TII.isLoad(TOpc)) NI->StageBegin = &LoadStage;
766 else if (TII.isStore(TOpc)) NI->StageBegin = &StoreStage;
767 else if (MVT::isInteger(VT)) NI->StageBegin = &IntStage;
768 else if (MVT::isFloatingPoint(VT)) NI->StageBegin = &FloatStage;
769 if (NI->StageBegin) NI->StageEnd = NI->StageBegin + 1;
770 }
771 } else if (Node->isTargetOpcode()) {
772 // get machine opcode
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000773 MachineOpCode TOpc = Node->getTargetOpcode();
Jim Laskey7d090f32005-11-04 04:05:35 +0000774 // Check to see if it is a call
775 NI->IsCall = TII.isCall(TOpc);
776 // Get itinerary stages for instruction
777 unsigned II = TII.getSchedClass(TOpc);
778 NI->StageBegin = InstrItins.begin(II);
779 NI->StageEnd = InstrItins.end(II);
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000780 }
781
Jim Laskey7d090f32005-11-04 04:05:35 +0000782 // One slot for the instruction itself
783 NI->Latency = 1;
784
785 // Add long latency for a call to push it back in time
786 if (NI->IsCall) NI->Latency += CallLatency;
787
788 // Sum up all the latencies
789 for (InstrStage *Stage = NI->StageBegin, *E = NI->StageEnd;
790 Stage != E; Stage++) {
791 NI->Latency += Stage->Cycles;
792 }
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000793
794 // Sum up all the latencies for max tally size
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000795 NSlots += NI->Latency;
796 }
Jim Laskey53c523c2005-10-13 16:44:00 +0000797
798 // Unify metrics if in a group
Jim Laskey7d090f32005-11-04 04:05:35 +0000799 if (HasGroups) {
Jim Laskey53c523c2005-10-13 16:44:00 +0000800 for (unsigned i = 0, N = NodeCount; i < N; i++) {
801 NodeInfo* NI = &Info[i];
802
Jim Laskey7d090f32005-11-04 04:05:35 +0000803 if (NI->isInGroup()) {
Jim Laskey53c523c2005-10-13 16:44:00 +0000804 NodeGroup *Group = NI->Group;
Jim Laskey53c523c2005-10-13 16:44:00 +0000805
Jim Laskey7d090f32005-11-04 04:05:35 +0000806 if (!Group->getDominator()) {
807 NIIterator NGI = Group->group_begin(), NGE = Group->group_end();
808 NodeInfo *Dominator = *NGI;
Jim Laskeya5e5bff2005-11-05 00:01:25 +0000809 unsigned Latency = 0;
Jim Laskey53c523c2005-10-13 16:44:00 +0000810
Jim Laskey7d090f32005-11-04 04:05:35 +0000811 for (NGI++; NGI != NGE; NGI++) {
812 NodeInfo* NGNI = *NGI;
813 Latency += NGNI->Latency;
814 if (Dominator->Latency < NGNI->Latency) Dominator = NGNI;
Jim Laskey53c523c2005-10-13 16:44:00 +0000815 }
816
Jim Laskey7d090f32005-11-04 04:05:35 +0000817 Dominator->Latency = Latency;
818 Group->setDominator(Dominator);
Jim Laskey53c523c2005-10-13 16:44:00 +0000819 }
Jim Laskey7d090f32005-11-04 04:05:35 +0000820 }
821 }
822 }
823}
824
825/// FakeGroupDominators - Set dominators for non-scheduling.
826///
827void SimpleSched::FakeGroupDominators() {
828 for (unsigned i = 0, N = NodeCount; i < N; i++) {
829 NodeInfo* NI = &Info[i];
830
831 if (NI->isInGroup()) {
832 NodeGroup *Group = NI->Group;
833
834 if (!Group->getDominator()) {
835 Group->setDominator(NI);
Jim Laskey53c523c2005-10-13 16:44:00 +0000836 }
837 }
838 }
Jim Laskeyfab66f62005-10-12 18:29:35 +0000839}
Jim Laskey41755e22005-10-01 00:03:07 +0000840
Jim Laskeyfab66f62005-10-12 18:29:35 +0000841/// PrepareNodeInfo - Set up the basic minimum node info for scheduling.
842///
843void SimpleSched::PrepareNodeInfo() {
844 // Allocate node information
845 Info = new NodeInfo[NodeCount];
Chris Lattnerde202b32005-11-09 23:47:37 +0000846
847 unsigned i = 0;
848 for (SelectionDAG::allnodes_iterator I = DAG.allnodes_begin(),
849 E = DAG.allnodes_end(); I != E; ++I, ++i) {
Jim Laskeyfab66f62005-10-12 18:29:35 +0000850 // Fast reference to node schedule info
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000851 NodeInfo* NI = &Info[i];
Jim Laskeyfab66f62005-10-12 18:29:35 +0000852 // Set up map
Chris Lattnerde202b32005-11-09 23:47:37 +0000853 Map[I] = NI;
Jim Laskeyfab66f62005-10-12 18:29:35 +0000854 // Set node
Chris Lattnerde202b32005-11-09 23:47:37 +0000855 NI->Node = I;
Jim Laskeyfab66f62005-10-12 18:29:35 +0000856 // Set pending visit count
Chris Lattnerde202b32005-11-09 23:47:37 +0000857 NI->setPending(I->use_size());
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000858 }
859}
860
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000861/// isStrongDependency - Return true if node A has results used by node B.
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000862/// I.E., B must wait for latency of A.
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000863bool SimpleSched::isStrongDependency(NodeInfo *A, NodeInfo *B) {
Jim Laskeyd8455822005-12-19 16:32:26 +0000864 // If A defines for B then it's a strong dependency or
865 // if a load follows a store (may be dependent but why take a chance.)
Jim Laskeyde48ee22005-12-19 16:30:13 +0000866 return isDefiner(A, B) || (A->IsStore && B->IsLoad);
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000867}
868
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000869/// isWeakDependency Return true if node A produces a result that will
Jim Laskey5a608dd2005-10-31 12:49:09 +0000870/// conflict with operands of B. It is assumed that we have called
871/// isStrongDependency prior.
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000872bool SimpleSched::isWeakDependency(NodeInfo *A, NodeInfo *B) {
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000873 // TODO check for conflicting real registers and aliases
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000874#if 0 // FIXME - Since we are in SSA form and not checking register aliasing
875 return A->Node->getOpcode() == ISD::EntryToken || isStrongDependency(B, A);
Jim Laskey5324fec2005-09-27 17:32:45 +0000876#else
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000877 return A->Node->getOpcode() == ISD::EntryToken;
Jim Laskey5324fec2005-09-27 17:32:45 +0000878#endif
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000879}
880
881/// ScheduleBackward - Schedule instructions so that any long latency
882/// instructions and the critical path get pushed back in time. Time is run in
883/// reverse to allow code reuse of the Tally and eliminate the overhead of
884/// biasing every slot indices against NSlots.
885void SimpleSched::ScheduleBackward() {
886 // Size and clear the resource tally
887 Tally.Initialize(NSlots);
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000888 // Get number of nodes to schedule
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000889 unsigned N = Ordering.size();
890
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000891 // For each node being scheduled
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000892 for (unsigned i = N; 0 < i--;) {
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000893 NodeInfo *NI = Ordering[i];
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000894 // Track insertion
895 unsigned Slot = NotFound;
896
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000897 // Compare against those previously scheduled nodes
Jeff Cohenfef80f42005-09-29 01:59:49 +0000898 unsigned j = i + 1;
899 for (; j < N; j++) {
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000900 // Get following instruction
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000901 NodeInfo *Other = Ordering[j];
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000902
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000903 // Check dependency against previously inserted nodes
904 if (isStrongDependency(NI, Other)) {
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000905 Slot = Other->Slot + Other->Latency;
906 break;
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000907 } else if (isWeakDependency(NI, Other)) {
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000908 Slot = Other->Slot;
909 break;
910 }
911 }
912
913 // If independent of others (or first entry)
914 if (Slot == NotFound) Slot = 0;
915
Jim Laskey26b91eb2005-11-07 19:08:53 +0000916#if 0 // FIXME - measure later
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000917 // Find a slot where the needed resources are available
Jim Laskey7d090f32005-11-04 04:05:35 +0000918 if (NI->StageBegin != NI->StageEnd)
919 Slot = Tally.FindAndReserve(Slot, NI->StageBegin, NI->StageEnd);
Jim Laskey26b91eb2005-11-07 19:08:53 +0000920#endif
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000921
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000922 // Set node slot
923 NI->Slot = Slot;
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000924
925 // Insert sort based on slot
Jeff Cohenfef80f42005-09-29 01:59:49 +0000926 j = i + 1;
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000927 for (; j < N; j++) {
928 // Get following instruction
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000929 NodeInfo *Other = Ordering[j];
Jim Laskeyfab66f62005-10-12 18:29:35 +0000930 // Should we look further (remember slots are in reverse time)
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000931 if (Slot >= Other->Slot) break;
932 // Shuffle other into ordering
933 Ordering[j - 1] = Other;
934 }
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000935 // Insert node in proper slot
936 if (j != i + 1) Ordering[j - 1] = NI;
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000937 }
938}
939
940/// ScheduleForward - Schedule instructions to maximize packing.
941///
942void SimpleSched::ScheduleForward() {
943 // Size and clear the resource tally
944 Tally.Initialize(NSlots);
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000945 // Get number of nodes to schedule
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000946 unsigned N = Ordering.size();
947
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000948 // For each node being scheduled
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000949 for (unsigned i = 0; i < N; i++) {
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000950 NodeInfo *NI = Ordering[i];
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000951 // Track insertion
952 unsigned Slot = NotFound;
953
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000954 // Compare against those previously scheduled nodes
Jeff Cohenfef80f42005-09-29 01:59:49 +0000955 unsigned j = i;
956 for (; 0 < j--;) {
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000957 // Get following instruction
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000958 NodeInfo *Other = Ordering[j];
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000959
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000960 // Check dependency against previously inserted nodes
961 if (isStrongDependency(Other, NI)) {
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000962 Slot = Other->Slot + Other->Latency;
963 break;
Jim Laskey53c523c2005-10-13 16:44:00 +0000964 } else if (Other->IsCall || isWeakDependency(Other, NI)) {
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000965 Slot = Other->Slot;
966 break;
967 }
968 }
969
970 // If independent of others (or first entry)
971 if (Slot == NotFound) Slot = 0;
972
973 // Find a slot where the needed resources are available
Jim Laskey7d090f32005-11-04 04:05:35 +0000974 if (NI->StageBegin != NI->StageEnd)
975 Slot = Tally.FindAndReserve(Slot, NI->StageBegin, NI->StageEnd);
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000976
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000977 // Set node slot
978 NI->Slot = Slot;
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000979
980 // Insert sort based on slot
Jeff Cohenfef80f42005-09-29 01:59:49 +0000981 j = i;
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000982 for (; 0 < j--;) {
Jim Laskeyfab66f62005-10-12 18:29:35 +0000983 // Get prior instruction
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000984 NodeInfo *Other = Ordering[j];
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000985 // Should we look further
986 if (Slot >= Other->Slot) break;
987 // Shuffle other into ordering
988 Ordering[j + 1] = Other;
989 }
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000990 // Insert node in proper slot
991 if (j != i) Ordering[j + 1] = NI;
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000992 }
993}
994
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000995/// EmitAll - Emit all nodes in schedule sorted order.
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000996///
997void SimpleSched::EmitAll() {
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +0000998 // For each node in the ordering
Jim Laskeye6b90fb2005-09-26 21:57:04 +0000999 for (unsigned i = 0, N = Ordering.size(); i < N; i++) {
1000 // Get the scheduling info
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +00001001 NodeInfo *NI = Ordering[i];
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +00001002 if (NI->isInGroup()) {
Jim Laskey9022ed92005-12-18 03:59:21 +00001003 NodeGroupIterator NGI(Ordering[i]);
1004 while (NodeInfo *NI = NGI.next()) EmitNode(NI);
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +00001005 } else {
1006 EmitNode(NI);
1007 }
Jim Laskeye6b90fb2005-09-26 21:57:04 +00001008 }
1009}
1010
1011/// CountResults - The results of target nodes have register or immediate
1012/// operands first, then an optional chain, and optional flag operands (which do
1013/// not go into the machine instrs.)
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +00001014unsigned SimpleSched::CountResults(SDNode *Node) {
1015 unsigned N = Node->getNumValues();
1016 while (N && Node->getValueType(N - 1) == MVT::Flag)
Jim Laskeye6b90fb2005-09-26 21:57:04 +00001017 --N;
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +00001018 if (N && Node->getValueType(N - 1) == MVT::Other)
Jim Laskeye6b90fb2005-09-26 21:57:04 +00001019 --N; // Skip over chain result.
1020 return N;
1021}
1022
1023/// CountOperands The inputs to target nodes have any actual inputs first,
1024/// followed by an optional chain operand, then flag operands. Compute the
1025/// number of actual operands that will go into the machine instr.
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +00001026unsigned SimpleSched::CountOperands(SDNode *Node) {
1027 unsigned N = Node->getNumOperands();
1028 while (N && Node->getOperand(N - 1).getValueType() == MVT::Flag)
Jim Laskeye6b90fb2005-09-26 21:57:04 +00001029 --N;
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +00001030 if (N && Node->getOperand(N - 1).getValueType() == MVT::Other)
Jim Laskeye6b90fb2005-09-26 21:57:04 +00001031 --N; // Ignore chain if it exists.
1032 return N;
1033}
1034
1035/// CreateVirtualRegisters - Add result register values for things that are
1036/// defined by this instruction.
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +00001037unsigned SimpleSched::CreateVirtualRegisters(MachineInstr *MI,
Jim Laskeye6b90fb2005-09-26 21:57:04 +00001038 unsigned NumResults,
1039 const TargetInstrDescriptor &II) {
1040 // Create the result registers for this node and add the result regs to
1041 // the machine instruction.
1042 const TargetOperandInfo *OpInfo = II.OpInfo;
1043 unsigned ResultReg = RegMap->createVirtualRegister(OpInfo[0].RegClass);
1044 MI->addRegOperand(ResultReg, MachineOperand::Def);
1045 for (unsigned i = 1; i != NumResults; ++i) {
1046 assert(OpInfo[i].RegClass && "Isn't a register operand!");
Chris Lattner505277a2005-10-01 07:45:09 +00001047 MI->addRegOperand(RegMap->createVirtualRegister(OpInfo[i].RegClass),
Jim Laskeye6b90fb2005-09-26 21:57:04 +00001048 MachineOperand::Def);
1049 }
1050 return ResultReg;
1051}
1052
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +00001053/// EmitNode - Generate machine code for an node and needed dependencies.
Jim Laskeye6b90fb2005-09-26 21:57:04 +00001054///
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +00001055void SimpleSched::EmitNode(NodeInfo *NI) {
1056 unsigned VRBase = 0; // First virtual register for node
1057 SDNode *Node = NI->Node;
Chris Lattner2d973e42005-08-18 20:07:59 +00001058
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +00001059 // If machine instruction
1060 if (Node->isTargetOpcode()) {
1061 unsigned Opc = Node->getTargetOpcode();
Chris Lattner2d973e42005-08-18 20:07:59 +00001062 const TargetInstrDescriptor &II = TII.get(Opc);
1063
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +00001064 unsigned NumResults = CountResults(Node);
1065 unsigned NodeOperands = CountOperands(Node);
Jim Laskeye6b90fb2005-09-26 21:57:04 +00001066 unsigned NumMIOperands = NodeOperands + NumResults;
Chris Lattnerda8abb02005-09-01 18:44:10 +00001067#ifndef NDEBUG
Chris Lattner14b392a2005-08-24 22:02:41 +00001068 assert((unsigned(II.numOperands) == NumMIOperands || II.numOperands == -1)&&
Chris Lattner2d973e42005-08-18 20:07:59 +00001069 "#operands for dag node doesn't match .td file!");
Chris Lattnerca6aa2f2005-08-19 01:01:34 +00001070#endif
Chris Lattner2d973e42005-08-18 20:07:59 +00001071
1072 // Create the new machine instruction.
Chris Lattner14b392a2005-08-24 22:02:41 +00001073 MachineInstr *MI = new MachineInstr(Opc, NumMIOperands, true, true);
Chris Lattner2d973e42005-08-18 20:07:59 +00001074
1075 // Add result register values for things that are defined by this
1076 // instruction.
Chris Lattnera4176522005-10-30 18:54:27 +00001077
1078 // If the node is only used by a CopyToReg and the dest reg is a vreg, use
1079 // the CopyToReg'd destination register instead of creating a new vreg.
1080 if (NumResults == 1) {
1081 for (SDNode::use_iterator UI = Node->use_begin(), E = Node->use_end();
1082 UI != E; ++UI) {
1083 SDNode *Use = *UI;
1084 if (Use->getOpcode() == ISD::CopyToReg &&
1085 Use->getOperand(2).Val == Node) {
1086 unsigned Reg = cast<RegisterSDNode>(Use->getOperand(1))->getReg();
1087 if (MRegisterInfo::isVirtualRegister(Reg)) {
1088 VRBase = Reg;
1089 MI->addRegOperand(Reg, MachineOperand::Def);
1090 break;
1091 }
1092 }
1093 }
1094 }
1095
1096 // Otherwise, create new virtual registers.
1097 if (NumResults && VRBase == 0)
1098 VRBase = CreateVirtualRegisters(MI, NumResults, II);
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +00001099
1100 // Emit all of the actual operands of this instruction, adding them to the
1101 // instruction as appropriate.
1102 for (unsigned i = 0; i != NodeOperands; ++i) {
1103 if (Node->getOperand(i).isTargetOpcode()) {
1104 // Note that this case is redundant with the final else block, but we
1105 // include it because it is the most common and it makes the logic
1106 // simpler here.
1107 assert(Node->getOperand(i).getValueType() != MVT::Other &&
1108 Node->getOperand(i).getValueType() != MVT::Flag &&
1109 "Chain and flag operands should occur at end of operand list!");
Chris Lattner505277a2005-10-01 07:45:09 +00001110
1111 // Get/emit the operand.
1112 unsigned VReg = getVR(Node->getOperand(i));
1113 MI->addRegOperand(VReg, MachineOperand::Use);
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +00001114
Chris Lattner505277a2005-10-01 07:45:09 +00001115 // Verify that it is right.
1116 assert(MRegisterInfo::isVirtualRegister(VReg) && "Not a vreg?");
1117 assert(II.OpInfo[i+NumResults].RegClass &&
1118 "Don't have operand info for this instruction!");
1119 assert(RegMap->getRegClass(VReg) == II.OpInfo[i+NumResults].RegClass &&
1120 "Register class of operand and regclass of use don't agree!");
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +00001121 } else if (ConstantSDNode *C =
1122 dyn_cast<ConstantSDNode>(Node->getOperand(i))) {
1123 MI->addZeroExtImm64Operand(C->getValue());
1124 } else if (RegisterSDNode*R =
1125 dyn_cast<RegisterSDNode>(Node->getOperand(i))) {
1126 MI->addRegOperand(R->getReg(), MachineOperand::Use);
1127 } else if (GlobalAddressSDNode *TGA =
1128 dyn_cast<GlobalAddressSDNode>(Node->getOperand(i))) {
Evan Cheng61ca74b2005-11-30 02:04:11 +00001129 MI->addGlobalAddressOperand(TGA->getGlobal(), false, TGA->getOffset());
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +00001130 } else if (BasicBlockSDNode *BB =
1131 dyn_cast<BasicBlockSDNode>(Node->getOperand(i))) {
1132 MI->addMachineBasicBlockOperand(BB->getBasicBlock());
1133 } else if (FrameIndexSDNode *FI =
1134 dyn_cast<FrameIndexSDNode>(Node->getOperand(i))) {
1135 MI->addFrameIndexOperand(FI->getIndex());
1136 } else if (ConstantPoolSDNode *CP =
1137 dyn_cast<ConstantPoolSDNode>(Node->getOperand(i))) {
1138 unsigned Idx = ConstPool->getConstantPoolIndex(CP->get());
1139 MI->addConstantPoolIndexOperand(Idx);
1140 } else if (ExternalSymbolSDNode *ES =
1141 dyn_cast<ExternalSymbolSDNode>(Node->getOperand(i))) {
1142 MI->addExternalSymbolOperand(ES->getSymbol(), false);
1143 } else {
1144 assert(Node->getOperand(i).getValueType() != MVT::Other &&
1145 Node->getOperand(i).getValueType() != MVT::Flag &&
1146 "Chain and flag operands should occur at end of operand list!");
Chris Lattner505277a2005-10-01 07:45:09 +00001147 unsigned VReg = getVR(Node->getOperand(i));
1148 MI->addRegOperand(VReg, MachineOperand::Use);
1149
1150 // Verify that it is right.
1151 assert(MRegisterInfo::isVirtualRegister(VReg) && "Not a vreg?");
1152 assert(II.OpInfo[i+NumResults].RegClass &&
1153 "Don't have operand info for this instruction!");
1154 assert(RegMap->getRegClass(VReg) == II.OpInfo[i+NumResults].RegClass &&
1155 "Register class of operand and regclass of use don't agree!");
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +00001156 }
1157 }
1158
1159 // Now that we have emitted all operands, emit this instruction itself.
1160 if ((II.Flags & M_USES_CUSTOM_DAG_SCHED_INSERTION) == 0) {
1161 BB->insert(BB->end(), MI);
1162 } else {
1163 // Insert this instruction into the end of the basic block, potentially
1164 // taking some custom action.
1165 BB = DAG.getTargetLoweringInfo().InsertAtEndOfBasicBlock(MI, BB);
1166 }
1167 } else {
1168 switch (Node->getOpcode()) {
1169 default:
1170 Node->dump();
1171 assert(0 && "This target-independent node should have been selected!");
1172 case ISD::EntryToken: // fall thru
1173 case ISD::TokenFactor:
1174 break;
1175 case ISD::CopyToReg: {
Chris Lattnera4176522005-10-30 18:54:27 +00001176 unsigned InReg = getVR(Node->getOperand(2));
1177 unsigned DestReg = cast<RegisterSDNode>(Node->getOperand(1))->getReg();
1178 if (InReg != DestReg) // Coallesced away the copy?
1179 MRI.copyRegToReg(*BB, BB->end(), DestReg, InReg,
1180 RegMap->getRegClass(InReg));
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +00001181 break;
1182 }
1183 case ISD::CopyFromReg: {
1184 unsigned SrcReg = cast<RegisterSDNode>(Node->getOperand(1))->getReg();
Chris Lattner089c25c2005-10-09 05:58:56 +00001185 if (MRegisterInfo::isVirtualRegister(SrcReg)) {
1186 VRBase = SrcReg; // Just use the input register directly!
1187 break;
1188 }
1189
Chris Lattnera4176522005-10-30 18:54:27 +00001190 // If the node is only used by a CopyToReg and the dest reg is a vreg, use
1191 // the CopyToReg'd destination register instead of creating a new vreg.
1192 for (SDNode::use_iterator UI = Node->use_begin(), E = Node->use_end();
1193 UI != E; ++UI) {
1194 SDNode *Use = *UI;
1195 if (Use->getOpcode() == ISD::CopyToReg &&
1196 Use->getOperand(2).Val == Node) {
1197 unsigned DestReg = cast<RegisterSDNode>(Use->getOperand(1))->getReg();
1198 if (MRegisterInfo::isVirtualRegister(DestReg)) {
1199 VRBase = DestReg;
1200 break;
1201 }
1202 }
1203 }
1204
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +00001205 // Figure out the register class to create for the destreg.
1206 const TargetRegisterClass *TRC = 0;
Chris Lattnera4176522005-10-30 18:54:27 +00001207 if (VRBase) {
1208 TRC = RegMap->getRegClass(VRBase);
1209 } else {
Chris Lattner089c25c2005-10-09 05:58:56 +00001210
Chris Lattnera4176522005-10-30 18:54:27 +00001211 // Pick the register class of the right type that contains this physreg.
1212 for (MRegisterInfo::regclass_iterator I = MRI.regclass_begin(),
1213 E = MRI.regclass_end(); I != E; ++I)
Nate Begeman6510b222005-12-01 04:51:06 +00001214 if ((*I)->hasType(Node->getValueType(0)) &&
Chris Lattnera4176522005-10-30 18:54:27 +00001215 (*I)->contains(SrcReg)) {
1216 TRC = *I;
1217 break;
1218 }
1219 assert(TRC && "Couldn't find register class for reg copy!");
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +00001220
Chris Lattnera4176522005-10-30 18:54:27 +00001221 // Create the reg, emit the copy.
1222 VRBase = RegMap->createVirtualRegister(TRC);
1223 }
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +00001224 MRI.copyRegToReg(*BB, BB->end(), VRBase, SrcReg, TRC);
1225 break;
1226 }
1227 }
1228 }
1229
1230 assert(NI->VRBase == 0 && "Node emitted out of order - early");
1231 NI->VRBase = VRBase;
1232}
1233
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +00001234/// Schedule - Order nodes according to selected style.
Jim Laskeye6b90fb2005-09-26 21:57:04 +00001235///
1236void SimpleSched::Schedule() {
Jim Laskeyfab66f62005-10-12 18:29:35 +00001237 // Number the nodes
Chris Lattnerde202b32005-11-09 23:47:37 +00001238 NodeCount = std::distance(DAG.allnodes_begin(), DAG.allnodes_end());
Jim Laskey7d090f32005-11-04 04:05:35 +00001239 // Test to see if scheduling should occur
1240 bool ShouldSchedule = NodeCount > 3 && ScheduleStyle != noScheduling;
1241 // Set up minimum info for scheduling
Jim Laskeyfab66f62005-10-12 18:29:35 +00001242 PrepareNodeInfo();
1243 // Construct node groups for flagged nodes
1244 IdentifyGroups();
Jim Laskey7d090f32005-11-04 04:05:35 +00001245
1246 // Don't waste time if is only entry and return
1247 if (ShouldSchedule) {
1248 // Get latency and resource requirements
1249 GatherSchedulingInfo();
1250 } else if (HasGroups) {
1251 // Make sure all the groups have dominators
1252 FakeGroupDominators();
1253 }
1254
Jim Laskeyfab66f62005-10-12 18:29:35 +00001255 // Breadth first walk of DAG
1256 VisitAll();
1257
1258#ifndef NDEBUG
1259 static unsigned Count = 0;
1260 Count++;
1261 for (unsigned i = 0, N = Ordering.size(); i < N; i++) {
1262 NodeInfo *NI = Ordering[i];
1263 NI->Preorder = i;
Jim Laskeye6b90fb2005-09-26 21:57:04 +00001264 }
Jim Laskeyfab66f62005-10-12 18:29:35 +00001265#endif
1266
1267 // Don't waste time if is only entry and return
Jim Laskey7d090f32005-11-04 04:05:35 +00001268 if (ShouldSchedule) {
Jim Laskeyfab66f62005-10-12 18:29:35 +00001269 // Push back long instructions and critical path
1270 ScheduleBackward();
1271
1272 // Pack instructions to maximize resource utilization
1273 ScheduleForward();
1274 }
1275
1276 DEBUG(printChanges(Count));
1277
1278 // Emit in scheduled order
1279 EmitAll();
1280}
1281
1282/// printChanges - Hilight changes in order caused by scheduling.
1283///
1284void SimpleSched::printChanges(unsigned Index) {
1285#ifndef NDEBUG
1286 // Get the ordered node count
1287 unsigned N = Ordering.size();
1288 // Determine if any changes
1289 unsigned i = 0;
1290 for (; i < N; i++) {
1291 NodeInfo *NI = Ordering[i];
1292 if (NI->Preorder != i) break;
1293 }
1294
1295 if (i < N) {
1296 std::cerr << Index << ". New Ordering\n";
1297
1298 for (i = 0; i < N; i++) {
1299 NodeInfo *NI = Ordering[i];
1300 std::cerr << " " << NI->Preorder << ". ";
1301 printSI(std::cerr, NI);
1302 std::cerr << "\n";
Jim Laskey7d090f32005-11-04 04:05:35 +00001303 if (NI->isGroupDominator()) {
Jim Laskeyfab66f62005-10-12 18:29:35 +00001304 NodeGroup *Group = NI->Group;
Jim Laskey5a608dd2005-10-31 12:49:09 +00001305 for (NIIterator NII = Group->group_begin(), E = Group->group_end();
Jim Laskeyfab66f62005-10-12 18:29:35 +00001306 NII != E; NII++) {
Jim Laskey53c523c2005-10-13 16:44:00 +00001307 std::cerr << " ";
Jim Laskeyfab66f62005-10-12 18:29:35 +00001308 printSI(std::cerr, *NII);
1309 std::cerr << "\n";
1310 }
1311 }
1312 }
1313 } else {
1314 std::cerr << Index << ". No Changes\n";
1315 }
1316#endif
Jim Laskeye6b90fb2005-09-26 21:57:04 +00001317}
Chris Lattner2d973e42005-08-18 20:07:59 +00001318
Jim Laskeye6b90fb2005-09-26 21:57:04 +00001319/// printSI - Print schedule info.
1320///
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +00001321void SimpleSched::printSI(std::ostream &O, NodeInfo *NI) const {
Jim Laskeye6b90fb2005-09-26 21:57:04 +00001322#ifndef NDEBUG
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +00001323 SDNode *Node = NI->Node;
Jim Laskeye6b90fb2005-09-26 21:57:04 +00001324 O << " "
Jim Laskeyfab66f62005-10-12 18:29:35 +00001325 << std::hex << Node << std::dec
Jim Laskeyb6d4c2c2005-09-30 19:15:27 +00001326 << ", Lat=" << NI->Latency
1327 << ", Slot=" << NI->Slot
1328 << ", ARITY=(" << Node->getNumOperands() << ","
1329 << Node->getNumValues() << ")"
1330 << " " << Node->getOperationName(&DAG);
1331 if (isFlagDefiner(Node)) O << "<#";
1332 if (isFlagUser(Node)) O << ">#";
Jim Laskeye6b90fb2005-09-26 21:57:04 +00001333#endif
1334}
1335
1336/// print - Print ordering to specified output stream.
1337///
1338void SimpleSched::print(std::ostream &O) const {
1339#ifndef NDEBUG
1340 using namespace std;
1341 O << "Ordering\n";
1342 for (unsigned i = 0, N = Ordering.size(); i < N; i++) {
Jim Laskey41755e22005-10-01 00:03:07 +00001343 NodeInfo *NI = Ordering[i];
1344 printSI(O, NI);
Jim Laskeye6b90fb2005-09-26 21:57:04 +00001345 O << "\n";
Jim Laskey7d090f32005-11-04 04:05:35 +00001346 if (NI->isGroupDominator()) {
Jim Laskey41755e22005-10-01 00:03:07 +00001347 NodeGroup *Group = NI->Group;
Jim Laskey5a608dd2005-10-31 12:49:09 +00001348 for (NIIterator NII = Group->group_begin(), E = Group->group_end();
Jim Laskey41755e22005-10-01 00:03:07 +00001349 NII != E; NII++) {
1350 O << " ";
1351 printSI(O, *NII);
1352 O << "\n";
1353 }
1354 }
Jim Laskeye6b90fb2005-09-26 21:57:04 +00001355 }
1356#endif
1357}
1358
1359/// dump - Print ordering to std::cerr.
1360///
1361void SimpleSched::dump() const {
1362 print(std::cerr);
1363}
1364//===----------------------------------------------------------------------===//
1365
1366
1367//===----------------------------------------------------------------------===//
1368/// ScheduleAndEmitDAG - Pick a safe ordering and emit instructions for each
1369/// target node in the graph.
Chris Lattnerd32b2362005-08-18 18:45:24 +00001370void SelectionDAGISel::ScheduleAndEmitDAG(SelectionDAG &SD) {
Chris Lattner068ca152005-08-18 20:11:49 +00001371 if (ViewDAGs) SD.viewGraph();
Chris Lattner620c93c2005-08-27 00:58:02 +00001372 BB = SimpleSched(SD, BB).Run();
Chris Lattnerd32b2362005-08-18 18:45:24 +00001373}