File: gnu-ifunc-plt.s

package info (click to toggle)
swiftlang 6.0.3-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 2,519,992 kB
  • sloc: cpp: 9,107,863; ansic: 2,040,022; asm: 1,135,751; python: 296,500; objc: 82,456; f90: 60,502; lisp: 34,951; pascal: 19,946; sh: 18,133; perl: 7,482; ml: 4,937; javascript: 4,117; makefile: 3,840; awk: 3,535; xml: 914; fortran: 619; cs: 573; ruby: 573
file content (111 lines) | stat: -rw-r--r-- 4,254 bytes parent folder | download | duplicates (21)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
// REQUIRES: x86

/// For non-preemptable ifunc, place ifunc PLT entries to the .iplt section.

// RUN: llvm-mc -filetype=obj -triple=x86_64-pc-linux %S/Inputs/shared2-x86-64.s -o %t1.o
// RUN: ld.lld %t1.o --shared -soname=so -o %t.so
// RUN: llvm-mc -filetype=obj -triple=x86_64-unknown-linux %s -o %t.o
// RUN: ld.lld --hash-style=sysv %t.so %t.o -o %tout
// RUN: llvm-objdump -d --no-show-raw-insn --print-imm-hex %tout | FileCheck %s --check-prefix=DISASM
// RUN: llvm-objdump -s %tout | FileCheck %s --check-prefix=GOTPLT
// RUN: llvm-readobj -r --dynamic-table %tout | FileCheck %s

/// Check that the PLTRELSZ tag does not include the IRELATIVE relocations
// CHECK: DynamicSection [
// CHECK:   0x0000000000000008 RELASZ               72 (bytes)
// CHECK:   0x0000000000000002 PLTRELSZ             48 (bytes)

/// Check that the IRELATIVE relocations are placed to the .rela.dyn section after
/// other regular relocations (e.g. GLOB_DAT).
// CHECK:      Relocations [
// CHECK-NEXT:   Section (4) .rela.dyn {
// CHECK-NEXT:     0x202480 R_X86_64_GLOB_DAT bar3 0x0
// CHECK-NEXT:     0x2034B0 R_X86_64_IRELATIVE - 0x201318
// CHECK-NEXT:     0x2034B8 R_X86_64_IRELATIVE - 0x201319
// CHECK-NEXT:   }
// CHECK-NEXT:   Section (5) .rela.plt {
// CHECK-NEXT:     0x2034A0 R_X86_64_JUMP_SLOT bar2 0x0
// CHECK-NEXT:     0x2034A8 R_X86_64_JUMP_SLOT zed2 0x0
// CHECK-NEXT:   }

/// Check that .got.plt entries point back to PLT header
// GOTPLT: Contents of section .got.plt:
// GOTPLT-NEXT:  203488 90232000 00000000 00000000 00000000
// GOTPLT-NEXT:  203498 00000000 00000000 56132000 00000000
// GOTPLT-NEXT:  2034a8 66132000 00000000 00000000 00000000
// GOTPLT-NEXT:  2034b8 00000000 00000000

/// Check that we have 2 PLT sections: one regular .plt section and one
/// .iplt section for ifunc entries.
// DISASM: Disassembly of section .text:
// DISASM-EMPTY:
// DISASM-NEXT: <foo>:
// DISASM-NEXT:   201318:       retq
// DISASM:      <bar>:
// DISASM-NEXT:   201319:       retq
// DISASM:      <_start>:
// DISASM-NEXT:   20131a:       callq   0x201370
// DISASM-NEXT:   20131f:       callq   0x201380
// DISASM-NEXT:                 callq   {{.*}} <bar2@plt>
// DISASM-NEXT:                 callq   {{.*}} <zed2@plt>
// DISASM-NEXT:                 jmpq    *0x114c(%rip)
// DISASM-EMPTY:
// DISASM-NEXT: Disassembly of section .plt:
// DISASM-EMPTY:
// DISASM-NEXT: <.plt>:
// DISASM-NEXT:   201340:       pushq   0x214a(%rip)
// DISASM-NEXT:   201346:       jmpq    *0x214c(%rip)
// DISASM-NEXT:   20134c:       nopl    (%rax)
// DISASM-EMPTY:
// DISASM-NEXT:   <bar2@plt>:
// DISASM-NEXT:   201350:       jmpq    *0x214a(%rip)
// DISASM-NEXT:   201356:       pushq   $0x0
// DISASM-NEXT:   20135b:       jmp     0x201340 <.plt>
// DISASM-EMPTY:
// DISASM-NEXT:   <zed2@plt>:
// DISASM-NEXT:   201360:       jmpq    *0x2142(%rip)
// DISASM-NEXT:   201366:       pushq   $0x1
// DISASM-NEXT:   20136b:       jmp     0x201340 <.plt>
// DISASM-EMPTY:
// DISASM-NEXT: Disassembly of section .iplt:
// DISASM-EMPTY:
// DISASM-NEXT: <.iplt>:
// DISASM-NEXT:   201370:       jmpq    *0x213a(%rip)
// DISASM-NEXT:   201376:       pushq   $0x0
// DISASM-NEXT:   20137b:       jmp     0x201340 <.plt>
// DISASM-NEXT:   201380:       jmpq    *0x2132(%rip)
// DISASM-NEXT:   201386:       pushq   $0x1
// DISASM-NEXT:   20138b:       jmp     0x201340 <.plt>

// Test that --shuffle-sections does not affect the order of relocations and that
// we still place IRELATIVE relocations last. Check both random seed (0) and an
// arbitrary seed that was known to break the order of relocations previously (3).
// RUN: ld.lld --shuffle-sections='*=3' %t.so %t.o -o %tout2
// RUN: llvm-readobj --relocations %tout2 | FileCheck %s --check-prefix=SHUFFLE
// RUN: ld.lld --shuffle-sections='*=0' %t.so %t.o -o %tout3
// RUN: llvm-readobj --relocations %tout3 | FileCheck %s --check-prefix=SHUFFLE

// SHUFFLE:      Section {{.*}} .rela.dyn {
// SHUFFLE-NEXT:   R_X86_64_GLOB_DAT
// SHUFFLE-NEXT:   R_X86_64_IRELATIVE
// SHUFFLE-NEXT:   R_X86_64_IRELATIVE
// SHUFFLE-NEXT: }

.text
.type foo STT_GNU_IFUNC
.globl foo
foo:
 ret

.type bar STT_GNU_IFUNC
.globl bar
bar:
 ret

.globl _start
_start:
 call foo
 call bar
 call bar2
 call zed2
 jmp *bar3@GOTPCREL(%rip)