blob: 4bcdf47bd9ecb960aa26d0e4c3225d6abe9e8a37 [file] [log] [blame]
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +00001//===- SchedGraph.cpp - Scheduling Graph Implementation -------------------===//
2//
3// Scheduling graph based on SSA graph plus extra dependence edges capturing
4// dependences due to machine resources (machine registers, CC registers, and
5// any others).
6//
7//===----------------------------------------------------------------------===//
Vikram S. Adve78ef1392001-08-28 23:06:02 +00008
Chris Lattner46cbff62001-09-14 16:56:32 +00009#include "SchedGraph.h"
Vikram S. Adve85b46d62001-10-17 23:53:16 +000010#include "llvm/CodeGen/InstrSelection.h"
Chris Lattner0861b0c2002-02-03 07:29:45 +000011#include "llvm/CodeGen/MachineCodeForInstruction.h"
Chris Lattner55291ea2002-10-28 01:41:47 +000012#include "llvm/CodeGen/MachineBasicBlock.h"
Vikram S. Adve8b6d2452001-09-18 12:50:40 +000013#include "llvm/Target/MachineRegInfo.h"
Chris Lattner0861b0c2002-02-03 07:29:45 +000014#include "llvm/Target/TargetMachine.h"
Chris Lattner0be79c62002-10-28 02:28:39 +000015#include "llvm/Target/MachineInstrInfo.h"
Chris Lattner2fbfdcf2002-04-07 20:49:59 +000016#include "llvm/Function.h"
Chris Lattnerb00c5822001-10-02 03:41:24 +000017#include "llvm/iOther.h"
Chris Lattnercee8f9a2001-11-27 00:03:19 +000018#include "Support/StringExtras.h"
Chris Lattner697954c2002-01-20 22:54:45 +000019#include "Support/STLExtras.h"
Vikram S. Adve78ef1392001-08-28 23:06:02 +000020
Chris Lattner697954c2002-01-20 22:54:45 +000021using std::vector;
22using std::pair;
Chris Lattner697954c2002-01-20 22:54:45 +000023using std::cerr;
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000024
25//*********************** Internal Data Structures *************************/
26
Vikram S. Advec352d2c2001-11-05 04:04:23 +000027// The following two types need to be classes, not typedefs, so we can use
28// opaque declarations in SchedGraph.h
29//
30struct RefVec: public vector< pair<SchedGraphNode*, int> > {
31 typedef vector< pair<SchedGraphNode*, int> >:: iterator iterator;
32 typedef vector< pair<SchedGraphNode*, int> >::const_iterator const_iterator;
33};
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000034
Chris Lattner80c685f2001-10-13 06:51:01 +000035struct RegToRefVecMap: public hash_map<int, RefVec> {
Vikram S. Advec352d2c2001-11-05 04:04:23 +000036 typedef hash_map<int, RefVec>:: iterator iterator;
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000037 typedef hash_map<int, RefVec>::const_iterator const_iterator;
38};
39
Vikram S. Advec352d2c2001-11-05 04:04:23 +000040struct ValueToDefVecMap: public hash_map<const Instruction*, RefVec> {
41 typedef hash_map<const Instruction*, RefVec>:: iterator iterator;
42 typedef hash_map<const Instruction*, RefVec>::const_iterator const_iterator;
43};
44
Vikram S. Adve78ef1392001-08-28 23:06:02 +000045//
46// class SchedGraphEdge
47//
48
49/*ctor*/
50SchedGraphEdge::SchedGraphEdge(SchedGraphNode* _src,
51 SchedGraphNode* _sink,
52 SchedGraphEdgeDepType _depType,
Vikram S. Advea93bbac2001-10-28 21:43:33 +000053 unsigned int _depOrderType,
Vikram S. Adve78ef1392001-08-28 23:06:02 +000054 int _minDelay)
55 : src(_src),
56 sink(_sink),
57 depType(_depType),
58 depOrderType(_depOrderType),
Chris Lattner80c685f2001-10-13 06:51:01 +000059 minDelay((_minDelay >= 0)? _minDelay : _src->getLatency()),
60 val(NULL)
Vikram S. Adve78ef1392001-08-28 23:06:02 +000061{
Vikram S. Adve200a4352001-11-12 18:53:43 +000062 assert(src != sink && "Self-loop in scheduling graph!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +000063 src->addOutEdge(this);
64 sink->addInEdge(this);
65}
66
67
68/*ctor*/
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000069SchedGraphEdge::SchedGraphEdge(SchedGraphNode* _src,
70 SchedGraphNode* _sink,
71 const Value* _val,
Vikram S. Advea93bbac2001-10-28 21:43:33 +000072 unsigned int _depOrderType,
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000073 int _minDelay)
Vikram S. Adve78ef1392001-08-28 23:06:02 +000074 : src(_src),
75 sink(_sink),
Vikram S. Adve200a4352001-11-12 18:53:43 +000076 depType(ValueDep),
Vikram S. Adve78ef1392001-08-28 23:06:02 +000077 depOrderType(_depOrderType),
Chris Lattner80c685f2001-10-13 06:51:01 +000078 minDelay((_minDelay >= 0)? _minDelay : _src->getLatency()),
79 val(_val)
Vikram S. Adve78ef1392001-08-28 23:06:02 +000080{
Vikram S. Adve200a4352001-11-12 18:53:43 +000081 assert(src != sink && "Self-loop in scheduling graph!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +000082 src->addOutEdge(this);
83 sink->addInEdge(this);
84}
85
86
87/*ctor*/
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000088SchedGraphEdge::SchedGraphEdge(SchedGraphNode* _src,
89 SchedGraphNode* _sink,
90 unsigned int _regNum,
Vikram S. Advea93bbac2001-10-28 21:43:33 +000091 unsigned int _depOrderType,
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000092 int _minDelay)
Vikram S. Adve78ef1392001-08-28 23:06:02 +000093 : src(_src),
94 sink(_sink),
95 depType(MachineRegister),
96 depOrderType(_depOrderType),
97 minDelay((_minDelay >= 0)? _minDelay : _src->getLatency()),
98 machineRegNum(_regNum)
99{
Vikram S. Adve200a4352001-11-12 18:53:43 +0000100 assert(src != sink && "Self-loop in scheduling graph!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000101 src->addOutEdge(this);
102 sink->addInEdge(this);
103}
104
105
106/*ctor*/
107SchedGraphEdge::SchedGraphEdge(SchedGraphNode* _src,
108 SchedGraphNode* _sink,
109 ResourceId _resourceId,
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000110 int _minDelay)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000111 : src(_src),
112 sink(_sink),
113 depType(MachineResource),
114 depOrderType(NonDataDep),
115 minDelay((_minDelay >= 0)? _minDelay : _src->getLatency()),
116 resourceId(_resourceId)
117{
Vikram S. Adve200a4352001-11-12 18:53:43 +0000118 assert(src != sink && "Self-loop in scheduling graph!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000119 src->addOutEdge(this);
120 sink->addInEdge(this);
121}
122
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000123/*dtor*/
124SchedGraphEdge::~SchedGraphEdge()
125{
126}
127
Chris Lattner0c0edf82002-07-25 06:17:51 +0000128void SchedGraphEdge::dump(int indent) const {
Chris Lattner697954c2002-01-20 22:54:45 +0000129 cerr << std::string(indent*2, ' ') << *this;
Chris Lattnerc83e9542001-09-07 21:21:03 +0000130}
131
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000132
133//
134// class SchedGraphNode
135//
136
137/*ctor*/
138SchedGraphNode::SchedGraphNode(unsigned int _nodeId,
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000139 const BasicBlock* _bb,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000140 const MachineInstr* _minstr,
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000141 int indexInBB,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000142 const TargetMachine& target)
143 : nodeId(_nodeId),
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000144 bb(_bb),
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000145 minstr(_minstr),
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000146 origIndexInBB(indexInBB),
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000147 latency(0)
148{
149 if (minstr)
150 {
151 MachineOpCode mopCode = minstr->getOpCode();
152 latency = target.getInstrInfo().hasResultInterlock(mopCode)
153 ? target.getInstrInfo().minLatency(mopCode)
154 : target.getInstrInfo().maxLatency(mopCode);
155 }
156}
157
158
159/*dtor*/
160SchedGraphNode::~SchedGraphNode()
161{
Chris Lattnerf3dd05c2002-04-09 05:15:33 +0000162 // for each node, delete its out-edges
163 std::for_each(beginOutEdges(), endOutEdges(),
164 deleter<SchedGraphEdge>);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000165}
166
Chris Lattner0c0edf82002-07-25 06:17:51 +0000167void SchedGraphNode::dump(int indent) const {
Chris Lattner697954c2002-01-20 22:54:45 +0000168 cerr << std::string(indent*2, ' ') << *this;
Chris Lattnerc83e9542001-09-07 21:21:03 +0000169}
170
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000171
172inline void
173SchedGraphNode::addInEdge(SchedGraphEdge* edge)
174{
175 inEdges.push_back(edge);
176}
177
178
179inline void
180SchedGraphNode::addOutEdge(SchedGraphEdge* edge)
181{
182 outEdges.push_back(edge);
183}
184
185inline void
186SchedGraphNode::removeInEdge(const SchedGraphEdge* edge)
187{
188 assert(edge->getSink() == this);
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000189
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000190 for (iterator I = beginInEdges(); I != endInEdges(); ++I)
191 if ((*I) == edge)
192 {
193 inEdges.erase(I);
194 break;
195 }
196}
197
198inline void
199SchedGraphNode::removeOutEdge(const SchedGraphEdge* edge)
200{
201 assert(edge->getSrc() == this);
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000202
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000203 for (iterator I = beginOutEdges(); I != endOutEdges(); ++I)
204 if ((*I) == edge)
205 {
206 outEdges.erase(I);
207 break;
208 }
209}
210
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000211
212//
213// class SchedGraph
214//
215
216
217/*ctor*/
218SchedGraph::SchedGraph(const BasicBlock* bb,
219 const TargetMachine& target)
220{
221 bbVec.push_back(bb);
Chris Lattner697954c2002-01-20 22:54:45 +0000222 buildGraph(target);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000223}
224
225
226/*dtor*/
227SchedGraph::~SchedGraph()
228{
Chris Lattner697954c2002-01-20 22:54:45 +0000229 for (const_iterator I = begin(); I != end(); ++I)
Chris Lattnerf3dd05c2002-04-09 05:15:33 +0000230 delete I->second;
231 delete graphRoot;
232 delete graphLeaf;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000233}
234
235
236void
237SchedGraph::dump() const
238{
Chris Lattner697954c2002-01-20 22:54:45 +0000239 cerr << " Sched Graph for Basic Blocks: ";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000240 for (unsigned i=0, N=bbVec.size(); i < N; i++)
241 {
Chris Lattner697954c2002-01-20 22:54:45 +0000242 cerr << (bbVec[i]->hasName()? bbVec[i]->getName() : "block")
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000243 << " (" << bbVec[i] << ")"
244 << ((i == N-1)? "" : ", ");
245 }
246
Chris Lattner697954c2002-01-20 22:54:45 +0000247 cerr << "\n\n Actual Root nodes : ";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000248 for (unsigned i=0, N=graphRoot->outEdges.size(); i < N; i++)
Chris Lattner697954c2002-01-20 22:54:45 +0000249 cerr << graphRoot->outEdges[i]->getSink()->getNodeId()
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000250 << ((i == N-1)? "" : ", ");
251
Chris Lattner697954c2002-01-20 22:54:45 +0000252 cerr << "\n Graph Nodes:\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000253 for (const_iterator I=begin(); I != end(); ++I)
Chris Lattner697954c2002-01-20 22:54:45 +0000254 cerr << "\n" << *I->second;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000255
Chris Lattner697954c2002-01-20 22:54:45 +0000256 cerr << "\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000257}
258
259
260void
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000261SchedGraph::eraseIncomingEdges(SchedGraphNode* node, bool addDummyEdges)
262{
263 // Delete and disconnect all in-edges for the node
264 for (SchedGraphNode::iterator I = node->beginInEdges();
265 I != node->endInEdges(); ++I)
266 {
267 SchedGraphNode* srcNode = (*I)->getSrc();
268 srcNode->removeOutEdge(*I);
269 delete *I;
270
271 if (addDummyEdges &&
272 srcNode != getRoot() &&
273 srcNode->beginOutEdges() == srcNode->endOutEdges())
274 { // srcNode has no more out edges, so add an edge to dummy EXIT node
275 assert(node != getLeaf() && "Adding edge that was just removed?");
276 (void) new SchedGraphEdge(srcNode, getLeaf(),
277 SchedGraphEdge::CtrlDep, SchedGraphEdge::NonDataDep, 0);
278 }
279 }
280
281 node->inEdges.clear();
282}
283
284void
285SchedGraph::eraseOutgoingEdges(SchedGraphNode* node, bool addDummyEdges)
286{
287 // Delete and disconnect all out-edges for the node
288 for (SchedGraphNode::iterator I = node->beginOutEdges();
289 I != node->endOutEdges(); ++I)
290 {
291 SchedGraphNode* sinkNode = (*I)->getSink();
292 sinkNode->removeInEdge(*I);
293 delete *I;
294
295 if (addDummyEdges &&
296 sinkNode != getLeaf() &&
297 sinkNode->beginInEdges() == sinkNode->endInEdges())
298 { //sinkNode has no more in edges, so add an edge from dummy ENTRY node
299 assert(node != getRoot() && "Adding edge that was just removed?");
300 (void) new SchedGraphEdge(getRoot(), sinkNode,
301 SchedGraphEdge::CtrlDep, SchedGraphEdge::NonDataDep, 0);
302 }
303 }
304
305 node->outEdges.clear();
306}
307
308void
309SchedGraph::eraseIncidentEdges(SchedGraphNode* node, bool addDummyEdges)
310{
311 this->eraseIncomingEdges(node, addDummyEdges);
312 this->eraseOutgoingEdges(node, addDummyEdges);
313}
314
315
316void
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000317SchedGraph::addDummyEdges()
318{
319 assert(graphRoot->outEdges.size() == 0);
320
321 for (const_iterator I=begin(); I != end(); ++I)
322 {
323 SchedGraphNode* node = (*I).second;
324 assert(node != graphRoot && node != graphLeaf);
325 if (node->beginInEdges() == node->endInEdges())
326 (void) new SchedGraphEdge(graphRoot, node, SchedGraphEdge::CtrlDep,
327 SchedGraphEdge::NonDataDep, 0);
328 if (node->beginOutEdges() == node->endOutEdges())
329 (void) new SchedGraphEdge(node, graphLeaf, SchedGraphEdge::CtrlDep,
330 SchedGraphEdge::NonDataDep, 0);
331 }
332}
333
334
335void
336SchedGraph::addCDEdges(const TerminatorInst* term,
337 const TargetMachine& target)
338{
339 const MachineInstrInfo& mii = target.getInstrInfo();
Chris Lattner0861b0c2002-02-03 07:29:45 +0000340 MachineCodeForInstruction &termMvec = MachineCodeForInstruction::get(term);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000341
342 // Find the first branch instr in the sequence of machine instrs for term
343 //
344 unsigned first = 0;
Vikram S. Adveacf0f702002-10-13 00:39:22 +0000345 while (! mii.isBranch(termMvec[first]->getOpCode()) &&
346 ! mii.isReturn(termMvec[first]->getOpCode()))
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000347 ++first;
348 assert(first < termMvec.size() &&
Vikram S. Adveacf0f702002-10-13 00:39:22 +0000349 "No branch instructions for terminator? Ok, but weird!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000350 if (first == termMvec.size())
351 return;
Vikram S. Adveacf0f702002-10-13 00:39:22 +0000352
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +0000353 SchedGraphNode* firstBrNode = getGraphNodeForInstr(termMvec[first]);
Vikram S. Adveacf0f702002-10-13 00:39:22 +0000354
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000355 // Add CD edges from each instruction in the sequence to the
356 // *last preceding* branch instr. in the sequence
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000357 // Use a latency of 0 because we only need to prevent out-of-order issue.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000358 //
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +0000359 for (unsigned i = termMvec.size(); i > first+1; --i)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000360 {
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +0000361 SchedGraphNode* toNode = getGraphNodeForInstr(termMvec[i-1]);
Vikram S. Adveacf0f702002-10-13 00:39:22 +0000362 assert(toNode && "No node for instr generated for branch/ret?");
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000363
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +0000364 for (unsigned j = i-1; j != 0; --j)
Vikram S. Adveacf0f702002-10-13 00:39:22 +0000365 if (mii.isBranch(termMvec[j-1]->getOpCode()) ||
366 mii.isReturn(termMvec[j-1]->getOpCode()))
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000367 {
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +0000368 SchedGraphNode* brNode = getGraphNodeForInstr(termMvec[j-1]);
Vikram S. Adveacf0f702002-10-13 00:39:22 +0000369 assert(brNode && "No node for instr generated for branch/ret?");
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000370 (void) new SchedGraphEdge(brNode, toNode, SchedGraphEdge::CtrlDep,
371 SchedGraphEdge::NonDataDep, 0);
372 break; // only one incoming edge is enough
373 }
374 }
375
376 // Add CD edges from each instruction preceding the first branch
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000377 // to the first branch. Use a latency of 0 as above.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000378 //
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +0000379 for (unsigned i = first; i != 0; --i)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000380 {
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +0000381 SchedGraphNode* fromNode = getGraphNodeForInstr(termMvec[i-1]);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000382 assert(fromNode && "No node for instr generated for branch?");
383 (void) new SchedGraphEdge(fromNode, firstBrNode, SchedGraphEdge::CtrlDep,
384 SchedGraphEdge::NonDataDep, 0);
385 }
386
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000387 // Now add CD edges to the first branch instruction in the sequence from
388 // all preceding instructions in the basic block. Use 0 latency again.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000389 //
Vikram S. Adve200a4352001-11-12 18:53:43 +0000390 const BasicBlock* bb = firstBrNode->getBB();
Chris Lattner55291ea2002-10-28 01:41:47 +0000391 const MachineBasicBlock& mvec = MachineBasicBlock::get(bb);
Vikram S. Adve200a4352001-11-12 18:53:43 +0000392 for (unsigned i=0, N=mvec.size(); i < N; i++)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000393 {
Vikram S. Adveacf0f702002-10-13 00:39:22 +0000394 if (mvec[i] == termMvec[first]) // reached the first branch
Vikram S. Adve200a4352001-11-12 18:53:43 +0000395 break;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000396
Vikram S. Adve200a4352001-11-12 18:53:43 +0000397 SchedGraphNode* fromNode = this->getGraphNodeForInstr(mvec[i]);
398 if (fromNode == NULL)
399 continue; // dummy instruction, e.g., PHI
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000400
Vikram S. Adve200a4352001-11-12 18:53:43 +0000401 (void) new SchedGraphEdge(fromNode, firstBrNode,
402 SchedGraphEdge::CtrlDep,
403 SchedGraphEdge::NonDataDep, 0);
404
405 // If we find any other machine instructions (other than due to
406 // the terminator) that also have delay slots, add an outgoing edge
407 // from the instruction to the instructions in the delay slots.
408 //
409 unsigned d = mii.getNumDelaySlots(mvec[i]->getOpCode());
410 assert(i+d < N && "Insufficient delay slots for instruction?");
411
412 for (unsigned j=1; j <= d; j++)
413 {
414 SchedGraphNode* toNode = this->getGraphNodeForInstr(mvec[i+j]);
415 assert(toNode && "No node for machine instr in delay slot?");
416 (void) new SchedGraphEdge(fromNode, toNode,
417 SchedGraphEdge::CtrlDep,
418 SchedGraphEdge::NonDataDep, 0);
419 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000420 }
421}
422
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000423static const int SG_LOAD_REF = 0;
424static const int SG_STORE_REF = 1;
425static const int SG_CALL_REF = 2;
426
427static const unsigned int SG_DepOrderArray[][3] = {
428 { SchedGraphEdge::NonDataDep,
429 SchedGraphEdge::AntiDep,
430 SchedGraphEdge::AntiDep },
431 { SchedGraphEdge::TrueDep,
432 SchedGraphEdge::OutputDep,
433 SchedGraphEdge::TrueDep | SchedGraphEdge::OutputDep },
434 { SchedGraphEdge::TrueDep,
435 SchedGraphEdge::AntiDep | SchedGraphEdge::OutputDep,
436 SchedGraphEdge::TrueDep | SchedGraphEdge::AntiDep
437 | SchedGraphEdge::OutputDep }
438};
439
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000440
Vikram S. Advee64574c2001-11-08 05:20:23 +0000441// Add a dependence edge between every pair of machine load/store/call
442// instructions, where at least one is a store or a call.
443// Use latency 1 just to ensure that memory operations are ordered;
444// latency does not otherwise matter (true dependences enforce that).
445//
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000446void
Vikram S. Advee64574c2001-11-08 05:20:23 +0000447SchedGraph::addMemEdges(const vector<SchedGraphNode*>& memNodeVec,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000448 const TargetMachine& target)
449{
450 const MachineInstrInfo& mii = target.getInstrInfo();
451
Vikram S. Advee64574c2001-11-08 05:20:23 +0000452 // Instructions in memNodeVec are in execution order within the basic block,
453 // so simply look at all pairs <memNodeVec[i], memNodeVec[j: j > i]>.
454 //
455 for (unsigned im=0, NM=memNodeVec.size(); im < NM; im++)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000456 {
Vikram S. Advee64574c2001-11-08 05:20:23 +0000457 MachineOpCode fromOpCode = memNodeVec[im]->getOpCode();
458 int fromType = mii.isCall(fromOpCode)? SG_CALL_REF
459 : mii.isLoad(fromOpCode)? SG_LOAD_REF
460 : SG_STORE_REF;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000461 for (unsigned jm=im+1; jm < NM; jm++)
462 {
Vikram S. Advee64574c2001-11-08 05:20:23 +0000463 MachineOpCode toOpCode = memNodeVec[jm]->getOpCode();
464 int toType = mii.isCall(toOpCode)? SG_CALL_REF
465 : mii.isLoad(toOpCode)? SG_LOAD_REF
466 : SG_STORE_REF;
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000467
Vikram S. Advee64574c2001-11-08 05:20:23 +0000468 if (fromType != SG_LOAD_REF || toType != SG_LOAD_REF)
469 (void) new SchedGraphEdge(memNodeVec[im], memNodeVec[jm],
470 SchedGraphEdge::MemoryDep,
471 SG_DepOrderArray[fromType][toType], 1);
472 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000473 }
Vikram S. Advee64574c2001-11-08 05:20:23 +0000474}
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000475
Vikram S. Advee64574c2001-11-08 05:20:23 +0000476// Add edges from/to CC reg instrs to/from call instrs.
477// Essentially this prevents anything that sets or uses a CC reg from being
478// reordered w.r.t. a call.
479// Use a latency of 0 because we only need to prevent out-of-order issue,
480// like with control dependences.
481//
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000482void
Vikram S. Advee64574c2001-11-08 05:20:23 +0000483SchedGraph::addCallCCEdges(const vector<SchedGraphNode*>& memNodeVec,
Chris Lattner55291ea2002-10-28 01:41:47 +0000484 MachineBasicBlock& bbMvec,
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000485 const TargetMachine& target)
486{
487 const MachineInstrInfo& mii = target.getInstrInfo();
488 vector<SchedGraphNode*> callNodeVec;
489
Vikram S. Advee64574c2001-11-08 05:20:23 +0000490 // Find the call instruction nodes and put them in a vector.
491 for (unsigned im=0, NM=memNodeVec.size(); im < NM; im++)
492 if (mii.isCall(memNodeVec[im]->getOpCode()))
493 callNodeVec.push_back(memNodeVec[im]);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000494
Vikram S. Advee64574c2001-11-08 05:20:23 +0000495 // Now walk the entire basic block, looking for CC instructions *and*
496 // call instructions, and keep track of the order of the instructions.
497 // Use the call node vec to quickly find earlier and later call nodes
498 // relative to the current CC instruction.
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000499 //
500 int lastCallNodeIdx = -1;
501 for (unsigned i=0, N=bbMvec.size(); i < N; i++)
502 if (mii.isCall(bbMvec[i]->getOpCode()))
503 {
504 ++lastCallNodeIdx;
505 for ( ; lastCallNodeIdx < (int)callNodeVec.size(); ++lastCallNodeIdx)
506 if (callNodeVec[lastCallNodeIdx]->getMachineInstr() == bbMvec[i])
507 break;
508 assert(lastCallNodeIdx < (int)callNodeVec.size() && "Missed Call?");
509 }
510 else if (mii.isCCInstr(bbMvec[i]->getOpCode()))
511 { // Add incoming/outgoing edges from/to preceding/later calls
512 SchedGraphNode* ccNode = this->getGraphNodeForInstr(bbMvec[i]);
513 int j=0;
514 for ( ; j <= lastCallNodeIdx; j++)
515 (void) new SchedGraphEdge(callNodeVec[j], ccNode,
516 MachineCCRegsRID, 0);
517 for ( ; j < (int) callNodeVec.size(); j++)
518 (void) new SchedGraphEdge(ccNode, callNodeVec[j],
519 MachineCCRegsRID, 0);
520 }
521}
522
523
524void
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000525SchedGraph::addMachineRegEdges(RegToRefVecMap& regToRefVecMap,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000526 const TargetMachine& target)
527{
528 assert(bbVec.size() == 1 && "Only handling a single basic block here");
529
530 // This assumes that such hardwired registers are never allocated
531 // to any LLVM value (since register allocation happens later), i.e.,
532 // any uses or defs of this register have been made explicit!
533 // Also assumes that two registers with different numbers are
534 // not aliased!
535 //
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000536 for (RegToRefVecMap::iterator I = regToRefVecMap.begin();
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000537 I != regToRefVecMap.end(); ++I)
538 {
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000539 int regNum = (*I).first;
540 RefVec& regRefVec = (*I).second;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000541
542 // regRefVec is ordered by control flow order in the basic block
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000543 for (unsigned i=0; i < regRefVec.size(); ++i)
544 {
545 SchedGraphNode* node = regRefVec[i].first;
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000546 unsigned int opNum = regRefVec[i].second;
547 bool isDef = node->getMachineInstr()->operandIsDefined(opNum);
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000548 bool isDefAndUse =
549 node->getMachineInstr()->operandIsDefinedAndUsed(opNum);
550
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000551 for (unsigned p=0; p < i; ++p)
552 {
553 SchedGraphNode* prevNode = regRefVec[p].first;
554 if (prevNode != node)
555 {
556 unsigned int prevOpNum = regRefVec[p].second;
557 bool prevIsDef =
558 prevNode->getMachineInstr()->operandIsDefined(prevOpNum);
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000559 bool prevIsDefAndUse =
560 prevNode->getMachineInstr()->operandIsDefinedAndUsed(prevOpNum);
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000561 if (isDef)
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000562 {
563 if (prevIsDef)
564 new SchedGraphEdge(prevNode, node, regNum,
565 SchedGraphEdge::OutputDep);
566 if (!prevIsDef || prevIsDefAndUse)
567 new SchedGraphEdge(prevNode, node, regNum,
568 SchedGraphEdge::AntiDep);
569 }
570
571 if (prevIsDef)
572 if (!isDef || isDefAndUse)
573 new SchedGraphEdge(prevNode, node, regNum,
574 SchedGraphEdge::TrueDep);
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000575 }
576 }
577 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000578 }
579}
580
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000581
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000582// Adds dependences to/from refNode from/to all other defs
583// in the basic block. refNode may be a use, a def, or both.
584// We do not consider other uses because we are not building use-use deps.
585//
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000586void
Vikram S. Adve200a4352001-11-12 18:53:43 +0000587SchedGraph::addEdgesForValue(SchedGraphNode* refNode,
588 const RefVec& defVec,
589 const Value* defValue,
590 bool refNodeIsDef,
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000591 bool refNodeIsDefAndUse,
Vikram S. Adve200a4352001-11-12 18:53:43 +0000592 const TargetMachine& target)
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000593{
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000594 bool refNodeIsUse = !refNodeIsDef || refNodeIsDefAndUse;
595
Vikram S. Adve200a4352001-11-12 18:53:43 +0000596 // Add true or output dep edges from all def nodes before refNode in BB.
597 // Add anti or output dep edges to all def nodes after refNode.
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000598 for (RefVec::const_iterator I=defVec.begin(), E=defVec.end(); I != E; ++I)
Vikram S. Adve200a4352001-11-12 18:53:43 +0000599 {
600 if ((*I).first == refNode)
601 continue; // Dont add any self-loops
602
603 if ((*I).first->getOrigIndexInBB() < refNode->getOrigIndexInBB())
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000604 { // (*).first is before refNode
605 if (refNodeIsDef)
606 (void) new SchedGraphEdge((*I).first, refNode, defValue,
607 SchedGraphEdge::OutputDep);
608 if (refNodeIsUse)
609 (void) new SchedGraphEdge((*I).first, refNode, defValue,
610 SchedGraphEdge::TrueDep);
611 }
Vikram S. Adve200a4352001-11-12 18:53:43 +0000612 else
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000613 { // (*).first is after refNode
614 if (refNodeIsDef)
615 (void) new SchedGraphEdge(refNode, (*I).first, defValue,
616 SchedGraphEdge::OutputDep);
617 if (refNodeIsUse)
618 (void) new SchedGraphEdge(refNode, (*I).first, defValue,
619 SchedGraphEdge::AntiDep);
620 }
Vikram S. Adve200a4352001-11-12 18:53:43 +0000621 }
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000622}
623
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000624
625void
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000626SchedGraph::addEdgesForInstruction(const MachineInstr& minstr,
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000627 const ValueToDefVecMap& valueToDefVecMap,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000628 const TargetMachine& target)
629{
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000630 SchedGraphNode* node = this->getGraphNodeForInstr(&minstr);
631 if (node == NULL)
632 return;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000633
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000634 // Add edges for all operands of the machine instruction.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000635 //
636 for (unsigned i=0, numOps=minstr.getNumOperands(); i < numOps; i++)
637 {
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000638 const MachineOperand& mop = minstr.getOperand(i);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000639 switch(mop.getOperandType())
640 {
641 case MachineOperand::MO_VirtualRegister:
642 case MachineOperand::MO_CCRegister:
Vikram S. Adve85b46d62001-10-17 23:53:16 +0000643 if (const Instruction* srcI =
644 dyn_cast_or_null<Instruction>(mop.getVRegValue()))
645 {
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000646 ValueToDefVecMap::const_iterator I = valueToDefVecMap.find(srcI);
647 if (I != valueToDefVecMap.end())
Vikram S. Adve200a4352001-11-12 18:53:43 +0000648 addEdgesForValue(node, (*I).second, mop.getVRegValue(),
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000649 minstr.operandIsDefined(i),
650 minstr.operandIsDefinedAndUsed(i), target);
Vikram S. Adve85b46d62001-10-17 23:53:16 +0000651 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000652 break;
653
654 case MachineOperand::MO_MachineRegister:
655 break;
656
657 case MachineOperand::MO_SignExtendedImmed:
658 case MachineOperand::MO_UnextendedImmed:
659 case MachineOperand::MO_PCRelativeDisp:
660 break; // nothing to do for immediate fields
661
662 default:
663 assert(0 && "Unknown machine operand type in SchedGraph builder");
664 break;
665 }
666 }
Vikram S. Adve8d0ffa52001-10-11 04:22:45 +0000667
668 // Add edges for values implicitly used by the machine instruction.
669 // Examples include function arguments to a Call instructions or the return
670 // value of a Ret instruction.
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000671 //
Vikram S. Adve8d0ffa52001-10-11 04:22:45 +0000672 for (unsigned i=0, N=minstr.getNumImplicitRefs(); i < N; ++i)
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000673 if (! minstr.implicitRefIsDefined(i) ||
674 minstr.implicitRefIsDefinedAndUsed(i))
Vikram S. Adve85b46d62001-10-17 23:53:16 +0000675 if (const Instruction* srcI =
676 dyn_cast_or_null<Instruction>(minstr.getImplicitRef(i)))
677 {
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000678 ValueToDefVecMap::const_iterator I = valueToDefVecMap.find(srcI);
679 if (I != valueToDefVecMap.end())
Vikram S. Adve200a4352001-11-12 18:53:43 +0000680 addEdgesForValue(node, (*I).second, minstr.getImplicitRef(i),
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000681 minstr.implicitRefIsDefined(i),
682 minstr.implicitRefIsDefinedAndUsed(i), target);
Vikram S. Adve85b46d62001-10-17 23:53:16 +0000683 }
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000684}
685
686
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000687void
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000688SchedGraph::findDefUseInfoAtInstr(const TargetMachine& target,
689 SchedGraphNode* node,
Vikram S. Advee64574c2001-11-08 05:20:23 +0000690 vector<SchedGraphNode*>& memNodeVec,
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000691 RegToRefVecMap& regToRefVecMap,
692 ValueToDefVecMap& valueToDefVecMap)
693{
694 const MachineInstrInfo& mii = target.getInstrInfo();
695
Vikram S. Advee64574c2001-11-08 05:20:23 +0000696
697 MachineOpCode opCode = node->getOpCode();
698 if (mii.isLoad(opCode) || mii.isStore(opCode) || mii.isCall(opCode))
699 memNodeVec.push_back(node);
700
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000701 // Collect the register references and value defs. for explicit operands
702 //
703 const MachineInstr& minstr = * node->getMachineInstr();
704 for (int i=0, numOps = (int) minstr.getNumOperands(); i < numOps; i++)
705 {
706 const MachineOperand& mop = minstr.getOperand(i);
707
708 // if this references a register other than the hardwired
709 // "zero" register, record the reference.
710 if (mop.getOperandType() == MachineOperand::MO_MachineRegister)
711 {
712 int regNum = mop.getMachineRegNum();
713 if (regNum != target.getRegInfo().getZeroRegNum())
Chris Lattner697954c2002-01-20 22:54:45 +0000714 regToRefVecMap[mop.getMachineRegNum()].push_back(
715 std::make_pair(node, i));
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000716 continue; // nothing more to do
717 }
718
719 // ignore all other non-def operands
720 if (! minstr.operandIsDefined(i))
721 continue;
722
723 // We must be defining a value.
724 assert((mop.getOperandType() == MachineOperand::MO_VirtualRegister ||
725 mop.getOperandType() == MachineOperand::MO_CCRegister)
726 && "Do not expect any other kind of operand to be defined!");
727
728 const Instruction* defInstr = cast<Instruction>(mop.getVRegValue());
Chris Lattner697954c2002-01-20 22:54:45 +0000729 valueToDefVecMap[defInstr].push_back(std::make_pair(node, i));
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000730 }
Vikram S. Advee64574c2001-11-08 05:20:23 +0000731
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000732 //
733 // Collect value defs. for implicit operands. The interface to extract
734 // them assumes they must be virtual registers!
735 //
736 for (int i=0, N = (int) minstr.getNumImplicitRefs(); i < N; ++i)
737 if (minstr.implicitRefIsDefined(i))
738 if (const Instruction* defInstr =
739 dyn_cast_or_null<Instruction>(minstr.getImplicitRef(i)))
740 {
Chris Lattner697954c2002-01-20 22:54:45 +0000741 valueToDefVecMap[defInstr].push_back(std::make_pair(node, -i));
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000742 }
743}
744
745
746void
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000747SchedGraph::buildNodesforBB(const TargetMachine& target,
748 const BasicBlock* bb,
749 vector<SchedGraphNode*>& memNodeVec,
750 RegToRefVecMap& regToRefVecMap,
751 ValueToDefVecMap& valueToDefVecMap)
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000752{
753 const MachineInstrInfo& mii = target.getInstrInfo();
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000754
755 // Build graph nodes for each VM instruction and gather def/use info.
756 // Do both those together in a single pass over all machine instructions.
Chris Lattner55291ea2002-10-28 01:41:47 +0000757 const MachineBasicBlock& mvec = MachineBasicBlock::get(bb);
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000758 for (unsigned i=0; i < mvec.size(); i++)
759 if (! mii.isDummyPhiInstr(mvec[i]->getOpCode()))
760 {
761 SchedGraphNode* node = new SchedGraphNode(getNumNodes(), bb,
762 mvec[i], i, target);
763 this->noteGraphNodeForInstr(mvec[i], node);
764
765 // Remember all register references and value defs
766 findDefUseInfoAtInstr(target, node,
767 memNodeVec, regToRefVecMap,valueToDefVecMap);
768 }
769
770#undef REALLY_NEED_TO_SEARCH_SUCCESSOR_PHIS
771#ifdef REALLY_NEED_TO_SEARCH_SUCCESSOR_PHIS
772 // This is a BIG UGLY HACK. IT NEEDS TO BE ELIMINATED.
773 // Look for copy instructions inserted in this BB due to Phi instructions
774 // in the successor BBs.
775 // There MUST be exactly one copy per Phi in successor nodes.
776 //
777 for (BasicBlock::succ_const_iterator SI=bb->succ_begin(), SE=bb->succ_end();
778 SI != SE; ++SI)
779 for (BasicBlock::const_iterator PI=(*SI)->begin(), PE=(*SI)->end();
780 PI != PE; ++PI)
781 {
782 if ((*PI)->getOpcode() != Instruction::PHINode)
783 break; // No more Phis in this successor
784
785 // Find the incoming value from block bb to block (*SI)
786 int bbIndex = cast<PHINode>(*PI)->getBasicBlockIndex(bb);
787 assert(bbIndex >= 0 && "But I know bb is a predecessor of (*SI)?");
788 Value* inVal = cast<PHINode>(*PI)->getIncomingValue(bbIndex);
789 assert(inVal != NULL && "There must be an in-value on every edge");
790
791 // Find the machine instruction that makes a copy of inval to (*PI).
792 // This must be in the current basic block (bb).
Chris Lattner55291ea2002-10-28 01:41:47 +0000793 const MachineCodeForVMInstr& mvec = MachineBasicBlock::get(*PI);
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000794 const MachineInstr* theCopy = NULL;
795 for (unsigned i=0; i < mvec.size() && theCopy == NULL; i++)
796 if (! mii.isDummyPhiInstr(mvec[i]->getOpCode()))
797 // not a Phi: assume this is a copy and examine its operands
798 for (int o=0, N=(int) mvec[i]->getNumOperands(); o < N; o++)
799 {
800 const MachineOperand& mop = mvec[i]->getOperand(o);
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000801
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000802 if (mvec[i]->operandIsDefined(o))
803 assert(mop.getVRegValue() == (*PI) && "dest shd be my Phi");
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000804
805 if (! mvec[i]->operandIsDefined(o) ||
806 NOT NEEDED? mvec[i]->operandIsDefinedAndUsed(o))
807 if (mop.getVRegValue() == inVal)
808 { // found the copy!
809 theCopy = mvec[i];
810 break;
811 }
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000812 }
813
814 // Found the dang instruction. Now create a node and do the rest...
815 if (theCopy != NULL)
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000816 {
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000817 SchedGraphNode* node = new SchedGraphNode(getNumNodes(), bb,
818 theCopy, origIndexInBB++, target);
819 this->noteGraphNodeForInstr(theCopy, node);
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000820 findDefUseInfoAtInstr(target, node,
821 memNodeVec, regToRefVecMap,valueToDefVecMap);
822 }
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000823 }
Chris Lattner4ed17ba2001-11-26 18:56:52 +0000824#endif //REALLY_NEED_TO_SEARCH_SUCCESSOR_PHIS
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000825}
826
827
828void
829SchedGraph::buildGraph(const TargetMachine& target)
830{
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000831 const BasicBlock* bb = bbVec[0];
832
833 assert(bbVec.size() == 1 && "Only handling a single basic block here");
834
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000835 // Use this data structure to note all machine operands that compute
836 // ordinary LLVM values. These must be computed defs (i.e., instructions).
837 // Note that there may be multiple machine instructions that define
838 // each Value.
839 ValueToDefVecMap valueToDefVecMap;
840
Vikram S. Advee64574c2001-11-08 05:20:23 +0000841 // Use this data structure to note all memory instructions.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000842 // We use this to add memory dependence edges without a second full walk.
843 //
Vikram S. Advee64574c2001-11-08 05:20:23 +0000844 // vector<const Instruction*> memVec;
845 vector<SchedGraphNode*> memNodeVec;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000846
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000847 // Use this data structure to note any uses or definitions of
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000848 // machine registers so we can add edges for those later without
849 // extra passes over the nodes.
850 // The vector holds an ordered list of references to the machine reg,
851 // ordered according to control-flow order. This only works for a
852 // single basic block, hence the assertion. Each reference is identified
853 // by the pair: <node, operand-number>.
854 //
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000855 RegToRefVecMap regToRefVecMap;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000856
857 // Make a dummy root node. We'll add edges to the real roots later.
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000858 graphRoot = new SchedGraphNode(0, NULL, NULL, -1, target);
859 graphLeaf = new SchedGraphNode(1, NULL, NULL, -1, target);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000860
861 //----------------------------------------------------------------
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000862 // First add nodes for all the machine instructions in the basic block
863 // because this greatly simplifies identifying which edges to add.
864 // Do this one VM instruction at a time since the SchedGraphNode needs that.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000865 // Also, remember the load/store instructions to add memory deps later.
866 //----------------------------------------------------------------
867
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000868 buildNodesforBB(target, bb, memNodeVec, regToRefVecMap, valueToDefVecMap);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000869
870 //----------------------------------------------------------------
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000871 // Now add edges for the following (all are incoming edges except (4)):
872 // (1) operands of the machine instruction, including hidden operands
873 // (2) machine register dependences
874 // (3) memory load/store dependences
875 // (3) other resource dependences for the machine instruction, if any
876 // (4) output dependences when multiple machine instructions define the
877 // same value; all must have been generated from a single VM instrn
878 // (5) control dependences to branch instructions generated for the
879 // terminator instruction of the BB. Because of delay slots and
880 // 2-way conditional branches, multiple CD edges are needed
881 // (see addCDEdges for details).
882 // Also, note any uses or defs of machine registers.
883 //
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000884 //----------------------------------------------------------------
885
Chris Lattner55291ea2002-10-28 01:41:47 +0000886 MachineBasicBlock& bbMvec = MachineBasicBlock::get(bb);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000887
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000888 // First, add edges to the terminator instruction of the basic block.
889 this->addCDEdges(bb->getTerminator(), target);
890
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000891 // Then add memory dep edges: store->load, load->store, and store->store.
892 // Call instructions are treated as both load and store.
Vikram S. Advee64574c2001-11-08 05:20:23 +0000893 this->addMemEdges(memNodeVec, target);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000894
895 // Then add edges between call instructions and CC set/use instructions
Vikram S. Advee64574c2001-11-08 05:20:23 +0000896 this->addCallCCEdges(memNodeVec, bbMvec, target);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000897
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000898 // Then add incoming def-use (SSA) edges for each machine instruction.
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000899 for (unsigned i=0, N=bbMvec.size(); i < N; i++)
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000900 addEdgesForInstruction(*bbMvec[i], valueToDefVecMap, target);
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000901
Vikram S. Adve200a4352001-11-12 18:53:43 +0000902#ifdef NEED_SEPARATE_NONSSA_EDGES_CODE
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000903 // Then add non-SSA edges for all VM instructions in the block.
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000904 // We assume that all machine instructions that define a value are
905 // generated from the VM instruction corresponding to that value.
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000906 // TODO: This could probably be done much more efficiently.
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000907 for (BasicBlock::const_iterator II = bb->begin(); II != bb->end(); ++II)
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000908 this->addNonSSAEdgesForValue(*II, target);
Chris Lattner4ed17ba2001-11-26 18:56:52 +0000909#endif //NEED_SEPARATE_NONSSA_EDGES_CODE
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000910
911 // Then add edges for dependences on machine registers
912 this->addMachineRegEdges(regToRefVecMap, target);
913
914 // Finally, add edges from the dummy root and to dummy leaf
915 this->addDummyEdges();
916}
917
918
919//
920// class SchedGraphSet
921//
922
923/*ctor*/
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000924SchedGraphSet::SchedGraphSet(const Function* _function,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000925 const TargetMachine& target) :
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000926 method(_function)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000927{
928 buildGraphsForMethod(method, target);
929}
930
931
932/*dtor*/
933SchedGraphSet::~SchedGraphSet()
934{
935 // delete all the graphs
Chris Lattnerf3dd05c2002-04-09 05:15:33 +0000936 for(iterator I = begin(), E = end(); I != E; ++I)
937 delete *I; // destructor is a friend
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000938}
939
940
941void
942SchedGraphSet::dump() const
943{
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000944 cerr << "======== Sched graphs for function `" << method->getName()
Chris Lattner697954c2002-01-20 22:54:45 +0000945 << "' ========\n\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000946
947 for (const_iterator I=begin(); I != end(); ++I)
Vikram S. Advecf8a98f2002-03-24 03:40:59 +0000948 (*I)->dump();
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000949
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000950 cerr << "\n====== End graphs for function `" << method->getName()
Chris Lattner697954c2002-01-20 22:54:45 +0000951 << "' ========\n\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000952}
953
954
955void
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000956SchedGraphSet::buildGraphsForMethod(const Function *F,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000957 const TargetMachine& target)
958{
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000959 for (Function::const_iterator BI = F->begin(); BI != F->end(); ++BI)
Chris Lattner7e708292002-06-25 16:13:24 +0000960 addGraph(new SchedGraph(BI, target));
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000961}
962
963
Chris Lattner697954c2002-01-20 22:54:45 +0000964std::ostream &operator<<(std::ostream &os, const SchedGraphEdge& edge)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000965{
966 os << "edge [" << edge.src->getNodeId() << "] -> ["
967 << edge.sink->getNodeId() << "] : ";
968
969 switch(edge.depType) {
970 case SchedGraphEdge::CtrlDep: os<< "Control Dep"; break;
Vikram S. Adve200a4352001-11-12 18:53:43 +0000971 case SchedGraphEdge::ValueDep: os<< "Reg Value " << edge.val; break;
972 case SchedGraphEdge::MemoryDep: os<< "Memory Dep"; break;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000973 case SchedGraphEdge::MachineRegister: os<< "Reg " <<edge.machineRegNum;break;
974 case SchedGraphEdge::MachineResource: os<<"Resource "<<edge.resourceId;break;
975 default: assert(0); break;
976 }
977
Chris Lattner697954c2002-01-20 22:54:45 +0000978 os << " : delay = " << edge.minDelay << "\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000979
980 return os;
981}
982
Chris Lattner697954c2002-01-20 22:54:45 +0000983std::ostream &operator<<(std::ostream &os, const SchedGraphNode& node)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000984{
Chris Lattner697954c2002-01-20 22:54:45 +0000985 os << std::string(8, ' ')
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000986 << "Node " << node.nodeId << " : "
Chris Lattner697954c2002-01-20 22:54:45 +0000987 << "latency = " << node.latency << "\n" << std::string(12, ' ');
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000988
989 if (node.getMachineInstr() == NULL)
Chris Lattner697954c2002-01-20 22:54:45 +0000990 os << "(Dummy node)\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000991 else
992 {
Chris Lattner697954c2002-01-20 22:54:45 +0000993 os << *node.getMachineInstr() << "\n" << std::string(12, ' ');
994 os << node.inEdges.size() << " Incoming Edges:\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000995 for (unsigned i=0, N=node.inEdges.size(); i < N; i++)
Chris Lattner697954c2002-01-20 22:54:45 +0000996 os << std::string(16, ' ') << *node.inEdges[i];
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000997
Chris Lattner697954c2002-01-20 22:54:45 +0000998 os << std::string(12, ' ') << node.outEdges.size()
999 << " Outgoing Edges:\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +00001000 for (unsigned i=0, N=node.outEdges.size(); i < N; i++)
Chris Lattner697954c2002-01-20 22:54:45 +00001001 os << std::string(16, ' ') << *node.outEdges[i];
Vikram S. Adve78ef1392001-08-28 23:06:02 +00001002 }
1003
1004 return os;
1005}