blob: 2dafe62c7244bb265b6c96d114a1f9c23b70da71 [file] [log] [blame]
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +00001//===- SchedGraph.cpp - Scheduling Graph Implementation -------------------===//
John Criswellb576c942003-10-20 19:43:21 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +00009//
10// Scheduling graph based on SSA graph plus extra dependence edges capturing
11// dependences due to machine resources (machine registers, CC registers, and
12// any others).
13//
14//===----------------------------------------------------------------------===//
Vikram S. Adve78ef1392001-08-28 23:06:02 +000015
Chris Lattner46cbff62001-09-14 16:56:32 +000016#include "SchedGraph.h"
Chris Lattner2fbfdcf2002-04-07 20:49:59 +000017#include "llvm/Function.h"
Chris Lattnerb00c5822001-10-02 03:41:24 +000018#include "llvm/iOther.h"
Tanya Lattnerc50ee552003-08-27 02:42:58 +000019#include "llvm/CodeGen/MachineCodeForInstruction.h"
20#include "llvm/CodeGen/MachineFunction.h"
21#include "llvm/Target/TargetInstrInfo.h"
22#include "llvm/Target/TargetMachine.h"
23#include "llvm/Target/TargetRegInfo.h"
24#include "Support/STLExtras.h"
Vikram S. Adve78ef1392001-08-28 23:06:02 +000025
Brian Gaeked0fde302003-11-11 22:41:34 +000026namespace llvm {
27
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000028//*********************** Internal Data Structures *************************/
29
Vikram S. Advec352d2c2001-11-05 04:04:23 +000030// The following two types need to be classes, not typedefs, so we can use
31// opaque declarations in SchedGraph.h
32//
Misha Brukmanc2312df2003-05-22 21:24:35 +000033struct RefVec: public std::vector<std::pair<SchedGraphNode*, int> > {
34 typedef std::vector<std::pair<SchedGraphNode*,int> >::iterator iterator;
35 typedef
36 std::vector<std::pair<SchedGraphNode*,int> >::const_iterator const_iterator;
Vikram S. Advec352d2c2001-11-05 04:04:23 +000037};
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000038
Chris Lattner80c685f2001-10-13 06:51:01 +000039struct RegToRefVecMap: public hash_map<int, RefVec> {
Vikram S. Advec352d2c2001-11-05 04:04:23 +000040 typedef hash_map<int, RefVec>:: iterator iterator;
Vikram S. Adve5316f8f2001-09-30 23:36:58 +000041 typedef hash_map<int, RefVec>::const_iterator const_iterator;
42};
43
Vikram S. Adve74d15d32003-07-02 01:16:01 +000044struct ValueToDefVecMap: public hash_map<const Value*, RefVec> {
45 typedef hash_map<const Value*, RefVec>:: iterator iterator;
46 typedef hash_map<const Value*, RefVec>::const_iterator const_iterator;
Vikram S. Advec352d2c2001-11-05 04:04:23 +000047};
48
Vikram S. Adve78ef1392001-08-28 23:06:02 +000049
50//
51// class SchedGraphNode
52//
53
Tanya Lattnerc50ee552003-08-27 02:42:58 +000054SchedGraphNode::SchedGraphNode(unsigned NID, MachineBasicBlock *mbb,
55 int indexInBB, const TargetMachine& Target)
Tanya Lattner8dc99822003-08-28 15:30:40 +000056 : SchedGraphNodeCommon(NID,indexInBB), MBB(mbb), MI(mbb ? (*mbb)[indexInBB] : 0) {
Tanya Lattnerc50ee552003-08-27 02:42:58 +000057 if (MI) {
58 MachineOpCode mopCode = MI->getOpCode();
59 latency = Target.getInstrInfo().hasResultInterlock(mopCode)
60 ? Target.getInstrInfo().minLatency(mopCode)
61 : Target.getInstrInfo().maxLatency(mopCode);
62 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +000063}
64
John Criswellc9afb492003-08-28 21:43:17 +000065//
66// Method: SchedGraphNode Destructor
67//
68// Description:
69// Free memory allocated by the SchedGraphNode object.
70//
71// Notes:
72// Do not delete the edges here. The base class will take care of that.
73// Only handle subclass specific stuff here (where currently there is
74// none).
75//
Tanya Lattnerc50ee552003-08-27 02:42:58 +000076SchedGraphNode::~SchedGraphNode() {
Vikram S. Adve78ef1392001-08-28 23:06:02 +000077}
78
Vikram S. Adve78ef1392001-08-28 23:06:02 +000079//
80// class SchedGraph
81//
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +000082SchedGraph::SchedGraph(MachineBasicBlock &mbb, const TargetMachine& target)
83 : MBB(mbb) {
Chris Lattner697954c2002-01-20 22:54:45 +000084 buildGraph(target);
Vikram S. Adve78ef1392001-08-28 23:06:02 +000085}
86
John Criswellc9afb492003-08-28 21:43:17 +000087//
88// Method: SchedGraph Destructor
89//
90// Description:
91// This method deletes memory allocated by the SchedGraph object.
92//
93// Notes:
94// Do not delete the graphRoot or graphLeaf here. The base class handles
95// that bit of work.
96//
Tanya Lattnerc50ee552003-08-27 02:42:58 +000097SchedGraph::~SchedGraph() {
Chris Lattner697954c2002-01-20 22:54:45 +000098 for (const_iterator I = begin(); I != end(); ++I)
Chris Lattnerf3dd05c2002-04-09 05:15:33 +000099 delete I->second;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000100}
101
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000102void SchedGraph::dump() const {
Misha Brukmanc2312df2003-05-22 21:24:35 +0000103 std::cerr << " Sched Graph for Basic Block: ";
104 std::cerr << MBB.getBasicBlock()->getName()
105 << " (" << MBB.getBasicBlock() << ")";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000106
Misha Brukmanc2312df2003-05-22 21:24:35 +0000107 std::cerr << "\n\n Actual Root nodes : ";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000108 for (unsigned i=0, N=graphRoot->outEdges.size(); i < N; i++)
Misha Brukmanc2312df2003-05-22 21:24:35 +0000109 std::cerr << graphRoot->outEdges[i]->getSink()->getNodeId()
110 << ((i == N-1)? "" : ", ");
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000111
Misha Brukmanc2312df2003-05-22 21:24:35 +0000112 std::cerr << "\n Graph Nodes:\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000113 for (const_iterator I=begin(); I != end(); ++I)
Misha Brukmanc2312df2003-05-22 21:24:35 +0000114 std::cerr << "\n" << *I->second;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000115
Misha Brukmanc2312df2003-05-22 21:24:35 +0000116 std::cerr << "\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000117}
118
119
Vikram S. Adve8b6d2452001-09-18 12:50:40 +0000120
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000121void SchedGraph::addDummyEdges() {
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000122 assert(graphRoot->outEdges.size() == 0);
123
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000124 for (const_iterator I=begin(); I != end(); ++I) {
Misha Brukman6b77ec42003-05-22 21:49:18 +0000125 SchedGraphNode* node = (*I).second;
126 assert(node != graphRoot && node != graphLeaf);
127 if (node->beginInEdges() == node->endInEdges())
128 (void) new SchedGraphEdge(graphRoot, node, SchedGraphEdge::CtrlDep,
129 SchedGraphEdge::NonDataDep, 0);
130 if (node->beginOutEdges() == node->endOutEdges())
131 (void) new SchedGraphEdge(node, graphLeaf, SchedGraphEdge::CtrlDep,
132 SchedGraphEdge::NonDataDep, 0);
133 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000134}
135
136
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000137void SchedGraph::addCDEdges(const TerminatorInst* term,
138 const TargetMachine& target) {
Chris Lattner3501fea2003-01-14 22:00:31 +0000139 const TargetInstrInfo& mii = target.getInstrInfo();
Chris Lattner0861b0c2002-02-03 07:29:45 +0000140 MachineCodeForInstruction &termMvec = MachineCodeForInstruction::get(term);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000141
142 // Find the first branch instr in the sequence of machine instrs for term
143 //
144 unsigned first = 0;
Vikram S. Adveacf0f702002-10-13 00:39:22 +0000145 while (! mii.isBranch(termMvec[first]->getOpCode()) &&
146 ! mii.isReturn(termMvec[first]->getOpCode()))
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000147 ++first;
148 assert(first < termMvec.size() &&
Vikram S. Adveacf0f702002-10-13 00:39:22 +0000149 "No branch instructions for terminator? Ok, but weird!");
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000150 if (first == termMvec.size())
151 return;
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000152
Chris Lattnerb0cfa6d2002-08-09 18:55:18 +0000153 SchedGraphNode* firstBrNode = getGraphNodeForInstr(termMvec[first]);
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000154
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000155 // Add CD edges from each instruction in the sequence to the
156 // *last preceding* branch instr. in the sequence
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000157 // Use a latency of 0 because we only need to prevent out-of-order issue.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000158 //
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000159 for (unsigned i = termMvec.size(); i > first+1; --i) {
Misha Brukman6b77ec42003-05-22 21:49:18 +0000160 SchedGraphNode* toNode = getGraphNodeForInstr(termMvec[i-1]);
161 assert(toNode && "No node for instr generated for branch/ret?");
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000162
Misha Brukman6b77ec42003-05-22 21:49:18 +0000163 for (unsigned j = i-1; j != 0; --j)
164 if (mii.isBranch(termMvec[j-1]->getOpCode()) ||
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000165 mii.isReturn(termMvec[j-1]->getOpCode())) {
Misha Brukman6b77ec42003-05-22 21:49:18 +0000166 SchedGraphNode* brNode = getGraphNodeForInstr(termMvec[j-1]);
167 assert(brNode && "No node for instr generated for branch/ret?");
168 (void) new SchedGraphEdge(brNode, toNode, SchedGraphEdge::CtrlDep,
169 SchedGraphEdge::NonDataDep, 0);
170 break; // only one incoming edge is enough
171 }
172 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000173
174 // Add CD edges from each instruction preceding the first branch
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000175 // to the first branch. Use a latency of 0 as above.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000176 //
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000177 for (unsigned i = first; i != 0; --i) {
Misha Brukman6b77ec42003-05-22 21:49:18 +0000178 SchedGraphNode* fromNode = getGraphNodeForInstr(termMvec[i-1]);
179 assert(fromNode && "No node for instr generated for branch?");
180 (void) new SchedGraphEdge(fromNode, firstBrNode, SchedGraphEdge::CtrlDep,
181 SchedGraphEdge::NonDataDep, 0);
182 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000183
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000184 // Now add CD edges to the first branch instruction in the sequence from
185 // all preceding instructions in the basic block. Use 0 latency again.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000186 //
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000187 for (unsigned i=0, N=MBB.size(); i < N; i++) {
Misha Brukman6b77ec42003-05-22 21:49:18 +0000188 if (MBB[i] == termMvec[first]) // reached the first branch
189 break;
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000190
Misha Brukman6b77ec42003-05-22 21:49:18 +0000191 SchedGraphNode* fromNode = this->getGraphNodeForInstr(MBB[i]);
192 if (fromNode == NULL)
193 continue; // dummy instruction, e.g., PHI
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000194
Misha Brukman6b77ec42003-05-22 21:49:18 +0000195 (void) new SchedGraphEdge(fromNode, firstBrNode,
196 SchedGraphEdge::CtrlDep,
197 SchedGraphEdge::NonDataDep, 0);
198
199 // If we find any other machine instructions (other than due to
200 // the terminator) that also have delay slots, add an outgoing edge
201 // from the instruction to the instructions in the delay slots.
202 //
203 unsigned d = mii.getNumDelaySlots(MBB[i]->getOpCode());
204 assert(i+d < N && "Insufficient delay slots for instruction?");
205
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000206 for (unsigned j=1; j <= d; j++) {
Misha Brukman6b77ec42003-05-22 21:49:18 +0000207 SchedGraphNode* toNode = this->getGraphNodeForInstr(MBB[i+j]);
208 assert(toNode && "No node for machine instr in delay slot?");
209 (void) new SchedGraphEdge(fromNode, toNode,
Vikram S. Adve200a4352001-11-12 18:53:43 +0000210 SchedGraphEdge::CtrlDep,
211 SchedGraphEdge::NonDataDep, 0);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000212 }
Misha Brukman6b77ec42003-05-22 21:49:18 +0000213 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000214}
215
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000216static const int SG_LOAD_REF = 0;
217static const int SG_STORE_REF = 1;
218static const int SG_CALL_REF = 2;
219
220static const unsigned int SG_DepOrderArray[][3] = {
221 { SchedGraphEdge::NonDataDep,
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000222 SchedGraphEdge::AntiDep,
223 SchedGraphEdge::AntiDep },
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000224 { SchedGraphEdge::TrueDep,
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000225 SchedGraphEdge::OutputDep,
226 SchedGraphEdge::TrueDep | SchedGraphEdge::OutputDep },
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000227 { SchedGraphEdge::TrueDep,
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000228 SchedGraphEdge::AntiDep | SchedGraphEdge::OutputDep,
229 SchedGraphEdge::TrueDep | SchedGraphEdge::AntiDep
230 | SchedGraphEdge::OutputDep }
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000231};
232
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000233
Vikram S. Advee64574c2001-11-08 05:20:23 +0000234// Add a dependence edge between every pair of machine load/store/call
235// instructions, where at least one is a store or a call.
236// Use latency 1 just to ensure that memory operations are ordered;
237// latency does not otherwise matter (true dependences enforce that).
238//
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000239void SchedGraph::addMemEdges(const std::vector<SchedGraphNode*>& memNodeVec,
240 const TargetMachine& target) {
Chris Lattner3501fea2003-01-14 22:00:31 +0000241 const TargetInstrInfo& mii = target.getInstrInfo();
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000242
Vikram S. Advee64574c2001-11-08 05:20:23 +0000243 // Instructions in memNodeVec are in execution order within the basic block,
244 // so simply look at all pairs <memNodeVec[i], memNodeVec[j: j > i]>.
245 //
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000246 for (unsigned im=0, NM=memNodeVec.size(); im < NM; im++) {
Misha Brukman6b77ec42003-05-22 21:49:18 +0000247 MachineOpCode fromOpCode = memNodeVec[im]->getOpCode();
Vikram S. Adve7952d602003-05-31 07:37:05 +0000248 int fromType = (mii.isCall(fromOpCode)? SG_CALL_REF
249 : (mii.isLoad(fromOpCode)? SG_LOAD_REF
250 : SG_STORE_REF));
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000251 for (unsigned jm=im+1; jm < NM; jm++) {
Misha Brukman6b77ec42003-05-22 21:49:18 +0000252 MachineOpCode toOpCode = memNodeVec[jm]->getOpCode();
Vikram S. Adve7952d602003-05-31 07:37:05 +0000253 int toType = (mii.isCall(toOpCode)? SG_CALL_REF
254 : (mii.isLoad(toOpCode)? SG_LOAD_REF
255 : SG_STORE_REF));
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000256
Misha Brukman6b77ec42003-05-22 21:49:18 +0000257 if (fromType != SG_LOAD_REF || toType != SG_LOAD_REF)
258 (void) new SchedGraphEdge(memNodeVec[im], memNodeVec[jm],
259 SchedGraphEdge::MemoryDep,
260 SG_DepOrderArray[fromType][toType], 1);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000261 }
Misha Brukman6b77ec42003-05-22 21:49:18 +0000262 }
Vikram S. Advee64574c2001-11-08 05:20:23 +0000263}
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000264
Vikram S. Advee64574c2001-11-08 05:20:23 +0000265// Add edges from/to CC reg instrs to/from call instrs.
266// Essentially this prevents anything that sets or uses a CC reg from being
267// reordered w.r.t. a call.
268// Use a latency of 0 because we only need to prevent out-of-order issue,
269// like with control dependences.
270//
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000271void SchedGraph::addCallDepEdges(const std::vector<SchedGraphNode*>& callDepNodeVec,
272 const TargetMachine& target) {
Chris Lattner3501fea2003-01-14 22:00:31 +0000273 const TargetInstrInfo& mii = target.getInstrInfo();
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000274
Vikram S. Adve7952d602003-05-31 07:37:05 +0000275 // Instructions in memNodeVec are in execution order within the basic block,
276 // so simply look at all pairs <memNodeVec[i], memNodeVec[j: j > i]>.
277 //
278 for (unsigned ic=0, NC=callDepNodeVec.size(); ic < NC; ic++)
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000279 if (mii.isCall(callDepNodeVec[ic]->getOpCode())) {
280 // Add SG_CALL_REF edges from all preds to this instruction.
281 for (unsigned jc=0; jc < ic; jc++)
282 (void) new SchedGraphEdge(callDepNodeVec[jc], callDepNodeVec[ic],
283 SchedGraphEdge::MachineRegister,
284 MachineIntRegsRID, 0);
285
286 // And do the same from this instruction to all successors.
287 for (unsigned jc=ic+1; jc < NC; jc++)
288 (void) new SchedGraphEdge(callDepNodeVec[ic], callDepNodeVec[jc],
289 SchedGraphEdge::MachineRegister,
290 MachineIntRegsRID, 0);
291 }
Vikram S. Adve7952d602003-05-31 07:37:05 +0000292
293#ifdef CALL_DEP_NODE_VEC_CANNOT_WORK
Vikram S. Advee64574c2001-11-08 05:20:23 +0000294 // Find the call instruction nodes and put them in a vector.
Vikram S. Adve7952d602003-05-31 07:37:05 +0000295 std::vector<SchedGraphNode*> callNodeVec;
Vikram S. Advee64574c2001-11-08 05:20:23 +0000296 for (unsigned im=0, NM=memNodeVec.size(); im < NM; im++)
297 if (mii.isCall(memNodeVec[im]->getOpCode()))
298 callNodeVec.push_back(memNodeVec[im]);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000299
Vikram S. Advee64574c2001-11-08 05:20:23 +0000300 // Now walk the entire basic block, looking for CC instructions *and*
301 // call instructions, and keep track of the order of the instructions.
302 // Use the call node vec to quickly find earlier and later call nodes
303 // relative to the current CC instruction.
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000304 //
305 int lastCallNodeIdx = -1;
306 for (unsigned i=0, N=bbMvec.size(); i < N; i++)
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000307 if (mii.isCall(bbMvec[i]->getOpCode())) {
Misha Brukman6b77ec42003-05-22 21:49:18 +0000308 ++lastCallNodeIdx;
309 for ( ; lastCallNodeIdx < (int)callNodeVec.size(); ++lastCallNodeIdx)
310 if (callNodeVec[lastCallNodeIdx]->getMachineInstr() == bbMvec[i])
311 break;
312 assert(lastCallNodeIdx < (int)callNodeVec.size() && "Missed Call?");
Vikram S. Adve7952d602003-05-31 07:37:05 +0000313 }
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000314 else if (mii.isCCInstr(bbMvec[i]->getOpCode())) {
Misha Brukman6b77ec42003-05-22 21:49:18 +0000315 // Add incoming/outgoing edges from/to preceding/later calls
316 SchedGraphNode* ccNode = this->getGraphNodeForInstr(bbMvec[i]);
317 int j=0;
318 for ( ; j <= lastCallNodeIdx; j++)
319 (void) new SchedGraphEdge(callNodeVec[j], ccNode,
320 MachineCCRegsRID, 0);
321 for ( ; j < (int) callNodeVec.size(); j++)
322 (void) new SchedGraphEdge(ccNode, callNodeVec[j],
323 MachineCCRegsRID, 0);
324 }
Vikram S. Adve7952d602003-05-31 07:37:05 +0000325#endif
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000326}
327
328
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000329void SchedGraph::addMachineRegEdges(RegToRefVecMap& regToRefVecMap,
330 const TargetMachine& target) {
Vikram S. Adve7952d602003-05-31 07:37:05 +0000331 // This code assumes that two registers with different numbers are
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000332 // not aliased!
333 //
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000334 for (RegToRefVecMap::iterator I = regToRefVecMap.begin();
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000335 I != regToRefVecMap.end(); ++I) {
Misha Brukman6b77ec42003-05-22 21:49:18 +0000336 int regNum = (*I).first;
337 RefVec& regRefVec = (*I).second;
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000338
Misha Brukman6b77ec42003-05-22 21:49:18 +0000339 // regRefVec is ordered by control flow order in the basic block
340 for (unsigned i=0; i < regRefVec.size(); ++i) {
341 SchedGraphNode* node = regRefVec[i].first;
342 unsigned int opNum = regRefVec[i].second;
Vikram S. Adve7952d602003-05-31 07:37:05 +0000343 const MachineOperand& mop =
344 node->getMachineInstr()->getExplOrImplOperand(opNum);
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000345 bool isDef = mop.isDef() && !mop.isUse();
346 bool isDefAndUse = mop.isDef() && mop.isUse();
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000347
Misha Brukman6b77ec42003-05-22 21:49:18 +0000348 for (unsigned p=0; p < i; ++p) {
349 SchedGraphNode* prevNode = regRefVec[p].first;
350 if (prevNode != node) {
351 unsigned int prevOpNum = regRefVec[p].second;
Vikram S. Adve7952d602003-05-31 07:37:05 +0000352 const MachineOperand& prevMop =
353 prevNode->getMachineInstr()->getExplOrImplOperand(prevOpNum);
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000354 bool prevIsDef = prevMop.isDef() && !prevMop.isUse();
355 bool prevIsDefAndUse = prevMop.isDef() && prevMop.isUse();
Misha Brukman6b77ec42003-05-22 21:49:18 +0000356 if (isDef) {
357 if (prevIsDef)
358 new SchedGraphEdge(prevNode, node, regNum,
359 SchedGraphEdge::OutputDep);
360 if (!prevIsDef || prevIsDefAndUse)
361 new SchedGraphEdge(prevNode, node, regNum,
362 SchedGraphEdge::AntiDep);
363 }
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000364
Misha Brukman6b77ec42003-05-22 21:49:18 +0000365 if (prevIsDef)
366 if (!isDef || isDefAndUse)
367 new SchedGraphEdge(prevNode, node, regNum,
368 SchedGraphEdge::TrueDep);
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000369 }
Misha Brukman6b77ec42003-05-22 21:49:18 +0000370 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000371 }
Misha Brukman6b77ec42003-05-22 21:49:18 +0000372 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000373}
374
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000375
Vikram S. Adve0baf1c02002-07-08 22:59:23 +0000376// Adds dependences to/from refNode from/to all other defs
377// in the basic block. refNode may be a use, a def, or both.
378// We do not consider other uses because we are not building use-use deps.
379//
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000380void SchedGraph::addEdgesForValue(SchedGraphNode* refNode,
381 const RefVec& defVec,
382 const Value* defValue,
383 bool refNodeIsDef,
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000384 bool refNodeIsUse,
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000385 const TargetMachine& target) {
Vikram S. Adve200a4352001-11-12 18:53:43 +0000386 // Add true or output dep edges from all def nodes before refNode in BB.
387 // Add anti or output dep edges to all def nodes after refNode.
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000388 for (RefVec::const_iterator I=defVec.begin(), E=defVec.end(); I != E; ++I) {
Misha Brukman6b77ec42003-05-22 21:49:18 +0000389 if ((*I).first == refNode)
390 continue; // Dont add any self-loops
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000391
Misha Brukman6b77ec42003-05-22 21:49:18 +0000392 if ((*I).first->getOrigIndexInBB() < refNode->getOrigIndexInBB()) {
393 // (*).first is before refNode
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000394 if (refNodeIsDef && !refNodeIsUse)
Misha Brukman6b77ec42003-05-22 21:49:18 +0000395 (void) new SchedGraphEdge((*I).first, refNode, defValue,
396 SchedGraphEdge::OutputDep);
397 if (refNodeIsUse)
398 (void) new SchedGraphEdge((*I).first, refNode, defValue,
399 SchedGraphEdge::TrueDep);
400 } else {
401 // (*).first is after refNode
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000402 if (refNodeIsDef && !refNodeIsUse)
Misha Brukman6b77ec42003-05-22 21:49:18 +0000403 (void) new SchedGraphEdge(refNode, (*I).first, defValue,
404 SchedGraphEdge::OutputDep);
405 if (refNodeIsUse)
406 (void) new SchedGraphEdge(refNode, (*I).first, defValue,
407 SchedGraphEdge::AntiDep);
Vikram S. Adve200a4352001-11-12 18:53:43 +0000408 }
Misha Brukman6b77ec42003-05-22 21:49:18 +0000409 }
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000410}
411
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000412
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000413void SchedGraph::addEdgesForInstruction(const MachineInstr& MI,
414 const ValueToDefVecMap& valueToDefVecMap,
415 const TargetMachine& target) {
Chris Lattner133f0792002-10-28 04:45:29 +0000416 SchedGraphNode* node = getGraphNodeForInstr(&MI);
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000417 if (node == NULL)
418 return;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000419
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000420 // Add edges for all operands of the machine instruction.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000421 //
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000422 for (unsigned i = 0, numOps = MI.getNumOperands(); i != numOps; ++i) {
423 switch (MI.getOperand(i).getType()) {
Misha Brukman6b77ec42003-05-22 21:49:18 +0000424 case MachineOperand::MO_VirtualRegister:
425 case MachineOperand::MO_CCRegister:
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000426 if (const Value* srcI = MI.getOperand(i).getVRegValue()) {
Misha Brukman6b77ec42003-05-22 21:49:18 +0000427 ValueToDefVecMap::const_iterator I = valueToDefVecMap.find(srcI);
428 if (I != valueToDefVecMap.end())
429 addEdgesForValue(node, I->second, srcI,
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000430 MI.getOperand(i).isDef(), MI.getOperand(i).isUse(),
431 target);
Misha Brukman6b77ec42003-05-22 21:49:18 +0000432 }
433 break;
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000434
Misha Brukman6b77ec42003-05-22 21:49:18 +0000435 case MachineOperand::MO_MachineRegister:
436 break;
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000437
Misha Brukman6b77ec42003-05-22 21:49:18 +0000438 case MachineOperand::MO_SignExtendedImmed:
439 case MachineOperand::MO_UnextendedImmed:
440 case MachineOperand::MO_PCRelativeDisp:
Misha Brukmane2bf0a22003-11-06 00:04:11 +0000441 case MachineOperand::MO_ConstantPoolIndex:
Misha Brukman6b77ec42003-05-22 21:49:18 +0000442 break; // nothing to do for immediate fields
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000443
Misha Brukman6b77ec42003-05-22 21:49:18 +0000444 default:
445 assert(0 && "Unknown machine operand type in SchedGraph builder");
446 break;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000447 }
Misha Brukman6b77ec42003-05-22 21:49:18 +0000448 }
Vikram S. Adve8d0ffa52001-10-11 04:22:45 +0000449
450 // Add edges for values implicitly used by the machine instruction.
451 // Examples include function arguments to a Call instructions or the return
452 // value of a Ret instruction.
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000453 //
Chris Lattner133f0792002-10-28 04:45:29 +0000454 for (unsigned i=0, N=MI.getNumImplicitRefs(); i < N; ++i)
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000455 if (MI.getImplicitOp(i).isUse())
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000456 if (const Value* srcI = MI.getImplicitRef(i)) {
Misha Brukman6b77ec42003-05-22 21:49:18 +0000457 ValueToDefVecMap::const_iterator I = valueToDefVecMap.find(srcI);
458 if (I != valueToDefVecMap.end())
459 addEdgesForValue(node, I->second, srcI,
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000460 MI.getImplicitOp(i).isDef(),
461 MI.getImplicitOp(i).isUse(), target);
Misha Brukman6b77ec42003-05-22 21:49:18 +0000462 }
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000463}
464
465
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000466void SchedGraph::findDefUseInfoAtInstr(const TargetMachine& target,
467 SchedGraphNode* node,
468 std::vector<SchedGraphNode*>& memNodeVec,
469 std::vector<SchedGraphNode*>& callDepNodeVec,
470 RegToRefVecMap& regToRefVecMap,
471 ValueToDefVecMap& valueToDefVecMap) {
Chris Lattner3501fea2003-01-14 22:00:31 +0000472 const TargetInstrInfo& mii = target.getInstrInfo();
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000473
Vikram S. Advee64574c2001-11-08 05:20:23 +0000474 MachineOpCode opCode = node->getOpCode();
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000475
Vikram S. Adve7952d602003-05-31 07:37:05 +0000476 if (mii.isCall(opCode) || mii.isCCInstr(opCode))
477 callDepNodeVec.push_back(node);
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000478
Vikram S. Advee64574c2001-11-08 05:20:23 +0000479 if (mii.isLoad(opCode) || mii.isStore(opCode) || mii.isCall(opCode))
480 memNodeVec.push_back(node);
481
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000482 // Collect the register references and value defs. for explicit operands
483 //
Tanya Lattnerb6489f32003-08-25 22:42:20 +0000484 const MachineInstr& MI = *node->getMachineInstr();
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000485 for (int i=0, numOps = (int) MI.getNumOperands(); i < numOps; i++) {
Tanya Lattnerb6489f32003-08-25 22:42:20 +0000486 const MachineOperand& mop = MI.getOperand(i);
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000487
Misha Brukman6b77ec42003-05-22 21:49:18 +0000488 // if this references a register other than the hardwired
489 // "zero" register, record the reference.
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000490 if (mop.hasAllocatedReg()) {
Vikram S. Adve7952d602003-05-31 07:37:05 +0000491 int regNum = mop.getAllocatedRegNum();
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000492
Vikram S. Adve7952d602003-05-31 07:37:05 +0000493 // If this is not a dummy zero register, record the reference in order
Misha Brukman6b77ec42003-05-22 21:49:18 +0000494 if (regNum != target.getRegInfo().getZeroRegNum())
Vikram S. Adve7952d602003-05-31 07:37:05 +0000495 regToRefVecMap[mop.getAllocatedRegNum()]
Misha Brukman6b77ec42003-05-22 21:49:18 +0000496 .push_back(std::make_pair(node, i));
Vikram S. Adve7952d602003-05-31 07:37:05 +0000497
498 // If this is a volatile register, add the instruction to callDepVec
499 // (only if the node is not already on the callDepVec!)
500 if (callDepNodeVec.size() == 0 || callDepNodeVec.back() != node)
501 {
502 unsigned rcid;
503 int regInClass = target.getRegInfo().getClassRegNum(regNum, rcid);
504 if (target.getRegInfo().getMachineRegClass(rcid)
505 ->isRegVolatile(regInClass))
506 callDepNodeVec.push_back(node);
507 }
508
Misha Brukman6b77ec42003-05-22 21:49:18 +0000509 continue; // nothing more to do
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000510 }
Vikram S. Adve7952d602003-05-31 07:37:05 +0000511
Misha Brukman6b77ec42003-05-22 21:49:18 +0000512 // ignore all other non-def operands
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000513 if (!MI.getOperand(i).isDef())
Misha Brukman6b77ec42003-05-22 21:49:18 +0000514 continue;
515
516 // We must be defining a value.
517 assert((mop.getType() == MachineOperand::MO_VirtualRegister ||
518 mop.getType() == MachineOperand::MO_CCRegister)
519 && "Do not expect any other kind of operand to be defined!");
Vikram S. Adve74d15d32003-07-02 01:16:01 +0000520 assert(mop.getVRegValue() != NULL && "Null value being defined?");
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000521
Vikram S. Adve74d15d32003-07-02 01:16:01 +0000522 valueToDefVecMap[mop.getVRegValue()].push_back(std::make_pair(node, i));
Misha Brukman6b77ec42003-05-22 21:49:18 +0000523 }
Vikram S. Advee64574c2001-11-08 05:20:23 +0000524
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000525 //
Vikram S. Adve7952d602003-05-31 07:37:05 +0000526 // Collect value defs. for implicit operands. They may have allocated
527 // physical registers also.
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000528 //
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000529 for (unsigned i=0, N = MI.getNumImplicitRefs(); i != N; ++i) {
Tanya Lattnerb6489f32003-08-25 22:42:20 +0000530 const MachineOperand& mop = MI.getImplicitOp(i);
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000531 if (mop.hasAllocatedReg()) {
Vikram S. Adve7952d602003-05-31 07:37:05 +0000532 int regNum = mop.getAllocatedRegNum();
533 if (regNum != target.getRegInfo().getZeroRegNum())
534 regToRefVecMap[mop.getAllocatedRegNum()]
Tanya Lattnerb6489f32003-08-25 22:42:20 +0000535 .push_back(std::make_pair(node, i + MI.getNumOperands()));
Vikram S. Adve7952d602003-05-31 07:37:05 +0000536 continue; // nothing more to do
537 }
538
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000539 if (mop.isDef()) {
Tanya Lattnerb6489f32003-08-25 22:42:20 +0000540 assert(MI.getImplicitRef(i) != NULL && "Null value being defined?");
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000541 valueToDefVecMap[MI.getImplicitRef(i)].push_back(
542 std::make_pair(node, -i));
Vikram S. Adve74d15d32003-07-02 01:16:01 +0000543 }
Vikram S. Adve7952d602003-05-31 07:37:05 +0000544 }
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000545}
546
547
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000548void SchedGraph::buildNodesForBB(const TargetMachine& target,
549 MachineBasicBlock& MBB,
550 std::vector<SchedGraphNode*>& memNodeVec,
551 std::vector<SchedGraphNode*>& callDepNodeVec,
552 RegToRefVecMap& regToRefVecMap,
553 ValueToDefVecMap& valueToDefVecMap) {
Chris Lattner3501fea2003-01-14 22:00:31 +0000554 const TargetInstrInfo& mii = target.getInstrInfo();
Vikram S. Adve5b43af92001-11-11 01:23:27 +0000555
556 // Build graph nodes for each VM instruction and gather def/use info.
557 // Do both those together in a single pass over all machine instructions.
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000558 for (unsigned i=0; i < MBB.size(); i++)
559 if (!mii.isDummyPhiInstr(MBB[i]->getOpCode())) {
560 SchedGraphNode* node = new SchedGraphNode(getNumNodes(), &MBB, i, target);
561 noteGraphNodeForInstr(MBB[i], node);
562
563 // Remember all register references and value defs
Vikram S. Adve7952d602003-05-31 07:37:05 +0000564 findDefUseInfoAtInstr(target, node, memNodeVec, callDepNodeVec,
565 regToRefVecMap, valueToDefVecMap);
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000566 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000567}
568
569
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000570void SchedGraph::buildGraph(const TargetMachine& target) {
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000571 // Use this data structure to note all machine operands that compute
572 // ordinary LLVM values. These must be computed defs (i.e., instructions).
573 // Note that there may be multiple machine instructions that define
574 // each Value.
575 ValueToDefVecMap valueToDefVecMap;
576
Vikram S. Advee64574c2001-11-08 05:20:23 +0000577 // Use this data structure to note all memory instructions.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000578 // We use this to add memory dependence edges without a second full walk.
Misha Brukmanc2312df2003-05-22 21:24:35 +0000579 std::vector<SchedGraphNode*> memNodeVec;
Vikram S. Adve7952d602003-05-31 07:37:05 +0000580
581 // Use this data structure to note all instructions that access physical
582 // registers that can be modified by a call (including call instructions)
583 std::vector<SchedGraphNode*> callDepNodeVec;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000584
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000585 // Use this data structure to note any uses or definitions of
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000586 // machine registers so we can add edges for those later without
587 // extra passes over the nodes.
588 // The vector holds an ordered list of references to the machine reg,
589 // ordered according to control-flow order. This only works for a
590 // single basic block, hence the assertion. Each reference is identified
591 // by the pair: <node, operand-number>.
592 //
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000593 RegToRefVecMap regToRefVecMap;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000594
595 // Make a dummy root node. We'll add edges to the real roots later.
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000596 graphRoot = new SchedGraphNode(0, NULL, -1, target);
597 graphLeaf = new SchedGraphNode(1, NULL, -1, target);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000598
599 //----------------------------------------------------------------
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000600 // First add nodes for all the machine instructions in the basic block
601 // because this greatly simplifies identifying which edges to add.
602 // Do this one VM instruction at a time since the SchedGraphNode needs that.
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000603 // Also, remember the load/store instructions to add memory deps later.
604 //----------------------------------------------------------------
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000605
Vikram S. Adve7952d602003-05-31 07:37:05 +0000606 buildNodesForBB(target, MBB, memNodeVec, callDepNodeVec,
607 regToRefVecMap, valueToDefVecMap);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000608
609 //----------------------------------------------------------------
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000610 // Now add edges for the following (all are incoming edges except (4)):
611 // (1) operands of the machine instruction, including hidden operands
612 // (2) machine register dependences
613 // (3) memory load/store dependences
614 // (3) other resource dependences for the machine instruction, if any
615 // (4) output dependences when multiple machine instructions define the
616 // same value; all must have been generated from a single VM instrn
617 // (5) control dependences to branch instructions generated for the
618 // terminator instruction of the BB. Because of delay slots and
619 // 2-way conditional branches, multiple CD edges are needed
620 // (see addCDEdges for details).
621 // Also, note any uses or defs of machine registers.
622 //
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000623 //----------------------------------------------------------------
624
625 // First, add edges to the terminator instruction of the basic block.
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000626 this->addCDEdges(MBB.getBasicBlock()->getTerminator(), target);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000627
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000628 // Then add memory dep edges: store->load, load->store, and store->store.
629 // Call instructions are treated as both load and store.
Vikram S. Advee64574c2001-11-08 05:20:23 +0000630 this->addMemEdges(memNodeVec, target);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000631
632 // Then add edges between call instructions and CC set/use instructions
Vikram S. Adve7952d602003-05-31 07:37:05 +0000633 this->addCallDepEdges(callDepNodeVec, target);
Vikram S. Advea93bbac2001-10-28 21:43:33 +0000634
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000635 // Then add incoming def-use (SSA) edges for each machine instruction.
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000636 for (unsigned i=0, N=MBB.size(); i < N; i++)
637 addEdgesForInstruction(*MBB[i], valueToDefVecMap, target);
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000638
Vikram S. Adve200a4352001-11-12 18:53:43 +0000639#ifdef NEED_SEPARATE_NONSSA_EDGES_CODE
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000640 // Then add non-SSA edges for all VM instructions in the block.
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000641 // We assume that all machine instructions that define a value are
642 // generated from the VM instruction corresponding to that value.
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000643 // TODO: This could probably be done much more efficiently.
Vikram S. Adve5316f8f2001-09-30 23:36:58 +0000644 for (BasicBlock::const_iterator II = bb->begin(); II != bb->end(); ++II)
Vikram S. Advec352d2c2001-11-05 04:04:23 +0000645 this->addNonSSAEdgesForValue(*II, target);
Chris Lattner4ed17ba2001-11-26 18:56:52 +0000646#endif //NEED_SEPARATE_NONSSA_EDGES_CODE
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000647
648 // Then add edges for dependences on machine registers
649 this->addMachineRegEdges(regToRefVecMap, target);
650
651 // Finally, add edges from the dummy root and to dummy leaf
652 this->addDummyEdges();
653}
654
655
656//
657// class SchedGraphSet
658//
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000659SchedGraphSet::SchedGraphSet(const Function* _function,
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000660 const TargetMachine& target) :
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000661 function(_function) {
Tanya Lattnerb6489f32003-08-25 22:42:20 +0000662 buildGraphsForMethod(function, target);
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000663}
664
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000665SchedGraphSet::~SchedGraphSet() {
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000666 // delete all the graphs
Chris Lattnerf3dd05c2002-04-09 05:15:33 +0000667 for(iterator I = begin(), E = end(); I != E; ++I)
668 delete *I; // destructor is a friend
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000669}
670
671
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000672void SchedGraphSet::dump() const {
Tanya Lattnerb6489f32003-08-25 22:42:20 +0000673 std::cerr << "======== Sched graphs for function `" << function->getName()
Misha Brukmanc2312df2003-05-22 21:24:35 +0000674 << "' ========\n\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000675
676 for (const_iterator I=begin(); I != end(); ++I)
Vikram S. Advecf8a98f2002-03-24 03:40:59 +0000677 (*I)->dump();
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000678
Tanya Lattnerb6489f32003-08-25 22:42:20 +0000679 std::cerr << "\n====== End graphs for function `" << function->getName()
Misha Brukmanc2312df2003-05-22 21:24:35 +0000680 << "' ========\n\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000681}
682
683
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000684void SchedGraphSet::buildGraphsForMethod(const Function *F,
685 const TargetMachine& target) {
Chris Lattnerfb3a0aed2002-10-28 18:50:08 +0000686 MachineFunction &MF = MachineFunction::get(F);
687 for (MachineFunction::iterator I = MF.begin(), E = MF.end(); I != E; ++I)
688 addGraph(new SchedGraph(*I, target));
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000689}
690
691
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000692void SchedGraphEdge::print(std::ostream &os) const {
693 os << "edge [" << src->getNodeId() << "] -> ["
694 << sink->getNodeId() << "] : ";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000695
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000696 switch(depType) {
697 case SchedGraphEdge::CtrlDep:
698 os<< "Control Dep";
699 break;
700 case SchedGraphEdge::ValueDep:
701 os<< "Reg Value " << val;
702 break;
703 case SchedGraphEdge::MemoryDep:
704 os<< "Memory Dep";
705 break;
706 case SchedGraphEdge::MachineRegister:
707 os<< "Reg " << machineRegNum;
708 break;
709 case SchedGraphEdge::MachineResource:
710 os<<"Resource "<< resourceId;
711 break;
712 default:
713 assert(0);
714 break;
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000715 }
716
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000717 os << " : delay = " << minDelay << "\n";
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000718}
719
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000720void SchedGraphNode::print(std::ostream &os) const {
Chris Lattner697954c2002-01-20 22:54:45 +0000721 os << std::string(8, ' ')
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000722 << "Node " << ID << " : "
723 << "latency = " << latency << "\n" << std::string(12, ' ');
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000724
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000725 if (getMachineInstr() == NULL)
Chris Lattner697954c2002-01-20 22:54:45 +0000726 os << "(Dummy node)\n";
Misha Brukman6b77ec42003-05-22 21:49:18 +0000727 else {
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000728 os << *getMachineInstr() << "\n" << std::string(12, ' ');
729 os << inEdges.size() << " Incoming Edges:\n";
730 for (unsigned i=0, N = inEdges.size(); i < N; i++)
731 os << std::string(16, ' ') << *inEdges[i];
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000732
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000733 os << std::string(12, ' ') << outEdges.size()
Misha Brukman6b77ec42003-05-22 21:49:18 +0000734 << " Outgoing Edges:\n";
Tanya Lattnerc50ee552003-08-27 02:42:58 +0000735 for (unsigned i=0, N= outEdges.size(); i < N; i++)
736 os << std::string(16, ' ') << *outEdges[i];
Misha Brukman6b77ec42003-05-22 21:49:18 +0000737 }
Vikram S. Adve78ef1392001-08-28 23:06:02 +0000738}
Brian Gaeked0fde302003-11-11 22:41:34 +0000739
740} // End llvm namespace