blob: 0fcb22dea9f0db981dd7e13f361161ba06a7edcf [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 Lattnerfb3a0aed2002-10-28 18:50:08 +000012#include "llvm/CodeGen/MachineFunction.h"
Chris Lattnerd0f166a2002-12-29 03:13:05 +000013#include "llvm/Target/TargetRegInfo.h"
Chris Lattner0861b0c2002-02-03 07:29:45 +000014#include "llvm/Target/TargetMachine.h"
Chris Lattner3501fea2003-01-14 22:00:31 +000015#include "llvm/Target/TargetInstrInfo.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//
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +000030struct RefVec: public vector<pair<SchedGraphNode*, int> > {
Vikram S. Advec352d2c2001-11-05 04:04:23 +000031 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*/
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000138SchedGraphNode::SchedGraphNode(unsigned NID,
139 MachineBasicBlock *mbb,
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000140 int indexInBB,
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000141 const TargetMachine& Target)
142 : nodeId(NID), MBB(mbb), minstr(mbb ? (*mbb)[indexInBB] : 0),
143 origIndexInBB(indexInBB), latency(0) {
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000144 if (minstr)
145 {
146 MachineOpCode mopCode = minstr->getOpCode();
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000147 latency = Target.getInstrInfo().hasResultInterlock(mopCode)
148 ? Target.getInstrInfo().minLatency(mopCode)
149 : Target.getInstrInfo().maxLatency(mopCode);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000150 }
151}
152
153
154/*dtor*/
155SchedGraphNode::~SchedGraphNode()
156{
Chris Lattnerf3dd05c2002-04-09 05:15:33 +0000157 // for each node, delete its out-edges
158 std::for_each(beginOutEdges(), endOutEdges(),
159 deleter<SchedGraphEdge>);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000160}
161
Chris Lattner0c0edf82002-07-25 06:17:51 +0000162void SchedGraphNode::dump(int indent) const {
Chris Lattner697954c2002-01-20 22:54:45 +0000163 cerr << std::string(indent*2, ' ') << *this;
Chris Lattnerc83e9542001-09-07 21:21:03 +0000164}
165
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000166
167inline void
168SchedGraphNode::addInEdge(SchedGraphEdge* edge)
169{
170 inEdges.push_back(edge);
171}
172
173
174inline void
175SchedGraphNode::addOutEdge(SchedGraphEdge* edge)
176{
177 outEdges.push_back(edge);
178}
179
180inline void
181SchedGraphNode::removeInEdge(const SchedGraphEdge* edge)
182{
183 assert(edge->getSink() == this);
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000184
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000185 for (iterator I = beginInEdges(); I != endInEdges(); ++I)
186 if ((*I) == edge)
187 {
188 inEdges.erase(I);
189 break;
190 }
191}
192
193inline void
194SchedGraphNode::removeOutEdge(const SchedGraphEdge* edge)
195{
196 assert(edge->getSrc() == this);
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000197
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000198 for (iterator I = beginOutEdges(); I != endOutEdges(); ++I)
199 if ((*I) == edge)
200 {
201 outEdges.erase(I);
202 break;
203 }
204}
205
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000206
207//
208// class SchedGraph
209//
210
211
212/*ctor*/
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000213SchedGraph::SchedGraph(MachineBasicBlock &mbb, const TargetMachine& target)
214 : MBB(mbb) {
Chris Lattner697954c2002-01-20 22:54:45 +0000215 buildGraph(target);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000216}
217
218
219/*dtor*/
220SchedGraph::~SchedGraph()
221{
Chris Lattner697954c2002-01-20 22:54:45 +0000222 for (const_iterator I = begin(); I != end(); ++I)
Chris Lattnerf3dd05c2002-04-09 05:15:33 +0000223 delete I->second;
224 delete graphRoot;
225 delete graphLeaf;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000226}
227
228
229void
230SchedGraph::dump() const
231{
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000232 cerr << " Sched Graph for Basic Block: ";
233 cerr << MBB.getBasicBlock()->getName()
234 << " (" << MBB.getBasicBlock() << ")";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000235
Chris Lattner697954c2002-01-20 22:54:45 +0000236 cerr << "\n\n Actual Root nodes : ";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000237 for (unsigned i=0, N=graphRoot->outEdges.size(); i < N; i++)
Chris Lattner697954c2002-01-20 22:54:45 +0000238 cerr << graphRoot->outEdges[i]->getSink()->getNodeId()
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000239 << ((i == N-1)? "" : ", ");
240
Chris Lattner697954c2002-01-20 22:54:45 +0000241 cerr << "\n Graph Nodes:\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000242 for (const_iterator I=begin(); I != end(); ++I)
Chris Lattner697954c2002-01-20 22:54:45 +0000243 cerr << "\n" << *I->second;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000244
Chris Lattner697954c2002-01-20 22:54:45 +0000245 cerr << "\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000246}
247
248
249void
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000250SchedGraph::eraseIncomingEdges(SchedGraphNode* node, bool addDummyEdges)
251{
252 // Delete and disconnect all in-edges for the node
253 for (SchedGraphNode::iterator I = node->beginInEdges();
254 I != node->endInEdges(); ++I)
255 {
256 SchedGraphNode* srcNode = (*I)->getSrc();
257 srcNode->removeOutEdge(*I);
258 delete *I;
259
260 if (addDummyEdges &&
261 srcNode != getRoot() &&
262 srcNode->beginOutEdges() == srcNode->endOutEdges())
263 { // srcNode has no more out edges, so add an edge to dummy EXIT node
264 assert(node != getLeaf() && "Adding edge that was just removed?");
265 (void) new SchedGraphEdge(srcNode, getLeaf(),
266 SchedGraphEdge::CtrlDep, SchedGraphEdge::NonDataDep, 0);
267 }
268 }
269
270 node->inEdges.clear();
271}
272
273void
274SchedGraph::eraseOutgoingEdges(SchedGraphNode* node, bool addDummyEdges)
275{
276 // Delete and disconnect all out-edges for the node
277 for (SchedGraphNode::iterator I = node->beginOutEdges();
278 I != node->endOutEdges(); ++I)
279 {
280 SchedGraphNode* sinkNode = (*I)->getSink();
281 sinkNode->removeInEdge(*I);
282 delete *I;
283
284 if (addDummyEdges &&
285 sinkNode != getLeaf() &&
286 sinkNode->beginInEdges() == sinkNode->endInEdges())
287 { //sinkNode has no more in edges, so add an edge from dummy ENTRY node
288 assert(node != getRoot() && "Adding edge that was just removed?");
289 (void) new SchedGraphEdge(getRoot(), sinkNode,
290 SchedGraphEdge::CtrlDep, SchedGraphEdge::NonDataDep, 0);
291 }
292 }
293
294 node->outEdges.clear();
295}
296
297void
298SchedGraph::eraseIncidentEdges(SchedGraphNode* node, bool addDummyEdges)
299{
300 this->eraseIncomingEdges(node, addDummyEdges);
301 this->eraseOutgoingEdges(node, addDummyEdges);
302}
303
304
305void
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000306SchedGraph::addDummyEdges()
307{
308 assert(graphRoot->outEdges.size() == 0);
309
310 for (const_iterator I=begin(); I != end(); ++I)
311 {
312 SchedGraphNode* node = (*I).second;
313 assert(node != graphRoot && node != graphLeaf);
314 if (node->beginInEdges() == node->endInEdges())
315 (void) new SchedGraphEdge(graphRoot, node, SchedGraphEdge::CtrlDep,
316 SchedGraphEdge::NonDataDep, 0);
317 if (node->beginOutEdges() == node->endOutEdges())
318 (void) new SchedGraphEdge(node, graphLeaf, SchedGraphEdge::CtrlDep,
319 SchedGraphEdge::NonDataDep, 0);
320 }
321}
322
323
324void
325SchedGraph::addCDEdges(const TerminatorInst* term,
326 const TargetMachine& target)
327{
Chris Lattner3501fea2003-01-14 22:00:31 +0000328 const TargetInstrInfo& mii = target.getInstrInfo();
Chris Lattner0861b0c2002-02-03 07:29:45 +0000329 MachineCodeForInstruction &termMvec = MachineCodeForInstruction::get(term);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000330
331 // Find the first branch instr in the sequence of machine instrs for term
332 //
333 unsigned first = 0;
Vikram S. Adveacf0f702002-10-13 00:39:22 +0000334 while (! mii.isBranch(termMvec[first]->getOpCode()) &&
335 ! mii.isReturn(termMvec[first]->getOpCode()))
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000336 ++first;
337 assert(first < termMvec.size() &&
Vikram S. Adveacf0f702002-10-13 00:39:22 +0000338 "No branch instructions for terminator? Ok, but weird!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000339 if (first == termMvec.size())
340 return;
Vikram S. Adveacf0f702002-10-13 00:39:22 +0000341
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +0000342 SchedGraphNode* firstBrNode = getGraphNodeForInstr(termMvec[first]);
Vikram S. Adveacf0f702002-10-13 00:39:22 +0000343
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000344 // Add CD edges from each instruction in the sequence to the
345 // *last preceding* branch instr. in the sequence
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000346 // Use a latency of 0 because we only need to prevent out-of-order issue.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000347 //
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +0000348 for (unsigned i = termMvec.size(); i > first+1; --i)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000349 {
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +0000350 SchedGraphNode* toNode = getGraphNodeForInstr(termMvec[i-1]);
Vikram S. Adveacf0f702002-10-13 00:39:22 +0000351 assert(toNode && "No node for instr generated for branch/ret?");
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000352
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +0000353 for (unsigned j = i-1; j != 0; --j)
Vikram S. Adveacf0f702002-10-13 00:39:22 +0000354 if (mii.isBranch(termMvec[j-1]->getOpCode()) ||
355 mii.isReturn(termMvec[j-1]->getOpCode()))
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000356 {
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +0000357 SchedGraphNode* brNode = getGraphNodeForInstr(termMvec[j-1]);
Vikram S. Adveacf0f702002-10-13 00:39:22 +0000358 assert(brNode && "No node for instr generated for branch/ret?");
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000359 (void) new SchedGraphEdge(brNode, toNode, SchedGraphEdge::CtrlDep,
360 SchedGraphEdge::NonDataDep, 0);
361 break; // only one incoming edge is enough
362 }
363 }
364
365 // Add CD edges from each instruction preceding the first branch
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000366 // to the first branch. Use a latency of 0 as above.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000367 //
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +0000368 for (unsigned i = first; i != 0; --i)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000369 {
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +0000370 SchedGraphNode* fromNode = getGraphNodeForInstr(termMvec[i-1]);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000371 assert(fromNode && "No node for instr generated for branch?");
372 (void) new SchedGraphEdge(fromNode, firstBrNode, SchedGraphEdge::CtrlDep,
373 SchedGraphEdge::NonDataDep, 0);
374 }
375
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000376 // Now add CD edges to the first branch instruction in the sequence from
377 // all preceding instructions in the basic block. Use 0 latency again.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000378 //
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000379 for (unsigned i=0, N=MBB.size(); i < N; i++)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000380 {
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000381 if (MBB[i] == termMvec[first]) // reached the first branch
Vikram S. Adve200a4352001-11-12 18:53:43 +0000382 break;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000383
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000384 SchedGraphNode* fromNode = this->getGraphNodeForInstr(MBB[i]);
Vikram S. Adve200a4352001-11-12 18:53:43 +0000385 if (fromNode == NULL)
386 continue; // dummy instruction, e.g., PHI
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000387
Vikram S. Adve200a4352001-11-12 18:53:43 +0000388 (void) new SchedGraphEdge(fromNode, firstBrNode,
389 SchedGraphEdge::CtrlDep,
390 SchedGraphEdge::NonDataDep, 0);
391
392 // If we find any other machine instructions (other than due to
393 // the terminator) that also have delay slots, add an outgoing edge
394 // from the instruction to the instructions in the delay slots.
395 //
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000396 unsigned d = mii.getNumDelaySlots(MBB[i]->getOpCode());
Vikram S. Adve200a4352001-11-12 18:53:43 +0000397 assert(i+d < N && "Insufficient delay slots for instruction?");
398
399 for (unsigned j=1; j <= d; j++)
400 {
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000401 SchedGraphNode* toNode = this->getGraphNodeForInstr(MBB[i+j]);
Vikram S. Adve200a4352001-11-12 18:53:43 +0000402 assert(toNode && "No node for machine instr in delay slot?");
403 (void) new SchedGraphEdge(fromNode, toNode,
404 SchedGraphEdge::CtrlDep,
405 SchedGraphEdge::NonDataDep, 0);
406 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000407 }
408}
409
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000410static const int SG_LOAD_REF = 0;
411static const int SG_STORE_REF = 1;
412static const int SG_CALL_REF = 2;
413
414static const unsigned int SG_DepOrderArray[][3] = {
415 { SchedGraphEdge::NonDataDep,
416 SchedGraphEdge::AntiDep,
417 SchedGraphEdge::AntiDep },
418 { SchedGraphEdge::TrueDep,
419 SchedGraphEdge::OutputDep,
420 SchedGraphEdge::TrueDep | SchedGraphEdge::OutputDep },
421 { SchedGraphEdge::TrueDep,
422 SchedGraphEdge::AntiDep | SchedGraphEdge::OutputDep,
423 SchedGraphEdge::TrueDep | SchedGraphEdge::AntiDep
424 | SchedGraphEdge::OutputDep }
425};
426
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000427
Vikram S. Advee64574c2001-11-08 05:20:23 +0000428// Add a dependence edge between every pair of machine load/store/call
429// instructions, where at least one is a store or a call.
430// Use latency 1 just to ensure that memory operations are ordered;
431// latency does not otherwise matter (true dependences enforce that).
432//
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000433void
Vikram S. Advee64574c2001-11-08 05:20:23 +0000434SchedGraph::addMemEdges(const vector<SchedGraphNode*>& memNodeVec,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000435 const TargetMachine& target)
436{
Chris Lattner3501fea2003-01-14 22:00:31 +0000437 const TargetInstrInfo& mii = target.getInstrInfo();
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000438
Vikram S. Advee64574c2001-11-08 05:20:23 +0000439 // Instructions in memNodeVec are in execution order within the basic block,
440 // so simply look at all pairs <memNodeVec[i], memNodeVec[j: j > i]>.
441 //
442 for (unsigned im=0, NM=memNodeVec.size(); im < NM; im++)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000443 {
Vikram S. Advee64574c2001-11-08 05:20:23 +0000444 MachineOpCode fromOpCode = memNodeVec[im]->getOpCode();
445 int fromType = mii.isCall(fromOpCode)? SG_CALL_REF
446 : mii.isLoad(fromOpCode)? SG_LOAD_REF
447 : SG_STORE_REF;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000448 for (unsigned jm=im+1; jm < NM; jm++)
449 {
Vikram S. Advee64574c2001-11-08 05:20:23 +0000450 MachineOpCode toOpCode = memNodeVec[jm]->getOpCode();
451 int toType = mii.isCall(toOpCode)? SG_CALL_REF
452 : mii.isLoad(toOpCode)? SG_LOAD_REF
453 : SG_STORE_REF;
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000454
Vikram S. Advee64574c2001-11-08 05:20:23 +0000455 if (fromType != SG_LOAD_REF || toType != SG_LOAD_REF)
456 (void) new SchedGraphEdge(memNodeVec[im], memNodeVec[jm],
457 SchedGraphEdge::MemoryDep,
458 SG_DepOrderArray[fromType][toType], 1);
459 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000460 }
Vikram S. Advee64574c2001-11-08 05:20:23 +0000461}
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000462
Vikram S. Advee64574c2001-11-08 05:20:23 +0000463// Add edges from/to CC reg instrs to/from call instrs.
464// Essentially this prevents anything that sets or uses a CC reg from being
465// reordered w.r.t. a call.
466// Use a latency of 0 because we only need to prevent out-of-order issue,
467// like with control dependences.
468//
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000469void
Vikram S. Advee64574c2001-11-08 05:20:23 +0000470SchedGraph::addCallCCEdges(const vector<SchedGraphNode*>& memNodeVec,
Chris Lattner55291ea2002-10-28 01:41:47 +0000471 MachineBasicBlock& bbMvec,
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000472 const TargetMachine& target)
473{
Chris Lattner3501fea2003-01-14 22:00:31 +0000474 const TargetInstrInfo& mii = target.getInstrInfo();
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000475 vector<SchedGraphNode*> callNodeVec;
476
Vikram S. Advee64574c2001-11-08 05:20:23 +0000477 // Find the call instruction nodes and put them in a vector.
478 for (unsigned im=0, NM=memNodeVec.size(); im < NM; im++)
479 if (mii.isCall(memNodeVec[im]->getOpCode()))
480 callNodeVec.push_back(memNodeVec[im]);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000481
Vikram S. Advee64574c2001-11-08 05:20:23 +0000482 // Now walk the entire basic block, looking for CC instructions *and*
483 // call instructions, and keep track of the order of the instructions.
484 // Use the call node vec to quickly find earlier and later call nodes
485 // relative to the current CC instruction.
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000486 //
487 int lastCallNodeIdx = -1;
488 for (unsigned i=0, N=bbMvec.size(); i < N; i++)
489 if (mii.isCall(bbMvec[i]->getOpCode()))
490 {
491 ++lastCallNodeIdx;
492 for ( ; lastCallNodeIdx < (int)callNodeVec.size(); ++lastCallNodeIdx)
493 if (callNodeVec[lastCallNodeIdx]->getMachineInstr() == bbMvec[i])
494 break;
495 assert(lastCallNodeIdx < (int)callNodeVec.size() && "Missed Call?");
496 }
497 else if (mii.isCCInstr(bbMvec[i]->getOpCode()))
498 { // Add incoming/outgoing edges from/to preceding/later calls
499 SchedGraphNode* ccNode = this->getGraphNodeForInstr(bbMvec[i]);
500 int j=0;
501 for ( ; j <= lastCallNodeIdx; j++)
502 (void) new SchedGraphEdge(callNodeVec[j], ccNode,
503 MachineCCRegsRID, 0);
504 for ( ; j < (int) callNodeVec.size(); j++)
505 (void) new SchedGraphEdge(ccNode, callNodeVec[j],
506 MachineCCRegsRID, 0);
507 }
508}
509
510
511void
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000512SchedGraph::addMachineRegEdges(RegToRefVecMap& regToRefVecMap,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000513 const TargetMachine& target)
514{
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000515 // This assumes that such hardwired registers are never allocated
516 // to any LLVM value (since register allocation happens later), i.e.,
517 // any uses or defs of this register have been made explicit!
518 // Also assumes that two registers with different numbers are
519 // not aliased!
520 //
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000521 for (RegToRefVecMap::iterator I = regToRefVecMap.begin();
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000522 I != regToRefVecMap.end(); ++I)
523 {
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000524 int regNum = (*I).first;
525 RefVec& regRefVec = (*I).second;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000526
527 // regRefVec is ordered by control flow order in the basic block
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000528 for (unsigned i=0; i < regRefVec.size(); ++i)
529 {
530 SchedGraphNode* node = regRefVec[i].first;
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000531 unsigned int opNum = regRefVec[i].second;
532 bool isDef = node->getMachineInstr()->operandIsDefined(opNum);
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000533 bool isDefAndUse =
534 node->getMachineInstr()->operandIsDefinedAndUsed(opNum);
535
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000536 for (unsigned p=0; p < i; ++p)
537 {
538 SchedGraphNode* prevNode = regRefVec[p].first;
539 if (prevNode != node)
540 {
541 unsigned int prevOpNum = regRefVec[p].second;
542 bool prevIsDef =
543 prevNode->getMachineInstr()->operandIsDefined(prevOpNum);
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000544 bool prevIsDefAndUse =
545 prevNode->getMachineInstr()->operandIsDefinedAndUsed(prevOpNum);
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000546 if (isDef)
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000547 {
548 if (prevIsDef)
549 new SchedGraphEdge(prevNode, node, regNum,
550 SchedGraphEdge::OutputDep);
551 if (!prevIsDef || prevIsDefAndUse)
552 new SchedGraphEdge(prevNode, node, regNum,
553 SchedGraphEdge::AntiDep);
554 }
555
556 if (prevIsDef)
557 if (!isDef || isDefAndUse)
558 new SchedGraphEdge(prevNode, node, regNum,
559 SchedGraphEdge::TrueDep);
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000560 }
561 }
562 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000563 }
564}
565
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000566
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000567// Adds dependences to/from refNode from/to all other defs
568// in the basic block. refNode may be a use, a def, or both.
569// We do not consider other uses because we are not building use-use deps.
570//
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000571void
Vikram S. Adve200a4352001-11-12 18:53:43 +0000572SchedGraph::addEdgesForValue(SchedGraphNode* refNode,
573 const RefVec& defVec,
574 const Value* defValue,
575 bool refNodeIsDef,
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000576 bool refNodeIsDefAndUse,
Vikram S. Adve200a4352001-11-12 18:53:43 +0000577 const TargetMachine& target)
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000578{
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000579 bool refNodeIsUse = !refNodeIsDef || refNodeIsDefAndUse;
580
Vikram S. Adve200a4352001-11-12 18:53:43 +0000581 // Add true or output dep edges from all def nodes before refNode in BB.
582 // Add anti or output dep edges to all def nodes after refNode.
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000583 for (RefVec::const_iterator I=defVec.begin(), E=defVec.end(); I != E; ++I)
Vikram S. Adve200a4352001-11-12 18:53:43 +0000584 {
585 if ((*I).first == refNode)
586 continue; // Dont add any self-loops
587
588 if ((*I).first->getOrigIndexInBB() < refNode->getOrigIndexInBB())
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000589 { // (*).first is before refNode
590 if (refNodeIsDef)
591 (void) new SchedGraphEdge((*I).first, refNode, defValue,
592 SchedGraphEdge::OutputDep);
593 if (refNodeIsUse)
594 (void) new SchedGraphEdge((*I).first, refNode, defValue,
595 SchedGraphEdge::TrueDep);
596 }
Vikram S. Adve200a4352001-11-12 18:53:43 +0000597 else
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000598 { // (*).first is after refNode
599 if (refNodeIsDef)
600 (void) new SchedGraphEdge(refNode, (*I).first, defValue,
601 SchedGraphEdge::OutputDep);
602 if (refNodeIsUse)
603 (void) new SchedGraphEdge(refNode, (*I).first, defValue,
604 SchedGraphEdge::AntiDep);
605 }
Vikram S. Adve200a4352001-11-12 18:53:43 +0000606 }
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000607}
608
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000609
610void
Chris Lattner133f0792002-10-28 04:45:29 +0000611SchedGraph::addEdgesForInstruction(const MachineInstr& MI,
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000612 const ValueToDefVecMap& valueToDefVecMap,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000613 const TargetMachine& target)
614{
Chris Lattner133f0792002-10-28 04:45:29 +0000615 SchedGraphNode* node = getGraphNodeForInstr(&MI);
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000616 if (node == NULL)
617 return;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000618
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000619 // Add edges for all operands of the machine instruction.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000620 //
Chris Lattner133f0792002-10-28 04:45:29 +0000621 for (unsigned i = 0, numOps = MI.getNumOperands(); i != numOps; ++i)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000622 {
Chris Lattner133f0792002-10-28 04:45:29 +0000623 switch (MI.getOperandType(i))
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000624 {
625 case MachineOperand::MO_VirtualRegister:
626 case MachineOperand::MO_CCRegister:
Vikram S. Adve85b46d62001-10-17 23:53:16 +0000627 if (const Instruction* srcI =
Chris Lattner133f0792002-10-28 04:45:29 +0000628 dyn_cast_or_null<Instruction>(MI.getOperand(i).getVRegValue()))
Vikram S. Adve85b46d62001-10-17 23:53:16 +0000629 {
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000630 ValueToDefVecMap::const_iterator I = valueToDefVecMap.find(srcI);
631 if (I != valueToDefVecMap.end())
Chris Lattner133f0792002-10-28 04:45:29 +0000632 addEdgesForValue(node, I->second, srcI,
633 MI.operandIsDefined(i),
634 MI.operandIsDefinedAndUsed(i), target);
Vikram S. Adve85b46d62001-10-17 23:53:16 +0000635 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000636 break;
637
638 case MachineOperand::MO_MachineRegister:
639 break;
640
641 case MachineOperand::MO_SignExtendedImmed:
642 case MachineOperand::MO_UnextendedImmed:
643 case MachineOperand::MO_PCRelativeDisp:
644 break; // nothing to do for immediate fields
645
646 default:
647 assert(0 && "Unknown machine operand type in SchedGraph builder");
648 break;
649 }
650 }
Vikram S. Adve8d0ffa52001-10-11 04:22:45 +0000651
652 // Add edges for values implicitly used by the machine instruction.
653 // Examples include function arguments to a Call instructions or the return
654 // value of a Ret instruction.
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000655 //
Chris Lattner133f0792002-10-28 04:45:29 +0000656 for (unsigned i=0, N=MI.getNumImplicitRefs(); i < N; ++i)
657 if (! MI.implicitRefIsDefined(i) ||
658 MI.implicitRefIsDefinedAndUsed(i))
659 if (const Instruction *srcI =
660 dyn_cast_or_null<Instruction>(MI.getImplicitRef(i)))
Vikram S. Adve85b46d62001-10-17 23:53:16 +0000661 {
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000662 ValueToDefVecMap::const_iterator I = valueToDefVecMap.find(srcI);
663 if (I != valueToDefVecMap.end())
Chris Lattner133f0792002-10-28 04:45:29 +0000664 addEdgesForValue(node, I->second, srcI,
665 MI.implicitRefIsDefined(i),
666 MI.implicitRefIsDefinedAndUsed(i), target);
Vikram S. Adve85b46d62001-10-17 23:53:16 +0000667 }
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000668}
669
670
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000671void
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000672SchedGraph::findDefUseInfoAtInstr(const TargetMachine& target,
673 SchedGraphNode* node,
Vikram S. Advee64574c2001-11-08 05:20:23 +0000674 vector<SchedGraphNode*>& memNodeVec,
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000675 RegToRefVecMap& regToRefVecMap,
676 ValueToDefVecMap& valueToDefVecMap)
677{
Chris Lattner3501fea2003-01-14 22:00:31 +0000678 const TargetInstrInfo& mii = target.getInstrInfo();
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000679
Vikram S. Advee64574c2001-11-08 05:20:23 +0000680
681 MachineOpCode opCode = node->getOpCode();
682 if (mii.isLoad(opCode) || mii.isStore(opCode) || mii.isCall(opCode))
683 memNodeVec.push_back(node);
684
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000685 // Collect the register references and value defs. for explicit operands
686 //
Chris Lattner133f0792002-10-28 04:45:29 +0000687 const MachineInstr& minstr = *node->getMachineInstr();
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000688 for (int i=0, numOps = (int) minstr.getNumOperands(); i < numOps; i++)
689 {
690 const MachineOperand& mop = minstr.getOperand(i);
691
692 // if this references a register other than the hardwired
693 // "zero" register, record the reference.
Chris Lattner133f0792002-10-28 04:45:29 +0000694 if (mop.getType() == MachineOperand::MO_MachineRegister)
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000695 {
696 int regNum = mop.getMachineRegNum();
697 if (regNum != target.getRegInfo().getZeroRegNum())
Chris Lattner697954c2002-01-20 22:54:45 +0000698 regToRefVecMap[mop.getMachineRegNum()].push_back(
699 std::make_pair(node, i));
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000700 continue; // nothing more to do
701 }
702
703 // ignore all other non-def operands
704 if (! minstr.operandIsDefined(i))
705 continue;
706
707 // We must be defining a value.
Chris Lattner133f0792002-10-28 04:45:29 +0000708 assert((mop.getType() == MachineOperand::MO_VirtualRegister ||
709 mop.getType() == MachineOperand::MO_CCRegister)
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000710 && "Do not expect any other kind of operand to be defined!");
711
712 const Instruction* defInstr = cast<Instruction>(mop.getVRegValue());
Chris Lattner697954c2002-01-20 22:54:45 +0000713 valueToDefVecMap[defInstr].push_back(std::make_pair(node, i));
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000714 }
Vikram S. Advee64574c2001-11-08 05:20:23 +0000715
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000716 //
717 // Collect value defs. for implicit operands. The interface to extract
718 // them assumes they must be virtual registers!
719 //
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000720 for (unsigned i=0, N = minstr.getNumImplicitRefs(); i != N; ++i)
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000721 if (minstr.implicitRefIsDefined(i))
722 if (const Instruction* defInstr =
723 dyn_cast_or_null<Instruction>(minstr.getImplicitRef(i)))
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000724 valueToDefVecMap[defInstr].push_back(std::make_pair(node, -i));
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000725}
726
727
728void
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000729SchedGraph::buildNodesForBB(const TargetMachine& target,
730 MachineBasicBlock& MBB,
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000731 vector<SchedGraphNode*>& memNodeVec,
732 RegToRefVecMap& regToRefVecMap,
733 ValueToDefVecMap& valueToDefVecMap)
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000734{
Chris Lattner3501fea2003-01-14 22:00:31 +0000735 const TargetInstrInfo& mii = target.getInstrInfo();
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000736
737 // Build graph nodes for each VM instruction and gather def/use info.
738 // Do both those together in a single pass over all machine instructions.
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000739 for (unsigned i=0; i < MBB.size(); i++)
740 if (!mii.isDummyPhiInstr(MBB[i]->getOpCode())) {
741 SchedGraphNode* node = new SchedGraphNode(getNumNodes(), &MBB, i, target);
742 noteGraphNodeForInstr(MBB[i], node);
743
744 // Remember all register references and value defs
745 findDefUseInfoAtInstr(target, node, memNodeVec, regToRefVecMap,
746 valueToDefVecMap);
747 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000748}
749
750
751void
752SchedGraph::buildGraph(const TargetMachine& target)
753{
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000754 // Use this data structure to note all machine operands that compute
755 // ordinary LLVM values. These must be computed defs (i.e., instructions).
756 // Note that there may be multiple machine instructions that define
757 // each Value.
758 ValueToDefVecMap valueToDefVecMap;
759
Vikram S. Advee64574c2001-11-08 05:20:23 +0000760 // Use this data structure to note all memory instructions.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000761 // We use this to add memory dependence edges without a second full walk.
762 //
Vikram S. Advee64574c2001-11-08 05:20:23 +0000763 // vector<const Instruction*> memVec;
764 vector<SchedGraphNode*> memNodeVec;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000765
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000766 // Use this data structure to note any uses or definitions of
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000767 // machine registers so we can add edges for those later without
768 // extra passes over the nodes.
769 // The vector holds an ordered list of references to the machine reg,
770 // ordered according to control-flow order. This only works for a
771 // single basic block, hence the assertion. Each reference is identified
772 // by the pair: <node, operand-number>.
773 //
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000774 RegToRefVecMap regToRefVecMap;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000775
776 // Make a dummy root node. We'll add edges to the real roots later.
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000777 graphRoot = new SchedGraphNode(0, NULL, -1, target);
778 graphLeaf = new SchedGraphNode(1, NULL, -1, target);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000779
780 //----------------------------------------------------------------
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000781 // First add nodes for all the machine instructions in the basic block
782 // because this greatly simplifies identifying which edges to add.
783 // Do this one VM instruction at a time since the SchedGraphNode needs that.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000784 // Also, remember the load/store instructions to add memory deps later.
785 //----------------------------------------------------------------
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000786
787 buildNodesForBB(target, MBB, memNodeVec, regToRefVecMap, valueToDefVecMap);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000788
789 //----------------------------------------------------------------
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000790 // Now add edges for the following (all are incoming edges except (4)):
791 // (1) operands of the machine instruction, including hidden operands
792 // (2) machine register dependences
793 // (3) memory load/store dependences
794 // (3) other resource dependences for the machine instruction, if any
795 // (4) output dependences when multiple machine instructions define the
796 // same value; all must have been generated from a single VM instrn
797 // (5) control dependences to branch instructions generated for the
798 // terminator instruction of the BB. Because of delay slots and
799 // 2-way conditional branches, multiple CD edges are needed
800 // (see addCDEdges for details).
801 // Also, note any uses or defs of machine registers.
802 //
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000803 //----------------------------------------------------------------
804
805 // First, add edges to the terminator instruction of the basic block.
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000806 this->addCDEdges(MBB.getBasicBlock()->getTerminator(), target);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000807
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000808 // Then add memory dep edges: store->load, load->store, and store->store.
809 // Call instructions are treated as both load and store.
Vikram S. Advee64574c2001-11-08 05:20:23 +0000810 this->addMemEdges(memNodeVec, target);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000811
812 // Then add edges between call instructions and CC set/use instructions
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000813 this->addCallCCEdges(memNodeVec, MBB, target);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000814
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000815 // Then add incoming def-use (SSA) edges for each machine instruction.
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000816 for (unsigned i=0, N=MBB.size(); i < N; i++)
817 addEdgesForInstruction(*MBB[i], valueToDefVecMap, target);
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000818
Vikram S. Adve200a4352001-11-12 18:53:43 +0000819#ifdef NEED_SEPARATE_NONSSA_EDGES_CODE
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000820 // Then add non-SSA edges for all VM instructions in the block.
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000821 // We assume that all machine instructions that define a value are
822 // generated from the VM instruction corresponding to that value.
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000823 // TODO: This could probably be done much more efficiently.
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000824 for (BasicBlock::const_iterator II = bb->begin(); II != bb->end(); ++II)
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000825 this->addNonSSAEdgesForValue(*II, target);
Chris Lattner4ed17ba2001-11-26 18:56:52 +0000826#endif //NEED_SEPARATE_NONSSA_EDGES_CODE
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000827
828 // Then add edges for dependences on machine registers
829 this->addMachineRegEdges(regToRefVecMap, target);
830
831 // Finally, add edges from the dummy root and to dummy leaf
832 this->addDummyEdges();
833}
834
835
836//
837// class SchedGraphSet
838//
839
840/*ctor*/
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000841SchedGraphSet::SchedGraphSet(const Function* _function,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000842 const TargetMachine& target) :
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000843 method(_function)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000844{
845 buildGraphsForMethod(method, target);
846}
847
848
849/*dtor*/
850SchedGraphSet::~SchedGraphSet()
851{
852 // delete all the graphs
Chris Lattnerf3dd05c2002-04-09 05:15:33 +0000853 for(iterator I = begin(), E = end(); I != E; ++I)
854 delete *I; // destructor is a friend
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000855}
856
857
858void
859SchedGraphSet::dump() const
860{
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000861 cerr << "======== Sched graphs for function `" << method->getName()
Chris Lattner697954c2002-01-20 22:54:45 +0000862 << "' ========\n\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000863
864 for (const_iterator I=begin(); I != end(); ++I)
Vikram S. Advecf8a98f2002-03-24 03:40:59 +0000865 (*I)->dump();
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000866
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000867 cerr << "\n====== End graphs for function `" << method->getName()
Chris Lattner697954c2002-01-20 22:54:45 +0000868 << "' ========\n\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000869}
870
871
872void
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000873SchedGraphSet::buildGraphsForMethod(const Function *F,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000874 const TargetMachine& target)
875{
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000876 MachineFunction &MF = MachineFunction::get(F);
877 for (MachineFunction::iterator I = MF.begin(), E = MF.end(); I != E; ++I)
878 addGraph(new SchedGraph(*I, target));
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000879}
880
881
Chris Lattner697954c2002-01-20 22:54:45 +0000882std::ostream &operator<<(std::ostream &os, const SchedGraphEdge& edge)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000883{
884 os << "edge [" << edge.src->getNodeId() << "] -> ["
885 << edge.sink->getNodeId() << "] : ";
886
887 switch(edge.depType) {
888 case SchedGraphEdge::CtrlDep: os<< "Control Dep"; break;
Vikram S. Adve200a4352001-11-12 18:53:43 +0000889 case SchedGraphEdge::ValueDep: os<< "Reg Value " << edge.val; break;
890 case SchedGraphEdge::MemoryDep: os<< "Memory Dep"; break;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000891 case SchedGraphEdge::MachineRegister: os<< "Reg " <<edge.machineRegNum;break;
892 case SchedGraphEdge::MachineResource: os<<"Resource "<<edge.resourceId;break;
893 default: assert(0); break;
894 }
895
Chris Lattner697954c2002-01-20 22:54:45 +0000896 os << " : delay = " << edge.minDelay << "\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000897
898 return os;
899}
900
Chris Lattner697954c2002-01-20 22:54:45 +0000901std::ostream &operator<<(std::ostream &os, const SchedGraphNode& node)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000902{
Chris Lattner697954c2002-01-20 22:54:45 +0000903 os << std::string(8, ' ')
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000904 << "Node " << node.nodeId << " : "
Chris Lattner697954c2002-01-20 22:54:45 +0000905 << "latency = " << node.latency << "\n" << std::string(12, ' ');
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000906
907 if (node.getMachineInstr() == NULL)
Chris Lattner697954c2002-01-20 22:54:45 +0000908 os << "(Dummy node)\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000909 else
910 {
Chris Lattner697954c2002-01-20 22:54:45 +0000911 os << *node.getMachineInstr() << "\n" << std::string(12, ' ');
912 os << node.inEdges.size() << " Incoming Edges:\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000913 for (unsigned i=0, N=node.inEdges.size(); i < N; i++)
Chris Lattner697954c2002-01-20 22:54:45 +0000914 os << std::string(16, ' ') << *node.inEdges[i];
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000915
Chris Lattner697954c2002-01-20 22:54:45 +0000916 os << std::string(12, ' ') << node.outEdges.size()
917 << " Outgoing Edges:\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000918 for (unsigned i=0, N=node.outEdges.size(); i < N; i++)
Chris Lattner697954c2002-01-20 22:54:45 +0000919 os << std::string(16, ' ') << *node.outEdges[i];
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000920 }
921
922 return os;
923}