1 // RUN: %clang_cc1 -triple x86_64-linux-gnu -std=c++2a %s -emit-llvm -o - | FileCheck %s
2 
3 // CHECK-DAG: @a = external thread_local global i32
4 extern thread_local int a;
5 
6 // CHECK-DAG: @b = external thread_local global i32
7 extern thread_local constinit int b;
8 
9 // CHECK-LABEL: define i32 @_Z1fv()
10 // CHECK: call i32* @_ZTW1a()
11 // CHECK: }
12 int f() { return a; }
13 
14 // CHECK-LABEL: define linkonce_odr {{.*}} @_ZTW1a()
15 // CHECK: br i1
16 // CHECK: call void @_ZTH1a()
17 // CHECK: }
18 
19 // CHECK-LABEL: define i32 @_Z1gv()
20 // CHECK-NOT: call
21 // CHECK: load i32, i32* @b
22 // CHECK-NOT: call
23 // CHECK: }
24 int g() { return b; }
25 
26 // CHECK-NOT: define {{.*}} @_ZTW1b()
27 
28 extern thread_local int c;
29 
30 // CHECK-LABEL: define i32 @_Z1hv()
31 // CHECK: call i32* @_ZTW1c()
32 // CHECK: load i32, i32* %
33 // CHECK: }
34 int h() { return c; }
35 
36 // Note: use of 'c' does not trigger initialization of 'd', because 'c' has a
37 // constant initializer.
38 // CHECK-LABEL: define weak_odr {{.*}} @_ZTW1c()
39 // CHECK-NOT: br i1
40 // CHECK-NOT: call
41 // CHECK: ret i32* @c
42 // CHECK: }
43 
44 thread_local int c = 0;
45 
46 int d_init();
47 
48 // CHECK: define {{.*}}[[D_INIT:@__cxx_global_var_init[^(]*]](
49 // CHECK: call {{.*}} @_Z6d_initv()
50 thread_local int d = d_init();
51 
52 struct Destructed {
53   int n = 0;
54   ~Destructed();
55 };
56 
57 extern thread_local constinit Destructed e;
58 // CHECK-LABEL: define i32 @_Z1iv()
59 // CHECK: call {{.*}}* @_ZTW1e()
60 // CHECK: }
61 int i() { return e.n; }
62 
63 // CHECK: define {{.*}}[[E2_INIT:@__cxx_global_var_init[^(]*]](
64 // CHECK: call {{.*}} @__cxa_thread_atexit({{.*}} @_ZN10DestructedD1Ev {{.*}} @e2
65 thread_local constinit Destructed e2;
66 
67 // CHECK-LABEL: define {{.*}}__tls_init
68 // CHECK: call {{.*}} [[D_INIT]]
69 // CHECK: call {{.*}} [[E2_INIT]]
70