|
150
|
1 // REQUIRES: ppc
|
|
|
2
|
|
|
3 // RUN: llvm-mc -filetype=obj -triple=powerpc64le-unknown-linux %s -o %t.o
|
|
|
4 // RUN: ld.lld -shared %t.o -z separate-code -o %t.so
|
|
|
5 // RUN: llvm-readelf -r %t.o | FileCheck --check-prefix=InputRelocs %s
|
|
|
6 // RUN: llvm-readelf -r %t.so | FileCheck --check-prefix=OutputRelocs %s
|
|
|
7 // RUN: llvm-objdump --section-headers %t.so | FileCheck --check-prefix=CheckGot %s
|
|
|
8 // RUN: llvm-objdump -d %t.so | FileCheck --check-prefix=Dis %s
|
|
|
9
|
|
|
10 // RUN: llvm-mc -filetype=obj -triple=powerpc64-unknown-linux %s -o %t.o
|
|
|
11 // RUN: ld.lld -shared %t.o -z separate-code -o %t.so
|
|
|
12 // RUN: llvm-readelf -r %t.o | FileCheck --check-prefix=InputRelocs %s
|
|
|
13 // RUN: llvm-readelf -r %t.so | FileCheck --check-prefix=OutputRelocs %s
|
|
|
14 // RUN: llvm-objdump --section-headers %t.so | FileCheck --check-prefix=CheckGot %s
|
|
|
15 // RUN: llvm-objdump -d %t.so | FileCheck --check-prefix=Dis %s
|
|
|
16
|
|
|
17 .text
|
|
|
18 .abiversion 2
|
|
|
19 .globl test
|
|
|
20 .p2align 4
|
|
|
21 .type test,@function
|
|
|
22 test:
|
|
|
23 .Lfunc_gep0:
|
|
|
24 addis 2, 12, .TOC.-.Lfunc_gep0@ha
|
|
|
25 addi 2, 2, .TOC.-.Lfunc_gep0@l
|
|
|
26 .Lfunc_lep0:
|
|
|
27 .localentry test, .Lfunc_lep0-.Lfunc_gep0
|
|
|
28 mflr 0
|
|
|
29 std 0, 16(1)
|
|
|
30 stdu 1, -32(1)
|
|
|
31 addis 3, 2, i@got@tlsld@ha
|
|
|
32 addi 3, 3, i@got@tlsld@l
|
|
|
33 bl __tls_get_addr(i@tlsld)
|
|
|
34 nop
|
|
|
35 addis 3, 3, i@dtprel@ha
|
|
|
36 lwa 3, i@dtprel@l(3)
|
|
|
37 ld 0, 16(1)
|
|
|
38 mtlr 0
|
|
|
39 blr
|
|
|
40
|
|
|
41 .globl test_hi
|
|
|
42 .p2align 4
|
|
|
43 .type test_hi,@function
|
|
|
44 test_hi:
|
|
|
45 lis 3, j@got@tlsld@h
|
|
|
46 blr
|
|
|
47
|
|
|
48 .globl test_16
|
|
|
49 .p2align 4
|
|
|
50 .type test_16,@function
|
|
|
51 test_16:
|
|
|
52 li 3, k@got@tlsld
|
|
|
53 blr
|
|
|
54
|
|
|
55 .type i,@object
|
|
|
56 .section .tdata,"awT",@progbits
|
|
|
57 .p2align 2
|
|
|
58 i:
|
|
|
59 .long 55
|
|
|
60 .size i, 4
|
|
|
61
|
|
|
62 .type j,@object
|
|
|
63 .section .tbss,"awT",@nobits
|
|
|
64 .p2align 2
|
|
|
65 j:
|
|
|
66 .long 0
|
|
|
67 .size j, 4
|
|
|
68
|
|
|
69 .type k,@object
|
|
|
70 .section .tdata,"awT",@progbits
|
|
|
71 .p2align 3
|
|
|
72 k:
|
|
|
73 .quad 66
|
|
|
74 .size k, 8
|
|
|
75
|
|
|
76 // Verify that the input contains all the R_PPC64_GOT_TLSLD16* relocations, as
|
|
|
77 // well as the DTPREL relocations used in a typical medium code model
|
|
|
78 // local-dynamic variable access.
|
|
|
79 // InputRelocs: Relocation section '.rela.text'
|
|
|
80 // InputRelocs: R_PPC64_GOT_TLSLD16_HA {{[0-9a-f]+}} i + 0
|
|
|
81 // InputRelocs: R_PPC64_GOT_TLSLD16_LO {{[0-9a-f]+}} i + 0
|
|
|
82 // InputRelocs: R_PPC64_TLSLD {{[0-9a-f]+}} i + 0
|
|
|
83 // InputRelocs: R_PPC64_DTPREL16_HA {{[0-9a-f]+}} i + 0
|
|
|
84 // InputRelocs: R_PPC64_DTPREL16_LO_DS {{[0-9a-f]+}} i + 0
|
|
|
85 // InputRelocs: R_PPC64_GOT_TLSLD16_HI {{[0-9a-f]+}} j + 0
|
|
|
86 // InputRelocs: R_PPC64_GOT_TLSLD16 {{[0-9a-f]+}} k + 0
|
|
|
87
|
|
|
88 // The local dynamic version of tls needs to use the same mechanism to look up
|
|
|
89 // a variables address as general-dynamic. ie a call to __tls_get_addr with the
|
|
|
90 // address of a tls_index struct as the argument. However for local-dynamic
|
|
|
91 // variables all will have the same ti_module, and the offset field is left as
|
|
|
92 // as 0, so the same struct can be used for every local-dynamic variable
|
|
|
93 // used in the shared-object.
|
|
|
94 // OutputRelocs: Relocation section '.rela.dyn' at offset 0x{{[0-9a-f]+}} contains 1 entries:
|
|
|
95 // OutputRelocs-NEXT: Offset Info Type Symbol's Value Symbol's Name + Addend
|
|
|
96 // OutputRelocs-NEXT: R_PPC64_DTPMOD64
|
|
|
97
|
|
173
|
98 // Check that the got has 3 entries, 1 for the TOC and 1 structure of 2 entries
|
|
150
|
99 // for the tls variables. Also verify the address so we can check the offsets
|
|
|
100 // we calculate for each relocation type.
|
|
|
101 // CheckGot: got 00000018 0000000000020100
|
|
|
102
|
|
|
103 // got starts at 0x20100 so .TOC. will be 0x28100, and the tls_index struct is
|
|
|
104 // at 0x20108.
|
|
|
105
|
|
|
106 // #ha(i@got@tlsld) --> (0x20108 - 0x28100 + 0x8000) >> 16 = 0
|
|
|
107 // #lo(i@got@tlsld) --> (0x20108 - 0x28100) = -7ff8 = -32760
|
|
|
108 // When calculating offset relative to the dynamic thread pointer we have to
|
|
|
109 // adjust by 0x8000 since each DTV pointer points 0x8000 bytes past the start of
|
|
|
110 // its TLS block.
|
|
|
111 // #ha(i@dtprel) --> (0x0 -0x8000 + 0x8000) >> 16 = 0
|
|
|
112 // #lo(i@dtprel) --> (0x0 -0x8000) = -0x8000 = -32768
|
|
173
|
113 // Dis: <test>:
|
|
150
|
114 // Dis: addis 3, 2, 0
|
|
|
115 // Dis-NEXT: addi 3, 3, -32760
|
|
173
|
116 // Dis-NEXT: bl 0x10058
|
|
150
|
117 // Dis-NEXT: ld 2, 24(1)
|
|
|
118 // Dis-NEXT: addis 3, 3, 0
|
|
|
119 // Dis-NEXT: lwa 3, -32768(3)
|
|
|
120
|
|
|
121
|
|
|
122 // #hi(j@got@tlsld) --> (0x20108 - 0x28100 ) > 16 = -1
|
|
173
|
123 // Dis: <test_hi>:
|
|
150
|
124 // Dis: lis 3, -1
|
|
|
125
|
|
|
126 // k@got@tlsld --> (0x20108 - 0x28100) = -7ff8 = -32760
|
|
173
|
127 // Dis: <test_16>:
|
|
150
|
128 // Dis: li 3, -32760
|
