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
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
|
// REQUIRES: ppc
// RUN: llvm-mc -filetype=obj -triple=powerpc64le-unknown-linux %s -o %t.o
// RUN: ld.lld %t.o -o %t
// RUN: llvm-readelf -r %t.o | FileCheck --check-prefix=InputRelocs %s
// RUN: llvm-objdump -d %t | FileCheck --check-prefix=Dis %s
.text
.abiversion 2
.globl test_local_exec # -- Begin function test_local_exec
.p2align 4
.type test_local_exec,@function
test_local_exec: # @test_local_exec
.Lfunc_begin0:
# %bb.0: # %entry
li 3, 0
stw 3, -12(1)
addis 3, 13, a@tprel@ha
addi 3, 3, a@tprel@l
ld 3, 0(3)
mr 4, 3
extsw 3, 4
blr
.long 0
.quad 0
.Lfunc_end0:
.size test_local_exec, .Lfunc_end0-.Lfunc_begin0
# -- End function
test_tprel:
.Lfunc_gep1:
addis 2, 12, .TOC.-.Lfunc_gep1@ha
addi 2, 2, .TOC.-.Lfunc_gep1@l
.Lfunc_lep1:
.localentry test_tprel, .Lfunc_lep1-.Lfunc_gep1
addi 3, 13, b@tprel
blr
test_hi:
.Lfunc_gep2:
addis 2, 12, .TOC.-.Lfunc_gep2@ha
addi 2, 2, .TOC.-.Lfunc_gep2@l
.Lfunc_lep2:
.localentry test_hi, .Lfunc_lep2-.Lfunc_gep2
addis 3, 13, b@tprel@h
blr
test_ds:
.Lfunc_gep3:
addis 2, 12, .TOC.-.Lfunc_gep3@ha
addi 2, 2, .TOC.-.Lfunc_gep3@l
.Lfunc_lep3:
.localentry test_ds, .Lfunc_lep3-.Lfunc_gep3
ld 3, b@tprel, 13
blr
test_lo_ds:
.Lfunc_gep4:
addis 2, 12, .TOC.-.Lfunc_gep4@ha
addi 2, 2, .TOC.-.Lfunc_gep4@l
.Lfunc_lep4:
.localentry test_lo_ds, .Lfunc_lep4-.Lfunc_gep4
ld 3, b@tprel@l, 13
blr
test_highest_a:
.Lfunc_gep5:
addis 2, 12, .TOC.-.Lfunc_gep5@ha
addi 2, 2, .TOC.-.Lfunc_gep5@l
.Lfunc_lep5:
.localentry test_highest_a, .Lfunc_lep5-.Lfunc_gep5
lis 4, b@tprel@highesta
ori 4, 4, b@tprel@highera
lis 5, b@tprel@ha
addi 5, 5, b@tprel@l
sldi 4, 4, 32
or 4, 4, 5
add 3, 13, 4
blr
test_highest:
.Lfunc_gep6:
addis 2, 12, .TOC.-.Lfunc_gep6@ha
addi 2, 2, .TOC.-.Lfunc_gep6@l
.Lfunc_lep6:
.localentry test_highest, .Lfunc_lep6-.Lfunc_gep6
lis 4, b@tprel@highest
ori 4, 4, b@tprel@higher
sldi 4, 4, 32
oris 4, 4, b@tprel@h
ori 4, 4, b@tprel@l
add 3, 13, 4
blr
.type a,@object # @a
.type b,@object # @b
.section .tdata,"awT",@progbits
.p2align 3
a:
.quad 55 # 0x37
.size a, 8
b:
.quad 55 # 0x37
.size b, 8
// Verify that the input has every initial-exec tls relocation type.
// InputRelocs: Relocation section '.rela.text'
// InputRelocs: R_PPC64_TPREL16_HA {{0+}} a + 0
// InputRelocs: R_PPC64_TPREL16_LO {{0+}} a + 0
// InputRelocs: R_PPC64_TPREL16 {{0+8}} b + 0
// InputRelocs: R_PPC64_TPREL16_HI {{0+8}} b + 0
// InputRelocs: R_PPC64_TPREL16_DS {{0+8}} b + 0
// InputRelocs: R_PPC64_TPREL16_LO_DS {{0+8}} b + 0
// InputRelocs: R_PPC64_TPREL16_HIGHESTA {{0+8}} b + 0
// InputRelocs: R_PPC64_TPREL16_HIGHERA {{0+8}} b + 0
// InputRelocs: R_PPC64_TPREL16_HIGHEST {{0+8}} b + 0
// InputRelocs: R_PPC64_TPREL16_HIGHER {{0+8}} b + 0
// The start of the TLS storage area is 0x7000 bytes before the thread pointer (r13).
// We are building the address of the first TLS variable, relative to the thread pointer.
// #ha(a@tprel) --> (0 - 0x7000 + 0x8000) >> 16 = 0
// #lo(a@tprel)) --> (0 - 0x7000) & 0xFFFF = -0x7000 = -28672
// Dis: test_local_exec:
// Dis: addis 3, 13, 0
// Dis: addi 3, 3, -28672
// We are building the offset for the second TLS variable
// Offset within tls storage - 0x7000
// b@tprel = 8 - 0x7000 = 28664
// Dis: test_tprel:
// Dis: addi 3, 13, -28664
// #hi(b@tprel) --> (8 - 0x7000) >> 16 = -1
// Dis: test_hi:
// Dis: addis 3, 13, -1
// b@tprel = 8 - 0x7000 = -28664
// Dis: test_ds:
// Dis: ld 3, -28664(13)
// #lo(b@tprel) --> (8 - 0x7000) & 0xFFFF = -28664
// Dis: test_lo_ds:
// Dis: ld 3, -28664(13)
// #highesta(b@tprel) --> ((0x8 - 0x7000 + 0x8000) >> 48) & 0xFFFF = 0
// #highera(b@tprel) --> ((0x8 - 0x7000 + 0x8000) >> 32) & 0xFFFF = 0
// #ha(k@dtprel) --> ((0x8 - 0x7000 + 0x8000) >> 16) & 0xFFFF = 0
// #lo(k@dtprel) --> ((0x8 - 0x7000) & 0xFFFF = -28664
// Dis: test_highest_a:
// Dis: lis 4, 0
// Dis: ori 4, 4, 0
// Dis: lis 5, 0
// Dis: addi 5, 5, -28664
// #highest(b@tprel) --> ((0x8 - 0x7000) >> 48) & 0xFFFF = 0xFFFF = -1
// #higher(b@tprel) --> ((0x8 - 0x7000) >> 32) & 0xFFFF = 0xFFFF = 65535
// #hi(k@dtprel) --> ((0x8 - 0x7000) >> 16) & 0xFFFF = 0xFFFF = 65535
// #lo(k@dtprel) --> ((0x8 - 0x7000) & 0xFFFF = 33796
// Dis: test_highest:
// Dis: lis 4, -1
// Dis: ori 4, 4, 65535
// Dis: oris 4, 4, 65535
// Dis: ori 4, 4, 36872
|
