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
|
# REQUIRES: system-linux
## Check that BOLT correctly handles different types of instructions with
## R_X86_64_GOTPCRELX or R_X86_64_REX_GOTPCRELX relocations and different
## kinds of handling of the relocation by the linker (no relaxation, pic, and
## non-pic).
# RUN: llvm-mc -filetype=obj -triple x86_64-unknown-linux \
# RUN: -relax-relocations %s -o %t.o
# RUN: ld.lld %t.o -o %t.exe -q
# RUN: ld.lld %t.o -o %t.pie.exe -q -pie
# RUN: ld.lld %t.o -o %t.no-relax.exe -q --no-relax
# RUN: llvm-bolt %t.exe --relocs -o %t.out --print-cfg --print-only=_start \
# RUN: |& FileCheck --check-prefix=BOLT %s
# RUN: llvm-bolt %t.pie.exe -o /dev/null --print-cfg --print-only=_start \
# RUN: |& FileCheck --check-prefix=PIE-BOLT %s
# RUN: llvm-bolt %t.no-relax.exe -o /dev/null --print-cfg --print-only=_start \
# RUN: |& FileCheck --check-prefix=NO-RELAX-BOLT %s
# RUN: llvm-objdump -d --no-show-raw-insn --print-imm-hex \
# RUN: %t.out | FileCheck --check-prefix=DISASM %s
## Relocate foo only and check that code references from _start (that is
## otherwise preserved) are updated.
# RUN: llvm-bolt %t.exe --relocs -o %t.lite.out --funcs=foo
# RUN: llvm-objdump -d --no-show-raw-insn --print-imm-hex \
# RUN: %t.lite.out | FileCheck --check-prefix=DISASM %s
.text
.globl _start
.type _start, %function
_start:
.cfi_startproc
# DISASM: <_start>:
call *foo@GOTPCREL(%rip)
# NO-RELAX-BOLT: callq *{{.*}}(%rip)
# BOLT: callq foo
# PIE-BOLT: callq foo
# DISASM-NEXT: callq 0x[[#%x,ADDR:]]
movq foo@GOTPCREL(%rip), %rdi
# NO-RELAX-BOLT-NEXT: movq {{.*}}(%rip), %rdi
# BOLT-NEXT: leaq foo(%rip), %rdi
# PIE-BOLT-NEXT: leaq foo(%rip), %rdi
# DISASM-NEXT: leaq {{.*}}(%rip), %rdi # 0x[[#ADDR]]
movl foo@GOTPCREL+4(%rip), %edi
# NO-RELAX-BOLT-NEXT: movl {{.*}}(%rip), %edi
# BOLT-NEXT: movl {{.*}}(%rip), %edi
# PIE-BOLT-NEXT: movl {{.*}}(%rip), %edi
# DISASM-NEXT: movl {{.*}}(%rip), %edi
test %rdi, foo@GOTPCREL(%rip)
# NO-RELAX-BOLT-NEXT: testq %rdi, DATA{{.*}}(%rip)
# BOLT-NEXT: testq $foo, %rdi
# PIE-BOLT-NEXT: testq %rdi, DATA{{.*}}(%rip)
# DISASM-NEXT: testq $0x[[#ADDR]], %rdi
cmpq foo@GOTPCREL(%rip), %rax
# NO-RELAX-BOLT-NEXT: cmpq DATA{{.*}}(%rip), %rax
# BOLT-NEXT: cmpq $foo, %rax
# PIE-BOLT-NEXT: cmpq DATA{{.*}}(%rip), %rax
# DISASM-NEXT: cmpq $0x[[#ADDR]], %rax
jmp *foo@GOTPCREL(%rip)
# NO-RELAX-BOLT-NEXT: jmpq *DATA{{.*}}(%rip)
# BOLT-NEXT: jmp foo
# PIE-BOLT-NEXT: jmp foo
# DISASM-NEXT: jmp 0x[[#ADDR]]
# DISASM: [[#ADDR]] <foo>:
ret
.cfi_endproc
.size _start, .-_start
.globl foo
.type foo, %function
foo:
.cfi_startproc
ret
.cfi_endproc
.size foo, .-foo
|
