blob: 899e188dab4c963a0edaa1635199b316ff1daaf5 [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
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000021//*********************** Internal Data Structures *************************/
22
Vikram S. Advec352d2c2001-11-05 04:04:23 +000023// The following two types need to be classes, not typedefs, so we can use
24// opaque declarations in SchedGraph.h
25//
Misha Brukmanc2312df2003-05-22 21:24:35 +000026struct RefVec: public std::vector<std::pair<SchedGraphNode*, int> > {
27 typedef std::vector<std::pair<SchedGraphNode*,int> >::iterator iterator;
28 typedef
29 std::vector<std::pair<SchedGraphNode*,int> >::const_iterator const_iterator;
Vikram S. Advec352d2c2001-11-05 04:04:23 +000030};
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000031
Chris Lattner80c685f2001-10-13 06:51:01 +000032struct RegToRefVecMap: public hash_map<int, RefVec> {
Vikram S. Advec352d2c2001-11-05 04:04:23 +000033 typedef hash_map<int, RefVec>:: iterator iterator;
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000034 typedef hash_map<int, RefVec>::const_iterator const_iterator;
35};
36
Vikram S. Adve74d15d32003-07-02 01:16:01 +000037struct ValueToDefVecMap: public hash_map<const Value*, RefVec> {
38 typedef hash_map<const Value*, RefVec>:: iterator iterator;
39 typedef hash_map<const Value*, RefVec>::const_iterator const_iterator;
Vikram S. Advec352d2c2001-11-05 04:04:23 +000040};
41
Vikram S. Adve78ef1392001-08-28 23:06:02 +000042//
43// class SchedGraphEdge
44//
45
46/*ctor*/
47SchedGraphEdge::SchedGraphEdge(SchedGraphNode* _src,
48 SchedGraphNode* _sink,
49 SchedGraphEdgeDepType _depType,
Vikram S. Advea93bbac2001-10-28 21:43:33 +000050 unsigned int _depOrderType,
Vikram S. Adve78ef1392001-08-28 23:06:02 +000051 int _minDelay)
52 : src(_src),
53 sink(_sink),
54 depType(_depType),
55 depOrderType(_depOrderType),
Chris Lattner80c685f2001-10-13 06:51:01 +000056 minDelay((_minDelay >= 0)? _minDelay : _src->getLatency()),
57 val(NULL)
Vikram S. Adve78ef1392001-08-28 23:06:02 +000058{
Vikram S. Adve200a4352001-11-12 18:53:43 +000059 assert(src != sink && "Self-loop in scheduling graph!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +000060 src->addOutEdge(this);
61 sink->addInEdge(this);
62}
63
64
65/*ctor*/
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000066SchedGraphEdge::SchedGraphEdge(SchedGraphNode* _src,
67 SchedGraphNode* _sink,
68 const Value* _val,
Vikram S. Advea93bbac2001-10-28 21:43:33 +000069 unsigned int _depOrderType,
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000070 int _minDelay)
Vikram S. Adve78ef1392001-08-28 23:06:02 +000071 : src(_src),
72 sink(_sink),
Vikram S. Adve200a4352001-11-12 18:53:43 +000073 depType(ValueDep),
Vikram S. Adve78ef1392001-08-28 23:06:02 +000074 depOrderType(_depOrderType),
Chris Lattner80c685f2001-10-13 06:51:01 +000075 minDelay((_minDelay >= 0)? _minDelay : _src->getLatency()),
76 val(_val)
Vikram S. Adve78ef1392001-08-28 23:06:02 +000077{
Vikram S. Adve200a4352001-11-12 18:53:43 +000078 assert(src != sink && "Self-loop in scheduling graph!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +000079 src->addOutEdge(this);
80 sink->addInEdge(this);
81}
82
83
84/*ctor*/
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000085SchedGraphEdge::SchedGraphEdge(SchedGraphNode* _src,
86 SchedGraphNode* _sink,
87 unsigned int _regNum,
Vikram S. Advea93bbac2001-10-28 21:43:33 +000088 unsigned int _depOrderType,
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000089 int _minDelay)
Vikram S. Adve78ef1392001-08-28 23:06:02 +000090 : src(_src),
91 sink(_sink),
92 depType(MachineRegister),
93 depOrderType(_depOrderType),
94 minDelay((_minDelay >= 0)? _minDelay : _src->getLatency()),
95 machineRegNum(_regNum)
96{
Vikram S. Adve200a4352001-11-12 18:53:43 +000097 assert(src != sink && "Self-loop in scheduling graph!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +000098 src->addOutEdge(this);
99 sink->addInEdge(this);
100}
101
102
103/*ctor*/
104SchedGraphEdge::SchedGraphEdge(SchedGraphNode* _src,
105 SchedGraphNode* _sink,
106 ResourceId _resourceId,
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000107 int _minDelay)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000108 : src(_src),
109 sink(_sink),
110 depType(MachineResource),
111 depOrderType(NonDataDep),
112 minDelay((_minDelay >= 0)? _minDelay : _src->getLatency()),
113 resourceId(_resourceId)
114{
Vikram S. Adve200a4352001-11-12 18:53:43 +0000115 assert(src != sink && "Self-loop in scheduling graph!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000116 src->addOutEdge(this);
117 sink->addInEdge(this);
118}
119
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000120/*dtor*/
121SchedGraphEdge::~SchedGraphEdge()
122{
123}
124
Chris Lattner0c0edf82002-07-25 06:17:51 +0000125void SchedGraphEdge::dump(int indent) const {
Misha Brukmanc2312df2003-05-22 21:24:35 +0000126 std::cerr << std::string(indent*2, ' ') << *this;
Chris Lattnerc83e9542001-09-07 21:21:03 +0000127}
128
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000129
130//
131// class SchedGraphNode
132//
133
134/*ctor*/
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000135SchedGraphNode::SchedGraphNode(unsigned NID,
136 MachineBasicBlock *mbb,
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000137 int indexInBB,
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000138 const TargetMachine& Target)
139 : nodeId(NID), MBB(mbb), minstr(mbb ? (*mbb)[indexInBB] : 0),
140 origIndexInBB(indexInBB), latency(0) {
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000141 if (minstr)
142 {
143 MachineOpCode mopCode = minstr->getOpCode();
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000144 latency = Target.getInstrInfo().hasResultInterlock(mopCode)
145 ? Target.getInstrInfo().minLatency(mopCode)
146 : Target.getInstrInfo().maxLatency(mopCode);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000147 }
148}
149
150
151/*dtor*/
152SchedGraphNode::~SchedGraphNode()
153{
Chris Lattnerf3dd05c2002-04-09 05:15:33 +0000154 // for each node, delete its out-edges
155 std::for_each(beginOutEdges(), endOutEdges(),
156 deleter<SchedGraphEdge>);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000157}
158
Chris Lattner0c0edf82002-07-25 06:17:51 +0000159void SchedGraphNode::dump(int indent) const {
Misha Brukmanc2312df2003-05-22 21:24:35 +0000160 std::cerr << std::string(indent*2, ' ') << *this;
Chris Lattnerc83e9542001-09-07 21:21:03 +0000161}
162
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000163
164inline void
165SchedGraphNode::addInEdge(SchedGraphEdge* edge)
166{
167 inEdges.push_back(edge);
168}
169
170
171inline void
172SchedGraphNode::addOutEdge(SchedGraphEdge* edge)
173{
174 outEdges.push_back(edge);
175}
176
177inline void
178SchedGraphNode::removeInEdge(const SchedGraphEdge* edge)
179{
180 assert(edge->getSink() == this);
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000181
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000182 for (iterator I = beginInEdges(); I != endInEdges(); ++I)
183 if ((*I) == edge)
184 {
185 inEdges.erase(I);
186 break;
187 }
188}
189
190inline void
191SchedGraphNode::removeOutEdge(const SchedGraphEdge* edge)
192{
193 assert(edge->getSrc() == this);
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000194
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000195 for (iterator I = beginOutEdges(); I != endOutEdges(); ++I)
196 if ((*I) == edge)
197 {
198 outEdges.erase(I);
199 break;
200 }
201}
202
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000203
204//
205// class SchedGraph
206//
207
208
209/*ctor*/
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000210SchedGraph::SchedGraph(MachineBasicBlock &mbb, const TargetMachine& target)
211 : MBB(mbb) {
Chris Lattner697954c2002-01-20 22:54:45 +0000212 buildGraph(target);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000213}
214
215
216/*dtor*/
217SchedGraph::~SchedGraph()
218{
Chris Lattner697954c2002-01-20 22:54:45 +0000219 for (const_iterator I = begin(); I != end(); ++I)
Chris Lattnerf3dd05c2002-04-09 05:15:33 +0000220 delete I->second;
221 delete graphRoot;
222 delete graphLeaf;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000223}
224
225
226void
227SchedGraph::dump() const
228{
Misha Brukmanc2312df2003-05-22 21:24:35 +0000229 std::cerr << " Sched Graph for Basic Block: ";
230 std::cerr << MBB.getBasicBlock()->getName()
231 << " (" << MBB.getBasicBlock() << ")";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000232
Misha Brukmanc2312df2003-05-22 21:24:35 +0000233 std::cerr << "\n\n Actual Root nodes : ";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000234 for (unsigned i=0, N=graphRoot->outEdges.size(); i < N; i++)
Misha Brukmanc2312df2003-05-22 21:24:35 +0000235 std::cerr << graphRoot->outEdges[i]->getSink()->getNodeId()
236 << ((i == N-1)? "" : ", ");
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000237
Misha Brukmanc2312df2003-05-22 21:24:35 +0000238 std::cerr << "\n Graph Nodes:\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000239 for (const_iterator I=begin(); I != end(); ++I)
Misha Brukmanc2312df2003-05-22 21:24:35 +0000240 std::cerr << "\n" << *I->second;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000241
Misha Brukmanc2312df2003-05-22 21:24:35 +0000242 std::cerr << "\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000243}
244
245
246void
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000247SchedGraph::eraseIncomingEdges(SchedGraphNode* node, bool addDummyEdges)
248{
249 // Delete and disconnect all in-edges for the node
250 for (SchedGraphNode::iterator I = node->beginInEdges();
251 I != node->endInEdges(); ++I)
Misha Brukman6b77ec42003-05-22 21:49:18 +0000252 {
253 SchedGraphNode* srcNode = (*I)->getSrc();
254 srcNode->removeOutEdge(*I);
255 delete *I;
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000256
Misha Brukman6b77ec42003-05-22 21:49:18 +0000257 if (addDummyEdges &&
258 srcNode != getRoot() &&
259 srcNode->beginOutEdges() == srcNode->endOutEdges())
260 {
261 // srcNode has no more out edges, so add an edge to dummy EXIT node
262 assert(node != getLeaf() && "Adding edge that was just removed?");
263 (void) new SchedGraphEdge(srcNode, getLeaf(),
264 SchedGraphEdge::CtrlDep, SchedGraphEdge::NonDataDep, 0);
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000265 }
Misha Brukman6b77ec42003-05-22 21:49:18 +0000266 }
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000267
268 node->inEdges.clear();
269}
270
271void
272SchedGraph::eraseOutgoingEdges(SchedGraphNode* node, bool addDummyEdges)
273{
274 // Delete and disconnect all out-edges for the node
275 for (SchedGraphNode::iterator I = node->beginOutEdges();
276 I != node->endOutEdges(); ++I)
Misha Brukman6b77ec42003-05-22 21:49:18 +0000277 {
278 SchedGraphNode* sinkNode = (*I)->getSink();
279 sinkNode->removeInEdge(*I);
280 delete *I;
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000281
Misha Brukman6b77ec42003-05-22 21:49:18 +0000282 if (addDummyEdges &&
283 sinkNode != getLeaf() &&
284 sinkNode->beginInEdges() == sinkNode->endInEdges())
285 { //sinkNode has no more in edges, so add an edge from dummy ENTRY node
286 assert(node != getRoot() && "Adding edge that was just removed?");
287 (void) new SchedGraphEdge(getRoot(), sinkNode,
288 SchedGraphEdge::CtrlDep, SchedGraphEdge::NonDataDep, 0);
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000289 }
Misha Brukman6b77ec42003-05-22 21:49:18 +0000290 }
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000291
292 node->outEdges.clear();
293}
294
295void
296SchedGraph::eraseIncidentEdges(SchedGraphNode* node, bool addDummyEdges)
297{
298 this->eraseIncomingEdges(node, addDummyEdges);
299 this->eraseOutgoingEdges(node, addDummyEdges);
300}
301
302
303void
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000304SchedGraph::addDummyEdges()
305{
306 assert(graphRoot->outEdges.size() == 0);
307
308 for (const_iterator I=begin(); I != end(); ++I)
Misha Brukman6b77ec42003-05-22 21:49:18 +0000309 {
310 SchedGraphNode* node = (*I).second;
311 assert(node != graphRoot && node != graphLeaf);
312 if (node->beginInEdges() == node->endInEdges())
313 (void) new SchedGraphEdge(graphRoot, node, SchedGraphEdge::CtrlDep,
314 SchedGraphEdge::NonDataDep, 0);
315 if (node->beginOutEdges() == node->endOutEdges())
316 (void) new SchedGraphEdge(node, graphLeaf, SchedGraphEdge::CtrlDep,
317 SchedGraphEdge::NonDataDep, 0);
318 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000319}
320
321
322void
323SchedGraph::addCDEdges(const TerminatorInst* term,
324 const TargetMachine& target)
325{
Chris Lattner3501fea2003-01-14 22:00:31 +0000326 const TargetInstrInfo& mii = target.getInstrInfo();
Chris Lattner0861b0c2002-02-03 07:29:45 +0000327 MachineCodeForInstruction &termMvec = MachineCodeForInstruction::get(term);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000328
329 // Find the first branch instr in the sequence of machine instrs for term
330 //
331 unsigned first = 0;
Vikram S. Adveacf0f702002-10-13 00:39:22 +0000332 while (! mii.isBranch(termMvec[first]->getOpCode()) &&
333 ! mii.isReturn(termMvec[first]->getOpCode()))
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000334 ++first;
335 assert(first < termMvec.size() &&
Vikram S. Adveacf0f702002-10-13 00:39:22 +0000336 "No branch instructions for terminator? Ok, but weird!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000337 if (first == termMvec.size())
338 return;
Vikram S. Adveacf0f702002-10-13 00:39:22 +0000339
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +0000340 SchedGraphNode* firstBrNode = getGraphNodeForInstr(termMvec[first]);
Vikram S. Adveacf0f702002-10-13 00:39:22 +0000341
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000342 // Add CD edges from each instruction in the sequence to the
343 // *last preceding* branch instr. in the sequence
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000344 // Use a latency of 0 because we only need to prevent out-of-order issue.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000345 //
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +0000346 for (unsigned i = termMvec.size(); i > first+1; --i)
Misha Brukman6b77ec42003-05-22 21:49:18 +0000347 {
348 SchedGraphNode* toNode = getGraphNodeForInstr(termMvec[i-1]);
349 assert(toNode && "No node for instr generated for branch/ret?");
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000350
Misha Brukman6b77ec42003-05-22 21:49:18 +0000351 for (unsigned j = i-1; j != 0; --j)
352 if (mii.isBranch(termMvec[j-1]->getOpCode()) ||
353 mii.isReturn(termMvec[j-1]->getOpCode()))
354 {
355 SchedGraphNode* brNode = getGraphNodeForInstr(termMvec[j-1]);
356 assert(brNode && "No node for instr generated for branch/ret?");
357 (void) new SchedGraphEdge(brNode, toNode, SchedGraphEdge::CtrlDep,
358 SchedGraphEdge::NonDataDep, 0);
359 break; // only one incoming edge is enough
360 }
361 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000362
363 // Add CD edges from each instruction preceding the first branch
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000364 // to the first branch. Use a latency of 0 as above.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000365 //
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +0000366 for (unsigned i = first; i != 0; --i)
Misha Brukman6b77ec42003-05-22 21:49:18 +0000367 {
368 SchedGraphNode* fromNode = getGraphNodeForInstr(termMvec[i-1]);
369 assert(fromNode && "No node for instr generated for branch?");
370 (void) new SchedGraphEdge(fromNode, firstBrNode, SchedGraphEdge::CtrlDep,
371 SchedGraphEdge::NonDataDep, 0);
372 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000373
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000374 // Now add CD edges to the first branch instruction in the sequence from
375 // all preceding instructions in the basic block. Use 0 latency again.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000376 //
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000377 for (unsigned i=0, N=MBB.size(); i < N; i++)
Misha Brukman6b77ec42003-05-22 21:49:18 +0000378 {
379 if (MBB[i] == termMvec[first]) // reached the first branch
380 break;
381
382 SchedGraphNode* fromNode = this->getGraphNodeForInstr(MBB[i]);
383 if (fromNode == NULL)
384 continue; // dummy instruction, e.g., PHI
385
386 (void) new SchedGraphEdge(fromNode, firstBrNode,
387 SchedGraphEdge::CtrlDep,
388 SchedGraphEdge::NonDataDep, 0);
389
390 // If we find any other machine instructions (other than due to
391 // the terminator) that also have delay slots, add an outgoing edge
392 // from the instruction to the instructions in the delay slots.
393 //
394 unsigned d = mii.getNumDelaySlots(MBB[i]->getOpCode());
395 assert(i+d < N && "Insufficient delay slots for instruction?");
396
397 for (unsigned j=1; j <= d; j++)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000398 {
Misha Brukman6b77ec42003-05-22 21:49:18 +0000399 SchedGraphNode* toNode = this->getGraphNodeForInstr(MBB[i+j]);
400 assert(toNode && "No node for machine instr in delay slot?");
401 (void) new SchedGraphEdge(fromNode, toNode,
Vikram S. Adve200a4352001-11-12 18:53:43 +0000402 SchedGraphEdge::CtrlDep,
403 SchedGraphEdge::NonDataDep, 0);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000404 }
Misha Brukman6b77ec42003-05-22 21:49:18 +0000405 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000406}
407
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000408static const int SG_LOAD_REF = 0;
409static const int SG_STORE_REF = 1;
410static const int SG_CALL_REF = 2;
411
412static const unsigned int SG_DepOrderArray[][3] = {
413 { SchedGraphEdge::NonDataDep,
414 SchedGraphEdge::AntiDep,
415 SchedGraphEdge::AntiDep },
416 { SchedGraphEdge::TrueDep,
417 SchedGraphEdge::OutputDep,
418 SchedGraphEdge::TrueDep | SchedGraphEdge::OutputDep },
419 { SchedGraphEdge::TrueDep,
420 SchedGraphEdge::AntiDep | SchedGraphEdge::OutputDep,
421 SchedGraphEdge::TrueDep | SchedGraphEdge::AntiDep
422 | SchedGraphEdge::OutputDep }
423};
424
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000425
Vikram S. Advee64574c2001-11-08 05:20:23 +0000426// Add a dependence edge between every pair of machine load/store/call
427// instructions, where at least one is a store or a call.
428// Use latency 1 just to ensure that memory operations are ordered;
429// latency does not otherwise matter (true dependences enforce that).
430//
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000431void
Misha Brukmanc2312df2003-05-22 21:24:35 +0000432SchedGraph::addMemEdges(const std::vector<SchedGraphNode*>& memNodeVec,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000433 const TargetMachine& target)
434{
Chris Lattner3501fea2003-01-14 22:00:31 +0000435 const TargetInstrInfo& mii = target.getInstrInfo();
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000436
Vikram S. Advee64574c2001-11-08 05:20:23 +0000437 // Instructions in memNodeVec are in execution order within the basic block,
438 // so simply look at all pairs <memNodeVec[i], memNodeVec[j: j > i]>.
439 //
440 for (unsigned im=0, NM=memNodeVec.size(); im < NM; im++)
Misha Brukman6b77ec42003-05-22 21:49:18 +0000441 {
442 MachineOpCode fromOpCode = memNodeVec[im]->getOpCode();
Vikram S. Adve7952d602003-05-31 07:37:05 +0000443 int fromType = (mii.isCall(fromOpCode)? SG_CALL_REF
444 : (mii.isLoad(fromOpCode)? SG_LOAD_REF
445 : SG_STORE_REF));
Misha Brukman6b77ec42003-05-22 21:49:18 +0000446 for (unsigned jm=im+1; jm < NM; jm++)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000447 {
Misha Brukman6b77ec42003-05-22 21:49:18 +0000448 MachineOpCode toOpCode = memNodeVec[jm]->getOpCode();
Vikram S. Adve7952d602003-05-31 07:37:05 +0000449 int toType = (mii.isCall(toOpCode)? SG_CALL_REF
450 : (mii.isLoad(toOpCode)? SG_LOAD_REF
451 : SG_STORE_REF));
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000452
Misha Brukman6b77ec42003-05-22 21:49:18 +0000453 if (fromType != SG_LOAD_REF || toType != SG_LOAD_REF)
454 (void) new SchedGraphEdge(memNodeVec[im], memNodeVec[jm],
455 SchedGraphEdge::MemoryDep,
456 SG_DepOrderArray[fromType][toType], 1);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000457 }
Misha Brukman6b77ec42003-05-22 21:49:18 +0000458 }
Vikram S. Advee64574c2001-11-08 05:20:23 +0000459}
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000460
Vikram S. Advee64574c2001-11-08 05:20:23 +0000461// Add edges from/to CC reg instrs to/from call instrs.
462// Essentially this prevents anything that sets or uses a CC reg from being
463// reordered w.r.t. a call.
464// Use a latency of 0 because we only need to prevent out-of-order issue,
465// like with control dependences.
466//
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000467void
Vikram S. Adve7952d602003-05-31 07:37:05 +0000468SchedGraph::addCallDepEdges(const std::vector<SchedGraphNode*>& callDepNodeVec,
469 const TargetMachine& target)
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000470{
Chris Lattner3501fea2003-01-14 22:00:31 +0000471 const TargetInstrInfo& mii = target.getInstrInfo();
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000472
Vikram S. Adve7952d602003-05-31 07:37:05 +0000473 // Instructions in memNodeVec are in execution order within the basic block,
474 // so simply look at all pairs <memNodeVec[i], memNodeVec[j: j > i]>.
475 //
476 for (unsigned ic=0, NC=callDepNodeVec.size(); ic < NC; ic++)
477 if (mii.isCall(callDepNodeVec[ic]->getOpCode()))
478 {
479 // Add SG_CALL_REF edges from all preds to this instruction.
480 for (unsigned jc=0; jc < ic; jc++)
481 (void) new SchedGraphEdge(callDepNodeVec[jc], callDepNodeVec[ic],
482 SchedGraphEdge::MachineRegister,
483 MachineIntRegsRID, 0);
484
485 // And do the same from this instruction to all successors.
486 for (unsigned jc=ic+1; jc < NC; jc++)
487 (void) new SchedGraphEdge(callDepNodeVec[ic], callDepNodeVec[jc],
488 SchedGraphEdge::MachineRegister,
489 MachineIntRegsRID, 0);
490 }
491
492#ifdef CALL_DEP_NODE_VEC_CANNOT_WORK
Vikram S. Advee64574c2001-11-08 05:20:23 +0000493 // Find the call instruction nodes and put them in a vector.
Vikram S. Adve7952d602003-05-31 07:37:05 +0000494 std::vector<SchedGraphNode*> callNodeVec;
Vikram S. Advee64574c2001-11-08 05:20:23 +0000495 for (unsigned im=0, NM=memNodeVec.size(); im < NM; im++)
496 if (mii.isCall(memNodeVec[im]->getOpCode()))
497 callNodeVec.push_back(memNodeVec[im]);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000498
Vikram S. Advee64574c2001-11-08 05:20:23 +0000499 // Now walk the entire basic block, looking for CC instructions *and*
500 // call instructions, and keep track of the order of the instructions.
501 // Use the call node vec to quickly find earlier and later call nodes
502 // relative to the current CC instruction.
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000503 //
504 int lastCallNodeIdx = -1;
505 for (unsigned i=0, N=bbMvec.size(); i < N; i++)
506 if (mii.isCall(bbMvec[i]->getOpCode()))
Misha Brukman6b77ec42003-05-22 21:49:18 +0000507 {
508 ++lastCallNodeIdx;
509 for ( ; lastCallNodeIdx < (int)callNodeVec.size(); ++lastCallNodeIdx)
510 if (callNodeVec[lastCallNodeIdx]->getMachineInstr() == bbMvec[i])
511 break;
512 assert(lastCallNodeIdx < (int)callNodeVec.size() && "Missed Call?");
Vikram S. Adve7952d602003-05-31 07:37:05 +0000513 }
514 else if (mii.isCCInstr(bbMvec[i]->getOpCode()))
515 {
Misha Brukman6b77ec42003-05-22 21:49:18 +0000516 // Add incoming/outgoing edges from/to preceding/later calls
517 SchedGraphNode* ccNode = this->getGraphNodeForInstr(bbMvec[i]);
518 int j=0;
519 for ( ; j <= lastCallNodeIdx; j++)
520 (void) new SchedGraphEdge(callNodeVec[j], ccNode,
521 MachineCCRegsRID, 0);
522 for ( ; j < (int) callNodeVec.size(); j++)
523 (void) new SchedGraphEdge(ccNode, callNodeVec[j],
524 MachineCCRegsRID, 0);
525 }
Vikram S. Adve7952d602003-05-31 07:37:05 +0000526#endif
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000527}
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{
Vikram S. Adve7952d602003-05-31 07:37:05 +0000534 // This code assumes that two registers with different numbers are
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000535 // not aliased!
536 //
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000537 for (RegToRefVecMap::iterator I = regToRefVecMap.begin();
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000538 I != regToRefVecMap.end(); ++I)
Misha Brukman6b77ec42003-05-22 21:49:18 +0000539 {
540 int regNum = (*I).first;
541 RefVec& regRefVec = (*I).second;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000542
Misha Brukman6b77ec42003-05-22 21:49:18 +0000543 // regRefVec is ordered by control flow order in the basic block
544 for (unsigned i=0; i < regRefVec.size(); ++i) {
545 SchedGraphNode* node = regRefVec[i].first;
546 unsigned int opNum = regRefVec[i].second;
Vikram S. Adve7952d602003-05-31 07:37:05 +0000547 const MachineOperand& mop =
548 node->getMachineInstr()->getExplOrImplOperand(opNum);
549 bool isDef = mop.opIsDefOnly();
550 bool isDefAndUse = mop.opIsDefAndUse();
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000551
Misha Brukman6b77ec42003-05-22 21:49:18 +0000552 for (unsigned p=0; p < i; ++p) {
553 SchedGraphNode* prevNode = regRefVec[p].first;
554 if (prevNode != node) {
555 unsigned int prevOpNum = regRefVec[p].second;
Vikram S. Adve7952d602003-05-31 07:37:05 +0000556 const MachineOperand& prevMop =
557 prevNode->getMachineInstr()->getExplOrImplOperand(prevOpNum);
558 bool prevIsDef = prevMop.opIsDefOnly();
559 bool prevIsDefAndUse = prevMop.opIsDefAndUse();
Misha Brukman6b77ec42003-05-22 21:49:18 +0000560 if (isDef) {
561 if (prevIsDef)
562 new SchedGraphEdge(prevNode, node, regNum,
563 SchedGraphEdge::OutputDep);
564 if (!prevIsDef || prevIsDefAndUse)
565 new SchedGraphEdge(prevNode, node, regNum,
566 SchedGraphEdge::AntiDep);
567 }
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000568
Misha Brukman6b77ec42003-05-22 21:49:18 +0000569 if (prevIsDef)
570 if (!isDef || isDefAndUse)
571 new SchedGraphEdge(prevNode, node, regNum,
572 SchedGraphEdge::TrueDep);
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000573 }
Misha Brukman6b77ec42003-05-22 21:49:18 +0000574 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000575 }
Misha Brukman6b77ec42003-05-22 21:49:18 +0000576 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000577}
578
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000579
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000580// Adds dependences to/from refNode from/to all other defs
581// in the basic block. refNode may be a use, a def, or both.
582// We do not consider other uses because we are not building use-use deps.
583//
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000584void
Vikram S. Adve200a4352001-11-12 18:53:43 +0000585SchedGraph::addEdgesForValue(SchedGraphNode* refNode,
586 const RefVec& defVec,
587 const Value* defValue,
588 bool refNodeIsDef,
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000589 bool refNodeIsDefAndUse,
Vikram S. Adve200a4352001-11-12 18:53:43 +0000590 const TargetMachine& target)
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000591{
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000592 bool refNodeIsUse = !refNodeIsDef || refNodeIsDefAndUse;
593
Vikram S. Adve200a4352001-11-12 18:53:43 +0000594 // Add true or output dep edges from all def nodes before refNode in BB.
595 // Add anti or output dep edges to all def nodes after refNode.
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000596 for (RefVec::const_iterator I=defVec.begin(), E=defVec.end(); I != E; ++I)
Misha Brukman6b77ec42003-05-22 21:49:18 +0000597 {
598 if ((*I).first == refNode)
599 continue; // Dont add any self-loops
Vikram S. Adve200a4352001-11-12 18:53:43 +0000600
Misha Brukman6b77ec42003-05-22 21:49:18 +0000601 if ((*I).first->getOrigIndexInBB() < refNode->getOrigIndexInBB()) {
602 // (*).first is before refNode
603 if (refNodeIsDef)
604 (void) new SchedGraphEdge((*I).first, refNode, defValue,
605 SchedGraphEdge::OutputDep);
606 if (refNodeIsUse)
607 (void) new SchedGraphEdge((*I).first, refNode, defValue,
608 SchedGraphEdge::TrueDep);
609 } else {
610 // (*).first is after refNode
611 if (refNodeIsDef)
612 (void) new SchedGraphEdge(refNode, (*I).first, defValue,
613 SchedGraphEdge::OutputDep);
614 if (refNodeIsUse)
615 (void) new SchedGraphEdge(refNode, (*I).first, defValue,
616 SchedGraphEdge::AntiDep);
Vikram S. Adve200a4352001-11-12 18:53:43 +0000617 }
Misha Brukman6b77ec42003-05-22 21:49:18 +0000618 }
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000619}
620
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000621
622void
Chris Lattner133f0792002-10-28 04:45:29 +0000623SchedGraph::addEdgesForInstruction(const MachineInstr& MI,
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000624 const ValueToDefVecMap& valueToDefVecMap,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000625 const TargetMachine& target)
626{
Chris Lattner133f0792002-10-28 04:45:29 +0000627 SchedGraphNode* node = getGraphNodeForInstr(&MI);
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000628 if (node == NULL)
629 return;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000630
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000631 // Add edges for all operands of the machine instruction.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000632 //
Chris Lattner133f0792002-10-28 04:45:29 +0000633 for (unsigned i = 0, numOps = MI.getNumOperands(); i != numOps; ++i)
Misha Brukman6b77ec42003-05-22 21:49:18 +0000634 {
Vikram S. Adve5f2180c2003-05-27 00:05:23 +0000635 switch (MI.getOperand(i).getType())
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000636 {
Misha Brukman6b77ec42003-05-22 21:49:18 +0000637 case MachineOperand::MO_VirtualRegister:
638 case MachineOperand::MO_CCRegister:
Vikram S. Adve74d15d32003-07-02 01:16:01 +0000639 if (const Value* srcI = MI.getOperand(i).getVRegValue())
Misha Brukman6b77ec42003-05-22 21:49:18 +0000640 {
641 ValueToDefVecMap::const_iterator I = valueToDefVecMap.find(srcI);
642 if (I != valueToDefVecMap.end())
643 addEdgesForValue(node, I->second, srcI,
Vikram S. Adve5f2180c2003-05-27 00:05:23 +0000644 MI.getOperand(i).opIsDefOnly(),
645 MI.getOperand(i).opIsDefAndUse(), target);
Misha Brukman6b77ec42003-05-22 21:49:18 +0000646 }
647 break;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000648
Misha Brukman6b77ec42003-05-22 21:49:18 +0000649 case MachineOperand::MO_MachineRegister:
650 break;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000651
Misha Brukman6b77ec42003-05-22 21:49:18 +0000652 case MachineOperand::MO_SignExtendedImmed:
653 case MachineOperand::MO_UnextendedImmed:
654 case MachineOperand::MO_PCRelativeDisp:
655 break; // nothing to do for immediate fields
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000656
Misha Brukman6b77ec42003-05-22 21:49:18 +0000657 default:
658 assert(0 && "Unknown machine operand type in SchedGraph builder");
659 break;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000660 }
Misha Brukman6b77ec42003-05-22 21:49:18 +0000661 }
Vikram S. Adve8d0ffa52001-10-11 04:22:45 +0000662
663 // Add edges for values implicitly used by the machine instruction.
664 // Examples include function arguments to a Call instructions or the return
665 // value of a Ret instruction.
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000666 //
Chris Lattner133f0792002-10-28 04:45:29 +0000667 for (unsigned i=0, N=MI.getNumImplicitRefs(); i < N; ++i)
Vikram S. Adve5f2180c2003-05-27 00:05:23 +0000668 if (MI.getImplicitOp(i).opIsUse() || MI.getImplicitOp(i).opIsDefAndUse())
Vikram S. Adve74d15d32003-07-02 01:16:01 +0000669 if (const Value* srcI = MI.getImplicitRef(i))
Misha Brukman6b77ec42003-05-22 21:49:18 +0000670 {
671 ValueToDefVecMap::const_iterator I = valueToDefVecMap.find(srcI);
672 if (I != valueToDefVecMap.end())
673 addEdgesForValue(node, I->second, srcI,
Vikram S. Adve5f2180c2003-05-27 00:05:23 +0000674 MI.getImplicitOp(i).opIsDefOnly(),
675 MI.getImplicitOp(i).opIsDefAndUse(), target);
Misha Brukman6b77ec42003-05-22 21:49:18 +0000676 }
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000677}
678
679
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000680void
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000681SchedGraph::findDefUseInfoAtInstr(const TargetMachine& target,
682 SchedGraphNode* node,
Misha Brukmanc2312df2003-05-22 21:24:35 +0000683 std::vector<SchedGraphNode*>& memNodeVec,
Vikram S. Adve7952d602003-05-31 07:37:05 +0000684 std::vector<SchedGraphNode*>& callDepNodeVec,
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000685 RegToRefVecMap& regToRefVecMap,
686 ValueToDefVecMap& valueToDefVecMap)
687{
Chris Lattner3501fea2003-01-14 22:00:31 +0000688 const TargetInstrInfo& mii = target.getInstrInfo();
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000689
Vikram S. Advee64574c2001-11-08 05:20:23 +0000690 MachineOpCode opCode = node->getOpCode();
Vikram S. Adve7952d602003-05-31 07:37:05 +0000691
692 if (mii.isCall(opCode) || mii.isCCInstr(opCode))
693 callDepNodeVec.push_back(node);
694
Vikram S. Advee64574c2001-11-08 05:20:23 +0000695 if (mii.isLoad(opCode) || mii.isStore(opCode) || mii.isCall(opCode))
696 memNodeVec.push_back(node);
697
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000698 // Collect the register references and value defs. for explicit operands
699 //
Chris Lattner133f0792002-10-28 04:45:29 +0000700 const MachineInstr& minstr = *node->getMachineInstr();
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000701 for (int i=0, numOps = (int) minstr.getNumOperands(); i < numOps; i++)
Misha Brukman6b77ec42003-05-22 21:49:18 +0000702 {
703 const MachineOperand& mop = minstr.getOperand(i);
704
705 // if this references a register other than the hardwired
706 // "zero" register, record the reference.
Vikram S. Adve7952d602003-05-31 07:37:05 +0000707 if (mop.hasAllocatedReg())
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000708 {
Vikram S. Adve7952d602003-05-31 07:37:05 +0000709 int regNum = mop.getAllocatedRegNum();
710
711 // If this is not a dummy zero register, record the reference in order
Misha Brukman6b77ec42003-05-22 21:49:18 +0000712 if (regNum != target.getRegInfo().getZeroRegNum())
Vikram S. Adve7952d602003-05-31 07:37:05 +0000713 regToRefVecMap[mop.getAllocatedRegNum()]
Misha Brukman6b77ec42003-05-22 21:49:18 +0000714 .push_back(std::make_pair(node, i));
Vikram S. Adve7952d602003-05-31 07:37:05 +0000715
716 // If this is a volatile register, add the instruction to callDepVec
717 // (only if the node is not already on the callDepVec!)
718 if (callDepNodeVec.size() == 0 || callDepNodeVec.back() != node)
719 {
720 unsigned rcid;
721 int regInClass = target.getRegInfo().getClassRegNum(regNum, rcid);
722 if (target.getRegInfo().getMachineRegClass(rcid)
723 ->isRegVolatile(regInClass))
724 callDepNodeVec.push_back(node);
725 }
726
Misha Brukman6b77ec42003-05-22 21:49:18 +0000727 continue; // nothing more to do
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000728 }
Vikram S. Adve7952d602003-05-31 07:37:05 +0000729
Misha Brukman6b77ec42003-05-22 21:49:18 +0000730 // ignore all other non-def operands
Vikram S. Adve5f2180c2003-05-27 00:05:23 +0000731 if (!minstr.getOperand(i).opIsDefOnly() &&
732 !minstr.getOperand(i).opIsDefAndUse())
Misha Brukman6b77ec42003-05-22 21:49:18 +0000733 continue;
734
735 // We must be defining a value.
736 assert((mop.getType() == MachineOperand::MO_VirtualRegister ||
737 mop.getType() == MachineOperand::MO_CCRegister)
738 && "Do not expect any other kind of operand to be defined!");
Vikram S. Adve74d15d32003-07-02 01:16:01 +0000739 assert(mop.getVRegValue() != NULL && "Null value being defined?");
Misha Brukman6b77ec42003-05-22 21:49:18 +0000740
Vikram S. Adve74d15d32003-07-02 01:16:01 +0000741 valueToDefVecMap[mop.getVRegValue()].push_back(std::make_pair(node, i));
Misha Brukman6b77ec42003-05-22 21:49:18 +0000742 }
Vikram S. Advee64574c2001-11-08 05:20:23 +0000743
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000744 //
Vikram S. Adve7952d602003-05-31 07:37:05 +0000745 // Collect value defs. for implicit operands. They may have allocated
746 // physical registers also.
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000747 //
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000748 for (unsigned i=0, N = minstr.getNumImplicitRefs(); i != N; ++i)
Vikram S. Adve7952d602003-05-31 07:37:05 +0000749 {
750 const MachineOperand& mop = minstr.getImplicitOp(i);
751 if (mop.hasAllocatedReg())
752 {
753 int regNum = mop.getAllocatedRegNum();
754 if (regNum != target.getRegInfo().getZeroRegNum())
755 regToRefVecMap[mop.getAllocatedRegNum()]
756 .push_back(std::make_pair(node, i + minstr.getNumOperands()));
757 continue; // nothing more to do
758 }
759
Vikram S. Adve74d15d32003-07-02 01:16:01 +0000760 if (mop.opIsDefOnly() || mop.opIsDefAndUse()) {
761 assert(minstr.getImplicitRef(i) != NULL && "Null value being defined?");
762 valueToDefVecMap[minstr.getImplicitRef(i)].push_back(std::make_pair(node,
763 -i));
764 }
Vikram S. Adve7952d602003-05-31 07:37:05 +0000765 }
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000766}
767
768
769void
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000770SchedGraph::buildNodesForBB(const TargetMachine& target,
771 MachineBasicBlock& MBB,
Misha Brukmanc2312df2003-05-22 21:24:35 +0000772 std::vector<SchedGraphNode*>& memNodeVec,
Vikram S. Adve7952d602003-05-31 07:37:05 +0000773 std::vector<SchedGraphNode*>& callDepNodeVec,
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000774 RegToRefVecMap& regToRefVecMap,
775 ValueToDefVecMap& valueToDefVecMap)
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000776{
Chris Lattner3501fea2003-01-14 22:00:31 +0000777 const TargetInstrInfo& mii = target.getInstrInfo();
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000778
779 // Build graph nodes for each VM instruction and gather def/use info.
780 // Do both those together in a single pass over all machine instructions.
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000781 for (unsigned i=0; i < MBB.size(); i++)
782 if (!mii.isDummyPhiInstr(MBB[i]->getOpCode())) {
783 SchedGraphNode* node = new SchedGraphNode(getNumNodes(), &MBB, i, target);
784 noteGraphNodeForInstr(MBB[i], node);
785
786 // Remember all register references and value defs
Vikram S. Adve7952d602003-05-31 07:37:05 +0000787 findDefUseInfoAtInstr(target, node, memNodeVec, callDepNodeVec,
788 regToRefVecMap, valueToDefVecMap);
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000789 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000790}
791
792
793void
794SchedGraph::buildGraph(const TargetMachine& target)
795{
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000796 // Use this data structure to note all machine operands that compute
797 // ordinary LLVM values. These must be computed defs (i.e., instructions).
798 // Note that there may be multiple machine instructions that define
799 // each Value.
800 ValueToDefVecMap valueToDefVecMap;
801
Vikram S. Advee64574c2001-11-08 05:20:23 +0000802 // Use this data structure to note all memory instructions.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000803 // We use this to add memory dependence edges without a second full walk.
Misha Brukmanc2312df2003-05-22 21:24:35 +0000804 std::vector<SchedGraphNode*> memNodeVec;
Vikram S. Adve7952d602003-05-31 07:37:05 +0000805
806 // Use this data structure to note all instructions that access physical
807 // registers that can be modified by a call (including call instructions)
808 std::vector<SchedGraphNode*> callDepNodeVec;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000809
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000810 // Use this data structure to note any uses or definitions of
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000811 // machine registers so we can add edges for those later without
812 // extra passes over the nodes.
813 // The vector holds an ordered list of references to the machine reg,
814 // ordered according to control-flow order. This only works for a
815 // single basic block, hence the assertion. Each reference is identified
816 // by the pair: <node, operand-number>.
817 //
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000818 RegToRefVecMap regToRefVecMap;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000819
820 // Make a dummy root node. We'll add edges to the real roots later.
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000821 graphRoot = new SchedGraphNode(0, NULL, -1, target);
822 graphLeaf = new SchedGraphNode(1, NULL, -1, target);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000823
824 //----------------------------------------------------------------
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000825 // First add nodes for all the machine instructions in the basic block
826 // because this greatly simplifies identifying which edges to add.
827 // Do this one VM instruction at a time since the SchedGraphNode needs that.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000828 // Also, remember the load/store instructions to add memory deps later.
829 //----------------------------------------------------------------
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000830
Vikram S. Adve7952d602003-05-31 07:37:05 +0000831 buildNodesForBB(target, MBB, memNodeVec, callDepNodeVec,
832 regToRefVecMap, valueToDefVecMap);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000833
834 //----------------------------------------------------------------
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000835 // Now add edges for the following (all are incoming edges except (4)):
836 // (1) operands of the machine instruction, including hidden operands
837 // (2) machine register dependences
838 // (3) memory load/store dependences
839 // (3) other resource dependences for the machine instruction, if any
840 // (4) output dependences when multiple machine instructions define the
841 // same value; all must have been generated from a single VM instrn
842 // (5) control dependences to branch instructions generated for the
843 // terminator instruction of the BB. Because of delay slots and
844 // 2-way conditional branches, multiple CD edges are needed
845 // (see addCDEdges for details).
846 // Also, note any uses or defs of machine registers.
847 //
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000848 //----------------------------------------------------------------
849
850 // First, add edges to the terminator instruction of the basic block.
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000851 this->addCDEdges(MBB.getBasicBlock()->getTerminator(), target);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000852
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000853 // Then add memory dep edges: store->load, load->store, and store->store.
854 // Call instructions are treated as both load and store.
Vikram S. Advee64574c2001-11-08 05:20:23 +0000855 this->addMemEdges(memNodeVec, target);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000856
857 // Then add edges between call instructions and CC set/use instructions
Vikram S. Adve7952d602003-05-31 07:37:05 +0000858 this->addCallDepEdges(callDepNodeVec, target);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000859
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000860 // Then add incoming def-use (SSA) edges for each machine instruction.
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000861 for (unsigned i=0, N=MBB.size(); i < N; i++)
862 addEdgesForInstruction(*MBB[i], valueToDefVecMap, target);
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000863
Vikram S. Adve200a4352001-11-12 18:53:43 +0000864#ifdef NEED_SEPARATE_NONSSA_EDGES_CODE
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000865 // Then add non-SSA edges for all VM instructions in the block.
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000866 // We assume that all machine instructions that define a value are
867 // generated from the VM instruction corresponding to that value.
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000868 // TODO: This could probably be done much more efficiently.
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000869 for (BasicBlock::const_iterator II = bb->begin(); II != bb->end(); ++II)
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000870 this->addNonSSAEdgesForValue(*II, target);
Chris Lattner4ed17ba2001-11-26 18:56:52 +0000871#endif //NEED_SEPARATE_NONSSA_EDGES_CODE
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000872
873 // Then add edges for dependences on machine registers
874 this->addMachineRegEdges(regToRefVecMap, target);
875
876 // Finally, add edges from the dummy root and to dummy leaf
877 this->addDummyEdges();
878}
879
880
881//
882// class SchedGraphSet
883//
884
885/*ctor*/
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000886SchedGraphSet::SchedGraphSet(const Function* _function,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000887 const TargetMachine& target) :
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000888 method(_function)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000889{
890 buildGraphsForMethod(method, target);
891}
892
893
894/*dtor*/
895SchedGraphSet::~SchedGraphSet()
896{
897 // delete all the graphs
Chris Lattnerf3dd05c2002-04-09 05:15:33 +0000898 for(iterator I = begin(), E = end(); I != E; ++I)
899 delete *I; // destructor is a friend
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000900}
901
902
903void
904SchedGraphSet::dump() const
905{
Misha Brukmanc2312df2003-05-22 21:24:35 +0000906 std::cerr << "======== Sched graphs for function `" << method->getName()
907 << "' ========\n\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000908
909 for (const_iterator I=begin(); I != end(); ++I)
Vikram S. Advecf8a98f2002-03-24 03:40:59 +0000910 (*I)->dump();
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000911
Misha Brukmanc2312df2003-05-22 21:24:35 +0000912 std::cerr << "\n====== End graphs for function `" << method->getName()
913 << "' ========\n\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000914}
915
916
917void
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000918SchedGraphSet::buildGraphsForMethod(const Function *F,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000919 const TargetMachine& target)
920{
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000921 MachineFunction &MF = MachineFunction::get(F);
922 for (MachineFunction::iterator I = MF.begin(), E = MF.end(); I != E; ++I)
923 addGraph(new SchedGraph(*I, target));
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000924}
925
926
Chris Lattner697954c2002-01-20 22:54:45 +0000927std::ostream &operator<<(std::ostream &os, const SchedGraphEdge& edge)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000928{
929 os << "edge [" << edge.src->getNodeId() << "] -> ["
930 << edge.sink->getNodeId() << "] : ";
931
932 switch(edge.depType) {
933 case SchedGraphEdge::CtrlDep: os<< "Control Dep"; break;
Vikram S. Adve200a4352001-11-12 18:53:43 +0000934 case SchedGraphEdge::ValueDep: os<< "Reg Value " << edge.val; break;
935 case SchedGraphEdge::MemoryDep: os<< "Memory Dep"; break;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000936 case SchedGraphEdge::MachineRegister: os<< "Reg " <<edge.machineRegNum;break;
937 case SchedGraphEdge::MachineResource: os<<"Resource "<<edge.resourceId;break;
938 default: assert(0); break;
939 }
940
Chris Lattner697954c2002-01-20 22:54:45 +0000941 os << " : delay = " << edge.minDelay << "\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000942
943 return os;
944}
945
Chris Lattner697954c2002-01-20 22:54:45 +0000946std::ostream &operator<<(std::ostream &os, const SchedGraphNode& node)
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000947{
Chris Lattner697954c2002-01-20 22:54:45 +0000948 os << std::string(8, ' ')
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000949 << "Node " << node.nodeId << " : "
Chris Lattner697954c2002-01-20 22:54:45 +0000950 << "latency = " << node.latency << "\n" << std::string(12, ' ');
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000951
952 if (node.getMachineInstr() == NULL)
Chris Lattner697954c2002-01-20 22:54:45 +0000953 os << "(Dummy node)\n";
Misha Brukman6b77ec42003-05-22 21:49:18 +0000954 else {
955 os << *node.getMachineInstr() << "\n" << std::string(12, ' ');
956 os << node.inEdges.size() << " Incoming Edges:\n";
957 for (unsigned i=0, N=node.inEdges.size(); i < N; i++)
958 os << std::string(16, ' ') << *node.inEdges[i];
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000959
Misha Brukman6b77ec42003-05-22 21:49:18 +0000960 os << std::string(12, ' ') << node.outEdges.size()
961 << " Outgoing Edges:\n";
962 for (unsigned i=0, N=node.outEdges.size(); i < N; i++)
963 os << std::string(16, ' ') << *node.outEdges[i];
964 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000965
966 return os;
967}