blob: 9ed6cb9e474e527010ad0947c3e9e8abed8dc33f [file] [log] [blame]
Vikram S. Advefe30f1f2001-09-18 12:52:03 +00001// $Id$ -*-C++-*-
2//***************************************************************************
3// File:
4// SchedPriorities.h
5//
6// Purpose:
7// Encapsulate heuristics for instruction scheduling.
8//
9// Strategy:
10// Priority ordering rules:
11// (1) Max delay, which is the order of the heap S.candsAsHeap.
12// (2) Instruction that frees up a register.
13// (3) Instruction that has the maximum number of dependent instructions.
14// Note that rules 2 and 3 are only used if issue conflicts prevent
15// choosing a higher priority instruction by rule 1.
16//
17// History:
18// 7/30/01 - Vikram Adve - Created
19//**************************************************************************/
Vikram S. Adve37866b32001-08-28 23:06:49 +000020
Chris Lattner46cbff62001-09-14 16:56:32 +000021#include "SchedPriorities.h"
Chris Lattner9adb7ad2002-02-04 20:02:16 +000022#include "llvm/Analysis/LiveVar/MethodLiveVarInfo.h"
Chris Lattnercee8f9a2001-11-27 00:03:19 +000023#include "Support/PostOrderIterator.h"
Chris Lattner697954c2002-01-20 22:54:45 +000024#include <iostream>
25using std::cerr;
Vikram S. Adve37866b32001-08-28 23:06:49 +000026
Chris Lattner9adb7ad2002-02-04 20:02:16 +000027SchedPriorities::SchedPriorities(const Method *method, const SchedGraph *G,
28 MethodLiveVarInfo &LVI)
29 : curTime(0), graph(G), methodLiveVarInfo(LVI),
30 nodeDelayVec(G->getNumNodes(), INVALID_LATENCY), // make errors obvious
31 earliestForNode(G->getNumNodes(), 0),
Vikram S. Adve37866b32001-08-28 23:06:49 +000032 earliestReadyTime(0),
Chris Lattner9adb7ad2002-02-04 20:02:16 +000033 nextToTry(candsAsHeap.begin()) {
Vikram S. Adve37866b32001-08-28 23:06:49 +000034 computeDelays(graph);
35}
36
37
38void
39SchedPriorities::initialize()
40{
41 initializeReadyHeap(graph);
42}
43
44
45void
46SchedPriorities::computeDelays(const SchedGraph* graph)
47{
Chris Lattner3ff43872001-09-28 22:56:31 +000048 po_iterator<const SchedGraph*> poIter = po_begin(graph), poEnd =po_end(graph);
Vikram S. Adve37866b32001-08-28 23:06:49 +000049 for ( ; poIter != poEnd; ++poIter)
50 {
51 const SchedGraphNode* node = *poIter;
52 cycles_t nodeDelay;
53 if (node->beginOutEdges() == node->endOutEdges())
54 nodeDelay = node->getLatency();
55 else
56 {
57 // Iterate over the out-edges of the node to compute delay
58 nodeDelay = 0;
59 for (SchedGraphNode::const_iterator E=node->beginOutEdges();
60 E != node->endOutEdges(); ++E)
61 {
62 cycles_t sinkDelay = getNodeDelayRef((*E)->getSink());
Chris Lattner697954c2002-01-20 22:54:45 +000063 nodeDelay = std::max(nodeDelay, sinkDelay + (*E)->getMinDelay());
Vikram S. Adve37866b32001-08-28 23:06:49 +000064 }
65 }
66 getNodeDelayRef(node) = nodeDelay;
67 }
68}
69
70
71void
72SchedPriorities::initializeReadyHeap(const SchedGraph* graph)
73{
74 const SchedGraphNode* graphRoot = graph->getRoot();
75 assert(graphRoot->getMachineInstr() == NULL && "Expect dummy root");
76
77 // Insert immediate successors of dummy root, which are the actual roots
78 sg_succ_const_iterator SEnd = succ_end(graphRoot);
79 for (sg_succ_const_iterator S = succ_begin(graphRoot); S != SEnd; ++S)
80 this->insertReady(*S);
81
82#undef TEST_HEAP_CONVERSION
83#ifdef TEST_HEAP_CONVERSION
Chris Lattner697954c2002-01-20 22:54:45 +000084 cerr << "Before heap conversion:\n";
Vikram S. Adve37866b32001-08-28 23:06:49 +000085 copy(candsAsHeap.begin(), candsAsHeap.end(),
Chris Lattner697954c2002-01-20 22:54:45 +000086 ostream_iterator<NodeDelayPair*>(cerr,"\n"));
Vikram S. Adve37866b32001-08-28 23:06:49 +000087#endif
88
89 candsAsHeap.makeHeap();
90
91#ifdef TEST_HEAP_CONVERSION
Chris Lattner697954c2002-01-20 22:54:45 +000092 cerr << "After heap conversion:\n";
Vikram S. Adve37866b32001-08-28 23:06:49 +000093 copy(candsAsHeap.begin(), candsAsHeap.end(),
Chris Lattner697954c2002-01-20 22:54:45 +000094 ostream_iterator<NodeDelayPair*>(cerr,"\n"));
Vikram S. Adve37866b32001-08-28 23:06:49 +000095#endif
96}
97
Chris Lattner697954c2002-01-20 22:54:45 +000098void
99SchedPriorities::insertReady(const SchedGraphNode* node)
100{
101 candsAsHeap.insert(node, nodeDelayVec[node->getNodeId()]);
102 candsAsSet.insert(node);
103 mcands.clear(); // ensure reset choices is called before any more choices
104 earliestReadyTime = std::min(earliestReadyTime,
105 earliestForNode[node->getNodeId()]);
106
107 if (SchedDebugLevel >= Sched_PrintSchedTrace)
108 {
109 cerr << " Cycle " << (long)getTime() << ": "
110 << " Node " << node->getNodeId() << " is ready; "
111 << " Delay = " << (long)getNodeDelayRef(node) << "; Instruction: \n";
112 cerr << " " << *node->getMachineInstr() << "\n";
113 }
114}
Vikram S. Adve37866b32001-08-28 23:06:49 +0000115
116void
117SchedPriorities::issuedReadyNodeAt(cycles_t curTime,
118 const SchedGraphNode* node)
119{
120 candsAsHeap.removeNode(node);
121 candsAsSet.erase(node);
122 mcands.clear(); // ensure reset choices is called before any more choices
123
124 if (earliestReadyTime == getEarliestForNodeRef(node))
125 {// earliestReadyTime may have been due to this node, so recompute it
126 earliestReadyTime = HUGE_LATENCY;
127 for (NodeHeap::const_iterator I=candsAsHeap.begin();
128 I != candsAsHeap.end(); ++I)
129 if (candsAsHeap.getNode(I))
Chris Lattner697954c2002-01-20 22:54:45 +0000130 earliestReadyTime = std::min(earliestReadyTime,
Vikram S. Adve37866b32001-08-28 23:06:49 +0000131 getEarliestForNodeRef(candsAsHeap.getNode(I)));
132 }
133
134 // Now update ready times for successors
135 for (SchedGraphNode::const_iterator E=node->beginOutEdges();
136 E != node->endOutEdges(); ++E)
137 {
138 cycles_t& etime = getEarliestForNodeRef((*E)->getSink());
Chris Lattner697954c2002-01-20 22:54:45 +0000139 etime = std::max(etime, curTime + (*E)->getMinDelay());
Vikram S. Adve37866b32001-08-28 23:06:49 +0000140 }
141}
142
143
144//----------------------------------------------------------------------
145// Priority ordering rules:
146// (1) Max delay, which is the order of the heap S.candsAsHeap.
147// (2) Instruction that frees up a register.
148// (3) Instruction that has the maximum number of dependent instructions.
149// Note that rules 2 and 3 are only used if issue conflicts prevent
150// choosing a higher priority instruction by rule 1.
151//----------------------------------------------------------------------
152
153inline int
Chris Lattner697954c2002-01-20 22:54:45 +0000154SchedPriorities::chooseByRule1(std::vector<candIndex>& mcands)
Vikram S. Adve37866b32001-08-28 23:06:49 +0000155{
156 return (mcands.size() == 1)? 0 // only one choice exists so take it
157 : -1; // -1 indicates multiple choices
158}
159
160inline int
Chris Lattner697954c2002-01-20 22:54:45 +0000161SchedPriorities::chooseByRule2(std::vector<candIndex>& mcands)
Vikram S. Adve37866b32001-08-28 23:06:49 +0000162{
163 assert(mcands.size() >= 1 && "Should have at least one candidate here.");
164 for (unsigned i=0, N = mcands.size(); i < N; i++)
165 if (instructionHasLastUse(methodLiveVarInfo,
166 candsAsHeap.getNode(mcands[i])))
167 return i;
168 return -1;
169}
170
171inline int
Chris Lattner697954c2002-01-20 22:54:45 +0000172SchedPriorities::chooseByRule3(std::vector<candIndex>& mcands)
Vikram S. Adve37866b32001-08-28 23:06:49 +0000173{
174 assert(mcands.size() >= 1 && "Should have at least one candidate here.");
175 int maxUses = candsAsHeap.getNode(mcands[0])->getNumOutEdges();
176 int indexWithMaxUses = 0;
177 for (unsigned i=1, N = mcands.size(); i < N; i++)
178 {
179 int numUses = candsAsHeap.getNode(mcands[i])->getNumOutEdges();
180 if (numUses > maxUses)
181 {
182 maxUses = numUses;
183 indexWithMaxUses = i;
184 }
185 }
186 return indexWithMaxUses;
187}
188
189const SchedGraphNode*
190SchedPriorities::getNextHighest(const SchedulingManager& S,
191 cycles_t curTime)
192{
193 int nextIdx = -1;
194 const SchedGraphNode* nextChoice = NULL;
195
196 if (mcands.size() == 0)
197 findSetWithMaxDelay(mcands, S);
198
199 while (nextIdx < 0 && mcands.size() > 0)
200 {
201 nextIdx = chooseByRule1(mcands); // rule 1
202
203 if (nextIdx == -1)
204 nextIdx = chooseByRule2(mcands); // rule 2
205
206 if (nextIdx == -1)
207 nextIdx = chooseByRule3(mcands); // rule 3
208
209 if (nextIdx == -1)
210 nextIdx = 0; // default to first choice by delays
211
212 // We have found the next best candidate. Check if it ready in
213 // the current cycle, and if it is feasible.
214 // If not, remove it from mcands and continue. Refill mcands if
215 // it becomes empty.
216 nextChoice = candsAsHeap.getNode(mcands[nextIdx]);
217 if (getEarliestForNodeRef(nextChoice) > curTime
Chris Lattner15dedbc2001-09-07 21:22:28 +0000218 || ! instrIsFeasible(S, nextChoice->getMachineInstr()->getOpCode()))
Vikram S. Adve37866b32001-08-28 23:06:49 +0000219 {
220 mcands.erase(mcands.begin() + nextIdx);
221 nextIdx = -1;
222 if (mcands.size() == 0)
223 findSetWithMaxDelay(mcands, S);
224 }
225 }
226
227 if (nextIdx >= 0)
228 {
229 mcands.erase(mcands.begin() + nextIdx);
230 return nextChoice;
231 }
232 else
233 return NULL;
234}
235
236
237void
Chris Lattner697954c2002-01-20 22:54:45 +0000238SchedPriorities::findSetWithMaxDelay(std::vector<candIndex>& mcands,
Vikram S. Adve37866b32001-08-28 23:06:49 +0000239 const SchedulingManager& S)
240{
241 if (mcands.size() == 0 && nextToTry != candsAsHeap.end())
242 { // out of choices at current maximum delay;
243 // put nodes with next highest delay in mcands
244 candIndex next = nextToTry;
245 cycles_t maxDelay = candsAsHeap.getDelay(next);
246 for (; next != candsAsHeap.end()
247 && candsAsHeap.getDelay(next) == maxDelay; ++next)
248 mcands.push_back(next);
249
250 nextToTry = next;
251
252 if (SchedDebugLevel >= Sched_PrintSchedTrace)
253 {
Chris Lattner697954c2002-01-20 22:54:45 +0000254 cerr << " Cycle " << (long)getTime() << ": "
255 << "Next highest delay = " << (long)maxDelay << " : "
Vikram S. Adve37866b32001-08-28 23:06:49 +0000256 << mcands.size() << " Nodes with this delay: ";
257 for (unsigned i=0; i < mcands.size(); i++)
Chris Lattner697954c2002-01-20 22:54:45 +0000258 cerr << candsAsHeap.getNode(mcands[i])->getNodeId() << ", ";
259 cerr << "\n";
Vikram S. Adve37866b32001-08-28 23:06:49 +0000260 }
261 }
262}
263
264
265bool
266SchedPriorities::instructionHasLastUse(MethodLiveVarInfo& methodLiveVarInfo,
267 const SchedGraphNode* graphNode)
268{
269 const MachineInstr* minstr = graphNode->getMachineInstr();
270
Chris Lattner697954c2002-01-20 22:54:45 +0000271 std::hash_map<const MachineInstr*, bool>::const_iterator
Vikram S. Adve37866b32001-08-28 23:06:49 +0000272 ui = lastUseMap.find(minstr);
273 if (ui != lastUseMap.end())
Chris Lattner697954c2002-01-20 22:54:45 +0000274 return ui->second;
Vikram S. Adve37866b32001-08-28 23:06:49 +0000275
276 // else check if instruction is a last use and save it in the hash_map
277 bool hasLastUse = false;
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000278 const BasicBlock* bb = graphNode->getBB();
Vikram S. Adve37866b32001-08-28 23:06:49 +0000279 const LiveVarSet* liveVars =
280 methodLiveVarInfo.getLiveVarSetBeforeMInst(minstr, bb);
281
Chris Lattner7a176752001-12-04 00:03:30 +0000282 for (MachineInstr::val_const_op_iterator vo(minstr); ! vo.done(); ++vo)
Vikram S. Adve37866b32001-08-28 23:06:49 +0000283 if (liveVars->find(*vo) == liveVars->end())
284 {
285 hasLastUse = true;
286 break;
287 }
288
289 lastUseMap[minstr] = hasLastUse;
290 return hasLastUse;
291}
292