xref: /llvm-project/llvm/test/CodeGen/WebAssembly/tls-general-dynamic.ll (revision acb7ddc5cf2f23416f65dcdc6c7fd08850ad961d)
1; This test checks experimental Emscripten-specific `generaldynamic` TLS support. See `tls-local-exec.ll` for non-Emscripten targets (since it lowers all TLS to `localexec`).
2; RUN: llc < %s -asm-verbose=false -disable-wasm-fallthrough-return-opt -wasm-disable-explicit-locals -mattr=+bulk-memory,atomics | FileCheck %s --check-prefixes=CHECK,TLS
3; RUN: llc < %s -asm-verbose=false -disable-wasm-fallthrough-return-opt -wasm-disable-explicit-locals -mattr=+bulk-memory,atomics -fast-isel | FileCheck %s --check-prefixes=CHECK,TLS
4; RUN: llc < %s -asm-verbose=false -disable-wasm-fallthrough-return-opt -wasm-disable-explicit-locals -mattr=-bulk-memory,atomics | FileCheck %s --check-prefixes=CHECK,NO-TLS
5target triple = "wasm32-unknown-emscripten"
6
7; CHECK-LABEL: address_of_tls:
8; CHECK-NEXT: .functype  address_of_tls () -> (i32)
9define i32 @address_of_tls() {
10  ; TLS-DAG: global.get __tls_base
11  ; TLS-DAG: i32.const tls@TLSREL
12  ; TLS-NEXT: i32.add
13  ; TLS-NEXT: return
14
15  ; NO-TLS-NEXT: i32.const tls
16  ; NO-TLS-NEXT: return
17  %p = call ptr @llvm.threadlocal.address.p0(ptr @tls)
18  %r = ptrtoint ptr %p to i32
19  ret i32 %r
20}
21
22; CHECK-LABEL: address_of_tls_external:
23; CHECK-NEXT: .functype  address_of_tls_external () -> (i32)
24define i32 @address_of_tls_external() {
25  ; TLS-DAG: global.get tls_external@GOT@TLS
26  ; TLS-NEXT: return
27
28  ; NO-TLS-NEXT: i32.const tls_external
29  ; NO-TLS-NEXT: return
30  %p = call ptr @llvm.threadlocal.address.p0(ptr @tls_external)
31  %r = ptrtoint ptr %p to i32
32  ret i32 %r
33}
34
35; CHECK-LABEL: ptr_to_tls:
36; CHECK-NEXT: .functype ptr_to_tls () -> (i32)
37define ptr @ptr_to_tls() {
38  ; TLS-DAG: global.get __tls_base
39  ; TLS-DAG: i32.const tls@TLSREL
40  ; TLS-NEXT: i32.add
41  ; TLS-NEXT: return
42
43  ; NO-TLS-NEXT: i32.const tls
44  ; NO-TLS-NEXT: return
45  %p = call ptr @llvm.threadlocal.address.p0(ptr @tls)
46  ret ptr %p
47}
48
49; CHECK-LABEL: ptr_to_tls_external:
50; CHECK-NEXT: .functype ptr_to_tls_external () -> (i32)
51define ptr @ptr_to_tls_external() {
52  ; TLS-DAG: global.get tls_external@GOT@TLS
53  ; TLS-NEXT: return
54
55  ; NO-TLS-NEXT: i32.const tls_external
56  ; NO-TLS-NEXT: return
57  %p = call ptr @llvm.threadlocal.address.p0(ptr @tls_external)
58  ret ptr %p
59}
60
61; CHECK-LABEL: tls_load:
62; CHECK-NEXT: .functype tls_load () -> (i32)
63define i32 @tls_load() {
64  ; TLS-DAG: global.get __tls_base
65  ; TLS-DAG: i32.const tls@TLSREL
66  ; TLS-NEXT: i32.add
67  ; TLS-NEXT: i32.load 0
68  ; TLS-NEXT: return
69
70  ; NO-TLS-NEXT: i32.const 0
71  ; NO-TLS-NEXT: i32.load tls
72  ; NO-TLS-NEXT: return
73  %p = call ptr @llvm.threadlocal.address.p0(ptr @tls)
74  %tmp = load i32, ptr %p, align 4
75  ret i32 %tmp
76}
77
78; CHECK-LABEL: tls_load_external:
79; CHECK-NEXT: .functype tls_load_external () -> (i32)
80define i32 @tls_load_external() {
81  ; TLS-DAG: global.get tls_external@GOT@TLS
82  ; TLS-NEXT: i32.load 0
83  ; TLS-NEXT: return
84
85  ; NO-TLS-NEXT: i32.const 0
86  ; NO-TLS-NEXT: i32.load tls_external
87  ; NO-TLS-NEXT: return
88  %p = call ptr @llvm.threadlocal.address.p0(ptr @tls_external)
89  %tmp = load i32, ptr %p, align 4
90  ret i32 %tmp
91}
92
93; CHECK-LABEL: tls_store:
94; CHECK-NEXT: .functype tls_store (i32) -> ()
95define void @tls_store(i32 %x) {
96  ; TLS-DAG: global.get __tls_base
97  ; TLS-DAG: i32.const tls@TLSREL
98  ; TLS-NEXT: i32.add
99  ; TLS-NEXT: i32.store 0
100  ; TLS-NEXT: return
101
102  ; NO-TLS-NEXT: i32.const 0
103  ; NO-TLS-NEXT: i32.store tls
104  ; NO-TLS-NEXT: return
105  %p = call ptr @llvm.threadlocal.address.p0(ptr @tls)
106  store i32 %x, ptr %p, align 4
107  ret void
108}
109
110; CHECK-LABEL: tls_store_external:
111; CHECK-NEXT: .functype tls_store_external (i32) -> ()
112define void @tls_store_external(i32 %x) {
113  ; TLS-DAG: global.get tls_external@GOT@TLS
114  ; TLS-NEXT: i32.store 0
115  ; TLS-NEXT: return
116
117  ; NO-TLS-NEXT: i32.const 0
118  ; NO-TLS-NEXT: i32.store tls_external
119  ; NO-TLS-NEXT: return
120  %p = call ptr @llvm.threadlocal.address.p0(ptr @tls_external)
121  store i32 %x, ptr %p, align 4
122  ret void
123}
124
125; CHECK-LABEL: tls_size:
126; CHECK-NEXT: .functype tls_size () -> (i32)
127define i32 @tls_size() {
128; CHECK-NEXT: global.get __tls_size
129; CHECK-NEXT: return
130  %1 = call i32 @llvm.wasm.tls.size.i32()
131  ret i32 %1
132}
133
134; CHECK-LABEL: tls_align:
135; CHECK-NEXT: .functype tls_align () -> (i32)
136define i32 @tls_align() {
137; CHECK-NEXT: global.get __tls_align
138; CHECK-NEXT: return
139  %1 = call i32 @llvm.wasm.tls.align.i32()
140  ret i32 %1
141}
142
143; CHECK-LABEL: tls_base:
144; CHECK-NEXT: .functype tls_base () -> (i32)
145define ptr @tls_base() {
146; CHECK-NEXT: global.get __tls_base
147; CHECK-NEXT: return
148  %1 = call ptr @llvm.wasm.tls.base()
149  ret ptr %1
150}
151
152; CHECK-LABEL: tls_base_write:
153; CHECK-NEXT: .functype tls_base_write (i32) -> ()
154define void @tls_base_write(ptr %output) {
155; CHECK-NEXT: global.get __tls_base
156; CHECK-NEXT: i32.store 0
157; CHECK-NEXT: return
158  %1 = call ptr @llvm.wasm.tls.base()
159  store ptr %1, ptr %output
160  ret void
161}
162
163; CHECK: .type tls,@object
164; TLS-NEXT: .section .tbss.tls,"T",@
165; NO-TLS-NEXT: .section .bss.tls,"",@
166; CHECK-NEXT: .p2align 2
167; CHECK-NEXT: tls:
168; CHECK-NEXT: .int32 0
169@tls = internal thread_local global i32 0
170
171@tls_external = external thread_local global i32, align 4
172
173declare i32 @llvm.wasm.tls.size.i32()
174declare i32 @llvm.wasm.tls.align.i32()
175declare ptr @llvm.wasm.tls.base()
176