Eugene Zelenko | e74c436 | 2017-06-06 22:22:41 +0000 | [diff] [blame] | 1 | //===- TargetFrameLoweringImpl.cpp - Implement target frame interface ------==// |
Misha Brukman | f976c85 | 2005-04-21 22:55:34 +0000 | [diff] [blame] | 2 | // |
Misha Brukman | b8bda13 | 2004-03-11 23:52:43 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 4ee451d | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Misha Brukman | f976c85 | 2005-04-21 22:55:34 +0000 | [diff] [blame] | 7 | // |
Misha Brukman | b8bda13 | 2004-03-11 23:52:43 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // Implements the layout of a stack frame on the target machine. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Matthias Braun | a362682 | 2015-07-14 17:17:13 +0000 | [diff] [blame] | 14 | #include "llvm/ADT/BitVector.h" |
Anton Korobeynikov | 0dbe54e | 2010-11-20 16:14:57 +0000 | [diff] [blame] | 15 | #include "llvm/CodeGen/MachineFrameInfo.h" |
| 16 | #include "llvm/CodeGen/MachineFunction.h" |
Matthias Braun | a362682 | 2015-07-14 17:17:13 +0000 | [diff] [blame] | 17 | #include "llvm/CodeGen/MachineRegisterInfo.h" |
David Blaikie | e3a9b4c | 2017-11-17 01:07:10 +0000 | [diff] [blame] | 18 | #include "llvm/CodeGen/TargetFrameLowering.h" |
| 19 | #include "llvm/CodeGen/TargetRegisterInfo.h" |
| 20 | #include "llvm/CodeGen/TargetSubtargetInfo.h" |
Eugene Zelenko | e74c436 | 2017-06-06 22:22:41 +0000 | [diff] [blame] | 21 | #include "llvm/IR/Attributes.h" |
Maksim Panchenko | 3b3752c | 2015-09-29 22:09:16 +0000 | [diff] [blame] | 22 | #include "llvm/IR/CallingConv.h" |
Akira Hatanaka | 0146120 | 2015-05-23 01:14:08 +0000 | [diff] [blame] | 23 | #include "llvm/IR/Function.h" |
Eugene Zelenko | e74c436 | 2017-06-06 22:22:41 +0000 | [diff] [blame] | 24 | #include "llvm/MC/MCRegisterInfo.h" |
| 25 | #include "llvm/Support/Compiler.h" |
Eugene Zelenko | e74c436 | 2017-06-06 22:22:41 +0000 | [diff] [blame] | 26 | #include "llvm/Target/TargetMachine.h" |
| 27 | #include "llvm/Target/TargetOptions.h" |
Eugene Zelenko | e74c436 | 2017-06-06 22:22:41 +0000 | [diff] [blame] | 28 | |
Misha Brukman | b8bda13 | 2004-03-11 23:52:43 +0000 | [diff] [blame] | 29 | using namespace llvm; |
| 30 | |
Eugene Zelenko | e74c436 | 2017-06-06 22:22:41 +0000 | [diff] [blame] | 31 | TargetFrameLowering::~TargetFrameLowering() = default; |
Anton Korobeynikov | d9e3385 | 2010-11-18 23:25:52 +0000 | [diff] [blame] | 32 | |
Tim Northover | f6621a4 | 2018-04-07 10:57:03 +0000 | [diff] [blame] | 33 | bool TargetFrameLowering::enableCalleeSaveSkip(const MachineFunction &MF) const { |
| 34 | assert(MF.getFunction().hasFnAttribute(Attribute::NoReturn) && |
| 35 | MF.getFunction().hasFnAttribute(Attribute::NoUnwind) && |
| 36 | !MF.getFunction().hasFnAttribute(Attribute::UWTable)); |
| 37 | return false; |
| 38 | } |
| 39 | |
James Y Knight | 276ea22 | 2015-08-15 02:32:35 +0000 | [diff] [blame] | 40 | /// Returns the displacement from the frame register to the stack |
| 41 | /// frame of the specified index, along with the frame register used |
| 42 | /// (in output arg FrameReg). This is the default implementation which |
| 43 | /// is overridden for some targets. |
Anton Korobeynikov | 16c29b5 | 2011-01-10 12:39:04 +0000 | [diff] [blame] | 44 | int TargetFrameLowering::getFrameIndexReference(const MachineFunction &MF, |
| 45 | int FI, unsigned &FrameReg) const { |
Matthias Braun | f79c57a | 2016-07-28 18:40:00 +0000 | [diff] [blame] | 46 | const MachineFrameInfo &MFI = MF.getFrameInfo(); |
Eric Christopher | 6035518 | 2014-08-05 02:39:49 +0000 | [diff] [blame] | 47 | const TargetRegisterInfo *RI = MF.getSubtarget().getRegisterInfo(); |
Anton Korobeynikov | 82f5874 | 2010-11-20 15:59:32 +0000 | [diff] [blame] | 48 | |
| 49 | // By default, assume all frame indices are referenced via whatever |
| 50 | // getFrameRegister() says. The target can override this if it's doing |
| 51 | // something different. |
| 52 | FrameReg = RI->getFrameRegister(MF); |
James Y Knight | 276ea22 | 2015-08-15 02:32:35 +0000 | [diff] [blame] | 53 | |
Matthias Braun | f79c57a | 2016-07-28 18:40:00 +0000 | [diff] [blame] | 54 | return MFI.getObjectOffset(FI) + MFI.getStackSize() - |
| 55 | getOffsetOfLocalArea() + MFI.getOffsetAdjustment(); |
Anton Korobeynikov | 82f5874 | 2010-11-20 15:59:32 +0000 | [diff] [blame] | 56 | } |
Michael Kuperstein | acd5f13 | 2015-02-01 16:56:04 +0000 | [diff] [blame] | 57 | |
| 58 | bool TargetFrameLowering::needsFrameIndexResolution( |
| 59 | const MachineFunction &MF) const { |
Matthias Braun | f79c57a | 2016-07-28 18:40:00 +0000 | [diff] [blame] | 60 | return MF.getFrameInfo().hasStackObjects(); |
Michael Kuperstein | acd5f13 | 2015-02-01 16:56:04 +0000 | [diff] [blame] | 61 | } |
Matthias Braun | a362682 | 2015-07-14 17:17:13 +0000 | [diff] [blame] | 62 | |
| 63 | void TargetFrameLowering::determineCalleeSaves(MachineFunction &MF, |
| 64 | BitVector &SavedRegs, |
| 65 | RegScavenger *RS) const { |
Matthias Braun | a362682 | 2015-07-14 17:17:13 +0000 | [diff] [blame] | 66 | const TargetRegisterInfo &TRI = *MF.getSubtarget().getRegisterInfo(); |
Matthias Braun | a362682 | 2015-07-14 17:17:13 +0000 | [diff] [blame] | 67 | |
Chuang-Yu Cheng | eb92f5a | 2016-04-08 12:04:32 +0000 | [diff] [blame] | 68 | // Resize before the early returns. Some backends expect that |
| 69 | // SavedRegs.size() == TRI.getNumRegs() after this call even if there are no |
| 70 | // saved registers. |
| 71 | SavedRegs.resize(TRI.getNumRegs()); |
| 72 | |
Mehdi Amini | bf8318cc | 2016-07-13 23:39:34 +0000 | [diff] [blame] | 73 | // When interprocedural register allocation is enabled caller saved registers |
| 74 | // are preferred over callee saved registers. |
Mehdi Amini | f167a26 | 2016-07-13 23:39:46 +0000 | [diff] [blame] | 75 | if (MF.getTarget().Options.EnableIPRA && isSafeForNoCSROpt(MF.getFunction())) |
Mehdi Amini | bf8318cc | 2016-07-13 23:39:34 +0000 | [diff] [blame] | 76 | return; |
| 77 | |
| 78 | // Get the callee saved register list... |
Oren Ben Simhon | 6095a79 | 2017-03-14 09:09:26 +0000 | [diff] [blame] | 79 | const MCPhysReg *CSRegs = MF.getRegInfo().getCalleeSavedRegs(); |
Mehdi Amini | bf8318cc | 2016-07-13 23:39:34 +0000 | [diff] [blame] | 80 | |
Matthias Braun | a362682 | 2015-07-14 17:17:13 +0000 | [diff] [blame] | 81 | // Early exit if there are no callee saved registers. |
| 82 | if (!CSRegs || CSRegs[0] == 0) |
| 83 | return; |
| 84 | |
Matthias Braun | a362682 | 2015-07-14 17:17:13 +0000 | [diff] [blame] | 85 | // In Naked functions we aren't going to save any registers. |
Matthias Braun | d318139 | 2017-12-15 22:22:58 +0000 | [diff] [blame] | 86 | if (MF.getFunction().hasFnAttribute(Attribute::Naked)) |
Matthias Braun | a362682 | 2015-07-14 17:17:13 +0000 | [diff] [blame] | 87 | return; |
| 88 | |
Tim Northover | f6621a4 | 2018-04-07 10:57:03 +0000 | [diff] [blame] | 89 | // Noreturn+nounwind functions never restore CSR, so no saves are needed. |
| 90 | // Purely noreturn functions may still return through throws, so those must |
| 91 | // save CSR for caller exception handlers. |
| 92 | // |
| 93 | // If the function uses longjmp to break out of its current path of |
| 94 | // execution we do not need the CSR spills either: setjmp stores all CSRs |
| 95 | // it was called with into the jmp_buf, which longjmp then restores. |
| 96 | if (MF.getFunction().hasFnAttribute(Attribute::NoReturn) && |
| 97 | MF.getFunction().hasFnAttribute(Attribute::NoUnwind) && |
| 98 | !MF.getFunction().hasFnAttribute(Attribute::UWTable) && |
| 99 | enableCalleeSaveSkip(MF)) |
| 100 | return; |
| 101 | |
Matthias Braun | a362682 | 2015-07-14 17:17:13 +0000 | [diff] [blame] | 102 | // Functions which call __builtin_unwind_init get all their registers saved. |
Matthias Braun | 347847b | 2016-12-01 19:32:15 +0000 | [diff] [blame] | 103 | bool CallsUnwindInit = MF.callsUnwindInit(); |
Matthias Braun | a362682 | 2015-07-14 17:17:13 +0000 | [diff] [blame] | 104 | const MachineRegisterInfo &MRI = MF.getRegInfo(); |
| 105 | for (unsigned i = 0; CSRegs[i]; ++i) { |
| 106 | unsigned Reg = CSRegs[i]; |
| 107 | if (CallsUnwindInit || MRI.isPhysRegModified(Reg)) |
| 108 | SavedRegs.set(Reg); |
| 109 | } |
| 110 | } |
Maksim Panchenko | 3b3752c | 2015-09-29 22:09:16 +0000 | [diff] [blame] | 111 | |
| 112 | unsigned TargetFrameLowering::getStackAlignmentSkew( |
| 113 | const MachineFunction &MF) const { |
| 114 | // When HHVM function is called, the stack is skewed as the return address |
| 115 | // is removed from the stack before we enter the function. |
Matthias Braun | d318139 | 2017-12-15 22:22:58 +0000 | [diff] [blame] | 116 | if (LLVM_UNLIKELY(MF.getFunction().getCallingConv() == CallingConv::HHVM)) |
Matt Arsenault | 6f1d642 | 2018-03-14 00:36:23 +0000 | [diff] [blame] | 117 | return MF.getTarget().getAllocaPointerSize(); |
Maksim Panchenko | 3b3752c | 2015-09-29 22:09:16 +0000 | [diff] [blame] | 118 | |
| 119 | return 0; |
| 120 | } |
Petar Jovanovic | b6bee65 | 2018-04-24 10:32:08 +0000 | [diff] [blame] | 121 | |
| 122 | int TargetFrameLowering::getInitialCFAOffset(const MachineFunction &MF) const { |
| 123 | llvm_unreachable("getInitialCFAOffset() not implemented!"); |
| 124 | } |
| 125 | |
| 126 | unsigned TargetFrameLowering::getInitialCFARegister(const MachineFunction &MF) |
| 127 | const { |
| 128 | llvm_unreachable("getInitialCFARegister() not implemented!"); |
| 129 | } |