blob: 7c83e1a58c8eccad767f83d3bec4dc2865197ef2 [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. Adve78ef1392001-08-28 23:06:02 +000016#include "llvm/InstrTypes.h"
17#include "llvm/Instruction.h"
18#include "llvm/BasicBlock.h"
19#include "llvm/Method.h"
Vikram S. Adve78ef1392001-08-28 23:06:02 +000020#include "llvm/CodeGen/MachineInstr.h"
Vikram S. Adve85b46d62001-10-17 23:53:16 +000021#include "llvm/CodeGen/InstrSelection.h"
Vikram S. Adve8b6d2452001-09-18 12:50:40 +000022#include "llvm/Target/MachineInstrInfo.h"
23#include "llvm/Target/MachineRegInfo.h"
Chris Lattnerb00c5822001-10-02 03:41:24 +000024#include "llvm/iOther.h"
Chris Lattnercee8f9a2001-11-27 00:03:19 +000025#include "Support/StringExtras.h"
Chris Lattner697954c2002-01-20 22:54:45 +000026#include "Support/STLExtras.h"
Chris Lattnerc83e9542001-09-07 21:21:03 +000027#include <algorithm>
Vikram S. Advec352d2c2001-11-05 04:04:23 +000028#include <vector>
Chris Lattner697954c2002-01-20 22:54:45 +000029#include <iostream>
30#include <ext/hash_map>
Vikram S. Adve78ef1392001-08-28 23:06:02 +000031
Chris Lattner697954c2002-01-20 22:54:45 +000032using std::vector;
33using std::pair;
34using std::hash_map;
35using std::cerr;
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000036
37//*********************** Internal Data Structures *************************/
38
Vikram S. Advec352d2c2001-11-05 04:04:23 +000039// The following two types need to be classes, not typedefs, so we can use
40// opaque declarations in SchedGraph.h
41//
42struct RefVec: public vector< pair<SchedGraphNode*, int> > {
43 typedef vector< pair<SchedGraphNode*, int> >:: iterator iterator;
44 typedef vector< pair<SchedGraphNode*, int> >::const_iterator const_iterator;
45};
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000046
Chris Lattner80c685f2001-10-13 06:51:01 +000047struct RegToRefVecMap: public hash_map<int, RefVec> {
Vikram S. Advec352d2c2001-11-05 04:04:23 +000048 typedef hash_map<int, RefVec>:: iterator iterator;
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000049 typedef hash_map<int, RefVec>::const_iterator const_iterator;
50};
51
Vikram S. Advec352d2c2001-11-05 04:04:23 +000052struct ValueToDefVecMap: public hash_map<const Instruction*, RefVec> {
53 typedef hash_map<const Instruction*, RefVec>:: iterator iterator;
54 typedef hash_map<const Instruction*, RefVec>::const_iterator const_iterator;
55};
56
Vikram S. Adve78ef1392001-08-28 23:06:02 +000057//
58// class SchedGraphEdge
59//
60
61/*ctor*/
62SchedGraphEdge::SchedGraphEdge(SchedGraphNode* _src,
63 SchedGraphNode* _sink,
64 SchedGraphEdgeDepType _depType,
Vikram S. Advea93bbac2001-10-28 21:43:33 +000065 unsigned int _depOrderType,
Vikram S. Adve78ef1392001-08-28 23:06:02 +000066 int _minDelay)
67 : src(_src),
68 sink(_sink),
69 depType(_depType),
70 depOrderType(_depOrderType),
Chris Lattner80c685f2001-10-13 06:51:01 +000071 minDelay((_minDelay >= 0)? _minDelay : _src->getLatency()),
72 val(NULL)
Vikram S. Adve78ef1392001-08-28 23:06:02 +000073{
Vikram S. Adve200a4352001-11-12 18:53:43 +000074 assert(src != sink && "Self-loop in scheduling graph!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +000075 src->addOutEdge(this);
76 sink->addInEdge(this);
77}
78
79
80/*ctor*/
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000081SchedGraphEdge::SchedGraphEdge(SchedGraphNode* _src,
82 SchedGraphNode* _sink,
83 const Value* _val,
Vikram S. Advea93bbac2001-10-28 21:43:33 +000084 unsigned int _depOrderType,
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000085 int _minDelay)
Vikram S. Adve78ef1392001-08-28 23:06:02 +000086 : src(_src),
87 sink(_sink),
Vikram S. Adve200a4352001-11-12 18:53:43 +000088 depType(ValueDep),
Vikram S. Adve78ef1392001-08-28 23:06:02 +000089 depOrderType(_depOrderType),
Chris Lattner80c685f2001-10-13 06:51:01 +000090 minDelay((_minDelay >= 0)? _minDelay : _src->getLatency()),
91 val(_val)
Vikram S. Adve78ef1392001-08-28 23:06:02 +000092{
Vikram S. Adve200a4352001-11-12 18:53:43 +000093 assert(src != sink && "Self-loop in scheduling graph!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +000094 src->addOutEdge(this);
95 sink->addInEdge(this);
96}
97
98
99/*ctor*/
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000100SchedGraphEdge::SchedGraphEdge(SchedGraphNode* _src,
101 SchedGraphNode* _sink,
102 unsigned int _regNum,
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000103 unsigned int _depOrderType,
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000104 int _minDelay)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000105 : src(_src),
106 sink(_sink),
107 depType(MachineRegister),
108 depOrderType(_depOrderType),
109 minDelay((_minDelay >= 0)? _minDelay : _src->getLatency()),
110 machineRegNum(_regNum)
111{
Vikram S. Adve200a4352001-11-12 18:53:43 +0000112 assert(src != sink && "Self-loop in scheduling graph!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000113 src->addOutEdge(this);
114 sink->addInEdge(this);
115}
116
117
118/*ctor*/
119SchedGraphEdge::SchedGraphEdge(SchedGraphNode* _src,
120 SchedGraphNode* _sink,
121 ResourceId _resourceId,
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000122 int _minDelay)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000123 : src(_src),
124 sink(_sink),
125 depType(MachineResource),
126 depOrderType(NonDataDep),
127 minDelay((_minDelay >= 0)? _minDelay : _src->getLatency()),
128 resourceId(_resourceId)
129{
Vikram S. Adve200a4352001-11-12 18:53:43 +0000130 assert(src != sink && "Self-loop in scheduling graph!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000131 src->addOutEdge(this);
132 sink->addInEdge(this);
133}
134
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000135/*dtor*/
136SchedGraphEdge::~SchedGraphEdge()
137{
138}
139
Chris Lattnerc83e9542001-09-07 21:21:03 +0000140void SchedGraphEdge::dump(int indent=0) const {
Chris Lattner697954c2002-01-20 22:54:45 +0000141 cerr << std::string(indent*2, ' ') << *this;
Chris Lattnerc83e9542001-09-07 21:21:03 +0000142}
143
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000144
145//
146// class SchedGraphNode
147//
148
149/*ctor*/
150SchedGraphNode::SchedGraphNode(unsigned int _nodeId,
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000151 const BasicBlock* _bb,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000152 const MachineInstr* _minstr,
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000153 int indexInBB,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000154 const TargetMachine& target)
155 : nodeId(_nodeId),
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000156 bb(_bb),
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000157 minstr(_minstr),
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000158 origIndexInBB(indexInBB),
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000159 latency(0)
160{
161 if (minstr)
162 {
163 MachineOpCode mopCode = minstr->getOpCode();
164 latency = target.getInstrInfo().hasResultInterlock(mopCode)
165 ? target.getInstrInfo().minLatency(mopCode)
166 : target.getInstrInfo().maxLatency(mopCode);
167 }
168}
169
170
171/*dtor*/
172SchedGraphNode::~SchedGraphNode()
173{
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000174}
175
Chris Lattnerc83e9542001-09-07 21:21:03 +0000176void SchedGraphNode::dump(int indent=0) const {
Chris Lattner697954c2002-01-20 22:54:45 +0000177 cerr << std::string(indent*2, ' ') << *this;
Chris Lattnerc83e9542001-09-07 21:21:03 +0000178}
179
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000180
181inline void
182SchedGraphNode::addInEdge(SchedGraphEdge* edge)
183{
184 inEdges.push_back(edge);
185}
186
187
188inline void
189SchedGraphNode::addOutEdge(SchedGraphEdge* edge)
190{
191 outEdges.push_back(edge);
192}
193
194inline void
195SchedGraphNode::removeInEdge(const SchedGraphEdge* edge)
196{
197 assert(edge->getSink() == this);
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000198
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000199 for (iterator I = beginInEdges(); I != endInEdges(); ++I)
200 if ((*I) == edge)
201 {
202 inEdges.erase(I);
203 break;
204 }
205}
206
207inline void
208SchedGraphNode::removeOutEdge(const SchedGraphEdge* edge)
209{
210 assert(edge->getSrc() == this);
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000211
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000212 for (iterator I = beginOutEdges(); I != endOutEdges(); ++I)
213 if ((*I) == edge)
214 {
215 outEdges.erase(I);
216 break;
217 }
218}
219
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000220
221//
222// class SchedGraph
223//
224
225
226/*ctor*/
227SchedGraph::SchedGraph(const BasicBlock* bb,
228 const TargetMachine& target)
229{
230 bbVec.push_back(bb);
Chris Lattner697954c2002-01-20 22:54:45 +0000231 buildGraph(target);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000232}
233
234
235/*dtor*/
236SchedGraph::~SchedGraph()
237{
Chris Lattner697954c2002-01-20 22:54:45 +0000238 for (const_iterator I = begin(); I != end(); ++I)
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000239 {
Chris Lattner697954c2002-01-20 22:54:45 +0000240 SchedGraphNode *node = I->second;
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000241
242 // for each node, delete its out-edges
Chris Lattner697954c2002-01-20 22:54:45 +0000243 std::for_each(node->beginOutEdges(), node->endOutEdges(),
244 deleter<SchedGraphEdge>);
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000245
246 // then delete the node itself.
247 delete node;
248 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000249}
250
251
252void
253SchedGraph::dump() const
254{
Chris Lattner697954c2002-01-20 22:54:45 +0000255 cerr << " Sched Graph for Basic Blocks: ";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000256 for (unsigned i=0, N=bbVec.size(); i < N; i++)
257 {
Chris Lattner697954c2002-01-20 22:54:45 +0000258 cerr << (bbVec[i]->hasName()? bbVec[i]->getName() : "block")
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000259 << " (" << bbVec[i] << ")"
260 << ((i == N-1)? "" : ", ");
261 }
262
Chris Lattner697954c2002-01-20 22:54:45 +0000263 cerr << "\n\n Actual Root nodes : ";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000264 for (unsigned i=0, N=graphRoot->outEdges.size(); i < N; i++)
Chris Lattner697954c2002-01-20 22:54:45 +0000265 cerr << graphRoot->outEdges[i]->getSink()->getNodeId()
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000266 << ((i == N-1)? "" : ", ");
267
Chris Lattner697954c2002-01-20 22:54:45 +0000268 cerr << "\n Graph Nodes:\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000269 for (const_iterator I=begin(); I != end(); ++I)
Chris Lattner697954c2002-01-20 22:54:45 +0000270 cerr << "\n" << *I->second;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000271
Chris Lattner697954c2002-01-20 22:54:45 +0000272 cerr << "\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000273}
274
275
276void
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000277SchedGraph::eraseIncomingEdges(SchedGraphNode* node, bool addDummyEdges)
278{
279 // Delete and disconnect all in-edges for the node
280 for (SchedGraphNode::iterator I = node->beginInEdges();
281 I != node->endInEdges(); ++I)
282 {
283 SchedGraphNode* srcNode = (*I)->getSrc();
284 srcNode->removeOutEdge(*I);
285 delete *I;
286
287 if (addDummyEdges &&
288 srcNode != getRoot() &&
289 srcNode->beginOutEdges() == srcNode->endOutEdges())
290 { // srcNode has no more out edges, so add an edge to dummy EXIT node
291 assert(node != getLeaf() && "Adding edge that was just removed?");
292 (void) new SchedGraphEdge(srcNode, getLeaf(),
293 SchedGraphEdge::CtrlDep, SchedGraphEdge::NonDataDep, 0);
294 }
295 }
296
297 node->inEdges.clear();
298}
299
300void
301SchedGraph::eraseOutgoingEdges(SchedGraphNode* node, bool addDummyEdges)
302{
303 // Delete and disconnect all out-edges for the node
304 for (SchedGraphNode::iterator I = node->beginOutEdges();
305 I != node->endOutEdges(); ++I)
306 {
307 SchedGraphNode* sinkNode = (*I)->getSink();
308 sinkNode->removeInEdge(*I);
309 delete *I;
310
311 if (addDummyEdges &&
312 sinkNode != getLeaf() &&
313 sinkNode->beginInEdges() == sinkNode->endInEdges())
314 { //sinkNode has no more in edges, so add an edge from dummy ENTRY node
315 assert(node != getRoot() && "Adding edge that was just removed?");
316 (void) new SchedGraphEdge(getRoot(), sinkNode,
317 SchedGraphEdge::CtrlDep, SchedGraphEdge::NonDataDep, 0);
318 }
319 }
320
321 node->outEdges.clear();
322}
323
324void
325SchedGraph::eraseIncidentEdges(SchedGraphNode* node, bool addDummyEdges)
326{
327 this->eraseIncomingEdges(node, addDummyEdges);
328 this->eraseOutgoingEdges(node, addDummyEdges);
329}
330
331
332void
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000333SchedGraph::addDummyEdges()
334{
335 assert(graphRoot->outEdges.size() == 0);
336
337 for (const_iterator I=begin(); I != end(); ++I)
338 {
339 SchedGraphNode* node = (*I).second;
340 assert(node != graphRoot && node != graphLeaf);
341 if (node->beginInEdges() == node->endInEdges())
342 (void) new SchedGraphEdge(graphRoot, node, SchedGraphEdge::CtrlDep,
343 SchedGraphEdge::NonDataDep, 0);
344 if (node->beginOutEdges() == node->endOutEdges())
345 (void) new SchedGraphEdge(node, graphLeaf, SchedGraphEdge::CtrlDep,
346 SchedGraphEdge::NonDataDep, 0);
347 }
348}
349
350
351void
352SchedGraph::addCDEdges(const TerminatorInst* term,
353 const TargetMachine& target)
354{
355 const MachineInstrInfo& mii = target.getInstrInfo();
356 MachineCodeForVMInstr& termMvec = term->getMachineInstrVec();
357
358 // Find the first branch instr in the sequence of machine instrs for term
359 //
360 unsigned first = 0;
361 while (! mii.isBranch(termMvec[first]->getOpCode()))
362 ++first;
363 assert(first < termMvec.size() &&
364 "No branch instructions for BR? Ok, but weird! Delete assertion.");
365 if (first == termMvec.size())
366 return;
367
368 SchedGraphNode* firstBrNode = this->getGraphNodeForInstr(termMvec[first]);
369
370 // Add CD edges from each instruction in the sequence to the
371 // *last preceding* branch instr. in the sequence
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000372 // Use a latency of 0 because we only need to prevent out-of-order issue.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000373 //
374 for (int i = (int) termMvec.size()-1; i > (int) first; i--)
375 {
376 SchedGraphNode* toNode = this->getGraphNodeForInstr(termMvec[i]);
377 assert(toNode && "No node for instr generated for branch?");
378
379 for (int j = i-1; j >= 0; j--)
380 if (mii.isBranch(termMvec[j]->getOpCode()))
381 {
382 SchedGraphNode* brNode = this->getGraphNodeForInstr(termMvec[j]);
383 assert(brNode && "No node for instr generated for branch?");
384 (void) new SchedGraphEdge(brNode, toNode, SchedGraphEdge::CtrlDep,
385 SchedGraphEdge::NonDataDep, 0);
386 break; // only one incoming edge is enough
387 }
388 }
389
390 // Add CD edges from each instruction preceding the first branch
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000391 // to the first branch. Use a latency of 0 as above.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000392 //
393 for (int i = first-1; i >= 0; i--)
394 {
395 SchedGraphNode* fromNode = this->getGraphNodeForInstr(termMvec[i]);
396 assert(fromNode && "No node for instr generated for branch?");
397 (void) new SchedGraphEdge(fromNode, firstBrNode, SchedGraphEdge::CtrlDep,
398 SchedGraphEdge::NonDataDep, 0);
399 }
400
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000401 // Now add CD edges to the first branch instruction in the sequence from
402 // all preceding instructions in the basic block. Use 0 latency again.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000403 //
Vikram S. Adve200a4352001-11-12 18:53:43 +0000404 const BasicBlock* bb = firstBrNode->getBB();
405 const MachineCodeForBasicBlock& mvec = bb->getMachineInstrVec();
406 for (unsigned i=0, N=mvec.size(); i < N; i++)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000407 {
Vikram S. Adve200a4352001-11-12 18:53:43 +0000408 if (mvec[i] == termMvec[first]) // reached the first branch
409 break;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000410
Vikram S. Adve200a4352001-11-12 18:53:43 +0000411 SchedGraphNode* fromNode = this->getGraphNodeForInstr(mvec[i]);
412 if (fromNode == NULL)
413 continue; // dummy instruction, e.g., PHI
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000414
Vikram S. Adve200a4352001-11-12 18:53:43 +0000415 (void) new SchedGraphEdge(fromNode, firstBrNode,
416 SchedGraphEdge::CtrlDep,
417 SchedGraphEdge::NonDataDep, 0);
418
419 // If we find any other machine instructions (other than due to
420 // the terminator) that also have delay slots, add an outgoing edge
421 // from the instruction to the instructions in the delay slots.
422 //
423 unsigned d = mii.getNumDelaySlots(mvec[i]->getOpCode());
424 assert(i+d < N && "Insufficient delay slots for instruction?");
425
426 for (unsigned j=1; j <= d; j++)
427 {
428 SchedGraphNode* toNode = this->getGraphNodeForInstr(mvec[i+j]);
429 assert(toNode && "No node for machine instr in delay slot?");
430 (void) new SchedGraphEdge(fromNode, toNode,
431 SchedGraphEdge::CtrlDep,
432 SchedGraphEdge::NonDataDep, 0);
433 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000434 }
435}
436
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000437static const int SG_LOAD_REF = 0;
438static const int SG_STORE_REF = 1;
439static const int SG_CALL_REF = 2;
440
441static const unsigned int SG_DepOrderArray[][3] = {
442 { SchedGraphEdge::NonDataDep,
443 SchedGraphEdge::AntiDep,
444 SchedGraphEdge::AntiDep },
445 { SchedGraphEdge::TrueDep,
446 SchedGraphEdge::OutputDep,
447 SchedGraphEdge::TrueDep | SchedGraphEdge::OutputDep },
448 { SchedGraphEdge::TrueDep,
449 SchedGraphEdge::AntiDep | SchedGraphEdge::OutputDep,
450 SchedGraphEdge::TrueDep | SchedGraphEdge::AntiDep
451 | SchedGraphEdge::OutputDep }
452};
453
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000454
Vikram S. Advee64574c2001-11-08 05:20:23 +0000455// Add a dependence edge between every pair of machine load/store/call
456// instructions, where at least one is a store or a call.
457// Use latency 1 just to ensure that memory operations are ordered;
458// latency does not otherwise matter (true dependences enforce that).
459//
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000460void
Vikram S. Advee64574c2001-11-08 05:20:23 +0000461SchedGraph::addMemEdges(const vector<SchedGraphNode*>& memNodeVec,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000462 const TargetMachine& target)
463{
464 const MachineInstrInfo& mii = target.getInstrInfo();
465
Vikram S. Advee64574c2001-11-08 05:20:23 +0000466 // Instructions in memNodeVec are in execution order within the basic block,
467 // so simply look at all pairs <memNodeVec[i], memNodeVec[j: j > i]>.
468 //
469 for (unsigned im=0, NM=memNodeVec.size(); im < NM; im++)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000470 {
Vikram S. Advee64574c2001-11-08 05:20:23 +0000471 MachineOpCode fromOpCode = memNodeVec[im]->getOpCode();
472 int fromType = mii.isCall(fromOpCode)? SG_CALL_REF
473 : mii.isLoad(fromOpCode)? SG_LOAD_REF
474 : SG_STORE_REF;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000475 for (unsigned jm=im+1; jm < NM; jm++)
476 {
Vikram S. Advee64574c2001-11-08 05:20:23 +0000477 MachineOpCode toOpCode = memNodeVec[jm]->getOpCode();
478 int toType = mii.isCall(toOpCode)? SG_CALL_REF
479 : mii.isLoad(toOpCode)? SG_LOAD_REF
480 : SG_STORE_REF;
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000481
Vikram S. Advee64574c2001-11-08 05:20:23 +0000482 if (fromType != SG_LOAD_REF || toType != SG_LOAD_REF)
483 (void) new SchedGraphEdge(memNodeVec[im], memNodeVec[jm],
484 SchedGraphEdge::MemoryDep,
485 SG_DepOrderArray[fromType][toType], 1);
486 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000487 }
Vikram S. Advee64574c2001-11-08 05:20:23 +0000488}
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000489
Vikram S. Advee64574c2001-11-08 05:20:23 +0000490// Add edges from/to CC reg instrs to/from call instrs.
491// Essentially this prevents anything that sets or uses a CC reg from being
492// reordered w.r.t. a call.
493// Use a latency of 0 because we only need to prevent out-of-order issue,
494// like with control dependences.
495//
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000496void
Vikram S. Advee64574c2001-11-08 05:20:23 +0000497SchedGraph::addCallCCEdges(const vector<SchedGraphNode*>& memNodeVec,
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000498 MachineCodeForBasicBlock& bbMvec,
499 const TargetMachine& target)
500{
501 const MachineInstrInfo& mii = target.getInstrInfo();
502 vector<SchedGraphNode*> callNodeVec;
503
Vikram S. Advee64574c2001-11-08 05:20:23 +0000504 // Find the call instruction nodes and put them in a vector.
505 for (unsigned im=0, NM=memNodeVec.size(); im < NM; im++)
506 if (mii.isCall(memNodeVec[im]->getOpCode()))
507 callNodeVec.push_back(memNodeVec[im]);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000508
Vikram S. Advee64574c2001-11-08 05:20:23 +0000509 // Now walk the entire basic block, looking for CC instructions *and*
510 // call instructions, and keep track of the order of the instructions.
511 // Use the call node vec to quickly find earlier and later call nodes
512 // relative to the current CC instruction.
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000513 //
514 int lastCallNodeIdx = -1;
515 for (unsigned i=0, N=bbMvec.size(); i < N; i++)
516 if (mii.isCall(bbMvec[i]->getOpCode()))
517 {
518 ++lastCallNodeIdx;
519 for ( ; lastCallNodeIdx < (int)callNodeVec.size(); ++lastCallNodeIdx)
520 if (callNodeVec[lastCallNodeIdx]->getMachineInstr() == bbMvec[i])
521 break;
522 assert(lastCallNodeIdx < (int)callNodeVec.size() && "Missed Call?");
523 }
524 else if (mii.isCCInstr(bbMvec[i]->getOpCode()))
525 { // Add incoming/outgoing edges from/to preceding/later calls
526 SchedGraphNode* ccNode = this->getGraphNodeForInstr(bbMvec[i]);
527 int j=0;
528 for ( ; j <= lastCallNodeIdx; j++)
529 (void) new SchedGraphEdge(callNodeVec[j], ccNode,
530 MachineCCRegsRID, 0);
531 for ( ; j < (int) callNodeVec.size(); j++)
532 (void) new SchedGraphEdge(ccNode, callNodeVec[j],
533 MachineCCRegsRID, 0);
534 }
535}
536
537
538void
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000539SchedGraph::addMachineRegEdges(RegToRefVecMap& regToRefVecMap,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000540 const TargetMachine& target)
541{
542 assert(bbVec.size() == 1 && "Only handling a single basic block here");
543
544 // This assumes that such hardwired registers are never allocated
545 // to any LLVM value (since register allocation happens later), i.e.,
546 // any uses or defs of this register have been made explicit!
547 // Also assumes that two registers with different numbers are
548 // not aliased!
549 //
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000550 for (RegToRefVecMap::iterator I = regToRefVecMap.begin();
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000551 I != regToRefVecMap.end(); ++I)
552 {
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000553 int regNum = (*I).first;
554 RefVec& regRefVec = (*I).second;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000555
556 // regRefVec is ordered by control flow order in the basic block
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000557 for (unsigned i=0; i < regRefVec.size(); ++i)
558 {
559 SchedGraphNode* node = regRefVec[i].first;
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000560 unsigned int opNum = regRefVec[i].second;
561 bool isDef = node->getMachineInstr()->operandIsDefined(opNum);
562
563 for (unsigned p=0; p < i; ++p)
564 {
565 SchedGraphNode* prevNode = regRefVec[p].first;
566 if (prevNode != node)
567 {
568 unsigned int prevOpNum = regRefVec[p].second;
569 bool prevIsDef =
570 prevNode->getMachineInstr()->operandIsDefined(prevOpNum);
571
572 if (isDef)
573 new SchedGraphEdge(prevNode, node, regNum,
574 (prevIsDef)? SchedGraphEdge::OutputDep
575 : SchedGraphEdge::AntiDep);
576 else if (prevIsDef)
577 new SchedGraphEdge(prevNode, node, regNum,
578 SchedGraphEdge::TrueDep);
579 }
580 }
581 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000582 }
583}
584
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000585
586void
Vikram S. Adve200a4352001-11-12 18:53:43 +0000587SchedGraph::addEdgesForValue(SchedGraphNode* refNode,
588 const RefVec& defVec,
589 const Value* defValue,
590 bool refNodeIsDef,
591 const TargetMachine& target)
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000592{
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())
601 // (*).first is before refNode
602 (void) new SchedGraphEdge((*I).first, refNode, defValue,
603 (refNodeIsDef)? SchedGraphEdge::OutputDep
604 : SchedGraphEdge::TrueDep);
605 else
606 // (*).first is after refNode
607 (void) new SchedGraphEdge(refNode, (*I).first, defValue,
608 (refNodeIsDef)? SchedGraphEdge::OutputDep
609 : SchedGraphEdge::AntiDep);
610 }
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000611}
612
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000613
614void
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000615SchedGraph::addEdgesForInstruction(const MachineInstr& minstr,
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000616 const ValueToDefVecMap& valueToDefVecMap,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000617 const TargetMachine& target)
618{
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000619 SchedGraphNode* node = this->getGraphNodeForInstr(&minstr);
620 if (node == NULL)
621 return;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000622
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000623 // Add edges for all operands of the machine instruction.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000624 //
625 for (unsigned i=0, numOps=minstr.getNumOperands(); i < numOps; i++)
626 {
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000627 const MachineOperand& mop = minstr.getOperand(i);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000628 switch(mop.getOperandType())
629 {
630 case MachineOperand::MO_VirtualRegister:
631 case MachineOperand::MO_CCRegister:
Vikram S. Adve85b46d62001-10-17 23:53:16 +0000632 if (const Instruction* srcI =
633 dyn_cast_or_null<Instruction>(mop.getVRegValue()))
634 {
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000635 ValueToDefVecMap::const_iterator I = valueToDefVecMap.find(srcI);
636 if (I != valueToDefVecMap.end())
Vikram S. Adve200a4352001-11-12 18:53:43 +0000637 addEdgesForValue(node, (*I).second, mop.getVRegValue(),
638 minstr.operandIsDefined(i), target);
Vikram S. Adve85b46d62001-10-17 23:53:16 +0000639 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000640 break;
641
642 case MachineOperand::MO_MachineRegister:
643 break;
644
645 case MachineOperand::MO_SignExtendedImmed:
646 case MachineOperand::MO_UnextendedImmed:
647 case MachineOperand::MO_PCRelativeDisp:
648 break; // nothing to do for immediate fields
649
650 default:
651 assert(0 && "Unknown machine operand type in SchedGraph builder");
652 break;
653 }
654 }
Vikram S. Adve8d0ffa52001-10-11 04:22:45 +0000655
656 // Add edges for values implicitly used by the machine instruction.
657 // Examples include function arguments to a Call instructions or the return
658 // value of a Ret instruction.
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000659 //
Vikram S. Adve8d0ffa52001-10-11 04:22:45 +0000660 for (unsigned i=0, N=minstr.getNumImplicitRefs(); i < N; ++i)
661 if (! minstr.implicitRefIsDefined(i))
Vikram S. Adve85b46d62001-10-17 23:53:16 +0000662 if (const Instruction* srcI =
663 dyn_cast_or_null<Instruction>(minstr.getImplicitRef(i)))
664 {
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000665 ValueToDefVecMap::const_iterator I = valueToDefVecMap.find(srcI);
666 if (I != valueToDefVecMap.end())
Vikram S. Adve200a4352001-11-12 18:53:43 +0000667 addEdgesForValue(node, (*I).second, minstr.getImplicitRef(i),
668 minstr.implicitRefIsDefined(i), target);
Vikram S. Adve85b46d62001-10-17 23:53:16 +0000669 }
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000670}
671
672
Vikram S. Adve200a4352001-11-12 18:53:43 +0000673#undef NEED_SEPARATE_NONSSA_EDGES_CODE
674#ifdef NEED_SEPARATE_NONSSA_EDGES_CODE
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000675void
676SchedGraph::addNonSSAEdgesForValue(const Instruction* instr,
677 const TargetMachine& target)
678{
Chris Lattnerb00c5822001-10-02 03:41:24 +0000679 if (isa<PHINode>(instr))
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000680 return;
Vikram S. Adve200a4352001-11-12 18:53:43 +0000681
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000682 MachineCodeForVMInstr& mvec = instr->getMachineInstrVec();
683 const MachineInstrInfo& mii = target.getInstrInfo();
684 RefVec refVec;
685
686 for (unsigned i=0, N=mvec.size(); i < N; i++)
687 for (int o=0, N = mii.getNumOperands(mvec[i]->getOpCode()); o < N; o++)
688 {
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000689 const MachineOperand& mop = mvec[i]->getOperand(o);
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000690
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000691 if ((mop.getOperandType() == MachineOperand::MO_VirtualRegister ||
692 mop.getOperandType() == MachineOperand::MO_CCRegister)
693 && mop.getVRegValue() == (Value*) instr)
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000694 {
695 // this operand is a definition or use of value `instr'
696 SchedGraphNode* node = this->getGraphNodeForInstr(mvec[i]);
697 assert(node && "No node for machine instruction in this BB?");
Chris Lattner697954c2002-01-20 22:54:45 +0000698 refVec.push_back(std::make_pair(node, o));
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000699 }
700 }
701
702 // refVec is ordered by control flow order of the machine instructions
703 for (unsigned i=0; i < refVec.size(); ++i)
704 {
705 SchedGraphNode* node = refVec[i].first;
706 unsigned int opNum = refVec[i].second;
707 bool isDef = node->getMachineInstr()->operandIsDefined(opNum);
708
709 if (isDef)
710 // add output and/or anti deps to this definition
711 for (unsigned p=0; p < i; ++p)
712 {
713 SchedGraphNode* prevNode = refVec[p].first;
714 if (prevNode != node)
715 {
716 bool prevIsDef = prevNode->getMachineInstr()->
717 operandIsDefined(refVec[p].second);
Vikram S. Adve200a4352001-11-12 18:53:43 +0000718 new SchedGraphEdge(prevNode, node, SchedGraphEdge::ValueDep,
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000719 (prevIsDef)? SchedGraphEdge::OutputDep
720 : SchedGraphEdge::AntiDep);
721 }
722 }
723 }
724}
Chris Lattner4ed17ba2001-11-26 18:56:52 +0000725#endif //NEED_SEPARATE_NONSSA_EDGES_CODE
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000726
727
728void
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000729SchedGraph::findDefUseInfoAtInstr(const TargetMachine& target,
730 SchedGraphNode* node,
Vikram S. Advee64574c2001-11-08 05:20:23 +0000731 vector<SchedGraphNode*>& memNodeVec,
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000732 RegToRefVecMap& regToRefVecMap,
733 ValueToDefVecMap& valueToDefVecMap)
734{
735 const MachineInstrInfo& mii = target.getInstrInfo();
736
Vikram S. Advee64574c2001-11-08 05:20:23 +0000737
738 MachineOpCode opCode = node->getOpCode();
739 if (mii.isLoad(opCode) || mii.isStore(opCode) || mii.isCall(opCode))
740 memNodeVec.push_back(node);
741
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000742 // Collect the register references and value defs. for explicit operands
743 //
744 const MachineInstr& minstr = * node->getMachineInstr();
745 for (int i=0, numOps = (int) minstr.getNumOperands(); i < numOps; i++)
746 {
747 const MachineOperand& mop = minstr.getOperand(i);
748
749 // if this references a register other than the hardwired
750 // "zero" register, record the reference.
751 if (mop.getOperandType() == MachineOperand::MO_MachineRegister)
752 {
753 int regNum = mop.getMachineRegNum();
754 if (regNum != target.getRegInfo().getZeroRegNum())
Chris Lattner697954c2002-01-20 22:54:45 +0000755 regToRefVecMap[mop.getMachineRegNum()].push_back(
756 std::make_pair(node, i));
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000757 continue; // nothing more to do
758 }
759
760 // ignore all other non-def operands
761 if (! minstr.operandIsDefined(i))
762 continue;
763
764 // We must be defining a value.
765 assert((mop.getOperandType() == MachineOperand::MO_VirtualRegister ||
766 mop.getOperandType() == MachineOperand::MO_CCRegister)
767 && "Do not expect any other kind of operand to be defined!");
768
769 const Instruction* defInstr = cast<Instruction>(mop.getVRegValue());
Chris Lattner697954c2002-01-20 22:54:45 +0000770 valueToDefVecMap[defInstr].push_back(std::make_pair(node, i));
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000771 }
Vikram S. Advee64574c2001-11-08 05:20:23 +0000772
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000773 //
774 // Collect value defs. for implicit operands. The interface to extract
775 // them assumes they must be virtual registers!
776 //
777 for (int i=0, N = (int) minstr.getNumImplicitRefs(); i < N; ++i)
778 if (minstr.implicitRefIsDefined(i))
779 if (const Instruction* defInstr =
780 dyn_cast_or_null<Instruction>(minstr.getImplicitRef(i)))
781 {
Chris Lattner697954c2002-01-20 22:54:45 +0000782 valueToDefVecMap[defInstr].push_back(std::make_pair(node, -i));
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000783 }
784}
785
786
787void
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000788SchedGraph::buildNodesforBB(const TargetMachine& target,
789 const BasicBlock* bb,
790 vector<SchedGraphNode*>& memNodeVec,
791 RegToRefVecMap& regToRefVecMap,
792 ValueToDefVecMap& valueToDefVecMap)
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000793{
794 const MachineInstrInfo& mii = target.getInstrInfo();
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000795
796 // Build graph nodes for each VM instruction and gather def/use info.
797 // Do both those together in a single pass over all machine instructions.
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000798 const MachineCodeForBasicBlock& mvec = bb->getMachineInstrVec();
799 for (unsigned i=0; i < mvec.size(); i++)
800 if (! mii.isDummyPhiInstr(mvec[i]->getOpCode()))
801 {
802 SchedGraphNode* node = new SchedGraphNode(getNumNodes(), bb,
803 mvec[i], i, target);
804 this->noteGraphNodeForInstr(mvec[i], node);
805
806 // Remember all register references and value defs
807 findDefUseInfoAtInstr(target, node,
808 memNodeVec, regToRefVecMap,valueToDefVecMap);
809 }
810
811#undef REALLY_NEED_TO_SEARCH_SUCCESSOR_PHIS
812#ifdef REALLY_NEED_TO_SEARCH_SUCCESSOR_PHIS
813 // This is a BIG UGLY HACK. IT NEEDS TO BE ELIMINATED.
814 // Look for copy instructions inserted in this BB due to Phi instructions
815 // in the successor BBs.
816 // There MUST be exactly one copy per Phi in successor nodes.
817 //
818 for (BasicBlock::succ_const_iterator SI=bb->succ_begin(), SE=bb->succ_end();
819 SI != SE; ++SI)
820 for (BasicBlock::const_iterator PI=(*SI)->begin(), PE=(*SI)->end();
821 PI != PE; ++PI)
822 {
823 if ((*PI)->getOpcode() != Instruction::PHINode)
824 break; // No more Phis in this successor
825
826 // Find the incoming value from block bb to block (*SI)
827 int bbIndex = cast<PHINode>(*PI)->getBasicBlockIndex(bb);
828 assert(bbIndex >= 0 && "But I know bb is a predecessor of (*SI)?");
829 Value* inVal = cast<PHINode>(*PI)->getIncomingValue(bbIndex);
830 assert(inVal != NULL && "There must be an in-value on every edge");
831
832 // Find the machine instruction that makes a copy of inval to (*PI).
833 // This must be in the current basic block (bb).
834 const MachineCodeForVMInstr& mvec = (*PI)->getMachineInstrVec();
835 const MachineInstr* theCopy = NULL;
836 for (unsigned i=0; i < mvec.size() && theCopy == NULL; i++)
837 if (! mii.isDummyPhiInstr(mvec[i]->getOpCode()))
838 // not a Phi: assume this is a copy and examine its operands
839 for (int o=0, N=(int) mvec[i]->getNumOperands(); o < N; o++)
840 {
841 const MachineOperand& mop = mvec[i]->getOperand(o);
842 if (mvec[i]->operandIsDefined(o))
843 assert(mop.getVRegValue() == (*PI) && "dest shd be my Phi");
844 else if (mop.getVRegValue() == inVal)
845 { // found the copy!
846 theCopy = mvec[i];
847 break;
848 }
849 }
850
851 // Found the dang instruction. Now create a node and do the rest...
852 if (theCopy != NULL)
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000853 {
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000854 SchedGraphNode* node = new SchedGraphNode(getNumNodes(), bb,
855 theCopy, origIndexInBB++, target);
856 this->noteGraphNodeForInstr(theCopy, node);
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000857 findDefUseInfoAtInstr(target, node,
858 memNodeVec, regToRefVecMap,valueToDefVecMap);
859 }
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000860 }
Chris Lattner4ed17ba2001-11-26 18:56:52 +0000861#endif //REALLY_NEED_TO_SEARCH_SUCCESSOR_PHIS
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000862}
863
864
865void
866SchedGraph::buildGraph(const TargetMachine& target)
867{
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000868 const BasicBlock* bb = bbVec[0];
869
870 assert(bbVec.size() == 1 && "Only handling a single basic block here");
871
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000872 // Use this data structure to note all machine operands that compute
873 // ordinary LLVM values. These must be computed defs (i.e., instructions).
874 // Note that there may be multiple machine instructions that define
875 // each Value.
876 ValueToDefVecMap valueToDefVecMap;
877
Vikram S. Advee64574c2001-11-08 05:20:23 +0000878 // Use this data structure to note all memory instructions.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000879 // We use this to add memory dependence edges without a second full walk.
880 //
Vikram S. Advee64574c2001-11-08 05:20:23 +0000881 // vector<const Instruction*> memVec;
882 vector<SchedGraphNode*> memNodeVec;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000883
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000884 // Use this data structure to note any uses or definitions of
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000885 // machine registers so we can add edges for those later without
886 // extra passes over the nodes.
887 // The vector holds an ordered list of references to the machine reg,
888 // ordered according to control-flow order. This only works for a
889 // single basic block, hence the assertion. Each reference is identified
890 // by the pair: <node, operand-number>.
891 //
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000892 RegToRefVecMap regToRefVecMap;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000893
894 // Make a dummy root node. We'll add edges to the real roots later.
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000895 graphRoot = new SchedGraphNode(0, NULL, NULL, -1, target);
896 graphLeaf = new SchedGraphNode(1, NULL, NULL, -1, target);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000897
898 //----------------------------------------------------------------
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000899 // First add nodes for all the machine instructions in the basic block
900 // because this greatly simplifies identifying which edges to add.
901 // Do this one VM instruction at a time since the SchedGraphNode needs that.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000902 // Also, remember the load/store instructions to add memory deps later.
903 //----------------------------------------------------------------
904
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000905 buildNodesforBB(target, bb, memNodeVec, regToRefVecMap, valueToDefVecMap);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000906
907 //----------------------------------------------------------------
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000908 // Now add edges for the following (all are incoming edges except (4)):
909 // (1) operands of the machine instruction, including hidden operands
910 // (2) machine register dependences
911 // (3) memory load/store dependences
912 // (3) other resource dependences for the machine instruction, if any
913 // (4) output dependences when multiple machine instructions define the
914 // same value; all must have been generated from a single VM instrn
915 // (5) control dependences to branch instructions generated for the
916 // terminator instruction of the BB. Because of delay slots and
917 // 2-way conditional branches, multiple CD edges are needed
918 // (see addCDEdges for details).
919 // Also, note any uses or defs of machine registers.
920 //
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000921 //----------------------------------------------------------------
922
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000923 MachineCodeForBasicBlock& bbMvec = bb->getMachineInstrVec();
924
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000925 // First, add edges to the terminator instruction of the basic block.
926 this->addCDEdges(bb->getTerminator(), target);
927
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000928 // Then add memory dep edges: store->load, load->store, and store->store.
929 // Call instructions are treated as both load and store.
Vikram S. Advee64574c2001-11-08 05:20:23 +0000930 this->addMemEdges(memNodeVec, target);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000931
932 // Then add edges between call instructions and CC set/use instructions
Vikram S. Advee64574c2001-11-08 05:20:23 +0000933 this->addCallCCEdges(memNodeVec, bbMvec, target);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000934
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000935 // Then add incoming def-use (SSA) edges for each machine instruction.
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000936 for (unsigned i=0, N=bbMvec.size(); i < N; i++)
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000937 addEdgesForInstruction(*bbMvec[i], valueToDefVecMap, target);
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000938
Vikram S. Adve200a4352001-11-12 18:53:43 +0000939#ifdef NEED_SEPARATE_NONSSA_EDGES_CODE
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000940 // Then add non-SSA edges for all VM instructions in the block.
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000941 // We assume that all machine instructions that define a value are
942 // generated from the VM instruction corresponding to that value.
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000943 // TODO: This could probably be done much more efficiently.
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000944 for (BasicBlock::const_iterator II = bb->begin(); II != bb->end(); ++II)
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000945 this->addNonSSAEdgesForValue(*II, target);
Chris Lattner4ed17ba2001-11-26 18:56:52 +0000946#endif //NEED_SEPARATE_NONSSA_EDGES_CODE
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000947
948 // Then add edges for dependences on machine registers
949 this->addMachineRegEdges(regToRefVecMap, target);
950
951 // Finally, add edges from the dummy root and to dummy leaf
952 this->addDummyEdges();
953}
954
955
956//
957// class SchedGraphSet
958//
959
960/*ctor*/
961SchedGraphSet::SchedGraphSet(const Method* _method,
962 const TargetMachine& target) :
963 method(_method)
964{
965 buildGraphsForMethod(method, target);
966}
967
968
969/*dtor*/
970SchedGraphSet::~SchedGraphSet()
971{
972 // delete all the graphs
Chris Lattner697954c2002-01-20 22:54:45 +0000973 for (const_iterator I = begin(); I != end(); ++I)
974 delete I->second;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000975}
976
977
978void
979SchedGraphSet::dump() const
980{
Chris Lattner697954c2002-01-20 22:54:45 +0000981 cerr << "======== Sched graphs for method `" << method->getName()
982 << "' ========\n\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000983
984 for (const_iterator I=begin(); I != end(); ++I)
Chris Lattner697954c2002-01-20 22:54:45 +0000985 I->second->dump();
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000986
Chris Lattner697954c2002-01-20 22:54:45 +0000987 cerr << "\n====== End graphs for method `" << method->getName()
988 << "' ========\n\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000989}
990
991
992void
993SchedGraphSet::buildGraphsForMethod(const Method *method,
994 const TargetMachine& target)
995{
996 for (Method::const_iterator BI = method->begin(); BI != method->end(); ++BI)
997 {
998 SchedGraph* graph = new SchedGraph(*BI, target);
999 this->noteGraphForBlock(*BI, graph);
1000 }
1001}
1002
1003
1004
Chris Lattner697954c2002-01-20 22:54:45 +00001005std::ostream &operator<<(std::ostream &os, const SchedGraphEdge& edge)
Vikram S. Adve78ef1392001-08-28 23:06:02 +00001006{
1007 os << "edge [" << edge.src->getNodeId() << "] -> ["
1008 << edge.sink->getNodeId() << "] : ";
1009
1010 switch(edge.depType) {
1011 case SchedGraphEdge::CtrlDep: os<< "Control Dep"; break;
Vikram S. Adve200a4352001-11-12 18:53:43 +00001012 case SchedGraphEdge::ValueDep: os<< "Reg Value " << edge.val; break;
1013 case SchedGraphEdge::MemoryDep: os<< "Memory Dep"; break;
Vikram S. Adve78ef1392001-08-28 23:06:02 +00001014 case SchedGraphEdge::MachineRegister: os<< "Reg " <<edge.machineRegNum;break;
1015 case SchedGraphEdge::MachineResource: os<<"Resource "<<edge.resourceId;break;
1016 default: assert(0); break;
1017 }
1018
Chris Lattner697954c2002-01-20 22:54:45 +00001019 os << " : delay = " << edge.minDelay << "\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +00001020
1021 return os;
1022}
1023
Chris Lattner697954c2002-01-20 22:54:45 +00001024std::ostream &operator<<(std::ostream &os, const SchedGraphNode& node)
Vikram S. Adve78ef1392001-08-28 23:06:02 +00001025{
Chris Lattner697954c2002-01-20 22:54:45 +00001026 os << std::string(8, ' ')
Chris Lattnercee8f9a2001-11-27 00:03:19 +00001027 << "Node " << node.nodeId << " : "
Chris Lattner697954c2002-01-20 22:54:45 +00001028 << "latency = " << node.latency << "\n" << std::string(12, ' ');
Vikram S. Adve78ef1392001-08-28 23:06:02 +00001029
1030 if (node.getMachineInstr() == NULL)
Chris Lattner697954c2002-01-20 22:54:45 +00001031 os << "(Dummy node)\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +00001032 else
1033 {
Chris Lattner697954c2002-01-20 22:54:45 +00001034 os << *node.getMachineInstr() << "\n" << std::string(12, ' ');
1035 os << node.inEdges.size() << " Incoming Edges:\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +00001036 for (unsigned i=0, N=node.inEdges.size(); i < N; i++)
Chris Lattner697954c2002-01-20 22:54:45 +00001037 os << std::string(16, ' ') << *node.inEdges[i];
Vikram S. Adve78ef1392001-08-28 23:06:02 +00001038
Chris Lattner697954c2002-01-20 22:54:45 +00001039 os << std::string(12, ' ') << node.outEdges.size()
1040 << " Outgoing Edges:\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +00001041 for (unsigned i=0, N=node.outEdges.size(); i < N; i++)
Chris Lattner697954c2002-01-20 22:54:45 +00001042 os << std::string(16, ' ') << *node.outEdges[i];
Vikram S. Adve78ef1392001-08-28 23:06:02 +00001043 }
1044
1045 return os;
1046}