| 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 | |
| 27 | template<typename T> struct X { |
| 28 | static int a; |
| 29 | static inline int b; |
| 30 | static int c; |
| 31 | }; |
| 32 | // CHECK: @_ZN1XIiE1aE = linkonce_odr global i32 10 |
| 33 | // CHECK: @_ZN1XIiE1bE = global i32 20 |
| 34 | // CHECK-NOT: @_ZN1XIiE1cE |
| 35 | template<> inline int X<int>::a = 10; |
| 36 | int &use3 = X<int>::a; |
| 37 | template<> int X<int>::b = 20; |
| 38 | template<> inline int X<int>::c = 30; |
| 39 | |
| 40 | // CHECK-LABEL: define {{.*}}global_var_init |
| 41 | // CHECK: call i32 @_Z1fv |
| 42 | |
| 43 | // CHECK-LABEL: define {{.*}}global_var_init |
| 44 | // CHECK-NOT: comdat |
| 45 | // CHECK-SAME: {{$}} |
| 46 | // CHECK: load atomic {{.*}} acquire |
| 47 | // CHECK: br |
| 48 | // CHECK: __cxa_guard_acquire(i64* @_ZGV1b) |
| 49 | // CHECK: br |
| 50 | // CHECK: call i32 @_Z1fv |
| 51 | // CHECK: __cxa_guard_release(i64* @_ZGV1b) |
| 52 | |
| 53 | // CHECK-LABEL: define {{.*}}global_var_init |
| 54 | // CHECK: call i32 @_Z1fv |
| 55 | |
| 56 | template<typename T> inline int d = f(); |
| 57 | int e = d<int>; |
| 58 | |
| 59 | // CHECK-LABEL: define {{.*}}global_var_init{{.*}}comdat |
| 60 | // CHECK: _ZGV1dIiE |
| 61 | // CHECK-NOT: __cxa_guard_acquire(i64* @_ZGV1b) |
| 62 | // CHECK: call i32 @_Z1fv |
| 63 | // CHECK-NOT: __cxa_guard_release(i64* @_ZGV1b) |