1// RUN: %clang_cc1 -std=c++11 -emit-llvm %s -o - -triple x86_64-linux-gnu | FileCheck %s
2
3int f();
4int g();
5
6// CHECK: @a = thread_local global i32 0
7thread_local int a = f();
8extern thread_local int b;
9// CHECK: @c = global i32 0
10int c = b;
11// CHECK: @_ZL1d = internal thread_local global i32 0
12static thread_local int d = g();
13
14struct U { static thread_local int m; };
15// CHECK: @_ZN1U1mE = thread_local global i32 0
16thread_local int U::m = f();
17
18template<typename T> struct V { static thread_local int m; };
19template<typename T> thread_local int V<T>::m = g();
20
21// CHECK: @e = global i32 0
22int e = V<int>::m;
23
24// CHECK: @_ZN1VIiE1mE = weak_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 = private thread_local global
39
40// CHECK: @_ZGVN1VIiE1mE = weak_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 = alias internal void ()* @__tls_init
48// CHECK: @_ZTHN1U1mE = alias void ()* @__tls_init
49// CHECK: @_ZTHN1VIiE1mE = alias weak_odr 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: define i32 @_Z1fv()
59int f() {
60  // CHECK: %[[GUARD:.*]] = load 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* @_ZZ1fvE1n, align 4
71  return n;
72}
73
74// CHECK: define {{.*}} @[[C_INIT:.*]]()
75// CHECK: call i32* @_ZTW1b()
76// CHECK-NEXT: load i32* %{{.*}}, align 4
77// CHECK-NEXT: store i32 %{{.*}}, i32* @c, align 4
78
79// CHECK: 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* %{{.*}}, align 4
98// CHECK-NEXT: store i32 %{{.*}}, i32* @e, align 4
99
100// CHECK: define weak_odr hidden i32* @_ZTWN1VIiE1mE()
101// CHECK: call void @_ZTHN1VIiE1mE()
102// CHECK: ret i32* @_ZN1VIiE1mE
103
104
105struct S { S(); ~S(); };
106struct T { ~T(); };
107
108// CHECK: define void @_Z8tls_dtorv()
109void tls_dtor() {
110  // CHECK: load 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* @_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* @_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(
132int PR15991() {
133  thread_local int n;
134  auto l = [] { return n; };
135  return l();
136}
137
138// CHECK: define {{.*}} @[[V_M_INIT:.*]]()
139// CHECK: load i8* bitcast (i64* @_ZGVN1VIiE1mE to i8*)
140// CHECK: %[[V_M_INITIALIZED:.*]] = icmp eq i8 %{{.*}}, 0
141// CHECK: br i1 %[[V_M_INITIALIZED]],
142// need init:
143// CHECK: call i32 @_Z1gv()
144// CHECK: store i32 %{{.*}}, i32* @_ZN1VIiE1mE, align 4
145// CHECK: store i64 1, i64* @_ZGVN1VIiE1mE
146// CHECK: br label
147
148// CHECK: define {{.*}}@[[GLOBAL_INIT:.*]]()
149// CHECK: call void @[[C_INIT]]()
150// CHECK: call void @[[E_INIT]]()
151
152
153// CHECK: define {{.*}}@__tls_init()
154// CHECK: load i8* @__tls_guard
155// CHECK: %[[NEED_TLS_INIT:.*]] = icmp eq i8 %{{.*}}, 0
156// CHECK: store i8 1, i8* @__tls_guard
157// CHECK: br i1 %[[NEED_TLS_INIT]],
158// init:
159// CHECK: call void @[[A_INIT]]()
160// CHECK: call void @[[D_INIT]]()
161// CHECK: call void @[[U_M_INIT]]()
162// CHECK: call void @[[V_M_INIT]]()
163
164
165// CHECK: define weak_odr hidden i32* @_ZTW1a() {
166// CHECK:   call void @_ZTH1a()
167// CHECK:   ret i32* @a
168// CHECK: }
169
170
171// CHECK: declare extern_weak void @_ZTH1b()
172
173
174// CHECK: define internal hidden i32* @_ZTWL1d()
175// CHECK: call void @_ZTHL1d()
176// CHECK: ret i32* @_ZL1d
177
178// CHECK: define weak_odr hidden i32* @_ZTWN1U1mE()
179// CHECK: call void @_ZTHN1U1mE()
180// CHECK: ret i32* @_ZN1U1mE
181