110e730a2SDan Gohman //===-- WebAssemblyFrameLowering.cpp - WebAssembly Frame Lowering ----------==// 210e730a2SDan Gohman // 310e730a2SDan Gohman // The LLVM Compiler Infrastructure 410e730a2SDan Gohman // 510e730a2SDan Gohman // This file is distributed under the University of Illinois Open Source 610e730a2SDan Gohman // License. See LICENSE.TXT for details. 710e730a2SDan Gohman // 810e730a2SDan Gohman //===----------------------------------------------------------------------===// 910e730a2SDan Gohman /// 1010e730a2SDan Gohman /// \file 1110e730a2SDan Gohman /// \brief This file contains the WebAssembly implementation of 1210e730a2SDan Gohman /// TargetFrameLowering class. 1310e730a2SDan Gohman /// 1410e730a2SDan Gohman /// On WebAssembly, there aren't a lot of things to do here. There are no 1510e730a2SDan Gohman /// callee-saved registers to save, and no spill slots. 1610e730a2SDan Gohman /// 1710e730a2SDan Gohman /// The stack grows downward. 1810e730a2SDan Gohman /// 1910e730a2SDan Gohman //===----------------------------------------------------------------------===// 2010e730a2SDan Gohman 2110e730a2SDan Gohman #include "WebAssemblyFrameLowering.h" 2210e730a2SDan Gohman #include "MCTargetDesc/WebAssemblyMCTargetDesc.h" 2310e730a2SDan Gohman #include "WebAssemblyInstrInfo.h" 2410e730a2SDan Gohman #include "WebAssemblyMachineFunctionInfo.h" 2510e730a2SDan Gohman #include "WebAssemblySubtarget.h" 2610e730a2SDan Gohman #include "WebAssemblyTargetMachine.h" 2710e730a2SDan Gohman #include "llvm/CodeGen/MachineFrameInfo.h" 2810e730a2SDan Gohman #include "llvm/CodeGen/MachineFunction.h" 2910e730a2SDan Gohman #include "llvm/CodeGen/MachineInstrBuilder.h" 3010e730a2SDan Gohman #include "llvm/CodeGen/MachineModuleInfo.h" 3110e730a2SDan Gohman #include "llvm/CodeGen/MachineRegisterInfo.h" 3210e730a2SDan Gohman #include "llvm/Support/Debug.h" 3310e730a2SDan Gohman using namespace llvm; 3410e730a2SDan Gohman 3503855df1SJF Bastien #define DEBUG_TYPE "wasm-frame-info" 3610e730a2SDan Gohman 379769debfSDerek Schuff // TODO: wasm64 389769debfSDerek Schuff // TODO: Emit TargetOpcode::CFI_INSTRUCTION instructions 3910e730a2SDan Gohman 4010e730a2SDan Gohman /// Return true if the specified function should have a dedicated frame pointer 4110e730a2SDan Gohman /// register. 4210e730a2SDan Gohman bool WebAssemblyFrameLowering::hasFP(const MachineFunction &MF) const { 43b9073fb2SJF Bastien const MachineFrameInfo *MFI = MF.getFrameInfo(); 44e419a7c3SDan Gohman const auto *RegInfo = 45e419a7c3SDan Gohman MF.getSubtarget<WebAssemblySubtarget>().getRegisterInfo(); 4694c65660SDan Gohman return MFI->isFrameAddressTaken() || MFI->hasVarSizedObjects() || 4794c65660SDan Gohman MFI->hasStackMap() || MFI->hasPatchPoint() || 4894c65660SDan Gohman RegInfo->needsStackRealignment(MF); 4910e730a2SDan Gohman } 5010e730a2SDan Gohman 5110e730a2SDan Gohman /// Under normal circumstances, when a frame pointer is not required, we reserve 5210e730a2SDan Gohman /// argument space for call sites in the function immediately on entry to the 5310e730a2SDan Gohman /// current function. This eliminates the need for add/sub sp brackets around 5410e730a2SDan Gohman /// call sites. Returns true if the call frame is included as part of the stack 5510e730a2SDan Gohman /// frame. 5610e730a2SDan Gohman bool WebAssemblyFrameLowering::hasReservedCallFrame( 5710e730a2SDan Gohman const MachineFunction &MF) const { 5810e730a2SDan Gohman return !MF.getFrameInfo()->hasVarSizedObjects(); 5910e730a2SDan Gohman } 6010e730a2SDan Gohman 61*4b3bb213SDerek Schuff 62*4b3bb213SDerek Schuff /// Returns true if this function needs a local user-space stack pointer. 63*4b3bb213SDerek Schuff /// Unlike a machine stack pointer, the wasm user stack pointer is a global 64*4b3bb213SDerek Schuff /// variable, so it is loaded into a register in the prolog. 65*4b3bb213SDerek Schuff bool WebAssemblyFrameLowering::needsSP(const MachineFunction &MF, 66*4b3bb213SDerek Schuff const MachineFrameInfo &MFI) const { 67*4b3bb213SDerek Schuff return MFI.getStackSize() || MFI.adjustsStack() || hasFP(MF); 68*4b3bb213SDerek Schuff } 69*4b3bb213SDerek Schuff 70*4b3bb213SDerek Schuff /// Returns true if the local user-space stack pointer needs to be written back 71*4b3bb213SDerek Schuff /// to memory by this function (this is not meaningful if needsSP is false). If 72*4b3bb213SDerek Schuff /// false, the stack red zone can be used and only a local SP is needed. 73*4b3bb213SDerek Schuff bool WebAssemblyFrameLowering::needsSPWriteback( 74*4b3bb213SDerek Schuff const MachineFunction &MF, const MachineFrameInfo &MFI) const { 75*4b3bb213SDerek Schuff return MFI.getStackSize() > RedZoneSize || MFI.hasCalls() || 76*4b3bb213SDerek Schuff MF.getFunction()->hasFnAttribute(Attribute::NoRedZone); 77*4b3bb213SDerek Schuff } 78*4b3bb213SDerek Schuff 7927e3b8a6SDerek Schuff static void writeSPToMemory(unsigned SrcReg, MachineFunction &MF, 8027e3b8a6SDerek Schuff MachineBasicBlock &MBB, 8127e3b8a6SDerek Schuff MachineBasicBlock::iterator &InsertPt, 8227e3b8a6SDerek Schuff DebugLoc DL) { 8327e3b8a6SDerek Schuff auto *SPSymbol = MF.createExternalSymbolName("__stack_pointer"); 8427e3b8a6SDerek Schuff unsigned SPAddr = 8527e3b8a6SDerek Schuff MF.getRegInfo().createVirtualRegister(&WebAssembly::I32RegClass); 8627e3b8a6SDerek Schuff const auto *TII = MF.getSubtarget<WebAssemblySubtarget>().getInstrInfo(); 8727e3b8a6SDerek Schuff 8827e3b8a6SDerek Schuff BuildMI(MBB, InsertPt, DL, TII->get(WebAssembly::CONST_I32), SPAddr) 8927e3b8a6SDerek Schuff .addExternalSymbol(SPSymbol); 9027e3b8a6SDerek Schuff auto *MMO = new MachineMemOperand(MachinePointerInfo(), 9127e3b8a6SDerek Schuff MachineMemOperand::MOStore, 4, 4); 9227e3b8a6SDerek Schuff BuildMI(MBB, InsertPt, DL, TII->get(WebAssembly::STORE_I32), 9327e3b8a6SDerek Schuff WebAssembly::SP32) 9427e3b8a6SDerek Schuff .addImm(0) 9527e3b8a6SDerek Schuff .addReg(SPAddr) 9627e3b8a6SDerek Schuff .addImm(2) // p2align 9727e3b8a6SDerek Schuff .addReg(SrcReg) 9827e3b8a6SDerek Schuff .addMemOperand(MMO); 9927e3b8a6SDerek Schuff MF.getInfo<WebAssemblyFunctionInfo>()->stackifyVReg(SPAddr); 10027e3b8a6SDerek Schuff } 10127e3b8a6SDerek Schuff 1028bb5f292SDerek Schuff void WebAssemblyFrameLowering::eliminateCallFramePseudoInstr( 1038bb5f292SDerek Schuff MachineFunction &MF, MachineBasicBlock &MBB, 1048bb5f292SDerek Schuff MachineBasicBlock::iterator I) const { 10527e3b8a6SDerek Schuff assert(!I->getOperand(0).getImm() && hasFP(MF) && 10627e3b8a6SDerek Schuff "Call frame pseudos should only be used for dynamic stack adjustment"); 10727e3b8a6SDerek Schuff const auto *TII = MF.getSubtarget<WebAssemblySubtarget>().getInstrInfo(); 108*4b3bb213SDerek Schuff if (I->getOpcode() == TII->getCallFrameDestroyOpcode() && 109*4b3bb213SDerek Schuff needsSPWriteback(MF, *MF.getFrameInfo())) { 11027e3b8a6SDerek Schuff DebugLoc DL = I->getDebugLoc(); 11127e3b8a6SDerek Schuff writeSPToMemory(WebAssembly::SP32, MF, MBB, I, DL); 11227e3b8a6SDerek Schuff } 1138bb5f292SDerek Schuff MBB.erase(I); 1148bb5f292SDerek Schuff } 1158bb5f292SDerek Schuff 1168bb5f292SDerek Schuff void WebAssemblyFrameLowering::emitPrologue(MachineFunction &MF, 1178bb5f292SDerek Schuff MachineBasicBlock &MBB) const { 1188bb5f292SDerek Schuff // TODO: Do ".setMIFlag(MachineInstr::FrameSetup)" on emitted instructions 1198bb5f292SDerek Schuff auto *MFI = MF.getFrameInfo(); 1208bb5f292SDerek Schuff assert(MFI->getCalleeSavedInfo().empty() && 1218bb5f292SDerek Schuff "WebAssembly should not have callee-saved registers"); 122dc5f6aa4SDerek Schuff auto *WFI = MF.getInfo<WebAssemblyFunctionInfo>(); 1236ea637afSDerek Schuff 124*4b3bb213SDerek Schuff if (!needsSP(MF, *MFI)) return; 1258bb5f292SDerek Schuff uint64_t StackSize = MFI->getStackSize(); 1268bb5f292SDerek Schuff 1273196650bSDan Gohman const auto *TII = MF.getSubtarget<WebAssemblySubtarget>().getInstrInfo(); 1286ea637afSDerek Schuff auto &MRI = MF.getRegInfo(); 1298bb5f292SDerek Schuff 1308bb5f292SDerek Schuff auto InsertPt = MBB.begin(); 1318bb5f292SDerek Schuff DebugLoc DL; 1328bb5f292SDerek Schuff 133dc5f6aa4SDerek Schuff unsigned SPAddr = MRI.createVirtualRegister(&WebAssembly::I32RegClass); 1346ea637afSDerek Schuff unsigned SPReg = MRI.createVirtualRegister(&WebAssembly::I32RegClass); 1356ea637afSDerek Schuff auto *SPSymbol = MF.createExternalSymbolName("__stack_pointer"); 136dc5f6aa4SDerek Schuff BuildMI(MBB, InsertPt, DL, TII->get(WebAssembly::CONST_I32), SPAddr) 1376ea637afSDerek Schuff .addExternalSymbol(SPSymbol); 1386ea637afSDerek Schuff // This MachinePointerInfo should reference __stack_pointer as well but 1396ea637afSDerek Schuff // doesn't because MachinePointerInfo() takes a GV which we don't have for 1406ea637afSDerek Schuff // __stack_pointer. TODO: check if PseudoSourceValue::ExternalSymbolCallEntry 1416ea637afSDerek Schuff // is appropriate instead. (likewise for EmitEpologue below) 1426ea637afSDerek Schuff auto *LoadMMO = new MachineMemOperand(MachinePointerInfo(), 1436ea637afSDerek Schuff MachineMemOperand::MOLoad, 4, 4); 1446ea637afSDerek Schuff // Load the SP value. 1456ea637afSDerek Schuff BuildMI(MBB, InsertPt, DL, TII->get(WebAssembly::LOAD_I32), 1463ca3ea69SJF Bastien StackSize ? SPReg : (unsigned)WebAssembly::SP32) 1476ea637afSDerek Schuff .addImm(0) // offset 148dc5f6aa4SDerek Schuff .addReg(SPAddr) // addr 1496ea637afSDerek Schuff .addImm(2) // p2align 1506ea637afSDerek Schuff .addMemOperand(LoadMMO); 151dc5f6aa4SDerek Schuff WFI->stackifyVReg(SPAddr); 1526ea637afSDerek Schuff 1536ea637afSDerek Schuff if (StackSize) { 1546ea637afSDerek Schuff // Subtract the frame size 155dc5f6aa4SDerek Schuff unsigned OffsetReg = MRI.createVirtualRegister(&WebAssembly::I32RegClass); 1566ea637afSDerek Schuff BuildMI(MBB, InsertPt, DL, TII->get(WebAssembly::CONST_I32), OffsetReg) 1576ea637afSDerek Schuff .addImm(StackSize); 1583f063295SDerek Schuff BuildMI(MBB, InsertPt, DL, TII->get(WebAssembly::SUB_I32), 1596ea637afSDerek Schuff WebAssembly::SP32) 1606ea637afSDerek Schuff .addReg(SPReg) 1616ea637afSDerek Schuff .addReg(OffsetReg); 162dc5f6aa4SDerek Schuff WFI->stackifyVReg(OffsetReg); 163dc5f6aa4SDerek Schuff WFI->stackifyVReg(SPReg); 1646ea637afSDerek Schuff } 1656ea637afSDerek Schuff if (hasFP(MF)) { 1666ea637afSDerek Schuff // Unlike most conventional targets (where FP points to the saved FP), 1676ea637afSDerek Schuff // FP points to the bottom of the fixed-size locals, so we can use positive 1686ea637afSDerek Schuff // offsets in load/store instructions. 1696ea637afSDerek Schuff BuildMI(MBB, InsertPt, DL, TII->get(WebAssembly::COPY_LOCAL_I32), 1706ea637afSDerek Schuff WebAssembly::FP32) 1716ea637afSDerek Schuff .addReg(WebAssembly::SP32); 1726ea637afSDerek Schuff } 173*4b3bb213SDerek Schuff if (StackSize && needsSPWriteback(MF, *MFI)) { 17427e3b8a6SDerek Schuff writeSPToMemory(WebAssembly::SP32, MF, MBB, InsertPt, DL); 1756ea637afSDerek Schuff } 1768bb5f292SDerek Schuff } 1778bb5f292SDerek Schuff 1789769debfSDerek Schuff void WebAssemblyFrameLowering::emitEpilogue(MachineFunction &MF, 1799769debfSDerek Schuff MachineBasicBlock &MBB) const { 1806ea637afSDerek Schuff auto *MFI = MF.getFrameInfo(); 1816ea637afSDerek Schuff uint64_t StackSize = MFI->getStackSize(); 182*4b3bb213SDerek Schuff if (!needsSP(MF, *MFI) || !needsSPWriteback(MF, *MFI)) return; 183dc5f6aa4SDerek Schuff auto *WFI = MF.getInfo<WebAssemblyFunctionInfo>(); 1843196650bSDan Gohman const auto *TII = MF.getSubtarget<WebAssemblySubtarget>().getInstrInfo(); 1859769debfSDerek Schuff auto &MRI = MF.getRegInfo(); 1869769debfSDerek Schuff auto InsertPt = MBB.getFirstTerminator(); 1879769debfSDerek Schuff DebugLoc DL; 1889769debfSDerek Schuff 1899769debfSDerek Schuff if (InsertPt != MBB.end()) { 1909769debfSDerek Schuff DL = InsertPt->getDebugLoc(); 1919769debfSDerek Schuff } 1929769debfSDerek Schuff 1936ea637afSDerek Schuff // Restore the stack pointer. If we had fixed-size locals, add the offset 1946ea637afSDerek Schuff // subtracted in the prolog. 1956ea637afSDerek Schuff if (StackSize) { 196dc5f6aa4SDerek Schuff unsigned OffsetReg = MRI.createVirtualRegister(&WebAssembly::I32RegClass); 1979769debfSDerek Schuff BuildMI(MBB, InsertPt, DL, TII->get(WebAssembly::CONST_I32), OffsetReg) 1989769debfSDerek Schuff .addImm(StackSize); 1993f063295SDerek Schuff BuildMI(MBB, InsertPt, DL, TII->get(WebAssembly::ADD_I32), 2003f063295SDerek Schuff WebAssembly::SP32) 2016ea637afSDerek Schuff .addReg(hasFP(MF) ? WebAssembly::FP32 : WebAssembly::SP32) 2029769debfSDerek Schuff .addReg(OffsetReg); 203dc5f6aa4SDerek Schuff WFI->stackifyVReg(OffsetReg); 2046ea637afSDerek Schuff } 2056ea637afSDerek Schuff 20627e3b8a6SDerek Schuff writeSPToMemory( 20727e3b8a6SDerek Schuff (!StackSize && hasFP(MF)) ? WebAssembly::FP32 : WebAssembly::SP32, MF, 20827e3b8a6SDerek Schuff MBB, InsertPt, DL); 20910e730a2SDan Gohman } 210