40#ifndef LLVM_CODEGEN_MACHINEPIPELINER_H
41#define LLVM_CODEGEN_MACHINEPIPELINER_H
97 unsigned Distance = 0;
98 bool IsValidationOnly =
false;
106 bool IsValidationOnly)
107 : Dst(PredOrSucc), Pred(Dep), Distance(0u),
108 IsValidationOnly(IsValidationOnly) {
117 if (Pred.getKind() ==
SDep::Anti && Src->getInstr()->isPHI()) {
120 auto Reg = Pred.getReg();
121 Pred = SDep(Src, SDep::Kind::Data, Reg);
212 struct SwingSchedulerDDGEdges {
225 void initEdges(
SUnit *SU);
230 std::vector<SwingSchedulerDDGEdges> EdgesVec;
231 SwingSchedulerDDGEdges EntrySUEdges;
232 SwingSchedulerDDGEdges ExitSUEdges;
242 SwingSchedulerDDGEdges &getEdges(
const SUnit *SU);
243 const SwingSchedulerDDGEdges &getEdges(
const SUnit *SU)
const;
263 std::unique_ptr<SwingSchedulerDDG> DDG;
270 bool Scheduled =
false;
274 unsigned II_setByPragma = 0;
287 int ZeroLatencyDepth = 0;
288 int ZeroLatencyHeight = 0;
290 NodeInfo() =
default;
293 std::vector<NodeInfo> ScheduleInfo;
295 enum OrderKind { BottomUp = 0, TopDown = 1 };
312 std::vector<std::unique_ptr<ScheduleDAGMutation>> Mutations;
323 std::vector<SUnit> &
SUnits;
329 std::vector<int> *Node2Idx;
330 unsigned NumPaths = 0u;
331 static unsigned MaxPaths;
335 :
SUnits(SUs), Blocked(SUs.size()),
B(SUs.size()), AdjK(SUs.size()) {
336 Node2Idx =
new std::vector<int>(SUs.size());
338 for (
const auto &NodeNum : Topo)
339 Node2Idx->at(NodeNum) = Idx++;
341 Circuits &
operator=(
const Circuits &other) =
delete;
342 Circuits(
const Circuits &other) =
delete;
343 ~Circuits() {
delete Node2Idx; }
354 LLVM_ABI bool circuit(
int V,
int S, NodeSetType &NodeSets,
356 bool HasBackedge =
false);
371 RegClassInfo(rci), II_setByPragma(
II), LoopPipelinerInfo(PLI),
374 MF.getSubtarget().getSMSMutations(Mutations);
376 Mutations.push_back(std::make_unique<CopyToPhiMutation>());
377 BAA.enableCrossIterationMode();
380 void schedule()
override;
381 void finishBlock()
override;
402 return ScheduleInfo[
Node->NodeNum].ZeroLatencyDepth;
411 return ScheduleInfo[
Node->NodeNum].ZeroLatencyHeight;
416 void fixupRegisterOverlaps(std::deque<SUnit *> &Instrs);
422 InstrChanges.find(SU);
423 if (It != InstrChanges.
end())
424 return It->second.first;
429 Mutations.push_back(std::move(
Mutation));
443 void updatePhiDependences();
444 void changeDependences();
445 unsigned calculateResMII();
446 unsigned calculateRecMII(NodeSetType &RecNodeSets);
447 void findCircuits(NodeSetType &NodeSets);
448 void fuseRecs(NodeSetType &NodeSets);
449 void removeDuplicateNodes(NodeSetType &NodeSets);
450 void computeNodeFunctions(NodeSetType &NodeSets);
451 void registerPressureFilter(NodeSetType &NodeSets);
452 void colocateNodeSets(NodeSetType &NodeSets);
453 void checkNodeSets(NodeSetType &NodeSets);
454 void groupRemainingNodes(NodeSetType &NodeSets);
457 void computeNodeOrder(NodeSetType &NodeSets);
458 void checkValidNodeOrder(
const NodeSetType &Circuits)
const;
463 unsigned &OffsetPos,
Register &NewBase,
465 void postProcessDAG();
467 void setMII(
unsigned ResMII,
unsigned RecMII);
476 bool HasRecurrence =
false;
479 unsigned MaxDepth = 0;
480 unsigned Colocate = 0;
481 SUnit *ExceedPressure =
nullptr;
482 unsigned Latency = 0;
489 : Nodes(S,
E), HasRecurrence(
true) {
506 for (
auto *
Node : Nodes)
507 SUnitToDistance[
Node] = 0;
509 for (
unsigned I = 1,
E = Nodes.size();
I <=
E; ++
I) {
510 SUnit *U = Nodes[I - 1];
511 SUnit *V = Nodes[I % Nodes.size()];
512 for (const SwingSchedulerDDGEdge &Succ : DDG->getOutEdges(U)) {
513 SUnit *SuccSUnit = Succ.getDst();
516 unsigned &DU = SUnitToDistance[U];
517 unsigned &DV = SUnitToDistance[V];
518 if (DU + Succ.getLatency() > DV)
519 DV = DU + Succ.getLatency();
523 SUnit *FirstNode = Nodes[0];
524 SUnit *LastNode = Nodes[Nodes.
size() - 1];
526 for (
SUnit *SU : DDG->getExtraOutEdges(LastNode)) {
532 unsigned &First = SUnitToDistance[FirstNode];
533 unsigned Last = SUnitToDistance[LastNode];
534 First = std::max(First, Last + 1);
545 template <
typename UnaryPredicate>
bool remove_if(UnaryPredicate
P) {
546 return Nodes.remove_if(
P);
553 unsigned size()
const {
return Nodes.size(); }
555 bool empty()
const {
return Nodes.empty(); }
573 for (
SUnit *SU : *
this) {
574 MaxMOV = std::max(MaxMOV, SSD->
getMOV(SU));
575 MaxDepth = std::max(MaxDepth, SSD->
getDepth(SU));
586 HasRecurrence =
false;
590 ExceedPressure =
nullptr;
600 if (RecMII ==
RHS.RecMII) {
601 if (Colocate != 0 &&
RHS.Colocate != 0 && Colocate !=
RHS.Colocate)
602 return Colocate <
RHS.Colocate;
603 if (MaxMOV ==
RHS.MaxMOV)
604 return MaxDepth >
RHS.MaxDepth;
605 return MaxMOV <
RHS.MaxMOV;
607 return RecMII >
RHS.RecMII;
611 return RecMII ==
RHS.RecMII && MaxMOV ==
RHS.MaxMOV &&
612 MaxDepth ==
RHS.MaxDepth;
621#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
652 int InitiationInterval = 0;
656 int calculateResMIIDFA()
const;
658 bool isOverbooked()
const;
667 int positiveModulo(
int Dividend,
int Divisor)
const {
669 int R = Dividend % Divisor;
675#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
681 : STI(ST), SM(ST->getSchedModel()), ST(ST), TII(ST->getInstrInfo()),
682 DAG(DAG), UseDFA(ST->useDFAforSMS()),
683 ProcResourceMasks(SM.getNumProcResourceKinds(), 0),
684 IssueWidth(SM.IssueWidth) {
704 LLVM_ABI int calculateResMII()
const;
724 std::map<SUnit *, int> InstrToCycle;
734 int InitiationInterval = 0;
746 : ST(mf->getSubtarget()), MRI(mf->getRegInfo()),
747 ProcItinResources(&ST, DAG) {}
750 ScheduledInstrs.clear();
751 InstrToCycle.clear();
754 InitiationInterval = 0;
759 InitiationInterval = ii;
760 ProcItinResources.init(ii);
773 LLVM_ABI void computeStart(
SUnit *SU,
int *MaxEarlyStart,
int *MinLateStart,
790 std::map<SUnit *, int>::const_iterator it = InstrToCycle.find(SU);
791 if (it == InstrToCycle.end())
793 return (it->second - FirstCycle) / InitiationInterval;
799 std::map<SUnit *, int>::const_iterator it = InstrToCycle.find(SU);
800 assert(it != InstrToCycle.end() &&
"Instruction hasn't been scheduled.");
801 return (it->second - FirstCycle) % InitiationInterval;
806 return (LastCycle - FirstCycle) / InitiationInterval;
811 return ScheduledInstrs[cycle];
820 const std::deque<SUnit *> &Instrs)
const;
828 std::deque<SUnit *> &Insts)
const;
836 onlyHasLoopCarriedOutputOrOrderPreds(
SUnit *SU,
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
static void print(raw_ostream &Out, object::Archive::Kind Kind, T Val)
static GCRegistry::Add< StatepointGC > D("statepoint-example", "an example strategy for statepoint")
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
#define LLVM_DUMP_METHOD
Mark debug helper function definitions like dump() that should not be stripped from debug builds.
const HexagonInstrInfo * TII
Register const TargetRegisterInfo * TRI
Promote Memory to Register
uint64_t IntrinsicInst * II
This file implements a set that has insertion order iteration characteristics.
Represent the analysis usage information of a pass.
Represent a constant reference to an array (0 or more elements consecutively in memory),...
This class is a wrapper over an AAResults, and it is intended to be used only when there are no IR ch...
BitVector & reset()
Reset all bits in the bitvector.
Generic base class for all target subtargets.
MachineFunctionPass(char &ID)
Representation of each machine instruction.
MachineOperand class - Representation of each machine instruction operand.
PreservedAnalyses run(MachineFunction &MF, MachineFunctionAnalysisManager &MFAM)
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
A NodeSet contains a set of SUnit DAG nodes with additional information that assigns a priority to th...
SUnit * getNode(unsigned i) const
SetVector< SUnit * >::const_iterator iterator
bool isExceedSU(SUnit *SU)
void insert(iterator S, iterator E)
void setRecMII(unsigned mii)
void computeNodeSetInfo(SwingSchedulerDAG *SSD)
Summarize node functions for the entire node set.
unsigned count(SUnit *SU) const
void setColocate(unsigned c)
NodeSet(iterator S, iterator E, const SwingSchedulerDAG *DAG)
bool operator>(const NodeSet &RHS) const
Sort the node sets by importance.
int compareRecMII(NodeSet &RHS)
bool operator!=(const NodeSet &RHS) const
bool operator==(const NodeSet &RHS) const
bool remove_if(UnaryPredicate P)
void setExceedPressure(SUnit *SU)
A set of analyses that are preserved following a run of a transformation pass.
Wrapper class representing virtual and physical registers.
LLVM_ABI void initProcResourceVectors(const MCSchedModel &SM, SmallVectorImpl< uint64_t > &Masks)
ResourceManager(const TargetSubtargetInfo *ST, ScheduleDAGInstrs *DAG)
@ Output
A register output-dependence (aka WAW).
@ Order
Any other ordering dependency.
@ Anti
A register anti-dependence (aka WAR).
This class represents the scheduled code.
void setInitiationInterval(int ii)
Set the initiation interval for this schedule.
unsigned getMaxStageCount()
Return the maximum stage count needed for this schedule.
int stageScheduled(SUnit *SU) const
Return the stage for a scheduled instruction.
bool isScheduledAtStage(SUnit *SU, unsigned StageNum)
Return true if the instruction is scheduled at the specified stage.
int getInitiationInterval() const
Return the initiation interval for this schedule.
std::deque< SUnit * > & getInstructions(int cycle)
Return the instructions that are scheduled at the specified cycle.
int getFirstCycle() const
Return the first cycle in the completed schedule.
DenseMap< int, std::deque< SUnit * > >::const_iterator const_sched_iterator
DenseMap< int, std::deque< SUnit * > >::iterator sched_iterator
Iterators for the cycle to instruction map.
unsigned cycleScheduled(SUnit *SU) const
Return the cycle for a scheduled instruction.
SMSchedule(MachineFunction *mf, SwingSchedulerDAG *DAG)
int getFinalCycle() const
Return the last cycle in the finalized schedule.
Scheduling unit. This is a node in the scheduling DAG.
A ScheduleDAG for scheduling lists of MachineInstr.
ScheduleDAGInstrs(MachineFunction &mf, const MachineLoopInfo *mli, bool RemoveKillFlags=false)
const MachineLoopInfo * MLI
Mutate the DAG as a postpass after normal DAG building.
This class can compute a topological ordering for SUnits and provides methods for dynamically updatin...
std::vector< SUnit > SUnits
The scheduling units.
MachineFunction & MF
Machine function.
ScheduleDAG & operator=(const ScheduleDAG &)=delete
SUnit ExitSU
Special node for the region exit.
A vector that has set insertion semantics.
size_type size() const
Determine the number of elements in the SetVector.
const value_type & front() const
Return the first element of the SetVector.
typename vector_type::const_iterator const_iterator
SmallPtrSet - This class implements a set which is optimized for holding SmallSize or less elements.
A SetVector that performs no allocations if smaller than a certain size.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
This class builds the dependence graph for the instructions in a loop, and attempts to schedule the i...
unsigned getDepth(SUnit *Node)
The depth, in the dependence graph, for a node.
int getASAP(SUnit *Node)
Return the earliest time an instruction may be scheduled.
const SwingSchedulerDDG * getDDG() const
bool hasNewSchedule()
Return true if the loop kernel has been scheduled.
void addMutation(std::unique_ptr< ScheduleDAGMutation > Mutation)
int getZeroLatencyDepth(SUnit *Node)
The maximum unweighted length of a path from an arbitrary node to the given node in which each edge h...
SwingSchedulerDAG(MachineFunction &MF, const MachineLoopInfo *MLI, MachineOptimizationRemarkEmitter *ORE, MachineLoop &L, LiveIntervals &lis, const RegisterClassInfo &rci, unsigned II, TargetInstrInfo::PipelinerLoopInfo *PLI, AliasAnalysis *AA)
int getMOV(SUnit *Node)
The mobility function, which the number of slots in which an instruction may be scheduled.
int getZeroLatencyHeight(SUnit *Node)
The maximum unweighted length of a path from the given node to an arbitrary node in which each edge h...
Register getInstrBaseReg(SUnit *SU) const
Return the new base register that was stored away for the changed instruction.
static bool classof(const ScheduleDAGInstrs *DAG)
unsigned getHeight(SUnit *Node)
The height, in the dependence graph, for a node.
int getALAP(SUnit *Node)
Return the latest time an instruction my be scheduled.
Represents a dependence between two instruction.
SUnit * getDst() const
Returns the SUnit to which the edge points (destination node).
Register getReg() const
Returns the register associated with the edge.
void setDistance(unsigned D)
Sets the distance value for the edge.
bool isBarrier() const
Returns true if the edge represents unknown scheduling barrier.
void setLatency(unsigned Latency)
Sets the latency for the edge.
SwingSchedulerDDGEdge(SUnit *PredOrSucc, const SDep &Dep, bool IsSucc, bool IsValidationOnly)
Creates an edge corresponding to an edge represented by PredOrSucc and Dep in the original DAG.
bool isAntiDep() const
Returns true if the edge represents anti dependence.
bool isAssignedRegDep() const
Tests if this is a Data dependence that is associated with a register.
bool isArtificial() const
Returns true if the edge represents an artificial dependence.
LLVM_ABI bool ignoreDependence(bool IgnoreAnti) const
Returns true for DDG nodes that we ignore when computing the cost functions.
bool isOrderDep() const
Returns true if the edge represents a dependence that is not data, anti or output dependence.
unsigned getLatency() const
Returns the latency value for the edge.
SUnit * getSrc() const
Returns the SUnit from which the edge comes (source node).
bool isValidationOnly() const
Returns true if this edge is intended to be used only for validating the schedule.
unsigned getDistance() const
Returns the distance value for the edge.
bool isOutputDep() const
Returns true if the edge represents output dependence.
This class provides APIs to retrieve edges from/to an SUnit node, with a particular focus on loop-car...
LLVM_ABI SwingSchedulerDDG(std::vector< SUnit > &SUnits, SUnit *EntrySU, SUnit *ExitSU, const LoopCarriedEdges &LCE)
LLVM_ABI ArrayRef< SUnit * > getExtraOutEdges(const SUnit *SU) const
LLVM_ABI const EdgesType & getInEdges(const SUnit *SU) const
LLVM_ABI bool isValidSchedule(const SMSchedule &Schedule) const
Check if Schedule doesn't violate the validation-only dependencies.
LLVM_ABI const EdgesType & getOutEdges(const SUnit *SU) const
Object returned by analyzeLoopForPipelining.
TargetInstrInfo - Interface to description of machine instruction set.
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
TargetSubtargetInfo - Generic base class for all target subtargets.
This class implements an extremely fast bulk output stream that can only output to a stream.
This is an optimization pass for GlobalISel generic memory operations.
void dump(const SparseBitVector< ElementSize > &LHS, raw_ostream &out)
Printable print(const GCNRegPressure &RP, const GCNSubtarget *ST=nullptr, unsigned DynamicVGPRBlockSize=0)
AnalysisManager< MachineFunction > MachineFunctionAnalysisManager
bool operator==(const AddressRangeValuePair &LHS, const AddressRangeValuePair &RHS)
static int64_t computeDelta(SectionEntry *A, SectionEntry *B)
LLVM_ATTRIBUTE_VISIBILITY_DEFAULT AnalysisKey InnerAnalysisManagerProxy< AnalysisManagerT, IRUnitT, ExtraArgTs... >::Key
LLVM_ABI cl::opt< bool > SwpEnableCopyToPhi
LLVM_ABI cl::opt< int > SwpForceIssueWidth
A command line argument to force pipeliner to use specified issue width.
static const int DefaultProcResSize
AAResults AliasAnalysis
Temporary typedef for legacy code that uses a generic AliasAnalysis pointer or reference.
void swap(llvm::BitVector &LHS, llvm::BitVector &RHS)
Implement std::swap in terms of BitVector swap.
Represents loop-carried dependencies.
SmallSetVector< SUnit *, 8 > OrderDep
const OrderDep * getOrderDepOrNull(SUnit *Key) const
LLVM_ABI void modifySUnits(std::vector< SUnit > &SUnits, const TargetInstrInfo *TII)
Adds some edges to the original DAG that correspond to loop-carried dependencies.
LLVM_ABI void dump(SUnit *SU, const TargetRegisterInfo *TRI, const MachineRegisterInfo *MRI) const
DenseMap< SUnit *, OrderDep > OrderDepsType
Summarize the scheduling resources required for an instruction of a particular scheduling class.
Machine model for scheduling, bundling, and heuristics.
Software pipelining policy for a loop, which a target can customize by implementing TargetSubtargetIn...
bool ShouldLimitRegPressure
Limit the register pressure of the scheduled loop, retrying at a higher II when a schedule needs too ...
A CRTP mix-in for passes that can be skipped.