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
| # REQUIRES: riscv
# RUN: echo '.tbss; .globl b, c; b: .zero 4; c:' > %t.s
# RUN: echo '.globl __tls_get_addr; __tls_get_addr:' > %tga.s
## RISC-V psABI doesn't specify TLS relaxation. Though the code sequences are not
## relaxed, dynamic relocations can be omitted for GD->LE relaxation.
# RUN: llvm-mc -filetype=obj -triple=riscv32 %s -o %t.32.o
# RUN: llvm-mc -filetype=obj -triple=riscv32 %t.s -o %t1.32.o
# RUN: ld.lld -shared -soname=t1.so %t1.32.o -o %t1.32.so
# RUN: llvm-mc -filetype=obj -triple=riscv32 %tga.s -o %tga.32.o
## rv32 GD
# RUN: ld.lld -shared %t.32.o %t1.32.o -o %t.32.so
# RUN: llvm-readobj -r %t.32.so | FileCheck --check-prefix=GD32-REL %s
# RUN: llvm-objdump -d --no-show-raw-insn %t.32.so | FileCheck --check-prefix=GD32 %s
## rv32 GD -> LE
# RUN: ld.lld %t.32.o %t1.32.o %tga.32.o -o %t.32
# RUN: llvm-readelf -r %t.32 | FileCheck --check-prefix=NOREL %s
# RUN: llvm-readelf -x .got %t.32 | FileCheck --check-prefix=LE32-GOT %s
# RUN: ld.lld -pie %t.32.o %t1.32.o %tga.32.o -o %t.32
# RUN: llvm-readelf -r %t.32 | FileCheck --check-prefix=NOREL %s
# RUN: llvm-readelf -x .got %t.32 | FileCheck --check-prefix=LE32-GOT %s
## rv32 GD -> IE
# RUN: ld.lld %t.32.o %t1.32.so %tga.32.o -o %t.32
# RUN: llvm-readobj -r %t.32 | FileCheck --check-prefix=IE32-REL %s
# RUN: llvm-readelf -x .got %t.32 | FileCheck --check-prefix=IE32-GOT %s
# RUN: llvm-mc -filetype=obj -triple=riscv64 %s -o %t.64.o
# RUN: llvm-mc -filetype=obj -triple=riscv64 %t.s -o %t1.64.o
# RUN: ld.lld -shared -soname=t1.so %t1.64.o -o %t1.64.so
# RUN: llvm-mc -filetype=obj -triple=riscv64 %tga.s -o %tga.64.o
## rv64 GD
# RUN: ld.lld -shared %t.64.o %t1.64.o -o %t.64.so
# RUN: llvm-readobj -r %t.64.so | FileCheck --check-prefix=GD64-REL %s
# RUN: llvm-objdump -d --no-show-raw-insn %t.64.so | FileCheck --check-prefix=GD64 %s
## rv64 GD -> LE
# RUN: ld.lld %t.64.o %t1.64.o %tga.64.o -o %t.64
# RUN: llvm-readelf -r %t.64 | FileCheck --check-prefix=NOREL %s
# RUN: llvm-readelf -x .got %t.64 | FileCheck --check-prefix=LE64-GOT %s
# RUN: ld.lld -pie %t.64.o %t1.64.o %tga.64.o -o %t.64
# RUN: llvm-readelf -r %t.64 | FileCheck --check-prefix=NOREL %s
# RUN: llvm-readelf -x .got %t.64 | FileCheck --check-prefix=LE64-GOT %s
## rv64 GD -> IE
# RUN: ld.lld %t.64.o %t1.64.so %tga.64.o -o %t.64
# RUN: llvm-readobj -r %t.64 | FileCheck --check-prefix=IE64-REL %s
# RUN: llvm-readelf -x .got %t.64 | FileCheck --check-prefix=IE64-GOT %s
# GD32-REL: .rela.dyn {
# GD32-REL-NEXT: 0x2310 R_RISCV_TLS_DTPMOD32 a 0x0
# GD32-REL-NEXT: 0x2314 R_RISCV_TLS_DTPREL32 a 0x0
# GD32-REL-NEXT: 0x2318 R_RISCV_TLS_DTPMOD32 b 0x0
# GD32-REL-NEXT: 0x231C R_RISCV_TLS_DTPREL32 b 0x0
# GD32-REL-NEXT: }
## &DTPMOD(a) - . = 0x2310 - 0x1250 = 4096*1+192
# GD32: 1250: auipc a0, 1
# GD32-NEXT: addi a0, a0, 192
# GD32-NEXT: auipc ra, 0
# GD32-NEXT: jalr 56(ra)
## &DTPMOD(b) - . = 0x2318 - 0x1260 = 4096*1+184
# GD32: 1260: auipc a0, 1
# GD32-NEXT: addi a0, a0, 184
# GD32-NEXT: auipc ra, 0
# GD32-NEXT: jalr 40(ra)
# GD64-REL: .rela.dyn {
# GD64-REL-NEXT: 0x24D0 R_RISCV_TLS_DTPMOD64 a 0x0
# GD64-REL-NEXT: 0x24D8 R_RISCV_TLS_DTPREL64 a 0x0
# GD64-REL-NEXT: 0x24E0 R_RISCV_TLS_DTPMOD64 b 0x0
# GD64-REL-NEXT: 0x24E8 R_RISCV_TLS_DTPREL64 b 0x0
# GD64-REL-NEXT: }
## &DTPMOD(a) - . = 0x24d0 - 0x1398 = 4096*1+312
# GD64: 1398: auipc a0, 1
# GD64-NEXT: addi a0, a0, 312
# GD64-NEXT: auipc ra, 0
# GD64-NEXT: jalr 64(ra)
## &DTPMOD(b) - . = 0x24e0 - 0x13a8 = 4096*1+312
# GD64: 13a8: auipc a0, 1
# GD64-NEXT: addi a0, a0, 312
# GD64-NEXT: auipc ra, 0
# GD64-NEXT: jalr 48(ra)
# NOREL: no relocations
## .got contains pre-populated values: [a@dtpmod, a@dtprel, b@dtpmod, b@dtprel]
## a@dtprel = st_value(a)-0x800 = 0xfffff808
## b@dtprel = st_value(b)-0x800 = 0xfffff80c
# LE32-GOT: section '.got':
# LE32-GOT-NEXT: 0x{{[0-9a-f]+}} 01000000 08f8ffff 01000000 0cf8ffff
# LE64-GOT: section '.got':
# LE64-GOT-NEXT: 0x{{[0-9a-f]+}} 01000000 00000000 08f8ffff ffffffff
# LE64-GOT-NEXT: 0x{{[0-9a-f]+}} 01000000 00000000 0cf8ffff ffffffff
## a is local - relaxed to LE - its DTPMOD/DTPREL slots are link-time constants.
## b is external - DTPMOD/DTPREL dynamic relocations are required.
# IE32-REL: .rela.dyn {
# IE32-REL-NEXT: 0x12230 R_RISCV_TLS_DTPMOD32 b 0x0
# IE32-REL-NEXT: 0x12234 R_RISCV_TLS_DTPREL32 b 0x0
# IE32-REL-NEXT: }
# IE32-GOT: section '.got':
# IE32-GOT-NEXT: 0x00012228 01000000 08f8ffff 00000000 00000000
# IE64-REL: .rela.dyn {
# IE64-REL-NEXT: 0x12390 R_RISCV_TLS_DTPMOD64 b 0x0
# IE64-REL-NEXT: 0x12398 R_RISCV_TLS_DTPREL64 b 0x0
# IE64-REL-NEXT: }
# IE64-GOT: section '.got':
# IE64-GOT-NEXT: 0x00012380 01000000 00000000 08f8ffff ffffffff
# IE64-GOT-NEXT: 0x00012390 00000000 00000000 00000000 00000000
la.tls.gd a0,a
call __tls_get_addr@plt
la.tls.gd a0,b
call __tls_get_addr@plt
.section .tbss
.globl a
.zero 8
a:
.zero 4
|