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