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
112
113
114
115
116
|
// REQUIRES: aarch64
// RUN: llvm-mc -filetype=obj -triple=aarch64-none-linux %s -o %t.o
// RUN: ld.lld --fix-cortex-a53-843419 -z separate-code %t.o -o %t2
// RUN: llvm-objdump --triple=aarch64-linux-gnu -d %t2 --start-address=0x210000 --stop-address=0x21000c | FileCheck --check-prefix=CHECK1 %s
// RUN: llvm-objdump --triple=aarch64-linux-gnu -d %t2 --start-address=0x211000 --stop-address=0x211004 | FileCheck --check-prefix=CHECK2 %s
// RUN: llvm-objdump --triple=aarch64-linux-gnu -d %t2 --start-address=0x211ff8 --stop-address=0x212008 | FileCheck --check-prefix=CHECK3 %s
// RUN: llvm-objdump --triple=aarch64-linux-gnu -d %t2 --start-address=0x4213ff8 --stop-address=0x4214008 | FileCheck --check-prefix=CHECK4 %s
// RUN: llvm-objdump --triple=aarch64-linux-gnu -d %t2 --start-address=0x6214008 --stop-address=0x6214018 | FileCheck --check-prefix=CHECK5 %s
// RUN: llvm-objdump --triple=aarch64-linux-gnu -d %t2 --start-address=0x821100c --stop-address=0x8211010 | FileCheck --check-prefix=CHECK6 %s
// RUN: llvm-objdump --triple=aarch64-linux-gnu -d %t2 --start-address=0x8211ffc --stop-address=0x8212014 | FileCheck --check-prefix=CHECK7 %s
// RUN: rm %t.o %t2
// Test case for Cortex-A53 Erratum 843419 in an OutputSection exceeding
// the maximum branch range. Both range extension thunks and patches are
// required.
// CHECK1: <__AArch64AbsLongThunk_need_thunk_after_patch>:
// CHECK1-NEXT: 210000: 58000050 ldr x16, 0x210008
// CHECK1-NEXT: 210004: d61f0200 br x16
// CHECK1: <$d>:
// CHECK1-NEXT: 210008: 0c 10 21 08 .word 0x0821100c
.section .text.01, "ax", %progbits
.balign 4096
.globl _start
.type _start, %function
_start:
// Expect thunk on pass 2
bl need_thunk_after_patch
.section .text.02, "ax", %progbits
.space 4096 - 12
// CHECK2: <_start>:
// CHECK2-NEXT: 211000: 97fffc00 bl 0x210000
// Expect patch on pass 1
.section .text.03, "ax", %progbits
.globl t3_ff8_ldr
.type t3_ff8_ldr, %function
t3_ff8_ldr:
adrp x0, dat
ldr x1, [x1, #0]
ldr x0, [x0, :got_lo12:dat]
ret
// CHECK3: <t3_ff8_ldr>:
// CHECK3-NEXT: 211ff8: f00400e0 adrp x0, 0x8230000
// CHECK3-NEXT: 211ffc: f9400021 ldr x1, [x1]
// CHECK3-NEXT: 212000: 15800802 b 0x6214008
// CHECK3-NEXT: 212004: d65f03c0 ret
.section .text.04, "ax", %progbits
.space 64 * 1024 * 1024
// Expect patch on pass 1
.section .text.05, "ax", %progbits
.balign 4096
.space 4096 - 8
.globl t3_ff8_str
.type t3_ff8_str, %function
t3_ff8_str:
adrp x0, dat
ldr x1, [x1, #0]
str x0, [x0, :got_lo12:dat]
ret
// CHECK4: <t3_ff8_str>:
// CHECK4-NEXT: 4213ff8: b00200e0 adrp x0, 0x8230000
// CHECK4-NEXT: 4213ffc: f9400021 ldr x1, [x1]
// CHECK4-NEXT: 4214000: 14800004 b 0x6214010
// CHECK4-NEXT: 4214004: d65f03c0 ret
.section .text.06, "ax", %progbits
.space 32 * 1024 * 1024
// CHECK5: <__CortexA53843419_211000>:
// CHECK5-NEXT: 6214008: f9400000 ldr x0, [x0]
// CHECK5-NEXT: 621400c: 167ff7fe b 0x212004
// CHECK5: <__CortexA53843419_4213000>:
// CHECK5-NEXT: 6214010: f9000000 str x0, [x0]
// CHECK5-NEXT: 6214014: 177ffffc b 0x4214004
.section .text.07, "ax", %progbits
.space (32 * 1024 * 1024) - 12300
.section .text.08, "ax", %progbits
.globl need_thunk_after_patch
.type need_thunk_after_patch, %function
need_thunk_after_patch:
ret
// CHECK6: <need_thunk_after_patch>:
// CHECK6-NEXT: 821100c: d65f03c0 ret
// Will need a patch on pass 2
.section .text.09, "ax", %progbits
.space 4096 - 20
.globl t3_ffc_ldr
.type t3_ffc_ldr, %function
t3_ffc_ldr:
adrp x0, dat
ldr x1, [x1, #0]
ldr x0, [x0, :got_lo12:dat]
ret
// CHECK7: <t3_ffc_ldr>:
// CHECK7-NEXT: 8211ffc: f00000e0 adrp x0, 0x8230000
// CHECK7-NEXT: 8212000: f9400021 ldr x1, [x1]
// CHECK7-NEXT: 8212004: 14000002 b 0x821200c
// CHECK7-NEXT: 8212008: d65f03c0 ret
// CHECK7: <__CortexA53843419_8212004>:
// CHECK7-NEXT: 821200c: f9400000 ldr x0, [x0]
// CHECK7-NEXT: 8212010: 17fffffe b 0x8212008
.section .data
.globl dat
dat: .quad 0
|
