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 = 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 = internal 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()
59 int 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 
105 struct S { S(); ~S(); };
106 struct T { ~T(); };
107 
108 // CHECK: define void @_Z8tls_dtorv()
109 void 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 {{.*}} @[[V_M_INIT:.*]]()
132 // CHECK: load i8* bitcast (i64* @_ZGVN1VIiE1mE to i8*)
133 // CHECK: %[[V_M_INITIALIZED:.*]] = icmp eq i8 %{{.*}}, 0
134 // CHECK: br i1 %[[V_M_INITIALIZED]],
135 // need init:
136 // CHECK: call i32 @_Z1gv()
137 // CHECK: store i32 %{{.*}}, i32* @_ZN1VIiE1mE, align 4
138 // CHECK: store i64 1, i64* @_ZGVN1VIiE1mE
139 // CHECK: br label
140 
141 // CHECK: define {{.*}}@[[GLOBAL_INIT:.*]]()
142 // CHECK: call void @[[C_INIT]]()
143 // CHECK: call void @[[E_INIT]]()
144 
145 
146 // CHECK: define {{.*}}@__tls_init()
147 // CHECK: load i8* @__tls_guard
148 // CHECK: %[[NEED_TLS_INIT:.*]] = icmp eq i8 %{{.*}}, 0
149 // CHECK: store i8 1, i8* @__tls_guard
150 // CHECK: br i1 %[[NEED_TLS_INIT]],
151 // init:
152 // CHECK: call void @[[A_INIT]]()
153 // CHECK: call void @[[D_INIT]]()
154 // CHECK: call void @[[U_M_INIT]]()
155 // CHECK: call void @[[V_M_INIT]]()
156 
157 
158 // CHECK: define weak_odr hidden i32* @_ZTW1a() {
159 // CHECK:   call void @_ZTH1a()
160 // CHECK:   ret i32* @a
161 // CHECK: }
162 
163 
164 // CHECK: declare extern_weak void @_ZTH1b()
165 
166 
167 // CHECK: define internal hidden i32* @_ZTWL1d()
168 // CHECK: call void @_ZTHL1d()
169 // CHECK: ret i32* @_ZL1d
170 
171 // CHECK: define weak_odr hidden i32* @_ZTWN1U1mE()
172 // CHECK: call void @_ZTHN1U1mE()
173 // CHECK: ret i32* @_ZN1U1mE
174