1 // RUN: %clang_cc1 -std=c++11 -emit-llvm %s -o - -triple x86_64-linux-gnu | FileCheck %s
2
3 int f();
4 int g();
5
6 // CHECK: @a = thread_local global i32 0
7 thread_local int a = f();
8 extern thread_local int b;
9 // CHECK: @c = global i32 0
10 int c = b;
11 // CHECK: @_ZL1d = internal thread_local global i32 0
12 static thread_local int d = g();
13
14 struct U { static thread_local int m; };
15 // CHECK: @_ZN1U1mE = thread_local global i32 0
16 thread_local int U::m = f();
17
18 template<typename T> struct V { static thread_local int m; };
19 template<typename T> thread_local int V<T>::m = g();
20
21 // CHECK: @e = global i32 0
22 int e = V<int>::m;
23
24 // CHECK: @_ZN1VIiE1mE = linkonce_odr thread_local global i32 0
25
26 // CHECK: @_ZZ1fvE1n = internal thread_local global i32 0
27
28 // CHECK: @_ZGVZ1fvE1n = internal thread_local global i8 0
29
30 // CHECK: @_ZZ8tls_dtorvE1s = internal thread_local global
31 // CHECK: @_ZGVZ8tls_dtorvE1s = internal thread_local global i8 0
32
33 // CHECK: @_ZZ8tls_dtorvE1t = internal thread_local global
34 // CHECK: @_ZGVZ8tls_dtorvE1t = internal thread_local global i8 0
35
36 // CHECK: @_ZZ8tls_dtorvE1u = internal thread_local global
37 // CHECK: @_ZGVZ8tls_dtorvE1u = internal thread_local global i8 0
38 // CHECK: @_ZGRZ8tls_dtorvE1u_ = internal thread_local global
39
40 // CHECK: @_ZGVN1VIiE1mE = linkonce_odr thread_local global i64 0
41
42 // CHECK: @__tls_guard = internal thread_local global i8 0
43
44 // CHECK: @llvm.global_ctors = appending global {{.*}} @[[GLOBAL_INIT:[^ ]*]]
45
46 // CHECK: @_ZTH1a = alias void ()* @__tls_init
47 // CHECK: @_ZTHL1d = internal alias void ()* @__tls_init
48 // CHECK: @_ZTHN1U1mE = alias void ()* @__tls_init
49 // CHECK: @_ZTHN1VIiE1mE = linkonce_odr alias void ()* @__tls_init
50
51
52 // Individual variable initialization functions:
53
54 // CHECK: define {{.*}} @[[A_INIT:.*]]()
55 // CHECK: call i32 @_Z1fv()
56 // CHECK-NEXT: store i32 {{.*}}, i32* @a, align 4
57
58 // CHECK-LABEL: define i32 @_Z1fv()
f()59 int f() {
60 // CHECK: %[[GUARD:.*]] = load i8, i8* @_ZGVZ1fvE1n, align 1
61 // CHECK: %[[NEED_INIT:.*]] = icmp eq i8 %[[GUARD]], 0
62 // CHECK: br i1 %[[NEED_INIT]]
63
64 // CHECK: %[[CALL:.*]] = call i32 @_Z1gv()
65 // CHECK: store i32 %[[CALL]], i32* @_ZZ1fvE1n, align 4
66 // CHECK: store i8 1, i8* @_ZGVZ1fvE1n
67 // CHECK: br label
68 static thread_local int n = g();
69
70 // CHECK: load i32, i32* @_ZZ1fvE1n, align 4
71 return n;
72 }
73
74 // CHECK: define {{.*}} @[[C_INIT:.*]]()
75 // CHECK: call i32* @_ZTW1b()
76 // CHECK-NEXT: load i32, i32* %{{.*}}, align 4
77 // CHECK-NEXT: store i32 %{{.*}}, i32* @c, align 4
78
79 // CHECK-LABEL: define weak_odr hidden i32* @_ZTW1b()
80 // CHECK: br i1 icmp ne (void ()* @_ZTH1b, void ()* null),
81 // not null:
82 // CHECK: call void @_ZTH1b()
83 // CHECK: br label
84 // finally:
85 // CHECK: ret i32* @b
86
87 // CHECK: define {{.*}} @[[D_INIT:.*]]()
88 // CHECK: call i32 @_Z1gv()
89 // CHECK-NEXT: store i32 %{{.*}}, i32* @_ZL1d, align 4
90
91 // CHECK: define {{.*}} @[[U_M_INIT:.*]]()
92 // CHECK: call i32 @_Z1fv()
93 // CHECK-NEXT: store i32 %{{.*}}, i32* @_ZN1U1mE, align 4
94
95 // CHECK: define {{.*}} @[[E_INIT:.*]]()
96 // CHECK: call i32* @_ZTWN1VIiE1mE()
97 // CHECK-NEXT: load i32, i32* %{{.*}}, align 4
98 // CHECK-NEXT: store i32 %{{.*}}, i32* @e, align 4
99
100 // CHECK-LABEL: define weak_odr hidden i32* @_ZTWN1VIiE1mE()
101 // CHECK: call void @_ZTHN1VIiE1mE()
102 // CHECK: ret i32* @_ZN1VIiE1mE
103
104
105 struct S { S(); ~S(); };
106 struct T { ~T(); };
107
108 // CHECK-LABEL: define void @_Z8tls_dtorv()
tls_dtor()109 void tls_dtor() {
110 // CHECK: load i8, i8* @_ZGVZ8tls_dtorvE1s
111 // CHECK: call void @_ZN1SC1Ev(%struct.S* @_ZZ8tls_dtorvE1s)
112 // CHECK: call i32 @__cxa_thread_atexit({{.*}}@_ZN1SD1Ev {{.*}} @_ZZ8tls_dtorvE1s{{.*}} @__dso_handle
113 // CHECK: store i8 1, i8* @_ZGVZ8tls_dtorvE1s
114 static thread_local S s;
115
116 // CHECK: load i8, i8* @_ZGVZ8tls_dtorvE1t
117 // CHECK-NOT: _ZN1T
118 // CHECK: call i32 @__cxa_thread_atexit({{.*}}@_ZN1TD1Ev {{.*}}@_ZZ8tls_dtorvE1t{{.*}} @__dso_handle
119 // CHECK: store i8 1, i8* @_ZGVZ8tls_dtorvE1t
120 static thread_local T t;
121
122 // CHECK: load i8, i8* @_ZGVZ8tls_dtorvE1u
123 // CHECK: call void @_ZN1SC1Ev(%struct.S* @_ZGRZ8tls_dtorvE1u_)
124 // CHECK: call i32 @__cxa_thread_atexit({{.*}}@_ZN1SD1Ev {{.*}} @_ZGRZ8tls_dtorvE1u_{{.*}} @__dso_handle
125 // CHECK: store i8 1, i8* @_ZGVZ8tls_dtorvE1u
126 static thread_local const S &u = S();
127 }
128
129 // CHECK: declare i32 @__cxa_thread_atexit(void (i8*)*, i8*, i8*)
130
131 // CHECK: define {{.*}} @_Z7PR15991v(
PR15991()132 int PR15991() {
133 thread_local int n;
134 auto l = [] { return n; };
135 return l();
136 }
137
138 struct PR19254 {
139 static thread_local int n;
140 int f();
141 };
142 // CHECK: define {{.*}} @_ZN7PR192541fEv(
f()143 int PR19254::f() {
144 // CHECK: call void @_ZTHN7PR192541nE(
145 return this->n;
146 }
147
148 namespace {
149 thread_local int anon_i{1};
150 }
set_anon_i()151 void set_anon_i() {
152 anon_i = 2;
153 }
154 // CHECK-LABEL: define internal i32* @_ZTWN12_GLOBAL__N_16anon_iE()
155
156 // CHECK: define {{.*}} @[[V_M_INIT:.*]]()
157 // CHECK: load i8, i8* bitcast (i64* @_ZGVN1VIiE1mE to i8*)
158 // CHECK: %[[V_M_INITIALIZED:.*]] = icmp eq i8 %{{.*}}, 0
159 // CHECK: br i1 %[[V_M_INITIALIZED]],
160 // need init:
161 // CHECK: call i32 @_Z1gv()
162 // CHECK: store i32 %{{.*}}, i32* @_ZN1VIiE1mE, align 4
163 // CHECK: store i64 1, i64* @_ZGVN1VIiE1mE
164 // CHECK: br label
165
166 // CHECK: define {{.*}}@[[GLOBAL_INIT:.*]]()
167 // CHECK: call void @[[C_INIT]]()
168 // CHECK: call void @[[E_INIT]]()
169
170
171 // CHECK: define {{.*}}@__tls_init()
172 // CHECK: load i8, i8* @__tls_guard
173 // CHECK: %[[NEED_TLS_INIT:.*]] = icmp eq i8 %{{.*}}, 0
174 // CHECK: store i8 1, i8* @__tls_guard
175 // CHECK: br i1 %[[NEED_TLS_INIT]],
176 // init:
177 // CHECK: call void @[[A_INIT]]()
178 // CHECK: call void @[[D_INIT]]()
179 // CHECK: call void @[[U_M_INIT]]()
180 // CHECK: call void @[[V_M_INIT]]()
181
182
183 // CHECK: define weak_odr hidden i32* @_ZTW1a() {
184 // CHECK: call void @_ZTH1a()
185 // CHECK: ret i32* @a
186 // CHECK: }
187
188
189 // CHECK: declare extern_weak void @_ZTH1b()
190
191
192 // CHECK-LABEL: define internal i32* @_ZTWL1d()
193 // CHECK: call void @_ZTHL1d()
194 // CHECK: ret i32* @_ZL1d
195
196 // CHECK-LABEL: define weak_odr hidden i32* @_ZTWN1U1mE()
197 // CHECK: call void @_ZTHN1U1mE()
198 // CHECK: ret i32* @_ZN1U1mE
199