blob: 0629f8c75fb6d365fe62e43be92604f417e09482 [file] [log] [blame]
Vikram S. Adve8b6d2452001-09-18 12:50:40 +00001// $Id$
2//***************************************************************************
3// File:
4// SchedGraph.cpp
5//
6// Purpose:
7// Scheduling graph based on SSA graph plus extra dependence edges
8// capturing dependences due to machine resources (machine registers,
9// CC registers, and any others).
10//
11// History:
12// 7/20/01 - Vikram Adve - Created
13//**************************************************************************/
Vikram S. Adve78ef1392001-08-28 23:06:02 +000014
Chris Lattner46cbff62001-09-14 16:56:32 +000015#include "SchedGraph.h"
Vikram S. Adve85b46d62001-10-17 23:53:16 +000016#include "llvm/CodeGen/InstrSelection.h"
Chris Lattner0861b0c2002-02-03 07:29:45 +000017#include "llvm/CodeGen/MachineCodeForInstruction.h"
Vikram S. Adve8b6d2452001-09-18 12:50:40 +000018#include "llvm/Target/MachineRegInfo.h"
Chris Lattner0861b0c2002-02-03 07:29:45 +000019#include "llvm/Target/TargetMachine.h"
20#include "llvm/BasicBlock.h"
Chris Lattner2fbfdcf2002-04-07 20:49:59 +000021#include "llvm/Function.h"
Chris Lattnerb00c5822001-10-02 03:41:24 +000022#include "llvm/iOther.h"
Chris Lattnercee8f9a2001-11-27 00:03:19 +000023#include "Support/StringExtras.h"
Chris Lattner697954c2002-01-20 22:54:45 +000024#include "Support/STLExtras.h"
Chris Lattner697954c2002-01-20 22:54:45 +000025#include <iostream>
Vikram S. Adve78ef1392001-08-28 23:06:02 +000026
Chris Lattner697954c2002-01-20 22:54:45 +000027using std::vector;
28using std::pair;
29using std::hash_map;
30using std::cerr;
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000031
32//*********************** Internal Data Structures *************************/
33
Vikram S. Advec352d2c2001-11-05 04:04:23 +000034// The following two types need to be classes, not typedefs, so we can use
35// opaque declarations in SchedGraph.h
36//
37struct RefVec: public vector< pair<SchedGraphNode*, int> > {
38 typedef vector< pair<SchedGraphNode*, int> >:: iterator iterator;
39 typedef vector< pair<SchedGraphNode*, int> >::const_iterator const_iterator;
40};
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000041
Chris Lattner80c685f2001-10-13 06:51:01 +000042struct RegToRefVecMap: public hash_map<int, RefVec> {
Vikram S. Advec352d2c2001-11-05 04:04:23 +000043 typedef hash_map<int, RefVec>:: iterator iterator;
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000044 typedef hash_map<int, RefVec>::const_iterator const_iterator;
45};
46
Vikram S. Advec352d2c2001-11-05 04:04:23 +000047struct ValueToDefVecMap: public hash_map<const Instruction*, RefVec> {
48 typedef hash_map<const Instruction*, RefVec>:: iterator iterator;
49 typedef hash_map<const Instruction*, RefVec>::const_iterator const_iterator;
50};
51
Vikram S. Adve78ef1392001-08-28 23:06:02 +000052//
53// class SchedGraphEdge
54//
55
56/*ctor*/
57SchedGraphEdge::SchedGraphEdge(SchedGraphNode* _src,
58 SchedGraphNode* _sink,
59 SchedGraphEdgeDepType _depType,
Vikram S. Advea93bbac2001-10-28 21:43:33 +000060 unsigned int _depOrderType,
Vikram S. Adve78ef1392001-08-28 23:06:02 +000061 int _minDelay)
62 : src(_src),
63 sink(_sink),
64 depType(_depType),
65 depOrderType(_depOrderType),
Chris Lattner80c685f2001-10-13 06:51:01 +000066 minDelay((_minDelay >= 0)? _minDelay : _src->getLatency()),
67 val(NULL)
Vikram S. Adve78ef1392001-08-28 23:06:02 +000068{
Vikram S. Adve200a4352001-11-12 18:53:43 +000069 assert(src != sink && "Self-loop in scheduling graph!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +000070 src->addOutEdge(this);
71 sink->addInEdge(this);
72}
73
74
75/*ctor*/
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000076SchedGraphEdge::SchedGraphEdge(SchedGraphNode* _src,
77 SchedGraphNode* _sink,
78 const Value* _val,
Vikram S. Advea93bbac2001-10-28 21:43:33 +000079 unsigned int _depOrderType,
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000080 int _minDelay)
Vikram S. Adve78ef1392001-08-28 23:06:02 +000081 : src(_src),
82 sink(_sink),
Vikram S. Adve200a4352001-11-12 18:53:43 +000083 depType(ValueDep),
Vikram S. Adve78ef1392001-08-28 23:06:02 +000084 depOrderType(_depOrderType),
Chris Lattner80c685f2001-10-13 06:51:01 +000085 minDelay((_minDelay >= 0)? _minDelay : _src->getLatency()),
86 val(_val)
Vikram S. Adve78ef1392001-08-28 23:06:02 +000087{
Vikram S. Adve200a4352001-11-12 18:53:43 +000088 assert(src != sink && "Self-loop in scheduling graph!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +000089 src->addOutEdge(this);
90 sink->addInEdge(this);
91}
92
93
94/*ctor*/
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000095SchedGraphEdge::SchedGraphEdge(SchedGraphNode* _src,
96 SchedGraphNode* _sink,
97 unsigned int _regNum,
Vikram S. Advea93bbac2001-10-28 21:43:33 +000098 unsigned int _depOrderType,
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000099 int _minDelay)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000100 : src(_src),
101 sink(_sink),
102 depType(MachineRegister),
103 depOrderType(_depOrderType),
104 minDelay((_minDelay >= 0)? _minDelay : _src->getLatency()),
105 machineRegNum(_regNum)
106{
Vikram S. Adve200a4352001-11-12 18:53:43 +0000107 assert(src != sink && "Self-loop in scheduling graph!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000108 src->addOutEdge(this);
109 sink->addInEdge(this);
110}
111
112
113/*ctor*/
114SchedGraphEdge::SchedGraphEdge(SchedGraphNode* _src,
115 SchedGraphNode* _sink,
116 ResourceId _resourceId,
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000117 int _minDelay)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000118 : src(_src),
119 sink(_sink),
120 depType(MachineResource),
121 depOrderType(NonDataDep),
122 minDelay((_minDelay >= 0)? _minDelay : _src->getLatency()),
123 resourceId(_resourceId)
124{
Vikram S. Adve200a4352001-11-12 18:53:43 +0000125 assert(src != sink && "Self-loop in scheduling graph!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000126 src->addOutEdge(this);
127 sink->addInEdge(this);
128}
129
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000130/*dtor*/
131SchedGraphEdge::~SchedGraphEdge()
132{
133}
134
Chris Lattnerc83e9542001-09-07 21:21:03 +0000135void SchedGraphEdge::dump(int indent=0) const {
Chris Lattner697954c2002-01-20 22:54:45 +0000136 cerr << std::string(indent*2, ' ') << *this;
Chris Lattnerc83e9542001-09-07 21:21:03 +0000137}
138
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000139
140//
141// class SchedGraphNode
142//
143
144/*ctor*/
145SchedGraphNode::SchedGraphNode(unsigned int _nodeId,
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000146 const BasicBlock* _bb,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000147 const MachineInstr* _minstr,
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000148 int indexInBB,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000149 const TargetMachine& target)
150 : nodeId(_nodeId),
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000151 bb(_bb),
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000152 minstr(_minstr),
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000153 origIndexInBB(indexInBB),
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000154 latency(0)
155{
156 if (minstr)
157 {
158 MachineOpCode mopCode = minstr->getOpCode();
159 latency = target.getInstrInfo().hasResultInterlock(mopCode)
160 ? target.getInstrInfo().minLatency(mopCode)
161 : target.getInstrInfo().maxLatency(mopCode);
162 }
163}
164
165
166/*dtor*/
167SchedGraphNode::~SchedGraphNode()
168{
Chris Lattnerf3dd05c2002-04-09 05:15:33 +0000169 // for each node, delete its out-edges
170 std::for_each(beginOutEdges(), endOutEdges(),
171 deleter<SchedGraphEdge>);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000172}
173
Chris Lattnerc83e9542001-09-07 21:21:03 +0000174void SchedGraphNode::dump(int indent=0) const {
Chris Lattner697954c2002-01-20 22:54:45 +0000175 cerr << std::string(indent*2, ' ') << *this;
Chris Lattnerc83e9542001-09-07 21:21:03 +0000176}
177
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000178
179inline void
180SchedGraphNode::addInEdge(SchedGraphEdge* edge)
181{
182 inEdges.push_back(edge);
183}
184
185
186inline void
187SchedGraphNode::addOutEdge(SchedGraphEdge* edge)
188{
189 outEdges.push_back(edge);
190}
191
192inline void
193SchedGraphNode::removeInEdge(const SchedGraphEdge* edge)
194{
195 assert(edge->getSink() == this);
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000196
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000197 for (iterator I = beginInEdges(); I != endInEdges(); ++I)
198 if ((*I) == edge)
199 {
200 inEdges.erase(I);
201 break;
202 }
203}
204
205inline void
206SchedGraphNode::removeOutEdge(const SchedGraphEdge* edge)
207{
208 assert(edge->getSrc() == this);
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000209
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000210 for (iterator I = beginOutEdges(); I != endOutEdges(); ++I)
211 if ((*I) == edge)
212 {
213 outEdges.erase(I);
214 break;
215 }
216}
217
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000218
219//
220// class SchedGraph
221//
222
223
224/*ctor*/
225SchedGraph::SchedGraph(const BasicBlock* bb,
226 const TargetMachine& target)
227{
228 bbVec.push_back(bb);
Chris Lattner697954c2002-01-20 22:54:45 +0000229 buildGraph(target);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000230}
231
232
233/*dtor*/
234SchedGraph::~SchedGraph()
235{
Chris Lattner697954c2002-01-20 22:54:45 +0000236 for (const_iterator I = begin(); I != end(); ++I)
Chris Lattnerf3dd05c2002-04-09 05:15:33 +0000237 delete I->second;
238 delete graphRoot;
239 delete graphLeaf;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000240}
241
242
243void
244SchedGraph::dump() const
245{
Chris Lattner697954c2002-01-20 22:54:45 +0000246 cerr << " Sched Graph for Basic Blocks: ";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000247 for (unsigned i=0, N=bbVec.size(); i < N; i++)
248 {
Chris Lattner697954c2002-01-20 22:54:45 +0000249 cerr << (bbVec[i]->hasName()? bbVec[i]->getName() : "block")
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000250 << " (" << bbVec[i] << ")"
251 << ((i == N-1)? "" : ", ");
252 }
253
Chris Lattner697954c2002-01-20 22:54:45 +0000254 cerr << "\n\n Actual Root nodes : ";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000255 for (unsigned i=0, N=graphRoot->outEdges.size(); i < N; i++)
Chris Lattner697954c2002-01-20 22:54:45 +0000256 cerr << graphRoot->outEdges[i]->getSink()->getNodeId()
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000257 << ((i == N-1)? "" : ", ");
258
Chris Lattner697954c2002-01-20 22:54:45 +0000259 cerr << "\n Graph Nodes:\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000260 for (const_iterator I=begin(); I != end(); ++I)
Chris Lattner697954c2002-01-20 22:54:45 +0000261 cerr << "\n" << *I->second;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000262
Chris Lattner697954c2002-01-20 22:54:45 +0000263 cerr << "\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000264}
265
266
267void
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000268SchedGraph::eraseIncomingEdges(SchedGraphNode* node, bool addDummyEdges)
269{
270 // Delete and disconnect all in-edges for the node
271 for (SchedGraphNode::iterator I = node->beginInEdges();
272 I != node->endInEdges(); ++I)
273 {
274 SchedGraphNode* srcNode = (*I)->getSrc();
275 srcNode->removeOutEdge(*I);
276 delete *I;
277
278 if (addDummyEdges &&
279 srcNode != getRoot() &&
280 srcNode->beginOutEdges() == srcNode->endOutEdges())
281 { // srcNode has no more out edges, so add an edge to dummy EXIT node
282 assert(node != getLeaf() && "Adding edge that was just removed?");
283 (void) new SchedGraphEdge(srcNode, getLeaf(),
284 SchedGraphEdge::CtrlDep, SchedGraphEdge::NonDataDep, 0);
285 }
286 }
287
288 node->inEdges.clear();
289}
290
291void
292SchedGraph::eraseOutgoingEdges(SchedGraphNode* node, bool addDummyEdges)
293{
294 // Delete and disconnect all out-edges for the node
295 for (SchedGraphNode::iterator I = node->beginOutEdges();
296 I != node->endOutEdges(); ++I)
297 {
298 SchedGraphNode* sinkNode = (*I)->getSink();
299 sinkNode->removeInEdge(*I);
300 delete *I;
301
302 if (addDummyEdges &&
303 sinkNode != getLeaf() &&
304 sinkNode->beginInEdges() == sinkNode->endInEdges())
305 { //sinkNode has no more in edges, so add an edge from dummy ENTRY node
306 assert(node != getRoot() && "Adding edge that was just removed?");
307 (void) new SchedGraphEdge(getRoot(), sinkNode,
308 SchedGraphEdge::CtrlDep, SchedGraphEdge::NonDataDep, 0);
309 }
310 }
311
312 node->outEdges.clear();
313}
314
315void
316SchedGraph::eraseIncidentEdges(SchedGraphNode* node, bool addDummyEdges)
317{
318 this->eraseIncomingEdges(node, addDummyEdges);
319 this->eraseOutgoingEdges(node, addDummyEdges);
320}
321
322
323void
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000324SchedGraph::addDummyEdges()
325{
326 assert(graphRoot->outEdges.size() == 0);
327
328 for (const_iterator I=begin(); I != end(); ++I)
329 {
330 SchedGraphNode* node = (*I).second;
331 assert(node != graphRoot && node != graphLeaf);
332 if (node->beginInEdges() == node->endInEdges())
333 (void) new SchedGraphEdge(graphRoot, node, SchedGraphEdge::CtrlDep,
334 SchedGraphEdge::NonDataDep, 0);
335 if (node->beginOutEdges() == node->endOutEdges())
336 (void) new SchedGraphEdge(node, graphLeaf, SchedGraphEdge::CtrlDep,
337 SchedGraphEdge::NonDataDep, 0);
338 }
339}
340
341
342void
343SchedGraph::addCDEdges(const TerminatorInst* term,
344 const TargetMachine& target)
345{
346 const MachineInstrInfo& mii = target.getInstrInfo();
Chris Lattner0861b0c2002-02-03 07:29:45 +0000347 MachineCodeForInstruction &termMvec = MachineCodeForInstruction::get(term);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000348
349 // Find the first branch instr in the sequence of machine instrs for term
350 //
351 unsigned first = 0;
Chris Lattner0861b0c2002-02-03 07:29:45 +0000352 while (!mii.isBranch(termMvec[first]->getOpCode()))
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000353 ++first;
354 assert(first < termMvec.size() &&
355 "No branch instructions for BR? Ok, but weird! Delete assertion.");
356 if (first == termMvec.size())
357 return;
358
359 SchedGraphNode* firstBrNode = this->getGraphNodeForInstr(termMvec[first]);
360
361 // Add CD edges from each instruction in the sequence to the
362 // *last preceding* branch instr. in the sequence
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000363 // Use a latency of 0 because we only need to prevent out-of-order issue.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000364 //
365 for (int i = (int) termMvec.size()-1; i > (int) first; i--)
366 {
367 SchedGraphNode* toNode = this->getGraphNodeForInstr(termMvec[i]);
368 assert(toNode && "No node for instr generated for branch?");
369
370 for (int j = i-1; j >= 0; j--)
371 if (mii.isBranch(termMvec[j]->getOpCode()))
372 {
373 SchedGraphNode* brNode = this->getGraphNodeForInstr(termMvec[j]);
374 assert(brNode && "No node for instr generated for branch?");
375 (void) new SchedGraphEdge(brNode, toNode, SchedGraphEdge::CtrlDep,
376 SchedGraphEdge::NonDataDep, 0);
377 break; // only one incoming edge is enough
378 }
379 }
380
381 // Add CD edges from each instruction preceding the first branch
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000382 // to the first branch. Use a latency of 0 as above.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000383 //
384 for (int i = first-1; i >= 0; i--)
385 {
386 SchedGraphNode* fromNode = this->getGraphNodeForInstr(termMvec[i]);
387 assert(fromNode && "No node for instr generated for branch?");
388 (void) new SchedGraphEdge(fromNode, firstBrNode, SchedGraphEdge::CtrlDep,
389 SchedGraphEdge::NonDataDep, 0);
390 }
391
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000392 // Now add CD edges to the first branch instruction in the sequence from
393 // all preceding instructions in the basic block. Use 0 latency again.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000394 //
Vikram S. Adve200a4352001-11-12 18:53:43 +0000395 const BasicBlock* bb = firstBrNode->getBB();
396 const MachineCodeForBasicBlock& mvec = bb->getMachineInstrVec();
397 for (unsigned i=0, N=mvec.size(); i < N; i++)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000398 {
Vikram S. Adve200a4352001-11-12 18:53:43 +0000399 if (mvec[i] == termMvec[first]) // reached the first branch
400 break;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000401
Vikram S. Adve200a4352001-11-12 18:53:43 +0000402 SchedGraphNode* fromNode = this->getGraphNodeForInstr(mvec[i]);
403 if (fromNode == NULL)
404 continue; // dummy instruction, e.g., PHI
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000405
Vikram S. Adve200a4352001-11-12 18:53:43 +0000406 (void) new SchedGraphEdge(fromNode, firstBrNode,
407 SchedGraphEdge::CtrlDep,
408 SchedGraphEdge::NonDataDep, 0);
409
410 // If we find any other machine instructions (other than due to
411 // the terminator) that also have delay slots, add an outgoing edge
412 // from the instruction to the instructions in the delay slots.
413 //
414 unsigned d = mii.getNumDelaySlots(mvec[i]->getOpCode());
415 assert(i+d < N && "Insufficient delay slots for instruction?");
416
417 for (unsigned j=1; j <= d; j++)
418 {
419 SchedGraphNode* toNode = this->getGraphNodeForInstr(mvec[i+j]);
420 assert(toNode && "No node for machine instr in delay slot?");
421 (void) new SchedGraphEdge(fromNode, toNode,
422 SchedGraphEdge::CtrlDep,
423 SchedGraphEdge::NonDataDep, 0);
424 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000425 }
426}
427
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000428static const int SG_LOAD_REF = 0;
429static const int SG_STORE_REF = 1;
430static const int SG_CALL_REF = 2;
431
432static const unsigned int SG_DepOrderArray[][3] = {
433 { SchedGraphEdge::NonDataDep,
434 SchedGraphEdge::AntiDep,
435 SchedGraphEdge::AntiDep },
436 { SchedGraphEdge::TrueDep,
437 SchedGraphEdge::OutputDep,
438 SchedGraphEdge::TrueDep | SchedGraphEdge::OutputDep },
439 { SchedGraphEdge::TrueDep,
440 SchedGraphEdge::AntiDep | SchedGraphEdge::OutputDep,
441 SchedGraphEdge::TrueDep | SchedGraphEdge::AntiDep
442 | SchedGraphEdge::OutputDep }
443};
444
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000445
Vikram S. Advee64574c2001-11-08 05:20:23 +0000446// Add a dependence edge between every pair of machine load/store/call
447// instructions, where at least one is a store or a call.
448// Use latency 1 just to ensure that memory operations are ordered;
449// latency does not otherwise matter (true dependences enforce that).
450//
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000451void
Vikram S. Advee64574c2001-11-08 05:20:23 +0000452SchedGraph::addMemEdges(const vector<SchedGraphNode*>& memNodeVec,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000453 const TargetMachine& target)
454{
455 const MachineInstrInfo& mii = target.getInstrInfo();
456
Vikram S. Advee64574c2001-11-08 05:20:23 +0000457 // Instructions in memNodeVec are in execution order within the basic block,
458 // so simply look at all pairs <memNodeVec[i], memNodeVec[j: j > i]>.
459 //
460 for (unsigned im=0, NM=memNodeVec.size(); im < NM; im++)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000461 {
Vikram S. Advee64574c2001-11-08 05:20:23 +0000462 MachineOpCode fromOpCode = memNodeVec[im]->getOpCode();
463 int fromType = mii.isCall(fromOpCode)? SG_CALL_REF
464 : mii.isLoad(fromOpCode)? SG_LOAD_REF
465 : SG_STORE_REF;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000466 for (unsigned jm=im+1; jm < NM; jm++)
467 {
Vikram S. Advee64574c2001-11-08 05:20:23 +0000468 MachineOpCode toOpCode = memNodeVec[jm]->getOpCode();
469 int toType = mii.isCall(toOpCode)? SG_CALL_REF
470 : mii.isLoad(toOpCode)? SG_LOAD_REF
471 : SG_STORE_REF;
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000472
Vikram S. Advee64574c2001-11-08 05:20:23 +0000473 if (fromType != SG_LOAD_REF || toType != SG_LOAD_REF)
474 (void) new SchedGraphEdge(memNodeVec[im], memNodeVec[jm],
475 SchedGraphEdge::MemoryDep,
476 SG_DepOrderArray[fromType][toType], 1);
477 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000478 }
Vikram S. Advee64574c2001-11-08 05:20:23 +0000479}
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000480
Vikram S. Advee64574c2001-11-08 05:20:23 +0000481// Add edges from/to CC reg instrs to/from call instrs.
482// Essentially this prevents anything that sets or uses a CC reg from being
483// reordered w.r.t. a call.
484// Use a latency of 0 because we only need to prevent out-of-order issue,
485// like with control dependences.
486//
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000487void
Vikram S. Advee64574c2001-11-08 05:20:23 +0000488SchedGraph::addCallCCEdges(const vector<SchedGraphNode*>& memNodeVec,
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000489 MachineCodeForBasicBlock& bbMvec,
490 const TargetMachine& target)
491{
492 const MachineInstrInfo& mii = target.getInstrInfo();
493 vector<SchedGraphNode*> callNodeVec;
494
Vikram S. Advee64574c2001-11-08 05:20:23 +0000495 // Find the call instruction nodes and put them in a vector.
496 for (unsigned im=0, NM=memNodeVec.size(); im < NM; im++)
497 if (mii.isCall(memNodeVec[im]->getOpCode()))
498 callNodeVec.push_back(memNodeVec[im]);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000499
Vikram S. Advee64574c2001-11-08 05:20:23 +0000500 // Now walk the entire basic block, looking for CC instructions *and*
501 // call instructions, and keep track of the order of the instructions.
502 // Use the call node vec to quickly find earlier and later call nodes
503 // relative to the current CC instruction.
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000504 //
505 int lastCallNodeIdx = -1;
506 for (unsigned i=0, N=bbMvec.size(); i < N; i++)
507 if (mii.isCall(bbMvec[i]->getOpCode()))
508 {
509 ++lastCallNodeIdx;
510 for ( ; lastCallNodeIdx < (int)callNodeVec.size(); ++lastCallNodeIdx)
511 if (callNodeVec[lastCallNodeIdx]->getMachineInstr() == bbMvec[i])
512 break;
513 assert(lastCallNodeIdx < (int)callNodeVec.size() && "Missed Call?");
514 }
515 else if (mii.isCCInstr(bbMvec[i]->getOpCode()))
516 { // Add incoming/outgoing edges from/to preceding/later calls
517 SchedGraphNode* ccNode = this->getGraphNodeForInstr(bbMvec[i]);
518 int j=0;
519 for ( ; j <= lastCallNodeIdx; j++)
520 (void) new SchedGraphEdge(callNodeVec[j], ccNode,
521 MachineCCRegsRID, 0);
522 for ( ; j < (int) callNodeVec.size(); j++)
523 (void) new SchedGraphEdge(ccNode, callNodeVec[j],
524 MachineCCRegsRID, 0);
525 }
526}
527
528
529void
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000530SchedGraph::addMachineRegEdges(RegToRefVecMap& regToRefVecMap,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000531 const TargetMachine& target)
532{
533 assert(bbVec.size() == 1 && "Only handling a single basic block here");
534
535 // This assumes that such hardwired registers are never allocated
536 // to any LLVM value (since register allocation happens later), i.e.,
537 // any uses or defs of this register have been made explicit!
538 // Also assumes that two registers with different numbers are
539 // not aliased!
540 //
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000541 for (RegToRefVecMap::iterator I = regToRefVecMap.begin();
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000542 I != regToRefVecMap.end(); ++I)
543 {
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000544 int regNum = (*I).first;
545 RefVec& regRefVec = (*I).second;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000546
547 // regRefVec is ordered by control flow order in the basic block
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000548 for (unsigned i=0; i < regRefVec.size(); ++i)
549 {
550 SchedGraphNode* node = regRefVec[i].first;
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000551 unsigned int opNum = regRefVec[i].second;
552 bool isDef = node->getMachineInstr()->operandIsDefined(opNum);
553
554 for (unsigned p=0; p < i; ++p)
555 {
556 SchedGraphNode* prevNode = regRefVec[p].first;
557 if (prevNode != node)
558 {
559 unsigned int prevOpNum = regRefVec[p].second;
560 bool prevIsDef =
561 prevNode->getMachineInstr()->operandIsDefined(prevOpNum);
562
563 if (isDef)
564 new SchedGraphEdge(prevNode, node, regNum,
565 (prevIsDef)? SchedGraphEdge::OutputDep
566 : SchedGraphEdge::AntiDep);
567 else if (prevIsDef)
568 new SchedGraphEdge(prevNode, node, regNum,
569 SchedGraphEdge::TrueDep);
570 }
571 }
572 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000573 }
574}
575
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000576
577void
Vikram S. Adve200a4352001-11-12 18:53:43 +0000578SchedGraph::addEdgesForValue(SchedGraphNode* refNode,
579 const RefVec& defVec,
580 const Value* defValue,
581 bool refNodeIsDef,
582 const TargetMachine& target)
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000583{
Vikram S. Adve200a4352001-11-12 18:53:43 +0000584 // Add true or output dep edges from all def nodes before refNode in BB.
585 // Add anti or output dep edges to all def nodes after refNode.
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000586 for (RefVec::const_iterator I=defVec.begin(), E=defVec.end(); I != E; ++I)
Vikram S. Adve200a4352001-11-12 18:53:43 +0000587 {
588 if ((*I).first == refNode)
589 continue; // Dont add any self-loops
590
591 if ((*I).first->getOrigIndexInBB() < refNode->getOrigIndexInBB())
592 // (*).first is before refNode
593 (void) new SchedGraphEdge((*I).first, refNode, defValue,
594 (refNodeIsDef)? SchedGraphEdge::OutputDep
595 : SchedGraphEdge::TrueDep);
596 else
597 // (*).first is after refNode
598 (void) new SchedGraphEdge(refNode, (*I).first, defValue,
599 (refNodeIsDef)? SchedGraphEdge::OutputDep
600 : SchedGraphEdge::AntiDep);
601 }
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000602}
603
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000604
605void
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000606SchedGraph::addEdgesForInstruction(const MachineInstr& minstr,
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000607 const ValueToDefVecMap& valueToDefVecMap,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000608 const TargetMachine& target)
609{
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000610 SchedGraphNode* node = this->getGraphNodeForInstr(&minstr);
611 if (node == NULL)
612 return;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000613
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000614 // Add edges for all operands of the machine instruction.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000615 //
616 for (unsigned i=0, numOps=minstr.getNumOperands(); i < numOps; i++)
617 {
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000618 const MachineOperand& mop = minstr.getOperand(i);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000619 switch(mop.getOperandType())
620 {
621 case MachineOperand::MO_VirtualRegister:
622 case MachineOperand::MO_CCRegister:
Vikram S. Adve85b46d62001-10-17 23:53:16 +0000623 if (const Instruction* srcI =
624 dyn_cast_or_null<Instruction>(mop.getVRegValue()))
625 {
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000626 ValueToDefVecMap::const_iterator I = valueToDefVecMap.find(srcI);
627 if (I != valueToDefVecMap.end())
Vikram S. Adve200a4352001-11-12 18:53:43 +0000628 addEdgesForValue(node, (*I).second, mop.getVRegValue(),
629 minstr.operandIsDefined(i), target);
Vikram S. Adve85b46d62001-10-17 23:53:16 +0000630 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000631 break;
632
633 case MachineOperand::MO_MachineRegister:
634 break;
635
636 case MachineOperand::MO_SignExtendedImmed:
637 case MachineOperand::MO_UnextendedImmed:
638 case MachineOperand::MO_PCRelativeDisp:
639 break; // nothing to do for immediate fields
640
641 default:
642 assert(0 && "Unknown machine operand type in SchedGraph builder");
643 break;
644 }
645 }
Vikram S. Adve8d0ffa52001-10-11 04:22:45 +0000646
647 // Add edges for values implicitly used by the machine instruction.
648 // Examples include function arguments to a Call instructions or the return
649 // value of a Ret instruction.
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000650 //
Vikram S. Adve8d0ffa52001-10-11 04:22:45 +0000651 for (unsigned i=0, N=minstr.getNumImplicitRefs(); i < N; ++i)
652 if (! minstr.implicitRefIsDefined(i))
Vikram S. Adve85b46d62001-10-17 23:53:16 +0000653 if (const Instruction* srcI =
654 dyn_cast_or_null<Instruction>(minstr.getImplicitRef(i)))
655 {
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000656 ValueToDefVecMap::const_iterator I = valueToDefVecMap.find(srcI);
657 if (I != valueToDefVecMap.end())
Vikram S. Adve200a4352001-11-12 18:53:43 +0000658 addEdgesForValue(node, (*I).second, minstr.getImplicitRef(i),
659 minstr.implicitRefIsDefined(i), target);
Vikram S. Adve85b46d62001-10-17 23:53:16 +0000660 }
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000661}
662
663
Vikram S. Adve200a4352001-11-12 18:53:43 +0000664#undef NEED_SEPARATE_NONSSA_EDGES_CODE
665#ifdef NEED_SEPARATE_NONSSA_EDGES_CODE
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000666void
667SchedGraph::addNonSSAEdgesForValue(const Instruction* instr,
668 const TargetMachine& target)
669{
Chris Lattnerb00c5822001-10-02 03:41:24 +0000670 if (isa<PHINode>(instr))
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000671 return;
Vikram S. Adve200a4352001-11-12 18:53:43 +0000672
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000673 MachineCodeForVMInstr& mvec = instr->getMachineInstrVec();
674 const MachineInstrInfo& mii = target.getInstrInfo();
675 RefVec refVec;
676
677 for (unsigned i=0, N=mvec.size(); i < N; i++)
678 for (int o=0, N = mii.getNumOperands(mvec[i]->getOpCode()); o < N; o++)
679 {
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000680 const MachineOperand& mop = mvec[i]->getOperand(o);
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000681
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000682 if ((mop.getOperandType() == MachineOperand::MO_VirtualRegister ||
683 mop.getOperandType() == MachineOperand::MO_CCRegister)
684 && mop.getVRegValue() == (Value*) instr)
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000685 {
686 // this operand is a definition or use of value `instr'
687 SchedGraphNode* node = this->getGraphNodeForInstr(mvec[i]);
688 assert(node && "No node for machine instruction in this BB?");
Chris Lattner697954c2002-01-20 22:54:45 +0000689 refVec.push_back(std::make_pair(node, o));
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000690 }
691 }
692
693 // refVec is ordered by control flow order of the machine instructions
694 for (unsigned i=0; i < refVec.size(); ++i)
695 {
696 SchedGraphNode* node = refVec[i].first;
697 unsigned int opNum = refVec[i].second;
698 bool isDef = node->getMachineInstr()->operandIsDefined(opNum);
699
700 if (isDef)
701 // add output and/or anti deps to this definition
702 for (unsigned p=0; p < i; ++p)
703 {
704 SchedGraphNode* prevNode = refVec[p].first;
705 if (prevNode != node)
706 {
707 bool prevIsDef = prevNode->getMachineInstr()->
708 operandIsDefined(refVec[p].second);
Vikram S. Adve200a4352001-11-12 18:53:43 +0000709 new SchedGraphEdge(prevNode, node, SchedGraphEdge::ValueDep,
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000710 (prevIsDef)? SchedGraphEdge::OutputDep
711 : SchedGraphEdge::AntiDep);
712 }
713 }
714 }
715}
Chris Lattner4ed17ba2001-11-26 18:56:52 +0000716#endif //NEED_SEPARATE_NONSSA_EDGES_CODE
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000717
718
719void
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000720SchedGraph::findDefUseInfoAtInstr(const TargetMachine& target,
721 SchedGraphNode* node,
Vikram S. Advee64574c2001-11-08 05:20:23 +0000722 vector<SchedGraphNode*>& memNodeVec,
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000723 RegToRefVecMap& regToRefVecMap,
724 ValueToDefVecMap& valueToDefVecMap)
725{
726 const MachineInstrInfo& mii = target.getInstrInfo();
727
Vikram S. Advee64574c2001-11-08 05:20:23 +0000728
729 MachineOpCode opCode = node->getOpCode();
730 if (mii.isLoad(opCode) || mii.isStore(opCode) || mii.isCall(opCode))
731 memNodeVec.push_back(node);
732
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000733 // Collect the register references and value defs. for explicit operands
734 //
735 const MachineInstr& minstr = * node->getMachineInstr();
736 for (int i=0, numOps = (int) minstr.getNumOperands(); i < numOps; i++)
737 {
738 const MachineOperand& mop = minstr.getOperand(i);
739
740 // if this references a register other than the hardwired
741 // "zero" register, record the reference.
742 if (mop.getOperandType() == MachineOperand::MO_MachineRegister)
743 {
744 int regNum = mop.getMachineRegNum();
745 if (regNum != target.getRegInfo().getZeroRegNum())
Chris Lattner697954c2002-01-20 22:54:45 +0000746 regToRefVecMap[mop.getMachineRegNum()].push_back(
747 std::make_pair(node, i));
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000748 continue; // nothing more to do
749 }
750
751 // ignore all other non-def operands
752 if (! minstr.operandIsDefined(i))
753 continue;
754
755 // We must be defining a value.
756 assert((mop.getOperandType() == MachineOperand::MO_VirtualRegister ||
757 mop.getOperandType() == MachineOperand::MO_CCRegister)
758 && "Do not expect any other kind of operand to be defined!");
759
760 const Instruction* defInstr = cast<Instruction>(mop.getVRegValue());
Chris Lattner697954c2002-01-20 22:54:45 +0000761 valueToDefVecMap[defInstr].push_back(std::make_pair(node, i));
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000762 }
Vikram S. Advee64574c2001-11-08 05:20:23 +0000763
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000764 //
765 // Collect value defs. for implicit operands. The interface to extract
766 // them assumes they must be virtual registers!
767 //
768 for (int i=0, N = (int) minstr.getNumImplicitRefs(); i < N; ++i)
769 if (minstr.implicitRefIsDefined(i))
770 if (const Instruction* defInstr =
771 dyn_cast_or_null<Instruction>(minstr.getImplicitRef(i)))
772 {
Chris Lattner697954c2002-01-20 22:54:45 +0000773 valueToDefVecMap[defInstr].push_back(std::make_pair(node, -i));
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000774 }
775}
776
777
778void
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000779SchedGraph::buildNodesforBB(const TargetMachine& target,
780 const BasicBlock* bb,
781 vector<SchedGraphNode*>& memNodeVec,
782 RegToRefVecMap& regToRefVecMap,
783 ValueToDefVecMap& valueToDefVecMap)
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000784{
785 const MachineInstrInfo& mii = target.getInstrInfo();
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000786
787 // Build graph nodes for each VM instruction and gather def/use info.
788 // Do both those together in a single pass over all machine instructions.
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000789 const MachineCodeForBasicBlock& mvec = bb->getMachineInstrVec();
790 for (unsigned i=0; i < mvec.size(); i++)
791 if (! mii.isDummyPhiInstr(mvec[i]->getOpCode()))
792 {
793 SchedGraphNode* node = new SchedGraphNode(getNumNodes(), bb,
794 mvec[i], i, target);
795 this->noteGraphNodeForInstr(mvec[i], node);
796
797 // Remember all register references and value defs
798 findDefUseInfoAtInstr(target, node,
799 memNodeVec, regToRefVecMap,valueToDefVecMap);
800 }
801
802#undef REALLY_NEED_TO_SEARCH_SUCCESSOR_PHIS
803#ifdef REALLY_NEED_TO_SEARCH_SUCCESSOR_PHIS
804 // This is a BIG UGLY HACK. IT NEEDS TO BE ELIMINATED.
805 // Look for copy instructions inserted in this BB due to Phi instructions
806 // in the successor BBs.
807 // There MUST be exactly one copy per Phi in successor nodes.
808 //
809 for (BasicBlock::succ_const_iterator SI=bb->succ_begin(), SE=bb->succ_end();
810 SI != SE; ++SI)
811 for (BasicBlock::const_iterator PI=(*SI)->begin(), PE=(*SI)->end();
812 PI != PE; ++PI)
813 {
814 if ((*PI)->getOpcode() != Instruction::PHINode)
815 break; // No more Phis in this successor
816
817 // Find the incoming value from block bb to block (*SI)
818 int bbIndex = cast<PHINode>(*PI)->getBasicBlockIndex(bb);
819 assert(bbIndex >= 0 && "But I know bb is a predecessor of (*SI)?");
820 Value* inVal = cast<PHINode>(*PI)->getIncomingValue(bbIndex);
821 assert(inVal != NULL && "There must be an in-value on every edge");
822
823 // Find the machine instruction that makes a copy of inval to (*PI).
824 // This must be in the current basic block (bb).
825 const MachineCodeForVMInstr& mvec = (*PI)->getMachineInstrVec();
826 const MachineInstr* theCopy = NULL;
827 for (unsigned i=0; i < mvec.size() && theCopy == NULL; i++)
828 if (! mii.isDummyPhiInstr(mvec[i]->getOpCode()))
829 // not a Phi: assume this is a copy and examine its operands
830 for (int o=0, N=(int) mvec[i]->getNumOperands(); o < N; o++)
831 {
832 const MachineOperand& mop = mvec[i]->getOperand(o);
833 if (mvec[i]->operandIsDefined(o))
834 assert(mop.getVRegValue() == (*PI) && "dest shd be my Phi");
835 else if (mop.getVRegValue() == inVal)
836 { // found the copy!
837 theCopy = mvec[i];
838 break;
839 }
840 }
841
842 // Found the dang instruction. Now create a node and do the rest...
843 if (theCopy != NULL)
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000844 {
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000845 SchedGraphNode* node = new SchedGraphNode(getNumNodes(), bb,
846 theCopy, origIndexInBB++, target);
847 this->noteGraphNodeForInstr(theCopy, node);
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000848 findDefUseInfoAtInstr(target, node,
849 memNodeVec, regToRefVecMap,valueToDefVecMap);
850 }
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000851 }
Chris Lattner4ed17ba2001-11-26 18:56:52 +0000852#endif //REALLY_NEED_TO_SEARCH_SUCCESSOR_PHIS
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000853}
854
855
856void
857SchedGraph::buildGraph(const TargetMachine& target)
858{
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000859 const BasicBlock* bb = bbVec[0];
860
861 assert(bbVec.size() == 1 && "Only handling a single basic block here");
862
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000863 // Use this data structure to note all machine operands that compute
864 // ordinary LLVM values. These must be computed defs (i.e., instructions).
865 // Note that there may be multiple machine instructions that define
866 // each Value.
867 ValueToDefVecMap valueToDefVecMap;
868
Vikram S. Advee64574c2001-11-08 05:20:23 +0000869 // Use this data structure to note all memory instructions.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000870 // We use this to add memory dependence edges without a second full walk.
871 //
Vikram S. Advee64574c2001-11-08 05:20:23 +0000872 // vector<const Instruction*> memVec;
873 vector<SchedGraphNode*> memNodeVec;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000874
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000875 // Use this data structure to note any uses or definitions of
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000876 // machine registers so we can add edges for those later without
877 // extra passes over the nodes.
878 // The vector holds an ordered list of references to the machine reg,
879 // ordered according to control-flow order. This only works for a
880 // single basic block, hence the assertion. Each reference is identified
881 // by the pair: <node, operand-number>.
882 //
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000883 RegToRefVecMap regToRefVecMap;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000884
885 // Make a dummy root node. We'll add edges to the real roots later.
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000886 graphRoot = new SchedGraphNode(0, NULL, NULL, -1, target);
887 graphLeaf = new SchedGraphNode(1, NULL, NULL, -1, target);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000888
889 //----------------------------------------------------------------
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000890 // First add nodes for all the machine instructions in the basic block
891 // because this greatly simplifies identifying which edges to add.
892 // Do this one VM instruction at a time since the SchedGraphNode needs that.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000893 // Also, remember the load/store instructions to add memory deps later.
894 //----------------------------------------------------------------
895
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000896 buildNodesforBB(target, bb, memNodeVec, regToRefVecMap, valueToDefVecMap);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000897
898 //----------------------------------------------------------------
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000899 // Now add edges for the following (all are incoming edges except (4)):
900 // (1) operands of the machine instruction, including hidden operands
901 // (2) machine register dependences
902 // (3) memory load/store dependences
903 // (3) other resource dependences for the machine instruction, if any
904 // (4) output dependences when multiple machine instructions define the
905 // same value; all must have been generated from a single VM instrn
906 // (5) control dependences to branch instructions generated for the
907 // terminator instruction of the BB. Because of delay slots and
908 // 2-way conditional branches, multiple CD edges are needed
909 // (see addCDEdges for details).
910 // Also, note any uses or defs of machine registers.
911 //
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000912 //----------------------------------------------------------------
913
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000914 MachineCodeForBasicBlock& bbMvec = bb->getMachineInstrVec();
915
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000916 // First, add edges to the terminator instruction of the basic block.
917 this->addCDEdges(bb->getTerminator(), target);
918
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000919 // Then add memory dep edges: store->load, load->store, and store->store.
920 // Call instructions are treated as both load and store.
Vikram S. Advee64574c2001-11-08 05:20:23 +0000921 this->addMemEdges(memNodeVec, target);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000922
923 // Then add edges between call instructions and CC set/use instructions
Vikram S. Advee64574c2001-11-08 05:20:23 +0000924 this->addCallCCEdges(memNodeVec, bbMvec, target);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000925
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000926 // Then add incoming def-use (SSA) edges for each machine instruction.
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000927 for (unsigned i=0, N=bbMvec.size(); i < N; i++)
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000928 addEdgesForInstruction(*bbMvec[i], valueToDefVecMap, target);
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000929
Vikram S. Adve200a4352001-11-12 18:53:43 +0000930#ifdef NEED_SEPARATE_NONSSA_EDGES_CODE
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000931 // Then add non-SSA edges for all VM instructions in the block.
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000932 // We assume that all machine instructions that define a value are
933 // generated from the VM instruction corresponding to that value.
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000934 // TODO: This could probably be done much more efficiently.
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000935 for (BasicBlock::const_iterator II = bb->begin(); II != bb->end(); ++II)
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000936 this->addNonSSAEdgesForValue(*II, target);
Chris Lattner4ed17ba2001-11-26 18:56:52 +0000937#endif //NEED_SEPARATE_NONSSA_EDGES_CODE
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000938
939 // Then add edges for dependences on machine registers
940 this->addMachineRegEdges(regToRefVecMap, target);
941
942 // Finally, add edges from the dummy root and to dummy leaf
943 this->addDummyEdges();
944}
945
946
947//
948// class SchedGraphSet
949//
950
951/*ctor*/
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000952SchedGraphSet::SchedGraphSet(const Function* _function,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000953 const TargetMachine& target) :
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000954 method(_function)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000955{
956 buildGraphsForMethod(method, target);
957}
958
959
960/*dtor*/
961SchedGraphSet::~SchedGraphSet()
962{
963 // delete all the graphs
Chris Lattnerf3dd05c2002-04-09 05:15:33 +0000964 for(iterator I = begin(), E = end(); I != E; ++I)
965 delete *I; // destructor is a friend
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000966}
967
968
969void
970SchedGraphSet::dump() const
971{
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000972 cerr << "======== Sched graphs for function `" << method->getName()
Chris Lattner697954c2002-01-20 22:54:45 +0000973 << "' ========\n\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000974
975 for (const_iterator I=begin(); I != end(); ++I)
Vikram S. Advecf8a98f2002-03-24 03:40:59 +0000976 (*I)->dump();
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000977
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000978 cerr << "\n====== End graphs for function `" << method->getName()
Chris Lattner697954c2002-01-20 22:54:45 +0000979 << "' ========\n\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000980}
981
982
983void
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000984SchedGraphSet::buildGraphsForMethod(const Function *F,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000985 const TargetMachine& target)
986{
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000987 for (Function::const_iterator BI = F->begin(); BI != F->end(); ++BI)
988 addGraph(new SchedGraph(*BI, target));
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000989}
990
991
Chris Lattner697954c2002-01-20 22:54:45 +0000992std::ostream &operator<<(std::ostream &os, const SchedGraphEdge& edge)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000993{
994 os << "edge [" << edge.src->getNodeId() << "] -> ["
995 << edge.sink->getNodeId() << "] : ";
996
997 switch(edge.depType) {
998 case SchedGraphEdge::CtrlDep: os<< "Control Dep"; break;
Vikram S. Adve200a4352001-11-12 18:53:43 +0000999 case SchedGraphEdge::ValueDep: os<< "Reg Value " << edge.val; break;
1000 case SchedGraphEdge::MemoryDep: os<< "Memory Dep"; break;
Vikram S. Adve78ef1392001-08-28 23:06:02 +00001001 case SchedGraphEdge::MachineRegister: os<< "Reg " <<edge.machineRegNum;break;
1002 case SchedGraphEdge::MachineResource: os<<"Resource "<<edge.resourceId;break;
1003 default: assert(0); break;
1004 }
1005
Chris Lattner697954c2002-01-20 22:54:45 +00001006 os << " : delay = " << edge.minDelay << "\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +00001007
1008 return os;
1009}
1010
Chris Lattner697954c2002-01-20 22:54:45 +00001011std::ostream &operator<<(std::ostream &os, const SchedGraphNode& node)
Vikram S. Adve78ef1392001-08-28 23:06:02 +00001012{
Chris Lattner697954c2002-01-20 22:54:45 +00001013 os << std::string(8, ' ')
Chris Lattnercee8f9a2001-11-27 00:03:19 +00001014 << "Node " << node.nodeId << " : "
Chris Lattner697954c2002-01-20 22:54:45 +00001015 << "latency = " << node.latency << "\n" << std::string(12, ' ');
Vikram S. Adve78ef1392001-08-28 23:06:02 +00001016
1017 if (node.getMachineInstr() == NULL)
Chris Lattner697954c2002-01-20 22:54:45 +00001018 os << "(Dummy node)\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +00001019 else
1020 {
Chris Lattner697954c2002-01-20 22:54:45 +00001021 os << *node.getMachineInstr() << "\n" << std::string(12, ' ');
1022 os << node.inEdges.size() << " Incoming Edges:\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +00001023 for (unsigned i=0, N=node.inEdges.size(); i < N; i++)
Chris Lattner697954c2002-01-20 22:54:45 +00001024 os << std::string(16, ' ') << *node.inEdges[i];
Vikram S. Adve78ef1392001-08-28 23:06:02 +00001025
Chris Lattner697954c2002-01-20 22:54:45 +00001026 os << std::string(12, ' ') << node.outEdges.size()
1027 << " Outgoing Edges:\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +00001028 for (unsigned i=0, N=node.outEdges.size(); i < N; i++)
Chris Lattner697954c2002-01-20 22:54:45 +00001029 os << std::string(16, ' ') << *node.outEdges[i];
Vikram S. Adve78ef1392001-08-28 23:06:02 +00001030 }
1031
1032 return os;
1033}