1 // RUN: %clang_cc1 -std=c++11 -triple x86_64-apple-macosx10.7.0 -emit-llvm -o - %s | FileCheck %s
2
3 // CHECK: @_ZZNK7PR12917IJiiEE1nMUlvE_clEvE1n = linkonce_odr global i32 0
4 // CHECK: @_ZZZN7PR12917IJicdEEC1EicdEd_NKUlvE_clEvE1n = linkonce_odr global i32 0
5 // CHECK: @_ZZZN7PR12917IJicdEEC1EicdEd0_NKUlvE_clEvE1n = linkonce_odr global i32 0
6 // CHECK: @_ZZZN7PR12917IJicdEEC1EicdEd1_NKUlvE_clEvE1n = linkonce_odr global i32 0
7
8 // CHECK-LABEL: define linkonce_odr void @_Z11inline_funci
inline_func(int n)9 inline void inline_func(int n) {
10 // CHECK: call i32 @_ZZ11inline_funciENKUlvE_clEv
11 int i = []{ return 1; }();
12
13 // CHECK: call i32 @_ZZ11inline_funciENKUlvE0_clEv
14 int j = [=] { return n + i; }();
15
16 // CHECK: call double @_ZZ11inline_funciENKUlvE1_clEv
17 int k = [=] () -> double { return n + i; }();
18
19 // CHECK: call i32 @_ZZ11inline_funciENKUliE_clEi
20 int l = [=] (int x) -> int { return x + i; }(n);
21
22 int inner(int i = []{ return 17; }());
23 // CHECK: call i32 @_ZZ11inline_funciENKUlvE2_clEv
24 // CHECK-NEXT: call i32 @_Z5inneri
25 inner();
26
27 // CHECK-NEXT: ret void
28 }
29
call_inline_func()30 void call_inline_func() {
31 inline_func(17);
32 }
33
34 struct S {
__anon2adca4220602S35 void f(int = []{return 1;}()
__anon2adca4220702S36 + []{return 2;}(),
__anon2adca4220802S37 int = []{return 3;}());
38 void g(int, int);
39 };
40
g(int i=[]{}(),int j=[]{}())41 void S::g(int i = []{return 1;}(),
__anon2adca4220a02null42 int j = []{return 2; }()) {}
43
44 // CHECK-LABEL: define void @_Z6test_S1S
test_S(S s)45 void test_S(S s) {
46 // CHECK: call i32 @_ZZN1S1fEiiEd0_NKUlvE_clEv
47 // CHECK-NEXT: call i32 @_ZZN1S1fEiiEd0_NKUlvE0_clEv
48 // CHECK-NEXT: add nsw i32
49 // CHECK-NEXT: call i32 @_ZZN1S1fEiiEd_NKUlvE_clEv
50 // CHECK-NEXT: call void @_ZN1S1fEii
51 s.f();
52
53 // NOTE: These manglings don't actually matter that much, because
54 // the lambdas in the default arguments of g() won't be seen by
55 // multiple translation units. We check them mainly to ensure that they don't
56 // get the special mangling for lambdas in in-class default arguments.
57 // CHECK: call i32 @"_ZNK1S3$_0clEv"
58 // CHECK-NEXT: call i32 @"_ZNK1S3$_1clEv"
59 // CHECK-NEXT: call void @_ZN1S1gEi
60 s.g();
61
62 // CHECK-NEXT: ret void
63 }
64
65 // Check the linkage of the lambda call operators used in test_S.
66 // CHECK-LABEL: define linkonce_odr i32 @_ZZN1S1fEiiEd0_NKUlvE_clEv
67 // CHECK: ret i32 1
68 // CHECK-LABEL: define linkonce_odr i32 @_ZZN1S1fEiiEd0_NKUlvE0_clEv
69 // CHECK: ret i32 2
70 // CHECK-LABEL: define linkonce_odr i32 @_ZZN1S1fEiiEd_NKUlvE_clEv
71 // CHECK: ret i32 3
72 // CHECK-LABEL: define internal i32 @"_ZNK1S3$_0clEv"
73 // CHECK: ret i32 1
74 // CHECK-LABEL: define internal i32 @"_ZNK1S3$_1clEv"
75 // CHECK: ret i32 2
76
77 template<typename T>
78 struct ST {
__anon2adca4220b02ST79 void f(T = []{return T() + 1;}()
__anon2adca4220c02ST80 + []{return T() + 2;}(),
__anon2adca4220d02ST81 T = []{return T(3);}());
82 };
83
84 // CHECK-LABEL: define void @_Z7test_ST2STIdE
test_ST(ST<double> st)85 void test_ST(ST<double> st) {
86 // CHECK: call double @_ZZN2STIdE1fEddEd0_NKUlvE_clEv
87 // CHECK-NEXT: call double @_ZZN2STIdE1fEddEd0_NKUlvE0_clEv
88 // CHECK-NEXT: fadd double
89 // CHECK-NEXT: call double @_ZZN2STIdE1fEddEd_NKUlvE_clEv
90 // CHECK-NEXT: call void @_ZN2STIdE1fEdd
91 st.f();
92
93 // CHECK-NEXT: ret void
94 }
95
96 // Check the linkage of the lambda call operators used in test_ST.
97 // CHECK-LABEL: define linkonce_odr double @_ZZN2STIdE1fEddEd0_NKUlvE_clEv
98 // CHECK: ret double 1
99 // CHECK-LABEL: define linkonce_odr double @_ZZN2STIdE1fEddEd0_NKUlvE0_clEv
100 // CHECK: ret double 2
101 // CHECK-LABEL: define linkonce_odr double @_ZZN2STIdE1fEddEd_NKUlvE_clEv
102 // CHECK: ret double 3
103
104 template<typename T>
105 struct StaticMembers {
106 static T x;
107 static T y;
108 static T z;
109 static int (*f)();
110 };
111
112 template<typename T> int accept_lambda(T);
113
114 template<typename T>
__anon2adca4220f02null115 T StaticMembers<T>::x = []{return 1;}() + []{return 2;}();
116
117 template<typename T>
__anon2adca4221002null118 T StaticMembers<T>::y = []{return 3;}();
119
120 template<typename T>
__anon2adca4221102null121 T StaticMembers<T>::z = accept_lambda([]{return 4;});
122
123 template<typename T>
__anon2adca4221202null124 int (*StaticMembers<T>::f)() = []{return 5;};
125
126 // CHECK-LABEL: define internal void @__cxx_global_var_init()
127 // CHECK: call i32 @_ZNK13StaticMembersIfE1xMUlvE_clEv
128 // CHECK-NEXT: call i32 @_ZNK13StaticMembersIfE1xMUlvE0_clEv
129 // CHECK-NEXT: add nsw
130 // CHECK-LABEL: define linkonce_odr i32 @_ZNK13StaticMembersIfE1xMUlvE_clEv
131 // CHECK: ret i32 1
132 // CHECK-LABEL: define linkonce_odr i32 @_ZNK13StaticMembersIfE1xMUlvE0_clEv
133 // CHECK: ret i32 2
134 template float StaticMembers<float>::x;
135
136 // CHECK-LABEL: define internal void @__cxx_global_var_init1()
137 // CHECK: call i32 @_ZNK13StaticMembersIfE1yMUlvE_clEv
138 // CHECK-LABEL: define linkonce_odr i32 @_ZNK13StaticMembersIfE1yMUlvE_clEv
139 // CHECK: ret i32 3
140 template float StaticMembers<float>::y;
141
142 // CHECK-LABEL: define internal void @__cxx_global_var_init2()
143 // CHECK: call i32 @_Z13accept_lambdaIN13StaticMembersIfE1zMUlvE_EEiT_
144 // CHECK: declare i32 @_Z13accept_lambdaIN13StaticMembersIfE1zMUlvE_EEiT_()
145 template float StaticMembers<float>::z;
146
147 // CHECK-LABEL: define internal void @__cxx_global_var_init3()
148 // CHECK: call {{.*}} @_ZNK13StaticMembersIfE1fMUlvE_cvPFivEEv
149 // CHECK-LABEL: define linkonce_odr i32 ()* @_ZNK13StaticMembersIfE1fMUlvE_cvPFivEEv
150 template int (*StaticMembers<float>::f)();
151
152 // CHECK-LABEL: define internal void @__cxx_global_var_init4
153 // CHECK: call i32 @"_ZNK13StaticMembersIdE3$_2clEv"
154 // CHECK-LABEL: define internal i32 @"_ZNK13StaticMembersIdE3$_2clEv"
155 // CHECK: ret i32 42
__anon2adca4221302null156 template<> double StaticMembers<double>::z = []{return 42; }();
157
158 template<typename T>
__anon2adca4221402null159 void func_template(T = []{ return T(); }());
160
161 // CHECK-LABEL: define void @_Z17use_func_templatev()
use_func_template()162 void use_func_template() {
163 // CHECK: call i32 @"_ZZ13func_templateIiEvT_ENK3$_3clEv"
164 func_template<int>();
165 }
166
167
168 template<typename...T> struct PR12917 {
__anon2adca4221502PR12917169 PR12917(T ...t = []{ static int n = 0; return ++n; }());
170
171 static int n[3];
172 };
173 template<typename...T> int PR12917<T...>::n[3] = {
__anon2adca4221602null174 []{ static int n = 0; return ++n; }()
175 };
176
177 // CHECK: call i32 @_ZZN7PR12917IJicdEEC1EicdEd1_NKUlvE_clEv(
178 // CHECK: call i32 @_ZZN7PR12917IJicdEEC1EicdEd0_NKUlvE_clEv(
179 // CHECK: call i32 @_ZZN7PR12917IJicdEEC1EicdEd_NKUlvE_clEv(
180 // CHECK: call void @_ZN7PR12917IJicdEEC1Eicd(
181 PR12917<int, char, double> pr12917;
182 int *pr12917_p = PR12917<int, int>::n;
183
184 namespace std {
185 struct type_info;
186 }
187 namespace PR12123 {
188 struct A { virtual ~A(); } g;
189 struct B {
__anon2adca4221702PR12123::B190 void f(const std::type_info& x = typeid([]()->A& { return g; }()));
191 void h();
192 };
h()193 void B::h() { f(); }
194 }
195 // CHECK-LABEL: define linkonce_odr dereferenceable({{[0-9]+}}) %"struct.PR12123::A"* @_ZZN7PR121231B1fERKSt9type_infoEd_NKUlvE_clEv
196
197 namespace PR12808 {
198 template <typename> struct B {
199 int a;
BPR12808::B200 template <typename L> constexpr B(L&& x) : a(x()) { }
201 };
b(int)202 template <typename> void b(int) {
203 [&]{ (void)B<int>([&]{ return 1; }); }();
204 }
f()205 void f() {
206 b<int>(1);
207 }
208 // CHECK-LABEL: define linkonce_odr void @_ZZN7PR128081bIiEEviENKUlvE_clEv
209 // CHECK-LABEL: define linkonce_odr i32 @_ZZZN7PR128081bIiEEviENKUlvE_clEvENKUlvE_clEv
210 }
211
212 // CHECK-LABEL: define linkonce_odr void @_Z1fIZZNK23TestNestedInstantiationclEvENKUlvE_clEvEUlvE_EvT_
213
214 struct Members {
__anon2adca4221b02Members215 int x = [] { return 1; }() + [] { return 2; }();
__anon2adca4221c02Members216 int y = [] { return 3; }();
217 };
218
test_Members()219 void test_Members() {
220 // CHECK-LABEL: define linkonce_odr void @_ZN7MembersC2Ev
221 // CHECK: call i32 @_ZNK7Members1xMUlvE_clEv
222 // CHECK-NEXT: call i32 @_ZNK7Members1xMUlvE0_clE
223 // CHECK-NEXT: add nsw i32
224 // CHECK: call i32 @_ZNK7Members1yMUlvE_clEv
225 Members members;
226 // CHECK: ret void
227 }
228
f(P)229 template<typename P> void f(P) { }
230
231 struct TestNestedInstantiation {
operator ()TestNestedInstantiation232 void operator()() const {
233 []() -> void {
234 return f([]{});
235 }();
236 }
237 };
238
test_NestedInstantiation()239 void test_NestedInstantiation() {
240 TestNestedInstantiation()();
241 }
242
243 // Check the linkage of the lambdas used in test_Members.
244 // CHECK-LABEL: define linkonce_odr i32 @_ZNK7Members1xMUlvE_clEv
245 // CHECK: ret i32 1
246 // CHECK-LABEL: define linkonce_odr i32 @_ZNK7Members1xMUlvE0_clEv
247 // CHECK: ret i32 2
248 // CHECK-LABEL: define linkonce_odr i32 @_ZNK7Members1yMUlvE_clEv
249 // CHECK: ret i32 3
250
251 // Check linkage of the various lambdas.
252 // CHECK-LABEL: define linkonce_odr i32 @_ZZ11inline_funciENKUlvE_clEv
253 // CHECK: ret i32 1
254 // CHECK-LABEL: define linkonce_odr i32 @_ZZ11inline_funciENKUlvE0_clEv
255 // CHECK: ret i32
256 // CHECK-LABEL: define linkonce_odr double @_ZZ11inline_funciENKUlvE1_clEv
257 // CHECK: ret double
258 // CHECK-LABEL: define linkonce_odr i32 @_ZZ11inline_funciENKUliE_clEi
259 // CHECK: ret i32
260 // CHECK-LABEL: define linkonce_odr i32 @_ZZ11inline_funciENKUlvE2_clEv
261 // CHECK: ret i32 17
262