xref: /freebsd/contrib/llvm-project/llvm/lib/CodeGen/TargetFrameLoweringImpl.cpp (revision 81ad626541db97eb356e2c1d4a20eb2a26a766ab)
10b57cec5SDimitry Andric //===- TargetFrameLoweringImpl.cpp - Implement target frame interface ------==//
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 // Implements the layout of a stack frame on the target machine.
100b57cec5SDimitry Andric //
110b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
120b57cec5SDimitry Andric 
130b57cec5SDimitry Andric #include "llvm/ADT/BitVector.h"
140b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFrameInfo.h"
150b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunction.h"
160b57cec5SDimitry Andric #include "llvm/CodeGen/MachineRegisterInfo.h"
17*81ad6265SDimitry Andric #include "llvm/CodeGen/TargetFrameLowering.h"
180b57cec5SDimitry Andric #include "llvm/CodeGen/TargetSubtargetInfo.h"
190b57cec5SDimitry Andric #include "llvm/IR/Attributes.h"
200b57cec5SDimitry Andric #include "llvm/IR/CallingConv.h"
210b57cec5SDimitry Andric #include "llvm/IR/Function.h"
225ffd83dbSDimitry Andric #include "llvm/IR/InstrTypes.h"
23*81ad6265SDimitry Andric #include "llvm/MC/MCAsmInfo.h"
240b57cec5SDimitry Andric #include "llvm/MC/MCRegisterInfo.h"
250b57cec5SDimitry Andric #include "llvm/Support/Compiler.h"
260b57cec5SDimitry Andric #include "llvm/Target/TargetMachine.h"
270b57cec5SDimitry Andric #include "llvm/Target/TargetOptions.h"
280b57cec5SDimitry Andric 
290b57cec5SDimitry Andric using namespace llvm;
300b57cec5SDimitry Andric 
310b57cec5SDimitry Andric TargetFrameLowering::~TargetFrameLowering() = default;
320b57cec5SDimitry Andric 
330b57cec5SDimitry Andric bool TargetFrameLowering::enableCalleeSaveSkip(const MachineFunction &MF) const {
340b57cec5SDimitry Andric   assert(MF.getFunction().hasFnAttribute(Attribute::NoReturn) &&
350b57cec5SDimitry Andric          MF.getFunction().hasFnAttribute(Attribute::NoUnwind) &&
360b57cec5SDimitry Andric          !MF.getFunction().hasFnAttribute(Attribute::UWTable));
370b57cec5SDimitry Andric   return false;
380b57cec5SDimitry Andric }
390b57cec5SDimitry Andric 
40*81ad6265SDimitry Andric bool TargetFrameLowering::enableCFIFixup(MachineFunction &MF) const {
41*81ad6265SDimitry Andric   return MF.needsFrameMoves() &&
42*81ad6265SDimitry Andric          !MF.getTarget().getMCAsmInfo()->usesWindowsCFI();
43*81ad6265SDimitry Andric }
44*81ad6265SDimitry Andric 
450b57cec5SDimitry Andric /// Returns the displacement from the frame register to the stack
460b57cec5SDimitry Andric /// frame of the specified index, along with the frame register used
470b57cec5SDimitry Andric /// (in output arg FrameReg). This is the default implementation which
480b57cec5SDimitry Andric /// is overridden for some targets.
49e8d8bef9SDimitry Andric StackOffset
50e8d8bef9SDimitry Andric TargetFrameLowering::getFrameIndexReference(const MachineFunction &MF, int FI,
515ffd83dbSDimitry Andric                                             Register &FrameReg) const {
520b57cec5SDimitry Andric   const MachineFrameInfo &MFI = MF.getFrameInfo();
530b57cec5SDimitry Andric   const TargetRegisterInfo *RI = MF.getSubtarget().getRegisterInfo();
540b57cec5SDimitry Andric 
550b57cec5SDimitry Andric   // By default, assume all frame indices are referenced via whatever
560b57cec5SDimitry Andric   // getFrameRegister() says. The target can override this if it's doing
570b57cec5SDimitry Andric   // something different.
580b57cec5SDimitry Andric   FrameReg = RI->getFrameRegister(MF);
590b57cec5SDimitry Andric 
60e8d8bef9SDimitry Andric   return StackOffset::getFixed(MFI.getObjectOffset(FI) + MFI.getStackSize() -
61e8d8bef9SDimitry Andric                                getOffsetOfLocalArea() +
62e8d8bef9SDimitry Andric                                MFI.getOffsetAdjustment());
630b57cec5SDimitry Andric }
640b57cec5SDimitry Andric 
650b57cec5SDimitry Andric bool TargetFrameLowering::needsFrameIndexResolution(
660b57cec5SDimitry Andric     const MachineFunction &MF) const {
670b57cec5SDimitry Andric   return MF.getFrameInfo().hasStackObjects();
680b57cec5SDimitry Andric }
690b57cec5SDimitry Andric 
70480093f4SDimitry Andric void TargetFrameLowering::getCalleeSaves(const MachineFunction &MF,
71480093f4SDimitry Andric                                          BitVector &CalleeSaves) const {
72480093f4SDimitry Andric   const TargetRegisterInfo &TRI = *MF.getSubtarget().getRegisterInfo();
73480093f4SDimitry Andric   CalleeSaves.resize(TRI.getNumRegs());
74480093f4SDimitry Andric 
75480093f4SDimitry Andric   const MachineFrameInfo &MFI = MF.getFrameInfo();
76480093f4SDimitry Andric   if (!MFI.isCalleeSavedInfoValid())
77480093f4SDimitry Andric     return;
78480093f4SDimitry Andric 
79480093f4SDimitry Andric   for (const CalleeSavedInfo &Info : MFI.getCalleeSavedInfo())
80480093f4SDimitry Andric     CalleeSaves.set(Info.getReg());
81480093f4SDimitry Andric }
82480093f4SDimitry Andric 
830b57cec5SDimitry Andric void TargetFrameLowering::determineCalleeSaves(MachineFunction &MF,
840b57cec5SDimitry Andric                                                BitVector &SavedRegs,
850b57cec5SDimitry Andric                                                RegScavenger *RS) const {
860b57cec5SDimitry Andric   const TargetRegisterInfo &TRI = *MF.getSubtarget().getRegisterInfo();
870b57cec5SDimitry Andric 
880b57cec5SDimitry Andric   // Resize before the early returns. Some backends expect that
890b57cec5SDimitry Andric   // SavedRegs.size() == TRI.getNumRegs() after this call even if there are no
900b57cec5SDimitry Andric   // saved registers.
910b57cec5SDimitry Andric   SavedRegs.resize(TRI.getNumRegs());
920b57cec5SDimitry Andric 
930b57cec5SDimitry Andric   // When interprocedural register allocation is enabled caller saved registers
940b57cec5SDimitry Andric   // are preferred over callee saved registers.
958bcb0991SDimitry Andric   if (MF.getTarget().Options.EnableIPRA &&
968bcb0991SDimitry Andric       isSafeForNoCSROpt(MF.getFunction()) &&
978bcb0991SDimitry Andric       isProfitableForNoCSROpt(MF.getFunction()))
980b57cec5SDimitry Andric     return;
990b57cec5SDimitry Andric 
1000b57cec5SDimitry Andric   // Get the callee saved register list...
1010b57cec5SDimitry Andric   const MCPhysReg *CSRegs = MF.getRegInfo().getCalleeSavedRegs();
1020b57cec5SDimitry Andric 
1030b57cec5SDimitry Andric   // Early exit if there are no callee saved registers.
1040b57cec5SDimitry Andric   if (!CSRegs || CSRegs[0] == 0)
1050b57cec5SDimitry Andric     return;
1060b57cec5SDimitry Andric 
1070b57cec5SDimitry Andric   // In Naked functions we aren't going to save any registers.
1080b57cec5SDimitry Andric   if (MF.getFunction().hasFnAttribute(Attribute::Naked))
1090b57cec5SDimitry Andric     return;
1100b57cec5SDimitry Andric 
1110b57cec5SDimitry Andric   // Noreturn+nounwind functions never restore CSR, so no saves are needed.
1120b57cec5SDimitry Andric   // Purely noreturn functions may still return through throws, so those must
1130b57cec5SDimitry Andric   // save CSR for caller exception handlers.
1140b57cec5SDimitry Andric   //
1150b57cec5SDimitry Andric   // If the function uses longjmp to break out of its current path of
1160b57cec5SDimitry Andric   // execution we do not need the CSR spills either: setjmp stores all CSRs
1170b57cec5SDimitry Andric   // it was called with into the jmp_buf, which longjmp then restores.
1180b57cec5SDimitry Andric   if (MF.getFunction().hasFnAttribute(Attribute::NoReturn) &&
1190b57cec5SDimitry Andric         MF.getFunction().hasFnAttribute(Attribute::NoUnwind) &&
1200b57cec5SDimitry Andric         !MF.getFunction().hasFnAttribute(Attribute::UWTable) &&
1210b57cec5SDimitry Andric         enableCalleeSaveSkip(MF))
1220b57cec5SDimitry Andric     return;
1230b57cec5SDimitry Andric 
1240b57cec5SDimitry Andric   // Functions which call __builtin_unwind_init get all their registers saved.
1250b57cec5SDimitry Andric   bool CallsUnwindInit = MF.callsUnwindInit();
1260b57cec5SDimitry Andric   const MachineRegisterInfo &MRI = MF.getRegInfo();
1270b57cec5SDimitry Andric   for (unsigned i = 0; CSRegs[i]; ++i) {
1280b57cec5SDimitry Andric     unsigned Reg = CSRegs[i];
1290b57cec5SDimitry Andric     if (CallsUnwindInit || MRI.isPhysRegModified(Reg))
1300b57cec5SDimitry Andric       SavedRegs.set(Reg);
1310b57cec5SDimitry Andric   }
1320b57cec5SDimitry Andric }
1330b57cec5SDimitry Andric 
1340b57cec5SDimitry Andric unsigned TargetFrameLowering::getStackAlignmentSkew(
1350b57cec5SDimitry Andric     const MachineFunction &MF) const {
1360b57cec5SDimitry Andric   // When HHVM function is called, the stack is skewed as the return address
1370b57cec5SDimitry Andric   // is removed from the stack before we enter the function.
1380b57cec5SDimitry Andric   if (LLVM_UNLIKELY(MF.getFunction().getCallingConv() == CallingConv::HHVM))
1390b57cec5SDimitry Andric     return MF.getTarget().getAllocaPointerSize();
1400b57cec5SDimitry Andric 
1410b57cec5SDimitry Andric   return 0;
1420b57cec5SDimitry Andric }
1430b57cec5SDimitry Andric 
1444824e7fdSDimitry Andric bool TargetFrameLowering::allocateScavengingFrameIndexesNearIncomingSP(
1454824e7fdSDimitry Andric   const MachineFunction &MF) const {
1464824e7fdSDimitry Andric   if (!hasFP(MF))
1474824e7fdSDimitry Andric     return false;
1484824e7fdSDimitry Andric 
1494824e7fdSDimitry Andric   const TargetRegisterInfo *RegInfo = MF.getSubtarget().getRegisterInfo();
1504824e7fdSDimitry Andric   return RegInfo->useFPForScavengingIndex(MF) &&
1514824e7fdSDimitry Andric          !RegInfo->hasStackRealignment(MF);
1524824e7fdSDimitry Andric }
1534824e7fdSDimitry Andric 
1548bcb0991SDimitry Andric bool TargetFrameLowering::isSafeForNoCSROpt(const Function &F) {
1558bcb0991SDimitry Andric   if (!F.hasLocalLinkage() || F.hasAddressTaken() ||
1568bcb0991SDimitry Andric       !F.hasFnAttribute(Attribute::NoRecurse))
1578bcb0991SDimitry Andric     return false;
1588bcb0991SDimitry Andric   // Function should not be optimized as tail call.
1598bcb0991SDimitry Andric   for (const User *U : F.users())
1605ffd83dbSDimitry Andric     if (auto *CB = dyn_cast<CallBase>(U))
1615ffd83dbSDimitry Andric       if (CB->isTailCall())
1628bcb0991SDimitry Andric         return false;
1638bcb0991SDimitry Andric   return true;
1648bcb0991SDimitry Andric }
1658bcb0991SDimitry Andric 
1660b57cec5SDimitry Andric int TargetFrameLowering::getInitialCFAOffset(const MachineFunction &MF) const {
1670b57cec5SDimitry Andric   llvm_unreachable("getInitialCFAOffset() not implemented!");
1680b57cec5SDimitry Andric }
1690b57cec5SDimitry Andric 
1705ffd83dbSDimitry Andric Register
1715ffd83dbSDimitry Andric TargetFrameLowering::getInitialCFARegister(const MachineFunction &MF) const {
1720b57cec5SDimitry Andric   llvm_unreachable("getInitialCFARegister() not implemented!");
1730b57cec5SDimitry Andric }
1745ffd83dbSDimitry Andric 
1755ffd83dbSDimitry Andric TargetFrameLowering::DwarfFrameBase
1765ffd83dbSDimitry Andric TargetFrameLowering::getDwarfFrameBase(const MachineFunction &MF) const {
1775ffd83dbSDimitry Andric   const TargetRegisterInfo *RI = MF.getSubtarget().getRegisterInfo();
1785ffd83dbSDimitry Andric   return DwarfFrameBase{DwarfFrameBase::Register, {RI->getFrameRegister(MF)}};
1795ffd83dbSDimitry Andric }
180