1 // RUN: %clang_cc1 -std=c++11 -emit-llvm %s -o - -triple x86_64-linux-gnu | FileCheck %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 %s 4 5 int f(); 6 int g(); 7 8 // CHECK: @a = thread_local global i32 0 9 thread_local int a = f(); 10 extern thread_local int b; 11 // CHECK: @c = global i32 0 12 int c = b; 13 // CHECK: @_ZL1d = internal thread_local global i32 0 14 static thread_local int d = g(); 15 16 struct U { static thread_local int m; }; 17 // CHECK: @_ZN1U1mE = thread_local global i32 0 18 thread_local int U::m = f(); 19 20 template<typename T> struct V { static thread_local int m; }; 21 template<typename T> thread_local int V<T>::m = g(); 22 23 // CHECK: @e = global i32 0 24 int e = V<int>::m; 25 26 // CHECK: @_ZN1VIiE1mE = linkonce_odr thread_local global i32 0 27 28 // CHECK: @_ZZ1fvE1n = internal thread_local global i32 0 29 30 // CHECK: @_ZGVZ1fvE1n = internal thread_local global i8 0 31 32 // CHECK: @_ZZ8tls_dtorvE1s = internal thread_local global 33 // CHECK: @_ZGVZ8tls_dtorvE1s = internal thread_local global i8 0 34 35 // CHECK: @_ZZ8tls_dtorvE1t = internal thread_local global 36 // CHECK: @_ZGVZ8tls_dtorvE1t = internal thread_local global i8 0 37 38 // CHECK: @_ZZ8tls_dtorvE1u = internal thread_local global 39 // CHECK: @_ZGVZ8tls_dtorvE1u = internal thread_local global i8 0 40 // CHECK: @_ZGRZ8tls_dtorvE1u_ = internal thread_local global 41 42 // CHECK: @_ZGVN1VIiE1mE = linkonce_odr thread_local global i64 0 43 44 // CHECK: @__tls_guard = internal thread_local global i8 0 45 46 // CHECK: @llvm.global_ctors = appending global {{.*}} @[[GLOBAL_INIT:[^ ]*]] 47 48 // CHECK: @_ZTH1a = alias void ()* @__tls_init 49 // CHECK: @_ZTHL1d = internal alias void ()* @__tls_init 50 // CHECK: @_ZTHN1U1mE = alias void ()* @__tls_init 51 // CHECK: @_ZTHN1VIiE1mE = linkonce_odr alias void ()* @__tls_init 52 53 54 // Individual variable initialization functions: 55 56 // CHECK: define {{.*}} @[[A_INIT:.*]]() 57 // CHECK: call i32 @_Z1fv() 58 // CHECK-NEXT: store i32 {{.*}}, i32* @a, align 4 59 60 // CHECK-LABEL: define i32 @_Z1fv() 61 int f() { 62 // CHECK: %[[GUARD:.*]] = load i8, i8* @_ZGVZ1fvE1n, align 1 63 // CHECK: %[[NEED_INIT:.*]] = icmp eq i8 %[[GUARD]], 0 64 // CHECK: br i1 %[[NEED_INIT]] 65 66 // CHECK: %[[CALL:.*]] = call i32 @_Z1gv() 67 // CHECK: store i32 %[[CALL]], i32* @_ZZ1fvE1n, align 4 68 // CHECK: store i8 1, i8* @_ZGVZ1fvE1n 69 // CHECK: br label 70 static thread_local int n = g(); 71 72 // CHECK: load i32, i32* @_ZZ1fvE1n, align 4 73 return n; 74 } 75 76 // CHECK: define {{.*}} @[[C_INIT:.*]]() 77 // CHECK: call i32* @_ZTW1b() 78 // CHECK-NEXT: load i32, i32* %{{.*}}, align 4 79 // CHECK-NEXT: store i32 %{{.*}}, i32* @c, align 4 80 81 // CHECK-LABEL: define weak_odr hidden i32* @_ZTW1b() 82 // CHECK: br i1 icmp ne (void ()* @_ZTH1b, void ()* null), 83 // not null: 84 // CHECK: call void @_ZTH1b() 85 // CHECK: br label 86 // finally: 87 // CHECK: ret i32* @b 88 89 // CHECK: define {{.*}} @[[D_INIT:.*]]() 90 // CHECK: call i32 @_Z1gv() 91 // CHECK-NEXT: store i32 %{{.*}}, i32* @_ZL1d, align 4 92 93 // CHECK: define {{.*}} @[[U_M_INIT:.*]]() 94 // CHECK: call i32 @_Z1fv() 95 // CHECK-NEXT: store i32 %{{.*}}, i32* @_ZN1U1mE, align 4 96 97 // CHECK: define {{.*}} @[[E_INIT:.*]]() 98 // CHECK: call i32* @_ZTWN1VIiE1mE() 99 // CHECK-NEXT: load i32, i32* %{{.*}}, align 4 100 // CHECK-NEXT: store i32 %{{.*}}, i32* @e, align 4 101 102 // CHECK-LABEL: define weak_odr hidden i32* @_ZTWN1VIiE1mE() 103 // CHECK: call void @_ZTHN1VIiE1mE() 104 // CHECK: ret i32* @_ZN1VIiE1mE 105 106 107 struct S { S(); ~S(); }; 108 struct T { ~T(); }; 109 110 // CHECK-LABEL: define void @_Z8tls_dtorv() 111 void tls_dtor() { 112 // CHECK: load i8, i8* @_ZGVZ8tls_dtorvE1s 113 // CHECK: call void @_ZN1SC1Ev(%struct.S* @_ZZ8tls_dtorvE1s) 114 // CHECK: call i32 @__cxa_thread_atexit({{.*}}@_ZN1SD1Ev {{.*}} @_ZZ8tls_dtorvE1s{{.*}} @__dso_handle 115 // CHECK: store i8 1, i8* @_ZGVZ8tls_dtorvE1s 116 static thread_local S s; 117 118 // CHECK: load i8, i8* @_ZGVZ8tls_dtorvE1t 119 // CHECK-NOT: _ZN1T 120 // CHECK: call i32 @__cxa_thread_atexit({{.*}}@_ZN1TD1Ev {{.*}}@_ZZ8tls_dtorvE1t{{.*}} @__dso_handle 121 // CHECK: store i8 1, i8* @_ZGVZ8tls_dtorvE1t 122 static thread_local T t; 123 124 // CHECK: load i8, i8* @_ZGVZ8tls_dtorvE1u 125 // CHECK: call void @_ZN1SC1Ev(%struct.S* @_ZGRZ8tls_dtorvE1u_) 126 // CHECK: call i32 @__cxa_thread_atexit({{.*}}@_ZN1SD1Ev {{.*}} @_ZGRZ8tls_dtorvE1u_{{.*}} @__dso_handle 127 // CHECK: store i8 1, i8* @_ZGVZ8tls_dtorvE1u 128 static thread_local const S &u = S(); 129 } 130 131 // CHECK: declare i32 @__cxa_thread_atexit(void (i8*)*, i8*, i8*) 132 133 // CHECK: define {{.*}} @_Z7PR15991v( 134 int PR15991() { 135 thread_local int n; 136 auto l = [] { return n; }; 137 return l(); 138 } 139 140 struct PR19254 { 141 static thread_local int n; 142 int f(); 143 }; 144 // CHECK: define {{.*}} @_ZN7PR192541fEv( 145 int PR19254::f() { 146 // CHECK: call void @_ZTHN7PR192541nE( 147 return this->n; 148 } 149 150 namespace { 151 thread_local int anon_i{1}; 152 } 153 void set_anon_i() { 154 anon_i = 2; 155 } 156 // CHECK-LABEL: define internal i32* @_ZTWN12_GLOBAL__N_16anon_iE() 157 158 // CHECK: define {{.*}} @[[V_M_INIT:.*]]() 159 // CHECK: load i8, i8* bitcast (i64* @_ZGVN1VIiE1mE to i8*) 160 // CHECK: %[[V_M_INITIALIZED:.*]] = icmp eq i8 %{{.*}}, 0 161 // CHECK: br i1 %[[V_M_INITIALIZED]], 162 // need init: 163 // CHECK: call i32 @_Z1gv() 164 // CHECK: store i32 %{{.*}}, i32* @_ZN1VIiE1mE, align 4 165 // CHECK: store i64 1, i64* @_ZGVN1VIiE1mE 166 // CHECK: br label 167 168 // CHECK: define {{.*}}@[[GLOBAL_INIT:.*]]() 169 // CHECK: call void @[[C_INIT]]() 170 // CHECK: call void @[[E_INIT]]() 171 172 173 // CHECK: define {{.*}}@__tls_init() 174 // CHECK: load i8, i8* @__tls_guard 175 // CHECK: %[[NEED_TLS_INIT:.*]] = icmp eq i8 %{{.*}}, 0 176 // CHECK: store i8 1, i8* @__tls_guard 177 // CHECK: br i1 %[[NEED_TLS_INIT]], 178 // init: 179 // CHECK: call void @[[A_INIT]]() 180 // CHECK: call void @[[D_INIT]]() 181 // CHECK: call void @[[U_M_INIT]]() 182 // CHECK: call void @[[V_M_INIT]]() 183 184 185 // CHECK: define weak_odr hidden i32* @_ZTW1a() { 186 // CHECK: call void @_ZTH1a() 187 // CHECK: ret i32* @a 188 // CHECK: } 189 190 191 // CHECK: declare extern_weak void @_ZTH1b() 192 193 194 // CHECK-LABEL: define internal i32* @_ZTWL1d() 195 // CHECK: call void @_ZTHL1d() 196 // CHECK: ret i32* @_ZL1d 197 198 // CHECK-LABEL: define weak_odr hidden i32* @_ZTWN1U1mE() 199 // CHECK: call void @_ZTHN1U1mE() 200 // CHECK: ret i32* @_ZN1U1mE 201