14275eb13SSerguei Katkov //===-- FixupStatepointCallerSaved.cpp - Fixup caller saved registers  ----===//
24275eb13SSerguei Katkov //
3c874dd53SChristopher Di Bella // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4c874dd53SChristopher Di Bella // See https://llvm.org/LICENSE.txt for license information.
5c874dd53SChristopher Di Bella // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
64275eb13SSerguei Katkov //
74275eb13SSerguei Katkov //===----------------------------------------------------------------------===//
84275eb13SSerguei Katkov ///
94275eb13SSerguei Katkov /// \file
104275eb13SSerguei Katkov /// Statepoint instruction in deopt parameters contains values which are
114275eb13SSerguei Katkov /// meaningful to the runtime and should be able to be read at the moment the
124275eb13SSerguei Katkov /// call returns. So we can say that we need to encode the fact that these
134275eb13SSerguei Katkov /// values are "late read" by runtime. If we could express this notion for
144275eb13SSerguei Katkov /// register allocator it would produce the right form for us.
154275eb13SSerguei Katkov /// The need to fixup (i.e this pass) is specifically handling the fact that
164275eb13SSerguei Katkov /// we cannot describe such a late read for the register allocator.
174275eb13SSerguei Katkov /// Register allocator may put the value on a register clobbered by the call.
184275eb13SSerguei Katkov /// This pass forces the spill of such registers and replaces corresponding
194275eb13SSerguei Katkov /// statepoint operands to added spill slots.
204275eb13SSerguei Katkov ///
214275eb13SSerguei Katkov //===----------------------------------------------------------------------===//
224275eb13SSerguei Katkov 
234275eb13SSerguei Katkov #include "llvm/ADT/SmallSet.h"
244275eb13SSerguei Katkov #include "llvm/ADT/Statistic.h"
254275eb13SSerguei Katkov #include "llvm/CodeGen/MachineFrameInfo.h"
264275eb13SSerguei Katkov #include "llvm/CodeGen/MachineFunctionPass.h"
274275eb13SSerguei Katkov #include "llvm/CodeGen/StackMaps.h"
284275eb13SSerguei Katkov #include "llvm/CodeGen/TargetInstrInfo.h"
294275eb13SSerguei Katkov #include "llvm/IR/Statepoint.h"
304275eb13SSerguei Katkov #include "llvm/InitializePasses.h"
314275eb13SSerguei Katkov #include "llvm/Support/Debug.h"
324275eb13SSerguei Katkov 
334275eb13SSerguei Katkov using namespace llvm;
344275eb13SSerguei Katkov 
354275eb13SSerguei Katkov #define DEBUG_TYPE "fixup-statepoint-caller-saved"
364275eb13SSerguei Katkov STATISTIC(NumSpilledRegisters, "Number of spilled register");
374275eb13SSerguei Katkov STATISTIC(NumSpillSlotsAllocated, "Number of spill slots allocated");
384275eb13SSerguei Katkov STATISTIC(NumSpillSlotsExtended, "Number of spill slots extended");
394275eb13SSerguei Katkov 
404275eb13SSerguei Katkov static cl::opt<bool> FixupSCSExtendSlotSize(
414275eb13SSerguei Katkov     "fixup-scs-extend-slot-size", cl::Hidden, cl::init(false),
424275eb13SSerguei Katkov     cl::desc("Allow spill in spill slot of greater size than register size"),
434275eb13SSerguei Katkov     cl::Hidden);
444275eb13SSerguei Katkov 
455f6bee77SDenis Antrushin static cl::opt<bool> PassGCPtrInCSR(
465f6bee77SDenis Antrushin     "fixup-allow-gcptr-in-csr", cl::Hidden, cl::init(false),
475f6bee77SDenis Antrushin     cl::desc("Allow passing GC Pointer arguments in callee saved registers"));
485f6bee77SDenis Antrushin 
495f6bee77SDenis Antrushin static cl::opt<bool> EnableCopyProp(
505f6bee77SDenis Antrushin     "fixup-scs-enable-copy-propagation", cl::Hidden, cl::init(true),
515f6bee77SDenis Antrushin     cl::desc("Enable simple copy propagation during register reloading"));
525f6bee77SDenis Antrushin 
535f6bee77SDenis Antrushin // This is purely debugging option.
545f6bee77SDenis Antrushin // It may be handy for investigating statepoint spilling issues.
555f6bee77SDenis Antrushin static cl::opt<unsigned> MaxStatepointsWithRegs(
565f6bee77SDenis Antrushin     "fixup-max-csr-statepoints", cl::Hidden,
575f6bee77SDenis Antrushin     cl::desc("Max number of statepoints allowed to pass GC Ptrs in registers"));
585f6bee77SDenis Antrushin 
594275eb13SSerguei Katkov namespace {
604275eb13SSerguei Katkov 
614275eb13SSerguei Katkov class FixupStatepointCallerSaved : public MachineFunctionPass {
624275eb13SSerguei Katkov public:
634275eb13SSerguei Katkov   static char ID;
644275eb13SSerguei Katkov 
FixupStatepointCallerSaved()654275eb13SSerguei Katkov   FixupStatepointCallerSaved() : MachineFunctionPass(ID) {
664275eb13SSerguei Katkov     initializeFixupStatepointCallerSavedPass(*PassRegistry::getPassRegistry());
674275eb13SSerguei Katkov   }
684275eb13SSerguei Katkov 
getAnalysisUsage(AnalysisUsage & AU) const694275eb13SSerguei Katkov   void getAnalysisUsage(AnalysisUsage &AU) const override {
70de92dc28SCraig Topper     AU.setPreservesCFG();
714275eb13SSerguei Katkov     MachineFunctionPass::getAnalysisUsage(AU);
724275eb13SSerguei Katkov   }
734275eb13SSerguei Katkov 
getPassName() const744275eb13SSerguei Katkov   StringRef getPassName() const override {
754275eb13SSerguei Katkov     return "Fixup Statepoint Caller Saved";
764275eb13SSerguei Katkov   }
774275eb13SSerguei Katkov 
784275eb13SSerguei Katkov   bool runOnMachineFunction(MachineFunction &MF) override;
794275eb13SSerguei Katkov };
805f6bee77SDenis Antrushin 
814275eb13SSerguei Katkov } // End anonymous namespace.
824275eb13SSerguei Katkov 
834275eb13SSerguei Katkov char FixupStatepointCallerSaved::ID = 0;
844275eb13SSerguei Katkov char &llvm::FixupStatepointCallerSavedID = FixupStatepointCallerSaved::ID;
854275eb13SSerguei Katkov 
864275eb13SSerguei Katkov INITIALIZE_PASS_BEGIN(FixupStatepointCallerSaved, DEBUG_TYPE,
874275eb13SSerguei Katkov                       "Fixup Statepoint Caller Saved", false, false)
884275eb13SSerguei Katkov INITIALIZE_PASS_END(FixupStatepointCallerSaved, DEBUG_TYPE,
894275eb13SSerguei Katkov                     "Fixup Statepoint Caller Saved", false, false)
904275eb13SSerguei Katkov 
914275eb13SSerguei Katkov // Utility function to get size of the register.
getRegisterSize(const TargetRegisterInfo & TRI,Register Reg)924275eb13SSerguei Katkov static unsigned getRegisterSize(const TargetRegisterInfo &TRI, Register Reg) {
934275eb13SSerguei Katkov   const TargetRegisterClass *RC = TRI.getMinimalPhysRegClass(Reg);
944275eb13SSerguei Katkov   return TRI.getSpillSize(*RC);
954275eb13SSerguei Katkov }
964275eb13SSerguei Katkov 
975f6bee77SDenis Antrushin // Try to eliminate redundant copy to register which we're going to
985f6bee77SDenis Antrushin // spill, i.e. try to change:
995f6bee77SDenis Antrushin //    X = COPY Y
1005f6bee77SDenis Antrushin //    SPILL X
1015f6bee77SDenis Antrushin //  to
1025f6bee77SDenis Antrushin //    SPILL Y
1035f6bee77SDenis Antrushin //  If there are no uses of X between copy and STATEPOINT, that COPY
1045f6bee77SDenis Antrushin //  may be eliminated.
1055f6bee77SDenis Antrushin //  Reg - register we're about to spill
1065f6bee77SDenis Antrushin //  RI - On entry points to statepoint.
1075f6bee77SDenis Antrushin //       On successful copy propagation set to new spill point.
1085f6bee77SDenis Antrushin //  IsKill - set to true if COPY is Kill (there are no uses of Y)
1095f6bee77SDenis Antrushin //  Returns either found source copy register or original one.
performCopyPropagation(Register Reg,MachineBasicBlock::iterator & RI,bool & IsKill,const TargetInstrInfo & TII,const TargetRegisterInfo & TRI)1105f6bee77SDenis Antrushin static Register performCopyPropagation(Register Reg,
1115f6bee77SDenis Antrushin                                        MachineBasicBlock::iterator &RI,
1125f6bee77SDenis Antrushin                                        bool &IsKill, const TargetInstrInfo &TII,
1135f6bee77SDenis Antrushin                                        const TargetRegisterInfo &TRI) {
1145f6bee77SDenis Antrushin   // First check if statepoint itself uses Reg in non-meta operands.
1155f6bee77SDenis Antrushin   int Idx = RI->findRegisterUseOperandIdx(Reg, false, &TRI);
1161c80a6ceSDenis Antrushin   if (Idx >= 0 && (unsigned)Idx < StatepointOpers(&*RI).getNumDeoptArgsIdx()) {
1171c80a6ceSDenis Antrushin     IsKill = false;
1181c80a6ceSDenis Antrushin     return Reg;
1191c80a6ceSDenis Antrushin   }
1201c80a6ceSDenis Antrushin 
1211c80a6ceSDenis Antrushin   if (!EnableCopyProp)
1225f6bee77SDenis Antrushin     return Reg;
1235f6bee77SDenis Antrushin 
1245f6bee77SDenis Antrushin   MachineBasicBlock *MBB = RI->getParent();
1255f6bee77SDenis Antrushin   MachineBasicBlock::reverse_iterator E = MBB->rend();
1265f6bee77SDenis Antrushin   MachineInstr *Def = nullptr, *Use = nullptr;
1275f6bee77SDenis Antrushin   for (auto It = ++(RI.getReverse()); It != E; ++It) {
1285f6bee77SDenis Antrushin     if (It->readsRegister(Reg, &TRI) && !Use)
1295f6bee77SDenis Antrushin       Use = &*It;
1305f6bee77SDenis Antrushin     if (It->modifiesRegister(Reg, &TRI)) {
1315f6bee77SDenis Antrushin       Def = &*It;
1325f6bee77SDenis Antrushin       break;
1335f6bee77SDenis Antrushin     }
1345f6bee77SDenis Antrushin   }
1355f6bee77SDenis Antrushin 
1365f6bee77SDenis Antrushin   if (!Def)
1375f6bee77SDenis Antrushin     return Reg;
1385f6bee77SDenis Antrushin 
1395f6bee77SDenis Antrushin   auto DestSrc = TII.isCopyInstr(*Def);
1405f6bee77SDenis Antrushin   if (!DestSrc || DestSrc->Destination->getReg() != Reg)
1415f6bee77SDenis Antrushin     return Reg;
1425f6bee77SDenis Antrushin 
1435f6bee77SDenis Antrushin   Register SrcReg = DestSrc->Source->getReg();
1445f6bee77SDenis Antrushin 
1455f6bee77SDenis Antrushin   if (getRegisterSize(TRI, Reg) != getRegisterSize(TRI, SrcReg))
1465f6bee77SDenis Antrushin     return Reg;
1475f6bee77SDenis Antrushin 
1485f6bee77SDenis Antrushin   LLVM_DEBUG(dbgs() << "spillRegisters: perform copy propagation "
1495f6bee77SDenis Antrushin                     << printReg(Reg, &TRI) << " -> " << printReg(SrcReg, &TRI)
1505f6bee77SDenis Antrushin                     << "\n");
1515f6bee77SDenis Antrushin 
1525f6bee77SDenis Antrushin   // Insert spill immediately after Def
1535f6bee77SDenis Antrushin   RI = ++MachineBasicBlock::iterator(Def);
1545f6bee77SDenis Antrushin   IsKill = DestSrc->Source->isKill();
1555f6bee77SDenis Antrushin 
156*c0e965e2SDenis Antrushin   if (!Use) {
1575f6bee77SDenis Antrushin     // There are no uses of original register between COPY and STATEPOINT.
1585f6bee77SDenis Antrushin     // There can't be any after STATEPOINT, so we can eliminate Def.
1595f6bee77SDenis Antrushin     LLVM_DEBUG(dbgs() << "spillRegisters: removing dead copy " << *Def);
1605f6bee77SDenis Antrushin     Def->eraseFromParent();
161*c0e965e2SDenis Antrushin   } else if (IsKill) {
162*c0e965e2SDenis Antrushin     // COPY will remain in place, spill will be inserted *after* it, so it is
163*c0e965e2SDenis Antrushin     // not a kill of source anymore.
164*c0e965e2SDenis Antrushin     const_cast<MachineOperand *>(DestSrc->Source)->setIsKill(false);
1655f6bee77SDenis Antrushin   }
166*c0e965e2SDenis Antrushin 
1675f6bee77SDenis Antrushin   return SrcReg;
1685f6bee77SDenis Antrushin }
1695f6bee77SDenis Antrushin 
1701d42764dSBenjamin Kramer namespace {
1715f6bee77SDenis Antrushin // Pair {Register, FrameIndex}
1725f6bee77SDenis Antrushin using RegSlotPair = std::pair<Register, int>;
1735f6bee77SDenis Antrushin 
1745f6bee77SDenis Antrushin // Keeps track of what reloads were inserted in MBB.
1755f6bee77SDenis Antrushin class RegReloadCache {
1765f6bee77SDenis Antrushin   using ReloadSet = SmallSet<RegSlotPair, 8>;
1775f6bee77SDenis Antrushin   DenseMap<const MachineBasicBlock *, ReloadSet> Reloads;
1785f6bee77SDenis Antrushin 
1795f6bee77SDenis Antrushin public:
1805f6bee77SDenis Antrushin   RegReloadCache() = default;
1815f6bee77SDenis Antrushin 
1825f6bee77SDenis Antrushin   // Record reload of Reg from FI in block MBB
recordReload(Register Reg,int FI,const MachineBasicBlock * MBB)1835f6bee77SDenis Antrushin   void recordReload(Register Reg, int FI, const MachineBasicBlock *MBB) {
1845f6bee77SDenis Antrushin     RegSlotPair RSP(Reg, FI);
1855f6bee77SDenis Antrushin     auto Res = Reloads[MBB].insert(RSP);
186fd9187f7SJordan Rupprecht     (void)Res;
1875f6bee77SDenis Antrushin     assert(Res.second && "reload already exists");
1885f6bee77SDenis Antrushin   }
1895f6bee77SDenis Antrushin 
1905f6bee77SDenis Antrushin   // Does basic block MBB contains reload of Reg from FI?
hasReload(Register Reg,int FI,const MachineBasicBlock * MBB)1915f6bee77SDenis Antrushin   bool hasReload(Register Reg, int FI, const MachineBasicBlock *MBB) {
1925f6bee77SDenis Antrushin     RegSlotPair RSP(Reg, FI);
1935f6bee77SDenis Antrushin     return Reloads.count(MBB) && Reloads[MBB].count(RSP);
1945f6bee77SDenis Antrushin   }
1955f6bee77SDenis Antrushin };
1965f6bee77SDenis Antrushin 
1974275eb13SSerguei Katkov // Cache used frame indexes during statepoint re-write to re-use them in
1984275eb13SSerguei Katkov // processing next statepoint instruction.
1994275eb13SSerguei Katkov // Two strategies. One is to preserve the size of spill slot while another one
2004275eb13SSerguei Katkov // extends the size of spill slots to reduce the number of them, causing
2014275eb13SSerguei Katkov // the less total frame size. But unspill will have "implicit" any extend.
2024275eb13SSerguei Katkov class FrameIndexesCache {
2034275eb13SSerguei Katkov private:
2044275eb13SSerguei Katkov   struct FrameIndexesPerSize {
2054275eb13SSerguei Katkov     // List of used frame indexes during processing previous statepoints.
2064275eb13SSerguei Katkov     SmallVector<int, 8> Slots;
2074275eb13SSerguei Katkov     // Current index of un-used yet frame index.
2084275eb13SSerguei Katkov     unsigned Index = 0;
2094275eb13SSerguei Katkov   };
2104275eb13SSerguei Katkov   MachineFrameInfo &MFI;
2114275eb13SSerguei Katkov   const TargetRegisterInfo &TRI;
2124275eb13SSerguei Katkov   // Map size to list of frame indexes of this size. If the mode is
2134275eb13SSerguei Katkov   // FixupSCSExtendSlotSize then the key 0 is used to keep all frame indexes.
2144275eb13SSerguei Katkov   // If the size of required spill slot is greater than in a cache then the
2154275eb13SSerguei Katkov   // size will be increased.
2164275eb13SSerguei Katkov   DenseMap<unsigned, FrameIndexesPerSize> Cache;
2174275eb13SSerguei Katkov 
2185f6bee77SDenis Antrushin   // Keeps track of slots reserved for the shared landing pad processing.
2195f6bee77SDenis Antrushin   // Initialized from GlobalIndices for the current EHPad.
2205f6bee77SDenis Antrushin   SmallSet<int, 8> ReservedSlots;
2215f6bee77SDenis Antrushin 
2225f6bee77SDenis Antrushin   // Landing pad can be destination of several statepoints. Every register
2235f6bee77SDenis Antrushin   // defined by such statepoints must be spilled to the same stack slot.
2245f6bee77SDenis Antrushin   // This map keeps that information.
2255f6bee77SDenis Antrushin   DenseMap<const MachineBasicBlock *, SmallVector<RegSlotPair, 8>>
2265f6bee77SDenis Antrushin       GlobalIndices;
2275f6bee77SDenis Antrushin 
getCacheBucket(unsigned Size)2285f6bee77SDenis Antrushin   FrameIndexesPerSize &getCacheBucket(unsigned Size) {
2295f6bee77SDenis Antrushin     // In FixupSCSExtendSlotSize mode the bucket with 0 index is used
2305f6bee77SDenis Antrushin     // for all sizes.
2315f6bee77SDenis Antrushin     return Cache[FixupSCSExtendSlotSize ? 0 : Size];
2325f6bee77SDenis Antrushin   }
2335f6bee77SDenis Antrushin 
2344275eb13SSerguei Katkov public:
FrameIndexesCache(MachineFrameInfo & MFI,const TargetRegisterInfo & TRI)2354275eb13SSerguei Katkov   FrameIndexesCache(MachineFrameInfo &MFI, const TargetRegisterInfo &TRI)
2364275eb13SSerguei Katkov       : MFI(MFI), TRI(TRI) {}
2374275eb13SSerguei Katkov   // Reset the current state of used frame indexes. After invocation of
2385f6bee77SDenis Antrushin   // this function all frame indexes are available for allocation with
2395f6bee77SDenis Antrushin   // the exception of slots reserved for landing pad processing (if any).
reset(const MachineBasicBlock * EHPad)2405f6bee77SDenis Antrushin   void reset(const MachineBasicBlock *EHPad) {
2414275eb13SSerguei Katkov     for (auto &It : Cache)
2424275eb13SSerguei Katkov       It.second.Index = 0;
2435f6bee77SDenis Antrushin 
2445f6bee77SDenis Antrushin     ReservedSlots.clear();
2455f6bee77SDenis Antrushin     if (EHPad && GlobalIndices.count(EHPad))
2465f6bee77SDenis Antrushin       for (auto &RSP : GlobalIndices[EHPad])
2475f6bee77SDenis Antrushin         ReservedSlots.insert(RSP.second);
2484275eb13SSerguei Katkov   }
2495f6bee77SDenis Antrushin 
2504275eb13SSerguei Katkov   // Get frame index to spill the register.
getFrameIndex(Register Reg,MachineBasicBlock * EHPad)2515f6bee77SDenis Antrushin   int getFrameIndex(Register Reg, MachineBasicBlock *EHPad) {
2525f6bee77SDenis Antrushin     // Check if slot for Reg is already reserved at EHPad.
2535f6bee77SDenis Antrushin     auto It = GlobalIndices.find(EHPad);
2545f6bee77SDenis Antrushin     if (It != GlobalIndices.end()) {
2555f6bee77SDenis Antrushin       auto &Vec = It->second;
2565f6bee77SDenis Antrushin       auto Idx = llvm::find_if(
2575f6bee77SDenis Antrushin           Vec, [Reg](RegSlotPair &RSP) { return Reg == RSP.first; });
2585f6bee77SDenis Antrushin       if (Idx != Vec.end()) {
2595f6bee77SDenis Antrushin         int FI = Idx->second;
2605f6bee77SDenis Antrushin         LLVM_DEBUG(dbgs() << "Found global FI " << FI << " for register "
2615f6bee77SDenis Antrushin                           << printReg(Reg, &TRI) << " at "
2625f6bee77SDenis Antrushin                           << printMBBReference(*EHPad) << "\n");
2635f6bee77SDenis Antrushin         assert(ReservedSlots.count(FI) && "using unreserved slot");
2645f6bee77SDenis Antrushin         return FI;
2655f6bee77SDenis Antrushin       }
2665f6bee77SDenis Antrushin     }
2675f6bee77SDenis Antrushin 
2684275eb13SSerguei Katkov     unsigned Size = getRegisterSize(TRI, Reg);
2695f6bee77SDenis Antrushin     FrameIndexesPerSize &Line = getCacheBucket(Size);
2705f6bee77SDenis Antrushin     while (Line.Index < Line.Slots.size()) {
2714275eb13SSerguei Katkov       int FI = Line.Slots[Line.Index++];
2725f6bee77SDenis Antrushin       if (ReservedSlots.count(FI))
2735f6bee77SDenis Antrushin         continue;
2744275eb13SSerguei Katkov       // If all sizes are kept together we probably need to extend the
2754275eb13SSerguei Katkov       // spill slot size.
2764275eb13SSerguei Katkov       if (MFI.getObjectSize(FI) < Size) {
2774275eb13SSerguei Katkov         MFI.setObjectSize(FI, Size);
2784275eb13SSerguei Katkov         MFI.setObjectAlignment(FI, Align(Size));
2794275eb13SSerguei Katkov         NumSpillSlotsExtended++;
2804275eb13SSerguei Katkov       }
2814275eb13SSerguei Katkov       return FI;
2824275eb13SSerguei Katkov     }
2837f37d883SGuillaume Chatelet     int FI = MFI.CreateSpillStackObject(Size, Align(Size));
2844275eb13SSerguei Katkov     NumSpillSlotsAllocated++;
2854275eb13SSerguei Katkov     Line.Slots.push_back(FI);
2864275eb13SSerguei Katkov     ++Line.Index;
2875f6bee77SDenis Antrushin 
2885f6bee77SDenis Antrushin     // Remember assignment {Reg, FI} for EHPad
2895f6bee77SDenis Antrushin     if (EHPad) {
2905f6bee77SDenis Antrushin       GlobalIndices[EHPad].push_back(std::make_pair(Reg, FI));
2915f6bee77SDenis Antrushin       LLVM_DEBUG(dbgs() << "Reserved FI " << FI << " for spilling reg "
2925f6bee77SDenis Antrushin                         << printReg(Reg, &TRI) << " at landing pad "
2935f6bee77SDenis Antrushin                         << printMBBReference(*EHPad) << "\n");
2945f6bee77SDenis Antrushin     }
2955f6bee77SDenis Antrushin 
2964275eb13SSerguei Katkov     return FI;
2974275eb13SSerguei Katkov   }
2985f6bee77SDenis Antrushin 
2994275eb13SSerguei Katkov   // Sort all registers to spill in descendent order. In the
3004275eb13SSerguei Katkov   // FixupSCSExtendSlotSize mode it will minimize the total frame size.
3014275eb13SSerguei Katkov   // In non FixupSCSExtendSlotSize mode we can skip this step.
sortRegisters(SmallVectorImpl<Register> & Regs)3024275eb13SSerguei Katkov   void sortRegisters(SmallVectorImpl<Register> &Regs) {
3034275eb13SSerguei Katkov     if (!FixupSCSExtendSlotSize)
3044275eb13SSerguei Katkov       return;
3059bcc0d10SKazu Hirata     llvm::sort(Regs, [&](Register &A, Register &B) {
3064275eb13SSerguei Katkov       return getRegisterSize(TRI, A) > getRegisterSize(TRI, B);
3074275eb13SSerguei Katkov     });
3084275eb13SSerguei Katkov   }
3094275eb13SSerguei Katkov };
3104275eb13SSerguei Katkov 
3114275eb13SSerguei Katkov // Describes the state of the current processing statepoint instruction.
3124275eb13SSerguei Katkov class StatepointState {
3134275eb13SSerguei Katkov private:
3144275eb13SSerguei Katkov   // statepoint instruction.
3154275eb13SSerguei Katkov   MachineInstr &MI;
3164275eb13SSerguei Katkov   MachineFunction &MF;
3175f6bee77SDenis Antrushin   // If non-null then statepoint is invoke, and this points to the landing pad.
3185f6bee77SDenis Antrushin   MachineBasicBlock *EHPad;
3194275eb13SSerguei Katkov   const TargetRegisterInfo &TRI;
3204275eb13SSerguei Katkov   const TargetInstrInfo &TII;
3214275eb13SSerguei Katkov   MachineFrameInfo &MFI;
3224275eb13SSerguei Katkov   // Mask with callee saved registers.
3234275eb13SSerguei Katkov   const uint32_t *Mask;
3244275eb13SSerguei Katkov   // Cache of frame indexes used on previous instruction processing.
3254275eb13SSerguei Katkov   FrameIndexesCache &CacheFI;
3265f6bee77SDenis Antrushin   bool AllowGCPtrInCSR;
3274275eb13SSerguei Katkov   // Operands with physical registers requiring spilling.
3284275eb13SSerguei Katkov   SmallVector<unsigned, 8> OpsToSpill;
3294275eb13SSerguei Katkov   // Set of register to spill.
3304275eb13SSerguei Katkov   SmallVector<Register, 8> RegsToSpill;
3315f6bee77SDenis Antrushin   // Set of registers to reload after statepoint.
3325f6bee77SDenis Antrushin   SmallVector<Register, 8> RegsToReload;
3334275eb13SSerguei Katkov   // Map Register to Frame Slot index.
3344275eb13SSerguei Katkov   DenseMap<Register, int> RegToSlotIdx;
3354275eb13SSerguei Katkov 
3364275eb13SSerguei Katkov public:
StatepointState(MachineInstr & MI,const uint32_t * Mask,FrameIndexesCache & CacheFI,bool AllowGCPtrInCSR)3374275eb13SSerguei Katkov   StatepointState(MachineInstr &MI, const uint32_t *Mask,
3385f6bee77SDenis Antrushin                   FrameIndexesCache &CacheFI, bool AllowGCPtrInCSR)
3394275eb13SSerguei Katkov       : MI(MI), MF(*MI.getMF()), TRI(*MF.getSubtarget().getRegisterInfo()),
3404275eb13SSerguei Katkov         TII(*MF.getSubtarget().getInstrInfo()), MFI(MF.getFrameInfo()),
3415f6bee77SDenis Antrushin         Mask(Mask), CacheFI(CacheFI), AllowGCPtrInCSR(AllowGCPtrInCSR) {
3425f6bee77SDenis Antrushin 
3435f6bee77SDenis Antrushin     // Find statepoint's landing pad, if any.
3445f6bee77SDenis Antrushin     EHPad = nullptr;
3455f6bee77SDenis Antrushin     MachineBasicBlock *MBB = MI.getParent();
3465f6bee77SDenis Antrushin     // Invoke statepoint must be last one in block.
3475f6bee77SDenis Antrushin     bool Last = std::none_of(++MI.getIterator(), MBB->end().getInstrIterator(),
3485f6bee77SDenis Antrushin                              [](MachineInstr &I) {
3495f6bee77SDenis Antrushin                                return I.getOpcode() == TargetOpcode::STATEPOINT;
3505f6bee77SDenis Antrushin                              });
3515f6bee77SDenis Antrushin 
3525f6bee77SDenis Antrushin     if (!Last)
3535f6bee77SDenis Antrushin       return;
3545f6bee77SDenis Antrushin 
3555f6bee77SDenis Antrushin     auto IsEHPad = [](MachineBasicBlock *B) { return B->isEHPad(); };
3565f6bee77SDenis Antrushin 
3575f6bee77SDenis Antrushin     assert(llvm::count_if(MBB->successors(), IsEHPad) < 2 && "multiple EHPads");
3585f6bee77SDenis Antrushin 
3595f6bee77SDenis Antrushin     auto It = llvm::find_if(MBB->successors(), IsEHPad);
3605f6bee77SDenis Antrushin     if (It != MBB->succ_end())
3615f6bee77SDenis Antrushin       EHPad = *It;
3625f6bee77SDenis Antrushin   }
3635f6bee77SDenis Antrushin 
getEHPad() const3645f6bee77SDenis Antrushin   MachineBasicBlock *getEHPad() const { return EHPad; }
3655f6bee77SDenis Antrushin 
3664275eb13SSerguei Katkov   // Return true if register is callee saved.
isCalleeSaved(Register Reg)3674275eb13SSerguei Katkov   bool isCalleeSaved(Register Reg) { return (Mask[Reg / 32] >> Reg % 32) & 1; }
3685f6bee77SDenis Antrushin 
3694275eb13SSerguei Katkov   // Iterates over statepoint meta args to find caller saver registers.
3704275eb13SSerguei Katkov   // Also cache the size of found registers.
3714275eb13SSerguei Katkov   // Returns true if caller save registers found.
findRegistersToSpill()3724275eb13SSerguei Katkov   bool findRegistersToSpill() {
373c08d48fcSDenis Antrushin     SmallSet<Register, 8> GCRegs;
374c08d48fcSDenis Antrushin     // All GC pointer operands assigned to registers produce new value.
375c08d48fcSDenis Antrushin     // Since they're tied to their defs, it is enough to collect def registers.
376c08d48fcSDenis Antrushin     for (const auto &Def : MI.defs())
377c08d48fcSDenis Antrushin       GCRegs.insert(Def.getReg());
378c08d48fcSDenis Antrushin 
3794275eb13SSerguei Katkov     SmallSet<Register, 8> VisitedRegs;
3804275eb13SSerguei Katkov     for (unsigned Idx = StatepointOpers(&MI).getVarIdx(),
3814275eb13SSerguei Katkov                   EndIdx = MI.getNumOperands();
3824275eb13SSerguei Katkov          Idx < EndIdx; ++Idx) {
3834275eb13SSerguei Katkov       MachineOperand &MO = MI.getOperand(Idx);
384f7443905SDenis Antrushin       // Leave `undef` operands as is, StackMaps will rewrite them
385f7443905SDenis Antrushin       // into a constant.
386f7443905SDenis Antrushin       if (!MO.isReg() || MO.isImplicit() || MO.isUndef())
3874275eb13SSerguei Katkov         continue;
3884275eb13SSerguei Katkov       Register Reg = MO.getReg();
3894275eb13SSerguei Katkov       assert(Reg.isPhysical() && "Only physical regs are expected");
3905f6bee77SDenis Antrushin 
3915f6bee77SDenis Antrushin       if (isCalleeSaved(Reg) && (AllowGCPtrInCSR || !is_contained(GCRegs, Reg)))
3924275eb13SSerguei Katkov         continue;
3935f6bee77SDenis Antrushin 
3945f6bee77SDenis Antrushin       LLVM_DEBUG(dbgs() << "Will spill " << printReg(Reg, &TRI) << " at index "
3955f6bee77SDenis Antrushin                         << Idx << "\n");
3965f6bee77SDenis Antrushin 
3974275eb13SSerguei Katkov       if (VisitedRegs.insert(Reg).second)
3984275eb13SSerguei Katkov         RegsToSpill.push_back(Reg);
3994275eb13SSerguei Katkov       OpsToSpill.push_back(Idx);
4004275eb13SSerguei Katkov     }
4014275eb13SSerguei Katkov     CacheFI.sortRegisters(RegsToSpill);
4024275eb13SSerguei Katkov     return !RegsToSpill.empty();
4034275eb13SSerguei Katkov   }
4045f6bee77SDenis Antrushin 
4054275eb13SSerguei Katkov   // Spill all caller saved registers right before statepoint instruction.
4064275eb13SSerguei Katkov   // Remember frame index where register is spilled.
spillRegisters()4074275eb13SSerguei Katkov   void spillRegisters() {
4084275eb13SSerguei Katkov     for (Register Reg : RegsToSpill) {
4095f6bee77SDenis Antrushin       int FI = CacheFI.getFrameIndex(Reg, EHPad);
4104275eb13SSerguei Katkov       const TargetRegisterClass *RC = TRI.getMinimalPhysRegClass(Reg);
4115f6bee77SDenis Antrushin 
4124275eb13SSerguei Katkov       NumSpilledRegisters++;
4134275eb13SSerguei Katkov       RegToSlotIdx[Reg] = FI;
4145f6bee77SDenis Antrushin 
4155f6bee77SDenis Antrushin       LLVM_DEBUG(dbgs() << "Spilling " << printReg(Reg, &TRI) << " to FI " << FI
4165f6bee77SDenis Antrushin                         << "\n");
4175f6bee77SDenis Antrushin 
4185f6bee77SDenis Antrushin       // Perform trivial copy propagation
4195f6bee77SDenis Antrushin       bool IsKill = true;
4205f6bee77SDenis Antrushin       MachineBasicBlock::iterator InsertBefore(MI);
4215f6bee77SDenis Antrushin       Reg = performCopyPropagation(Reg, InsertBefore, IsKill, TII, TRI);
4225f6bee77SDenis Antrushin 
4235f6bee77SDenis Antrushin       LLVM_DEBUG(dbgs() << "Insert spill before " << *InsertBefore);
4245f6bee77SDenis Antrushin       TII.storeRegToStackSlot(*MI.getParent(), InsertBefore, Reg, IsKill, FI,
4255f6bee77SDenis Antrushin                               RC, &TRI);
4264275eb13SSerguei Katkov     }
4274275eb13SSerguei Katkov   }
4285f6bee77SDenis Antrushin 
insertReloadBefore(unsigned Reg,MachineBasicBlock::iterator It,MachineBasicBlock * MBB)4295f6bee77SDenis Antrushin   void insertReloadBefore(unsigned Reg, MachineBasicBlock::iterator It,
4305f6bee77SDenis Antrushin                           MachineBasicBlock *MBB) {
4315f6bee77SDenis Antrushin     const TargetRegisterClass *RC = TRI.getMinimalPhysRegClass(Reg);
4325f6bee77SDenis Antrushin     int FI = RegToSlotIdx[Reg];
4335f6bee77SDenis Antrushin     if (It != MBB->end()) {
4345f6bee77SDenis Antrushin       TII.loadRegFromStackSlot(*MBB, It, Reg, FI, RC, &TRI);
4355f6bee77SDenis Antrushin       return;
4365f6bee77SDenis Antrushin     }
4375f6bee77SDenis Antrushin 
4385f6bee77SDenis Antrushin     // To insert reload at the end of MBB, insert it before last instruction
4395f6bee77SDenis Antrushin     // and then swap them.
4402082b10dSKazu Hirata     assert(!MBB->empty() && "Empty block");
4415f6bee77SDenis Antrushin     --It;
4425f6bee77SDenis Antrushin     TII.loadRegFromStackSlot(*MBB, It, Reg, FI, RC, &TRI);
4435f6bee77SDenis Antrushin     MachineInstr *Reload = It->getPrevNode();
4445f6bee77SDenis Antrushin     int Dummy = 0;
445fd9187f7SJordan Rupprecht     (void)Dummy;
4465f6bee77SDenis Antrushin     assert(TII.isLoadFromStackSlot(*Reload, Dummy) == Reg);
4475f6bee77SDenis Antrushin     assert(Dummy == FI);
4485f6bee77SDenis Antrushin     MBB->remove(Reload);
4495f6bee77SDenis Antrushin     MBB->insertAfter(It, Reload);
4505f6bee77SDenis Antrushin   }
4515f6bee77SDenis Antrushin 
4525f6bee77SDenis Antrushin   // Insert reloads of (relocated) registers spilled in statepoint.
insertReloads(MachineInstr * NewStatepoint,RegReloadCache & RC)4535f6bee77SDenis Antrushin   void insertReloads(MachineInstr *NewStatepoint, RegReloadCache &RC) {
4545f6bee77SDenis Antrushin     MachineBasicBlock *MBB = NewStatepoint->getParent();
4555f6bee77SDenis Antrushin     auto InsertPoint = std::next(NewStatepoint->getIterator());
4565f6bee77SDenis Antrushin 
4575f6bee77SDenis Antrushin     for (auto Reg : RegsToReload) {
4585f6bee77SDenis Antrushin       insertReloadBefore(Reg, InsertPoint, MBB);
4595f6bee77SDenis Antrushin       LLVM_DEBUG(dbgs() << "Reloading " << printReg(Reg, &TRI) << " from FI "
4605f6bee77SDenis Antrushin                         << RegToSlotIdx[Reg] << " after statepoint\n");
4615f6bee77SDenis Antrushin 
4625f6bee77SDenis Antrushin       if (EHPad && !RC.hasReload(Reg, RegToSlotIdx[Reg], EHPad)) {
4635f6bee77SDenis Antrushin         RC.recordReload(Reg, RegToSlotIdx[Reg], EHPad);
4645f6bee77SDenis Antrushin         auto EHPadInsertPoint = EHPad->SkipPHIsLabelsAndDebug(EHPad->begin());
4655f6bee77SDenis Antrushin         insertReloadBefore(Reg, EHPadInsertPoint, EHPad);
4665f6bee77SDenis Antrushin         LLVM_DEBUG(dbgs() << "...also reload at EHPad "
4675f6bee77SDenis Antrushin                           << printMBBReference(*EHPad) << "\n");
4685f6bee77SDenis Antrushin       }
4695f6bee77SDenis Antrushin     }
4705f6bee77SDenis Antrushin   }
4715f6bee77SDenis Antrushin 
4724275eb13SSerguei Katkov   // Re-write statepoint machine instruction to replace caller saved operands
4734275eb13SSerguei Katkov   // with indirect memory location (frame index).
rewriteStatepoint()4745f6bee77SDenis Antrushin   MachineInstr *rewriteStatepoint() {
4754275eb13SSerguei Katkov     MachineInstr *NewMI =
4764275eb13SSerguei Katkov         MF.CreateMachineInstr(TII.get(MI.getOpcode()), MI.getDebugLoc(), true);
4774275eb13SSerguei Katkov     MachineInstrBuilder MIB(MF, NewMI);
4784275eb13SSerguei Katkov 
4795f6bee77SDenis Antrushin     unsigned NumOps = MI.getNumOperands();
4805f6bee77SDenis Antrushin 
4815f6bee77SDenis Antrushin     // New indices for the remaining defs.
4825f6bee77SDenis Antrushin     SmallVector<unsigned, 8> NewIndices;
4835f6bee77SDenis Antrushin     unsigned NumDefs = MI.getNumDefs();
4845f6bee77SDenis Antrushin     for (unsigned I = 0; I < NumDefs; ++I) {
4855f6bee77SDenis Antrushin       MachineOperand &DefMO = MI.getOperand(I);
4865f6bee77SDenis Antrushin       assert(DefMO.isReg() && DefMO.isDef() && "Expected Reg Def operand");
4875f6bee77SDenis Antrushin       Register Reg = DefMO.getReg();
488de305b04SSerguei Katkov       assert(DefMO.isTied() && "Def is expected to be tied");
489de305b04SSerguei Katkov       // We skipped undef uses and did not spill them, so we should not
490de305b04SSerguei Katkov       // proceed with defs here.
491de305b04SSerguei Katkov       if (MI.getOperand(MI.findTiedOperandIdx(I)).isUndef()) {
492de305b04SSerguei Katkov         if (AllowGCPtrInCSR) {
493de305b04SSerguei Katkov           NewIndices.push_back(NewMI->getNumOperands());
494de305b04SSerguei Katkov           MIB.addReg(Reg, RegState::Define);
495de305b04SSerguei Katkov         }
496de305b04SSerguei Katkov         continue;
497de305b04SSerguei Katkov       }
4985f6bee77SDenis Antrushin       if (!AllowGCPtrInCSR) {
4995f6bee77SDenis Antrushin         assert(is_contained(RegsToSpill, Reg));
5005f6bee77SDenis Antrushin         RegsToReload.push_back(Reg);
5015f6bee77SDenis Antrushin       } else {
5025f6bee77SDenis Antrushin         if (isCalleeSaved(Reg)) {
5035f6bee77SDenis Antrushin           NewIndices.push_back(NewMI->getNumOperands());
5045f6bee77SDenis Antrushin           MIB.addReg(Reg, RegState::Define);
5055f6bee77SDenis Antrushin         } else {
5065f6bee77SDenis Antrushin           NewIndices.push_back(NumOps);
5075f6bee77SDenis Antrushin           RegsToReload.push_back(Reg);
5085f6bee77SDenis Antrushin         }
5095f6bee77SDenis Antrushin       }
5105f6bee77SDenis Antrushin     }
5115f6bee77SDenis Antrushin 
5124275eb13SSerguei Katkov     // Add End marker.
5134275eb13SSerguei Katkov     OpsToSpill.push_back(MI.getNumOperands());
5144275eb13SSerguei Katkov     unsigned CurOpIdx = 0;
5154275eb13SSerguei Katkov 
5165f6bee77SDenis Antrushin     for (unsigned I = NumDefs; I < MI.getNumOperands(); ++I) {
5174275eb13SSerguei Katkov       MachineOperand &MO = MI.getOperand(I);
5184275eb13SSerguei Katkov       if (I == OpsToSpill[CurOpIdx]) {
5194275eb13SSerguei Katkov         int FI = RegToSlotIdx[MO.getReg()];
5204275eb13SSerguei Katkov         MIB.addImm(StackMaps::IndirectMemRefOp);
5214275eb13SSerguei Katkov         MIB.addImm(getRegisterSize(TRI, MO.getReg()));
5224275eb13SSerguei Katkov         assert(MO.isReg() && "Should be register");
5234275eb13SSerguei Katkov         assert(MO.getReg().isPhysical() && "Should be physical register");
5244275eb13SSerguei Katkov         MIB.addFrameIndex(FI);
5254275eb13SSerguei Katkov         MIB.addImm(0);
5264275eb13SSerguei Katkov         ++CurOpIdx;
5275f6bee77SDenis Antrushin       } else {
5284275eb13SSerguei Katkov         MIB.add(MO);
5295f6bee77SDenis Antrushin         unsigned OldDef;
5305f6bee77SDenis Antrushin         if (AllowGCPtrInCSR && MI.isRegTiedToDefOperand(I, &OldDef)) {
5315f6bee77SDenis Antrushin           assert(OldDef < NumDefs);
5325f6bee77SDenis Antrushin           assert(NewIndices[OldDef] < NumOps);
5335f6bee77SDenis Antrushin           MIB->tieOperands(NewIndices[OldDef], MIB->getNumOperands() - 1);
5345f6bee77SDenis Antrushin         }
5355f6bee77SDenis Antrushin       }
5364275eb13SSerguei Katkov     }
5374275eb13SSerguei Katkov     assert(CurOpIdx == (OpsToSpill.size() - 1) && "Not all operands processed");
5384275eb13SSerguei Katkov     // Add mem operands.
5394275eb13SSerguei Katkov     NewMI->setMemRefs(MF, MI.memoperands());
5404275eb13SSerguei Katkov     for (auto It : RegToSlotIdx) {
5415f6bee77SDenis Antrushin       Register R = It.first;
5424275eb13SSerguei Katkov       int FrameIndex = It.second;
5434275eb13SSerguei Katkov       auto PtrInfo = MachinePointerInfo::getFixedStack(MF, FrameIndex);
5445f6bee77SDenis Antrushin       MachineMemOperand::Flags Flags = MachineMemOperand::MOLoad;
5455f6bee77SDenis Antrushin       if (is_contained(RegsToReload, R))
5465f6bee77SDenis Antrushin         Flags |= MachineMemOperand::MOStore;
5475f6bee77SDenis Antrushin       auto *MMO =
5485f6bee77SDenis Antrushin           MF.getMachineMemOperand(PtrInfo, Flags, getRegisterSize(TRI, R),
5494275eb13SSerguei Katkov                                   MFI.getObjectAlign(FrameIndex));
5504275eb13SSerguei Katkov       NewMI->addMemOperand(MF, MMO);
5514275eb13SSerguei Katkov     }
5525f6bee77SDenis Antrushin 
5534275eb13SSerguei Katkov     // Insert new statepoint and erase old one.
5544275eb13SSerguei Katkov     MI.getParent()->insert(MI, NewMI);
5555f6bee77SDenis Antrushin 
5565f6bee77SDenis Antrushin     LLVM_DEBUG(dbgs() << "rewritten statepoint to : " << *NewMI << "\n");
5574275eb13SSerguei Katkov     MI.eraseFromParent();
5585f6bee77SDenis Antrushin     return NewMI;
5594275eb13SSerguei Katkov   }
5604275eb13SSerguei Katkov };
5614275eb13SSerguei Katkov 
5624275eb13SSerguei Katkov class StatepointProcessor {
5634275eb13SSerguei Katkov private:
5644275eb13SSerguei Katkov   MachineFunction &MF;
5654275eb13SSerguei Katkov   const TargetRegisterInfo &TRI;
5664275eb13SSerguei Katkov   FrameIndexesCache CacheFI;
5675f6bee77SDenis Antrushin   RegReloadCache ReloadCache;
5684275eb13SSerguei Katkov 
5694275eb13SSerguei Katkov public:
StatepointProcessor(MachineFunction & MF)5704275eb13SSerguei Katkov   StatepointProcessor(MachineFunction &MF)
5714275eb13SSerguei Katkov       : MF(MF), TRI(*MF.getSubtarget().getRegisterInfo()),
5724275eb13SSerguei Katkov         CacheFI(MF.getFrameInfo(), TRI) {}
5734275eb13SSerguei Katkov 
process(MachineInstr & MI,bool AllowGCPtrInCSR)5745f6bee77SDenis Antrushin   bool process(MachineInstr &MI, bool AllowGCPtrInCSR) {
575edbb27ccSDenis Antrushin     StatepointOpers SO(&MI);
576edbb27ccSDenis Antrushin     uint64_t Flags = SO.getFlags();
5774275eb13SSerguei Katkov     // Do nothing for LiveIn, it supports all registers.
5784275eb13SSerguei Katkov     if (Flags & (uint64_t)StatepointFlags::DeoptLiveIn)
5794275eb13SSerguei Katkov       return false;
5805f6bee77SDenis Antrushin     LLVM_DEBUG(dbgs() << "\nMBB " << MI.getParent()->getNumber() << " "
5815f6bee77SDenis Antrushin                       << MI.getParent()->getName() << " : process statepoint "
5825f6bee77SDenis Antrushin                       << MI);
583edbb27ccSDenis Antrushin     CallingConv::ID CC = SO.getCallingConv();
5844275eb13SSerguei Katkov     const uint32_t *Mask = TRI.getCallPreservedMask(MF, CC);
5855f6bee77SDenis Antrushin     StatepointState SS(MI, Mask, CacheFI, AllowGCPtrInCSR);
5865f6bee77SDenis Antrushin     CacheFI.reset(SS.getEHPad());
5874275eb13SSerguei Katkov 
5884275eb13SSerguei Katkov     if (!SS.findRegistersToSpill())
5894275eb13SSerguei Katkov       return false;
5904275eb13SSerguei Katkov 
5914275eb13SSerguei Katkov     SS.spillRegisters();
5925f6bee77SDenis Antrushin     auto *NewStatepoint = SS.rewriteStatepoint();
5935f6bee77SDenis Antrushin     SS.insertReloads(NewStatepoint, ReloadCache);
5944275eb13SSerguei Katkov     return true;
5954275eb13SSerguei Katkov   }
5964275eb13SSerguei Katkov };
5971d42764dSBenjamin Kramer } // namespace
5984275eb13SSerguei Katkov 
runOnMachineFunction(MachineFunction & MF)5994275eb13SSerguei Katkov bool FixupStatepointCallerSaved::runOnMachineFunction(MachineFunction &MF) {
6004275eb13SSerguei Katkov   if (skipFunction(MF.getFunction()))
6014275eb13SSerguei Katkov     return false;
6024275eb13SSerguei Katkov 
6034275eb13SSerguei Katkov   const Function &F = MF.getFunction();
6044275eb13SSerguei Katkov   if (!F.hasGC())
6054275eb13SSerguei Katkov     return false;
6064275eb13SSerguei Katkov 
6074275eb13SSerguei Katkov   SmallVector<MachineInstr *, 16> Statepoints;
6084275eb13SSerguei Katkov   for (MachineBasicBlock &BB : MF)
6094275eb13SSerguei Katkov     for (MachineInstr &I : BB)
6104275eb13SSerguei Katkov       if (I.getOpcode() == TargetOpcode::STATEPOINT)
6114275eb13SSerguei Katkov         Statepoints.push_back(&I);
6124275eb13SSerguei Katkov 
6134275eb13SSerguei Katkov   if (Statepoints.empty())
6144275eb13SSerguei Katkov     return false;
6154275eb13SSerguei Katkov 
6164275eb13SSerguei Katkov   bool Changed = false;
6174275eb13SSerguei Katkov   StatepointProcessor SPP(MF);
6185f6bee77SDenis Antrushin   unsigned NumStatepoints = 0;
6195f6bee77SDenis Antrushin   bool AllowGCPtrInCSR = PassGCPtrInCSR;
6205f6bee77SDenis Antrushin   for (MachineInstr *I : Statepoints) {
6215f6bee77SDenis Antrushin     ++NumStatepoints;
6225f6bee77SDenis Antrushin     if (MaxStatepointsWithRegs.getNumOccurrences() &&
6235f6bee77SDenis Antrushin         NumStatepoints >= MaxStatepointsWithRegs)
6245f6bee77SDenis Antrushin       AllowGCPtrInCSR = false;
6255f6bee77SDenis Antrushin     Changed |= SPP.process(*I, AllowGCPtrInCSR);
6265f6bee77SDenis Antrushin   }
6274275eb13SSerguei Katkov   return Changed;
6284275eb13SSerguei Katkov }
629