| Richard Smith | 62f19e7 | 2016-06-25 00:15:56 +0000 | [diff] [blame] | 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 | |
| Richard Smith | d9b9009 | 2016-07-02 01:32:16 +0000 | [diff] [blame] | 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 | |
| Richard Smith | 62f19e7 | 2016-06-25 00:15:56 +0000 | [diff] [blame] | 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) |