106 lines · cpp
1// RUN: %clang_cc1 -triple x86_64-linux-gnu -std=c++2a %s -emit-llvm -o - | FileCheck --check-prefix=CHECK --check-prefix=LINUX %s2// RUN: %clang_cc1 -triple x86_64-apple-darwin12 -std=c++2a %s -emit-llvm -o - | FileCheck --check-prefix=CHECK --check-prefix=DARWIN %s3 4// Check variable definitions/declarations. Note that on Darwin, typically the5// variable's symbol is marked internal, and only the _ZTW function is6// exported. Except: constinit variables do get exported, even on darwin.7 8// CHECK-DAG: @a = external thread_local global i329// CHECK-DAG: @b = external thread_local global i3210// LINUX-DAG: @c ={{.*}} thread_local global i32 0, align 411// DARWIN-DAG: @c = internal thread_local global i32 0, align 412// LINUX-DAG: @d ={{.*}} thread_local global i32 0, align 413// DARWIN-DAG: @d = internal thread_local global i32 0, align 414// CHECK-DAG: @e = external thread_local global %struct.Destructed, align 415// CHECK-DAG: @e2 ={{.*}} thread_local global %struct.Destructed zeroinitializer, align 416// CHECK-DAG: @f ={{.*}} thread_local global i32 4, align 417 18extern thread_local int a;19extern thread_local constinit int b;20 21// CHECK-LABEL: define{{.*}} i32 @_Z5get_av()22// CHECK: call {{(cxx_fast_tlscc )?}}ptr @_ZTW1a()23// CHECK: }24int get_a() { return a; }25 26// LINUX-LABEL: define linkonce_odr {{.*}} @_ZTW1a()27// LINUX: br i128// LINUX: call void @_ZTH1a()29// LINUX: }30// DARWIN-NOT: define {{.*}}@_ZTW1a()31 32// CHECK-LABEL: define{{.*}} i32 @_Z5get_bv()33// CHECK-NOT: call34// CHECK: [[B_ADDR:%.+]] = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @b)35// CHECK: load i32, ptr [[B_ADDR]]36// CHECK-NOT: call37// CHECK: }38int get_b() { return b; }39 40// CHECK-NOT: define {{.*}} @_ZTW1b()41 42extern thread_local int c;43 44// CHECK-LABEL: define{{.*}} i32 @_Z5get_cv()45// LINUX: call {{(cxx_fast_tlscc )?}}ptr @_ZTW1c()46// CHECK: load i32, ptr %47// CHECK: }48int get_c() { return c; }49 50// Note: use of 'c' does not trigger initialization of 'd', because 'c' has a51// constant initializer.52// DARWIN-LABEL: define cxx_fast_tlscc {{.*}} @_ZTW1c()53// LINUX-LABEL: define weak_odr {{.*}} @_ZTW1c()54// CHECK-NOT: br i155// CHECK-NOT: call56// CHECK: [[C_ADDR:%.+]] = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @c)57// CHECK: ret ptr [[C_ADDR]]58// CHECK: }59 60thread_local int c = 0;61 62// PR51079: We must assume an incomplete class type might have non-trivial63// destruction, and so speculatively call the thread wrapper.64 65// CHECK-LABEL: define {{.*}} @_Z6get_e3v(66// CHECK: call {{(cxx_fast_tlscc )?}}ptr @_ZTW2e3()67// CHECK-LABEL: }68extern thread_local constinit struct DestructedFwdDecl e3;69DestructedFwdDecl &get_e3() { return e3; }70 71int d_init();72 73// CHECK: define {{.*}}[[D_INIT:@__cxx_global_var_init[^(]*]](74// CHECK: call {{.*}} @_Z6d_initv()75thread_local int d = d_init();76 77struct Destructed {78 int n = 0;79 ~Destructed();80};81 82extern thread_local constinit Destructed e;83// CHECK-LABEL: define{{.*}} i32 @_Z5get_ev()84// CHECK: call {{(cxx_fast_tlscc )?}}ptr @_ZTW1e()85// CHECK: }86int get_e() { return e.n; }87 88// CHECK: define {{.*}}[[E2_INIT:@__cxx_global_var_init[^(]*]](89// LINUX: call {{.*}} @__cxa_thread_atexit({{.*}} @_ZN10DestructedD1Ev, {{.*}} @e290// DARWIN: call {{.*}} @_tlv_atexit({{.*}} @_ZN10DestructedD1Ev, {{.*}} @e291thread_local constinit Destructed e2;92 93thread_local constinit int f = 4;94 95// CHECK-LABEL: define {{.*}}__tls_init96// CHECK: call {{.*}} [[D_INIT]]97// CHECK: call {{.*}} [[E2_INIT]]98 99// Because the call wrapper may be called speculatively (and simply because100// it's required by the ABI), it must always be emitted for an external linkage101// variable, even if the variable has constant initialization and constant102// destruction.103struct NotDestructed { int n = 0; };104thread_local constinit NotDestructed nd;105// CHECK-LABEL: define {{.*}} @_ZTW2nd106