Clang Project

clang_source_code/test/CodeGenCXX/cxx1z-inline-variables.cpp
1// RUN: %clang_cc1 -std=c++1z %s -emit-llvm -o - -triple x86_64-linux-gnu | FileCheck %s
2
3struct Q {
4  // CHECK: @_ZN1Q1kE = linkonce_odr constant i32 5, comdat
5  static constexpr int k = 5;
6};
7const int &r = Q::k;
8
9int f();
10
11// const does not imply internal linkage.
12// CHECK: @external_inline = linkonce_odr constant i32 5, comdat
13inline const int external_inline = 5;
14const int &use1 = external_inline;
15
16// static still does, though.
17// CHECK: @_ZL15internal_inline = internal constant i32 5
18static inline const int internal_inline = 5;
19const int &use2 = internal_inline;
20
21int a = f();
22// CHECK: @b = linkonce_odr global i32 0, comdat
23// CHECK: @_ZGV1b = linkonce_odr global i64 0, comdat($b)
24inline int b = f();
25int 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.
29struct 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  static const int e = 5;
35  static const int f = 6;
36  static const int g = 7;
37};
38const int &compat_use_before_redecl = compat::b;
39const int compat::a;
40const int compat::b;
41const int compat::c;
42const int compat::d;
43const int compat::e;
44constexpr int compat::f;
45constexpr inline int compat::g;
46const int &compat_use_after_redecl1 = compat::c;
47const int &compat_use_after_redecl2 = compat::d;
48const int &compat_use_after_redecl3 = compat::g;
49// CHECK-DAG: @_ZN6compat1bE = weak_odr constant i32 2
50// CHECK-DAG: @_ZN6compat1aE = weak_odr constant i32 1
51// CHECK-DAG: @_ZN6compat1cE = weak_odr constant i32 3
52// CHECK-DAG: @_ZN6compat1dE = linkonce_odr constant i32 4
53// CHECK-DAG: @_ZN6compat1eE = constant i32 5
54// CHECK-DAG: @_ZN6compat1fE = weak_odr constant i32 6
55// CHECK-DAG: @_ZN6compat1gE = linkonce_odr constant i32 7
56
57template<typename T> struct X {
58  static int a;
59  static inline int b;
60  static int c;
61  static const int d;
62  static int e;
63};
64// CHECK: @_ZN1XIiE1aE = linkonce_odr global i32 10
65// CHECK: @_ZN1XIiE1bE = global i32 20
66// CHECK-NOT: @_ZN1XIiE1cE
67// CHECK: @_ZN1XIiE1dE = linkonce_odr constant i32 40
68// CHECK: @_ZN1XIiE1eE = linkonce_odr global i32 50
69template<> inline int X<int>::a = 10;
70int &use3 = X<int>::a;
71template<> int X<int>::b = 20;
72template<> inline int X<int>::c = 30;
73template<typename T> constexpr int X<T>::d = 40;
74template<typename T> inline int X<T>::e = 50;
75const int *use_x_int_d = &X<int>::d;
76const int *use_x_int_e = &X<int>::e;
77
78template<typename T> struct Y;
79template<> struct Y<int> {
80  static constexpr int a = 123;
81  static constexpr int b = 456;
82  static constexpr int c = 789;
83};
84// CHECK: @_ZN1YIiE1aE = weak_odr constant i32 123
85constexpr int Y<int>::a;
86// CHECK: @_ZN1YIiE1bE = linkonce_odr constant i32 456
87const int &yib = Y<int>::b;
88// CHECK-NOT: @_ZN1YIiE1cE
89
90// CHECK-LABEL: define {{.*}}global_var_init
91// CHECK: call i32 @_Z1fv
92
93// CHECK-LABEL: define {{.*}}global_var_init
94// CHECK-NOT: comdat
95// CHECK-SAME: {{$}}
96// CHECK: load atomic {{.*}} acquire
97// CHECK: br
98// CHECK: __cxa_guard_acquire(i64* @_ZGV1b)
99// CHECK: br
100// CHECK: call i32 @_Z1fv
101// CHECK: __cxa_guard_release(i64* @_ZGV1b)
102
103// CHECK-LABEL: define {{.*}}global_var_init
104// CHECK: call i32 @_Z1fv
105
106template<typename T> inline int d = f();
107int e = d<int>;
108
109// CHECK-LABEL: define {{.*}}global_var_init{{.*}}comdat
110// CHECK: _ZGV1dIiE
111// CHECK-NOT: __cxa_guard_acquire(i64* @_ZGV1b)
112// CHECK: call i32 @_Z1fv
113// CHECK-NOT: __cxa_guard_release(i64* @_ZGV1b)
114
115namespace PR35599 {
116struct Marker1 {};
117struct Marker2 {};
118
119template <typename>
120struct Foo {
121  struct Bar { Bar(); };
122  inline static Bar bar;
123};
124
125void run() {
126  // All we want here are ODR uses. Anything that requires that the type is
127  // complete is uninteresting.
128#pragma clang diagnostic push
129#pragma clang diagnostic ignored "-Wunused-value"
130  Foo<Marker1>::bar;
131#pragma clang diagnostic pop
132  static_cast<void>(Foo<Marker2>::bar);
133}
134
135// CHECK-LABEL: define {{.*}}global_var_init{{.*}}comdat
136// CHECK: call void @_ZN7PR355993FooINS_7Marker1EE3BarC1Ev
137// CHECK-LABEL: define {{.*}}global_var_init{{.*}}comdat
138// CHECK: call void @_ZN7PR355993FooINS_7Marker2EE3BarC1Ev
139}
140
CodeThinker, Enjoy your reading code