10b57cec5SDimitry Andric //===- LocalStackSlotAllocation.cpp - Pre-allocate locals to stack slots --===// 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 //===----------------------------------------------------------------------===// 80b57cec5SDimitry Andric // 90b57cec5SDimitry Andric // This pass assigns local frame indices to stack slots relative to one another 100b57cec5SDimitry Andric // and allocates additional base registers to access them when the target 110b57cec5SDimitry Andric // estimates they are likely to be out of range of stack pointer and frame 120b57cec5SDimitry Andric // pointer relative addressing. 130b57cec5SDimitry Andric // 140b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 150b57cec5SDimitry Andric 16*0fca6ea1SDimitry Andric #include "llvm/CodeGen/LocalStackSlotAllocation.h" 170b57cec5SDimitry Andric #include "llvm/ADT/SetVector.h" 180b57cec5SDimitry Andric #include "llvm/ADT/SmallSet.h" 190b57cec5SDimitry Andric #include "llvm/ADT/SmallVector.h" 200b57cec5SDimitry Andric #include "llvm/ADT/Statistic.h" 210b57cec5SDimitry Andric #include "llvm/CodeGen/MachineBasicBlock.h" 220b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFrameInfo.h" 230b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunction.h" 240b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunctionPass.h" 250b57cec5SDimitry Andric #include "llvm/CodeGen/MachineInstr.h" 260b57cec5SDimitry Andric #include "llvm/CodeGen/MachineOperand.h" 270b57cec5SDimitry Andric #include "llvm/CodeGen/TargetFrameLowering.h" 280b57cec5SDimitry Andric #include "llvm/CodeGen/TargetOpcodes.h" 290b57cec5SDimitry Andric #include "llvm/CodeGen/TargetRegisterInfo.h" 300b57cec5SDimitry Andric #include "llvm/CodeGen/TargetSubtargetInfo.h" 31480093f4SDimitry Andric #include "llvm/InitializePasses.h" 320b57cec5SDimitry Andric #include "llvm/Pass.h" 330b57cec5SDimitry Andric #include "llvm/Support/Debug.h" 340b57cec5SDimitry Andric #include "llvm/Support/ErrorHandling.h" 350b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h" 360b57cec5SDimitry Andric #include <algorithm> 370b57cec5SDimitry Andric #include <cassert> 380b57cec5SDimitry Andric #include <cstdint> 390b57cec5SDimitry Andric #include <tuple> 400b57cec5SDimitry Andric 410b57cec5SDimitry Andric using namespace llvm; 420b57cec5SDimitry Andric 430b57cec5SDimitry Andric #define DEBUG_TYPE "localstackalloc" 440b57cec5SDimitry Andric 450b57cec5SDimitry Andric STATISTIC(NumAllocations, "Number of frame indices allocated into local block"); 460b57cec5SDimitry Andric STATISTIC(NumBaseRegisters, "Number of virtual frame base registers allocated"); 470b57cec5SDimitry Andric STATISTIC(NumReplacements, "Number of frame indices references replaced"); 480b57cec5SDimitry Andric 490b57cec5SDimitry Andric namespace { 500b57cec5SDimitry Andric 510b57cec5SDimitry Andric class FrameRef { 520b57cec5SDimitry Andric MachineBasicBlock::iterator MI; // Instr referencing the frame 530b57cec5SDimitry Andric int64_t LocalOffset; // Local offset of the frame idx referenced 540b57cec5SDimitry Andric int FrameIdx; // The frame index 550b57cec5SDimitry Andric 560b57cec5SDimitry Andric // Order reference instruction appears in program. Used to ensure 570b57cec5SDimitry Andric // deterministic order when multiple instructions may reference the same 580b57cec5SDimitry Andric // location. 590b57cec5SDimitry Andric unsigned Order; 600b57cec5SDimitry Andric 610b57cec5SDimitry Andric public: 620b57cec5SDimitry Andric FrameRef(MachineInstr *I, int64_t Offset, int Idx, unsigned Ord) : 630b57cec5SDimitry Andric MI(I), LocalOffset(Offset), FrameIdx(Idx), Order(Ord) {} 640b57cec5SDimitry Andric 650b57cec5SDimitry Andric bool operator<(const FrameRef &RHS) const { 660b57cec5SDimitry Andric return std::tie(LocalOffset, FrameIdx, Order) < 670b57cec5SDimitry Andric std::tie(RHS.LocalOffset, RHS.FrameIdx, RHS.Order); 680b57cec5SDimitry Andric } 690b57cec5SDimitry Andric 700b57cec5SDimitry Andric MachineBasicBlock::iterator getMachineInstr() const { return MI; } 710b57cec5SDimitry Andric int64_t getLocalOffset() const { return LocalOffset; } 720b57cec5SDimitry Andric int getFrameIndex() const { return FrameIdx; } 730b57cec5SDimitry Andric }; 740b57cec5SDimitry Andric 75*0fca6ea1SDimitry Andric class LocalStackSlotImpl { 760b57cec5SDimitry Andric SmallVector<int64_t, 16> LocalOffsets; 770b57cec5SDimitry Andric 780b57cec5SDimitry Andric /// StackObjSet - A set of stack object indexes 790b57cec5SDimitry Andric using StackObjSet = SmallSetVector<int, 8>; 800b57cec5SDimitry Andric 810b57cec5SDimitry Andric void AdjustStackOffset(MachineFrameInfo &MFI, int FrameIdx, int64_t &Offset, 825ffd83dbSDimitry Andric bool StackGrowsDown, Align &MaxAlign); 830b57cec5SDimitry Andric void AssignProtectedObjSet(const StackObjSet &UnassignedObjs, 840b57cec5SDimitry Andric SmallSet<int, 16> &ProtectedObjs, 850b57cec5SDimitry Andric MachineFrameInfo &MFI, bool StackGrowsDown, 865ffd83dbSDimitry Andric int64_t &Offset, Align &MaxAlign); 870b57cec5SDimitry Andric void calculateFrameObjectOffsets(MachineFunction &Fn); 880b57cec5SDimitry Andric bool insertFrameReferenceRegisters(MachineFunction &Fn); 890b57cec5SDimitry Andric 900b57cec5SDimitry Andric public: 91*0fca6ea1SDimitry Andric bool runOnMachineFunction(MachineFunction &MF); 92*0fca6ea1SDimitry Andric }; 93*0fca6ea1SDimitry Andric 94*0fca6ea1SDimitry Andric class LocalStackSlotPass : public MachineFunctionPass { 95*0fca6ea1SDimitry Andric public: 960b57cec5SDimitry Andric static char ID; // Pass identification, replacement for typeid 970b57cec5SDimitry Andric 980b57cec5SDimitry Andric explicit LocalStackSlotPass() : MachineFunctionPass(ID) { 990b57cec5SDimitry Andric initializeLocalStackSlotPassPass(*PassRegistry::getPassRegistry()); 1000b57cec5SDimitry Andric } 1010b57cec5SDimitry Andric 102*0fca6ea1SDimitry Andric bool runOnMachineFunction(MachineFunction &MF) override { 103*0fca6ea1SDimitry Andric return LocalStackSlotImpl().runOnMachineFunction(MF); 104*0fca6ea1SDimitry Andric } 1050b57cec5SDimitry Andric 1060b57cec5SDimitry Andric void getAnalysisUsage(AnalysisUsage &AU) const override { 1070b57cec5SDimitry Andric AU.setPreservesCFG(); 1080b57cec5SDimitry Andric MachineFunctionPass::getAnalysisUsage(AU); 1090b57cec5SDimitry Andric } 1100b57cec5SDimitry Andric }; 1110b57cec5SDimitry Andric 1120b57cec5SDimitry Andric } // end anonymous namespace 1130b57cec5SDimitry Andric 114*0fca6ea1SDimitry Andric PreservedAnalyses 115*0fca6ea1SDimitry Andric LocalStackSlotAllocationPass::run(MachineFunction &MF, 116*0fca6ea1SDimitry Andric MachineFunctionAnalysisManager &) { 117*0fca6ea1SDimitry Andric bool Changed = LocalStackSlotImpl().runOnMachineFunction(MF); 118*0fca6ea1SDimitry Andric if (!Changed) 119*0fca6ea1SDimitry Andric return PreservedAnalyses::all(); 120*0fca6ea1SDimitry Andric auto PA = getMachineFunctionPassPreservedAnalyses(); 121*0fca6ea1SDimitry Andric PA.preserveSet<CFGAnalyses>(); 122*0fca6ea1SDimitry Andric return PA; 123*0fca6ea1SDimitry Andric } 124*0fca6ea1SDimitry Andric 1250b57cec5SDimitry Andric char LocalStackSlotPass::ID = 0; 1260b57cec5SDimitry Andric 1270b57cec5SDimitry Andric char &llvm::LocalStackSlotAllocationID = LocalStackSlotPass::ID; 1280b57cec5SDimitry Andric INITIALIZE_PASS(LocalStackSlotPass, DEBUG_TYPE, 1290b57cec5SDimitry Andric "Local Stack Slot Allocation", false, false) 1300b57cec5SDimitry Andric 131*0fca6ea1SDimitry Andric bool LocalStackSlotImpl::runOnMachineFunction(MachineFunction &MF) { 1320b57cec5SDimitry Andric MachineFrameInfo &MFI = MF.getFrameInfo(); 1330b57cec5SDimitry Andric const TargetRegisterInfo *TRI = MF.getSubtarget().getRegisterInfo(); 1340b57cec5SDimitry Andric unsigned LocalObjectCount = MFI.getObjectIndexEnd(); 1350b57cec5SDimitry Andric 1360b57cec5SDimitry Andric // If the target doesn't want/need this pass, or if there are no locals 1370b57cec5SDimitry Andric // to consider, early exit. 138e8d8bef9SDimitry Andric if (LocalObjectCount == 0 || !TRI->requiresVirtualBaseRegisters(MF)) 13981ad6265SDimitry Andric return false; 1400b57cec5SDimitry Andric 1410b57cec5SDimitry Andric // Make sure we have enough space to store the local offsets. 1420b57cec5SDimitry Andric LocalOffsets.resize(MFI.getObjectIndexEnd()); 1430b57cec5SDimitry Andric 1440b57cec5SDimitry Andric // Lay out the local blob. 1450b57cec5SDimitry Andric calculateFrameObjectOffsets(MF); 1460b57cec5SDimitry Andric 1470b57cec5SDimitry Andric // Insert virtual base registers to resolve frame index references. 1480b57cec5SDimitry Andric bool UsedBaseRegs = insertFrameReferenceRegisters(MF); 1490b57cec5SDimitry Andric 1500b57cec5SDimitry Andric // Tell MFI whether any base registers were allocated. PEI will only 1510b57cec5SDimitry Andric // want to use the local block allocations from this pass if there were any. 1520b57cec5SDimitry Andric // Otherwise, PEI can do a bit better job of getting the alignment right 1530b57cec5SDimitry Andric // without a hole at the start since it knows the alignment of the stack 1540b57cec5SDimitry Andric // at the start of local allocation, and this pass doesn't. 1550b57cec5SDimitry Andric MFI.setUseLocalStackAllocationBlock(UsedBaseRegs); 1560b57cec5SDimitry Andric 1570b57cec5SDimitry Andric return true; 1580b57cec5SDimitry Andric } 1590b57cec5SDimitry Andric 1600b57cec5SDimitry Andric /// AdjustStackOffset - Helper function used to adjust the stack frame offset. 161*0fca6ea1SDimitry Andric void LocalStackSlotImpl::AdjustStackOffset(MachineFrameInfo &MFI, int FrameIdx, 1625ffd83dbSDimitry Andric int64_t &Offset, bool StackGrowsDown, 1635ffd83dbSDimitry Andric Align &MaxAlign) { 1640b57cec5SDimitry Andric // If the stack grows down, add the object size to find the lowest address. 1650b57cec5SDimitry Andric if (StackGrowsDown) 1660b57cec5SDimitry Andric Offset += MFI.getObjectSize(FrameIdx); 1670b57cec5SDimitry Andric 1685ffd83dbSDimitry Andric Align Alignment = MFI.getObjectAlign(FrameIdx); 1690b57cec5SDimitry Andric 1700b57cec5SDimitry Andric // If the alignment of this object is greater than that of the stack, then 1710b57cec5SDimitry Andric // increase the stack alignment to match. 1725ffd83dbSDimitry Andric MaxAlign = std::max(MaxAlign, Alignment); 1730b57cec5SDimitry Andric 1740b57cec5SDimitry Andric // Adjust to alignment boundary. 1755ffd83dbSDimitry Andric Offset = alignTo(Offset, Alignment); 1760b57cec5SDimitry Andric 1770b57cec5SDimitry Andric int64_t LocalOffset = StackGrowsDown ? -Offset : Offset; 1780b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Allocate FI(" << FrameIdx << ") to local offset " 1790b57cec5SDimitry Andric << LocalOffset << "\n"); 1800b57cec5SDimitry Andric // Keep the offset available for base register allocation 1810b57cec5SDimitry Andric LocalOffsets[FrameIdx] = LocalOffset; 1820b57cec5SDimitry Andric // And tell MFI about it for PEI to use later 1830b57cec5SDimitry Andric MFI.mapLocalFrameObject(FrameIdx, LocalOffset); 1840b57cec5SDimitry Andric 1850b57cec5SDimitry Andric if (!StackGrowsDown) 1860b57cec5SDimitry Andric Offset += MFI.getObjectSize(FrameIdx); 1870b57cec5SDimitry Andric 1880b57cec5SDimitry Andric ++NumAllocations; 1890b57cec5SDimitry Andric } 1900b57cec5SDimitry Andric 1910b57cec5SDimitry Andric /// AssignProtectedObjSet - Helper function to assign large stack objects (i.e., 1920b57cec5SDimitry Andric /// those required to be close to the Stack Protector) to stack offsets. 193*0fca6ea1SDimitry Andric void LocalStackSlotImpl::AssignProtectedObjSet( 1945ffd83dbSDimitry Andric const StackObjSet &UnassignedObjs, SmallSet<int, 16> &ProtectedObjs, 1955ffd83dbSDimitry Andric MachineFrameInfo &MFI, bool StackGrowsDown, int64_t &Offset, 1965ffd83dbSDimitry Andric Align &MaxAlign) { 197fe6060f1SDimitry Andric for (int i : UnassignedObjs) { 1980b57cec5SDimitry Andric AdjustStackOffset(MFI, i, Offset, StackGrowsDown, MaxAlign); 1990b57cec5SDimitry Andric ProtectedObjs.insert(i); 2000b57cec5SDimitry Andric } 2010b57cec5SDimitry Andric } 2020b57cec5SDimitry Andric 2030b57cec5SDimitry Andric /// calculateFrameObjectOffsets - Calculate actual frame offsets for all of the 2040b57cec5SDimitry Andric /// abstract stack objects. 205*0fca6ea1SDimitry Andric void LocalStackSlotImpl::calculateFrameObjectOffsets(MachineFunction &Fn) { 2060b57cec5SDimitry Andric // Loop over all of the stack objects, assigning sequential addresses... 2070b57cec5SDimitry Andric MachineFrameInfo &MFI = Fn.getFrameInfo(); 2080b57cec5SDimitry Andric const TargetFrameLowering &TFI = *Fn.getSubtarget().getFrameLowering(); 2090b57cec5SDimitry Andric bool StackGrowsDown = 2100b57cec5SDimitry Andric TFI.getStackGrowthDirection() == TargetFrameLowering::StackGrowsDown; 2110b57cec5SDimitry Andric int64_t Offset = 0; 2125ffd83dbSDimitry Andric Align MaxAlign; 2130b57cec5SDimitry Andric 2140b57cec5SDimitry Andric // Make sure that the stack protector comes before the local variables on the 2150b57cec5SDimitry Andric // stack. 2160b57cec5SDimitry Andric SmallSet<int, 16> ProtectedObjs; 2170b57cec5SDimitry Andric if (MFI.hasStackProtectorIndex()) { 2180b57cec5SDimitry Andric int StackProtectorFI = MFI.getStackProtectorIndex(); 2190b57cec5SDimitry Andric 2200b57cec5SDimitry Andric // We need to make sure we didn't pre-allocate the stack protector when 2210b57cec5SDimitry Andric // doing this. 2220b57cec5SDimitry Andric // If we already have a stack protector, this will re-assign it to a slot 2230b57cec5SDimitry Andric // that is **not** covering the protected objects. 2240b57cec5SDimitry Andric assert(!MFI.isObjectPreAllocated(StackProtectorFI) && 2250b57cec5SDimitry Andric "Stack protector pre-allocated in LocalStackSlotAllocation"); 2260b57cec5SDimitry Andric 2270b57cec5SDimitry Andric StackObjSet LargeArrayObjs; 2280b57cec5SDimitry Andric StackObjSet SmallArrayObjs; 2290b57cec5SDimitry Andric StackObjSet AddrOfObjs; 2300b57cec5SDimitry Andric 2310eae32dcSDimitry Andric // Only place the stack protector in the local stack area if the target 2320eae32dcSDimitry Andric // allows it. 2330eae32dcSDimitry Andric if (TFI.isStackIdSafeForLocalArea(MFI.getStackID(StackProtectorFI))) 2340eae32dcSDimitry Andric AdjustStackOffset(MFI, StackProtectorFI, Offset, StackGrowsDown, 2350eae32dcSDimitry Andric MaxAlign); 2360b57cec5SDimitry Andric 2370b57cec5SDimitry Andric // Assign large stack objects first. 2380b57cec5SDimitry Andric for (unsigned i = 0, e = MFI.getObjectIndexEnd(); i != e; ++i) { 2390b57cec5SDimitry Andric if (MFI.isDeadObjectIndex(i)) 2400b57cec5SDimitry Andric continue; 2410b57cec5SDimitry Andric if (StackProtectorFI == (int)i) 2420b57cec5SDimitry Andric continue; 243979e22ffSDimitry Andric if (!TFI.isStackIdSafeForLocalArea(MFI.getStackID(i))) 244979e22ffSDimitry Andric continue; 2450b57cec5SDimitry Andric 2460b57cec5SDimitry Andric switch (MFI.getObjectSSPLayout(i)) { 2470b57cec5SDimitry Andric case MachineFrameInfo::SSPLK_None: 2480b57cec5SDimitry Andric continue; 2490b57cec5SDimitry Andric case MachineFrameInfo::SSPLK_SmallArray: 2500b57cec5SDimitry Andric SmallArrayObjs.insert(i); 2510b57cec5SDimitry Andric continue; 2520b57cec5SDimitry Andric case MachineFrameInfo::SSPLK_AddrOf: 2530b57cec5SDimitry Andric AddrOfObjs.insert(i); 2540b57cec5SDimitry Andric continue; 2550b57cec5SDimitry Andric case MachineFrameInfo::SSPLK_LargeArray: 2560b57cec5SDimitry Andric LargeArrayObjs.insert(i); 2570b57cec5SDimitry Andric continue; 2580b57cec5SDimitry Andric } 2590b57cec5SDimitry Andric llvm_unreachable("Unexpected SSPLayoutKind."); 2600b57cec5SDimitry Andric } 2610b57cec5SDimitry Andric 2620b57cec5SDimitry Andric AssignProtectedObjSet(LargeArrayObjs, ProtectedObjs, MFI, StackGrowsDown, 2630b57cec5SDimitry Andric Offset, MaxAlign); 2640b57cec5SDimitry Andric AssignProtectedObjSet(SmallArrayObjs, ProtectedObjs, MFI, StackGrowsDown, 2650b57cec5SDimitry Andric Offset, MaxAlign); 2660b57cec5SDimitry Andric AssignProtectedObjSet(AddrOfObjs, ProtectedObjs, MFI, StackGrowsDown, 2670b57cec5SDimitry Andric Offset, MaxAlign); 2680b57cec5SDimitry Andric } 2690b57cec5SDimitry Andric 2700b57cec5SDimitry Andric // Then assign frame offsets to stack objects that are not used to spill 2710b57cec5SDimitry Andric // callee saved registers. 2720b57cec5SDimitry Andric for (unsigned i = 0, e = MFI.getObjectIndexEnd(); i != e; ++i) { 2730b57cec5SDimitry Andric if (MFI.isDeadObjectIndex(i)) 2740b57cec5SDimitry Andric continue; 2750b57cec5SDimitry Andric if (MFI.getStackProtectorIndex() == (int)i) 2760b57cec5SDimitry Andric continue; 2770b57cec5SDimitry Andric if (ProtectedObjs.count(i)) 2780b57cec5SDimitry Andric continue; 279979e22ffSDimitry Andric if (!TFI.isStackIdSafeForLocalArea(MFI.getStackID(i))) 280979e22ffSDimitry Andric continue; 2810b57cec5SDimitry Andric 2820b57cec5SDimitry Andric AdjustStackOffset(MFI, i, Offset, StackGrowsDown, MaxAlign); 2830b57cec5SDimitry Andric } 2840b57cec5SDimitry Andric 2850b57cec5SDimitry Andric // Remember how big this blob of stack space is 2860b57cec5SDimitry Andric MFI.setLocalFrameSize(Offset); 2875ffd83dbSDimitry Andric MFI.setLocalFrameMaxAlign(MaxAlign); 2880b57cec5SDimitry Andric } 2890b57cec5SDimitry Andric 2900b57cec5SDimitry Andric static inline bool 2910b57cec5SDimitry Andric lookupCandidateBaseReg(unsigned BaseReg, 2920b57cec5SDimitry Andric int64_t BaseOffset, 2930b57cec5SDimitry Andric int64_t FrameSizeAdjust, 2940b57cec5SDimitry Andric int64_t LocalFrameOffset, 2950b57cec5SDimitry Andric const MachineInstr &MI, 2960b57cec5SDimitry Andric const TargetRegisterInfo *TRI) { 2970b57cec5SDimitry Andric // Check if the relative offset from the where the base register references 2980b57cec5SDimitry Andric // to the target address is in range for the instruction. 2990b57cec5SDimitry Andric int64_t Offset = FrameSizeAdjust + LocalFrameOffset - BaseOffset; 3000b57cec5SDimitry Andric return TRI->isFrameOffsetLegal(&MI, BaseReg, Offset); 3010b57cec5SDimitry Andric } 3020b57cec5SDimitry Andric 303*0fca6ea1SDimitry Andric bool LocalStackSlotImpl::insertFrameReferenceRegisters(MachineFunction &Fn) { 3040b57cec5SDimitry Andric // Scan the function's instructions looking for frame index references. 3050b57cec5SDimitry Andric // For each, ask the target if it wants a virtual base register for it 3060b57cec5SDimitry Andric // based on what we can tell it about where the local will end up in the 3070b57cec5SDimitry Andric // stack frame. If it wants one, re-use a suitable one we've previously 3080b57cec5SDimitry Andric // allocated, or if there isn't one that fits the bill, allocate a new one 3090b57cec5SDimitry Andric // and ask the target to create a defining instruction for it. 3100b57cec5SDimitry Andric 3110b57cec5SDimitry Andric MachineFrameInfo &MFI = Fn.getFrameInfo(); 3120b57cec5SDimitry Andric const TargetRegisterInfo *TRI = Fn.getSubtarget().getRegisterInfo(); 3130b57cec5SDimitry Andric const TargetFrameLowering &TFI = *Fn.getSubtarget().getFrameLowering(); 3140b57cec5SDimitry Andric bool StackGrowsDown = 3150b57cec5SDimitry Andric TFI.getStackGrowthDirection() == TargetFrameLowering::StackGrowsDown; 3160b57cec5SDimitry Andric 3170b57cec5SDimitry Andric // Collect all of the instructions in the block that reference 3180b57cec5SDimitry Andric // a frame index. Also store the frame index referenced to ease later 3190b57cec5SDimitry Andric // lookup. (For any insn that has more than one FI reference, we arbitrarily 3200b57cec5SDimitry Andric // choose the first one). 3210b57cec5SDimitry Andric SmallVector<FrameRef, 64> FrameReferenceInsns; 3220b57cec5SDimitry Andric 3230b57cec5SDimitry Andric unsigned Order = 0; 3240b57cec5SDimitry Andric 3250b57cec5SDimitry Andric for (MachineBasicBlock &BB : Fn) { 3260b57cec5SDimitry Andric for (MachineInstr &MI : BB) { 3270b57cec5SDimitry Andric // Debug value, stackmap and patchpoint instructions can't be out of 3280b57cec5SDimitry Andric // range, so they don't need any updates. 3290b57cec5SDimitry Andric if (MI.isDebugInstr() || MI.getOpcode() == TargetOpcode::STATEPOINT || 3300b57cec5SDimitry Andric MI.getOpcode() == TargetOpcode::STACKMAP || 3310b57cec5SDimitry Andric MI.getOpcode() == TargetOpcode::PATCHPOINT) 3320b57cec5SDimitry Andric continue; 3330b57cec5SDimitry Andric 3340b57cec5SDimitry Andric // For now, allocate the base register(s) within the basic block 3350b57cec5SDimitry Andric // where they're used, and don't try to keep them around outside 3360b57cec5SDimitry Andric // of that. It may be beneficial to try sharing them more broadly 3370b57cec5SDimitry Andric // than that, but the increased register pressure makes that a 3380b57cec5SDimitry Andric // tricky thing to balance. Investigate if re-materializing these 3390b57cec5SDimitry Andric // becomes an issue. 3404824e7fdSDimitry Andric for (const MachineOperand &MO : MI.operands()) { 3410b57cec5SDimitry Andric // Consider replacing all frame index operands that reference 3420b57cec5SDimitry Andric // an object allocated in the local block. 3434824e7fdSDimitry Andric if (MO.isFI()) { 3440b57cec5SDimitry Andric // Don't try this with values not in the local block. 3454824e7fdSDimitry Andric if (!MFI.isObjectPreAllocated(MO.getIndex())) 3460b57cec5SDimitry Andric break; 3474824e7fdSDimitry Andric int Idx = MO.getIndex(); 3480b57cec5SDimitry Andric int64_t LocalOffset = LocalOffsets[Idx]; 3490b57cec5SDimitry Andric if (!TRI->needsFrameBaseReg(&MI, LocalOffset)) 3500b57cec5SDimitry Andric break; 3510b57cec5SDimitry Andric FrameReferenceInsns.push_back(FrameRef(&MI, LocalOffset, Idx, Order++)); 3520b57cec5SDimitry Andric break; 3530b57cec5SDimitry Andric } 3540b57cec5SDimitry Andric } 3550b57cec5SDimitry Andric } 3560b57cec5SDimitry Andric } 3570b57cec5SDimitry Andric 3580b57cec5SDimitry Andric // Sort the frame references by local offset. 3590b57cec5SDimitry Andric // Use frame index as a tie-breaker in case MI's have the same offset. 3600b57cec5SDimitry Andric llvm::sort(FrameReferenceInsns); 3610b57cec5SDimitry Andric 3620b57cec5SDimitry Andric MachineBasicBlock *Entry = &Fn.front(); 3630b57cec5SDimitry Andric 36481ad6265SDimitry Andric Register BaseReg; 3650b57cec5SDimitry Andric int64_t BaseOffset = 0; 3660b57cec5SDimitry Andric 3670b57cec5SDimitry Andric // Loop through the frame references and allocate for them as necessary. 3680b57cec5SDimitry Andric for (int ref = 0, e = FrameReferenceInsns.size(); ref < e ; ++ref) { 3690b57cec5SDimitry Andric FrameRef &FR = FrameReferenceInsns[ref]; 3700b57cec5SDimitry Andric MachineInstr &MI = *FR.getMachineInstr(); 3710b57cec5SDimitry Andric int64_t LocalOffset = FR.getLocalOffset(); 3720b57cec5SDimitry Andric int FrameIdx = FR.getFrameIndex(); 3730b57cec5SDimitry Andric assert(MFI.isObjectPreAllocated(FrameIdx) && 3740b57cec5SDimitry Andric "Only pre-allocated locals expected!"); 3750b57cec5SDimitry Andric 3760b57cec5SDimitry Andric // We need to keep the references to the stack protector slot through frame 3770b57cec5SDimitry Andric // index operands so that it gets resolved by PEI rather than this pass. 3780b57cec5SDimitry Andric // This avoids accesses to the stack protector though virtual base 3790b57cec5SDimitry Andric // registers, and forces PEI to address it using fp/sp/bp. 3800b57cec5SDimitry Andric if (MFI.hasStackProtectorIndex() && 3810b57cec5SDimitry Andric FrameIdx == MFI.getStackProtectorIndex()) 3820b57cec5SDimitry Andric continue; 3830b57cec5SDimitry Andric 3840b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Considering: " << MI); 3850b57cec5SDimitry Andric 3860b57cec5SDimitry Andric unsigned idx = 0; 3870b57cec5SDimitry Andric for (unsigned f = MI.getNumOperands(); idx != f; ++idx) { 3880b57cec5SDimitry Andric if (!MI.getOperand(idx).isFI()) 3890b57cec5SDimitry Andric continue; 3900b57cec5SDimitry Andric 3910b57cec5SDimitry Andric if (FrameIdx == MI.getOperand(idx).getIndex()) 3920b57cec5SDimitry Andric break; 3930b57cec5SDimitry Andric } 3940b57cec5SDimitry Andric 3950b57cec5SDimitry Andric assert(idx < MI.getNumOperands() && "Cannot find FI operand"); 3960b57cec5SDimitry Andric 3970b57cec5SDimitry Andric int64_t Offset = 0; 3980b57cec5SDimitry Andric int64_t FrameSizeAdjust = StackGrowsDown ? MFI.getLocalFrameSize() : 0; 3990b57cec5SDimitry Andric 4000b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " Replacing FI in: " << MI); 4010b57cec5SDimitry Andric 4020b57cec5SDimitry Andric // If we have a suitable base register available, use it; otherwise 4030b57cec5SDimitry Andric // create a new one. Note that any offset encoded in the 4040b57cec5SDimitry Andric // instruction itself will be taken into account by the target, 4050b57cec5SDimitry Andric // so we don't have to adjust for it here when reusing a base 4060b57cec5SDimitry Andric // register. 407bdd1243dSDimitry Andric if (BaseReg.isValid() && 4080b57cec5SDimitry Andric lookupCandidateBaseReg(BaseReg, BaseOffset, FrameSizeAdjust, 4090b57cec5SDimitry Andric LocalOffset, MI, TRI)) { 4100b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " Reusing base register " << BaseReg << "\n"); 4110b57cec5SDimitry Andric // We found a register to reuse. 4120b57cec5SDimitry Andric Offset = FrameSizeAdjust + LocalOffset - BaseOffset; 4130b57cec5SDimitry Andric } else { 4140b57cec5SDimitry Andric // No previously defined register was in range, so create a new one. 4150b57cec5SDimitry Andric int64_t InstrOffset = TRI->getFrameIndexInstrOffset(&MI, idx); 4160b57cec5SDimitry Andric 417bdd1243dSDimitry Andric int64_t CandBaseOffset = FrameSizeAdjust + LocalOffset + InstrOffset; 4180b57cec5SDimitry Andric 4190b57cec5SDimitry Andric // We'd like to avoid creating single-use virtual base registers. 4200b57cec5SDimitry Andric // Because the FrameRefs are in sorted order, and we've already 4210b57cec5SDimitry Andric // processed all FrameRefs before this one, just check whether or not 4220b57cec5SDimitry Andric // the next FrameRef will be able to reuse this new register. If not, 4230b57cec5SDimitry Andric // then don't bother creating it. 4240b57cec5SDimitry Andric if (ref + 1 >= e || 4250b57cec5SDimitry Andric !lookupCandidateBaseReg( 426bdd1243dSDimitry Andric BaseReg, CandBaseOffset, FrameSizeAdjust, 4270b57cec5SDimitry Andric FrameReferenceInsns[ref + 1].getLocalOffset(), 428bdd1243dSDimitry Andric *FrameReferenceInsns[ref + 1].getMachineInstr(), TRI)) 4290b57cec5SDimitry Andric continue; 430bdd1243dSDimitry Andric 431bdd1243dSDimitry Andric // Save the base offset. 432bdd1243dSDimitry Andric BaseOffset = CandBaseOffset; 4330b57cec5SDimitry Andric 4340b57cec5SDimitry Andric // Tell the target to insert the instruction to initialize 4350b57cec5SDimitry Andric // the base register. 4360b57cec5SDimitry Andric // MachineBasicBlock::iterator InsertionPt = Entry->begin(); 437e8d8bef9SDimitry Andric BaseReg = TRI->materializeFrameBaseRegister(Entry, FrameIdx, InstrOffset); 438e8d8bef9SDimitry Andric 43981ad6265SDimitry Andric LLVM_DEBUG(dbgs() << " Materialized base register at frame local offset " 44081ad6265SDimitry Andric << LocalOffset + InstrOffset 44181ad6265SDimitry Andric << " into " << printReg(BaseReg, TRI) << '\n'); 4420b57cec5SDimitry Andric 4430b57cec5SDimitry Andric // The base register already includes any offset specified 4440b57cec5SDimitry Andric // by the instruction, so account for that so it doesn't get 4450b57cec5SDimitry Andric // applied twice. 4460b57cec5SDimitry Andric Offset = -InstrOffset; 4470b57cec5SDimitry Andric 4480b57cec5SDimitry Andric ++NumBaseRegisters; 4490b57cec5SDimitry Andric } 45081ad6265SDimitry Andric assert(BaseReg && "Unable to allocate virtual base register!"); 4510b57cec5SDimitry Andric 4520b57cec5SDimitry Andric // Modify the instruction to use the new base register rather 4530b57cec5SDimitry Andric // than the frame index operand. 4540b57cec5SDimitry Andric TRI->resolveFrameIndex(MI, BaseReg, Offset); 4550b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Resolved: " << MI); 4560b57cec5SDimitry Andric 4570b57cec5SDimitry Andric ++NumReplacements; 4580b57cec5SDimitry Andric } 4590b57cec5SDimitry Andric 460bdd1243dSDimitry Andric return BaseReg.isValid(); 4610b57cec5SDimitry Andric } 462