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
|
# REQUIRES: aarch64
# RUN: rm -rf %t && split-file %s %t
# RUN: llvm-mc --triple=aarch64 --filetype=obj -o %t.o %t/a.s
# RUN: ld.lld --shared -T %t/largegap.lds -z force-bti %t.o -o %t.elf
# RUN: llvm-objdump -d %t.elf | FileCheck %s
#--- largegap.lds
SECTIONS {
.plt : { *(.plt) }
.text.near 0x1000 : AT(0x1000) { *(.text.near) }
.text.far 0xf0000000 : AT(0xf0000000) { *(.text.far) }
}
#--- a.s
# CHECK: <.plt>:
# CHECK-NEXT: bti c
## foo@plt is targeted by a range extension thunk with an indirect branch.
## Add a bti c instruction.
# CHECK: <foo@plt>:
# CHECK-NEXT: bti c
## biz is not targeted by a thunk using an indirect branch, so no need for bti c.
# CHECK: <biz@plt>:
# CHECK-NEXT: adrp x16, {{.*}} <func>
# CHECK: <bar>:
# CHECK-NEXT: bl {{.*}} <foo@plt>
# CHECK-NEXT: bl {{.*}} <biz@plt>
# CHECK: <func>:
# CHECK-NEXT: bl {{.*}} <__AArch64ADRPThunk_foo>
# CHECK: <__AArch64ADRPThunk_foo>:
# CHECK-NEXT: adrp x16, 0x0 <foo>
# CHECK-NEXT: add x16, x16, {{.*}}
# CHECK-NEXT: br x16
.global foo
.global biz
.section .text.near, "ax", %progbits
bar:
.type bar, %function
bl foo
bl biz
ret
.section .text.far, "ax", %progbits
func:
.type func, %function
bl foo
ret
|
