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 // CHECK: define internal {{.*}} @[[VF_M_INIT]]() 170 // LINUX-SAME: comdat($_ZN1VIfE1mE) 171 // DARWIN-NOT: comdat 172 // CHECK: load i8, i8* bitcast (i64* @_ZGVN1VIfE1mE to i8*) 173 // CHECK: %[[VF_M_INITIALIZED:.*]] = icmp eq i8 %{{.*}}, 0 174 // CHECK: br i1 %[[VF_M_INITIALIZED]], 175 // need init: 176 // CHECK: call i32 @_Z1gv() 177 // CHECK: store i32 %{{.*}}, i32* @_ZN1VIfE1mE, align 4 178 // CHECK: store i64 1, i64* @_ZGVN1VIfE1mE 179 // CHECK: br label 180 181 // CHECK: define internal {{.*}} @[[XF_M_INIT]]() 182 // LINUX-SAME: comdat($_ZN1XIfE1mE) 183 // DARWIN-NOT: comdat 184 // CHECK: load i8, i8* bitcast (i64* @_ZGVN1XIfE1mE to i8*) 185 // CHECK: %[[XF_M_INITIALIZED:.*]] = icmp eq i8 %{{.*}}, 0 186 // CHECK: br i1 %[[XF_M_INITIALIZED]], 187 // need init: 188 // LINUX: call {{.*}}__cxa_thread_atexit 189 // DARWIN: call {{.*}}_tlv_atexit 190 // CHECK: store i64 1, i64* @_ZGVN1XIfE1mE 191 // CHECK: br label 192 193 // LINUX: declare i32 @__cxa_thread_atexit(void (i8*)*, i8*, i8*) 194 // DARWIN: declare i32 @_tlv_atexit(void (i8*)*, i8*, i8*) 195 196 // DARWIN: declare cxx_fast_tlscc i32* @_ZTWN1VIcE1mE() 197 // LINUX: define weak_odr hidden i32* @_ZTWN1VIcE1mE() 198 // LINUX-NOT: comdat 199 // LINUX: br i1 icmp ne (void ()* @_ZTHN1VIcE1mE, 200 // LINUX: call void @_ZTHN1VIcE1mE() 201 // LINUX: ret i32* @_ZN1VIcE1mE 202 203 // DARWIN: declare cxx_fast_tlscc i32* @_ZTWN1WIcE1mE() 204 // LINUX: define weak_odr hidden i32* @_ZTWN1WIcE1mE() 205 // LINUX-NOT: comdat 206 // LINUX: br i1 icmp ne (void ()* @_ZTHN1WIcE1mE, 207 // LINUX: call void @_ZTHN1WIcE1mE() 208 // LINUX: ret i32* @_ZN1WIcE1mE 209 210 // DARWIN: declare cxx_fast_tlscc {{.*}}* @_ZTWN1XIcE1mE() 211 // LINUX: define weak_odr hidden {{.*}}* @_ZTWN1XIcE1mE() 212 // LINUX-NOT: comdat 213 // LINUX: br i1 icmp ne (void ()* @_ZTHN1XIcE1mE, 214 // LINUX: call void @_ZTHN1XIcE1mE() 215 // LINUX: ret {{.*}}* @_ZN1XIcE1mE 216 217 struct S { S(); ~S(); }; 218 struct T { ~T(); }; 219 220 // CHECK-LABEL: define void @_Z8tls_dtorv() 221 void tls_dtor() { 222 // CHECK: load i8, i8* @_ZGVZ8tls_dtorvE1s 223 // CHECK: call void @_ZN1SC1Ev(%struct.S* @_ZZ8tls_dtorvE1s) 224 // LINUX: call i32 @__cxa_thread_atexit({{.*}}@_ZN1SD1Ev {{.*}} @_ZZ8tls_dtorvE1s{{.*}} @__dso_handle 225 // DARWIN: call i32 @_tlv_atexit({{.*}}@_ZN1SD1Ev {{.*}} @_ZZ8tls_dtorvE1s{{.*}} @__dso_handle 226 // CHECK: store i8 1, i8* @_ZGVZ8tls_dtorvE1s 227 static thread_local S s; 228 229 // CHECK: load i8, i8* @_ZGVZ8tls_dtorvE1t 230 // CHECK-NOT: _ZN1T 231 // LINUX: call i32 @__cxa_thread_atexit({{.*}}@_ZN1TD1Ev {{.*}}@_ZZ8tls_dtorvE1t{{.*}} @__dso_handle 232 // DARWIN: call i32 @_tlv_atexit({{.*}}@_ZN1TD1Ev {{.*}}@_ZZ8tls_dtorvE1t{{.*}} @__dso_handle 233 // CHECK: store i8 1, i8* @_ZGVZ8tls_dtorvE1t 234 static thread_local T t; 235 236 // CHECK: load i8, i8* @_ZGVZ8tls_dtorvE1u 237 // CHECK: call void @_ZN1SC1Ev(%struct.S* @_ZGRZ8tls_dtorvE1u_) 238 // LINUX: call i32 @__cxa_thread_atexit({{.*}}@_ZN1SD1Ev {{.*}} @_ZGRZ8tls_dtorvE1u_{{.*}} @__dso_handle 239 // DARWIN: call i32 @_tlv_atexit({{.*}}@_ZN1SD1Ev {{.*}} @_ZGRZ8tls_dtorvE1u_{{.*}} @__dso_handle 240 // CHECK: store i8 1, i8* @_ZGVZ8tls_dtorvE1u 241 static thread_local const S &u = S(); 242 } 243 244 // CHECK: define {{.*}} @_Z7PR15991v( 245 int PR15991() { 246 thread_local int n; 247 auto l = [] { return n; }; 248 return l(); 249 } 250 251 struct PR19254 { 252 static thread_local int n; 253 int f(); 254 }; 255 // CHECK: define {{.*}} @_ZN7PR192541fEv( 256 int PR19254::f() { 257 // LINUX: call void @_ZTHN7PR192541nE( 258 // DARWIN: call cxx_fast_tlscc i32* @_ZTWN7PR192541nE( 259 return this->n; 260 } 261 262 namespace { 263 thread_local int anon_i{1}; 264 } 265 void set_anon_i() { 266 anon_i = 2; 267 } 268 // LINUX-LABEL: define internal i32* @_ZTWN12_GLOBAL__N_16anon_iE() 269 // DARWIN-LABEL: define internal cxx_fast_tlscc i32* @_ZTWN12_GLOBAL__N_16anon_iE() 270 271 // CHECK: define internal {{.*}} @[[V_M_INIT]]() 272 // LINUX-SAME: comdat($_ZN1VIiE1mE) 273 // DARWIN-NOT: comdat 274 // CHECK: load i8, i8* bitcast (i64* @_ZGVN1VIiE1mE to i8*) 275 // CHECK: %[[V_M_INITIALIZED:.*]] = icmp eq i8 %{{.*}}, 0 276 // CHECK: br i1 %[[V_M_INITIALIZED]], 277 // need init: 278 // CHECK: call i32 @_Z1gv() 279 // CHECK: store i32 %{{.*}}, i32* @_ZN1VIiE1mE, align 4 280 // CHECK: store i64 1, i64* @_ZGVN1VIiE1mE 281 // CHECK: br label 282 283 // CHECK: define internal {{.*}} @[[X_M_INIT]]() 284 // LINUX-SAME: comdat($_ZN1XIiE1mE) 285 // DARWIN-NOT: comdat 286 // CHECK: load i8, i8* bitcast (i64* @_ZGVN1XIiE1mE to i8*) 287 // CHECK: %[[X_M_INITIALIZED:.*]] = icmp eq i8 %{{.*}}, 0 288 // CHECK: br i1 %[[X_M_INITIALIZED]], 289 // need init: 290 // LINUX: call {{.*}}__cxa_thread_atexit 291 // DARWIN: call {{.*}}_tlv_atexit 292 // CHECK: store i64 1, i64* @_ZGVN1XIiE1mE 293 // CHECK: br label 294 295 // CHECK: define {{.*}}@[[GLOBAL_INIT:.*]]() 296 // CHECK: call void @[[C_INIT]]() 297 // CHECK: call void @[[E_INIT]]() 298 299 300 // CHECK: define {{.*}}@__tls_init() 301 // CHECK: load i8, i8* @__tls_guard 302 // CHECK: %[[NEED_TLS_INIT:.*]] = icmp eq i8 %{{.*}}, 0 303 // CHECK: br i1 %[[NEED_TLS_INIT]], 304 // init: 305 // CHECK: store i8 1, i8* @__tls_guard 306 // CHECK-NOT: call void @[[V_M_INIT]]() 307 // CHECK: call void @[[A_INIT]]() 308 // CHECK-NOT: call void @[[V_M_INIT]]() 309 // CHECK: call void @[[D_INIT]]() 310 // CHECK-NOT: call void @[[V_M_INIT]]() 311 // CHECK: call void @[[U_M_INIT]]() 312 // CHECK-NOT: call void @[[V_M_INIT]]() 313 314 315 // LIUNX: define weak_odr hidden i32* @_ZTW1a() { 316 // DARWIN: define cxx_fast_tlscc i32* @_ZTW1a() 317 // LINUX: call void @_ZTH1a() 318 // DARWIN: call cxx_fast_tlscc void @_ZTH1a() 319 // CHECK: ret i32* @a 320 // CHECK: } 321 322 323 // LINUX: declare extern_weak void @_ZTH1b() [[ATTR:#[0-9]+]] 324 325 326 // LINUX-LABEL: define internal i32* @_ZTWL1d() 327 // DARWIN-LABEL: define internal cxx_fast_tlscc i32* @_ZTWL1d() 328 // LINUX: call void @_ZTHL1d() 329 // DARWIN: call cxx_fast_tlscc void @_ZTHL1d() 330 // CHECK: ret i32* @_ZL1d 331 332 // LINUX-LABEL: define weak_odr hidden i32* @_ZTWN1U1mE() 333 // DARWIN-LABEL: define cxx_fast_tlscc i32* @_ZTWN1U1mE() 334 // LINUX: call void @_ZTHN1U1mE() 335 // DARWIN: call cxx_fast_tlscc void @_ZTHN1U1mE() 336 // CHECK: ret i32* @_ZN1U1mE 337 338 // LINUX: attributes [[ATTR]] = { {{.+}} } 339