blob: 11c627af58e2bdab274d86e4cb9cb88e963edf1d [file] [log] [blame]
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +00001//===- SchedGraph.cpp - Scheduling Graph Implementation -------------------===//
2//
3// Scheduling graph based on SSA graph plus extra dependence edges capturing
4// dependences due to machine resources (machine registers, CC registers, and
5// any others).
6//
7//===----------------------------------------------------------------------===//
Vikram S. Adve78ef1392001-08-28 23:06:02 +00008
Chris Lattner46cbff62001-09-14 16:56:32 +00009#include "SchedGraph.h"
Vikram S. Adve85b46d62001-10-17 23:53:16 +000010#include "llvm/CodeGen/InstrSelection.h"
Chris Lattner0861b0c2002-02-03 07:29:45 +000011#include "llvm/CodeGen/MachineCodeForInstruction.h"
Vikram S. Adve0baf1c02002-07-08 22:59:23 +000012#include "llvm/CodeGen/MachineCodeForBasicBlock.h"
Vikram S. Adve8b6d2452001-09-18 12:50:40 +000013#include "llvm/Target/MachineRegInfo.h"
Chris Lattner0861b0c2002-02-03 07:29:45 +000014#include "llvm/Target/TargetMachine.h"
Chris Lattner2fbfdcf2002-04-07 20:49:59 +000015#include "llvm/Function.h"
Chris Lattnerb00c5822001-10-02 03:41:24 +000016#include "llvm/iOther.h"
Chris Lattnercee8f9a2001-11-27 00:03:19 +000017#include "Support/StringExtras.h"
Chris Lattner697954c2002-01-20 22:54:45 +000018#include "Support/STLExtras.h"
Vikram S. Adve78ef1392001-08-28 23:06:02 +000019
Chris Lattner697954c2002-01-20 22:54:45 +000020using std::vector;
21using std::pair;
Chris Lattner697954c2002-01-20 22:54:45 +000022using std::cerr;
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000023
24//*********************** Internal Data Structures *************************/
25
Vikram S. Advec352d2c2001-11-05 04:04:23 +000026// The following two types need to be classes, not typedefs, so we can use
27// opaque declarations in SchedGraph.h
28//
29struct RefVec: public vector< pair<SchedGraphNode*, int> > {
30 typedef vector< pair<SchedGraphNode*, int> >:: iterator iterator;
31 typedef vector< pair<SchedGraphNode*, int> >::const_iterator const_iterator;
32};
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000033
Chris Lattner80c685f2001-10-13 06:51:01 +000034struct RegToRefVecMap: public hash_map<int, RefVec> {
Vikram S. Advec352d2c2001-11-05 04:04:23 +000035 typedef hash_map<int, RefVec>:: iterator iterator;
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000036 typedef hash_map<int, RefVec>::const_iterator const_iterator;
37};
38
Vikram S. Advec352d2c2001-11-05 04:04:23 +000039struct ValueToDefVecMap: public hash_map<const Instruction*, RefVec> {
40 typedef hash_map<const Instruction*, RefVec>:: iterator iterator;
41 typedef hash_map<const Instruction*, RefVec>::const_iterator const_iterator;
42};
43
Vikram S. Adve78ef1392001-08-28 23:06:02 +000044//
45// class SchedGraphEdge
46//
47
48/*ctor*/
49SchedGraphEdge::SchedGraphEdge(SchedGraphNode* _src,
50 SchedGraphNode* _sink,
51 SchedGraphEdgeDepType _depType,
Vikram S. Advea93bbac2001-10-28 21:43:33 +000052 unsigned int _depOrderType,
Vikram S. Adve78ef1392001-08-28 23:06:02 +000053 int _minDelay)
54 : src(_src),
55 sink(_sink),
56 depType(_depType),
57 depOrderType(_depOrderType),
Chris Lattner80c685f2001-10-13 06:51:01 +000058 minDelay((_minDelay >= 0)? _minDelay : _src->getLatency()),
59 val(NULL)
Vikram S. Adve78ef1392001-08-28 23:06:02 +000060{
Vikram S. Adve200a4352001-11-12 18:53:43 +000061 assert(src != sink && "Self-loop in scheduling graph!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +000062 src->addOutEdge(this);
63 sink->addInEdge(this);
64}
65
66
67/*ctor*/
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000068SchedGraphEdge::SchedGraphEdge(SchedGraphNode* _src,
69 SchedGraphNode* _sink,
70 const Value* _val,
Vikram S. Advea93bbac2001-10-28 21:43:33 +000071 unsigned int _depOrderType,
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000072 int _minDelay)
Vikram S. Adve78ef1392001-08-28 23:06:02 +000073 : src(_src),
74 sink(_sink),
Vikram S. Adve200a4352001-11-12 18:53:43 +000075 depType(ValueDep),
Vikram S. Adve78ef1392001-08-28 23:06:02 +000076 depOrderType(_depOrderType),
Chris Lattner80c685f2001-10-13 06:51:01 +000077 minDelay((_minDelay >= 0)? _minDelay : _src->getLatency()),
78 val(_val)
Vikram S. Adve78ef1392001-08-28 23:06:02 +000079{
Vikram S. Adve200a4352001-11-12 18:53:43 +000080 assert(src != sink && "Self-loop in scheduling graph!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +000081 src->addOutEdge(this);
82 sink->addInEdge(this);
83}
84
85
86/*ctor*/
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000087SchedGraphEdge::SchedGraphEdge(SchedGraphNode* _src,
88 SchedGraphNode* _sink,
89 unsigned int _regNum,
Vikram S. Advea93bbac2001-10-28 21:43:33 +000090 unsigned int _depOrderType,
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000091 int _minDelay)
Vikram S. Adve78ef1392001-08-28 23:06:02 +000092 : src(_src),
93 sink(_sink),
94 depType(MachineRegister),
95 depOrderType(_depOrderType),
96 minDelay((_minDelay >= 0)? _minDelay : _src->getLatency()),
97 machineRegNum(_regNum)
98{
Vikram S. Adve200a4352001-11-12 18:53:43 +000099 assert(src != sink && "Self-loop in scheduling graph!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000100 src->addOutEdge(this);
101 sink->addInEdge(this);
102}
103
104
105/*ctor*/
106SchedGraphEdge::SchedGraphEdge(SchedGraphNode* _src,
107 SchedGraphNode* _sink,
108 ResourceId _resourceId,
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000109 int _minDelay)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000110 : src(_src),
111 sink(_sink),
112 depType(MachineResource),
113 depOrderType(NonDataDep),
114 minDelay((_minDelay >= 0)? _minDelay : _src->getLatency()),
115 resourceId(_resourceId)
116{
Vikram S. Adve200a4352001-11-12 18:53:43 +0000117 assert(src != sink && "Self-loop in scheduling graph!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000118 src->addOutEdge(this);
119 sink->addInEdge(this);
120}
121
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000122/*dtor*/
123SchedGraphEdge::~SchedGraphEdge()
124{
125}
126
Chris Lattner0c0edf82002-07-25 06:17:51 +0000127void SchedGraphEdge::dump(int indent) const {
Chris Lattner697954c2002-01-20 22:54:45 +0000128 cerr << std::string(indent*2, ' ') << *this;
Chris Lattnerc83e9542001-09-07 21:21:03 +0000129}
130
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000131
132//
133// class SchedGraphNode
134//
135
136/*ctor*/
137SchedGraphNode::SchedGraphNode(unsigned int _nodeId,
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000138 const BasicBlock* _bb,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000139 const MachineInstr* _minstr,
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000140 int indexInBB,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000141 const TargetMachine& target)
142 : nodeId(_nodeId),
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000143 bb(_bb),
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000144 minstr(_minstr),
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000145 origIndexInBB(indexInBB),
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000146 latency(0)
147{
148 if (minstr)
149 {
150 MachineOpCode mopCode = minstr->getOpCode();
151 latency = target.getInstrInfo().hasResultInterlock(mopCode)
152 ? target.getInstrInfo().minLatency(mopCode)
153 : target.getInstrInfo().maxLatency(mopCode);
154 }
155}
156
157
158/*dtor*/
159SchedGraphNode::~SchedGraphNode()
160{
Chris Lattnerf3dd05c2002-04-09 05:15:33 +0000161 // for each node, delete its out-edges
162 std::for_each(beginOutEdges(), endOutEdges(),
163 deleter<SchedGraphEdge>);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000164}
165
Chris Lattner0c0edf82002-07-25 06:17:51 +0000166void SchedGraphNode::dump(int indent) const {
Chris Lattner697954c2002-01-20 22:54:45 +0000167 cerr << std::string(indent*2, ' ') << *this;
Chris Lattnerc83e9542001-09-07 21:21:03 +0000168}
169
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000170
171inline void
172SchedGraphNode::addInEdge(SchedGraphEdge* edge)
173{
174 inEdges.push_back(edge);
175}
176
177
178inline void
179SchedGraphNode::addOutEdge(SchedGraphEdge* edge)
180{
181 outEdges.push_back(edge);
182}
183
184inline void
185SchedGraphNode::removeInEdge(const SchedGraphEdge* edge)
186{
187 assert(edge->getSink() == this);
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000188
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000189 for (iterator I = beginInEdges(); I != endInEdges(); ++I)
190 if ((*I) == edge)
191 {
192 inEdges.erase(I);
193 break;
194 }
195}
196
197inline void
198SchedGraphNode::removeOutEdge(const SchedGraphEdge* edge)
199{
200 assert(edge->getSrc() == this);
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000201
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000202 for (iterator I = beginOutEdges(); I != endOutEdges(); ++I)
203 if ((*I) == edge)
204 {
205 outEdges.erase(I);
206 break;
207 }
208}
209
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000210
211//
212// class SchedGraph
213//
214
215
216/*ctor*/
217SchedGraph::SchedGraph(const BasicBlock* bb,
218 const TargetMachine& target)
219{
220 bbVec.push_back(bb);
Chris Lattner697954c2002-01-20 22:54:45 +0000221 buildGraph(target);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000222}
223
224
225/*dtor*/
226SchedGraph::~SchedGraph()
227{
Chris Lattner697954c2002-01-20 22:54:45 +0000228 for (const_iterator I = begin(); I != end(); ++I)
Chris Lattnerf3dd05c2002-04-09 05:15:33 +0000229 delete I->second;
230 delete graphRoot;
231 delete graphLeaf;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000232}
233
234
235void
236SchedGraph::dump() const
237{
Chris Lattner697954c2002-01-20 22:54:45 +0000238 cerr << " Sched Graph for Basic Blocks: ";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000239 for (unsigned i=0, N=bbVec.size(); i < N; i++)
240 {
Chris Lattner697954c2002-01-20 22:54:45 +0000241 cerr << (bbVec[i]->hasName()? bbVec[i]->getName() : "block")
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000242 << " (" << bbVec[i] << ")"
243 << ((i == N-1)? "" : ", ");
244 }
245
Chris Lattner697954c2002-01-20 22:54:45 +0000246 cerr << "\n\n Actual Root nodes : ";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000247 for (unsigned i=0, N=graphRoot->outEdges.size(); i < N; i++)
Chris Lattner697954c2002-01-20 22:54:45 +0000248 cerr << graphRoot->outEdges[i]->getSink()->getNodeId()
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000249 << ((i == N-1)? "" : ", ");
250
Chris Lattner697954c2002-01-20 22:54:45 +0000251 cerr << "\n Graph Nodes:\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000252 for (const_iterator I=begin(); I != end(); ++I)
Chris Lattner697954c2002-01-20 22:54:45 +0000253 cerr << "\n" << *I->second;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000254
Chris Lattner697954c2002-01-20 22:54:45 +0000255 cerr << "\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000256}
257
258
259void
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000260SchedGraph::eraseIncomingEdges(SchedGraphNode* node, bool addDummyEdges)
261{
262 // Delete and disconnect all in-edges for the node
263 for (SchedGraphNode::iterator I = node->beginInEdges();
264 I != node->endInEdges(); ++I)
265 {
266 SchedGraphNode* srcNode = (*I)->getSrc();
267 srcNode->removeOutEdge(*I);
268 delete *I;
269
270 if (addDummyEdges &&
271 srcNode != getRoot() &&
272 srcNode->beginOutEdges() == srcNode->endOutEdges())
273 { // srcNode has no more out edges, so add an edge to dummy EXIT node
274 assert(node != getLeaf() && "Adding edge that was just removed?");
275 (void) new SchedGraphEdge(srcNode, getLeaf(),
276 SchedGraphEdge::CtrlDep, SchedGraphEdge::NonDataDep, 0);
277 }
278 }
279
280 node->inEdges.clear();
281}
282
283void
284SchedGraph::eraseOutgoingEdges(SchedGraphNode* node, bool addDummyEdges)
285{
286 // Delete and disconnect all out-edges for the node
287 for (SchedGraphNode::iterator I = node->beginOutEdges();
288 I != node->endOutEdges(); ++I)
289 {
290 SchedGraphNode* sinkNode = (*I)->getSink();
291 sinkNode->removeInEdge(*I);
292 delete *I;
293
294 if (addDummyEdges &&
295 sinkNode != getLeaf() &&
296 sinkNode->beginInEdges() == sinkNode->endInEdges())
297 { //sinkNode has no more in edges, so add an edge from dummy ENTRY node
298 assert(node != getRoot() && "Adding edge that was just removed?");
299 (void) new SchedGraphEdge(getRoot(), sinkNode,
300 SchedGraphEdge::CtrlDep, SchedGraphEdge::NonDataDep, 0);
301 }
302 }
303
304 node->outEdges.clear();
305}
306
307void
308SchedGraph::eraseIncidentEdges(SchedGraphNode* node, bool addDummyEdges)
309{
310 this->eraseIncomingEdges(node, addDummyEdges);
311 this->eraseOutgoingEdges(node, addDummyEdges);
312}
313
314
315void
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000316SchedGraph::addDummyEdges()
317{
318 assert(graphRoot->outEdges.size() == 0);
319
320 for (const_iterator I=begin(); I != end(); ++I)
321 {
322 SchedGraphNode* node = (*I).second;
323 assert(node != graphRoot && node != graphLeaf);
324 if (node->beginInEdges() == node->endInEdges())
325 (void) new SchedGraphEdge(graphRoot, node, SchedGraphEdge::CtrlDep,
326 SchedGraphEdge::NonDataDep, 0);
327 if (node->beginOutEdges() == node->endOutEdges())
328 (void) new SchedGraphEdge(node, graphLeaf, SchedGraphEdge::CtrlDep,
329 SchedGraphEdge::NonDataDep, 0);
330 }
331}
332
333
334void
335SchedGraph::addCDEdges(const TerminatorInst* term,
336 const TargetMachine& target)
337{
338 const MachineInstrInfo& mii = target.getInstrInfo();
Chris Lattner0861b0c2002-02-03 07:29:45 +0000339 MachineCodeForInstruction &termMvec = MachineCodeForInstruction::get(term);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000340
341 // Find the first branch instr in the sequence of machine instrs for term
342 //
343 unsigned first = 0;
Chris Lattner0861b0c2002-02-03 07:29:45 +0000344 while (!mii.isBranch(termMvec[first]->getOpCode()))
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000345 ++first;
346 assert(first < termMvec.size() &&
347 "No branch instructions for BR? Ok, but weird! Delete assertion.");
348 if (first == termMvec.size())
349 return;
350
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +0000351 SchedGraphNode* firstBrNode = getGraphNodeForInstr(termMvec[first]);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000352
353 // Add CD edges from each instruction in the sequence to the
354 // *last preceding* branch instr. in the sequence
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000355 // Use a latency of 0 because we only need to prevent out-of-order issue.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000356 //
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +0000357 for (unsigned i = termMvec.size(); i > first+1; --i)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000358 {
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +0000359 SchedGraphNode* toNode = getGraphNodeForInstr(termMvec[i-1]);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000360 assert(toNode && "No node for instr generated for branch?");
361
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +0000362 for (unsigned j = i-1; j != 0; --j)
363 if (mii.isBranch(termMvec[j-1]->getOpCode()))
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000364 {
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +0000365 SchedGraphNode* brNode = getGraphNodeForInstr(termMvec[j-1]);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000366 assert(brNode && "No node for instr generated for branch?");
367 (void) new SchedGraphEdge(brNode, toNode, SchedGraphEdge::CtrlDep,
368 SchedGraphEdge::NonDataDep, 0);
369 break; // only one incoming edge is enough
370 }
371 }
372
373 // Add CD edges from each instruction preceding the first branch
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000374 // to the first branch. Use a latency of 0 as above.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000375 //
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +0000376 for (unsigned i = first; i != 0; --i)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000377 {
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +0000378 SchedGraphNode* fromNode = getGraphNodeForInstr(termMvec[i-1]);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000379 assert(fromNode && "No node for instr generated for branch?");
380 (void) new SchedGraphEdge(fromNode, firstBrNode, SchedGraphEdge::CtrlDep,
381 SchedGraphEdge::NonDataDep, 0);
382 }
383
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000384 // Now add CD edges to the first branch instruction in the sequence from
385 // all preceding instructions in the basic block. Use 0 latency again.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000386 //
Vikram S. Adve200a4352001-11-12 18:53:43 +0000387 const BasicBlock* bb = firstBrNode->getBB();
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000388 const MachineCodeForBasicBlock& mvec = MachineCodeForBasicBlock::get(bb);
Vikram S. Adve200a4352001-11-12 18:53:43 +0000389 for (unsigned i=0, N=mvec.size(); i < N; i++)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000390 {
Vikram S. Adve200a4352001-11-12 18:53:43 +0000391 if (mvec[i] == termMvec[first]) // reached the first branch
392 break;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000393
Vikram S. Adve200a4352001-11-12 18:53:43 +0000394 SchedGraphNode* fromNode = this->getGraphNodeForInstr(mvec[i]);
395 if (fromNode == NULL)
396 continue; // dummy instruction, e.g., PHI
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000397
Vikram S. Adve200a4352001-11-12 18:53:43 +0000398 (void) new SchedGraphEdge(fromNode, firstBrNode,
399 SchedGraphEdge::CtrlDep,
400 SchedGraphEdge::NonDataDep, 0);
401
402 // If we find any other machine instructions (other than due to
403 // the terminator) that also have delay slots, add an outgoing edge
404 // from the instruction to the instructions in the delay slots.
405 //
406 unsigned d = mii.getNumDelaySlots(mvec[i]->getOpCode());
407 assert(i+d < N && "Insufficient delay slots for instruction?");
408
409 for (unsigned j=1; j <= d; j++)
410 {
411 SchedGraphNode* toNode = this->getGraphNodeForInstr(mvec[i+j]);
412 assert(toNode && "No node for machine instr in delay slot?");
413 (void) new SchedGraphEdge(fromNode, toNode,
414 SchedGraphEdge::CtrlDep,
415 SchedGraphEdge::NonDataDep, 0);
416 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000417 }
418}
419
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000420static const int SG_LOAD_REF = 0;
421static const int SG_STORE_REF = 1;
422static const int SG_CALL_REF = 2;
423
424static const unsigned int SG_DepOrderArray[][3] = {
425 { SchedGraphEdge::NonDataDep,
426 SchedGraphEdge::AntiDep,
427 SchedGraphEdge::AntiDep },
428 { SchedGraphEdge::TrueDep,
429 SchedGraphEdge::OutputDep,
430 SchedGraphEdge::TrueDep | SchedGraphEdge::OutputDep },
431 { SchedGraphEdge::TrueDep,
432 SchedGraphEdge::AntiDep | SchedGraphEdge::OutputDep,
433 SchedGraphEdge::TrueDep | SchedGraphEdge::AntiDep
434 | SchedGraphEdge::OutputDep }
435};
436
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000437
Vikram S. Advee64574c2001-11-08 05:20:23 +0000438// Add a dependence edge between every pair of machine load/store/call
439// instructions, where at least one is a store or a call.
440// Use latency 1 just to ensure that memory operations are ordered;
441// latency does not otherwise matter (true dependences enforce that).
442//
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000443void
Vikram S. Advee64574c2001-11-08 05:20:23 +0000444SchedGraph::addMemEdges(const vector<SchedGraphNode*>& memNodeVec,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000445 const TargetMachine& target)
446{
447 const MachineInstrInfo& mii = target.getInstrInfo();
448
Vikram S. Advee64574c2001-11-08 05:20:23 +0000449 // Instructions in memNodeVec are in execution order within the basic block,
450 // so simply look at all pairs <memNodeVec[i], memNodeVec[j: j > i]>.
451 //
452 for (unsigned im=0, NM=memNodeVec.size(); im < NM; im++)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000453 {
Vikram S. Advee64574c2001-11-08 05:20:23 +0000454 MachineOpCode fromOpCode = memNodeVec[im]->getOpCode();
455 int fromType = mii.isCall(fromOpCode)? SG_CALL_REF
456 : mii.isLoad(fromOpCode)? SG_LOAD_REF
457 : SG_STORE_REF;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000458 for (unsigned jm=im+1; jm < NM; jm++)
459 {
Vikram S. Advee64574c2001-11-08 05:20:23 +0000460 MachineOpCode toOpCode = memNodeVec[jm]->getOpCode();
461 int toType = mii.isCall(toOpCode)? SG_CALL_REF
462 : mii.isLoad(toOpCode)? SG_LOAD_REF
463 : SG_STORE_REF;
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000464
Vikram S. Advee64574c2001-11-08 05:20:23 +0000465 if (fromType != SG_LOAD_REF || toType != SG_LOAD_REF)
466 (void) new SchedGraphEdge(memNodeVec[im], memNodeVec[jm],
467 SchedGraphEdge::MemoryDep,
468 SG_DepOrderArray[fromType][toType], 1);
469 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000470 }
Vikram S. Advee64574c2001-11-08 05:20:23 +0000471}
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000472
Vikram S. Advee64574c2001-11-08 05:20:23 +0000473// Add edges from/to CC reg instrs to/from call instrs.
474// Essentially this prevents anything that sets or uses a CC reg from being
475// reordered w.r.t. a call.
476// Use a latency of 0 because we only need to prevent out-of-order issue,
477// like with control dependences.
478//
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000479void
Vikram S. Advee64574c2001-11-08 05:20:23 +0000480SchedGraph::addCallCCEdges(const vector<SchedGraphNode*>& memNodeVec,
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000481 MachineCodeForBasicBlock& bbMvec,
482 const TargetMachine& target)
483{
484 const MachineInstrInfo& mii = target.getInstrInfo();
485 vector<SchedGraphNode*> callNodeVec;
486
Vikram S. Advee64574c2001-11-08 05:20:23 +0000487 // Find the call instruction nodes and put them in a vector.
488 for (unsigned im=0, NM=memNodeVec.size(); im < NM; im++)
489 if (mii.isCall(memNodeVec[im]->getOpCode()))
490 callNodeVec.push_back(memNodeVec[im]);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000491
Vikram S. Advee64574c2001-11-08 05:20:23 +0000492 // Now walk the entire basic block, looking for CC instructions *and*
493 // call instructions, and keep track of the order of the instructions.
494 // Use the call node vec to quickly find earlier and later call nodes
495 // relative to the current CC instruction.
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000496 //
497 int lastCallNodeIdx = -1;
498 for (unsigned i=0, N=bbMvec.size(); i < N; i++)
499 if (mii.isCall(bbMvec[i]->getOpCode()))
500 {
501 ++lastCallNodeIdx;
502 for ( ; lastCallNodeIdx < (int)callNodeVec.size(); ++lastCallNodeIdx)
503 if (callNodeVec[lastCallNodeIdx]->getMachineInstr() == bbMvec[i])
504 break;
505 assert(lastCallNodeIdx < (int)callNodeVec.size() && "Missed Call?");
506 }
507 else if (mii.isCCInstr(bbMvec[i]->getOpCode()))
508 { // Add incoming/outgoing edges from/to preceding/later calls
509 SchedGraphNode* ccNode = this->getGraphNodeForInstr(bbMvec[i]);
510 int j=0;
511 for ( ; j <= lastCallNodeIdx; j++)
512 (void) new SchedGraphEdge(callNodeVec[j], ccNode,
513 MachineCCRegsRID, 0);
514 for ( ; j < (int) callNodeVec.size(); j++)
515 (void) new SchedGraphEdge(ccNode, callNodeVec[j],
516 MachineCCRegsRID, 0);
517 }
518}
519
520
521void
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000522SchedGraph::addMachineRegEdges(RegToRefVecMap& regToRefVecMap,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000523 const TargetMachine& target)
524{
525 assert(bbVec.size() == 1 && "Only handling a single basic block here");
526
527 // This assumes that such hardwired registers are never allocated
528 // to any LLVM value (since register allocation happens later), i.e.,
529 // any uses or defs of this register have been made explicit!
530 // Also assumes that two registers with different numbers are
531 // not aliased!
532 //
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000533 for (RegToRefVecMap::iterator I = regToRefVecMap.begin();
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000534 I != regToRefVecMap.end(); ++I)
535 {
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000536 int regNum = (*I).first;
537 RefVec& regRefVec = (*I).second;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000538
539 // regRefVec is ordered by control flow order in the basic block
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000540 for (unsigned i=0; i < regRefVec.size(); ++i)
541 {
542 SchedGraphNode* node = regRefVec[i].first;
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000543 unsigned int opNum = regRefVec[i].second;
544 bool isDef = node->getMachineInstr()->operandIsDefined(opNum);
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000545 bool isDefAndUse =
546 node->getMachineInstr()->operandIsDefinedAndUsed(opNum);
547
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000548 for (unsigned p=0; p < i; ++p)
549 {
550 SchedGraphNode* prevNode = regRefVec[p].first;
551 if (prevNode != node)
552 {
553 unsigned int prevOpNum = regRefVec[p].second;
554 bool prevIsDef =
555 prevNode->getMachineInstr()->operandIsDefined(prevOpNum);
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000556 bool prevIsDefAndUse =
557 prevNode->getMachineInstr()->operandIsDefinedAndUsed(prevOpNum);
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000558 if (isDef)
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000559 {
560 if (prevIsDef)
561 new SchedGraphEdge(prevNode, node, regNum,
562 SchedGraphEdge::OutputDep);
563 if (!prevIsDef || prevIsDefAndUse)
564 new SchedGraphEdge(prevNode, node, regNum,
565 SchedGraphEdge::AntiDep);
566 }
567
568 if (prevIsDef)
569 if (!isDef || isDefAndUse)
570 new SchedGraphEdge(prevNode, node, regNum,
571 SchedGraphEdge::TrueDep);
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000572 }
573 }
574 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000575 }
576}
577
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000578
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000579// Adds dependences to/from refNode from/to all other defs
580// in the basic block. refNode may be a use, a def, or both.
581// We do not consider other uses because we are not building use-use deps.
582//
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000583void
Vikram S. Adve200a4352001-11-12 18:53:43 +0000584SchedGraph::addEdgesForValue(SchedGraphNode* refNode,
585 const RefVec& defVec,
586 const Value* defValue,
587 bool refNodeIsDef,
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000588 bool refNodeIsDefAndUse,
Vikram S. Adve200a4352001-11-12 18:53:43 +0000589 const TargetMachine& target)
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000590{
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000591 bool refNodeIsUse = !refNodeIsDef || refNodeIsDefAndUse;
592
Vikram S. Adve200a4352001-11-12 18:53:43 +0000593 // Add true or output dep edges from all def nodes before refNode in BB.
594 // Add anti or output dep edges to all def nodes after refNode.
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000595 for (RefVec::const_iterator I=defVec.begin(), E=defVec.end(); I != E; ++I)
Vikram S. Adve200a4352001-11-12 18:53:43 +0000596 {
597 if ((*I).first == refNode)
598 continue; // Dont add any self-loops
599
600 if ((*I).first->getOrigIndexInBB() < refNode->getOrigIndexInBB())
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000601 { // (*).first is before refNode
602 if (refNodeIsDef)
603 (void) new SchedGraphEdge((*I).first, refNode, defValue,
604 SchedGraphEdge::OutputDep);
605 if (refNodeIsUse)
606 (void) new SchedGraphEdge((*I).first, refNode, defValue,
607 SchedGraphEdge::TrueDep);
608 }
Vikram S. Adve200a4352001-11-12 18:53:43 +0000609 else
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000610 { // (*).first is after refNode
611 if (refNodeIsDef)
612 (void) new SchedGraphEdge(refNode, (*I).first, defValue,
613 SchedGraphEdge::OutputDep);
614 if (refNodeIsUse)
615 (void) new SchedGraphEdge(refNode, (*I).first, defValue,
616 SchedGraphEdge::AntiDep);
617 }
Vikram S. Adve200a4352001-11-12 18:53:43 +0000618 }
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000619}
620
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000621
622void
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000623SchedGraph::addEdgesForInstruction(const MachineInstr& minstr,
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000624 const ValueToDefVecMap& valueToDefVecMap,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000625 const TargetMachine& target)
626{
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000627 SchedGraphNode* node = this->getGraphNodeForInstr(&minstr);
628 if (node == NULL)
629 return;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000630
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000631 // Add edges for all operands of the machine instruction.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000632 //
633 for (unsigned i=0, numOps=minstr.getNumOperands(); i < numOps; i++)
634 {
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000635 const MachineOperand& mop = minstr.getOperand(i);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000636 switch(mop.getOperandType())
637 {
638 case MachineOperand::MO_VirtualRegister:
639 case MachineOperand::MO_CCRegister:
Vikram S. Adve85b46d62001-10-17 23:53:16 +0000640 if (const Instruction* srcI =
641 dyn_cast_or_null<Instruction>(mop.getVRegValue()))
642 {
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000643 ValueToDefVecMap::const_iterator I = valueToDefVecMap.find(srcI);
644 if (I != valueToDefVecMap.end())
Vikram S. Adve200a4352001-11-12 18:53:43 +0000645 addEdgesForValue(node, (*I).second, mop.getVRegValue(),
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000646 minstr.operandIsDefined(i),
647 minstr.operandIsDefinedAndUsed(i), target);
Vikram S. Adve85b46d62001-10-17 23:53:16 +0000648 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000649 break;
650
651 case MachineOperand::MO_MachineRegister:
652 break;
653
654 case MachineOperand::MO_SignExtendedImmed:
655 case MachineOperand::MO_UnextendedImmed:
656 case MachineOperand::MO_PCRelativeDisp:
657 break; // nothing to do for immediate fields
658
659 default:
660 assert(0 && "Unknown machine operand type in SchedGraph builder");
661 break;
662 }
663 }
Vikram S. Adve8d0ffa52001-10-11 04:22:45 +0000664
665 // Add edges for values implicitly used by the machine instruction.
666 // Examples include function arguments to a Call instructions or the return
667 // value of a Ret instruction.
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000668 //
Vikram S. Adve8d0ffa52001-10-11 04:22:45 +0000669 for (unsigned i=0, N=minstr.getNumImplicitRefs(); i < N; ++i)
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000670 if (! minstr.implicitRefIsDefined(i) ||
671 minstr.implicitRefIsDefinedAndUsed(i))
Vikram S. Adve85b46d62001-10-17 23:53:16 +0000672 if (const Instruction* srcI =
673 dyn_cast_or_null<Instruction>(minstr.getImplicitRef(i)))
674 {
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000675 ValueToDefVecMap::const_iterator I = valueToDefVecMap.find(srcI);
676 if (I != valueToDefVecMap.end())
Vikram S. Adve200a4352001-11-12 18:53:43 +0000677 addEdgesForValue(node, (*I).second, minstr.getImplicitRef(i),
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000678 minstr.implicitRefIsDefined(i),
679 minstr.implicitRefIsDefinedAndUsed(i), target);
Vikram S. Adve85b46d62001-10-17 23:53:16 +0000680 }
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000681}
682
683
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000684void
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000685SchedGraph::findDefUseInfoAtInstr(const TargetMachine& target,
686 SchedGraphNode* node,
Vikram S. Advee64574c2001-11-08 05:20:23 +0000687 vector<SchedGraphNode*>& memNodeVec,
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000688 RegToRefVecMap& regToRefVecMap,
689 ValueToDefVecMap& valueToDefVecMap)
690{
691 const MachineInstrInfo& mii = target.getInstrInfo();
692
Vikram S. Advee64574c2001-11-08 05:20:23 +0000693
694 MachineOpCode opCode = node->getOpCode();
695 if (mii.isLoad(opCode) || mii.isStore(opCode) || mii.isCall(opCode))
696 memNodeVec.push_back(node);
697
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000698 // Collect the register references and value defs. for explicit operands
699 //
700 const MachineInstr& minstr = * node->getMachineInstr();
701 for (int i=0, numOps = (int) minstr.getNumOperands(); i < numOps; i++)
702 {
703 const MachineOperand& mop = minstr.getOperand(i);
704
705 // if this references a register other than the hardwired
706 // "zero" register, record the reference.
707 if (mop.getOperandType() == MachineOperand::MO_MachineRegister)
708 {
709 int regNum = mop.getMachineRegNum();
710 if (regNum != target.getRegInfo().getZeroRegNum())
Chris Lattner697954c2002-01-20 22:54:45 +0000711 regToRefVecMap[mop.getMachineRegNum()].push_back(
712 std::make_pair(node, i));
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000713 continue; // nothing more to do
714 }
715
716 // ignore all other non-def operands
717 if (! minstr.operandIsDefined(i))
718 continue;
719
720 // We must be defining a value.
721 assert((mop.getOperandType() == MachineOperand::MO_VirtualRegister ||
722 mop.getOperandType() == MachineOperand::MO_CCRegister)
723 && "Do not expect any other kind of operand to be defined!");
724
725 const Instruction* defInstr = cast<Instruction>(mop.getVRegValue());
Chris Lattner697954c2002-01-20 22:54:45 +0000726 valueToDefVecMap[defInstr].push_back(std::make_pair(node, i));
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000727 }
Vikram S. Advee64574c2001-11-08 05:20:23 +0000728
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000729 //
730 // Collect value defs. for implicit operands. The interface to extract
731 // them assumes they must be virtual registers!
732 //
733 for (int i=0, N = (int) minstr.getNumImplicitRefs(); i < N; ++i)
734 if (minstr.implicitRefIsDefined(i))
735 if (const Instruction* defInstr =
736 dyn_cast_or_null<Instruction>(minstr.getImplicitRef(i)))
737 {
Chris Lattner697954c2002-01-20 22:54:45 +0000738 valueToDefVecMap[defInstr].push_back(std::make_pair(node, -i));
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000739 }
740}
741
742
743void
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000744SchedGraph::buildNodesforBB(const TargetMachine& target,
745 const BasicBlock* bb,
746 vector<SchedGraphNode*>& memNodeVec,
747 RegToRefVecMap& regToRefVecMap,
748 ValueToDefVecMap& valueToDefVecMap)
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000749{
750 const MachineInstrInfo& mii = target.getInstrInfo();
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000751
752 // Build graph nodes for each VM instruction and gather def/use info.
753 // Do both those together in a single pass over all machine instructions.
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000754 const MachineCodeForBasicBlock& mvec = MachineCodeForBasicBlock::get(bb);
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000755 for (unsigned i=0; i < mvec.size(); i++)
756 if (! mii.isDummyPhiInstr(mvec[i]->getOpCode()))
757 {
758 SchedGraphNode* node = new SchedGraphNode(getNumNodes(), bb,
759 mvec[i], i, target);
760 this->noteGraphNodeForInstr(mvec[i], node);
761
762 // Remember all register references and value defs
763 findDefUseInfoAtInstr(target, node,
764 memNodeVec, regToRefVecMap,valueToDefVecMap);
765 }
766
767#undef REALLY_NEED_TO_SEARCH_SUCCESSOR_PHIS
768#ifdef REALLY_NEED_TO_SEARCH_SUCCESSOR_PHIS
769 // This is a BIG UGLY HACK. IT NEEDS TO BE ELIMINATED.
770 // Look for copy instructions inserted in this BB due to Phi instructions
771 // in the successor BBs.
772 // There MUST be exactly one copy per Phi in successor nodes.
773 //
774 for (BasicBlock::succ_const_iterator SI=bb->succ_begin(), SE=bb->succ_end();
775 SI != SE; ++SI)
776 for (BasicBlock::const_iterator PI=(*SI)->begin(), PE=(*SI)->end();
777 PI != PE; ++PI)
778 {
779 if ((*PI)->getOpcode() != Instruction::PHINode)
780 break; // No more Phis in this successor
781
782 // Find the incoming value from block bb to block (*SI)
783 int bbIndex = cast<PHINode>(*PI)->getBasicBlockIndex(bb);
784 assert(bbIndex >= 0 && "But I know bb is a predecessor of (*SI)?");
785 Value* inVal = cast<PHINode>(*PI)->getIncomingValue(bbIndex);
786 assert(inVal != NULL && "There must be an in-value on every edge");
787
788 // Find the machine instruction that makes a copy of inval to (*PI).
789 // This must be in the current basic block (bb).
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000790 const MachineCodeForVMInstr& mvec = MachineCodeForBasicBlock::get(*PI);
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000791 const MachineInstr* theCopy = NULL;
792 for (unsigned i=0; i < mvec.size() && theCopy == NULL; i++)
793 if (! mii.isDummyPhiInstr(mvec[i]->getOpCode()))
794 // not a Phi: assume this is a copy and examine its operands
795 for (int o=0, N=(int) mvec[i]->getNumOperands(); o < N; o++)
796 {
797 const MachineOperand& mop = mvec[i]->getOperand(o);
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000798
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000799 if (mvec[i]->operandIsDefined(o))
800 assert(mop.getVRegValue() == (*PI) && "dest shd be my Phi");
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000801
802 if (! mvec[i]->operandIsDefined(o) ||
803 NOT NEEDED? mvec[i]->operandIsDefinedAndUsed(o))
804 if (mop.getVRegValue() == inVal)
805 { // found the copy!
806 theCopy = mvec[i];
807 break;
808 }
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000809 }
810
811 // Found the dang instruction. Now create a node and do the rest...
812 if (theCopy != NULL)
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000813 {
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000814 SchedGraphNode* node = new SchedGraphNode(getNumNodes(), bb,
815 theCopy, origIndexInBB++, target);
816 this->noteGraphNodeForInstr(theCopy, node);
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000817 findDefUseInfoAtInstr(target, node,
818 memNodeVec, regToRefVecMap,valueToDefVecMap);
819 }
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000820 }
Chris Lattner4ed17ba2001-11-26 18:56:52 +0000821#endif //REALLY_NEED_TO_SEARCH_SUCCESSOR_PHIS
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000822}
823
824
825void
826SchedGraph::buildGraph(const TargetMachine& target)
827{
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000828 const BasicBlock* bb = bbVec[0];
829
830 assert(bbVec.size() == 1 && "Only handling a single basic block here");
831
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000832 // Use this data structure to note all machine operands that compute
833 // ordinary LLVM values. These must be computed defs (i.e., instructions).
834 // Note that there may be multiple machine instructions that define
835 // each Value.
836 ValueToDefVecMap valueToDefVecMap;
837
Vikram S. Advee64574c2001-11-08 05:20:23 +0000838 // Use this data structure to note all memory instructions.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000839 // We use this to add memory dependence edges without a second full walk.
840 //
Vikram S. Advee64574c2001-11-08 05:20:23 +0000841 // vector<const Instruction*> memVec;
842 vector<SchedGraphNode*> memNodeVec;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000843
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000844 // Use this data structure to note any uses or definitions of
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000845 // machine registers so we can add edges for those later without
846 // extra passes over the nodes.
847 // The vector holds an ordered list of references to the machine reg,
848 // ordered according to control-flow order. This only works for a
849 // single basic block, hence the assertion. Each reference is identified
850 // by the pair: <node, operand-number>.
851 //
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000852 RegToRefVecMap regToRefVecMap;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000853
854 // Make a dummy root node. We'll add edges to the real roots later.
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000855 graphRoot = new SchedGraphNode(0, NULL, NULL, -1, target);
856 graphLeaf = new SchedGraphNode(1, NULL, NULL, -1, target);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000857
858 //----------------------------------------------------------------
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000859 // First add nodes for all the machine instructions in the basic block
860 // because this greatly simplifies identifying which edges to add.
861 // Do this one VM instruction at a time since the SchedGraphNode needs that.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000862 // Also, remember the load/store instructions to add memory deps later.
863 //----------------------------------------------------------------
864
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000865 buildNodesforBB(target, bb, memNodeVec, regToRefVecMap, valueToDefVecMap);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000866
867 //----------------------------------------------------------------
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000868 // Now add edges for the following (all are incoming edges except (4)):
869 // (1) operands of the machine instruction, including hidden operands
870 // (2) machine register dependences
871 // (3) memory load/store dependences
872 // (3) other resource dependences for the machine instruction, if any
873 // (4) output dependences when multiple machine instructions define the
874 // same value; all must have been generated from a single VM instrn
875 // (5) control dependences to branch instructions generated for the
876 // terminator instruction of the BB. Because of delay slots and
877 // 2-way conditional branches, multiple CD edges are needed
878 // (see addCDEdges for details).
879 // Also, note any uses or defs of machine registers.
880 //
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000881 //----------------------------------------------------------------
882
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000883 MachineCodeForBasicBlock& bbMvec = MachineCodeForBasicBlock::get(bb);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000884
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000885 // First, add edges to the terminator instruction of the basic block.
886 this->addCDEdges(bb->getTerminator(), target);
887
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000888 // Then add memory dep edges: store->load, load->store, and store->store.
889 // Call instructions are treated as both load and store.
Vikram S. Advee64574c2001-11-08 05:20:23 +0000890 this->addMemEdges(memNodeVec, target);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000891
892 // Then add edges between call instructions and CC set/use instructions
Vikram S. Advee64574c2001-11-08 05:20:23 +0000893 this->addCallCCEdges(memNodeVec, bbMvec, target);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000894
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000895 // Then add incoming def-use (SSA) edges for each machine instruction.
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000896 for (unsigned i=0, N=bbMvec.size(); i < N; i++)
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000897 addEdgesForInstruction(*bbMvec[i], valueToDefVecMap, target);
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000898
Vikram S. Adve200a4352001-11-12 18:53:43 +0000899#ifdef NEED_SEPARATE_NONSSA_EDGES_CODE
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000900 // Then add non-SSA edges for all VM instructions in the block.
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000901 // We assume that all machine instructions that define a value are
902 // generated from the VM instruction corresponding to that value.
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000903 // TODO: This could probably be done much more efficiently.
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000904 for (BasicBlock::const_iterator II = bb->begin(); II != bb->end(); ++II)
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000905 this->addNonSSAEdgesForValue(*II, target);
Chris Lattner4ed17ba2001-11-26 18:56:52 +0000906#endif //NEED_SEPARATE_NONSSA_EDGES_CODE
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000907
908 // Then add edges for dependences on machine registers
909 this->addMachineRegEdges(regToRefVecMap, target);
910
911 // Finally, add edges from the dummy root and to dummy leaf
912 this->addDummyEdges();
913}
914
915
916//
917// class SchedGraphSet
918//
919
920/*ctor*/
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000921SchedGraphSet::SchedGraphSet(const Function* _function,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000922 const TargetMachine& target) :
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000923 method(_function)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000924{
925 buildGraphsForMethod(method, target);
926}
927
928
929/*dtor*/
930SchedGraphSet::~SchedGraphSet()
931{
932 // delete all the graphs
Chris Lattnerf3dd05c2002-04-09 05:15:33 +0000933 for(iterator I = begin(), E = end(); I != E; ++I)
934 delete *I; // destructor is a friend
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000935}
936
937
938void
939SchedGraphSet::dump() const
940{
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000941 cerr << "======== Sched graphs for function `" << method->getName()
Chris Lattner697954c2002-01-20 22:54:45 +0000942 << "' ========\n\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000943
944 for (const_iterator I=begin(); I != end(); ++I)
Vikram S. Advecf8a98f2002-03-24 03:40:59 +0000945 (*I)->dump();
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000946
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000947 cerr << "\n====== End graphs for function `" << method->getName()
Chris Lattner697954c2002-01-20 22:54:45 +0000948 << "' ========\n\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000949}
950
951
952void
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000953SchedGraphSet::buildGraphsForMethod(const Function *F,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000954 const TargetMachine& target)
955{
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000956 for (Function::const_iterator BI = F->begin(); BI != F->end(); ++BI)
Chris Lattner7e708292002-06-25 16:13:24 +0000957 addGraph(new SchedGraph(BI, target));
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000958}
959
960
Chris Lattner697954c2002-01-20 22:54:45 +0000961std::ostream &operator<<(std::ostream &os, const SchedGraphEdge& edge)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000962{
963 os << "edge [" << edge.src->getNodeId() << "] -> ["
964 << edge.sink->getNodeId() << "] : ";
965
966 switch(edge.depType) {
967 case SchedGraphEdge::CtrlDep: os<< "Control Dep"; break;
Vikram S. Adve200a4352001-11-12 18:53:43 +0000968 case SchedGraphEdge::ValueDep: os<< "Reg Value " << edge.val; break;
969 case SchedGraphEdge::MemoryDep: os<< "Memory Dep"; break;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000970 case SchedGraphEdge::MachineRegister: os<< "Reg " <<edge.machineRegNum;break;
971 case SchedGraphEdge::MachineResource: os<<"Resource "<<edge.resourceId;break;
972 default: assert(0); break;
973 }
974
Chris Lattner697954c2002-01-20 22:54:45 +0000975 os << " : delay = " << edge.minDelay << "\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000976
977 return os;
978}
979
Chris Lattner697954c2002-01-20 22:54:45 +0000980std::ostream &operator<<(std::ostream &os, const SchedGraphNode& node)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000981{
Chris Lattner697954c2002-01-20 22:54:45 +0000982 os << std::string(8, ' ')
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000983 << "Node " << node.nodeId << " : "
Chris Lattner697954c2002-01-20 22:54:45 +0000984 << "latency = " << node.latency << "\n" << std::string(12, ' ');
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000985
986 if (node.getMachineInstr() == NULL)
Chris Lattner697954c2002-01-20 22:54:45 +0000987 os << "(Dummy node)\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000988 else
989 {
Chris Lattner697954c2002-01-20 22:54:45 +0000990 os << *node.getMachineInstr() << "\n" << std::string(12, ' ');
991 os << node.inEdges.size() << " Incoming Edges:\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000992 for (unsigned i=0, N=node.inEdges.size(); i < N; i++)
Chris Lattner697954c2002-01-20 22:54:45 +0000993 os << std::string(16, ' ') << *node.inEdges[i];
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000994
Chris Lattner697954c2002-01-20 22:54:45 +0000995 os << std::string(12, ' ') << node.outEdges.size()
996 << " Outgoing Edges:\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000997 for (unsigned i=0, N=node.outEdges.size(); i < N; i++)
Chris Lattner697954c2002-01-20 22:54:45 +0000998 os << std::string(16, ' ') << *node.outEdges[i];
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000999 }
1000
1001 return os;
1002}