1 //===---- ScheduleDAGSDNodes.h - SDNode Scheduling --------------*- C++ -*-===//
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 // This file implements the ScheduleDAGSDNodes class, which implements
10 // scheduling for an SDNode-based dependency graph.
12 //===----------------------------------------------------------------------===//
14 #ifndef LLVM_LIB_CODEGEN_SELECTIONDAG_SCHEDULEDAGSDNODES_H
15 #define LLVM_LIB_CODEGEN_SELECTIONDAG_SCHEDULEDAGSDNODES_H
17 #include "llvm/CodeGen/ISDOpcodes.h"
18 #include "llvm/CodeGen/MachineBasicBlock.h"
19 #include "llvm/CodeGen/ScheduleDAG.h"
20 #include "llvm/CodeGen/SelectionDAGNodes.h"
21 #include "llvm/CodeGenTypes/MachineValueType.h"
22 #include "llvm/Support/Casting.h"
30 class InstrItineraryData
;
32 /// ScheduleDAGSDNodes - A ScheduleDAG for scheduling SDNode-based DAGs.
34 /// Edges between SUnits are initially based on edges in the SelectionDAG,
35 /// and additional edges can be added by the schedulers as heuristics.
36 /// SDNodes such as Constants, Registers, and a few others that are not
37 /// interesting to schedulers are not allocated SUnits.
39 /// SDNodes with MVT::Glue operands are grouped along with the flagged
40 /// nodes into a single SUnit so that they are scheduled together.
42 /// SDNode-based scheduling graphs do not use SDep::Anti or SDep::Output
43 /// edges. Physical register dependence information is not carried in
44 /// the DAG and must be handled explicitly by schedulers.
46 class ScheduleDAGSDNodes
: public ScheduleDAG
{
48 MachineBasicBlock
*BB
= nullptr;
49 SelectionDAG
*DAG
= nullptr; // DAG of the current basic block
50 const InstrItineraryData
*InstrItins
;
52 /// The schedule. Null SUnit*'s represent noop instructions.
53 std::vector
<SUnit
*> Sequence
;
55 explicit ScheduleDAGSDNodes(MachineFunction
&mf
);
57 ~ScheduleDAGSDNodes() override
= default;
59 /// Run - perform scheduling.
61 void Run(SelectionDAG
*dag
, MachineBasicBlock
*bb
);
63 /// isPassiveNode - Return true if the node is a non-scheduled leaf.
65 static bool isPassiveNode(SDNode
*Node
) {
66 if (isa
<ConstantSDNode
>(Node
)) return true;
67 if (isa
<ConstantFPSDNode
>(Node
)) return true;
68 if (isa
<RegisterSDNode
>(Node
)) return true;
69 if (isa
<RegisterMaskSDNode
>(Node
)) return true;
70 if (isa
<GlobalAddressSDNode
>(Node
)) return true;
71 if (isa
<BasicBlockSDNode
>(Node
)) return true;
72 if (isa
<FrameIndexSDNode
>(Node
)) return true;
73 if (isa
<ConstantPoolSDNode
>(Node
)) return true;
74 if (isa
<TargetIndexSDNode
>(Node
)) return true;
75 if (isa
<JumpTableSDNode
>(Node
)) return true;
76 if (isa
<ExternalSymbolSDNode
>(Node
)) return true;
77 if (isa
<MCSymbolSDNode
>(Node
)) return true;
78 if (isa
<BlockAddressSDNode
>(Node
)) return true;
79 if (Node
->getOpcode() == ISD::EntryToken
||
80 isa
<MDNodeSDNode
>(Node
)) return true;
84 /// NewSUnit - Creates a new SUnit and return a ptr to it.
86 SUnit
*newSUnit(SDNode
*N
);
88 /// Clone - Creates a clone of the specified SUnit. It does not copy the
89 /// predecessors / successors info nor the temporary scheduling states.
91 SUnit
*Clone(SUnit
*Old
);
93 /// BuildSchedGraph - Build the SUnit graph from the selection dag that we
94 /// are input. This SUnit graph is similar to the SelectionDAG, but
95 /// excludes nodes that aren't interesting to scheduling, and represents
96 /// flagged together nodes with a single SUnit.
97 void BuildSchedGraph(AAResults
*AA
);
99 /// InitNumRegDefsLeft - Determine the # of regs defined by this node.
101 void InitNumRegDefsLeft(SUnit
*SU
);
103 /// computeLatency - Compute node latency.
105 virtual void computeLatency(SUnit
*SU
);
107 virtual void computeOperandLatency(SDNode
*Def
, SDNode
*Use
,
108 unsigned OpIdx
, SDep
& dep
) const;
110 /// Schedule - Order nodes according to selected style, filling
111 /// in the Sequence member.
113 virtual void Schedule() = 0;
115 /// VerifyScheduledSequence - Verify that all SUnits are scheduled and
116 /// consistent with the Sequence of scheduled instructions.
117 void VerifyScheduledSequence(bool isBottomUp
);
119 /// EmitSchedule - Insert MachineInstrs into the MachineBasicBlock
120 /// according to the order specified in Sequence.
122 virtual MachineBasicBlock
*
123 EmitSchedule(MachineBasicBlock::iterator
&InsertPos
);
125 void dumpNode(const SUnit
&SU
) const override
;
126 void dump() const override
;
127 void dumpSchedule() const;
129 std::string
getGraphNodeLabel(const SUnit
*SU
) const override
;
131 std::string
getDAGName() const override
;
133 virtual void getCustomGraphFeatures(GraphWriter
<ScheduleDAG
*> &GW
) const;
135 /// RegDefIter - In place iteration over the values defined by an
136 /// SUnit. This does not need copies of the iterator or any other STLisms.
137 /// The iterator creates itself, rather than being provided by the SchedDAG.
139 const ScheduleDAGSDNodes
*SchedDAG
;
142 unsigned NodeNumDefs
= 0;
146 RegDefIter(const SUnit
*SU
, const ScheduleDAGSDNodes
*SD
);
148 bool IsValid() const { return Node
!= nullptr; }
150 MVT
GetValue() const {
151 assert(IsValid() && "bad iterator");
155 const SDNode
*GetNode() const {
159 unsigned GetIdx() const {
166 void InitNodeNumDefs();
170 /// ForceUnitLatencies - Return true if all scheduling edges should be given
171 /// a latency value of one. The default is to return false; schedulers may
172 /// override this as needed.
173 virtual bool forceUnitLatencies() const { return false; }
176 /// ClusterNeighboringLoads - Cluster loads from "near" addresses into
178 void ClusterNeighboringLoads(SDNode
*Node
);
179 /// ClusterNodes - Cluster certain nodes which should be scheduled together.
183 /// BuildSchedUnits, AddSchedEdges - Helper functions for BuildSchedGraph.
184 void BuildSchedUnits();
185 void AddSchedEdges();
187 void EmitPhysRegCopy(SUnit
*SU
,
188 SmallDenseMap
<SUnit
*, Register
, 16> &VRBaseMap
,
189 MachineBasicBlock::iterator InsertPos
);
192 } // end namespace llvm
194 #endif // LLVM_LIB_CODEGEN_SELECTIONDAG_SCHEDULEDAGSDNODES_H