2017-06-07 06:22:41 +08:00
|
|
|
//===- TargetFrameLoweringImpl.cpp - Implement target frame interface ------==//
|
2005-04-22 06:55:34 +08:00
|
|
|
//
|
2019-01-19 16:50:56 +08:00
|
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
2005-04-22 06:55:34 +08:00
|
|
|
//
|
2004-03-12 07:52:43 +08:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// Implements the layout of a stack frame on the target machine.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2015-07-15 01:17:13 +08:00
|
|
|
#include "llvm/ADT/BitVector.h"
|
2010-11-21 00:14:57 +08:00
|
|
|
#include "llvm/CodeGen/MachineFrameInfo.h"
|
|
|
|
#include "llvm/CodeGen/MachineFunction.h"
|
2015-07-15 01:17:13 +08:00
|
|
|
#include "llvm/CodeGen/MachineRegisterInfo.h"
|
2017-11-17 09:07:10 +08:00
|
|
|
#include "llvm/CodeGen/TargetFrameLowering.h"
|
|
|
|
#include "llvm/CodeGen/TargetRegisterInfo.h"
|
|
|
|
#include "llvm/CodeGen/TargetSubtargetInfo.h"
|
2017-06-07 06:22:41 +08:00
|
|
|
#include "llvm/IR/Attributes.h"
|
HHVM calling conventions.
HHVM calling convention, hhvmcc, is used by HHVM JIT for
functions in translated cache. We currently support LLVM back end to
generate code for X86-64 and may support other architectures in the
future.
In HHVM calling convention any GP register could be used to pass and
return values, with the exception of R12 which is reserved for
thread-local area and is callee-saved. Other than R12, we always
pass RBX and RBP as args, which are our virtual machine's stack pointer
and frame pointer respectively.
When we enter translation cache via hhvmcc function, we expect
the stack to be aligned at 16 bytes, i.e. skewed by 8 bytes as opposed
to standard ABI alignment. This affects stack object alignment and stack
adjustments for function calls.
One extra calling convention, hhvm_ccc, is used to call C++ helpers from
HHVM's translation cache. It is almost identical to standard C calling
convention with an exception of first argument which is passed in RBP
(before we use RDI, RSI, etc.)
Differential Revision: http://reviews.llvm.org/D12681
llvm-svn: 248832
2015-09-30 06:09:16 +08:00
|
|
|
#include "llvm/IR/CallingConv.h"
|
2015-05-23 09:14:08 +08:00
|
|
|
#include "llvm/IR/Function.h"
|
2017-06-07 06:22:41 +08:00
|
|
|
#include "llvm/MC/MCRegisterInfo.h"
|
|
|
|
#include "llvm/Support/Compiler.h"
|
|
|
|
#include "llvm/Target/TargetMachine.h"
|
|
|
|
#include "llvm/Target/TargetOptions.h"
|
|
|
|
|
2004-03-12 07:52:43 +08:00
|
|
|
using namespace llvm;
|
|
|
|
|
2017-06-07 06:22:41 +08:00
|
|
|
TargetFrameLowering::~TargetFrameLowering() = default;
|
2010-11-19 07:25:52 +08:00
|
|
|
|
2018-04-07 18:57:03 +08:00
|
|
|
bool TargetFrameLowering::enableCalleeSaveSkip(const MachineFunction &MF) const {
|
|
|
|
assert(MF.getFunction().hasFnAttribute(Attribute::NoReturn) &&
|
|
|
|
MF.getFunction().hasFnAttribute(Attribute::NoUnwind) &&
|
|
|
|
!MF.getFunction().hasFnAttribute(Attribute::UWTable));
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-08-15 10:32:35 +08:00
|
|
|
/// Returns the displacement from the frame register to the stack
|
|
|
|
/// frame of the specified index, along with the frame register used
|
|
|
|
/// (in output arg FrameReg). This is the default implementation which
|
|
|
|
/// is overridden for some targets.
|
2011-01-10 20:39:04 +08:00
|
|
|
int TargetFrameLowering::getFrameIndexReference(const MachineFunction &MF,
|
|
|
|
int FI, unsigned &FrameReg) const {
|
2016-07-29 02:40:00 +08:00
|
|
|
const MachineFrameInfo &MFI = MF.getFrameInfo();
|
2014-08-05 10:39:49 +08:00
|
|
|
const TargetRegisterInfo *RI = MF.getSubtarget().getRegisterInfo();
|
2010-11-20 23:59:32 +08:00
|
|
|
|
|
|
|
// By default, assume all frame indices are referenced via whatever
|
|
|
|
// getFrameRegister() says. The target can override this if it's doing
|
|
|
|
// something different.
|
|
|
|
FrameReg = RI->getFrameRegister(MF);
|
2015-08-15 10:32:35 +08:00
|
|
|
|
2016-07-29 02:40:00 +08:00
|
|
|
return MFI.getObjectOffset(FI) + MFI.getStackSize() -
|
|
|
|
getOffsetOfLocalArea() + MFI.getOffsetAdjustment();
|
2010-11-20 23:59:32 +08:00
|
|
|
}
|
2015-02-02 00:56:04 +08:00
|
|
|
|
|
|
|
bool TargetFrameLowering::needsFrameIndexResolution(
|
|
|
|
const MachineFunction &MF) const {
|
2016-07-29 02:40:00 +08:00
|
|
|
return MF.getFrameInfo().hasStackObjects();
|
2015-02-02 00:56:04 +08:00
|
|
|
}
|
2015-07-15 01:17:13 +08:00
|
|
|
|
|
|
|
void TargetFrameLowering::determineCalleeSaves(MachineFunction &MF,
|
|
|
|
BitVector &SavedRegs,
|
|
|
|
RegScavenger *RS) const {
|
|
|
|
const TargetRegisterInfo &TRI = *MF.getSubtarget().getRegisterInfo();
|
|
|
|
|
2016-04-08 20:04:32 +08:00
|
|
|
// Resize before the early returns. Some backends expect that
|
|
|
|
// SavedRegs.size() == TRI.getNumRegs() after this call even if there are no
|
|
|
|
// saved registers.
|
|
|
|
SavedRegs.resize(TRI.getNumRegs());
|
|
|
|
|
2016-07-14 07:39:34 +08:00
|
|
|
// When interprocedural register allocation is enabled caller saved registers
|
|
|
|
// are preferred over callee saved registers.
|
2019-08-02 18:23:17 +08:00
|
|
|
if (MF.getTarget().Options.EnableIPRA &&
|
|
|
|
isSafeForNoCSROpt(MF.getFunction()) &&
|
|
|
|
isProfitableForNoCSROpt(MF.getFunction()))
|
2016-07-14 07:39:34 +08:00
|
|
|
return;
|
|
|
|
|
|
|
|
// Get the callee saved register list...
|
2017-03-14 17:09:26 +08:00
|
|
|
const MCPhysReg *CSRegs = MF.getRegInfo().getCalleeSavedRegs();
|
2016-07-14 07:39:34 +08:00
|
|
|
|
2015-07-15 01:17:13 +08:00
|
|
|
// Early exit if there are no callee saved registers.
|
|
|
|
if (!CSRegs || CSRegs[0] == 0)
|
|
|
|
return;
|
|
|
|
|
|
|
|
// In Naked functions we aren't going to save any registers.
|
2017-12-16 06:22:58 +08:00
|
|
|
if (MF.getFunction().hasFnAttribute(Attribute::Naked))
|
2015-07-15 01:17:13 +08:00
|
|
|
return;
|
|
|
|
|
2018-04-07 18:57:03 +08:00
|
|
|
// Noreturn+nounwind functions never restore CSR, so no saves are needed.
|
|
|
|
// Purely noreturn functions may still return through throws, so those must
|
|
|
|
// save CSR for caller exception handlers.
|
|
|
|
//
|
|
|
|
// If the function uses longjmp to break out of its current path of
|
|
|
|
// execution we do not need the CSR spills either: setjmp stores all CSRs
|
|
|
|
// it was called with into the jmp_buf, which longjmp then restores.
|
|
|
|
if (MF.getFunction().hasFnAttribute(Attribute::NoReturn) &&
|
|
|
|
MF.getFunction().hasFnAttribute(Attribute::NoUnwind) &&
|
|
|
|
!MF.getFunction().hasFnAttribute(Attribute::UWTable) &&
|
|
|
|
enableCalleeSaveSkip(MF))
|
|
|
|
return;
|
|
|
|
|
2015-07-15 01:17:13 +08:00
|
|
|
// Functions which call __builtin_unwind_init get all their registers saved.
|
2016-12-02 03:32:15 +08:00
|
|
|
bool CallsUnwindInit = MF.callsUnwindInit();
|
2015-07-15 01:17:13 +08:00
|
|
|
const MachineRegisterInfo &MRI = MF.getRegInfo();
|
|
|
|
for (unsigned i = 0; CSRegs[i]; ++i) {
|
|
|
|
unsigned Reg = CSRegs[i];
|
|
|
|
if (CallsUnwindInit || MRI.isPhysRegModified(Reg))
|
|
|
|
SavedRegs.set(Reg);
|
|
|
|
}
|
|
|
|
}
|
HHVM calling conventions.
HHVM calling convention, hhvmcc, is used by HHVM JIT for
functions in translated cache. We currently support LLVM back end to
generate code for X86-64 and may support other architectures in the
future.
In HHVM calling convention any GP register could be used to pass and
return values, with the exception of R12 which is reserved for
thread-local area and is callee-saved. Other than R12, we always
pass RBX and RBP as args, which are our virtual machine's stack pointer
and frame pointer respectively.
When we enter translation cache via hhvmcc function, we expect
the stack to be aligned at 16 bytes, i.e. skewed by 8 bytes as opposed
to standard ABI alignment. This affects stack object alignment and stack
adjustments for function calls.
One extra calling convention, hhvm_ccc, is used to call C++ helpers from
HHVM's translation cache. It is almost identical to standard C calling
convention with an exception of first argument which is passed in RBP
(before we use RDI, RSI, etc.)
Differential Revision: http://reviews.llvm.org/D12681
llvm-svn: 248832
2015-09-30 06:09:16 +08:00
|
|
|
|
|
|
|
unsigned TargetFrameLowering::getStackAlignmentSkew(
|
|
|
|
const MachineFunction &MF) const {
|
|
|
|
// When HHVM function is called, the stack is skewed as the return address
|
|
|
|
// is removed from the stack before we enter the function.
|
2017-12-16 06:22:58 +08:00
|
|
|
if (LLVM_UNLIKELY(MF.getFunction().getCallingConv() == CallingConv::HHVM))
|
2018-03-14 08:36:23 +08:00
|
|
|
return MF.getTarget().getAllocaPointerSize();
|
HHVM calling conventions.
HHVM calling convention, hhvmcc, is used by HHVM JIT for
functions in translated cache. We currently support LLVM back end to
generate code for X86-64 and may support other architectures in the
future.
In HHVM calling convention any GP register could be used to pass and
return values, with the exception of R12 which is reserved for
thread-local area and is callee-saved. Other than R12, we always
pass RBX and RBP as args, which are our virtual machine's stack pointer
and frame pointer respectively.
When we enter translation cache via hhvmcc function, we expect
the stack to be aligned at 16 bytes, i.e. skewed by 8 bytes as opposed
to standard ABI alignment. This affects stack object alignment and stack
adjustments for function calls.
One extra calling convention, hhvm_ccc, is used to call C++ helpers from
HHVM's translation cache. It is almost identical to standard C calling
convention with an exception of first argument which is passed in RBP
(before we use RDI, RSI, etc.)
Differential Revision: http://reviews.llvm.org/D12681
llvm-svn: 248832
2015-09-30 06:09:16 +08:00
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|
2018-04-24 18:32:08 +08:00
|
|
|
|
|
|
|
int TargetFrameLowering::getInitialCFAOffset(const MachineFunction &MF) const {
|
|
|
|
llvm_unreachable("getInitialCFAOffset() not implemented!");
|
|
|
|
}
|
|
|
|
|
|
|
|
unsigned TargetFrameLowering::getInitialCFARegister(const MachineFunction &MF)
|
|
|
|
const {
|
|
|
|
llvm_unreachable("getInitialCFARegister() not implemented!");
|
Revert "[AArch64][DebugInfo] Do not recompute CalleeSavedStackSize"
Summary:
This reverts commit r372204.
This change causes build bot failures under msan:
http://lab.llvm.org:8011/builders/sanitizer-x86_64-linux-fast/builds/35236/steps/check-llvm%20msan/logs/stdio:
```
FAIL: LLVM :: DebugInfo/AArch64/asan-stack-vars.mir (19531 of 33579)
******************** TEST 'LLVM :: DebugInfo/AArch64/asan-stack-vars.mir' FAILED ********************
Script:
--
: 'RUN: at line 1'; /b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/bin/llc -O0 -start-before=livedebugvalues -filetype=obj -o - /b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/test/DebugInfo/AArch64/asan-stack-vars.mir | /b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/bin/llvm-dwarfdump -v - | /b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/bin/FileCheck /b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/test/DebugInfo/AArch64/asan-stack-vars.mir
--
Exit Code: 2
Command Output (stderr):
--
==62894==WARNING: MemorySanitizer: use-of-uninitialized-value
#0 0xdfcafb in llvm::AArch64FrameLowering::resolveFrameOffsetReference(llvm::MachineFunction const&, int, bool, unsigned int&, bool, bool) const /b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/lib/Target/AArch64/AArch64FrameLowering.cpp:1658:3
#1 0xdfae8a in resolveFrameIndexReference /b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/lib/Target/AArch64/AArch64FrameLowering.cpp:1580:10
#2 0xdfae8a in llvm::AArch64FrameLowering::getFrameIndexReference(llvm::MachineFunction const&, int, unsigned int&) const /b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/lib/Target/AArch64/AArch64FrameLowering.cpp:1536
#3 0x46642c1 in (anonymous namespace)::LiveDebugValues::extractSpillBaseRegAndOffset(llvm::MachineInstr const&) /b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/lib/CodeGen/LiveDebugValues.cpp:582:21
#4 0x4647cb3 in transferSpillOrRestoreInst /b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/lib/CodeGen/LiveDebugValues.cpp:883:11
#5 0x4647cb3 in process /b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/lib/CodeGen/LiveDebugValues.cpp:1079
#6 0x4647cb3 in (anonymous namespace)::LiveDebugValues::ExtendRanges(llvm::MachineFunction&) /b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/lib/CodeGen/LiveDebugValues.cpp:1361
#7 0x463ac0e in (anonymous namespace)::LiveDebugValues::runOnMachineFunction(llvm::MachineFunction&) /b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/lib/CodeGen/LiveDebugValues.cpp:1415:18
#8 0x4854ef0 in llvm::MachineFunctionPass::runOnFunction(llvm::Function&) /b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/lib/CodeGen/MachineFunctionPass.cpp:73:13
#9 0x53b0b01 in llvm::FPPassManager::runOnFunction(llvm::Function&) /b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:1648:27
#10 0x53b15f6 in llvm::FPPassManager::runOnModule(llvm::Module&) /b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:1685:16
#11 0x53b298d in runOnModule /b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:1750:27
#12 0x53b298d in llvm::legacy::PassManagerImpl::run(llvm::Module&) /b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:1863
#13 0x905f21 in compileModule(char**, llvm::LLVMContext&) /b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/tools/llc/llc.cpp:601:8
#14 0x8fdc4e in main /b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/tools/llc/llc.cpp:355:22
#15 0x7f67673632e0 in __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x202e0)
#16 0x882369 in _start (/b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/bin/llc+0x882369)
MemorySanitizer: use-of-uninitialized-value /b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/lib/Target/AArch64/AArch64FrameLowering.cpp:1658:3 in llvm::AArch64FrameLowering::resolveFrameOffsetReference(llvm::MachineFunction const&, int, bool, unsigned int&, bool, bool) const
Exiting
error: -: The file was not recognized as a valid object file
FileCheck error: '-' is empty.
FileCheck command line: /b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/bin/FileCheck /b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/test/DebugInfo/AArch64/asan-stack-vars.mir
```
Reviewers: bkramer
Reviewed By: bkramer
Subscribers: sdardis, aprantl, kristof.beyls, jrtc27, atanasyan, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D67710
llvm-svn: 372228
2019-09-18 22:42:09 +08:00
|
|
|
}
|