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" 27d934cb88SDan Gohman #include "WebAssemblyUtilities.h" 2810e730a2SDan Gohman #include "llvm/CodeGen/MachineFrameInfo.h" 2910e730a2SDan Gohman #include "llvm/CodeGen/MachineFunction.h" 3010e730a2SDan Gohman #include "llvm/CodeGen/MachineInstrBuilder.h" 3182607f56SDan Gohman #include "llvm/CodeGen/MachineModuleInfoImpls.h" 3210e730a2SDan Gohman #include "llvm/CodeGen/MachineRegisterInfo.h" 3310e730a2SDan Gohman #include "llvm/Support/Debug.h" 3410e730a2SDan Gohman using namespace llvm; 3510e730a2SDan Gohman 3603855df1SJF Bastien #define DEBUG_TYPE "wasm-frame-info" 3710e730a2SDan Gohman 389769debfSDerek Schuff // TODO: wasm64 399769debfSDerek Schuff // TODO: Emit TargetOpcode::CFI_INSTRUCTION instructions 4010e730a2SDan Gohman 410d41b7b3SDerek Schuff /// We need a base pointer in the case of having items on the stack that 420d41b7b3SDerek Schuff /// require stricter alignment than the stack pointer itself. Because we need 430d41b7b3SDerek Schuff /// to shift the stack pointer by some unknown amount to force the alignment, 440d41b7b3SDerek Schuff /// we need to record the value of the stack pointer on entry to the function. 450d41b7b3SDerek Schuff bool WebAssemblyFrameLowering::hasBP( 460d41b7b3SDerek Schuff const MachineFunction &MF) const { 470d41b7b3SDerek Schuff const auto *RegInfo = 480d41b7b3SDerek Schuff MF.getSubtarget<WebAssemblySubtarget>().getRegisterInfo(); 490d41b7b3SDerek Schuff return RegInfo->needsStackRealignment(MF); 500d41b7b3SDerek Schuff } 510d41b7b3SDerek Schuff 5210e730a2SDan Gohman /// Return true if the specified function should have a dedicated frame pointer 5310e730a2SDan Gohman /// register. 5410e730a2SDan Gohman bool WebAssemblyFrameLowering::hasFP(const MachineFunction &MF) const { 55941a705bSMatthias Braun const MachineFrameInfo &MFI = MF.getFrameInfo(); 560d41b7b3SDerek Schuff 570d41b7b3SDerek Schuff // When we have var-sized objects, we move the stack pointer by an unknown 580d41b7b3SDerek Schuff // amount, and need to emit a frame pointer to restore the stack to where we 590d41b7b3SDerek Schuff // were on function entry. 600d41b7b3SDerek Schuff // If we already need a base pointer, we use that to fix up the stack pointer. 610d41b7b3SDerek Schuff // If there are no fixed-size objects, we would have no use of a frame 620d41b7b3SDerek Schuff // pointer, and thus should not emit one. 630d41b7b3SDerek Schuff bool HasFixedSizedObjects = MFI.getStackSize() > 0; 640d41b7b3SDerek Schuff bool NeedsFixedReference = !hasBP(MF) || HasFixedSizedObjects; 650d41b7b3SDerek Schuff 660d41b7b3SDerek Schuff return MFI.isFrameAddressTaken() || 670d41b7b3SDerek Schuff (MFI.hasVarSizedObjects() && NeedsFixedReference) || 680d41b7b3SDerek Schuff MFI.hasStackMap() || MFI.hasPatchPoint(); 6910e730a2SDan Gohman } 7010e730a2SDan Gohman 7110e730a2SDan Gohman /// Under normal circumstances, when a frame pointer is not required, we reserve 7210e730a2SDan Gohman /// argument space for call sites in the function immediately on entry to the 7310e730a2SDan Gohman /// current function. This eliminates the need for add/sub sp brackets around 7410e730a2SDan Gohman /// call sites. Returns true if the call frame is included as part of the stack 7510e730a2SDan Gohman /// frame. 7610e730a2SDan Gohman bool WebAssemblyFrameLowering::hasReservedCallFrame( 7710e730a2SDan Gohman const MachineFunction &MF) const { 78941a705bSMatthias Braun return !MF.getFrameInfo().hasVarSizedObjects(); 7910e730a2SDan Gohman } 8010e730a2SDan Gohman 814b3bb213SDerek Schuff 824b3bb213SDerek Schuff /// Returns true if this function needs a local user-space stack pointer. 834b3bb213SDerek Schuff /// Unlike a machine stack pointer, the wasm user stack pointer is a global 844b3bb213SDerek Schuff /// variable, so it is loaded into a register in the prolog. 854b3bb213SDerek Schuff bool WebAssemblyFrameLowering::needsSP(const MachineFunction &MF, 864b3bb213SDerek Schuff const MachineFrameInfo &MFI) const { 874b3bb213SDerek Schuff return MFI.getStackSize() || MFI.adjustsStack() || hasFP(MF); 884b3bb213SDerek Schuff } 894b3bb213SDerek Schuff 904b3bb213SDerek Schuff /// Returns true if the local user-space stack pointer needs to be written back 914b3bb213SDerek Schuff /// to memory by this function (this is not meaningful if needsSP is false). If 924b3bb213SDerek Schuff /// false, the stack red zone can be used and only a local SP is needed. 934b3bb213SDerek Schuff bool WebAssemblyFrameLowering::needsSPWriteback( 944b3bb213SDerek Schuff const MachineFunction &MF, const MachineFrameInfo &MFI) const { 95450a8075SDan Gohman assert(needsSP(MF, MFI)); 964b3bb213SDerek Schuff return MFI.getStackSize() > RedZoneSize || MFI.hasCalls() || 97*21109249SDavid Blaikie MF.getFunction().hasFnAttribute(Attribute::NoRedZone); 984b3bb213SDerek Schuff } 994b3bb213SDerek Schuff 10027e3b8a6SDerek Schuff static void writeSPToMemory(unsigned SrcReg, MachineFunction &MF, 10127e3b8a6SDerek Schuff MachineBasicBlock &MBB, 102d4207ba0SDerek Schuff MachineBasicBlock::iterator &InsertAddr, 103d4207ba0SDerek Schuff MachineBasicBlock::iterator &InsertStore, 104bdc4956bSBenjamin Kramer const DebugLoc &DL) { 10582607f56SDan Gohman const auto *TII = MF.getSubtarget<WebAssemblySubtarget>().getInstrInfo(); 10682607f56SDan Gohman 107d08cd15fSDan Gohman const char *ES = "__stack_pointer"; 108d08cd15fSDan Gohman auto *SPSymbol = MF.createExternalSymbolName(ES); 1099d24fb7fSSam Clegg if (MF.getSubtarget<WebAssemblySubtarget>() 1109d24fb7fSSam Clegg .getTargetTriple().isOSBinFormatELF()) { 1110cfb5f85SDan Gohman MachineRegisterInfo &MRI = MF.getRegInfo(); 1120cfb5f85SDan Gohman const TargetRegisterClass *PtrRC = 1130cfb5f85SDan Gohman MRI.getTargetRegisterInfo()->getPointerRegClass(MF); 114d530f68dSDan Gohman unsigned Zero = MRI.createVirtualRegister(PtrRC); 11527e3b8a6SDerek Schuff 116d530f68dSDan Gohman BuildMI(MBB, InsertAddr, DL, TII->get(WebAssembly::CONST_I32), Zero) 117d530f68dSDan Gohman .addImm(0); 1189bc1b230SBenjamin Kramer MachineMemOperand *MMO = MF.getMachineMemOperand( 1199bc1b230SBenjamin Kramer MachinePointerInfo(MF.getPSVManager().getExternalSymbolCallEntry(ES)), 12027e3b8a6SDerek Schuff MachineMemOperand::MOStore, 4, 4); 1217f1bdb2eSDan Gohman BuildMI(MBB, InsertStore, DL, TII->get(WebAssembly::STORE_I32)) 12248abaa9cSDan Gohman .addImm(2) // p2align 123d530f68dSDan Gohman .addExternalSymbol(SPSymbol) 124d530f68dSDan Gohman .addReg(Zero) 12527e3b8a6SDerek Schuff .addReg(SrcReg) 12627e3b8a6SDerek Schuff .addMemOperand(MMO); 12782607f56SDan Gohman } else { 12882607f56SDan Gohman BuildMI(MBB, InsertStore, DL, TII->get(WebAssembly::SET_GLOBAL_I32)) 1299d24fb7fSSam Clegg .addExternalSymbol(SPSymbol) 13082607f56SDan Gohman .addReg(SrcReg); 13182607f56SDan Gohman } 13227e3b8a6SDerek Schuff } 13327e3b8a6SDerek Schuff 134e1a2e90fSHans Wennborg MachineBasicBlock::iterator 135e1a2e90fSHans Wennborg WebAssemblyFrameLowering::eliminateCallFramePseudoInstr( 1368bb5f292SDerek Schuff MachineFunction &MF, MachineBasicBlock &MBB, 1378bb5f292SDerek Schuff MachineBasicBlock::iterator I) const { 1380d41b7b3SDerek Schuff assert(!I->getOperand(0).getImm() && (hasFP(MF) || hasBP(MF)) && 13927e3b8a6SDerek Schuff "Call frame pseudos should only be used for dynamic stack adjustment"); 14027e3b8a6SDerek Schuff const auto *TII = MF.getSubtarget<WebAssemblySubtarget>().getInstrInfo(); 1414b3bb213SDerek Schuff if (I->getOpcode() == TII->getCallFrameDestroyOpcode() && 142941a705bSMatthias Braun needsSPWriteback(MF, MF.getFrameInfo())) { 14327e3b8a6SDerek Schuff DebugLoc DL = I->getDebugLoc(); 144d4207ba0SDerek Schuff writeSPToMemory(WebAssembly::SP32, MF, MBB, I, I, DL); 14527e3b8a6SDerek Schuff } 146e1a2e90fSHans Wennborg return MBB.erase(I); 1478bb5f292SDerek Schuff } 1488bb5f292SDerek Schuff 1498bb5f292SDerek Schuff void WebAssemblyFrameLowering::emitPrologue(MachineFunction &MF, 1508bb5f292SDerek Schuff MachineBasicBlock &MBB) const { 1518bb5f292SDerek Schuff // TODO: Do ".setMIFlag(MachineInstr::FrameSetup)" on emitted instructions 152941a705bSMatthias Braun auto &MFI = MF.getFrameInfo(); 153941a705bSMatthias Braun assert(MFI.getCalleeSavedInfo().empty() && 1548bb5f292SDerek Schuff "WebAssembly should not have callee-saved registers"); 1556ea637afSDerek Schuff 156941a705bSMatthias Braun if (!needsSP(MF, MFI)) return; 157941a705bSMatthias Braun uint64_t StackSize = MFI.getStackSize(); 1588bb5f292SDerek Schuff 1593196650bSDan Gohman const auto *TII = MF.getSubtarget<WebAssemblySubtarget>().getInstrInfo(); 1606ea637afSDerek Schuff auto &MRI = MF.getRegInfo(); 1618bb5f292SDerek Schuff 1628bb5f292SDerek Schuff auto InsertPt = MBB.begin(); 163d934cb88SDan Gohman while (InsertPt != MBB.end() && WebAssembly::isArgument(*InsertPt)) 164d934cb88SDan Gohman ++InsertPt; 1658bb5f292SDerek Schuff DebugLoc DL; 1668bb5f292SDerek Schuff 1670cfb5f85SDan Gohman const TargetRegisterClass *PtrRC = 1680cfb5f85SDan Gohman MRI.getTargetRegisterInfo()->getPointerRegClass(MF); 1690d41b7b3SDerek Schuff unsigned SPReg = WebAssembly::SP32; 1700d41b7b3SDerek Schuff if (StackSize) 1710d41b7b3SDerek Schuff SPReg = MRI.createVirtualRegister(PtrRC); 1729d24fb7fSSam Clegg 173d08cd15fSDan Gohman const char *ES = "__stack_pointer"; 174d08cd15fSDan Gohman auto *SPSymbol = MF.createExternalSymbolName(ES); 1759d24fb7fSSam Clegg if (MF.getSubtarget<WebAssemblySubtarget>() 1769d24fb7fSSam Clegg .getTargetTriple().isOSBinFormatELF()) { 17782607f56SDan Gohman unsigned Zero = MRI.createVirtualRegister(PtrRC); 17882607f56SDan Gohman 179d530f68dSDan Gohman BuildMI(MBB, InsertPt, DL, TII->get(WebAssembly::CONST_I32), Zero) 180d530f68dSDan Gohman .addImm(0); 1819bc1b230SBenjamin Kramer MachineMemOperand *LoadMMO = MF.getMachineMemOperand( 1829bc1b230SBenjamin Kramer MachinePointerInfo(MF.getPSVManager().getExternalSymbolCallEntry(ES)), 1836ea637afSDerek Schuff MachineMemOperand::MOLoad, 4, 4); 1846ea637afSDerek Schuff // Load the SP value. 1850d41b7b3SDerek Schuff BuildMI(MBB, InsertPt, DL, TII->get(WebAssembly::LOAD_I32), SPReg) 18648abaa9cSDan Gohman .addImm(2) // p2align 187d530f68dSDan Gohman .addExternalSymbol(SPSymbol) 188d530f68dSDan Gohman .addReg(Zero) // addr 1896ea637afSDerek Schuff .addMemOperand(LoadMMO); 19082607f56SDan Gohman } else { 19182607f56SDan Gohman BuildMI(MBB, InsertPt, DL, TII->get(WebAssembly::GET_GLOBAL_I32), SPReg) 1929d24fb7fSSam Clegg .addExternalSymbol(SPSymbol); 19382607f56SDan Gohman } 1946ea637afSDerek Schuff 1950d41b7b3SDerek Schuff bool HasBP = hasBP(MF); 1960d41b7b3SDerek Schuff if (HasBP) { 1970d41b7b3SDerek Schuff auto FI = MF.getInfo<WebAssemblyFunctionInfo>(); 1980d41b7b3SDerek Schuff unsigned BasePtr = MRI.createVirtualRegister(PtrRC); 1990d41b7b3SDerek Schuff FI->setBasePointerVreg(BasePtr); 2000d41b7b3SDerek Schuff BuildMI(MBB, InsertPt, DL, TII->get(WebAssembly::COPY), BasePtr) 2010d41b7b3SDerek Schuff .addReg(SPReg); 2020d41b7b3SDerek Schuff } 2036ea637afSDerek Schuff if (StackSize) { 2046ea637afSDerek Schuff // Subtract the frame size 2050cfb5f85SDan Gohman unsigned OffsetReg = MRI.createVirtualRegister(PtrRC); 2066ea637afSDerek Schuff BuildMI(MBB, InsertPt, DL, TII->get(WebAssembly::CONST_I32), OffsetReg) 2076ea637afSDerek Schuff .addImm(StackSize); 2083f063295SDerek Schuff BuildMI(MBB, InsertPt, DL, TII->get(WebAssembly::SUB_I32), 2096ea637afSDerek Schuff WebAssembly::SP32) 2106ea637afSDerek Schuff .addReg(SPReg) 2116ea637afSDerek Schuff .addReg(OffsetReg); 2126ea637afSDerek Schuff } 2130d41b7b3SDerek Schuff if (HasBP) { 2140d41b7b3SDerek Schuff unsigned BitmaskReg = MRI.createVirtualRegister(PtrRC); 2150d41b7b3SDerek Schuff unsigned Alignment = MFI.getMaxAlignment(); 216f295cc8fSDan Gohman assert((1u << countTrailingZeros(Alignment)) == Alignment && 2170d41b7b3SDerek Schuff "Alignment must be a power of 2"); 2180d41b7b3SDerek Schuff BuildMI(MBB, InsertPt, DL, TII->get(WebAssembly::CONST_I32), BitmaskReg) 2190d41b7b3SDerek Schuff .addImm((int)~(Alignment - 1)); 2200d41b7b3SDerek Schuff BuildMI(MBB, InsertPt, DL, TII->get(WebAssembly::AND_I32), 2210d41b7b3SDerek Schuff WebAssembly::SP32) 2220d41b7b3SDerek Schuff .addReg(WebAssembly::SP32) 2230d41b7b3SDerek Schuff .addReg(BitmaskReg); 2240d41b7b3SDerek Schuff } 2256ea637afSDerek Schuff if (hasFP(MF)) { 2266ea637afSDerek Schuff // Unlike most conventional targets (where FP points to the saved FP), 2276ea637afSDerek Schuff // FP points to the bottom of the fixed-size locals, so we can use positive 2286ea637afSDerek Schuff // offsets in load/store instructions. 2290cfb5f85SDan Gohman BuildMI(MBB, InsertPt, DL, TII->get(WebAssembly::COPY), 2306ea637afSDerek Schuff WebAssembly::FP32) 2316ea637afSDerek Schuff .addReg(WebAssembly::SP32); 2326ea637afSDerek Schuff } 233941a705bSMatthias Braun if (StackSize && needsSPWriteback(MF, MFI)) { 234d4207ba0SDerek Schuff writeSPToMemory(WebAssembly::SP32, MF, MBB, InsertPt, InsertPt, DL); 2356ea637afSDerek Schuff } 2368bb5f292SDerek Schuff } 2378bb5f292SDerek Schuff 2389769debfSDerek Schuff void WebAssemblyFrameLowering::emitEpilogue(MachineFunction &MF, 2399769debfSDerek Schuff MachineBasicBlock &MBB) const { 240941a705bSMatthias Braun auto &MFI = MF.getFrameInfo(); 241941a705bSMatthias Braun uint64_t StackSize = MFI.getStackSize(); 242941a705bSMatthias Braun if (!needsSP(MF, MFI) || !needsSPWriteback(MF, MFI)) return; 2433196650bSDan Gohman const auto *TII = MF.getSubtarget<WebAssemblySubtarget>().getInstrInfo(); 2449769debfSDerek Schuff auto &MRI = MF.getRegInfo(); 2459769debfSDerek Schuff auto InsertPt = MBB.getFirstTerminator(); 2469769debfSDerek Schuff DebugLoc DL; 2479769debfSDerek Schuff 2480cfb5f85SDan Gohman if (InsertPt != MBB.end()) 2499769debfSDerek Schuff DL = InsertPt->getDebugLoc(); 250450a8075SDan Gohman 2516ea637afSDerek Schuff // Restore the stack pointer. If we had fixed-size locals, add the offset 2526ea637afSDerek Schuff // subtracted in the prolog. 253d4207ba0SDerek Schuff unsigned SPReg = 0; 254d4207ba0SDerek Schuff MachineBasicBlock::iterator InsertAddr = InsertPt; 2550d41b7b3SDerek Schuff if (hasBP(MF)) { 2560d41b7b3SDerek Schuff auto FI = MF.getInfo<WebAssemblyFunctionInfo>(); 2570d41b7b3SDerek Schuff SPReg = FI->getBasePointerVreg(); 2580d41b7b3SDerek Schuff } else if (StackSize) { 2590cfb5f85SDan Gohman const TargetRegisterClass *PtrRC = 2600cfb5f85SDan Gohman MRI.getTargetRegisterInfo()->getPointerRegClass(MF); 2610cfb5f85SDan Gohman unsigned OffsetReg = MRI.createVirtualRegister(PtrRC); 262d4207ba0SDerek Schuff InsertAddr = 2639769debfSDerek Schuff BuildMI(MBB, InsertPt, DL, TII->get(WebAssembly::CONST_I32), OffsetReg) 2649769debfSDerek Schuff .addImm(StackSize); 265d4207ba0SDerek Schuff // In the epilog we don't need to write the result back to the SP32 physreg 266d4207ba0SDerek Schuff // because it won't be used again. We can use a stackified register instead. 2670cfb5f85SDan Gohman SPReg = MRI.createVirtualRegister(PtrRC); 268d4207ba0SDerek Schuff BuildMI(MBB, InsertPt, DL, TII->get(WebAssembly::ADD_I32), SPReg) 2696ea637afSDerek Schuff .addReg(hasFP(MF) ? WebAssembly::FP32 : WebAssembly::SP32) 2709769debfSDerek Schuff .addReg(OffsetReg); 271d4207ba0SDerek Schuff } else { 272d4207ba0SDerek Schuff SPReg = hasFP(MF) ? WebAssembly::FP32 : WebAssembly::SP32; 2736ea637afSDerek Schuff } 2746ea637afSDerek Schuff 275d4207ba0SDerek Schuff writeSPToMemory(SPReg, MF, MBB, InsertAddr, InsertPt, DL); 27610e730a2SDan Gohman } 277