1 // RUN: %clang_cc1 -std=c++11 -emit-llvm %s -o - -triple x86_64-linux-gnu | FileCheck --check-prefix=CHECK --check-prefix=LINUX %s
2 // RUN: %clang_cc1 -std=c++11 -femulated-tls -emit-llvm %s -o - \
3 // RUN:     -triple x86_64-linux-gnu 2>&1 | FileCheck --check-prefix=CHECK --check-prefix=LINUX %s
4 // RUN: %clang_cc1 -std=c++11 -emit-llvm %s -o - -triple x86_64-apple-darwin12 | FileCheck --check-prefix=CHECK --check-prefix=DARWIN %s
5 
6 int f();
7 int g();
8 
9 // LINUX: @a = thread_local global i32 0
10 // DARWIN: @a = internal thread_local global i32 0
11 thread_local int a = f();
12 extern thread_local int b;
13 // CHECK: @c = global i32 0
14 int c = b;
15 // CHECK: @_ZL1d = internal thread_local global i32 0
16 static thread_local int d = g();
17 
18 struct U { static thread_local int m; };
19 // LINUX: @_ZN1U1mE = thread_local global i32 0
20 // DARWIN: @_ZN1U1mE = internal thread_local global i32 0
21 thread_local int U::m = f();
22 
23 namespace MismatchedInitType {
24   // Check that we don't crash here when we're forced to create a new global
25   // variable (with a different type) when we add the initializer.
26   union U {
27     int a;
28     float f;
29     constexpr U() : f(0.0) {}
30   };
31   static thread_local U u;
32   void *p = &u;
33 }
34 
35 template<typename T> struct V { static thread_local int m; };
36 template<typename T> thread_local int V<T>::m = g();
37 
38 // CHECK: @e = global i32 0
39 int e = V<int>::m;
40 
41 // CHECK: @_ZN1VIiE1mE = linkonce_odr thread_local global i32 0
42 
43 // CHECK: @_ZZ1fvE1n = internal thread_local global i32 0
44 
45 // CHECK: @_ZGVZ1fvE1n = internal thread_local global i8 0
46 
47 // CHECK: @_ZZ8tls_dtorvE1s = internal thread_local global
48 // CHECK: @_ZGVZ8tls_dtorvE1s = internal thread_local global i8 0
49 
50 // CHECK: @_ZZ8tls_dtorvE1t = internal thread_local global
51 // CHECK: @_ZGVZ8tls_dtorvE1t = internal thread_local global i8 0
52 
53 // CHECK: @_ZZ8tls_dtorvE1u = internal thread_local global
54 // CHECK: @_ZGVZ8tls_dtorvE1u = internal thread_local global i8 0
55 // CHECK: @_ZGRZ8tls_dtorvE1u_ = internal thread_local global
56 
57 // CHECK: @_ZGVN1VIiE1mE = linkonce_odr thread_local global i64 0
58 
59 // CHECK: @__tls_guard = internal thread_local global i8 0
60 
61 // CHECK: @llvm.global_ctors = appending global {{.*}} @[[GLOBAL_INIT:[^ ]*]]
62 
63 // LINUX: @_ZTH1a = alias void (), void ()* @__tls_init
64 // DARWIN: @_ZTH1a = internal alias void (), void ()* @__tls_init
65 // CHECK: @_ZTHL1d = internal alias void (), void ()* @__tls_init
66 // LINUX: @_ZTHN1U1mE = alias void (), void ()* @__tls_init
67 // DARWIN: @_ZTHN1U1mE = internal alias void (), void ()* @__tls_init
68 // CHECK: @_ZTHN1VIiE1mE = linkonce_odr alias void (), void ()* @__tls_init
69 
70 
71 // Individual variable initialization functions:
72 
73 // CHECK: define {{.*}} @[[A_INIT:.*]]()
74 // CHECK: call i32 @_Z1fv()
75 // CHECK-NEXT: store i32 {{.*}}, i32* @a, align 4
76 
77 // CHECK-LABEL: define i32 @_Z1fv()
78 int f() {
79   // CHECK: %[[GUARD:.*]] = load i8, i8* @_ZGVZ1fvE1n, align 1
80   // CHECK: %[[NEED_INIT:.*]] = icmp eq i8 %[[GUARD]], 0
81   // CHECK: br i1 %[[NEED_INIT]]
82 
83   // CHECK: %[[CALL:.*]] = call i32 @_Z1gv()
84   // CHECK: store i32 %[[CALL]], i32* @_ZZ1fvE1n, align 4
85   // CHECK: store i8 1, i8* @_ZGVZ1fvE1n
86   // CHECK: br label
87   static thread_local int n = g();
88 
89   // CHECK: load i32, i32* @_ZZ1fvE1n, align 4
90   return n;
91 }
92 
93 // CHECK: define {{.*}} @[[C_INIT:.*]]()
94 // LINUX: call i32* @_ZTW1b()
95 // DARWIN: call cxx_fast_tlscc i32* @_ZTW1b()
96 // CHECK-NEXT: load i32, i32* %{{.*}}, align 4
97 // CHECK-NEXT: store i32 %{{.*}}, i32* @c, align 4
98 
99 // LINUX-LABEL: define weak_odr hidden i32* @_ZTW1b()
100 // LINUX: br i1 icmp ne (void ()* @_ZTH1b, void ()* null),
101 // not null:
102 // LINUX: call void @_ZTH1b()
103 // LINUX: br label
104 // finally:
105 // LINUX: ret i32* @b
106 // DARWIN-LABEL: declare cxx_fast_tlscc i32* @_ZTW1b()
107 // There is no definition of the thread wrapper on Darwin for external TLV.
108 
109 // CHECK: define {{.*}} @[[D_INIT:.*]]()
110 // CHECK: call i32 @_Z1gv()
111 // CHECK-NEXT: store i32 %{{.*}}, i32* @_ZL1d, align 4
112 
113 // CHECK: define {{.*}} @[[U_M_INIT:.*]]()
114 // CHECK: call i32 @_Z1fv()
115 // CHECK-NEXT: store i32 %{{.*}}, i32* @_ZN1U1mE, align 4
116 
117 // CHECK: define {{.*}} @[[E_INIT:.*]]()
118 // LINUX: call i32* @_ZTWN1VIiE1mE()
119 // DARWIN: call cxx_fast_tlscc i32* @_ZTWN1VIiE1mE()
120 // CHECK-NEXT: load i32, i32* %{{.*}}, align 4
121 // CHECK-NEXT: store i32 %{{.*}}, i32* @e, align 4
122 
123 // LINUX-LABEL: define weak_odr hidden i32* @_ZTWN1VIiE1mE()
124 // DARWIN-LABEL: define weak_odr hidden cxx_fast_tlscc i32* @_ZTWN1VIiE1mE()
125 // LINUX: call void @_ZTHN1VIiE1mE()
126 // DARWIN: call cxx_fast_tlscc void @_ZTHN1VIiE1mE()
127 // CHECK: ret i32* @_ZN1VIiE1mE
128 
129 
130 struct S { S(); ~S(); };
131 struct T { ~T(); };
132 
133 // CHECK-LABEL: define void @_Z8tls_dtorv()
134 void tls_dtor() {
135   // CHECK: load i8, i8* @_ZGVZ8tls_dtorvE1s
136   // CHECK: call void @_ZN1SC1Ev(%struct.S* @_ZZ8tls_dtorvE1s)
137   // LINUX: call i32 @__cxa_thread_atexit({{.*}}@_ZN1SD1Ev {{.*}} @_ZZ8tls_dtorvE1s{{.*}} @__dso_handle
138   // DARWIN: call i32 @_tlv_atexit({{.*}}@_ZN1SD1Ev {{.*}} @_ZZ8tls_dtorvE1s{{.*}} @__dso_handle
139   // CHECK: store i8 1, i8* @_ZGVZ8tls_dtorvE1s
140   static thread_local S s;
141 
142   // CHECK: load i8, i8* @_ZGVZ8tls_dtorvE1t
143   // CHECK-NOT: _ZN1T
144   // LINUX: call i32 @__cxa_thread_atexit({{.*}}@_ZN1TD1Ev {{.*}}@_ZZ8tls_dtorvE1t{{.*}} @__dso_handle
145   // DARWIN: call i32 @_tlv_atexit({{.*}}@_ZN1TD1Ev {{.*}}@_ZZ8tls_dtorvE1t{{.*}} @__dso_handle
146   // CHECK: store i8 1, i8* @_ZGVZ8tls_dtorvE1t
147   static thread_local T t;
148 
149   // CHECK: load i8, i8* @_ZGVZ8tls_dtorvE1u
150   // CHECK: call void @_ZN1SC1Ev(%struct.S* @_ZGRZ8tls_dtorvE1u_)
151   // LINUX: call i32 @__cxa_thread_atexit({{.*}}@_ZN1SD1Ev {{.*}} @_ZGRZ8tls_dtorvE1u_{{.*}} @__dso_handle
152   // DARWIN: call i32 @_tlv_atexit({{.*}}@_ZN1SD1Ev {{.*}} @_ZGRZ8tls_dtorvE1u_{{.*}} @__dso_handle
153   // CHECK: store i8 1, i8* @_ZGVZ8tls_dtorvE1u
154   static thread_local const S &u = S();
155 }
156 
157 // LINUX: declare i32 @__cxa_thread_atexit(void (i8*)*, i8*, i8*)
158 // DARWIN: declare i32 @_tlv_atexit(void (i8*)*, i8*, i8*)
159 
160 // CHECK: define {{.*}} @_Z7PR15991v(
161 int PR15991() {
162   thread_local int n;
163   auto l = [] { return n; };
164   return l();
165 }
166 
167 struct PR19254 {
168   static thread_local int n;
169   int f();
170 };
171 // CHECK: define {{.*}} @_ZN7PR192541fEv(
172 int PR19254::f() {
173   // LINUX: call void @_ZTHN7PR192541nE(
174   // DARWIN: call cxx_fast_tlscc i32* @_ZTWN7PR192541nE(
175   return this->n;
176 }
177 
178 namespace {
179 thread_local int anon_i{1};
180 }
181 void set_anon_i() {
182   anon_i = 2;
183 }
184 // LINUX-LABEL: define internal i32* @_ZTWN12_GLOBAL__N_16anon_iE()
185 // DARWIN-LABEL: define internal cxx_fast_tlscc i32* @_ZTWN12_GLOBAL__N_16anon_iE()
186 
187 // CHECK: define {{.*}} @[[V_M_INIT:.*]]()
188 // CHECK: load i8, i8* bitcast (i64* @_ZGVN1VIiE1mE to i8*)
189 // CHECK: %[[V_M_INITIALIZED:.*]] = icmp eq i8 %{{.*}}, 0
190 // CHECK: br i1 %[[V_M_INITIALIZED]],
191 // need init:
192 // CHECK: call i32 @_Z1gv()
193 // CHECK: store i32 %{{.*}}, i32* @_ZN1VIiE1mE, align 4
194 // CHECK: store i64 1, i64* @_ZGVN1VIiE1mE
195 // CHECK: br label
196 
197 // CHECK: define {{.*}}@[[GLOBAL_INIT:.*]]()
198 // CHECK: call void @[[C_INIT]]()
199 // CHECK: call void @[[E_INIT]]()
200 
201 
202 // CHECK: define {{.*}}@__tls_init()
203 // CHECK: load i8, i8* @__tls_guard
204 // CHECK: %[[NEED_TLS_INIT:.*]] = icmp eq i8 %{{.*}}, 0
205 // CHECK: br i1 %[[NEED_TLS_INIT]],
206 // init:
207 // CHECK: store i8 1, i8* @__tls_guard
208 // CHECK: call void @[[A_INIT]]()
209 // CHECK: call void @[[D_INIT]]()
210 // CHECK: call void @[[U_M_INIT]]()
211 // CHECK: call void @[[V_M_INIT]]()
212 
213 
214 // LIUNX: define weak_odr hidden i32* @_ZTW1a() {
215 // DARWIN: define cxx_fast_tlscc i32* @_ZTW1a()
216 // LINUX:   call void @_ZTH1a()
217 // DARWIN: call cxx_fast_tlscc void @_ZTH1a()
218 // CHECK:   ret i32* @a
219 // CHECK: }
220 
221 
222 // LINUX: declare extern_weak void @_ZTH1b() [[ATTR:#[0-9]+]]
223 
224 
225 // LINUX-LABEL: define internal i32* @_ZTWL1d()
226 // DARWIN-LABEL: define internal cxx_fast_tlscc i32* @_ZTWL1d()
227 // LINUX: call void @_ZTHL1d()
228 // DARWIN: call cxx_fast_tlscc void @_ZTHL1d()
229 // CHECK: ret i32* @_ZL1d
230 
231 // LINUX-LABEL: define weak_odr hidden i32* @_ZTWN1U1mE()
232 // DARWIN-LABEL: define cxx_fast_tlscc i32* @_ZTWN1U1mE()
233 // LINUX: call void @_ZTHN1U1mE()
234 // DARWIN: call cxx_fast_tlscc void @_ZTHN1U1mE()
235 // CHECK: ret i32* @_ZN1U1mE
236 
237 // LINUX: attributes [[ATTR]] = { {{.+}} }
238