1 // RUN: %clang_cc1 -std=c++1z %s -emit-llvm -o - -triple x86_64-linux-gnu | FileCheck %s 2 3 struct Q { 4 // CHECK: @_ZN1Q1kE = linkonce_odr constant i32 5, comdat 5 static constexpr int k = 5; 6 }; 7 const int &r = Q::k; 8 9 int f(); 10 11 // const does not imply internal linkage. 12 // CHECK: @external_inline = linkonce_odr constant i32 5, comdat 13 inline const int external_inline = 5; 14 const int &use1 = external_inline; 15 16 // static still does, though. 17 // CHECK: @_ZL15internal_inline = internal constant i32 5 18 static inline const int internal_inline = 5; 19 const int &use2 = internal_inline; 20 21 int a = f(); 22 // CHECK: @b = linkonce_odr global i32 0, comdat 23 // CHECK: @_ZGV1b = linkonce_odr global i64 0, comdat($b) 24 inline int b = f(); 25 int c = f(); 26 27 // For compatibility with C++11 and C++14, an out-of-line declaration of a 28 // static constexpr local variable promotes the variable to weak_odr. 29 struct compat { 30 static constexpr int a = 1; 31 static constexpr int b = 2; 32 static constexpr int c = 3; 33 static inline constexpr int d = 4; 34 }; 35 const int &compat_use_before_redecl = compat::b; 36 const int compat::a; 37 const int compat::b; 38 const int compat::c; 39 const int compat::d; 40 const int &compat_use_after_redecl1 = compat::c; 41 const int &compat_use_after_redecl2 = compat::d; 42 // CHECK: @_ZN6compat1bE = weak_odr constant i32 2 43 // CHECK: @_ZN6compat1aE = weak_odr constant i32 1 44 // CHECK: @_ZN6compat1cE = weak_odr constant i32 3 45 // CHECK: @_ZN6compat1dE = linkonce_odr constant i32 4 46 47 template<typename T> struct X { 48 static int a; 49 static inline int b; 50 static int c; 51 }; 52 // CHECK: @_ZN1XIiE1aE = linkonce_odr global i32 10 53 // CHECK: @_ZN1XIiE1bE = global i32 20 54 // CHECK-NOT: @_ZN1XIiE1cE 55 template<> inline int X<int>::a = 10; 56 int &use3 = X<int>::a; 57 template<> int X<int>::b = 20; 58 template<> inline int X<int>::c = 30; 59 60 // CHECK-LABEL: define {{.*}}global_var_init 61 // CHECK: call i32 @_Z1fv 62 63 // CHECK-LABEL: define {{.*}}global_var_init 64 // CHECK-NOT: comdat 65 // CHECK-SAME: {{$}} 66 // CHECK: load atomic {{.*}} acquire 67 // CHECK: br 68 // CHECK: __cxa_guard_acquire(i64* @_ZGV1b) 69 // CHECK: br 70 // CHECK: call i32 @_Z1fv 71 // CHECK: __cxa_guard_release(i64* @_ZGV1b) 72 73 // CHECK-LABEL: define {{.*}}global_var_init 74 // CHECK: call i32 @_Z1fv 75 76 template<typename T> inline int d = f(); 77 int e = d<int>; 78 79 // CHECK-LABEL: define {{.*}}global_var_init{{.*}}comdat 80 // CHECK: _ZGV1dIiE 81 // CHECK-NOT: __cxa_guard_acquire(i64* @_ZGV1b) 82 // CHECK: call i32 @_Z1fv 83 // CHECK-NOT: __cxa_guard_release(i64* @_ZGV1b) 84