Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 1d6ebdfb66b9d63d34f34ec6ac7ec57eff7cd24b / . / clang / test / CodeGenCXX / cxx2a-thread-local-constinit.cpp
blob: 99c5d721dc476702dcc74d7345e66fd652f3799f [file] [log] [blame]
James Y Knightaca3d062020-05-27 09:55:29 -0400[diff] [blame]1// RUN: %clang_cc1 -triple x86_64-linux-gnu -std=c++2a %s -emit-llvm -o - | FileCheck --check-prefix=CHECK --check-prefix=LINUX %s
2// RUN: %clang_cc1 -triple x86_64-apple-darwin12 -std=c++2a %s -emit-llvm -o - | FileCheck --check-prefix=CHECK --check-prefix=DARWIN %s
Richard Smith00223822019-09-12 20:00:24 +0000[diff] [blame]3
James Y Knightaca3d062020-05-27 09:55:29 -0400[diff] [blame]4// Check variable definitions/declarations. Note that on Darwin, typically the
5// variable's symbol is marked internal, and only the _ZTW function is
6// exported. Except: constinit variables do get exported, even on darwin.
7
8// CHECK-DAG: @a = external thread_local global i32
9// CHECK-DAG: @b = external thread_local global i32
10// LINUX-DAG: @c = thread_local global i32 0, align 4
11// DARWIN-DAG: @c = internal thread_local global i32 0, align 4
12// LINUX-DAG: @d = thread_local global i32 0, align 4
13// DARWIN-DAG: @d = internal thread_local global i32 0, align 4
14// CHECK-DAG: @e = external thread_local global %struct.Destructed, align 4
15// CHECK-DAG: @e2 = thread_local global %struct.Destructed zeroinitializer, align 4
16// CHECK-DAG: @f = thread_local global i32 4, align 4
17
Richard Smith00223822019-09-12 20:00:24 +0000[diff] [blame]18extern thread_local int a;
Richard Smith00223822019-09-12 20:00:24 +0000[diff] [blame]19extern thread_local constinit int b;
20
James Y Knightaca3d062020-05-27 09:55:29 -0400[diff] [blame]21// CHECK-LABEL: define i32 @_Z5get_av()
22// CHECK: call {{(cxx_fast_tlscc )?}}i32* @_ZTW1a()
Richard Smith00223822019-09-12 20:00:24 +0000[diff] [blame]23// CHECK: }
James Y Knightaca3d062020-05-27 09:55:29 -0400[diff] [blame]24int get_a() { return a; }
Richard Smith00223822019-09-12 20:00:24 +0000[diff] [blame]25
James Y Knightaca3d062020-05-27 09:55:29 -0400[diff] [blame]26// LINUX-LABEL: define linkonce_odr {{.*}} @_ZTW1a()
27// LINUX: br i1
28// LINUX: call void @_ZTH1a()
29// LINUX: }
30// DARWIN-NOT: define {{.*}}@_ZTW1a()
Richard Smith00223822019-09-12 20:00:24 +0000[diff] [blame]31
James Y Knightaca3d062020-05-27 09:55:29 -0400[diff] [blame]32// CHECK-LABEL: define i32 @_Z5get_bv()
Richard Smith00223822019-09-12 20:00:24 +0000[diff] [blame]33// CHECK-NOT: call
34// CHECK: load i32, i32* @b
35// CHECK-NOT: call
36// CHECK: }
James Y Knightaca3d062020-05-27 09:55:29 -0400[diff] [blame]37int get_b() { return b; }
Richard Smith00223822019-09-12 20:00:24 +0000[diff] [blame]38
39// CHECK-NOT: define {{.*}} @_ZTW1b()
40
41extern thread_local int c;
42
James Y Knightaca3d062020-05-27 09:55:29 -0400[diff] [blame]43// CHECK-LABEL: define i32 @_Z5get_cv()
44// LINUX: call {{(cxx_fast_tlscc )?}}i32* @_ZTW1c()
Richard Smith00223822019-09-12 20:00:24 +0000[diff] [blame]45// CHECK: load i32, i32* %
46// CHECK: }
James Y Knightaca3d062020-05-27 09:55:29 -0400[diff] [blame]47int get_c() { return c; }
Richard Smith00223822019-09-12 20:00:24 +0000[diff] [blame]48
Richard Smith00223822019-09-12 20:00:24 +0000[diff] [blame]49// Note: use of 'c' does not trigger initialization of 'd', because 'c' has a
50// constant initializer.
James Y Knightaca3d062020-05-27 09:55:29 -0400[diff] [blame]51// DARWIN-LABEL: define cxx_fast_tlscc {{.*}} @_ZTW1c()
52// LINUX-LABEL: define weak_odr {{.*}} @_ZTW1c()
Richard Smith00223822019-09-12 20:00:24 +0000[diff] [blame]53// CHECK-NOT: br i1
54// CHECK-NOT: call
55// CHECK: ret i32* @c
56// CHECK: }
Richard Smith8ac5c742019-10-01 01:23:23 +0000[diff] [blame]57
58thread_local int c = 0;
59
60int d_init();
61
62// CHECK: define {{.*}}[[D_INIT:@__cxx_global_var_init[^(]*]](
63// CHECK: call {{.*}} @_Z6d_initv()
64thread_local int d = d_init();
65
66struct Destructed {
Richard Smith96c89942020-02-06 16:19:37 -0800[diff] [blame]67 int n = 0;
Richard Smith8ac5c742019-10-01 01:23:23 +0000[diff] [blame]68 ~Destructed();
69};
70
71extern thread_local constinit Destructed e;
James Y Knightaca3d062020-05-27 09:55:29 -0400[diff] [blame]72// CHECK-LABEL: define i32 @_Z5get_ev()
Richard Smith8ac5c742019-10-01 01:23:23 +0000[diff] [blame]73// CHECK: call {{.*}}* @_ZTW1e()
74// CHECK: }
James Y Knightaca3d062020-05-27 09:55:29 -0400[diff] [blame]75int get_e() { return e.n; }
Richard Smith8ac5c742019-10-01 01:23:23 +0000[diff] [blame]76
77// CHECK: define {{.*}}[[E2_INIT:@__cxx_global_var_init[^(]*]](
James Y Knightaca3d062020-05-27 09:55:29 -0400[diff] [blame]78// LINUX: call {{.*}} @__cxa_thread_atexit({{.*}} @_ZN10DestructedD1Ev {{.*}} @e2
79// DARWIN: call {{.*}} @_tlv_atexit({{.*}} @_ZN10DestructedD1Ev {{.*}} @e2
Richard Smith8ac5c742019-10-01 01:23:23 +0000[diff] [blame]80thread_local constinit Destructed e2;
81
James Y Knightaca3d062020-05-27 09:55:29 -0400[diff] [blame]82thread_local constinit int f = 4;
83
Richard Smith8ac5c742019-10-01 01:23:23 +0000[diff] [blame]84// CHECK-LABEL: define {{.*}}__tls_init
85// CHECK: call {{.*}} [[D_INIT]]
86// CHECK: call {{.*}} [[E2_INIT]]