blob: c54f36002ea48fc8e0b24532319e8ca565c46b4f [file] [log] [blame]
Dan Gohman343f0c02008-11-19 23:18:57 +00001//===--- ScheduleDAGSDNodes.cpp - Implement the ScheduleDAGSDNodes class --===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This implements the ScheduleDAG class, which is a base class used by
11// scheduling implementation classes.
12//
13//===----------------------------------------------------------------------===//
14
15#define DEBUG_TYPE "pre-RA-sched"
Evan Chenga8efe282010-03-14 19:56:39 +000016#include "SDNodeDbgValue.h"
Dan Gohman84fbac52009-02-06 17:22:58 +000017#include "ScheduleDAGSDNodes.h"
Dan Gohmanbcea8592009-10-10 01:32:21 +000018#include "InstrEmitter.h"
Dan Gohman343f0c02008-11-19 23:18:57 +000019#include "llvm/CodeGen/SelectionDAG.h"
20#include "llvm/Target/TargetMachine.h"
21#include "llvm/Target/TargetInstrInfo.h"
Evan Cheng1cc39842010-05-20 23:26:43 +000022#include "llvm/Target/TargetLowering.h"
Dan Gohman343f0c02008-11-19 23:18:57 +000023#include "llvm/Target/TargetRegisterInfo.h"
David Goodwin71046162009-08-13 16:05:04 +000024#include "llvm/Target/TargetSubtarget.h"
Evan Chengc589e032010-01-22 03:36:51 +000025#include "llvm/ADT/DenseMap.h"
26#include "llvm/ADT/SmallPtrSet.h"
Evan Chengbfcb3052010-03-25 01:38:16 +000027#include "llvm/ADT/SmallSet.h"
Evan Chengc589e032010-01-22 03:36:51 +000028#include "llvm/ADT/SmallVector.h"
29#include "llvm/ADT/Statistic.h"
Dan Gohman343f0c02008-11-19 23:18:57 +000030#include "llvm/Support/Debug.h"
31#include "llvm/Support/raw_ostream.h"
32using namespace llvm;
33
Evan Chengc589e032010-01-22 03:36:51 +000034STATISTIC(LoadsClustered, "Number of loads clustered together");
35
Dan Gohman79ce2762009-01-15 19:20:50 +000036ScheduleDAGSDNodes::ScheduleDAGSDNodes(MachineFunction &mf)
37 : ScheduleDAG(mf) {
Dan Gohman343f0c02008-11-19 23:18:57 +000038}
39
Dan Gohman47ac0f02009-02-11 04:27:20 +000040/// Run - perform scheduling.
41///
42void ScheduleDAGSDNodes::Run(SelectionDAG *dag, MachineBasicBlock *bb,
43 MachineBasicBlock::iterator insertPos) {
44 DAG = dag;
45 ScheduleDAG::Run(bb, insertPos);
46}
47
Evan Cheng1cc39842010-05-20 23:26:43 +000048/// NewSUnit - Creates a new SUnit and return a ptr to it.
49///
50SUnit *ScheduleDAGSDNodes::NewSUnit(SDNode *N) {
51#ifndef NDEBUG
52 const SUnit *Addr = 0;
53 if (!SUnits.empty())
54 Addr = &SUnits[0];
55#endif
56 SUnits.push_back(SUnit(N, (unsigned)SUnits.size()));
57 assert((Addr == 0 || Addr == &SUnits[0]) &&
58 "SUnits std::vector reallocated on the fly!");
59 SUnits.back().OrigNode = &SUnits.back();
60 SUnit *SU = &SUnits.back();
61 const TargetLowering &TLI = DAG->getTargetLoweringInfo();
Evan Cheng046fa3f2010-05-28 23:26:21 +000062 if (N->isMachineOpcode() &&
63 N->getMachineOpcode() == TargetOpcode::IMPLICIT_DEF)
64 SU->SchedulingPref = Sched::None;
65 else
66 SU->SchedulingPref = TLI.getSchedulingPreference(N);
Evan Cheng1cc39842010-05-20 23:26:43 +000067 return SU;
68}
69
Dan Gohman343f0c02008-11-19 23:18:57 +000070SUnit *ScheduleDAGSDNodes::Clone(SUnit *Old) {
71 SUnit *SU = NewSUnit(Old->getNode());
72 SU->OrigNode = Old->OrigNode;
73 SU->Latency = Old->Latency;
74 SU->isTwoAddress = Old->isTwoAddress;
75 SU->isCommutable = Old->isCommutable;
76 SU->hasPhysRegDefs = Old->hasPhysRegDefs;
Dan Gohman39746672009-03-23 16:10:52 +000077 SU->hasPhysRegClobbers = Old->hasPhysRegClobbers;
Evan Cheng1cc39842010-05-20 23:26:43 +000078 SU->SchedulingPref = Old->SchedulingPref;
Evan Chenge57187c2009-01-16 20:57:18 +000079 Old->isCloned = true;
Dan Gohman343f0c02008-11-19 23:18:57 +000080 return SU;
81}
82
83/// CheckForPhysRegDependency - Check if the dependency between def and use of
84/// a specified operand is a physical register dependency. If so, returns the
Evan Chengc29a56d2009-01-12 03:19:55 +000085/// register and the cost of copying the register.
Dan Gohman343f0c02008-11-19 23:18:57 +000086static void CheckForPhysRegDependency(SDNode *Def, SDNode *User, unsigned Op,
87 const TargetRegisterInfo *TRI,
88 const TargetInstrInfo *TII,
Evan Chengc29a56d2009-01-12 03:19:55 +000089 unsigned &PhysReg, int &Cost) {
Dan Gohman343f0c02008-11-19 23:18:57 +000090 if (Op != 2 || User->getOpcode() != ISD::CopyToReg)
91 return;
92
93 unsigned Reg = cast<RegisterSDNode>(User->getOperand(1))->getReg();
94 if (TargetRegisterInfo::isVirtualRegister(Reg))
95 return;
96
97 unsigned ResNo = User->getOperand(2).getResNo();
98 if (Def->isMachineOpcode()) {
99 const TargetInstrDesc &II = TII->get(Def->getMachineOpcode());
100 if (ResNo >= II.getNumDefs() &&
Evan Chengc29a56d2009-01-12 03:19:55 +0000101 II.ImplicitDefs[ResNo - II.getNumDefs()] == Reg) {
Dan Gohman343f0c02008-11-19 23:18:57 +0000102 PhysReg = Reg;
Evan Chengc29a56d2009-01-12 03:19:55 +0000103 const TargetRegisterClass *RC =
104 TRI->getPhysicalRegisterRegClass(Reg, Def->getValueType(ResNo));
105 Cost = RC->getCopyCost();
106 }
Dan Gohman343f0c02008-11-19 23:18:57 +0000107 }
108}
109
Evan Chengc589e032010-01-22 03:36:51 +0000110static void AddFlags(SDNode *N, SDValue Flag, bool AddFlag,
111 SelectionDAG *DAG) {
112 SmallVector<EVT, 4> VTs;
Bill Wendling10707f32010-06-24 22:00:37 +0000113 SDNode *FlagDestNode = Flag.getNode();
Bill Wendling151d26d2010-06-23 18:16:24 +0000114
Bill Wendling10707f32010-06-24 22:00:37 +0000115 // Don't add a flag from a node to itself.
116 if (FlagDestNode == N) return;
117
118 // Don't add a flag to something which already has a flag.
119 if (N->getValueType(N->getNumValues() - 1) == MVT::Flag) return;
120
121 for (unsigned I = 0, E = N->getNumValues(); I != E; ++I)
122 VTs.push_back(N->getValueType(I));
Bill Wendling151d26d2010-06-23 18:16:24 +0000123
Evan Chengc589e032010-01-22 03:36:51 +0000124 if (AddFlag)
125 VTs.push_back(MVT::Flag);
Bill Wendling151d26d2010-06-23 18:16:24 +0000126
Evan Chengc589e032010-01-22 03:36:51 +0000127 SmallVector<SDValue, 4> Ops;
Bill Wendling10707f32010-06-24 22:00:37 +0000128 for (unsigned I = 0, E = N->getNumOperands(); I != E; ++I)
129 Ops.push_back(N->getOperand(I));
Bill Wendling151d26d2010-06-23 18:16:24 +0000130
Bill Wendling10707f32010-06-24 22:00:37 +0000131 if (FlagDestNode)
Evan Chengc589e032010-01-22 03:36:51 +0000132 Ops.push_back(Flag);
Bill Wendling151d26d2010-06-23 18:16:24 +0000133
Evan Chengc589e032010-01-22 03:36:51 +0000134 SDVTList VTList = DAG->getVTList(&VTs[0], VTs.size());
Bill Wendling151d26d2010-06-23 18:16:24 +0000135 MachineSDNode::mmo_iterator Begin = 0, End = 0;
136 MachineSDNode *MN = dyn_cast<MachineSDNode>(N);
137
138 // Store memory references.
139 if (MN) {
140 Begin = MN->memoperands_begin();
141 End = MN->memoperands_end();
142 }
143
Evan Chengc589e032010-01-22 03:36:51 +0000144 DAG->MorphNodeTo(N, N->getOpcode(), VTList, &Ops[0], Ops.size());
Bill Wendling151d26d2010-06-23 18:16:24 +0000145
146 // Reset the memory references
147 if (MN)
148 MN->setMemRefs(Begin, End);
Evan Chengc589e032010-01-22 03:36:51 +0000149}
150
151/// ClusterNeighboringLoads - Force nearby loads together by "flagging" them.
152/// This function finds loads of the same base and different offsets. If the
153/// offsets are not far apart (target specific), it add MVT::Flag inputs and
154/// outputs to ensure they are scheduled together and in order. This
155/// optimization may benefit some targets by improving cache locality.
Evan Cheng302ef832010-06-10 02:09:31 +0000156void ScheduleDAGSDNodes::ClusterNeighboringLoads(SDNode *Node) {
157 SDNode *Chain = 0;
158 unsigned NumOps = Node->getNumOperands();
159 if (Node->getOperand(NumOps-1).getValueType() == MVT::Other)
160 Chain = Node->getOperand(NumOps-1).getNode();
161 if (!Chain)
162 return;
163
164 // Look for other loads of the same chain. Find loads that are loading from
165 // the same base pointer and different offsets.
Evan Chengc589e032010-01-22 03:36:51 +0000166 SmallPtrSet<SDNode*, 16> Visited;
167 SmallVector<int64_t, 4> Offsets;
168 DenseMap<long long, SDNode*> O2SMap; // Map from offset to SDNode.
Evan Cheng302ef832010-06-10 02:09:31 +0000169 bool Cluster = false;
170 SDNode *Base = Node;
171 int64_t BaseOffset;
172 for (SDNode::use_iterator I = Chain->use_begin(), E = Chain->use_end();
173 I != E; ++I) {
174 SDNode *User = *I;
175 if (User == Node || !Visited.insert(User))
176 continue;
177 int64_t Offset1, Offset2;
178 if (!TII->areLoadsFromSameBasePtr(Base, User, Offset1, Offset2) ||
179 Offset1 == Offset2)
180 // FIXME: Should be ok if they addresses are identical. But earlier
181 // optimizations really should have eliminated one of the loads.
182 continue;
183 if (O2SMap.insert(std::make_pair(Offset1, Base)).second)
184 Offsets.push_back(Offset1);
185 O2SMap.insert(std::make_pair(Offset2, User));
186 Offsets.push_back(Offset2);
187 if (Offset2 < Offset1) {
188 Base = User;
189 BaseOffset = Offset2;
190 } else {
191 BaseOffset = Offset1;
192 }
193 Cluster = true;
194 }
195
196 if (!Cluster)
197 return;
198
199 // Sort them in increasing order.
200 std::sort(Offsets.begin(), Offsets.end());
201
202 // Check if the loads are close enough.
203 SmallVector<SDNode*, 4> Loads;
204 unsigned NumLoads = 0;
205 int64_t BaseOff = Offsets[0];
206 SDNode *BaseLoad = O2SMap[BaseOff];
207 Loads.push_back(BaseLoad);
208 for (unsigned i = 1, e = Offsets.size(); i != e; ++i) {
209 int64_t Offset = Offsets[i];
210 SDNode *Load = O2SMap[Offset];
211 if (!TII->shouldScheduleLoadsNear(BaseLoad, Load, BaseOff, Offset,NumLoads))
212 break; // Stop right here. Ignore loads that are further away.
213 Loads.push_back(Load);
214 ++NumLoads;
215 }
216
217 if (NumLoads == 0)
218 return;
219
220 // Cluster loads by adding MVT::Flag outputs and inputs. This also
221 // ensure they are scheduled in order of increasing addresses.
222 SDNode *Lead = Loads[0];
Bill Wendling10707f32010-06-24 22:00:37 +0000223 AddFlags(Lead, SDValue(0, 0), true, DAG);
Bill Wendling151d26d2010-06-23 18:16:24 +0000224
Bill Wendling10707f32010-06-24 22:00:37 +0000225 SDValue InFlag = SDValue(Lead, Lead->getNumValues() - 1);
226 for (unsigned I = 1, E = Loads.size(); I != E; ++I) {
227 bool OutFlag = I < E - 1;
228 SDNode *Load = Loads[I];
229
Evan Cheng302ef832010-06-10 02:09:31 +0000230 AddFlags(Load, InFlag, OutFlag, DAG);
Bill Wendling151d26d2010-06-23 18:16:24 +0000231
Evan Cheng302ef832010-06-10 02:09:31 +0000232 if (OutFlag)
Bill Wendling10707f32010-06-24 22:00:37 +0000233 InFlag = SDValue(Load, Load->getNumValues() - 1);
Bill Wendling151d26d2010-06-23 18:16:24 +0000234
Evan Cheng302ef832010-06-10 02:09:31 +0000235 ++LoadsClustered;
236 }
237}
238
239/// ClusterNodes - Cluster certain nodes which should be scheduled together.
240///
241void ScheduleDAGSDNodes::ClusterNodes() {
Evan Chengc589e032010-01-22 03:36:51 +0000242 for (SelectionDAG::allnodes_iterator NI = DAG->allnodes_begin(),
243 E = DAG->allnodes_end(); NI != E; ++NI) {
244 SDNode *Node = &*NI;
245 if (!Node || !Node->isMachineOpcode())
246 continue;
247
248 unsigned Opc = Node->getMachineOpcode();
249 const TargetInstrDesc &TID = TII->get(Opc);
Evan Cheng302ef832010-06-10 02:09:31 +0000250 if (TID.mayLoad())
251 // Cluster loads from "near" addresses into combined SUnits.
252 ClusterNeighboringLoads(Node);
Evan Chengc589e032010-01-22 03:36:51 +0000253 }
254}
255
Dan Gohman343f0c02008-11-19 23:18:57 +0000256void ScheduleDAGSDNodes::BuildSchedUnits() {
Dan Gohmane1dfc7d2008-12-23 17:24:50 +0000257 // During scheduling, the NodeId field of SDNode is used to map SDNodes
258 // to their associated SUnits by holding SUnits table indices. A value
259 // of -1 means the SDNode does not yet have an associated SUnit.
260 unsigned NumNodes = 0;
261 for (SelectionDAG::allnodes_iterator NI = DAG->allnodes_begin(),
262 E = DAG->allnodes_end(); NI != E; ++NI) {
263 NI->setNodeId(-1);
264 ++NumNodes;
265 }
266
Dan Gohman343f0c02008-11-19 23:18:57 +0000267 // Reserve entries in the vector for each of the SUnits we are creating. This
268 // ensure that reallocation of the vector won't happen, so SUnit*'s won't get
269 // invalidated.
Dan Gohman89b64bd2008-12-17 04:30:46 +0000270 // FIXME: Multiply by 2 because we may clone nodes during scheduling.
271 // This is a temporary workaround.
Dan Gohmane1dfc7d2008-12-23 17:24:50 +0000272 SUnits.reserve(NumNodes * 2);
Dan Gohman343f0c02008-11-19 23:18:57 +0000273
Chris Lattner736a6ea2010-02-24 06:11:37 +0000274 // Add all nodes in depth first order.
275 SmallVector<SDNode*, 64> Worklist;
276 SmallPtrSet<SDNode*, 64> Visited;
277 Worklist.push_back(DAG->getRoot().getNode());
278 Visited.insert(DAG->getRoot().getNode());
279
280 while (!Worklist.empty()) {
281 SDNode *NI = Worklist.pop_back_val();
282
283 // Add all operands to the worklist unless they've already been added.
284 for (unsigned i = 0, e = NI->getNumOperands(); i != e; ++i)
285 if (Visited.insert(NI->getOperand(i).getNode()))
286 Worklist.push_back(NI->getOperand(i).getNode());
287
Dan Gohman343f0c02008-11-19 23:18:57 +0000288 if (isPassiveNode(NI)) // Leaf node, e.g. a TargetImmediate.
289 continue;
290
291 // If this node has already been processed, stop now.
292 if (NI->getNodeId() != -1) continue;
293
294 SUnit *NodeSUnit = NewSUnit(NI);
295
296 // See if anything is flagged to this node, if so, add them to flagged
297 // nodes. Nodes can have at most one flag input and one flag output. Flags
Dan Gohmandb95fa12009-03-20 20:42:23 +0000298 // are required to be the last operand and result of a node.
Dan Gohman343f0c02008-11-19 23:18:57 +0000299
300 // Scan up to find flagged preds.
301 SDNode *N = NI;
Dan Gohmandb95fa12009-03-20 20:42:23 +0000302 while (N->getNumOperands() &&
Owen Anderson825b72b2009-08-11 20:47:22 +0000303 N->getOperand(N->getNumOperands()-1).getValueType() == MVT::Flag) {
Dan Gohmandb95fa12009-03-20 20:42:23 +0000304 N = N->getOperand(N->getNumOperands()-1).getNode();
305 assert(N->getNodeId() == -1 && "Node already inserted!");
306 N->setNodeId(NodeSUnit->NodeNum);
Dan Gohman343f0c02008-11-19 23:18:57 +0000307 }
308
309 // Scan down to find any flagged succs.
310 N = NI;
Owen Anderson825b72b2009-08-11 20:47:22 +0000311 while (N->getValueType(N->getNumValues()-1) == MVT::Flag) {
Dan Gohman343f0c02008-11-19 23:18:57 +0000312 SDValue FlagVal(N, N->getNumValues()-1);
313
314 // There are either zero or one users of the Flag result.
315 bool HasFlagUse = false;
316 for (SDNode::use_iterator UI = N->use_begin(), E = N->use_end();
317 UI != E; ++UI)
318 if (FlagVal.isOperandOf(*UI)) {
319 HasFlagUse = true;
320 assert(N->getNodeId() == -1 && "Node already inserted!");
321 N->setNodeId(NodeSUnit->NodeNum);
322 N = *UI;
323 break;
324 }
325 if (!HasFlagUse) break;
326 }
327
328 // If there are flag operands involved, N is now the bottom-most node
329 // of the sequence of nodes that are flagged together.
330 // Update the SUnit.
331 NodeSUnit->setNode(N);
332 assert(N->getNodeId() == -1 && "Node already inserted!");
333 N->setNodeId(NodeSUnit->NodeNum);
334
Dan Gohman787782f2008-11-21 01:44:51 +0000335 // Assign the Latency field of NodeSUnit using target-provided information.
Evan Chenge1631682010-05-19 22:42:23 +0000336 ComputeLatency(NodeSUnit);
Dan Gohman343f0c02008-11-19 23:18:57 +0000337 }
Dan Gohmanc9a5b9e2008-12-23 18:36:58 +0000338}
339
340void ScheduleDAGSDNodes::AddSchedEdges() {
David Goodwin71046162009-08-13 16:05:04 +0000341 const TargetSubtarget &ST = TM.getSubtarget<TargetSubtarget>();
342
David Goodwindc4bdcd2009-08-19 16:08:58 +0000343 // Check to see if the scheduler cares about latencies.
344 bool UnitLatencies = ForceUnitLatencies();
345
Dan Gohman343f0c02008-11-19 23:18:57 +0000346 // Pass 2: add the preds, succs, etc.
347 for (unsigned su = 0, e = SUnits.size(); su != e; ++su) {
348 SUnit *SU = &SUnits[su];
349 SDNode *MainNode = SU->getNode();
350
351 if (MainNode->isMachineOpcode()) {
352 unsigned Opc = MainNode->getMachineOpcode();
353 const TargetInstrDesc &TID = TII->get(Opc);
354 for (unsigned i = 0; i != TID.getNumOperands(); ++i) {
355 if (TID.getOperandConstraint(i, TOI::TIED_TO) != -1) {
356 SU->isTwoAddress = true;
357 break;
358 }
359 }
360 if (TID.isCommutable())
361 SU->isCommutable = true;
362 }
363
364 // Find all predecessors and successors of the group.
365 for (SDNode *N = SU->getNode(); N; N = N->getFlaggedNode()) {
366 if (N->isMachineOpcode() &&
Dan Gohman39746672009-03-23 16:10:52 +0000367 TII->get(N->getMachineOpcode()).getImplicitDefs()) {
368 SU->hasPhysRegClobbers = true;
Dan Gohmanbcea8592009-10-10 01:32:21 +0000369 unsigned NumUsed = InstrEmitter::CountResults(N);
Dan Gohman8cccf0e2009-03-23 17:39:36 +0000370 while (NumUsed != 0 && !N->hasAnyUseOfValue(NumUsed - 1))
371 --NumUsed; // Skip over unused values at the end.
372 if (NumUsed > TII->get(N->getMachineOpcode()).getNumDefs())
Dan Gohman39746672009-03-23 16:10:52 +0000373 SU->hasPhysRegDefs = true;
374 }
Dan Gohman343f0c02008-11-19 23:18:57 +0000375
376 for (unsigned i = 0, e = N->getNumOperands(); i != e; ++i) {
377 SDNode *OpN = N->getOperand(i).getNode();
378 if (isPassiveNode(OpN)) continue; // Not scheduled.
379 SUnit *OpSU = &SUnits[OpN->getNodeId()];
380 assert(OpSU && "Node has no SUnit!");
381 if (OpSU == SU) continue; // In the same group.
382
Owen Andersone50ed302009-08-10 22:56:29 +0000383 EVT OpVT = N->getOperand(i).getValueType();
Owen Anderson825b72b2009-08-11 20:47:22 +0000384 assert(OpVT != MVT::Flag && "Flagged nodes should be in same sunit!");
385 bool isChain = OpVT == MVT::Other;
Dan Gohman343f0c02008-11-19 23:18:57 +0000386
387 unsigned PhysReg = 0;
Evan Chengc29a56d2009-01-12 03:19:55 +0000388 int Cost = 1;
Dan Gohman343f0c02008-11-19 23:18:57 +0000389 // Determine if this is a physical register dependency.
Evan Chengc29a56d2009-01-12 03:19:55 +0000390 CheckForPhysRegDependency(OpN, N, i, TRI, TII, PhysReg, Cost);
Dan Gohman54e4c362008-12-09 22:54:47 +0000391 assert((PhysReg == 0 || !isChain) &&
392 "Chain dependence via physreg data?");
Evan Chengc29a56d2009-01-12 03:19:55 +0000393 // FIXME: See ScheduleDAGSDNodes::EmitCopyFromReg. For now, scheduler
394 // emits a copy from the physical register to a virtual register unless
395 // it requires a cross class copy (cost < 0). That means we are only
396 // treating "expensive to copy" register dependency as physical register
397 // dependency. This may change in the future though.
398 if (Cost >= 0)
399 PhysReg = 0;
David Goodwin71046162009-08-13 16:05:04 +0000400
Evan Cheng046fa3f2010-05-28 23:26:21 +0000401 // If this is a ctrl dep, latency is 1.
402 unsigned OpLatency = isChain ? 1 : OpSU->Latency;
403 const SDep &dep = SDep(OpSU, isChain ? SDep::Order : SDep::Data,
404 OpLatency, PhysReg);
David Goodwindc4bdcd2009-08-19 16:08:58 +0000405 if (!isChain && !UnitLatencies) {
Evan Cheng15a16de2010-05-20 06:13:19 +0000406 ComputeOperandLatency(OpN, N, i, const_cast<SDep &>(dep));
Dan Gohman3fb150a2010-04-17 17:42:52 +0000407 ST.adjustSchedDependency(OpSU, SU, const_cast<SDep &>(dep));
David Goodwindc4bdcd2009-08-19 16:08:58 +0000408 }
David Goodwin71046162009-08-13 16:05:04 +0000409
410 SU->addPred(dep);
Dan Gohman343f0c02008-11-19 23:18:57 +0000411 }
412 }
413 }
414}
415
Dan Gohmanc9a5b9e2008-12-23 18:36:58 +0000416/// BuildSchedGraph - Build the SUnit graph from the selection dag that we
417/// are input. This SUnit graph is similar to the SelectionDAG, but
418/// excludes nodes that aren't interesting to scheduling, and represents
419/// flagged together nodes with a single SUnit.
Dan Gohman98976e42009-10-09 23:33:48 +0000420void ScheduleDAGSDNodes::BuildSchedGraph(AliasAnalysis *AA) {
Evan Cheng302ef832010-06-10 02:09:31 +0000421 // Cluster certain nodes which should be scheduled together.
422 ClusterNodes();
Dan Gohmanc9a5b9e2008-12-23 18:36:58 +0000423 // Populate the SUnits array.
424 BuildSchedUnits();
425 // Compute all the scheduling dependencies between nodes.
426 AddSchedEdges();
427}
428
Dan Gohman343f0c02008-11-19 23:18:57 +0000429void ScheduleDAGSDNodes::ComputeLatency(SUnit *SU) {
Evan Chenge1631682010-05-19 22:42:23 +0000430 // Check to see if the scheduler cares about latencies.
431 if (ForceUnitLatencies()) {
432 SU->Latency = 1;
433 return;
434 }
435
Dan Gohman343f0c02008-11-19 23:18:57 +0000436 const InstrItineraryData &InstrItins = TM.getInstrItineraryData();
Evan Cheng15a16de2010-05-20 06:13:19 +0000437 if (InstrItins.isEmpty()) {
438 SU->Latency = 1;
439 return;
440 }
Dan Gohman343f0c02008-11-19 23:18:57 +0000441
442 // Compute the latency for the node. We use the sum of the latencies for
443 // all nodes flagged together into this SUnit.
Dan Gohman343f0c02008-11-19 23:18:57 +0000444 SU->Latency = 0;
Dan Gohmanc8c28272008-11-21 00:12:10 +0000445 for (SDNode *N = SU->getNode(); N; N = N->getFlaggedNode())
Dan Gohman343f0c02008-11-19 23:18:57 +0000446 if (N->isMachineOpcode()) {
David Goodwindc4bdcd2009-08-19 16:08:58 +0000447 SU->Latency += InstrItins.
448 getStageLatency(TII->get(N->getMachineOpcode()).getSchedClass());
Dan Gohman343f0c02008-11-19 23:18:57 +0000449 }
Dan Gohman343f0c02008-11-19 23:18:57 +0000450}
451
Evan Cheng15a16de2010-05-20 06:13:19 +0000452void ScheduleDAGSDNodes::ComputeOperandLatency(SDNode *Def, SDNode *Use,
453 unsigned OpIdx, SDep& dep) const{
454 // Check to see if the scheduler cares about latencies.
455 if (ForceUnitLatencies())
456 return;
457
458 const InstrItineraryData &InstrItins = TM.getInstrItineraryData();
459 if (InstrItins.isEmpty())
460 return;
461
462 if (dep.getKind() != SDep::Data)
463 return;
464
465 unsigned DefIdx = Use->getOperand(OpIdx).getResNo();
Evan Cheng046fa3f2010-05-28 23:26:21 +0000466 if (Def->isMachineOpcode()) {
Evan Cheng15a16de2010-05-20 06:13:19 +0000467 const TargetInstrDesc &II = TII->get(Def->getMachineOpcode());
468 if (DefIdx >= II.getNumDefs())
469 return;
470 int DefCycle = InstrItins.getOperandCycle(II.getSchedClass(), DefIdx);
471 if (DefCycle < 0)
472 return;
Evan Cheng046fa3f2010-05-28 23:26:21 +0000473 int UseCycle = 1;
474 if (Use->isMachineOpcode()) {
475 const unsigned UseClass = TII->get(Use->getMachineOpcode()).getSchedClass();
476 UseCycle = InstrItins.getOperandCycle(UseClass, OpIdx);
477 }
Evan Cheng15a16de2010-05-20 06:13:19 +0000478 if (UseCycle >= 0) {
479 int Latency = DefCycle - UseCycle + 1;
480 if (Latency >= 0)
481 dep.setLatency(Latency);
482 }
483 }
484}
485
Dan Gohman343f0c02008-11-19 23:18:57 +0000486void ScheduleDAGSDNodes::dumpNode(const SUnit *SU) const {
Evan Chengc29a56d2009-01-12 03:19:55 +0000487 if (!SU->getNode()) {
David Greene84fa8222010-01-05 01:25:11 +0000488 dbgs() << "PHYS REG COPY\n";
Evan Chengc29a56d2009-01-12 03:19:55 +0000489 return;
490 }
491
492 SU->getNode()->dump(DAG);
David Greene84fa8222010-01-05 01:25:11 +0000493 dbgs() << "\n";
Dan Gohman343f0c02008-11-19 23:18:57 +0000494 SmallVector<SDNode *, 4> FlaggedNodes;
495 for (SDNode *N = SU->getNode()->getFlaggedNode(); N; N = N->getFlaggedNode())
496 FlaggedNodes.push_back(N);
497 while (!FlaggedNodes.empty()) {
David Greene84fa8222010-01-05 01:25:11 +0000498 dbgs() << " ";
Dan Gohman343f0c02008-11-19 23:18:57 +0000499 FlaggedNodes.back()->dump(DAG);
David Greene84fa8222010-01-05 01:25:11 +0000500 dbgs() << "\n";
Dan Gohman343f0c02008-11-19 23:18:57 +0000501 FlaggedNodes.pop_back();
502 }
503}
Dan Gohmanbcea8592009-10-10 01:32:21 +0000504
Evan Chengbfcb3052010-03-25 01:38:16 +0000505namespace {
506 struct OrderSorter {
507 bool operator()(const std::pair<unsigned, MachineInstr*> &A,
508 const std::pair<unsigned, MachineInstr*> &B) {
509 return A.first < B.first;
510 }
511 };
512}
513
514// ProcessSourceNode - Process nodes with source order numbers. These are added
515// to a vector which EmitSchedule use to determine how to insert dbg_value
516// instructions in the right order.
517static void ProcessSourceNode(SDNode *N, SelectionDAG *DAG,
518 InstrEmitter &Emitter,
Evan Chengbfcb3052010-03-25 01:38:16 +0000519 DenseMap<SDValue, unsigned> &VRBaseMap,
520 SmallVector<std::pair<unsigned, MachineInstr*>, 32> &Orders,
521 SmallSet<unsigned, 8> &Seen) {
522 unsigned Order = DAG->GetOrdering(N);
523 if (!Order || !Seen.insert(Order))
524 return;
525
526 MachineBasicBlock *BB = Emitter.getBlock();
527 if (BB->empty() || BB->back().isPHI()) {
528 // Did not insert any instruction.
529 Orders.push_back(std::make_pair(Order, (MachineInstr*)0));
530 return;
531 }
532
533 Orders.push_back(std::make_pair(Order, &BB->back()));
534 if (!N->getHasDebugValue())
535 return;
536 // Opportunistically insert immediate dbg_value uses, i.e. those with source
537 // order number right after the N.
538 MachineBasicBlock::iterator InsertPos = Emitter.getInsertPos();
539 SmallVector<SDDbgValue*,2> &DVs = DAG->GetDbgValues(N);
540 for (unsigned i = 0, e = DVs.size(); i != e; ++i) {
541 if (DVs[i]->isInvalidated())
542 continue;
543 unsigned DVOrder = DVs[i]->getOrder();
544 if (DVOrder == ++Order) {
Dan Gohman891ff8f2010-04-30 19:35:33 +0000545 MachineInstr *DbgMI = Emitter.EmitDbgValue(DVs[i], VRBaseMap);
Evan Cheng962021b2010-04-26 07:38:55 +0000546 if (DbgMI) {
547 Orders.push_back(std::make_pair(DVOrder, DbgMI));
548 BB->insert(InsertPos, DbgMI);
549 }
Evan Chengbfcb3052010-03-25 01:38:16 +0000550 DVs[i]->setIsInvalidated();
551 }
552 }
553}
554
555
Dan Gohmanbcea8592009-10-10 01:32:21 +0000556/// EmitSchedule - Emit the machine code in scheduled order.
Dan Gohmanaf1d8ca2010-05-01 00:01:06 +0000557MachineBasicBlock *ScheduleDAGSDNodes::EmitSchedule() {
Dan Gohmanbcea8592009-10-10 01:32:21 +0000558 InstrEmitter Emitter(BB, InsertPos);
559 DenseMap<SDValue, unsigned> VRBaseMap;
560 DenseMap<SUnit*, unsigned> CopyVRBaseMap;
Evan Chengbfcb3052010-03-25 01:38:16 +0000561 SmallVector<std::pair<unsigned, MachineInstr*>, 32> Orders;
562 SmallSet<unsigned, 8> Seen;
563 bool HasDbg = DAG->hasDebugValues();
Dale Johannesenbfdf7f32010-03-10 22:13:47 +0000564
Dale Johannesenfdb42fa2010-04-26 20:06:49 +0000565 // If this is the first BB, emit byval parameter dbg_value's.
566 if (HasDbg && BB->getParent()->begin() == MachineFunction::iterator(BB)) {
567 SDDbgInfo::DbgIterator PDI = DAG->ByvalParmDbgBegin();
568 SDDbgInfo::DbgIterator PDE = DAG->ByvalParmDbgEnd();
569 for (; PDI != PDE; ++PDI) {
Dan Gohman891ff8f2010-04-30 19:35:33 +0000570 MachineInstr *DbgMI= Emitter.EmitDbgValue(*PDI, VRBaseMap);
Dale Johannesenfdb42fa2010-04-26 20:06:49 +0000571 if (DbgMI)
Dan Gohman403a8cd2010-06-21 19:47:52 +0000572 BB->push_back(DbgMI);
Dale Johannesenfdb42fa2010-04-26 20:06:49 +0000573 }
574 }
575
Dan Gohmanbcea8592009-10-10 01:32:21 +0000576 for (unsigned i = 0, e = Sequence.size(); i != e; i++) {
577 SUnit *SU = Sequence[i];
578 if (!SU) {
579 // Null SUnit* is a noop.
580 EmitNoop();
581 continue;
582 }
583
584 // For pre-regalloc scheduling, create instructions corresponding to the
585 // SDNode and any flagged SDNodes and append them to the block.
586 if (!SU->getNode()) {
587 // Emit a copy.
588 EmitPhysRegCopy(SU, CopyVRBaseMap);
589 continue;
590 }
591
592 SmallVector<SDNode *, 4> FlaggedNodes;
593 for (SDNode *N = SU->getNode()->getFlaggedNode(); N;
594 N = N->getFlaggedNode())
595 FlaggedNodes.push_back(N);
596 while (!FlaggedNodes.empty()) {
Evan Chengbfcb3052010-03-25 01:38:16 +0000597 SDNode *N = FlaggedNodes.back();
Dan Gohmanbcea8592009-10-10 01:32:21 +0000598 Emitter.EmitNode(FlaggedNodes.back(), SU->OrigNode != SU, SU->isCloned,
Dan Gohmanaf1d8ca2010-05-01 00:01:06 +0000599 VRBaseMap);
Dale Johannesenfdb42fa2010-04-26 20:06:49 +0000600 // Remember the source order of the inserted instruction.
Evan Chengbfcb3052010-03-25 01:38:16 +0000601 if (HasDbg)
Dan Gohman891ff8f2010-04-30 19:35:33 +0000602 ProcessSourceNode(N, DAG, Emitter, VRBaseMap, Orders, Seen);
Dan Gohmanbcea8592009-10-10 01:32:21 +0000603 FlaggedNodes.pop_back();
604 }
605 Emitter.EmitNode(SU->getNode(), SU->OrigNode != SU, SU->isCloned,
Dan Gohmanaf1d8ca2010-05-01 00:01:06 +0000606 VRBaseMap);
Dale Johannesenfdb42fa2010-04-26 20:06:49 +0000607 // Remember the source order of the inserted instruction.
Evan Chengbfcb3052010-03-25 01:38:16 +0000608 if (HasDbg)
Dan Gohman891ff8f2010-04-30 19:35:33 +0000609 ProcessSourceNode(SU->getNode(), DAG, Emitter, VRBaseMap, Orders,
Evan Chengbfcb3052010-03-25 01:38:16 +0000610 Seen);
611 }
612
Dale Johannesenfdb42fa2010-04-26 20:06:49 +0000613 // Insert all the dbg_values which have not already been inserted in source
Evan Chengbfcb3052010-03-25 01:38:16 +0000614 // order sequence.
615 if (HasDbg) {
616 MachineBasicBlock::iterator BBBegin = BB->empty() ? BB->end() : BB->begin();
617 while (BBBegin != BB->end() && BBBegin->isPHI())
618 ++BBBegin;
619
620 // Sort the source order instructions and use the order to insert debug
621 // values.
622 std::sort(Orders.begin(), Orders.end(), OrderSorter());
623
624 SDDbgInfo::DbgIterator DI = DAG->DbgBegin();
625 SDDbgInfo::DbgIterator DE = DAG->DbgEnd();
626 // Now emit the rest according to source order.
627 unsigned LastOrder = 0;
628 MachineInstr *LastMI = 0;
629 for (unsigned i = 0, e = Orders.size(); i != e && DI != DE; ++i) {
630 unsigned Order = Orders[i].first;
631 MachineInstr *MI = Orders[i].second;
632 // Insert all SDDbgValue's whose order(s) are before "Order".
633 if (!MI)
634 continue;
635 MachineBasicBlock *MIBB = MI->getParent();
Evan Cheng4ec9bd92010-03-25 07:16:57 +0000636#ifndef NDEBUG
637 unsigned LastDIOrder = 0;
638#endif
Evan Chengbfcb3052010-03-25 01:38:16 +0000639 for (; DI != DE &&
640 (*DI)->getOrder() >= LastOrder && (*DI)->getOrder() < Order; ++DI) {
Evan Cheng4ec9bd92010-03-25 07:16:57 +0000641#ifndef NDEBUG
642 assert((*DI)->getOrder() >= LastDIOrder &&
643 "SDDbgValue nodes must be in source order!");
644 LastDIOrder = (*DI)->getOrder();
645#endif
Evan Chengbfcb3052010-03-25 01:38:16 +0000646 if ((*DI)->isInvalidated())
647 continue;
Dan Gohman891ff8f2010-04-30 19:35:33 +0000648 MachineInstr *DbgMI = Emitter.EmitDbgValue(*DI, VRBaseMap);
Evan Cheng962021b2010-04-26 07:38:55 +0000649 if (DbgMI) {
650 if (!LastOrder)
651 // Insert to start of the BB (after PHIs).
652 BB->insert(BBBegin, DbgMI);
653 else {
654 MachineBasicBlock::iterator Pos = MI;
655 MIBB->insert(llvm::next(Pos), DbgMI);
656 }
Evan Chengbfcb3052010-03-25 01:38:16 +0000657 }
Dale Johannesenbfdf7f32010-03-10 22:13:47 +0000658 }
Evan Chengbfcb3052010-03-25 01:38:16 +0000659 LastOrder = Order;
660 LastMI = MI;
661 }
662 // Add trailing DbgValue's before the terminator. FIXME: May want to add
663 // some of them before one or more conditional branches?
664 while (DI != DE) {
665 MachineBasicBlock *InsertBB = Emitter.getBlock();
666 MachineBasicBlock::iterator Pos= Emitter.getBlock()->getFirstTerminator();
667 if (!(*DI)->isInvalidated()) {
Dan Gohman891ff8f2010-04-30 19:35:33 +0000668 MachineInstr *DbgMI= Emitter.EmitDbgValue(*DI, VRBaseMap);
Evan Cheng962021b2010-04-26 07:38:55 +0000669 if (DbgMI)
670 InsertBB->insert(Pos, DbgMI);
Evan Chengbfcb3052010-03-25 01:38:16 +0000671 }
672 ++DI;
673 }
Dan Gohmanbcea8592009-10-10 01:32:21 +0000674 }
675
676 BB = Emitter.getBlock();
677 InsertPos = Emitter.getInsertPos();
678 return BB;
679}