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-DAG: @a = thread_local global i32 0 10 // DARWIN-DAG: @a = internal thread_local global i32 0 11 thread_local int a = f(); 12 extern thread_local int b; 13 // CHECK-DAG: @c = global i32 0 14 int c = b; 15 // CHECK-DAG: @_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-DAG: @_ZN1U1mE = thread_local global i32 0 20 // DARWIN-DAG: @_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 template<typename T> struct W { static thread_local int m; }; 39 template<typename T> thread_local int W<T>::m = 123; 40 41 struct Dtor { ~Dtor(); }; 42 template<typename T> struct X { static thread_local Dtor m; }; 43 template<typename T> thread_local Dtor X<T>::m; 44 45 // CHECK-DAG: @e = global 46 void *e = V<int>::m + W<int>::m + &X<int>::m; 47 48 template thread_local int V<float>::m; 49 template thread_local int W<float>::m; 50 template thread_local Dtor X<float>::m; 51 52 extern template thread_local int V<char>::m; 53 extern template thread_local int W<char>::m; 54 extern template thread_local Dtor X<char>::m; 55 56 void *e2 = V<char>::m + W<char>::m + &X<char>::m; 57 58 // CHECK-DAG: @_ZN1VIiE1mE = linkonce_odr thread_local global i32 0 59 // CHECK-DAG: @_ZN1WIiE1mE = linkonce_odr thread_local global i32 123 60 // CHECK-DAG: @_ZN1XIiE1mE = linkonce_odr thread_local global {{.*}} 61 // CHECK-DAG: @_ZN1VIfE1mE = weak_odr thread_local global i32 0 62 // CHECK-DAG: @_ZN1WIfE1mE = weak_odr thread_local global i32 123 63 // CHECK-DAG: @_ZN1XIfE1mE = weak_odr thread_local global {{.*}} 64 65 // CHECK-DAG: @_ZZ1fvE1n = internal thread_local global i32 0 66 67 // CHECK-DAG: @_ZGVZ1fvE1n = internal thread_local global i8 0 68 69 // CHECK-DAG: @_ZZ8tls_dtorvE1s = internal thread_local global 70 // CHECK-DAG: @_ZGVZ8tls_dtorvE1s = internal thread_local global i8 0 71 72 // CHECK-DAG: @_ZZ8tls_dtorvE1t = internal thread_local global 73 // CHECK-DAG: @_ZGVZ8tls_dtorvE1t = internal thread_local global i8 0 74 75 // CHECK-DAG: @_ZZ8tls_dtorvE1u = internal thread_local global 76 // CHECK-DAG: @_ZGVZ8tls_dtorvE1u = internal thread_local global i8 0 77 // CHECK-DAG: @_ZGRZ8tls_dtorvE1u_ = internal thread_local global 78 79 // CHECK-DAG: @_ZGVN1VIiE1mE = linkonce_odr thread_local global i64 0 80 81 // CHECK-DAG: @__tls_guard = internal thread_local global i8 0 82 83 // CHECK-DAG: @llvm.global_ctors = appending global {{.*}} @[[GLOBAL_INIT:[^ ]*]] 84 85 // LINUX-DAG: @_ZTH1a = alias void (), void ()* @__tls_init 86 // DARWIN-DAG: @_ZTH1a = internal alias void (), void ()* @__tls_init 87 // CHECK-DAG: @_ZTHL1d = internal alias void (), void ()* @__tls_init 88 // LINUX-DAG: @_ZTHN1U1mE = alias void (), void ()* @__tls_init 89 // DARWIN-DAG: @_ZTHN1U1mE = internal alias void (), void ()* @__tls_init 90 // CHECK-DAG: @_ZTHN1VIiE1mE = linkonce_odr alias void (), void ()* @[[V_M_INIT:[^, ]*]] 91 // CHECK-NOT: @_ZTHN1WIiE1mE = 92 // CHECK-DAG: @_ZTHN1XIiE1mE = linkonce_odr alias void (), void ()* @[[X_M_INIT:[^, ]*]] 93 // CHECK-DAG: @_ZTHN1VIfE1mE = weak_odr alias void (), void ()* @[[VF_M_INIT:[^, ]*]] 94 // CHECK-NOT: @_ZTHN1WIfE1mE = 95 // CHECK-DAG: @_ZTHN1XIfE1mE = weak_odr alias void (), void ()* @[[XF_M_INIT:[^, ]*]] 96 97 98 // Individual variable initialization functions: 99 100 // CHECK: define {{.*}} @[[A_INIT:.*]]() 101 // CHECK: call i32 @_Z1fv() 102 // CHECK-NEXT: store i32 {{.*}}, i32* @a, align 4 103 104 // CHECK-LABEL: define i32 @_Z1fv() 105 int f() { 106 // CHECK: %[[GUARD:.*]] = load i8, i8* @_ZGVZ1fvE1n, align 1 107 // CHECK: %[[NEED_INIT:.*]] = icmp eq i8 %[[GUARD]], 0 108 // CHECK: br i1 %[[NEED_INIT]] 109 110 // CHECK: %[[CALL:.*]] = call i32 @_Z1gv() 111 // CHECK: store i32 %[[CALL]], i32* @_ZZ1fvE1n, align 4 112 // CHECK: store i8 1, i8* @_ZGVZ1fvE1n 113 // CHECK: br label 114 static thread_local int n = g(); 115 116 // CHECK: load i32, i32* @_ZZ1fvE1n, align 4 117 return n; 118 } 119 120 // CHECK: define {{.*}} @[[C_INIT:.*]]() 121 // LINUX: call i32* @_ZTW1b() 122 // DARWIN: call cxx_fast_tlscc i32* @_ZTW1b() 123 // CHECK-NEXT: load i32, i32* %{{.*}}, align 4 124 // CHECK-NEXT: store i32 %{{.*}}, i32* @c, align 4 125 126 // LINUX-LABEL: define weak_odr hidden i32* @_ZTW1b() 127 // LINUX: br i1 icmp ne (void ()* @_ZTH1b, void ()* null), 128 // not null: 129 // LINUX: call void @_ZTH1b() 130 // LINUX: br label 131 // finally: 132 // LINUX: ret i32* @b 133 // DARWIN-LABEL: declare cxx_fast_tlscc i32* @_ZTW1b() 134 // There is no definition of the thread wrapper on Darwin for external TLV. 135 136 // CHECK: define {{.*}} @[[D_INIT:.*]]() 137 // CHECK: call i32 @_Z1gv() 138 // CHECK-NEXT: store i32 %{{.*}}, i32* @_ZL1d, align 4 139 140 // CHECK: define {{.*}} @[[U_M_INIT:.*]]() 141 // CHECK: call i32 @_Z1fv() 142 // CHECK-NEXT: store i32 %{{.*}}, i32* @_ZN1U1mE, align 4 143 144 // CHECK: define {{.*}} @[[E_INIT:.*]]() 145 // LINUX: call i32* @_ZTWN1VIiE1mE() 146 // DARWIN: call cxx_fast_tlscc i32* @_ZTWN1VIiE1mE() 147 // CHECK-NEXT: load i32, i32* %{{.*}}, align 4 148 // LINUX: call {{.*}}* @_ZTWN1XIiE1mE() 149 // DARWIN: call cxx_fast_tlscc {{.*}}* @_ZTWN1XIiE1mE() 150 // CHECK: store {{.*}} @e 151 152 // LINUX-LABEL: define weak_odr hidden i32* @_ZTWN1VIiE1mE() 153 // DARWIN-LABEL: define weak_odr hidden cxx_fast_tlscc i32* @_ZTWN1VIiE1mE() 154 // LINUX: call void @_ZTHN1VIiE1mE() 155 // DARWIN: call cxx_fast_tlscc void @_ZTHN1VIiE1mE() 156 // CHECK: ret i32* @_ZN1VIiE1mE 157 158 // LINUX-LABEL: define weak_odr hidden i32* @_ZTWN1WIiE1mE() 159 // DARWIN-LABEL: define weak_odr hidden cxx_fast_tlscc i32* @_ZTWN1WIiE1mE() 160 // CHECK-NOT: call 161 // CHECK: ret i32* @_ZN1WIiE1mE 162 163 // LINUX-LABEL: define weak_odr hidden {{.*}}* @_ZTWN1XIiE1mE() 164 // DARWIN-LABEL: define weak_odr hidden cxx_fast_tlscc {{.*}}* @_ZTWN1XIiE1mE() 165 // LINUX: call void @_ZTHN1XIiE1mE() 166 // DARWIN: call cxx_fast_tlscc void @_ZTHN1XIiE1mE() 167 // CHECK: ret {{.*}}* @_ZN1XIiE1mE 168 169 // LINUX: define internal void @[[VF_M_INIT]]() 170 // DARWIN: define internal cxx_fast_tlscc void @[[VF_M_INIT]]() 171 // LINUX-SAME: comdat($_ZN1VIfE1mE) 172 // DARWIN-NOT: comdat 173 // CHECK: load i8, i8* bitcast (i64* @_ZGVN1VIfE1mE to i8*) 174 // CHECK: %[[VF_M_INITIALIZED:.*]] = icmp eq i8 %{{.*}}, 0 175 // CHECK: br i1 %[[VF_M_INITIALIZED]], 176 // need init: 177 // CHECK: call i32 @_Z1gv() 178 // CHECK: store i32 %{{.*}}, i32* @_ZN1VIfE1mE, align 4 179 // CHECK: store i64 1, i64* @_ZGVN1VIfE1mE 180 // CHECK: br label 181 182 // LINUX: define internal void @[[XF_M_INIT]]() 183 // DARWIN: define internal cxx_fast_tlscc void @[[XF_M_INIT]]() 184 // LINUX-SAME: comdat($_ZN1XIfE1mE) 185 // DARWIN-NOT: comdat 186 // CHECK: load i8, i8* bitcast (i64* @_ZGVN1XIfE1mE to i8*) 187 // CHECK: %[[XF_M_INITIALIZED:.*]] = icmp eq i8 %{{.*}}, 0 188 // CHECK: br i1 %[[XF_M_INITIALIZED]], 189 // need init: 190 // LINUX: call {{.*}}__cxa_thread_atexit 191 // DARWIN: call {{.*}}_tlv_atexit 192 // CHECK: store i64 1, i64* @_ZGVN1XIfE1mE 193 // CHECK: br label 194 195 // LINUX: declare i32 @__cxa_thread_atexit(void (i8*)*, i8*, i8*) 196 // DARWIN: declare i32 @_tlv_atexit(void (i8*)*, i8*, i8*) 197 198 // DARWIN: declare cxx_fast_tlscc i32* @_ZTWN1VIcE1mE() 199 // LINUX: define weak_odr hidden i32* @_ZTWN1VIcE1mE() 200 // LINUX-NOT: comdat 201 // LINUX: br i1 icmp ne (void ()* @_ZTHN1VIcE1mE, 202 // LINUX: call void @_ZTHN1VIcE1mE() 203 // LINUX: ret i32* @_ZN1VIcE1mE 204 205 // DARWIN: declare cxx_fast_tlscc i32* @_ZTWN1WIcE1mE() 206 // LINUX: define weak_odr hidden i32* @_ZTWN1WIcE1mE() 207 // LINUX-NOT: comdat 208 // LINUX: br i1 icmp ne (void ()* @_ZTHN1WIcE1mE, 209 // LINUX: call void @_ZTHN1WIcE1mE() 210 // LINUX: ret i32* @_ZN1WIcE1mE 211 212 // DARWIN: declare cxx_fast_tlscc {{.*}}* @_ZTWN1XIcE1mE() 213 // LINUX: define weak_odr hidden {{.*}}* @_ZTWN1XIcE1mE() 214 // LINUX-NOT: comdat 215 // LINUX: br i1 icmp ne (void ()* @_ZTHN1XIcE1mE, 216 // LINUX: call void @_ZTHN1XIcE1mE() 217 // LINUX: ret {{.*}}* @_ZN1XIcE1mE 218 219 struct S { S(); ~S(); }; 220 struct T { ~T(); }; 221 222 // CHECK-LABEL: define void @_Z8tls_dtorv() 223 void tls_dtor() { 224 // CHECK: load i8, i8* @_ZGVZ8tls_dtorvE1s 225 // CHECK: call void @_ZN1SC1Ev(%struct.S* @_ZZ8tls_dtorvE1s) 226 // LINUX: call i32 @__cxa_thread_atexit({{.*}}@_ZN1SD1Ev {{.*}} @_ZZ8tls_dtorvE1s{{.*}} @__dso_handle 227 // DARWIN: call i32 @_tlv_atexit({{.*}}@_ZN1SD1Ev {{.*}} @_ZZ8tls_dtorvE1s{{.*}} @__dso_handle 228 // CHECK: store i8 1, i8* @_ZGVZ8tls_dtorvE1s 229 static thread_local S s; 230 231 // CHECK: load i8, i8* @_ZGVZ8tls_dtorvE1t 232 // CHECK-NOT: _ZN1T 233 // LINUX: call i32 @__cxa_thread_atexit({{.*}}@_ZN1TD1Ev {{.*}}@_ZZ8tls_dtorvE1t{{.*}} @__dso_handle 234 // DARWIN: call i32 @_tlv_atexit({{.*}}@_ZN1TD1Ev {{.*}}@_ZZ8tls_dtorvE1t{{.*}} @__dso_handle 235 // CHECK: store i8 1, i8* @_ZGVZ8tls_dtorvE1t 236 static thread_local T t; 237 238 // CHECK: load i8, i8* @_ZGVZ8tls_dtorvE1u 239 // CHECK: call void @_ZN1SC1Ev(%struct.S* @_ZGRZ8tls_dtorvE1u_) 240 // LINUX: call i32 @__cxa_thread_atexit({{.*}}@_ZN1SD1Ev {{.*}} @_ZGRZ8tls_dtorvE1u_{{.*}} @__dso_handle 241 // DARWIN: call i32 @_tlv_atexit({{.*}}@_ZN1SD1Ev {{.*}} @_ZGRZ8tls_dtorvE1u_{{.*}} @__dso_handle 242 // CHECK: store i8 1, i8* @_ZGVZ8tls_dtorvE1u 243 static thread_local const S &u = S(); 244 } 245 246 // CHECK: define {{.*}} @_Z7PR15991v( 247 int PR15991() { 248 thread_local int n; 249 auto l = [] { return n; }; 250 return l(); 251 } 252 253 struct PR19254 { 254 static thread_local int n; 255 int f(); 256 }; 257 // CHECK: define {{.*}} @_ZN7PR192541fEv( 258 int PR19254::f() { 259 // LINUX: call void @_ZTHN7PR192541nE( 260 // DARWIN: call cxx_fast_tlscc i32* @_ZTWN7PR192541nE( 261 return this->n; 262 } 263 264 namespace { 265 thread_local int anon_i{1}; 266 } 267 void set_anon_i() { 268 anon_i = 2; 269 } 270 // LINUX-LABEL: define internal i32* @_ZTWN12_GLOBAL__N_16anon_iE() 271 // DARWIN-LABEL: define internal cxx_fast_tlscc i32* @_ZTWN12_GLOBAL__N_16anon_iE() 272 273 // LINUX: define internal void @[[V_M_INIT]]() 274 // DARWIN: define internal cxx_fast_tlscc void @[[V_M_INIT]]() 275 // LINUX-SAME: comdat($_ZN1VIiE1mE) 276 // DARWIN-NOT: comdat 277 // CHECK: load i8, i8* bitcast (i64* @_ZGVN1VIiE1mE to i8*) 278 // CHECK: %[[V_M_INITIALIZED:.*]] = icmp eq i8 %{{.*}}, 0 279 // CHECK: br i1 %[[V_M_INITIALIZED]], 280 // need init: 281 // CHECK: call i32 @_Z1gv() 282 // CHECK: store i32 %{{.*}}, i32* @_ZN1VIiE1mE, align 4 283 // CHECK: store i64 1, i64* @_ZGVN1VIiE1mE 284 // CHECK: br label 285 286 // LINUX: define internal void @[[X_M_INIT]]() 287 // DARWIN: define internal cxx_fast_tlscc void @[[X_M_INIT]]() 288 // LINUX-SAME: comdat($_ZN1XIiE1mE) 289 // DARWIN-NOT: comdat 290 // CHECK: load i8, i8* bitcast (i64* @_ZGVN1XIiE1mE to i8*) 291 // CHECK: %[[X_M_INITIALIZED:.*]] = icmp eq i8 %{{.*}}, 0 292 // CHECK: br i1 %[[X_M_INITIALIZED]], 293 // need init: 294 // LINUX: call {{.*}}__cxa_thread_atexit 295 // DARWIN: call {{.*}}_tlv_atexit 296 // CHECK: store i64 1, i64* @_ZGVN1XIiE1mE 297 // CHECK: br label 298 299 // CHECK: define {{.*}}@[[GLOBAL_INIT:.*]]() 300 // CHECK: call void @[[C_INIT]]() 301 // CHECK: call void @[[E_INIT]]() 302 303 304 // CHECK: define {{.*}}@__tls_init() 305 // CHECK: load i8, i8* @__tls_guard 306 // CHECK: %[[NEED_TLS_INIT:.*]] = icmp eq i8 %{{.*}}, 0 307 // CHECK: br i1 %[[NEED_TLS_INIT]], 308 // init: 309 // CHECK: store i8 1, i8* @__tls_guard 310 // CHECK-NOT: call void @[[V_M_INIT]]() 311 // CHECK: call void @[[A_INIT]]() 312 // CHECK-NOT: call void @[[V_M_INIT]]() 313 // CHECK: call void @[[D_INIT]]() 314 // CHECK-NOT: call void @[[V_M_INIT]]() 315 // CHECK: call void @[[U_M_INIT]]() 316 // CHECK-NOT: call void @[[V_M_INIT]]() 317 318 319 // LIUNX: define weak_odr hidden i32* @_ZTW1a() { 320 // DARWIN: define cxx_fast_tlscc i32* @_ZTW1a() 321 // LINUX: call void @_ZTH1a() 322 // DARWIN: call cxx_fast_tlscc void @_ZTH1a() 323 // CHECK: ret i32* @a 324 // CHECK: } 325 326 327 // LINUX: declare extern_weak void @_ZTH1b() [[ATTR:#[0-9]+]] 328 329 330 // LINUX-LABEL: define internal i32* @_ZTWL1d() 331 // DARWIN-LABEL: define internal cxx_fast_tlscc i32* @_ZTWL1d() 332 // LINUX: call void @_ZTHL1d() 333 // DARWIN: call cxx_fast_tlscc void @_ZTHL1d() 334 // CHECK: ret i32* @_ZL1d 335 336 // LINUX-LABEL: define weak_odr hidden i32* @_ZTWN1U1mE() 337 // DARWIN-LABEL: define cxx_fast_tlscc i32* @_ZTWN1U1mE() 338 // LINUX: call void @_ZTHN1U1mE() 339 // DARWIN: call cxx_fast_tlscc void @_ZTHN1U1mE() 340 // CHECK: ret i32* @_ZN1U1mE 341 342 // LINUX: attributes [[ATTR]] = { {{.+}} } 343