1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-19 02:52:53 +02:00

ARM: Don't emit R_ARM_NONE relocations to compact unwinding decoders in .ARM.exidx on Android.

These relocations are specified by the ARM EHABI (section 6.3). As I understand
it, their purpose is to accommodate unwinder implementations that wish to
reduce code size by placing the implementations of the compact unwinding
decoders in a separate translation unit, and using extern weak symbols to
refer to them from the main unwinder implementation, so that they are only
linked when something in the binary needs them in order to unwind.

However, neither of the unwinders used on Android (libgcc, LLVM libunwind)
use this technique, and in fact emitting these relocations ends up being
counterproductive to code size because they cause a copy of the unwinder
to be statically linked into most binaries, regardless of whether it is
actually needed. Furthermore, these relocations create circular dependencies
(between libc and the unwinder) in cases where the unwinder is dynamically
linked and libc contains compact unwind info.

Therefore, deviate from the EHABI here and stop emitting these relocations
on Android.

Differential Revision: https://reviews.llvm.org/D70027
This commit is contained in:
Peter Collingbourne 2019-11-08 11:03:34 -08:00
parent db1604061b
commit 9930bdcc8f
4 changed files with 42 additions and 32 deletions

View File

@ -101,7 +101,7 @@ MCELFStreamer *createARMELFStreamer(MCContext &Context,
std::unique_ptr<MCAsmBackend> TAB,
std::unique_ptr<MCObjectWriter> OW,
std::unique_ptr<MCCodeEmitter> Emitter,
bool RelaxAll, bool IsThumb);
bool RelaxAll, bool IsThumb, bool IsAndroid);
} // end namespace llvm

View File

@ -441,10 +441,12 @@ public:
friend class ARMTargetELFStreamer;
ARMELFStreamer(MCContext &Context, std::unique_ptr<MCAsmBackend> TAB,
std::unique_ptr<MCObjectWriter> OW, std::unique_ptr<MCCodeEmitter> Emitter,
bool IsThumb)
: MCELFStreamer(Context, std::move(TAB), std::move(OW), std::move(Emitter)),
IsThumb(IsThumb) {
std::unique_ptr<MCObjectWriter> OW,
std::unique_ptr<MCCodeEmitter> Emitter, bool IsThumb,
bool IsAndroid)
: MCELFStreamer(Context, std::move(TAB), std::move(OW),
std::move(Emitter)),
IsThumb(IsThumb), IsAndroid(IsAndroid) {
EHReset();
}
@ -687,6 +689,7 @@ private:
void EmitFixup(const MCExpr *Expr, MCFixupKind Kind);
bool IsThumb;
bool IsAndroid;
int64_t MappingSymbolCounter = 0;
DenseMap<const MCSection *, std::unique_ptr<ElfMappingSymbolInfo>>
@ -1269,7 +1272,12 @@ void ARMELFStreamer::emitFnEnd() {
// Emit the exception index table entry
SwitchToExIdxSection(*FnStart);
if (PersonalityIndex < ARM::EHABI::NUM_PERSONALITY_INDEX)
// The EHABI requires a dependency preserving R_ARM_NONE relocation to the
// personality routine to protect it from an arbitrary platform's static
// linker garbage collection. We disable this for Android where the unwinder
// is either dynamically linked or directly references the personality
// routine.
if (PersonalityIndex < ARM::EHABI::NUM_PERSONALITY_INDEX && !IsAndroid)
EmitPersonalityFixup(GetAEABIUnwindPersonalityName(PersonalityIndex));
const MCSymbolRefExpr *FnStartRef =
@ -1504,9 +1512,11 @@ MCELFStreamer *createARMELFStreamer(MCContext &Context,
std::unique_ptr<MCAsmBackend> TAB,
std::unique_ptr<MCObjectWriter> OW,
std::unique_ptr<MCCodeEmitter> Emitter,
bool RelaxAll, bool IsThumb) {
ARMELFStreamer *S = new ARMELFStreamer(Context, std::move(TAB), std::move(OW),
std::move(Emitter), IsThumb);
bool RelaxAll, bool IsThumb,
bool IsAndroid) {
ARMELFStreamer *S =
new ARMELFStreamer(Context, std::move(TAB), std::move(OW),
std::move(Emitter), IsThumb, IsAndroid);
// FIXME: This should eventually end up somewhere else where more
// intelligent flag decisions can be made. For now we are just maintaining
// the status quo for ARM and setting EF_ARM_EABI_VER5 as the default.

View File

@ -212,7 +212,8 @@ static MCStreamer *createELFStreamer(const Triple &T, MCContext &Ctx,
bool RelaxAll) {
return createARMELFStreamer(
Ctx, std::move(MAB), std::move(OW), std::move(Emitter), false,
(T.getArch() == Triple::thumb || T.getArch() == Triple::thumbeb));
(T.getArch() == Triple::thumb || T.getArch() == Triple::thumbeb),
T.isAndroid());
}
static MCStreamer *

View File

@ -1,7 +1,9 @@
@ RUN: llvm-mc %s -triple=armv7-unknown-linux-gnueabi -filetype=obj -o - \
@ RUN: | llvm-readobj -S --sd --sr > %t
@ RUN: FileCheck %s < %t
@ RUN: FileCheck --check-prefix=RELOC %s < %t
@ RUN: FileCheck --check-prefixes=RELOC,RELOC-NOAND %s < %t
@ RUN: llvm-mc %s -triple=armv7-unknown-linux-androideabi -filetype=obj -o - \
@ RUN: | llvm-readobj -S --sd --sr | FileCheck --check-prefix=RELOC %s
@ Check the compact pr0 model
@ -61,18 +63,16 @@ func2:
@ CHECK: )
@ CHECK: }
@-------------------------------------------------------------------------------
@ The first word should be relocated to .TEST1 section. Besides, there is
@ another relocation entry for __aeabi_unwind_cpp_pr0, so that the linker
@ will keep __aeabi_unwind_cpp_pr0.
@ The first word should be relocated to .TEST1 section. Besides, on non-Android
@ there is another relocation entry for __aeabi_unwind_cpp_pr0, so that the
@ linker will keep __aeabi_unwind_cpp_pr0.
@-------------------------------------------------------------------------------
@ RELOC: Section {
@ RELOC: Name: .rel.ARM.exidx.TEST1
@ RELOC: Relocations [
@ RELOC: 0x0 R_ARM_NONE __aeabi_unwind_cpp_pr0 0x0
@ RELOC: 0x0 R_ARM_PREL31 .TEST1 0x0
@ RELOC: ]
@ RELOC: }
@ RELOC: Section {
@ RELOC: Name: .rel.ARM.exidx.TEST1
@ RELOC: Relocations [
@ RELOC-NOAND-NEXT: 0x0 R_ARM_NONE __aeabi_unwind_cpp_pr0 0x0
@ RELOC-NEXT: 0x0 R_ARM_PREL31 .TEST1 0x0
@ RELOC-NEXT: ]
@-------------------------------------------------------------------------------
@ Check .TEST2 section
@ -98,14 +98,13 @@ func2:
@ CHECK: )
@ CHECK: }
@-------------------------------------------------------------------------------
@ The first word should be relocated to .TEST2 section. Besides, there is
@ another relocation entry for __aeabi_unwind_cpp_pr0, so that the linker
@ will keep __aeabi_unwind_cpp_pr0.
@ The first word should be relocated to .TEST2 section. Besides, on non-Android
@ there is another relocation entry for __aeabi_unwind_cpp_pr0, so that the
@ linker will keep __aeabi_unwind_cpp_pr0.
@-------------------------------------------------------------------------------
@ RELOC: Section {
@ RELOC: Name: .rel.ARM.exidx.TEST2
@ RELOC: Relocations [
@ RELOC: 0x0 R_ARM_NONE __aeabi_unwind_cpp_pr0 0x0
@ RELOC: 0x0 R_ARM_PREL31 .TEST2 0x0
@ RELOC: ]
@ RELOC: }
@ RELOC: Section {
@ RELOC: Name: .rel.ARM.exidx.TEST2
@ RELOC: Relocations [
@ RELOC-NOAND-NEXT: 0x0 R_ARM_NONE __aeabi_unwind_cpp_pr0 0x0
@ RELOC-NEXT: 0x0 R_ARM_PREL31 .TEST2 0x0
@ RELOC-NEXT: ]