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); 290b57cec5SDimitry Andric } 300b57cec5SDimitry Andric 310b57cec5SDimitry Andric // shim accessors for different order containers 320b57cec5SDimitry Andric static inline MachineInstr *getMachineInstr(MachineInstr *MI) { 330b57cec5SDimitry Andric return MI; 340b57cec5SDimitry Andric } 350b57cec5SDimitry Andric static inline MachineInstr *getMachineInstr(const SUnit *SU) { 360b57cec5SDimitry Andric return SU->getInstr(); 370b57cec5SDimitry Andric } 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 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 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 910b57cec5SDimitry 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 1020b57cec5SDimitry 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 1120b57cec5SDimitry 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: 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 1400b57cec5SDimitry Andric ~BuildDAG() { 1410b57cec5SDimitry Andric Sch.BaseClass::exitRegion(); 1420b57cec5SDimitry Andric Sch.BaseClass::finishBlock(); 1430b57cec5SDimitry Andric } 1440b57cec5SDimitry Andric 1450b57cec5SDimitry Andric ArrayRef<const SUnit *> getTopRoots() const { 1460b57cec5SDimitry Andric return TopRoots; 1470b57cec5SDimitry Andric } 1480b57cec5SDimitry 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: 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 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 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 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: 2060b57cec5SDimitry Andric bool shouldTrackPressure() const override { return false; } 2070b57cec5SDimitry Andric bool shouldTrackLaneMasks() const override { return false; } 2080b57cec5SDimitry Andric void initialize(ScheduleDAGMI *DAG) override {} 2090b57cec5SDimitry Andric SUnit *pickNode(bool &IsTopNode) override { return nullptr; } 2100b57cec5SDimitry Andric void schedNode(SUnit *SU, bool IsTopNode) override {} 2110b57cec5SDimitry Andric void releaseTopNode(SUnit *SU) override {} 2120b57cec5SDimitry Andric void releaseBottomNode(SUnit *SU) override {} 2130b57cec5SDimitry Andric }; 2140b57cec5SDimitry Andric 2150b57cec5SDimitry Andric } // end anonymous namespace 2160b57cec5SDimitry Andric 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 2270b57cec5SDimitry 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)); 254*5f757f3fSDimitry Andric return UPTracker.getMaxPressureAndReset(); 2550b57cec5SDimitry Andric } 2560b57cec5SDimitry Andric 2570b57cec5SDimitry Andric // returns max pressure for a tentative schedule 2580b57cec5SDimitry Andric template <typename Range> GCNRegPressure 2590b57cec5SDimitry 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 } 275*5f757f3fSDimitry Andric return RPTracker.getMaxPressureAndReset(); 2760b57cec5SDimitry Andric } 2770b57cec5SDimitry Andric 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 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 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*> 3160b57cec5SDimitry 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 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 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> 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 3860b57cec5SDimitry Andric if (!std::is_same<decltype(*Schedule.begin()), MachineInstr*>::value) { 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 4110b57cec5SDimitry Andric void GCNIterativeScheduler::sortRegionsByPressure(unsigned TargetOcc) { 4120b57cec5SDimitry Andric const auto &ST = MF.getSubtarget<GCNSubtarget>(); 4130b57cec5SDimitry Andric llvm::sort(Regions, [&ST, TargetOcc](const Region *R1, const Region *R2) { 4140b57cec5SDimitry Andric return R2->MaxPressure.less(ST, R1->MaxPressure, TargetOcc); 4150b57cec5SDimitry Andric }); 4160b57cec5SDimitry Andric } 4170b57cec5SDimitry Andric 4180b57cec5SDimitry Andric /////////////////////////////////////////////////////////////////////////////// 4190b57cec5SDimitry Andric // Legacy MaxOccupancy Strategy 4200b57cec5SDimitry Andric 4210b57cec5SDimitry Andric // Tries to increase occupancy applying minreg scheduler for a sequence of 4220b57cec5SDimitry Andric // most demanding regions. Obtained schedules are saved as BestSchedule for a 4230b57cec5SDimitry Andric // region. 4240b57cec5SDimitry Andric // TargetOcc is the best achievable occupancy for a kernel. 4250b57cec5SDimitry Andric // Returns better occupancy on success or current occupancy on fail. 4260b57cec5SDimitry Andric // BestSchedules aren't deleted on fail. 4270b57cec5SDimitry Andric unsigned GCNIterativeScheduler::tryMaximizeOccupancy(unsigned TargetOcc) { 4280b57cec5SDimitry Andric // TODO: assert Regions are sorted descending by pressure 4290b57cec5SDimitry Andric const auto &ST = MF.getSubtarget<GCNSubtarget>(); 4300b57cec5SDimitry Andric const auto Occ = Regions.front()->MaxPressure.getOccupancy(ST); 4310b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Trying to improve occupancy, target = " << TargetOcc 4320b57cec5SDimitry Andric << ", current = " << Occ << '\n'); 4330b57cec5SDimitry Andric 4340b57cec5SDimitry Andric auto NewOcc = TargetOcc; 435bdd1243dSDimitry Andric for (auto *R : Regions) { 4360b57cec5SDimitry Andric if (R->MaxPressure.getOccupancy(ST) >= NewOcc) 4370b57cec5SDimitry Andric break; 4380b57cec5SDimitry Andric 4390b57cec5SDimitry Andric LLVM_DEBUG(printRegion(dbgs(), R->Begin, R->End, LIS, 3); 4400b57cec5SDimitry Andric printLivenessInfo(dbgs(), R->Begin, R->End, LIS)); 4410b57cec5SDimitry Andric 4420b57cec5SDimitry Andric BuildDAG DAG(*R, *this); 4430b57cec5SDimitry Andric const auto MinSchedule = makeMinRegSchedule(DAG.getTopRoots(), *this); 4440b57cec5SDimitry Andric const auto MaxRP = getSchedulePressure(*R, MinSchedule); 4450b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Occupancy improvement attempt:\n"; 4460b57cec5SDimitry Andric printSchedRP(dbgs(), R->MaxPressure, MaxRP)); 4470b57cec5SDimitry Andric 4480b57cec5SDimitry Andric NewOcc = std::min(NewOcc, MaxRP.getOccupancy(ST)); 4490b57cec5SDimitry Andric if (NewOcc <= Occ) 4500b57cec5SDimitry Andric break; 4510b57cec5SDimitry Andric 4520b57cec5SDimitry Andric setBestSchedule(*R, MinSchedule, MaxRP); 4530b57cec5SDimitry Andric } 4540b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "New occupancy = " << NewOcc 4550b57cec5SDimitry Andric << ", prev occupancy = " << Occ << '\n'); 4560b57cec5SDimitry Andric if (NewOcc > Occ) { 4570b57cec5SDimitry Andric SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>(); 4580b57cec5SDimitry Andric MFI->increaseOccupancy(MF, NewOcc); 4590b57cec5SDimitry Andric } 4600b57cec5SDimitry Andric 4610b57cec5SDimitry Andric return std::max(NewOcc, Occ); 4620b57cec5SDimitry Andric } 4630b57cec5SDimitry Andric 4640b57cec5SDimitry Andric void GCNIterativeScheduler::scheduleLegacyMaxOccupancy( 4650b57cec5SDimitry Andric bool TryMaximizeOccupancy) { 4660b57cec5SDimitry Andric const auto &ST = MF.getSubtarget<GCNSubtarget>(); 4670b57cec5SDimitry Andric SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>(); 4680b57cec5SDimitry Andric auto TgtOcc = MFI->getMinAllowedOccupancy(); 4690b57cec5SDimitry Andric 4700b57cec5SDimitry Andric sortRegionsByPressure(TgtOcc); 4710b57cec5SDimitry Andric auto Occ = Regions.front()->MaxPressure.getOccupancy(ST); 4720b57cec5SDimitry Andric 4730b57cec5SDimitry Andric if (TryMaximizeOccupancy && Occ < TgtOcc) 4740b57cec5SDimitry Andric Occ = tryMaximizeOccupancy(TgtOcc); 4750b57cec5SDimitry Andric 4760b57cec5SDimitry Andric // This is really weird but for some magic scheduling regions twice 4770b57cec5SDimitry Andric // gives performance improvement 4780b57cec5SDimitry Andric const int NumPasses = Occ < TgtOcc ? 2 : 1; 4790b57cec5SDimitry Andric 4800b57cec5SDimitry Andric TgtOcc = std::min(Occ, TgtOcc); 4810b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Scheduling using default scheduler, " 4820b57cec5SDimitry Andric "target occupancy = " 4830b57cec5SDimitry Andric << TgtOcc << '\n'); 4840b57cec5SDimitry Andric GCNMaxOccupancySchedStrategy LStrgy(Context); 4850b57cec5SDimitry Andric unsigned FinalOccupancy = std::min(Occ, MFI->getOccupancy()); 4860b57cec5SDimitry Andric 4870b57cec5SDimitry Andric for (int I = 0; I < NumPasses; ++I) { 4880b57cec5SDimitry Andric // running first pass with TargetOccupancy = 0 mimics previous scheduling 4890b57cec5SDimitry Andric // approach and is a performance magic 4900b57cec5SDimitry Andric LStrgy.setTargetOccupancy(I == 0 ? 0 : TgtOcc); 491bdd1243dSDimitry Andric for (auto *R : Regions) { 4920b57cec5SDimitry Andric OverrideLegacyStrategy Ovr(*R, LStrgy, *this); 4930b57cec5SDimitry Andric 4940b57cec5SDimitry Andric Ovr.schedule(); 4950b57cec5SDimitry Andric const auto RP = getRegionPressure(*R); 4960b57cec5SDimitry Andric LLVM_DEBUG(printSchedRP(dbgs(), R->MaxPressure, RP)); 4970b57cec5SDimitry Andric 4980b57cec5SDimitry Andric if (RP.getOccupancy(ST) < TgtOcc) { 4990b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Didn't fit into target occupancy O" << TgtOcc); 5000b57cec5SDimitry Andric if (R->BestSchedule.get() && 5010b57cec5SDimitry Andric R->BestSchedule->MaxPressure.getOccupancy(ST) >= TgtOcc) { 5020b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << ", scheduling minimal register\n"); 5030b57cec5SDimitry Andric scheduleBest(*R); 5040b57cec5SDimitry Andric } else { 5050b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << ", restoring\n"); 5060b57cec5SDimitry Andric Ovr.restoreOrder(); 5070b57cec5SDimitry Andric assert(R->MaxPressure.getOccupancy(ST) >= TgtOcc); 5080b57cec5SDimitry Andric } 5090b57cec5SDimitry Andric } 5100b57cec5SDimitry Andric FinalOccupancy = std::min(FinalOccupancy, RP.getOccupancy(ST)); 5110b57cec5SDimitry Andric } 5120b57cec5SDimitry Andric } 5130b57cec5SDimitry Andric MFI->limitOccupancy(FinalOccupancy); 5140b57cec5SDimitry Andric } 5150b57cec5SDimitry Andric 5160b57cec5SDimitry Andric /////////////////////////////////////////////////////////////////////////////// 5170b57cec5SDimitry Andric // Minimal Register Strategy 5180b57cec5SDimitry Andric 5190b57cec5SDimitry Andric void GCNIterativeScheduler::scheduleMinReg(bool force) { 5200b57cec5SDimitry Andric const auto &ST = MF.getSubtarget<GCNSubtarget>(); 5210b57cec5SDimitry Andric const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>(); 5220b57cec5SDimitry Andric const auto TgtOcc = MFI->getOccupancy(); 5230b57cec5SDimitry Andric sortRegionsByPressure(TgtOcc); 5240b57cec5SDimitry Andric 5250b57cec5SDimitry Andric auto MaxPressure = Regions.front()->MaxPressure; 526bdd1243dSDimitry Andric for (auto *R : Regions) { 5270b57cec5SDimitry Andric if (!force && R->MaxPressure.less(ST, MaxPressure, TgtOcc)) 5280b57cec5SDimitry Andric break; 5290b57cec5SDimitry Andric 5300b57cec5SDimitry Andric BuildDAG DAG(*R, *this); 5310b57cec5SDimitry Andric const auto MinSchedule = makeMinRegSchedule(DAG.getTopRoots(), *this); 5320b57cec5SDimitry Andric 5330b57cec5SDimitry Andric const auto RP = getSchedulePressure(*R, MinSchedule); 5340b57cec5SDimitry Andric LLVM_DEBUG(if (R->MaxPressure.less(ST, RP, TgtOcc)) { 5350b57cec5SDimitry Andric dbgs() << "\nWarning: Pressure becomes worse after minreg!"; 5360b57cec5SDimitry Andric printSchedRP(dbgs(), R->MaxPressure, RP); 5370b57cec5SDimitry Andric }); 5380b57cec5SDimitry Andric 5390b57cec5SDimitry Andric if (!force && MaxPressure.less(ST, RP, TgtOcc)) 5400b57cec5SDimitry Andric break; 5410b57cec5SDimitry Andric 5420b57cec5SDimitry Andric scheduleRegion(*R, MinSchedule, RP); 5430b57cec5SDimitry Andric LLVM_DEBUG(printSchedResult(dbgs(), R, RP)); 5440b57cec5SDimitry Andric 5450b57cec5SDimitry Andric MaxPressure = RP; 5460b57cec5SDimitry Andric } 5470b57cec5SDimitry Andric } 5480b57cec5SDimitry Andric 5490b57cec5SDimitry Andric /////////////////////////////////////////////////////////////////////////////// 5500b57cec5SDimitry Andric // ILP scheduler port 5510b57cec5SDimitry Andric 5520b57cec5SDimitry Andric void GCNIterativeScheduler::scheduleILP( 5530b57cec5SDimitry Andric bool TryMaximizeOccupancy) { 5540b57cec5SDimitry Andric const auto &ST = MF.getSubtarget<GCNSubtarget>(); 5550b57cec5SDimitry Andric SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>(); 5560b57cec5SDimitry Andric auto TgtOcc = MFI->getMinAllowedOccupancy(); 5570b57cec5SDimitry Andric 5580b57cec5SDimitry Andric sortRegionsByPressure(TgtOcc); 5590b57cec5SDimitry Andric auto Occ = Regions.front()->MaxPressure.getOccupancy(ST); 5600b57cec5SDimitry Andric 5610b57cec5SDimitry Andric if (TryMaximizeOccupancy && Occ < TgtOcc) 5620b57cec5SDimitry Andric Occ = tryMaximizeOccupancy(TgtOcc); 5630b57cec5SDimitry Andric 5640b57cec5SDimitry Andric TgtOcc = std::min(Occ, TgtOcc); 5650b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Scheduling using default scheduler, " 5660b57cec5SDimitry Andric "target occupancy = " 5670b57cec5SDimitry Andric << TgtOcc << '\n'); 5680b57cec5SDimitry Andric 5690b57cec5SDimitry Andric unsigned FinalOccupancy = std::min(Occ, MFI->getOccupancy()); 570bdd1243dSDimitry Andric for (auto *R : Regions) { 5710b57cec5SDimitry Andric BuildDAG DAG(*R, *this); 5720b57cec5SDimitry Andric const auto ILPSchedule = makeGCNILPScheduler(DAG.getBottomRoots(), *this); 5730b57cec5SDimitry Andric 5740b57cec5SDimitry Andric const auto RP = getSchedulePressure(*R, ILPSchedule); 5750b57cec5SDimitry Andric LLVM_DEBUG(printSchedRP(dbgs(), R->MaxPressure, RP)); 5760b57cec5SDimitry Andric 5770b57cec5SDimitry Andric if (RP.getOccupancy(ST) < TgtOcc) { 5780b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Didn't fit into target occupancy O" << TgtOcc); 5790b57cec5SDimitry Andric if (R->BestSchedule.get() && 5800b57cec5SDimitry Andric R->BestSchedule->MaxPressure.getOccupancy(ST) >= TgtOcc) { 5810b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << ", scheduling minimal register\n"); 5820b57cec5SDimitry Andric scheduleBest(*R); 5830b57cec5SDimitry Andric } 5840b57cec5SDimitry Andric } else { 5850b57cec5SDimitry Andric scheduleRegion(*R, ILPSchedule, RP); 5860b57cec5SDimitry Andric LLVM_DEBUG(printSchedResult(dbgs(), R, RP)); 5870b57cec5SDimitry Andric FinalOccupancy = std::min(FinalOccupancy, RP.getOccupancy(ST)); 5880b57cec5SDimitry Andric } 5890b57cec5SDimitry Andric } 5900b57cec5SDimitry Andric MFI->limitOccupancy(FinalOccupancy); 5910b57cec5SDimitry Andric } 592