blob: 96962ced14fd4eca6ddceb13db271b143db9e970 [file] [log] [blame]
Vikram S. Adve8b6d2452001-09-18 12:50:40 +00001// $Id$
2//***************************************************************************
3// File:
4// SchedGraph.cpp
5//
6// Purpose:
7// Scheduling graph based on SSA graph plus extra dependence edges
8// capturing dependences due to machine resources (machine registers,
9// CC registers, and any others).
10//
11// History:
12// 7/20/01 - Vikram Adve - Created
13//**************************************************************************/
Vikram S. Adve78ef1392001-08-28 23:06:02 +000014
Chris Lattner46cbff62001-09-14 16:56:32 +000015#include "SchedGraph.h"
Vikram S. Adve85b46d62001-10-17 23:53:16 +000016#include "llvm/CodeGen/InstrSelection.h"
Chris Lattner0861b0c2002-02-03 07:29:45 +000017#include "llvm/CodeGen/MachineCodeForInstruction.h"
Vikram S. Adve0baf1c02002-07-08 22:59:23 +000018#include "llvm/CodeGen/MachineCodeForBasicBlock.h"
Vikram S. Adve8b6d2452001-09-18 12:50:40 +000019#include "llvm/Target/MachineRegInfo.h"
Chris Lattner0861b0c2002-02-03 07:29:45 +000020#include "llvm/Target/TargetMachine.h"
21#include "llvm/BasicBlock.h"
Chris Lattner2fbfdcf2002-04-07 20:49:59 +000022#include "llvm/Function.h"
Chris Lattnerb00c5822001-10-02 03:41:24 +000023#include "llvm/iOther.h"
Chris Lattnercee8f9a2001-11-27 00:03:19 +000024#include "Support/StringExtras.h"
Chris Lattner697954c2002-01-20 22:54:45 +000025#include "Support/STLExtras.h"
Chris Lattner697954c2002-01-20 22:54:45 +000026#include <iostream>
Vikram S. Adve78ef1392001-08-28 23:06:02 +000027
Chris Lattner697954c2002-01-20 22:54:45 +000028using std::vector;
29using std::pair;
30using std::hash_map;
31using std::cerr;
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000032
33//*********************** Internal Data Structures *************************/
34
Vikram S. Advec352d2c2001-11-05 04:04:23 +000035// The following two types need to be classes, not typedefs, so we can use
36// opaque declarations in SchedGraph.h
37//
38struct RefVec: public vector< pair<SchedGraphNode*, int> > {
39 typedef vector< pair<SchedGraphNode*, int> >:: iterator iterator;
40 typedef vector< pair<SchedGraphNode*, int> >::const_iterator const_iterator;
41};
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000042
Chris Lattner80c685f2001-10-13 06:51:01 +000043struct RegToRefVecMap: public hash_map<int, RefVec> {
Vikram S. Advec352d2c2001-11-05 04:04:23 +000044 typedef hash_map<int, RefVec>:: iterator iterator;
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000045 typedef hash_map<int, RefVec>::const_iterator const_iterator;
46};
47
Vikram S. Advec352d2c2001-11-05 04:04:23 +000048struct ValueToDefVecMap: public hash_map<const Instruction*, RefVec> {
49 typedef hash_map<const Instruction*, RefVec>:: iterator iterator;
50 typedef hash_map<const Instruction*, RefVec>::const_iterator const_iterator;
51};
52
Vikram S. Adve78ef1392001-08-28 23:06:02 +000053//
54// class SchedGraphEdge
55//
56
57/*ctor*/
58SchedGraphEdge::SchedGraphEdge(SchedGraphNode* _src,
59 SchedGraphNode* _sink,
60 SchedGraphEdgeDepType _depType,
Vikram S. Advea93bbac2001-10-28 21:43:33 +000061 unsigned int _depOrderType,
Vikram S. Adve78ef1392001-08-28 23:06:02 +000062 int _minDelay)
63 : src(_src),
64 sink(_sink),
65 depType(_depType),
66 depOrderType(_depOrderType),
Chris Lattner80c685f2001-10-13 06:51:01 +000067 minDelay((_minDelay >= 0)? _minDelay : _src->getLatency()),
68 val(NULL)
Vikram S. Adve78ef1392001-08-28 23:06:02 +000069{
Vikram S. Adve200a4352001-11-12 18:53:43 +000070 assert(src != sink && "Self-loop in scheduling graph!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +000071 src->addOutEdge(this);
72 sink->addInEdge(this);
73}
74
75
76/*ctor*/
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000077SchedGraphEdge::SchedGraphEdge(SchedGraphNode* _src,
78 SchedGraphNode* _sink,
79 const Value* _val,
Vikram S. Advea93bbac2001-10-28 21:43:33 +000080 unsigned int _depOrderType,
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000081 int _minDelay)
Vikram S. Adve78ef1392001-08-28 23:06:02 +000082 : src(_src),
83 sink(_sink),
Vikram S. Adve200a4352001-11-12 18:53:43 +000084 depType(ValueDep),
Vikram S. Adve78ef1392001-08-28 23:06:02 +000085 depOrderType(_depOrderType),
Chris Lattner80c685f2001-10-13 06:51:01 +000086 minDelay((_minDelay >= 0)? _minDelay : _src->getLatency()),
87 val(_val)
Vikram S. Adve78ef1392001-08-28 23:06:02 +000088{
Vikram S. Adve200a4352001-11-12 18:53:43 +000089 assert(src != sink && "Self-loop in scheduling graph!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +000090 src->addOutEdge(this);
91 sink->addInEdge(this);
92}
93
94
95/*ctor*/
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000096SchedGraphEdge::SchedGraphEdge(SchedGraphNode* _src,
97 SchedGraphNode* _sink,
98 unsigned int _regNum,
Vikram S. Advea93bbac2001-10-28 21:43:33 +000099 unsigned int _depOrderType,
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000100 int _minDelay)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000101 : src(_src),
102 sink(_sink),
103 depType(MachineRegister),
104 depOrderType(_depOrderType),
105 minDelay((_minDelay >= 0)? _minDelay : _src->getLatency()),
106 machineRegNum(_regNum)
107{
Vikram S. Adve200a4352001-11-12 18:53:43 +0000108 assert(src != sink && "Self-loop in scheduling graph!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000109 src->addOutEdge(this);
110 sink->addInEdge(this);
111}
112
113
114/*ctor*/
115SchedGraphEdge::SchedGraphEdge(SchedGraphNode* _src,
116 SchedGraphNode* _sink,
117 ResourceId _resourceId,
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000118 int _minDelay)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000119 : src(_src),
120 sink(_sink),
121 depType(MachineResource),
122 depOrderType(NonDataDep),
123 minDelay((_minDelay >= 0)? _minDelay : _src->getLatency()),
124 resourceId(_resourceId)
125{
Vikram S. Adve200a4352001-11-12 18:53:43 +0000126 assert(src != sink && "Self-loop in scheduling graph!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000127 src->addOutEdge(this);
128 sink->addInEdge(this);
129}
130
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000131/*dtor*/
132SchedGraphEdge::~SchedGraphEdge()
133{
134}
135
Chris Lattnerc83e9542001-09-07 21:21:03 +0000136void SchedGraphEdge::dump(int indent=0) const {
Chris Lattner697954c2002-01-20 22:54:45 +0000137 cerr << std::string(indent*2, ' ') << *this;
Chris Lattnerc83e9542001-09-07 21:21:03 +0000138}
139
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000140
141//
142// class SchedGraphNode
143//
144
145/*ctor*/
146SchedGraphNode::SchedGraphNode(unsigned int _nodeId,
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000147 const BasicBlock* _bb,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000148 const MachineInstr* _minstr,
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000149 int indexInBB,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000150 const TargetMachine& target)
151 : nodeId(_nodeId),
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000152 bb(_bb),
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000153 minstr(_minstr),
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000154 origIndexInBB(indexInBB),
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000155 latency(0)
156{
157 if (minstr)
158 {
159 MachineOpCode mopCode = minstr->getOpCode();
160 latency = target.getInstrInfo().hasResultInterlock(mopCode)
161 ? target.getInstrInfo().minLatency(mopCode)
162 : target.getInstrInfo().maxLatency(mopCode);
163 }
164}
165
166
167/*dtor*/
168SchedGraphNode::~SchedGraphNode()
169{
Chris Lattnerf3dd05c2002-04-09 05:15:33 +0000170 // for each node, delete its out-edges
171 std::for_each(beginOutEdges(), endOutEdges(),
172 deleter<SchedGraphEdge>);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000173}
174
Chris Lattnerc83e9542001-09-07 21:21:03 +0000175void SchedGraphNode::dump(int indent=0) const {
Chris Lattner697954c2002-01-20 22:54:45 +0000176 cerr << std::string(indent*2, ' ') << *this;
Chris Lattnerc83e9542001-09-07 21:21:03 +0000177}
178
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000179
180inline void
181SchedGraphNode::addInEdge(SchedGraphEdge* edge)
182{
183 inEdges.push_back(edge);
184}
185
186
187inline void
188SchedGraphNode::addOutEdge(SchedGraphEdge* edge)
189{
190 outEdges.push_back(edge);
191}
192
193inline void
194SchedGraphNode::removeInEdge(const SchedGraphEdge* edge)
195{
196 assert(edge->getSink() == this);
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000197
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000198 for (iterator I = beginInEdges(); I != endInEdges(); ++I)
199 if ((*I) == edge)
200 {
201 inEdges.erase(I);
202 break;
203 }
204}
205
206inline void
207SchedGraphNode::removeOutEdge(const SchedGraphEdge* edge)
208{
209 assert(edge->getSrc() == this);
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000210
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000211 for (iterator I = beginOutEdges(); I != endOutEdges(); ++I)
212 if ((*I) == edge)
213 {
214 outEdges.erase(I);
215 break;
216 }
217}
218
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000219
220//
221// class SchedGraph
222//
223
224
225/*ctor*/
226SchedGraph::SchedGraph(const BasicBlock* bb,
227 const TargetMachine& target)
228{
229 bbVec.push_back(bb);
Chris Lattner697954c2002-01-20 22:54:45 +0000230 buildGraph(target);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000231}
232
233
234/*dtor*/
235SchedGraph::~SchedGraph()
236{
Chris Lattner697954c2002-01-20 22:54:45 +0000237 for (const_iterator I = begin(); I != end(); ++I)
Chris Lattnerf3dd05c2002-04-09 05:15:33 +0000238 delete I->second;
239 delete graphRoot;
240 delete graphLeaf;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000241}
242
243
244void
245SchedGraph::dump() const
246{
Chris Lattner697954c2002-01-20 22:54:45 +0000247 cerr << " Sched Graph for Basic Blocks: ";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000248 for (unsigned i=0, N=bbVec.size(); i < N; i++)
249 {
Chris Lattner697954c2002-01-20 22:54:45 +0000250 cerr << (bbVec[i]->hasName()? bbVec[i]->getName() : "block")
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000251 << " (" << bbVec[i] << ")"
252 << ((i == N-1)? "" : ", ");
253 }
254
Chris Lattner697954c2002-01-20 22:54:45 +0000255 cerr << "\n\n Actual Root nodes : ";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000256 for (unsigned i=0, N=graphRoot->outEdges.size(); i < N; i++)
Chris Lattner697954c2002-01-20 22:54:45 +0000257 cerr << graphRoot->outEdges[i]->getSink()->getNodeId()
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000258 << ((i == N-1)? "" : ", ");
259
Chris Lattner697954c2002-01-20 22:54:45 +0000260 cerr << "\n Graph Nodes:\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000261 for (const_iterator I=begin(); I != end(); ++I)
Chris Lattner697954c2002-01-20 22:54:45 +0000262 cerr << "\n" << *I->second;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000263
Chris Lattner697954c2002-01-20 22:54:45 +0000264 cerr << "\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000265}
266
267
268void
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000269SchedGraph::eraseIncomingEdges(SchedGraphNode* node, bool addDummyEdges)
270{
271 // Delete and disconnect all in-edges for the node
272 for (SchedGraphNode::iterator I = node->beginInEdges();
273 I != node->endInEdges(); ++I)
274 {
275 SchedGraphNode* srcNode = (*I)->getSrc();
276 srcNode->removeOutEdge(*I);
277 delete *I;
278
279 if (addDummyEdges &&
280 srcNode != getRoot() &&
281 srcNode->beginOutEdges() == srcNode->endOutEdges())
282 { // srcNode has no more out edges, so add an edge to dummy EXIT node
283 assert(node != getLeaf() && "Adding edge that was just removed?");
284 (void) new SchedGraphEdge(srcNode, getLeaf(),
285 SchedGraphEdge::CtrlDep, SchedGraphEdge::NonDataDep, 0);
286 }
287 }
288
289 node->inEdges.clear();
290}
291
292void
293SchedGraph::eraseOutgoingEdges(SchedGraphNode* node, bool addDummyEdges)
294{
295 // Delete and disconnect all out-edges for the node
296 for (SchedGraphNode::iterator I = node->beginOutEdges();
297 I != node->endOutEdges(); ++I)
298 {
299 SchedGraphNode* sinkNode = (*I)->getSink();
300 sinkNode->removeInEdge(*I);
301 delete *I;
302
303 if (addDummyEdges &&
304 sinkNode != getLeaf() &&
305 sinkNode->beginInEdges() == sinkNode->endInEdges())
306 { //sinkNode has no more in edges, so add an edge from dummy ENTRY node
307 assert(node != getRoot() && "Adding edge that was just removed?");
308 (void) new SchedGraphEdge(getRoot(), sinkNode,
309 SchedGraphEdge::CtrlDep, SchedGraphEdge::NonDataDep, 0);
310 }
311 }
312
313 node->outEdges.clear();
314}
315
316void
317SchedGraph::eraseIncidentEdges(SchedGraphNode* node, bool addDummyEdges)
318{
319 this->eraseIncomingEdges(node, addDummyEdges);
320 this->eraseOutgoingEdges(node, addDummyEdges);
321}
322
323
324void
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000325SchedGraph::addDummyEdges()
326{
327 assert(graphRoot->outEdges.size() == 0);
328
329 for (const_iterator I=begin(); I != end(); ++I)
330 {
331 SchedGraphNode* node = (*I).second;
332 assert(node != graphRoot && node != graphLeaf);
333 if (node->beginInEdges() == node->endInEdges())
334 (void) new SchedGraphEdge(graphRoot, node, SchedGraphEdge::CtrlDep,
335 SchedGraphEdge::NonDataDep, 0);
336 if (node->beginOutEdges() == node->endOutEdges())
337 (void) new SchedGraphEdge(node, graphLeaf, SchedGraphEdge::CtrlDep,
338 SchedGraphEdge::NonDataDep, 0);
339 }
340}
341
342
343void
344SchedGraph::addCDEdges(const TerminatorInst* term,
345 const TargetMachine& target)
346{
347 const MachineInstrInfo& mii = target.getInstrInfo();
Chris Lattner0861b0c2002-02-03 07:29:45 +0000348 MachineCodeForInstruction &termMvec = MachineCodeForInstruction::get(term);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000349
350 // Find the first branch instr in the sequence of machine instrs for term
351 //
352 unsigned first = 0;
Chris Lattner0861b0c2002-02-03 07:29:45 +0000353 while (!mii.isBranch(termMvec[first]->getOpCode()))
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000354 ++first;
355 assert(first < termMvec.size() &&
356 "No branch instructions for BR? Ok, but weird! Delete assertion.");
357 if (first == termMvec.size())
358 return;
359
360 SchedGraphNode* firstBrNode = this->getGraphNodeForInstr(termMvec[first]);
361
362 // Add CD edges from each instruction in the sequence to the
363 // *last preceding* branch instr. in the sequence
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000364 // Use a latency of 0 because we only need to prevent out-of-order issue.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000365 //
366 for (int i = (int) termMvec.size()-1; i > (int) first; i--)
367 {
368 SchedGraphNode* toNode = this->getGraphNodeForInstr(termMvec[i]);
369 assert(toNode && "No node for instr generated for branch?");
370
371 for (int j = i-1; j >= 0; j--)
372 if (mii.isBranch(termMvec[j]->getOpCode()))
373 {
374 SchedGraphNode* brNode = this->getGraphNodeForInstr(termMvec[j]);
375 assert(brNode && "No node for instr generated for branch?");
376 (void) new SchedGraphEdge(brNode, toNode, SchedGraphEdge::CtrlDep,
377 SchedGraphEdge::NonDataDep, 0);
378 break; // only one incoming edge is enough
379 }
380 }
381
382 // Add CD edges from each instruction preceding the first branch
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000383 // to the first branch. Use a latency of 0 as above.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000384 //
385 for (int i = first-1; i >= 0; i--)
386 {
387 SchedGraphNode* fromNode = this->getGraphNodeForInstr(termMvec[i]);
388 assert(fromNode && "No node for instr generated for branch?");
389 (void) new SchedGraphEdge(fromNode, firstBrNode, SchedGraphEdge::CtrlDep,
390 SchedGraphEdge::NonDataDep, 0);
391 }
392
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000393 // Now add CD edges to the first branch instruction in the sequence from
394 // all preceding instructions in the basic block. Use 0 latency again.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000395 //
Vikram S. Adve200a4352001-11-12 18:53:43 +0000396 const BasicBlock* bb = firstBrNode->getBB();
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000397 const MachineCodeForBasicBlock& mvec = MachineCodeForBasicBlock::get(bb);
Vikram S. Adve200a4352001-11-12 18:53:43 +0000398 for (unsigned i=0, N=mvec.size(); i < N; i++)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000399 {
Vikram S. Adve200a4352001-11-12 18:53:43 +0000400 if (mvec[i] == termMvec[first]) // reached the first branch
401 break;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000402
Vikram S. Adve200a4352001-11-12 18:53:43 +0000403 SchedGraphNode* fromNode = this->getGraphNodeForInstr(mvec[i]);
404 if (fromNode == NULL)
405 continue; // dummy instruction, e.g., PHI
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000406
Vikram S. Adve200a4352001-11-12 18:53:43 +0000407 (void) new SchedGraphEdge(fromNode, firstBrNode,
408 SchedGraphEdge::CtrlDep,
409 SchedGraphEdge::NonDataDep, 0);
410
411 // If we find any other machine instructions (other than due to
412 // the terminator) that also have delay slots, add an outgoing edge
413 // from the instruction to the instructions in the delay slots.
414 //
415 unsigned d = mii.getNumDelaySlots(mvec[i]->getOpCode());
416 assert(i+d < N && "Insufficient delay slots for instruction?");
417
418 for (unsigned j=1; j <= d; j++)
419 {
420 SchedGraphNode* toNode = this->getGraphNodeForInstr(mvec[i+j]);
421 assert(toNode && "No node for machine instr in delay slot?");
422 (void) new SchedGraphEdge(fromNode, toNode,
423 SchedGraphEdge::CtrlDep,
424 SchedGraphEdge::NonDataDep, 0);
425 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000426 }
427}
428
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000429static const int SG_LOAD_REF = 0;
430static const int SG_STORE_REF = 1;
431static const int SG_CALL_REF = 2;
432
433static const unsigned int SG_DepOrderArray[][3] = {
434 { SchedGraphEdge::NonDataDep,
435 SchedGraphEdge::AntiDep,
436 SchedGraphEdge::AntiDep },
437 { SchedGraphEdge::TrueDep,
438 SchedGraphEdge::OutputDep,
439 SchedGraphEdge::TrueDep | SchedGraphEdge::OutputDep },
440 { SchedGraphEdge::TrueDep,
441 SchedGraphEdge::AntiDep | SchedGraphEdge::OutputDep,
442 SchedGraphEdge::TrueDep | SchedGraphEdge::AntiDep
443 | SchedGraphEdge::OutputDep }
444};
445
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000446
Vikram S. Advee64574c2001-11-08 05:20:23 +0000447// Add a dependence edge between every pair of machine load/store/call
448// instructions, where at least one is a store or a call.
449// Use latency 1 just to ensure that memory operations are ordered;
450// latency does not otherwise matter (true dependences enforce that).
451//
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000452void
Vikram S. Advee64574c2001-11-08 05:20:23 +0000453SchedGraph::addMemEdges(const vector<SchedGraphNode*>& memNodeVec,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000454 const TargetMachine& target)
455{
456 const MachineInstrInfo& mii = target.getInstrInfo();
457
Vikram S. Advee64574c2001-11-08 05:20:23 +0000458 // Instructions in memNodeVec are in execution order within the basic block,
459 // so simply look at all pairs <memNodeVec[i], memNodeVec[j: j > i]>.
460 //
461 for (unsigned im=0, NM=memNodeVec.size(); im < NM; im++)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000462 {
Vikram S. Advee64574c2001-11-08 05:20:23 +0000463 MachineOpCode fromOpCode = memNodeVec[im]->getOpCode();
464 int fromType = mii.isCall(fromOpCode)? SG_CALL_REF
465 : mii.isLoad(fromOpCode)? SG_LOAD_REF
466 : SG_STORE_REF;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000467 for (unsigned jm=im+1; jm < NM; jm++)
468 {
Vikram S. Advee64574c2001-11-08 05:20:23 +0000469 MachineOpCode toOpCode = memNodeVec[jm]->getOpCode();
470 int toType = mii.isCall(toOpCode)? SG_CALL_REF
471 : mii.isLoad(toOpCode)? SG_LOAD_REF
472 : SG_STORE_REF;
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000473
Vikram S. Advee64574c2001-11-08 05:20:23 +0000474 if (fromType != SG_LOAD_REF || toType != SG_LOAD_REF)
475 (void) new SchedGraphEdge(memNodeVec[im], memNodeVec[jm],
476 SchedGraphEdge::MemoryDep,
477 SG_DepOrderArray[fromType][toType], 1);
478 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000479 }
Vikram S. Advee64574c2001-11-08 05:20:23 +0000480}
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000481
Vikram S. Advee64574c2001-11-08 05:20:23 +0000482// Add edges from/to CC reg instrs to/from call instrs.
483// Essentially this prevents anything that sets or uses a CC reg from being
484// reordered w.r.t. a call.
485// Use a latency of 0 because we only need to prevent out-of-order issue,
486// like with control dependences.
487//
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000488void
Vikram S. Advee64574c2001-11-08 05:20:23 +0000489SchedGraph::addCallCCEdges(const vector<SchedGraphNode*>& memNodeVec,
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000490 MachineCodeForBasicBlock& bbMvec,
491 const TargetMachine& target)
492{
493 const MachineInstrInfo& mii = target.getInstrInfo();
494 vector<SchedGraphNode*> callNodeVec;
495
Vikram S. Advee64574c2001-11-08 05:20:23 +0000496 // Find the call instruction nodes and put them in a vector.
497 for (unsigned im=0, NM=memNodeVec.size(); im < NM; im++)
498 if (mii.isCall(memNodeVec[im]->getOpCode()))
499 callNodeVec.push_back(memNodeVec[im]);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000500
Vikram S. Advee64574c2001-11-08 05:20:23 +0000501 // Now walk the entire basic block, looking for CC instructions *and*
502 // call instructions, and keep track of the order of the instructions.
503 // Use the call node vec to quickly find earlier and later call nodes
504 // relative to the current CC instruction.
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000505 //
506 int lastCallNodeIdx = -1;
507 for (unsigned i=0, N=bbMvec.size(); i < N; i++)
508 if (mii.isCall(bbMvec[i]->getOpCode()))
509 {
510 ++lastCallNodeIdx;
511 for ( ; lastCallNodeIdx < (int)callNodeVec.size(); ++lastCallNodeIdx)
512 if (callNodeVec[lastCallNodeIdx]->getMachineInstr() == bbMvec[i])
513 break;
514 assert(lastCallNodeIdx < (int)callNodeVec.size() && "Missed Call?");
515 }
516 else if (mii.isCCInstr(bbMvec[i]->getOpCode()))
517 { // Add incoming/outgoing edges from/to preceding/later calls
518 SchedGraphNode* ccNode = this->getGraphNodeForInstr(bbMvec[i]);
519 int j=0;
520 for ( ; j <= lastCallNodeIdx; j++)
521 (void) new SchedGraphEdge(callNodeVec[j], ccNode,
522 MachineCCRegsRID, 0);
523 for ( ; j < (int) callNodeVec.size(); j++)
524 (void) new SchedGraphEdge(ccNode, callNodeVec[j],
525 MachineCCRegsRID, 0);
526 }
527}
528
529
530void
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000531SchedGraph::addMachineRegEdges(RegToRefVecMap& regToRefVecMap,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000532 const TargetMachine& target)
533{
534 assert(bbVec.size() == 1 && "Only handling a single basic block here");
535
536 // This assumes that such hardwired registers are never allocated
537 // to any LLVM value (since register allocation happens later), i.e.,
538 // any uses or defs of this register have been made explicit!
539 // Also assumes that two registers with different numbers are
540 // not aliased!
541 //
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000542 for (RegToRefVecMap::iterator I = regToRefVecMap.begin();
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000543 I != regToRefVecMap.end(); ++I)
544 {
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000545 int regNum = (*I).first;
546 RefVec& regRefVec = (*I).second;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000547
548 // regRefVec is ordered by control flow order in the basic block
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000549 for (unsigned i=0; i < regRefVec.size(); ++i)
550 {
551 SchedGraphNode* node = regRefVec[i].first;
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000552 unsigned int opNum = regRefVec[i].second;
553 bool isDef = node->getMachineInstr()->operandIsDefined(opNum);
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000554 bool isDefAndUse =
555 node->getMachineInstr()->operandIsDefinedAndUsed(opNum);
556
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000557 for (unsigned p=0; p < i; ++p)
558 {
559 SchedGraphNode* prevNode = regRefVec[p].first;
560 if (prevNode != node)
561 {
562 unsigned int prevOpNum = regRefVec[p].second;
563 bool prevIsDef =
564 prevNode->getMachineInstr()->operandIsDefined(prevOpNum);
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000565 bool prevIsDefAndUse =
566 prevNode->getMachineInstr()->operandIsDefinedAndUsed(prevOpNum);
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000567 if (isDef)
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000568 {
569 if (prevIsDef)
570 new SchedGraphEdge(prevNode, node, regNum,
571 SchedGraphEdge::OutputDep);
572 if (!prevIsDef || prevIsDefAndUse)
573 new SchedGraphEdge(prevNode, node, regNum,
574 SchedGraphEdge::AntiDep);
575 }
576
577 if (prevIsDef)
578 if (!isDef || isDefAndUse)
579 new SchedGraphEdge(prevNode, node, regNum,
580 SchedGraphEdge::TrueDep);
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000581 }
582 }
583 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000584 }
585}
586
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000587
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000588// Adds dependences to/from refNode from/to all other defs
589// in the basic block. refNode may be a use, a def, or both.
590// We do not consider other uses because we are not building use-use deps.
591//
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000592void
Vikram S. Adve200a4352001-11-12 18:53:43 +0000593SchedGraph::addEdgesForValue(SchedGraphNode* refNode,
594 const RefVec& defVec,
595 const Value* defValue,
596 bool refNodeIsDef,
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000597 bool refNodeIsDefAndUse,
Vikram S. Adve200a4352001-11-12 18:53:43 +0000598 const TargetMachine& target)
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000599{
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000600 bool refNodeIsUse = !refNodeIsDef || refNodeIsDefAndUse;
601
Vikram S. Adve200a4352001-11-12 18:53:43 +0000602 // Add true or output dep edges from all def nodes before refNode in BB.
603 // Add anti or output dep edges to all def nodes after refNode.
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000604 for (RefVec::const_iterator I=defVec.begin(), E=defVec.end(); I != E; ++I)
Vikram S. Adve200a4352001-11-12 18:53:43 +0000605 {
606 if ((*I).first == refNode)
607 continue; // Dont add any self-loops
608
609 if ((*I).first->getOrigIndexInBB() < refNode->getOrigIndexInBB())
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000610 { // (*).first is before refNode
611 if (refNodeIsDef)
612 (void) new SchedGraphEdge((*I).first, refNode, defValue,
613 SchedGraphEdge::OutputDep);
614 if (refNodeIsUse)
615 (void) new SchedGraphEdge((*I).first, refNode, defValue,
616 SchedGraphEdge::TrueDep);
617 }
Vikram S. Adve200a4352001-11-12 18:53:43 +0000618 else
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000619 { // (*).first is after refNode
620 if (refNodeIsDef)
621 (void) new SchedGraphEdge(refNode, (*I).first, defValue,
622 SchedGraphEdge::OutputDep);
623 if (refNodeIsUse)
624 (void) new SchedGraphEdge(refNode, (*I).first, defValue,
625 SchedGraphEdge::AntiDep);
626 }
Vikram S. Adve200a4352001-11-12 18:53:43 +0000627 }
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000628}
629
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000630
631void
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000632SchedGraph::addEdgesForInstruction(const MachineInstr& minstr,
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000633 const ValueToDefVecMap& valueToDefVecMap,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000634 const TargetMachine& target)
635{
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000636 SchedGraphNode* node = this->getGraphNodeForInstr(&minstr);
637 if (node == NULL)
638 return;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000639
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000640 // Add edges for all operands of the machine instruction.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000641 //
642 for (unsigned i=0, numOps=minstr.getNumOperands(); i < numOps; i++)
643 {
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000644 const MachineOperand& mop = minstr.getOperand(i);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000645 switch(mop.getOperandType())
646 {
647 case MachineOperand::MO_VirtualRegister:
648 case MachineOperand::MO_CCRegister:
Vikram S. Adve85b46d62001-10-17 23:53:16 +0000649 if (const Instruction* srcI =
650 dyn_cast_or_null<Instruction>(mop.getVRegValue()))
651 {
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000652 ValueToDefVecMap::const_iterator I = valueToDefVecMap.find(srcI);
653 if (I != valueToDefVecMap.end())
Vikram S. Adve200a4352001-11-12 18:53:43 +0000654 addEdgesForValue(node, (*I).second, mop.getVRegValue(),
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000655 minstr.operandIsDefined(i),
656 minstr.operandIsDefinedAndUsed(i), target);
Vikram S. Adve85b46d62001-10-17 23:53:16 +0000657 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000658 break;
659
660 case MachineOperand::MO_MachineRegister:
661 break;
662
663 case MachineOperand::MO_SignExtendedImmed:
664 case MachineOperand::MO_UnextendedImmed:
665 case MachineOperand::MO_PCRelativeDisp:
666 break; // nothing to do for immediate fields
667
668 default:
669 assert(0 && "Unknown machine operand type in SchedGraph builder");
670 break;
671 }
672 }
Vikram S. Adve8d0ffa52001-10-11 04:22:45 +0000673
674 // Add edges for values implicitly used by the machine instruction.
675 // Examples include function arguments to a Call instructions or the return
676 // value of a Ret instruction.
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000677 //
Vikram S. Adve8d0ffa52001-10-11 04:22:45 +0000678 for (unsigned i=0, N=minstr.getNumImplicitRefs(); i < N; ++i)
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000679 if (! minstr.implicitRefIsDefined(i) ||
680 minstr.implicitRefIsDefinedAndUsed(i))
Vikram S. Adve85b46d62001-10-17 23:53:16 +0000681 if (const Instruction* srcI =
682 dyn_cast_or_null<Instruction>(minstr.getImplicitRef(i)))
683 {
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000684 ValueToDefVecMap::const_iterator I = valueToDefVecMap.find(srcI);
685 if (I != valueToDefVecMap.end())
Vikram S. Adve200a4352001-11-12 18:53:43 +0000686 addEdgesForValue(node, (*I).second, minstr.getImplicitRef(i),
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000687 minstr.implicitRefIsDefined(i),
688 minstr.implicitRefIsDefinedAndUsed(i), target);
Vikram S. Adve85b46d62001-10-17 23:53:16 +0000689 }
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000690}
691
692
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000693void
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000694SchedGraph::findDefUseInfoAtInstr(const TargetMachine& target,
695 SchedGraphNode* node,
Vikram S. Advee64574c2001-11-08 05:20:23 +0000696 vector<SchedGraphNode*>& memNodeVec,
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000697 RegToRefVecMap& regToRefVecMap,
698 ValueToDefVecMap& valueToDefVecMap)
699{
700 const MachineInstrInfo& mii = target.getInstrInfo();
701
Vikram S. Advee64574c2001-11-08 05:20:23 +0000702
703 MachineOpCode opCode = node->getOpCode();
704 if (mii.isLoad(opCode) || mii.isStore(opCode) || mii.isCall(opCode))
705 memNodeVec.push_back(node);
706
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000707 // Collect the register references and value defs. for explicit operands
708 //
709 const MachineInstr& minstr = * node->getMachineInstr();
710 for (int i=0, numOps = (int) minstr.getNumOperands(); i < numOps; i++)
711 {
712 const MachineOperand& mop = minstr.getOperand(i);
713
714 // if this references a register other than the hardwired
715 // "zero" register, record the reference.
716 if (mop.getOperandType() == MachineOperand::MO_MachineRegister)
717 {
718 int regNum = mop.getMachineRegNum();
719 if (regNum != target.getRegInfo().getZeroRegNum())
Chris Lattner697954c2002-01-20 22:54:45 +0000720 regToRefVecMap[mop.getMachineRegNum()].push_back(
721 std::make_pair(node, i));
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000722 continue; // nothing more to do
723 }
724
725 // ignore all other non-def operands
726 if (! minstr.operandIsDefined(i))
727 continue;
728
729 // We must be defining a value.
730 assert((mop.getOperandType() == MachineOperand::MO_VirtualRegister ||
731 mop.getOperandType() == MachineOperand::MO_CCRegister)
732 && "Do not expect any other kind of operand to be defined!");
733
734 const Instruction* defInstr = cast<Instruction>(mop.getVRegValue());
Chris Lattner697954c2002-01-20 22:54:45 +0000735 valueToDefVecMap[defInstr].push_back(std::make_pair(node, i));
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000736 }
Vikram S. Advee64574c2001-11-08 05:20:23 +0000737
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000738 //
739 // Collect value defs. for implicit operands. The interface to extract
740 // them assumes they must be virtual registers!
741 //
742 for (int i=0, N = (int) minstr.getNumImplicitRefs(); i < N; ++i)
743 if (minstr.implicitRefIsDefined(i))
744 if (const Instruction* defInstr =
745 dyn_cast_or_null<Instruction>(minstr.getImplicitRef(i)))
746 {
Chris Lattner697954c2002-01-20 22:54:45 +0000747 valueToDefVecMap[defInstr].push_back(std::make_pair(node, -i));
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000748 }
749}
750
751
752void
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000753SchedGraph::buildNodesforBB(const TargetMachine& target,
754 const BasicBlock* bb,
755 vector<SchedGraphNode*>& memNodeVec,
756 RegToRefVecMap& regToRefVecMap,
757 ValueToDefVecMap& valueToDefVecMap)
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000758{
759 const MachineInstrInfo& mii = target.getInstrInfo();
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000760
761 // Build graph nodes for each VM instruction and gather def/use info.
762 // Do both those together in a single pass over all machine instructions.
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000763 const MachineCodeForBasicBlock& mvec = MachineCodeForBasicBlock::get(bb);
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000764 for (unsigned i=0; i < mvec.size(); i++)
765 if (! mii.isDummyPhiInstr(mvec[i]->getOpCode()))
766 {
767 SchedGraphNode* node = new SchedGraphNode(getNumNodes(), bb,
768 mvec[i], i, target);
769 this->noteGraphNodeForInstr(mvec[i], node);
770
771 // Remember all register references and value defs
772 findDefUseInfoAtInstr(target, node,
773 memNodeVec, regToRefVecMap,valueToDefVecMap);
774 }
775
776#undef REALLY_NEED_TO_SEARCH_SUCCESSOR_PHIS
777#ifdef REALLY_NEED_TO_SEARCH_SUCCESSOR_PHIS
778 // This is a BIG UGLY HACK. IT NEEDS TO BE ELIMINATED.
779 // Look for copy instructions inserted in this BB due to Phi instructions
780 // in the successor BBs.
781 // There MUST be exactly one copy per Phi in successor nodes.
782 //
783 for (BasicBlock::succ_const_iterator SI=bb->succ_begin(), SE=bb->succ_end();
784 SI != SE; ++SI)
785 for (BasicBlock::const_iterator PI=(*SI)->begin(), PE=(*SI)->end();
786 PI != PE; ++PI)
787 {
788 if ((*PI)->getOpcode() != Instruction::PHINode)
789 break; // No more Phis in this successor
790
791 // Find the incoming value from block bb to block (*SI)
792 int bbIndex = cast<PHINode>(*PI)->getBasicBlockIndex(bb);
793 assert(bbIndex >= 0 && "But I know bb is a predecessor of (*SI)?");
794 Value* inVal = cast<PHINode>(*PI)->getIncomingValue(bbIndex);
795 assert(inVal != NULL && "There must be an in-value on every edge");
796
797 // Find the machine instruction that makes a copy of inval to (*PI).
798 // This must be in the current basic block (bb).
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000799 const MachineCodeForVMInstr& mvec = MachineCodeForBasicBlock::get(*PI);
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000800 const MachineInstr* theCopy = NULL;
801 for (unsigned i=0; i < mvec.size() && theCopy == NULL; i++)
802 if (! mii.isDummyPhiInstr(mvec[i]->getOpCode()))
803 // not a Phi: assume this is a copy and examine its operands
804 for (int o=0, N=(int) mvec[i]->getNumOperands(); o < N; o++)
805 {
806 const MachineOperand& mop = mvec[i]->getOperand(o);
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000807
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000808 if (mvec[i]->operandIsDefined(o))
809 assert(mop.getVRegValue() == (*PI) && "dest shd be my Phi");
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000810
811 if (! mvec[i]->operandIsDefined(o) ||
812 NOT NEEDED? mvec[i]->operandIsDefinedAndUsed(o))
813 if (mop.getVRegValue() == inVal)
814 { // found the copy!
815 theCopy = mvec[i];
816 break;
817 }
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000818 }
819
820 // Found the dang instruction. Now create a node and do the rest...
821 if (theCopy != NULL)
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000822 {
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000823 SchedGraphNode* node = new SchedGraphNode(getNumNodes(), bb,
824 theCopy, origIndexInBB++, target);
825 this->noteGraphNodeForInstr(theCopy, node);
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000826 findDefUseInfoAtInstr(target, node,
827 memNodeVec, regToRefVecMap,valueToDefVecMap);
828 }
Vikram S. Adveaf00d482001-11-12 14:18:01 +0000829 }
Chris Lattner4ed17ba2001-11-26 18:56:52 +0000830#endif //REALLY_NEED_TO_SEARCH_SUCCESSOR_PHIS
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000831}
832
833
834void
835SchedGraph::buildGraph(const TargetMachine& target)
836{
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000837 const BasicBlock* bb = bbVec[0];
838
839 assert(bbVec.size() == 1 && "Only handling a single basic block here");
840
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000841 // Use this data structure to note all machine operands that compute
842 // ordinary LLVM values. These must be computed defs (i.e., instructions).
843 // Note that there may be multiple machine instructions that define
844 // each Value.
845 ValueToDefVecMap valueToDefVecMap;
846
Vikram S. Advee64574c2001-11-08 05:20:23 +0000847 // Use this data structure to note all memory instructions.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000848 // We use this to add memory dependence edges without a second full walk.
849 //
Vikram S. Advee64574c2001-11-08 05:20:23 +0000850 // vector<const Instruction*> memVec;
851 vector<SchedGraphNode*> memNodeVec;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000852
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000853 // Use this data structure to note any uses or definitions of
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000854 // machine registers so we can add edges for those later without
855 // extra passes over the nodes.
856 // The vector holds an ordered list of references to the machine reg,
857 // ordered according to control-flow order. This only works for a
858 // single basic block, hence the assertion. Each reference is identified
859 // by the pair: <node, operand-number>.
860 //
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000861 RegToRefVecMap regToRefVecMap;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000862
863 // Make a dummy root node. We'll add edges to the real roots later.
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000864 graphRoot = new SchedGraphNode(0, NULL, NULL, -1, target);
865 graphLeaf = new SchedGraphNode(1, NULL, NULL, -1, target);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000866
867 //----------------------------------------------------------------
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000868 // First add nodes for all the machine instructions in the basic block
869 // because this greatly simplifies identifying which edges to add.
870 // Do this one VM instruction at a time since the SchedGraphNode needs that.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000871 // Also, remember the load/store instructions to add memory deps later.
872 //----------------------------------------------------------------
873
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000874 buildNodesforBB(target, bb, memNodeVec, regToRefVecMap, valueToDefVecMap);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000875
876 //----------------------------------------------------------------
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000877 // Now add edges for the following (all are incoming edges except (4)):
878 // (1) operands of the machine instruction, including hidden operands
879 // (2) machine register dependences
880 // (3) memory load/store dependences
881 // (3) other resource dependences for the machine instruction, if any
882 // (4) output dependences when multiple machine instructions define the
883 // same value; all must have been generated from a single VM instrn
884 // (5) control dependences to branch instructions generated for the
885 // terminator instruction of the BB. Because of delay slots and
886 // 2-way conditional branches, multiple CD edges are needed
887 // (see addCDEdges for details).
888 // Also, note any uses or defs of machine registers.
889 //
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000890 //----------------------------------------------------------------
891
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000892 MachineCodeForBasicBlock& bbMvec = MachineCodeForBasicBlock::get(bb);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000893
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000894 // First, add edges to the terminator instruction of the basic block.
895 this->addCDEdges(bb->getTerminator(), target);
896
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000897 // Then add memory dep edges: store->load, load->store, and store->store.
898 // Call instructions are treated as both load and store.
Vikram S. Advee64574c2001-11-08 05:20:23 +0000899 this->addMemEdges(memNodeVec, target);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000900
901 // Then add edges between call instructions and CC set/use instructions
Vikram S. Advee64574c2001-11-08 05:20:23 +0000902 this->addCallCCEdges(memNodeVec, bbMvec, target);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000903
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000904 // Then add incoming def-use (SSA) edges for each machine instruction.
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000905 for (unsigned i=0, N=bbMvec.size(); i < N; i++)
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000906 addEdgesForInstruction(*bbMvec[i], valueToDefVecMap, target);
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000907
Vikram S. Adve200a4352001-11-12 18:53:43 +0000908#ifdef NEED_SEPARATE_NONSSA_EDGES_CODE
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000909 // Then add non-SSA edges for all VM instructions in the block.
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000910 // We assume that all machine instructions that define a value are
911 // generated from the VM instruction corresponding to that value.
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000912 // TODO: This could probably be done much more efficiently.
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000913 for (BasicBlock::const_iterator II = bb->begin(); II != bb->end(); ++II)
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000914 this->addNonSSAEdgesForValue(*II, target);
Chris Lattner4ed17ba2001-11-26 18:56:52 +0000915#endif //NEED_SEPARATE_NONSSA_EDGES_CODE
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000916
917 // Then add edges for dependences on machine registers
918 this->addMachineRegEdges(regToRefVecMap, target);
919
920 // Finally, add edges from the dummy root and to dummy leaf
921 this->addDummyEdges();
922}
923
924
925//
926// class SchedGraphSet
927//
928
929/*ctor*/
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000930SchedGraphSet::SchedGraphSet(const Function* _function,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000931 const TargetMachine& target) :
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000932 method(_function)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000933{
934 buildGraphsForMethod(method, target);
935}
936
937
938/*dtor*/
939SchedGraphSet::~SchedGraphSet()
940{
941 // delete all the graphs
Chris Lattnerf3dd05c2002-04-09 05:15:33 +0000942 for(iterator I = begin(), E = end(); I != E; ++I)
943 delete *I; // destructor is a friend
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000944}
945
946
947void
948SchedGraphSet::dump() const
949{
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000950 cerr << "======== Sched 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 for (const_iterator I=begin(); I != end(); ++I)
Vikram S. Advecf8a98f2002-03-24 03:40:59 +0000954 (*I)->dump();
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000955
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000956 cerr << "\n====== End graphs for function `" << method->getName()
Chris Lattner697954c2002-01-20 22:54:45 +0000957 << "' ========\n\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000958}
959
960
961void
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000962SchedGraphSet::buildGraphsForMethod(const Function *F,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000963 const TargetMachine& target)
964{
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000965 for (Function::const_iterator BI = F->begin(); BI != F->end(); ++BI)
Chris Lattner7e708292002-06-25 16:13:24 +0000966 addGraph(new SchedGraph(BI, target));
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000967}
968
969
Chris Lattner697954c2002-01-20 22:54:45 +0000970std::ostream &operator<<(std::ostream &os, const SchedGraphEdge& edge)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000971{
972 os << "edge [" << edge.src->getNodeId() << "] -> ["
973 << edge.sink->getNodeId() << "] : ";
974
975 switch(edge.depType) {
976 case SchedGraphEdge::CtrlDep: os<< "Control Dep"; break;
Vikram S. Adve200a4352001-11-12 18:53:43 +0000977 case SchedGraphEdge::ValueDep: os<< "Reg Value " << edge.val; break;
978 case SchedGraphEdge::MemoryDep: os<< "Memory Dep"; break;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000979 case SchedGraphEdge::MachineRegister: os<< "Reg " <<edge.machineRegNum;break;
980 case SchedGraphEdge::MachineResource: os<<"Resource "<<edge.resourceId;break;
981 default: assert(0); break;
982 }
983
Chris Lattner697954c2002-01-20 22:54:45 +0000984 os << " : delay = " << edge.minDelay << "\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000985
986 return os;
987}
988
Chris Lattner697954c2002-01-20 22:54:45 +0000989std::ostream &operator<<(std::ostream &os, const SchedGraphNode& node)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000990{
Chris Lattner697954c2002-01-20 22:54:45 +0000991 os << std::string(8, ' ')
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000992 << "Node " << node.nodeId << " : "
Chris Lattner697954c2002-01-20 22:54:45 +0000993 << "latency = " << node.latency << "\n" << std::string(12, ' ');
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000994
995 if (node.getMachineInstr() == NULL)
Chris Lattner697954c2002-01-20 22:54:45 +0000996 os << "(Dummy node)\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000997 else
998 {
Chris Lattner697954c2002-01-20 22:54:45 +0000999 os << *node.getMachineInstr() << "\n" << std::string(12, ' ');
1000 os << node.inEdges.size() << " Incoming Edges:\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +00001001 for (unsigned i=0, N=node.inEdges.size(); i < N; i++)
Chris Lattner697954c2002-01-20 22:54:45 +00001002 os << std::string(16, ' ') << *node.inEdges[i];
Vikram S. Adve78ef1392001-08-28 23:06:02 +00001003
Chris Lattner697954c2002-01-20 22:54:45 +00001004 os << std::string(12, ' ') << node.outEdges.size()
1005 << " Outgoing Edges:\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +00001006 for (unsigned i=0, N=node.outEdges.size(); i < N; i++)
Chris Lattner697954c2002-01-20 22:54:45 +00001007 os << std::string(16, ' ') << *node.outEdges[i];
Vikram S. Adve78ef1392001-08-28 23:06:02 +00001008 }
1009
1010 return os;
1011}