40#ifndef LLVM_CODEGEN_MACHINEPIPELINER_H
41#define LLVM_CODEGEN_MACHINEPIPELINER_H
95 unsigned Distance = 0;
96 bool IsValidationOnly =
false;
104 bool IsValidationOnly)
105 : Dst(PredOrSucc), Pred(Dep), Distance(0u),
106 IsValidationOnly(IsValidationOnly) {
115 if (Pred.getKind() ==
SDep::Anti && Src->getInstr()->isPHI()) {
118 auto Reg = Pred.getReg();
119 Pred = SDep(Src, SDep::Kind::Data, Reg);
198#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
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);
393 return ScheduleInfo[
Node->NodeNum].ZeroLatencyDepth;
402 return ScheduleInfo[
Node->NodeNum].ZeroLatencyHeight;
407 void fixupRegisterOverlaps(std::deque<SUnit *> &Instrs);
413 InstrChanges.find(SU);
414 if (It != InstrChanges.
end())
415 return It->second.first;
420 Mutations.push_back(std::move(
Mutation));
434 void updatePhiDependences();
435 void changeDependences();
436 unsigned calculateResMII();
437 unsigned calculateRecMII(NodeSetType &RecNodeSets);
438 void findCircuits(NodeSetType &NodeSets);
439 void fuseRecs(NodeSetType &NodeSets);
440 void removeDuplicateNodes(NodeSetType &NodeSets);
441 void computeNodeFunctions(NodeSetType &NodeSets);
442 void registerPressureFilter(NodeSetType &NodeSets);
443 void colocateNodeSets(NodeSetType &NodeSets);
444 void checkNodeSets(NodeSetType &NodeSets);
445 void groupRemainingNodes(NodeSetType &NodeSets);
448 void computeNodeOrder(NodeSetType &NodeSets);
449 void checkValidNodeOrder(
const NodeSetType &Circuits)
const;
454 unsigned &OffsetPos,
Register &NewBase,
456 void postProcessDAG();
458 void setMII(
unsigned ResMII,
unsigned RecMII);
467 bool HasRecurrence =
false;
470 unsigned MaxDepth = 0;
471 unsigned Colocate = 0;
472 SUnit *ExceedPressure =
nullptr;
473 unsigned Latency = 0;
480 : Nodes(S,
E), HasRecurrence(
true) {
497 for (
auto *
Node : Nodes)
498 SUnitToDistance[
Node] = 0;
500 for (
unsigned I = 1,
E = Nodes.size();
I <=
E; ++
I) {
501 SUnit *U = Nodes[I - 1];
502 SUnit *V = Nodes[I % Nodes.size()];
503 for (const SwingSchedulerDDGEdge &Succ : DDG->getOutEdges(U)) {
504 SUnit *SuccSUnit = Succ.getDst();
507 unsigned &DU = SUnitToDistance[U];
508 unsigned &DV = SUnitToDistance[V];
509 if (DU + Succ.getLatency() > DV)
510 DV = DU + Succ.getLatency();
514 SUnit *FirstNode = Nodes[0];
515 SUnit *LastNode = Nodes[Nodes.
size() - 1];
517 for (
SUnit *SU : DDG->getExtraOutEdges(LastNode)) {
523 unsigned &First = SUnitToDistance[FirstNode];
524 unsigned Last = SUnitToDistance[LastNode];
525 First = std::max(First, Last + 1);
536 template <
typename UnaryPredicate>
bool remove_if(UnaryPredicate
P) {
537 return Nodes.remove_if(
P);
544 unsigned size()
const {
return Nodes.size(); }
546 bool empty()
const {
return Nodes.empty(); }
564 for (
SUnit *SU : *
this) {
565 MaxMOV = std::max(MaxMOV, SSD->
getMOV(SU));
566 MaxDepth = std::max(MaxDepth, SSD->
getDepth(SU));
577 HasRecurrence =
false;
581 ExceedPressure =
nullptr;
591 if (RecMII ==
RHS.RecMII) {
592 if (Colocate != 0 &&
RHS.Colocate != 0 && Colocate !=
RHS.Colocate)
593 return Colocate <
RHS.Colocate;
594 if (MaxMOV ==
RHS.MaxMOV)
595 return MaxDepth >
RHS.MaxDepth;
596 return MaxMOV <
RHS.MaxMOV;
598 return RecMII >
RHS.RecMII;
602 return RecMII ==
RHS.RecMII && MaxMOV ==
RHS.MaxMOV &&
603 MaxDepth ==
RHS.MaxDepth;
611#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
643 int InitiationInterval = 0;
647 int calculateResMIIDFA()
const;
649 bool isOverbooked()
const;
658 int positiveModulo(
int Dividend,
int Divisor)
const {
660 int R = Dividend % Divisor;
666#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
705 std::map<SUnit *, int> InstrToCycle;
715 int InitiationInterval = 0;
727 : ST(mf->getSubtarget()), MRI(mf->getRegInfo()),
728 ProcItinResources(&ST, DAG) {}
731 ScheduledInstrs.clear();
732 InstrToCycle.clear();
735 InitiationInterval = 0;
740 InitiationInterval = ii;
741 ProcItinResources.init(ii);
754 LLVM_ABI void computeStart(
SUnit *SU,
int *MaxEarlyStart,
int *MinLateStart,
771 std::map<SUnit *, int>::const_iterator it = InstrToCycle.find(SU);
772 if (it == InstrToCycle.end())
774 return (it->second - FirstCycle) / InitiationInterval;
780 std::map<SUnit *, int>::const_iterator it = InstrToCycle.find(SU);
781 assert(it != InstrToCycle.end() &&
"Instruction hasn't been scheduled.");
782 return (it->second - FirstCycle) % InitiationInterval;
787 return (LastCycle - FirstCycle) / InitiationInterval;
792 return ScheduledInstrs[cycle];
801 const std::deque<SUnit *> &Instrs)
const;
809 std::deque<SUnit *> &Insts)
const;
817 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 int calculateResMII() const
LLVM_ABI void initProcResourceVectors(const MCSchedModel &SM, SmallVectorImpl< uint64_t > &Masks)
LLVM_ABI ResourceManager(const TargetSubtargetInfo *ST, ScheduleDAGInstrs *DAG)
LLVM_ABI void init(int II)
Initialize resources with the initiation interval II.
LLVM_ABI bool canReserveResources(SUnit &SU, int Cycle)
Check if the resources occupied by a machine instruction are available in the current state.
@ 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
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
void finishBlock() override
Clean up after the software pipeliner runs.
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...
void schedule() override
We override the schedule function in ScheduleDAGInstrs to implement the scheduling part of the Swing ...
int getMOV(SUnit *Node)
The mobility function, which the number of slots in which an instruction may be scheduled.
SwingSchedulerDAG(MachineFunction &MF, const MachineLoopInfo *MLI, MachineOptimizationRemarkEmitter *ORE, MachineLoop &L, LiveIntervals &lis, const RegisterClassInfo &rci, unsigned II, TargetInstrInfo::PipelinerLoopInfo *PLI, AliasAnalysis *AA)
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
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
LLVM_ABI void dump(SUnit *SU, const TargetRegisterInfo *TRI, const MachineRegisterInfo *MRI) const
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.
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.