RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-01-31 20:51:52 +01:00
Code Issues Projects Releases Wiki Activity

[MC][ELF] Don't create relocations with section symbols for STB_LOCAL ifunc

Browse Source 
We should keep the symbol type (STT_GNU_IFUNC) for a local ifunc because
it may result in an IRELATIVE reloc that the dynamic loader will use to
resolve the address at startup time.

There is another problem that is not fixed by this patch: a PC relative
relocation should also create a relocation with the ifunc symbol.

llvm-svn: 362767
This commit is contained in:
Fangrui Song 2019-06-07 03:47:22 +00:00
parent 07dc77da65
commit 61d7ef3438
2 changed files with 32 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lib/MC/ELFObjectWriter.cpp
View File

@ -1373,6 +1373,12 @@ bool ELFObjectWriter::shouldRelocateWithSymbol(const MCAssembler &Asm,
return true;
}
// Keep symbol type for a local ifunc because it may result in an IRELATIVE
// reloc that the dynamic loader will use to resolve the address at startup
// time.
if (Sym->getType() == ELF::STT_GNU_IFUNC)
return true;
// If a relocation points to a mergeable section, we have to be careful.
// If the offset is zero, a relocation with the section will encode the
// same information. With a non-zero offset, the situation is different.

39
test/MC/ELF/ifunc-reloc.s
View File

@ -1,16 +1,29 @@
// RUN: llvm-mc -filetype=obj -triple x86_64-pc-linux-gnu %s -o - | llvm-readobj -r | FileCheck %s
.global sym
.type sym, @gnu_indirect_function
alias:
.global alias
.type alias, @function
.set sym, alias
# RUN: llvm-mc -filetype=obj -triple x86_64-pc-linux-gnu %s -o - | llvm-readobj -r | FileCheck %s
.global alias
.type alias, @function
alias:
callq global
.global global
.type global, @gnu_indirect_function
.set global, alias
callq sym
.type local, @gnu_indirect_function
.set local, alias
// CHECK: Relocations [
// CHECK-NEXT: Section {{.*}} .rela.text {
// CHECK-NEXT: 0x1 R_X86_64_PLT32 sym 0xFFFFFFFFFFFFFFFC
// CHECK-NEXT: }
// CHECK-NEXT: ]
## Check we don't create the relocations with a section symbol for both global
## They may result in IRELATIVE relocs that the dynamic loader will use to
## resolve addresses at startup time.
.data
.quad global
.quad local
# CHECK: Relocations [
# CHECK-NEXT: Section {{.*}} .rela.text {
# CHECK-NEXT: 0x1 R_X86_64_PLT32 global 0xFFFFFFFFFFFFFFFC
# CHECK-NEXT: }
# CHECK-NEXT: Section {{.*}} .rela.data {
# CHECK-NEXT: 0x0 R_X86_64_64 global 0x0
# CHECK-NEXT: 0x8 R_X86_64_64 local 0x0
# CHECK-NEXT: }
# CHECK-NEXT: ]