10b57cec5SDimitry Andric //===- GCNIterativeScheduler.cpp ------------------------------------------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
85ffd83dbSDimitry Andric ///
95ffd83dbSDimitry Andric /// \file
105ffd83dbSDimitry Andric /// This file implements the class GCNIterativeScheduler.
115ffd83dbSDimitry Andric ///
125ffd83dbSDimitry Andric //===----------------------------------------------------------------------===//
130b57cec5SDimitry Andric
140b57cec5SDimitry Andric #include "GCNIterativeScheduler.h"
150b57cec5SDimitry Andric #include "GCNSchedStrategy.h"
160b57cec5SDimitry Andric #include "SIMachineFunctionInfo.h"
170b57cec5SDimitry Andric
180b57cec5SDimitry Andric using namespace llvm;
190b57cec5SDimitry Andric
200b57cec5SDimitry Andric #define DEBUG_TYPE "machine-scheduler"
210b57cec5SDimitry Andric
220b57cec5SDimitry Andric namespace llvm {
230b57cec5SDimitry Andric
240b57cec5SDimitry Andric std::vector<const SUnit *> makeMinRegSchedule(ArrayRef<const SUnit *> TopRoots,
250b57cec5SDimitry Andric const ScheduleDAG &DAG);
260b57cec5SDimitry Andric
270b57cec5SDimitry Andric std::vector<const SUnit *> makeGCNILPScheduler(ArrayRef<const SUnit *> BotRoots,
280b57cec5SDimitry Andric const ScheduleDAG &DAG);
29*0fca6ea1SDimitry Andric } // namespace llvm
300b57cec5SDimitry Andric
310b57cec5SDimitry Andric // shim accessors for different order containers
getMachineInstr(MachineInstr * MI)320b57cec5SDimitry Andric static inline MachineInstr *getMachineInstr(MachineInstr *MI) {
330b57cec5SDimitry Andric return MI;
340b57cec5SDimitry Andric }
getMachineInstr(const SUnit * SU)350b57cec5SDimitry Andric static inline MachineInstr *getMachineInstr(const SUnit *SU) {
360b57cec5SDimitry Andric return SU->getInstr();
370b57cec5SDimitry Andric }
getMachineInstr(const SUnit & SU)380b57cec5SDimitry Andric static inline MachineInstr *getMachineInstr(const SUnit &SU) {
390b57cec5SDimitry Andric return SU.getInstr();
400b57cec5SDimitry Andric }
410b57cec5SDimitry Andric
420b57cec5SDimitry Andric #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
430b57cec5SDimitry Andric LLVM_DUMP_METHOD
printRegion(raw_ostream & OS,MachineBasicBlock::iterator Begin,MachineBasicBlock::iterator End,const LiveIntervals * LIS,unsigned MaxInstNum=std::numeric_limits<unsigned>::max ())440b57cec5SDimitry Andric static void printRegion(raw_ostream &OS,
450b57cec5SDimitry Andric MachineBasicBlock::iterator Begin,
460b57cec5SDimitry Andric MachineBasicBlock::iterator End,
470b57cec5SDimitry Andric const LiveIntervals *LIS,
480b57cec5SDimitry Andric unsigned MaxInstNum =
490b57cec5SDimitry Andric std::numeric_limits<unsigned>::max()) {
500b57cec5SDimitry Andric auto BB = Begin->getParent();
510b57cec5SDimitry Andric OS << BB->getParent()->getName() << ":" << printMBBReference(*BB) << ' '
520b57cec5SDimitry Andric << BB->getName() << ":\n";
530b57cec5SDimitry Andric auto I = Begin;
540b57cec5SDimitry Andric MaxInstNum = std::max(MaxInstNum, 1u);
550b57cec5SDimitry Andric for (; I != End && MaxInstNum; ++I, --MaxInstNum) {
560b57cec5SDimitry Andric if (!I->isDebugInstr() && LIS)
570b57cec5SDimitry Andric OS << LIS->getInstructionIndex(*I);
580b57cec5SDimitry Andric OS << '\t' << *I;
590b57cec5SDimitry Andric }
600b57cec5SDimitry Andric if (I != End) {
610b57cec5SDimitry Andric OS << "\t...\n";
620b57cec5SDimitry Andric I = std::prev(End);
630b57cec5SDimitry Andric if (!I->isDebugInstr() && LIS)
640b57cec5SDimitry Andric OS << LIS->getInstructionIndex(*I);
650b57cec5SDimitry Andric OS << '\t' << *I;
660b57cec5SDimitry Andric }
670b57cec5SDimitry Andric if (End != BB->end()) { // print boundary inst if present
680b57cec5SDimitry Andric OS << "----\n";
690b57cec5SDimitry Andric if (LIS) OS << LIS->getInstructionIndex(*End) << '\t';
700b57cec5SDimitry Andric OS << *End;
710b57cec5SDimitry Andric }
720b57cec5SDimitry Andric }
730b57cec5SDimitry Andric
740b57cec5SDimitry Andric LLVM_DUMP_METHOD
printLivenessInfo(raw_ostream & OS,MachineBasicBlock::iterator Begin,MachineBasicBlock::iterator End,const LiveIntervals * LIS)750b57cec5SDimitry Andric static void printLivenessInfo(raw_ostream &OS,
760b57cec5SDimitry Andric MachineBasicBlock::iterator Begin,
770b57cec5SDimitry Andric MachineBasicBlock::iterator End,
780b57cec5SDimitry Andric const LiveIntervals *LIS) {
790b57cec5SDimitry Andric const auto BB = Begin->getParent();
800b57cec5SDimitry Andric const auto &MRI = BB->getParent()->getRegInfo();
810b57cec5SDimitry Andric
820b57cec5SDimitry Andric const auto LiveIns = getLiveRegsBefore(*Begin, *LIS);
83bdd1243dSDimitry Andric OS << "LIn RP: " << print(getRegPressure(MRI, LiveIns));
840b57cec5SDimitry Andric
850b57cec5SDimitry Andric const auto BottomMI = End == BB->end() ? std::prev(End) : End;
860b57cec5SDimitry Andric const auto LiveOuts = getLiveRegsAfter(*BottomMI, *LIS);
87bdd1243dSDimitry Andric OS << "LOt RP: " << print(getRegPressure(MRI, LiveOuts));
880b57cec5SDimitry Andric }
890b57cec5SDimitry Andric
900b57cec5SDimitry Andric LLVM_DUMP_METHOD
printRegions(raw_ostream & OS) const910b57cec5SDimitry Andric void GCNIterativeScheduler::printRegions(raw_ostream &OS) const {
920b57cec5SDimitry Andric const auto &ST = MF.getSubtarget<GCNSubtarget>();
930b57cec5SDimitry Andric for (const auto R : Regions) {
940b57cec5SDimitry Andric OS << "Region to schedule ";
950b57cec5SDimitry Andric printRegion(OS, R->Begin, R->End, LIS, 1);
960b57cec5SDimitry Andric printLivenessInfo(OS, R->Begin, R->End, LIS);
97bdd1243dSDimitry Andric OS << "Max RP: " << print(R->MaxPressure, &ST);
980b57cec5SDimitry Andric }
990b57cec5SDimitry Andric }
1000b57cec5SDimitry Andric
1010b57cec5SDimitry Andric LLVM_DUMP_METHOD
printSchedResult(raw_ostream & OS,const Region * R,const GCNRegPressure & RP) const1020b57cec5SDimitry Andric void GCNIterativeScheduler::printSchedResult(raw_ostream &OS,
1030b57cec5SDimitry Andric const Region *R,
1040b57cec5SDimitry Andric const GCNRegPressure &RP) const {
1050b57cec5SDimitry Andric OS << "\nAfter scheduling ";
1060b57cec5SDimitry Andric printRegion(OS, R->Begin, R->End, LIS);
1070b57cec5SDimitry Andric printSchedRP(OS, R->MaxPressure, RP);
1080b57cec5SDimitry Andric OS << '\n';
1090b57cec5SDimitry Andric }
1100b57cec5SDimitry Andric
1110b57cec5SDimitry Andric LLVM_DUMP_METHOD
printSchedRP(raw_ostream & OS,const GCNRegPressure & Before,const GCNRegPressure & After) const1120b57cec5SDimitry Andric void GCNIterativeScheduler::printSchedRP(raw_ostream &OS,
1130b57cec5SDimitry Andric const GCNRegPressure &Before,
1140b57cec5SDimitry Andric const GCNRegPressure &After) const {
1150b57cec5SDimitry Andric const auto &ST = MF.getSubtarget<GCNSubtarget>();
116bdd1243dSDimitry Andric OS << "RP before: " << print(Before, &ST)
117bdd1243dSDimitry Andric << "RP after: " << print(After, &ST);
1180b57cec5SDimitry Andric }
1190b57cec5SDimitry Andric #endif
1200b57cec5SDimitry Andric
1210b57cec5SDimitry Andric // DAG builder helper
1220b57cec5SDimitry Andric class GCNIterativeScheduler::BuildDAG {
1230b57cec5SDimitry Andric GCNIterativeScheduler &Sch;
1240b57cec5SDimitry Andric SmallVector<SUnit *, 8> TopRoots;
1250b57cec5SDimitry Andric
1260b57cec5SDimitry Andric SmallVector<SUnit*, 8> BotRoots;
1270b57cec5SDimitry Andric public:
BuildDAG(const Region & R,GCNIterativeScheduler & _Sch)1280b57cec5SDimitry Andric BuildDAG(const Region &R, GCNIterativeScheduler &_Sch)
1290b57cec5SDimitry Andric : Sch(_Sch) {
1300b57cec5SDimitry Andric auto BB = R.Begin->getParent();
1310b57cec5SDimitry Andric Sch.BaseClass::startBlock(BB);
1320b57cec5SDimitry Andric Sch.BaseClass::enterRegion(BB, R.Begin, R.End, R.NumRegionInstrs);
1330b57cec5SDimitry Andric
1340b57cec5SDimitry Andric Sch.buildSchedGraph(Sch.AA, nullptr, nullptr, nullptr,
1350b57cec5SDimitry Andric /*TrackLaneMask*/true);
1360b57cec5SDimitry Andric Sch.Topo.InitDAGTopologicalSorting();
1370b57cec5SDimitry Andric Sch.findRootsAndBiasEdges(TopRoots, BotRoots);
1380b57cec5SDimitry Andric }
1390b57cec5SDimitry Andric
~BuildDAG()1400b57cec5SDimitry Andric ~BuildDAG() {
1410b57cec5SDimitry Andric Sch.BaseClass::exitRegion();
1420b57cec5SDimitry Andric Sch.BaseClass::finishBlock();
1430b57cec5SDimitry Andric }
1440b57cec5SDimitry Andric
getTopRoots() const1450b57cec5SDimitry Andric ArrayRef<const SUnit *> getTopRoots() const {
1460b57cec5SDimitry Andric return TopRoots;
1470b57cec5SDimitry Andric }
getBottomRoots() const1480b57cec5SDimitry Andric ArrayRef<SUnit*> getBottomRoots() const {
1490b57cec5SDimitry Andric return BotRoots;
1500b57cec5SDimitry Andric }
1510b57cec5SDimitry Andric };
1520b57cec5SDimitry Andric
1530b57cec5SDimitry Andric class GCNIterativeScheduler::OverrideLegacyStrategy {
1540b57cec5SDimitry Andric GCNIterativeScheduler &Sch;
1550b57cec5SDimitry Andric Region &Rgn;
1560b57cec5SDimitry Andric std::unique_ptr<MachineSchedStrategy> SaveSchedImpl;
1570b57cec5SDimitry Andric GCNRegPressure SaveMaxRP;
1580b57cec5SDimitry Andric
1590b57cec5SDimitry Andric public:
OverrideLegacyStrategy(Region & R,MachineSchedStrategy & OverrideStrategy,GCNIterativeScheduler & _Sch)1600b57cec5SDimitry Andric OverrideLegacyStrategy(Region &R,
1610b57cec5SDimitry Andric MachineSchedStrategy &OverrideStrategy,
1620b57cec5SDimitry Andric GCNIterativeScheduler &_Sch)
1630b57cec5SDimitry Andric : Sch(_Sch)
1640b57cec5SDimitry Andric , Rgn(R)
1650b57cec5SDimitry Andric , SaveSchedImpl(std::move(_Sch.SchedImpl))
1660b57cec5SDimitry Andric , SaveMaxRP(R.MaxPressure) {
1670b57cec5SDimitry Andric Sch.SchedImpl.reset(&OverrideStrategy);
1680b57cec5SDimitry Andric auto BB = R.Begin->getParent();
1690b57cec5SDimitry Andric Sch.BaseClass::startBlock(BB);
1700b57cec5SDimitry Andric Sch.BaseClass::enterRegion(BB, R.Begin, R.End, R.NumRegionInstrs);
1710b57cec5SDimitry Andric }
1720b57cec5SDimitry Andric
~OverrideLegacyStrategy()1730b57cec5SDimitry Andric ~OverrideLegacyStrategy() {
1740b57cec5SDimitry Andric Sch.BaseClass::exitRegion();
1750b57cec5SDimitry Andric Sch.BaseClass::finishBlock();
1760b57cec5SDimitry Andric Sch.SchedImpl.release();
1770b57cec5SDimitry Andric Sch.SchedImpl = std::move(SaveSchedImpl);
1780b57cec5SDimitry Andric }
1790b57cec5SDimitry Andric
schedule()1800b57cec5SDimitry Andric void schedule() {
1810b57cec5SDimitry Andric assert(Sch.RegionBegin == Rgn.Begin && Sch.RegionEnd == Rgn.End);
1820b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "\nScheduling ";
1830b57cec5SDimitry Andric printRegion(dbgs(), Rgn.Begin, Rgn.End, Sch.LIS, 2));
1840b57cec5SDimitry Andric Sch.BaseClass::schedule();
1850b57cec5SDimitry Andric
186349cc55cSDimitry Andric // Unfortunately placeDebugValues incorrectly modifies RegionEnd, restore
1870b57cec5SDimitry Andric Sch.RegionEnd = Rgn.End;
1880b57cec5SDimitry Andric //assert(Rgn.End == Sch.RegionEnd);
1890b57cec5SDimitry Andric Rgn.Begin = Sch.RegionBegin;
1900b57cec5SDimitry Andric Rgn.MaxPressure.clear();
1910b57cec5SDimitry Andric }
1920b57cec5SDimitry Andric
restoreOrder()1930b57cec5SDimitry Andric void restoreOrder() {
1940b57cec5SDimitry Andric assert(Sch.RegionBegin == Rgn.Begin && Sch.RegionEnd == Rgn.End);
1950b57cec5SDimitry Andric // DAG SUnits are stored using original region's order
1960b57cec5SDimitry Andric // so just use SUnits as the restoring schedule
1970b57cec5SDimitry Andric Sch.scheduleRegion(Rgn, Sch.SUnits, SaveMaxRP);
1980b57cec5SDimitry Andric }
1990b57cec5SDimitry Andric };
2000b57cec5SDimitry Andric
2010b57cec5SDimitry Andric namespace {
2020b57cec5SDimitry Andric
2030b57cec5SDimitry Andric // just a stub to make base class happy
2040b57cec5SDimitry Andric class SchedStrategyStub : public MachineSchedStrategy {
2050b57cec5SDimitry Andric public:
shouldTrackPressure() const2060b57cec5SDimitry Andric bool shouldTrackPressure() const override { return false; }
shouldTrackLaneMasks() const2070b57cec5SDimitry Andric bool shouldTrackLaneMasks() const override { return false; }
initialize(ScheduleDAGMI * DAG)2080b57cec5SDimitry Andric void initialize(ScheduleDAGMI *DAG) override {}
pickNode(bool & IsTopNode)2090b57cec5SDimitry Andric SUnit *pickNode(bool &IsTopNode) override { return nullptr; }
schedNode(SUnit * SU,bool IsTopNode)2100b57cec5SDimitry Andric void schedNode(SUnit *SU, bool IsTopNode) override {}
releaseTopNode(SUnit * SU)2110b57cec5SDimitry Andric void releaseTopNode(SUnit *SU) override {}
releaseBottomNode(SUnit * SU)2120b57cec5SDimitry Andric void releaseBottomNode(SUnit *SU) override {}
2130b57cec5SDimitry Andric };
2140b57cec5SDimitry Andric
2150b57cec5SDimitry Andric } // end anonymous namespace
2160b57cec5SDimitry Andric
GCNIterativeScheduler(MachineSchedContext * C,StrategyKind S)2170b57cec5SDimitry Andric GCNIterativeScheduler::GCNIterativeScheduler(MachineSchedContext *C,
2180b57cec5SDimitry Andric StrategyKind S)
2198bcb0991SDimitry Andric : BaseClass(C, std::make_unique<SchedStrategyStub>())
2200b57cec5SDimitry Andric , Context(C)
2210b57cec5SDimitry Andric , Strategy(S)
2220b57cec5SDimitry Andric , UPTracker(*LIS) {
2230b57cec5SDimitry Andric }
2240b57cec5SDimitry Andric
2250b57cec5SDimitry Andric // returns max pressure for a region
2260b57cec5SDimitry Andric GCNRegPressure
getRegionPressure(MachineBasicBlock::iterator Begin,MachineBasicBlock::iterator End) const2270b57cec5SDimitry Andric GCNIterativeScheduler::getRegionPressure(MachineBasicBlock::iterator Begin,
2280b57cec5SDimitry Andric MachineBasicBlock::iterator End)
2290b57cec5SDimitry Andric const {
2300b57cec5SDimitry Andric // For the purpose of pressure tracking bottom inst of the region should
2310b57cec5SDimitry Andric // be also processed. End is either BB end, BB terminator inst or sched
2320b57cec5SDimitry Andric // boundary inst.
2330b57cec5SDimitry Andric auto const BBEnd = Begin->getParent()->end();
2340b57cec5SDimitry Andric auto const BottomMI = End == BBEnd ? std::prev(End) : End;
2350b57cec5SDimitry Andric
2360b57cec5SDimitry Andric // scheduleRegions walks bottom to top, so its likely we just get next
2370b57cec5SDimitry Andric // instruction to track
2380b57cec5SDimitry Andric auto AfterBottomMI = std::next(BottomMI);
2390b57cec5SDimitry Andric if (AfterBottomMI == BBEnd ||
2400b57cec5SDimitry Andric &*AfterBottomMI != UPTracker.getLastTrackedMI()) {
2410b57cec5SDimitry Andric UPTracker.reset(*BottomMI);
2420b57cec5SDimitry Andric } else {
2430b57cec5SDimitry Andric assert(UPTracker.isValid());
2440b57cec5SDimitry Andric }
2450b57cec5SDimitry Andric
2460b57cec5SDimitry Andric for (auto I = BottomMI; I != Begin; --I)
2470b57cec5SDimitry Andric UPTracker.recede(*I);
2480b57cec5SDimitry Andric
2490b57cec5SDimitry Andric UPTracker.recede(*Begin);
2500b57cec5SDimitry Andric
2510b57cec5SDimitry Andric assert(UPTracker.isValid() ||
2520b57cec5SDimitry Andric (dbgs() << "Tracked region ",
2530b57cec5SDimitry Andric printRegion(dbgs(), Begin, End, LIS), false));
2545f757f3fSDimitry Andric return UPTracker.getMaxPressureAndReset();
2550b57cec5SDimitry Andric }
2560b57cec5SDimitry Andric
2570b57cec5SDimitry Andric // returns max pressure for a tentative schedule
2580b57cec5SDimitry Andric template <typename Range> GCNRegPressure
getSchedulePressure(const Region & R,Range && Schedule) const2590b57cec5SDimitry Andric GCNIterativeScheduler::getSchedulePressure(const Region &R,
2600b57cec5SDimitry Andric Range &&Schedule) const {
2610b57cec5SDimitry Andric auto const BBEnd = R.Begin->getParent()->end();
2620b57cec5SDimitry Andric GCNUpwardRPTracker RPTracker(*LIS);
2630b57cec5SDimitry Andric if (R.End != BBEnd) {
2640b57cec5SDimitry Andric // R.End points to the boundary instruction but the
2650b57cec5SDimitry Andric // schedule doesn't include it
2660b57cec5SDimitry Andric RPTracker.reset(*R.End);
2670b57cec5SDimitry Andric RPTracker.recede(*R.End);
2680b57cec5SDimitry Andric } else {
2690b57cec5SDimitry Andric // R.End doesn't point to the boundary instruction
2700b57cec5SDimitry Andric RPTracker.reset(*std::prev(BBEnd));
2710b57cec5SDimitry Andric }
2720b57cec5SDimitry Andric for (auto I = Schedule.end(), B = Schedule.begin(); I != B;) {
2730b57cec5SDimitry Andric RPTracker.recede(*getMachineInstr(*--I));
2740b57cec5SDimitry Andric }
2755f757f3fSDimitry Andric return RPTracker.getMaxPressureAndReset();
2760b57cec5SDimitry Andric }
2770b57cec5SDimitry Andric
enterRegion(MachineBasicBlock * BB,MachineBasicBlock::iterator Begin,MachineBasicBlock::iterator End,unsigned NumRegionInstrs)278349cc55cSDimitry Andric void GCNIterativeScheduler::enterRegion(MachineBasicBlock *BB, // overridden
2790b57cec5SDimitry Andric MachineBasicBlock::iterator Begin,
2800b57cec5SDimitry Andric MachineBasicBlock::iterator End,
2810b57cec5SDimitry Andric unsigned NumRegionInstrs) {
2820b57cec5SDimitry Andric BaseClass::enterRegion(BB, Begin, End, NumRegionInstrs);
2830b57cec5SDimitry Andric if (NumRegionInstrs > 2) {
2840b57cec5SDimitry Andric Regions.push_back(
2850b57cec5SDimitry Andric new (Alloc.Allocate())
2860b57cec5SDimitry Andric Region { Begin, End, NumRegionInstrs,
2870b57cec5SDimitry Andric getRegionPressure(Begin, End), nullptr });
2880b57cec5SDimitry Andric }
2890b57cec5SDimitry Andric }
2900b57cec5SDimitry Andric
schedule()291349cc55cSDimitry Andric void GCNIterativeScheduler::schedule() { // overridden
2920b57cec5SDimitry Andric // do nothing
2930b57cec5SDimitry Andric LLVM_DEBUG(printLivenessInfo(dbgs(), RegionBegin, RegionEnd, LIS);
2940b57cec5SDimitry Andric if (!Regions.empty() && Regions.back()->Begin == RegionBegin) {
295bdd1243dSDimitry Andric dbgs() << "Max RP: "
296bdd1243dSDimitry Andric << print(Regions.back()->MaxPressure,
297bdd1243dSDimitry Andric &MF.getSubtarget<GCNSubtarget>());
2980b57cec5SDimitry Andric } dbgs()
2990b57cec5SDimitry Andric << '\n';);
3000b57cec5SDimitry Andric }
3010b57cec5SDimitry Andric
finalizeSchedule()302349cc55cSDimitry Andric void GCNIterativeScheduler::finalizeSchedule() { // overridden
3030b57cec5SDimitry Andric if (Regions.empty())
3040b57cec5SDimitry Andric return;
3050b57cec5SDimitry Andric switch (Strategy) {
3060b57cec5SDimitry Andric case SCHEDULE_MINREGONLY: scheduleMinReg(); break;
3070b57cec5SDimitry Andric case SCHEDULE_MINREGFORCED: scheduleMinReg(true); break;
3080b57cec5SDimitry Andric case SCHEDULE_LEGACYMAXOCCUPANCY: scheduleLegacyMaxOccupancy(); break;
3090b57cec5SDimitry Andric case SCHEDULE_ILP: scheduleILP(false); break;
3100b57cec5SDimitry Andric }
3110b57cec5SDimitry Andric }
3120b57cec5SDimitry Andric
3130b57cec5SDimitry Andric // Detach schedule from SUnits and interleave it with debug values.
3140b57cec5SDimitry Andric // Returned schedule becomes independent of DAG state.
3150b57cec5SDimitry Andric std::vector<MachineInstr*>
detachSchedule(ScheduleRef Schedule) const3160b57cec5SDimitry Andric GCNIterativeScheduler::detachSchedule(ScheduleRef Schedule) const {
3170b57cec5SDimitry Andric std::vector<MachineInstr*> Res;
3180b57cec5SDimitry Andric Res.reserve(Schedule.size() * 2);
3190b57cec5SDimitry Andric
3200b57cec5SDimitry Andric if (FirstDbgValue)
3210b57cec5SDimitry Andric Res.push_back(FirstDbgValue);
3220b57cec5SDimitry Andric
3230b57cec5SDimitry Andric const auto DbgB = DbgValues.begin(), DbgE = DbgValues.end();
324bdd1243dSDimitry Andric for (const auto *SU : Schedule) {
3250b57cec5SDimitry Andric Res.push_back(SU->getInstr());
3260b57cec5SDimitry Andric const auto &D = std::find_if(DbgB, DbgE, [SU](decltype(*DbgB) &P) {
3270b57cec5SDimitry Andric return P.second == SU->getInstr();
3280b57cec5SDimitry Andric });
3290b57cec5SDimitry Andric if (D != DbgE)
3300b57cec5SDimitry Andric Res.push_back(D->first);
3310b57cec5SDimitry Andric }
3320b57cec5SDimitry Andric return Res;
3330b57cec5SDimitry Andric }
3340b57cec5SDimitry Andric
setBestSchedule(Region & R,ScheduleRef Schedule,const GCNRegPressure & MaxRP)3350b57cec5SDimitry Andric void GCNIterativeScheduler::setBestSchedule(Region &R,
3360b57cec5SDimitry Andric ScheduleRef Schedule,
3370b57cec5SDimitry Andric const GCNRegPressure &MaxRP) {
3380b57cec5SDimitry Andric R.BestSchedule.reset(
3390b57cec5SDimitry Andric new TentativeSchedule{ detachSchedule(Schedule), MaxRP });
3400b57cec5SDimitry Andric }
3410b57cec5SDimitry Andric
scheduleBest(Region & R)3420b57cec5SDimitry Andric void GCNIterativeScheduler::scheduleBest(Region &R) {
3430b57cec5SDimitry Andric assert(R.BestSchedule.get() && "No schedule specified");
3440b57cec5SDimitry Andric scheduleRegion(R, R.BestSchedule->Schedule, R.BestSchedule->MaxPressure);
3450b57cec5SDimitry Andric R.BestSchedule.reset();
3460b57cec5SDimitry Andric }
3470b57cec5SDimitry Andric
3480b57cec5SDimitry Andric // minimal required region scheduler, works for ranges of SUnits*,
3490b57cec5SDimitry Andric // SUnits or MachineIntrs*
3500b57cec5SDimitry Andric template <typename Range>
scheduleRegion(Region & R,Range && Schedule,const GCNRegPressure & MaxRP)3510b57cec5SDimitry Andric void GCNIterativeScheduler::scheduleRegion(Region &R, Range &&Schedule,
3520b57cec5SDimitry Andric const GCNRegPressure &MaxRP) {
3530b57cec5SDimitry Andric assert(RegionBegin == R.Begin && RegionEnd == R.End);
3540b57cec5SDimitry Andric assert(LIS != nullptr);
3550b57cec5SDimitry Andric #ifndef NDEBUG
3560b57cec5SDimitry Andric const auto SchedMaxRP = getSchedulePressure(R, Schedule);
3570b57cec5SDimitry Andric #endif
3580b57cec5SDimitry Andric auto BB = R.Begin->getParent();
3590b57cec5SDimitry Andric auto Top = R.Begin;
3600b57cec5SDimitry Andric for (const auto &I : Schedule) {
3610b57cec5SDimitry Andric auto MI = getMachineInstr(I);
3620b57cec5SDimitry Andric if (MI != &*Top) {
3630b57cec5SDimitry Andric BB->remove(MI);
3640b57cec5SDimitry Andric BB->insert(Top, MI);
3650b57cec5SDimitry Andric if (!MI->isDebugInstr())
3660b57cec5SDimitry Andric LIS->handleMove(*MI, true);
3670b57cec5SDimitry Andric }
3680b57cec5SDimitry Andric if (!MI->isDebugInstr()) {
3690b57cec5SDimitry Andric // Reset read - undef flags and update them later.
37006c3fb27SDimitry Andric for (auto &Op : MI->all_defs())
3710b57cec5SDimitry Andric Op.setIsUndef(false);
3720b57cec5SDimitry Andric
3730b57cec5SDimitry Andric RegisterOperands RegOpers;
3740b57cec5SDimitry Andric RegOpers.collect(*MI, *TRI, MRI, /*ShouldTrackLaneMasks*/true,
3750b57cec5SDimitry Andric /*IgnoreDead*/false);
3760b57cec5SDimitry Andric // Adjust liveness and add missing dead+read-undef flags.
3770b57cec5SDimitry Andric auto SlotIdx = LIS->getInstructionIndex(*MI).getRegSlot();
3780b57cec5SDimitry Andric RegOpers.adjustLaneLiveness(*LIS, MRI, SlotIdx, MI);
3790b57cec5SDimitry Andric }
3800b57cec5SDimitry Andric Top = std::next(MI->getIterator());
3810b57cec5SDimitry Andric }
3820b57cec5SDimitry Andric RegionBegin = getMachineInstr(Schedule.front());
3830b57cec5SDimitry Andric
3840b57cec5SDimitry Andric // Schedule consisting of MachineInstr* is considered 'detached'
3850b57cec5SDimitry Andric // and already interleaved with debug values
386*0fca6ea1SDimitry Andric if (!std::is_same_v<decltype(*Schedule.begin()), MachineInstr*>) {
3870b57cec5SDimitry Andric placeDebugValues();
388349cc55cSDimitry Andric // Unfortunately placeDebugValues incorrectly modifies RegionEnd, restore
3890b57cec5SDimitry Andric // assert(R.End == RegionEnd);
3900b57cec5SDimitry Andric RegionEnd = R.End;
3910b57cec5SDimitry Andric }
3920b57cec5SDimitry Andric
3930b57cec5SDimitry Andric R.Begin = RegionBegin;
3940b57cec5SDimitry Andric R.MaxPressure = MaxRP;
3950b57cec5SDimitry Andric
3960b57cec5SDimitry Andric #ifndef NDEBUG
3970b57cec5SDimitry Andric const auto RegionMaxRP = getRegionPressure(R);
3980b57cec5SDimitry Andric const auto &ST = MF.getSubtarget<GCNSubtarget>();
3990b57cec5SDimitry Andric #endif
400bdd1243dSDimitry Andric assert(
401bdd1243dSDimitry Andric (SchedMaxRP == RegionMaxRP && (MaxRP.empty() || SchedMaxRP == MaxRP)) ||
402bdd1243dSDimitry Andric (dbgs() << "Max RP mismatch!!!\n"
403bdd1243dSDimitry Andric "RP for schedule (calculated): "
404bdd1243dSDimitry Andric << print(SchedMaxRP, &ST)
405bdd1243dSDimitry Andric << "RP for schedule (reported): " << print(MaxRP, &ST)
406bdd1243dSDimitry Andric << "RP after scheduling: " << print(RegionMaxRP, &ST),
4070b57cec5SDimitry Andric false));
4080b57cec5SDimitry Andric }
4090b57cec5SDimitry Andric
4100b57cec5SDimitry Andric // Sort recorded regions by pressure - highest at the front
sortRegionsByPressure(unsigned TargetOcc)4110b57cec5SDimitry Andric void GCNIterativeScheduler::sortRegionsByPressure(unsigned TargetOcc) {
412*0fca6ea1SDimitry Andric llvm::sort(Regions, [this, TargetOcc](const Region *R1, const Region *R2) {
413*0fca6ea1SDimitry Andric return R2->MaxPressure.less(MF, R1->MaxPressure, TargetOcc);
4140b57cec5SDimitry Andric });
4150b57cec5SDimitry Andric }
4160b57cec5SDimitry Andric
4170b57cec5SDimitry Andric ///////////////////////////////////////////////////////////////////////////////
4180b57cec5SDimitry Andric // Legacy MaxOccupancy Strategy
4190b57cec5SDimitry Andric
4200b57cec5SDimitry Andric // Tries to increase occupancy applying minreg scheduler for a sequence of
4210b57cec5SDimitry Andric // most demanding regions. Obtained schedules are saved as BestSchedule for a
4220b57cec5SDimitry Andric // region.
4230b57cec5SDimitry Andric // TargetOcc is the best achievable occupancy for a kernel.
4240b57cec5SDimitry Andric // Returns better occupancy on success or current occupancy on fail.
4250b57cec5SDimitry Andric // BestSchedules aren't deleted on fail.
tryMaximizeOccupancy(unsigned TargetOcc)4260b57cec5SDimitry Andric unsigned GCNIterativeScheduler::tryMaximizeOccupancy(unsigned TargetOcc) {
4270b57cec5SDimitry Andric // TODO: assert Regions are sorted descending by pressure
4280b57cec5SDimitry Andric const auto &ST = MF.getSubtarget<GCNSubtarget>();
4290b57cec5SDimitry Andric const auto Occ = Regions.front()->MaxPressure.getOccupancy(ST);
4300b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Trying to improve occupancy, target = " << TargetOcc
4310b57cec5SDimitry Andric << ", current = " << Occ << '\n');
4320b57cec5SDimitry Andric
4330b57cec5SDimitry Andric auto NewOcc = TargetOcc;
434bdd1243dSDimitry Andric for (auto *R : Regions) {
4350b57cec5SDimitry Andric if (R->MaxPressure.getOccupancy(ST) >= NewOcc)
4360b57cec5SDimitry Andric break;
4370b57cec5SDimitry Andric
4380b57cec5SDimitry Andric LLVM_DEBUG(printRegion(dbgs(), R->Begin, R->End, LIS, 3);
4390b57cec5SDimitry Andric printLivenessInfo(dbgs(), R->Begin, R->End, LIS));
4400b57cec5SDimitry Andric
4410b57cec5SDimitry Andric BuildDAG DAG(*R, *this);
4420b57cec5SDimitry Andric const auto MinSchedule = makeMinRegSchedule(DAG.getTopRoots(), *this);
4430b57cec5SDimitry Andric const auto MaxRP = getSchedulePressure(*R, MinSchedule);
4440b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Occupancy improvement attempt:\n";
4450b57cec5SDimitry Andric printSchedRP(dbgs(), R->MaxPressure, MaxRP));
4460b57cec5SDimitry Andric
4470b57cec5SDimitry Andric NewOcc = std::min(NewOcc, MaxRP.getOccupancy(ST));
4480b57cec5SDimitry Andric if (NewOcc <= Occ)
4490b57cec5SDimitry Andric break;
4500b57cec5SDimitry Andric
4510b57cec5SDimitry Andric setBestSchedule(*R, MinSchedule, MaxRP);
4520b57cec5SDimitry Andric }
4530b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "New occupancy = " << NewOcc
4540b57cec5SDimitry Andric << ", prev occupancy = " << Occ << '\n');
4550b57cec5SDimitry Andric if (NewOcc > Occ) {
4560b57cec5SDimitry Andric SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
4570b57cec5SDimitry Andric MFI->increaseOccupancy(MF, NewOcc);
4580b57cec5SDimitry Andric }
4590b57cec5SDimitry Andric
4600b57cec5SDimitry Andric return std::max(NewOcc, Occ);
4610b57cec5SDimitry Andric }
4620b57cec5SDimitry Andric
scheduleLegacyMaxOccupancy(bool TryMaximizeOccupancy)4630b57cec5SDimitry Andric void GCNIterativeScheduler::scheduleLegacyMaxOccupancy(
4640b57cec5SDimitry Andric bool TryMaximizeOccupancy) {
4650b57cec5SDimitry Andric const auto &ST = MF.getSubtarget<GCNSubtarget>();
4660b57cec5SDimitry Andric SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
4670b57cec5SDimitry Andric auto TgtOcc = MFI->getMinAllowedOccupancy();
4680b57cec5SDimitry Andric
4690b57cec5SDimitry Andric sortRegionsByPressure(TgtOcc);
4700b57cec5SDimitry Andric auto Occ = Regions.front()->MaxPressure.getOccupancy(ST);
4710b57cec5SDimitry Andric
4720b57cec5SDimitry Andric if (TryMaximizeOccupancy && Occ < TgtOcc)
4730b57cec5SDimitry Andric Occ = tryMaximizeOccupancy(TgtOcc);
4740b57cec5SDimitry Andric
4750b57cec5SDimitry Andric // This is really weird but for some magic scheduling regions twice
4760b57cec5SDimitry Andric // gives performance improvement
4770b57cec5SDimitry Andric const int NumPasses = Occ < TgtOcc ? 2 : 1;
4780b57cec5SDimitry Andric
4790b57cec5SDimitry Andric TgtOcc = std::min(Occ, TgtOcc);
4800b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Scheduling using default scheduler, "
4810b57cec5SDimitry Andric "target occupancy = "
4820b57cec5SDimitry Andric << TgtOcc << '\n');
4830b57cec5SDimitry Andric GCNMaxOccupancySchedStrategy LStrgy(Context);
4840b57cec5SDimitry Andric unsigned FinalOccupancy = std::min(Occ, MFI->getOccupancy());
4850b57cec5SDimitry Andric
4860b57cec5SDimitry Andric for (int I = 0; I < NumPasses; ++I) {
4870b57cec5SDimitry Andric // running first pass with TargetOccupancy = 0 mimics previous scheduling
4880b57cec5SDimitry Andric // approach and is a performance magic
4890b57cec5SDimitry Andric LStrgy.setTargetOccupancy(I == 0 ? 0 : TgtOcc);
490bdd1243dSDimitry Andric for (auto *R : Regions) {
4910b57cec5SDimitry Andric OverrideLegacyStrategy Ovr(*R, LStrgy, *this);
4920b57cec5SDimitry Andric
4930b57cec5SDimitry Andric Ovr.schedule();
4940b57cec5SDimitry Andric const auto RP = getRegionPressure(*R);
4950b57cec5SDimitry Andric LLVM_DEBUG(printSchedRP(dbgs(), R->MaxPressure, RP));
4960b57cec5SDimitry Andric
4970b57cec5SDimitry Andric if (RP.getOccupancy(ST) < TgtOcc) {
4980b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Didn't fit into target occupancy O" << TgtOcc);
4990b57cec5SDimitry Andric if (R->BestSchedule.get() &&
5000b57cec5SDimitry Andric R->BestSchedule->MaxPressure.getOccupancy(ST) >= TgtOcc) {
5010b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << ", scheduling minimal register\n");
5020b57cec5SDimitry Andric scheduleBest(*R);
5030b57cec5SDimitry Andric } else {
5040b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << ", restoring\n");
5050b57cec5SDimitry Andric Ovr.restoreOrder();
5060b57cec5SDimitry Andric assert(R->MaxPressure.getOccupancy(ST) >= TgtOcc);
5070b57cec5SDimitry Andric }
5080b57cec5SDimitry Andric }
5090b57cec5SDimitry Andric FinalOccupancy = std::min(FinalOccupancy, RP.getOccupancy(ST));
5100b57cec5SDimitry Andric }
5110b57cec5SDimitry Andric }
5120b57cec5SDimitry Andric MFI->limitOccupancy(FinalOccupancy);
5130b57cec5SDimitry Andric }
5140b57cec5SDimitry Andric
5150b57cec5SDimitry Andric ///////////////////////////////////////////////////////////////////////////////
5160b57cec5SDimitry Andric // Minimal Register Strategy
5170b57cec5SDimitry Andric
scheduleMinReg(bool force)5180b57cec5SDimitry Andric void GCNIterativeScheduler::scheduleMinReg(bool force) {
5190b57cec5SDimitry Andric const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
5200b57cec5SDimitry Andric const auto TgtOcc = MFI->getOccupancy();
5210b57cec5SDimitry Andric sortRegionsByPressure(TgtOcc);
5220b57cec5SDimitry Andric
5230b57cec5SDimitry Andric auto MaxPressure = Regions.front()->MaxPressure;
524bdd1243dSDimitry Andric for (auto *R : Regions) {
525*0fca6ea1SDimitry Andric if (!force && R->MaxPressure.less(MF, MaxPressure, TgtOcc))
5260b57cec5SDimitry Andric break;
5270b57cec5SDimitry Andric
5280b57cec5SDimitry Andric BuildDAG DAG(*R, *this);
5290b57cec5SDimitry Andric const auto MinSchedule = makeMinRegSchedule(DAG.getTopRoots(), *this);
5300b57cec5SDimitry Andric
5310b57cec5SDimitry Andric const auto RP = getSchedulePressure(*R, MinSchedule);
532*0fca6ea1SDimitry Andric LLVM_DEBUG(if (R->MaxPressure.less(MF, RP, TgtOcc)) {
5330b57cec5SDimitry Andric dbgs() << "\nWarning: Pressure becomes worse after minreg!";
5340b57cec5SDimitry Andric printSchedRP(dbgs(), R->MaxPressure, RP);
5350b57cec5SDimitry Andric });
5360b57cec5SDimitry Andric
537*0fca6ea1SDimitry Andric if (!force && MaxPressure.less(MF, RP, TgtOcc))
5380b57cec5SDimitry Andric break;
5390b57cec5SDimitry Andric
5400b57cec5SDimitry Andric scheduleRegion(*R, MinSchedule, RP);
5410b57cec5SDimitry Andric LLVM_DEBUG(printSchedResult(dbgs(), R, RP));
5420b57cec5SDimitry Andric
5430b57cec5SDimitry Andric MaxPressure = RP;
5440b57cec5SDimitry Andric }
5450b57cec5SDimitry Andric }
5460b57cec5SDimitry Andric
5470b57cec5SDimitry Andric ///////////////////////////////////////////////////////////////////////////////
5480b57cec5SDimitry Andric // ILP scheduler port
5490b57cec5SDimitry Andric
scheduleILP(bool TryMaximizeOccupancy)5500b57cec5SDimitry Andric void GCNIterativeScheduler::scheduleILP(
5510b57cec5SDimitry Andric bool TryMaximizeOccupancy) {
5520b57cec5SDimitry Andric const auto &ST = MF.getSubtarget<GCNSubtarget>();
5530b57cec5SDimitry Andric SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
5540b57cec5SDimitry Andric auto TgtOcc = MFI->getMinAllowedOccupancy();
5550b57cec5SDimitry Andric
5560b57cec5SDimitry Andric sortRegionsByPressure(TgtOcc);
5570b57cec5SDimitry Andric auto Occ = Regions.front()->MaxPressure.getOccupancy(ST);
5580b57cec5SDimitry Andric
5590b57cec5SDimitry Andric if (TryMaximizeOccupancy && Occ < TgtOcc)
5600b57cec5SDimitry Andric Occ = tryMaximizeOccupancy(TgtOcc);
5610b57cec5SDimitry Andric
5620b57cec5SDimitry Andric TgtOcc = std::min(Occ, TgtOcc);
5630b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Scheduling using default scheduler, "
5640b57cec5SDimitry Andric "target occupancy = "
5650b57cec5SDimitry Andric << TgtOcc << '\n');
5660b57cec5SDimitry Andric
5670b57cec5SDimitry Andric unsigned FinalOccupancy = std::min(Occ, MFI->getOccupancy());
568bdd1243dSDimitry Andric for (auto *R : Regions) {
5690b57cec5SDimitry Andric BuildDAG DAG(*R, *this);
5700b57cec5SDimitry Andric const auto ILPSchedule = makeGCNILPScheduler(DAG.getBottomRoots(), *this);
5710b57cec5SDimitry Andric
5720b57cec5SDimitry Andric const auto RP = getSchedulePressure(*R, ILPSchedule);
5730b57cec5SDimitry Andric LLVM_DEBUG(printSchedRP(dbgs(), R->MaxPressure, RP));
5740b57cec5SDimitry Andric
5750b57cec5SDimitry Andric if (RP.getOccupancy(ST) < TgtOcc) {
5760b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Didn't fit into target occupancy O" << TgtOcc);
5770b57cec5SDimitry Andric if (R->BestSchedule.get() &&
5780b57cec5SDimitry Andric R->BestSchedule->MaxPressure.getOccupancy(ST) >= TgtOcc) {
5790b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << ", scheduling minimal register\n");
5800b57cec5SDimitry Andric scheduleBest(*R);
5810b57cec5SDimitry Andric }
5820b57cec5SDimitry Andric } else {
5830b57cec5SDimitry Andric scheduleRegion(*R, ILPSchedule, RP);
5840b57cec5SDimitry Andric LLVM_DEBUG(printSchedResult(dbgs(), R, RP));
5850b57cec5SDimitry Andric FinalOccupancy = std::min(FinalOccupancy, RP.getOccupancy(ST));
5860b57cec5SDimitry Andric }
5870b57cec5SDimitry Andric }
5880b57cec5SDimitry Andric MFI->limitOccupancy(FinalOccupancy);
5890b57cec5SDimitry Andric }
590