mirror of
https://github.com/capstone-engine/llvm-capstone.git
synced 2025-01-04 06:51:56 +00:00
fb2944bd7f
Similar to D71509 (EM_PPC64), on EM_PPC, the IPLT code sequence should
be similar to a PLT call stub. Unlike EM_PPC64, EM_PPC -msecure-plt has
small/large PIC model differences.
* -fpic/-fpie: R_PPC_PLTREL24 r_addend=0. The call stub loads an address relative to `_GLOBAL_OFFSET_TABLE_`.
* -fPIC/-fPIE: R_PPC_PLTREL24 r_addend=0x8000. (A partial linked object
file may have an addend larger than 0x8000.) The call stub loads an address relative to .got2+0x8000.
Just assume large PIC model for now. This patch makes:
// clang -fuse-ld=lld -msecure-plt -fno-pie -no-pie a.c
// clang -fuse-ld=lld -msecure-plt -fPIE -pie a.c
#include <stdio.h>
static void impl(void) { puts("meow"); }
void thefunc(void) __attribute__((ifunc("resolver")));
void *resolver(void) { return &impl; }
int main(void) {
thefunc();
void (*theptr)(void) = &thefunc;
theptr();
}
work on Linux glibc. -fpie will crash because the compiler and the
linker do not agree on the value which r30 stores (_GLOBAL_OFFSET_TABLE_
vs .got2+0x8000).
Differential Revision: https://reviews.llvm.org/D71621
80 lines
2.7 KiB
C++
80 lines
2.7 KiB
C++
//===- Thunks.h --------------------------------------------------------===//
|
|
//
|
|
// 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
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef LLD_ELF_THUNKS_H
|
|
#define LLD_ELF_THUNKS_H
|
|
|
|
#include "Relocations.h"
|
|
|
|
namespace lld {
|
|
namespace elf {
|
|
class Defined;
|
|
class InputFile;
|
|
class Symbol;
|
|
class ThunkSection;
|
|
// Class to describe an instance of a Thunk.
|
|
// A Thunk is a code-sequence inserted by the linker in between a caller and
|
|
// the callee. The relocation to the callee is redirected to the Thunk, which
|
|
// after executing transfers control to the callee. Typical uses of Thunks
|
|
// include transferring control from non-pi to pi and changing state on
|
|
// targets like ARM.
|
|
//
|
|
// Thunks can be created for Defined, Shared and Undefined Symbols.
|
|
// Thunks are assigned to synthetic ThunkSections
|
|
class Thunk {
|
|
public:
|
|
Thunk(Symbol &destination, int64_t addend);
|
|
virtual ~Thunk();
|
|
|
|
virtual uint32_t size() = 0;
|
|
virtual void writeTo(uint8_t *buf) = 0;
|
|
|
|
// All Thunks must define at least one symbol, known as the thunk target
|
|
// symbol, so that we can redirect relocations to it. The thunk may define
|
|
// additional symbols, but these are never targets for relocations.
|
|
virtual void addSymbols(ThunkSection &isec) = 0;
|
|
|
|
void setOffset(uint64_t offset);
|
|
Defined *addSymbol(StringRef name, uint8_t type, uint64_t value,
|
|
InputSectionBase §ion);
|
|
|
|
// Some Thunks must be placed immediately before their Target as they elide
|
|
// a branch and fall through to the first Symbol in the Target.
|
|
virtual InputSection *getTargetInputSection() const { return nullptr; }
|
|
|
|
// To reuse a Thunk the InputSection and the relocation must be compatible
|
|
// with it.
|
|
virtual bool isCompatibleWith(const InputSection &,
|
|
const Relocation &) const {
|
|
return true;
|
|
}
|
|
|
|
Defined *getThunkTargetSym() const { return syms[0]; }
|
|
|
|
Symbol &destination;
|
|
int64_t addend;
|
|
llvm::SmallVector<Defined *, 3> syms;
|
|
uint64_t offset = 0;
|
|
// The alignment requirement for this Thunk, defaults to the size of the
|
|
// typical code section alignment.
|
|
uint32_t alignment = 4;
|
|
};
|
|
|
|
// For a Relocation to symbol S create a Thunk to be added to a synthetic
|
|
// ThunkSection.
|
|
Thunk *addThunk(const InputSection &isec, Relocation &rel);
|
|
|
|
void writePPC32PltCallStub(uint8_t *buf, uint64_t gotPltVA,
|
|
const InputFile *file, int64_t addend);
|
|
void writePPC64LoadAndBranch(uint8_t *buf, int64_t offset);
|
|
|
|
} // namespace elf
|
|
} // namespace lld
|
|
|
|
#endif
|