1 // RUN: %clang_cc1 -std=c++20 -fblocks -Wno-return-stack-address -triple x86_64-unknown-unknown-gnu -emit-llvm -O1 -o - %s | FileCheck %s
2 
3 struct alignas(4) X {
4   X();
5   X(const X &);
6   X(X &&);
7 };
8 
9 #define L(A, B, C) void l##A() {    \
10   auto t = []<class T = X>() -> C { \
11     T t;                            \
12     return B;                       \
13   }();                              \
14 }
15 
16 // CHECK-LABEL: define{{.*}} void @_Z2l1v
17 // CHECK:       call {{.*}} @_ZN1XC1Ev
18 // CHECK-NEXT:  call void @llvm.lifetime.end
19 // CHECK-NEXT:  ret void
20 L(1, t, X);
21 
22 // CHECK-LABEL: define{{.*}} void @_Z2l2v
23 // CHECK:       call {{.*}} @_ZN1XC1Ev
24 // CHECK-NEXT:  call void @llvm.lifetime.end
25 // CHECK-NEXT:  call {{.*}} @_ZN1XC1ERKS_
26 // CHECK-NEXT:  call void @llvm.lifetime.end
27 // CHECK-NEXT:  ret void
28 L(2, t, X&);
29 
30 // CHECK-LABEL: define{{.*}} void @_Z2l3v
31 // CHECK:       call {{.*}} @_ZN1XC1Ev
32 // CHECK-NEXT:  call void @llvm.lifetime.end
33 // CHECK-NEXT:  ret void
34 L(3, t, T);
35 
36 // CHECK-LABEL: define{{.*}} void @_Z2l4v
37 // CHECK:       call {{.*}} @_ZN1XC1Ev
38 // CHECK-NEXT:  call void @llvm.lifetime.end
39 // CHECK-NEXT:  call {{.*}} @_ZN1XC1ERKS_
40 // CHECK-NEXT:  call void @llvm.lifetime.end
41 // CHECK-NEXT:  ret void
42 L(4, t, T&);
43 
44 // CHECK-LABEL: define{{.*}} void @_Z2l5v
45 // CHECK:       call {{.*}} @_ZN1XC1Ev
46 // CHECK-NEXT:  call {{.*}} @_ZN1XC1EOS_
47 // CHECK-NEXT:  call void @llvm.lifetime.end
48 // CHECK-NEXT:  call void @llvm.lifetime.end
49 // CHECK-NEXT:  ret void
50 L(5, t, auto);
51 
52 // CHECK-LABEL: define{{.*}} void @_Z2l6v
53 // CHECK:       call {{.*}} @_ZN1XC1Ev
54 // CHECK-NEXT:  call void @llvm.lifetime.end
55 // CHECK-NEXT:  call {{.*}} @_ZN1XC1ERKS_
56 // CHECK-NEXT:  call void @llvm.lifetime.end
57 // CHECK-NEXT:  ret void
58 L(6, t, auto&);
59 
60 // CHECK-LABEL: define{{.*}} void @_Z2l7v
61 // CHECK:       call {{.*}} @_ZN1XC1Ev
62 // CHECK-NEXT:  call {{.*}} @_ZN1XC1EOS_
63 // CHECK-NEXT:  call void @llvm.lifetime.end
64 // CHECK-NEXT:  call void @llvm.lifetime.end
65 // CHECK-NEXT:  ret void
66 L(7, t, decltype(auto));
67 
68 // CHECK-LABEL: define{{.*}} void @_Z2l8v
69 // CHECK:       call {{.*}} @_ZN1XC1Ev
70 // CHECK-NEXT:  call void @llvm.lifetime.end
71 // CHECK-NEXT:  call {{.*}} @_ZN1XC1ERKS_
72 // CHECK-NEXT:  call void @llvm.lifetime.end
73 // CHECK-NEXT:  ret void
74 L(8, (t), decltype(auto));
75 
76 #undef L
77 
78 #define F(A, B, C) template<class T = X> static inline auto tf##A() -> C { \
79     T t;                                                                   \
80     return B;                                                              \
81 }                                                                          \
82 void f##A() { auto t = tf##A(); }                                          \
83 
84 // CHECK-LABEL: define{{.*}} void @_Z2f1v
85 // CHECK:       call {{.*}} @_ZN1XC1Ev
86 // CHECK-NEXT:  call void @llvm.lifetime.end
87 // CHECK-NEXT:  ret void
88 F(1, t, X);
89 
90 // CHECK-LABEL: define{{.*}} void @_Z2f2v
91 // CHECK:       call {{.*}} @_ZN1XC1Ev
92 // CHECK-NEXT:  call void @llvm.lifetime.end
93 // CHECK-NEXT:  call {{.*}} @_ZN1XC1ERKS_
94 // CHECK-NEXT:  call void @llvm.lifetime.end
95 // CHECK-NEXT:  ret void
96 F(2, t, X&);
97 
98 // CHECK-LABEL: define{{.*}} void @_Z2f3v
99 // CHECK:       call {{.*}} @_ZN1XC1Ev
100 // CHECK-NEXT:  call void @llvm.lifetime.end
101 // CHECK-NEXT:  ret void
102 F(3, t, T);
103 
104 // CHECK-LABEL: define{{.*}} void @_Z2f4v
105 // CHECK:       call {{.*}} @_ZN1XC1Ev
106 // CHECK-NEXT:  call void @llvm.lifetime.end
107 // CHECK-NEXT:  call {{.*}} @_ZN1XC1ERKS_
108 // CHECK-NEXT:  call void @llvm.lifetime.end
109 // CHECK-NEXT:  ret void
110 F(4, t, T&);
111 
112 // CHECK-LABEL: define{{.*}} void @_Z2f5v
113 // CHECK:       call {{.*}} @_ZN1XC1Ev
114 // CHECK-NEXT:  call {{.*}} @_ZN1XC1EOS_
115 // CHECK-NEXT:  call void @llvm.lifetime.end
116 // CHECK-NEXT:  call void @llvm.lifetime.end
117 // CHECK-NEXT:  ret void
118 F(5, t, auto);
119 
120 // CHECK-LABEL: define{{.*}} void @_Z2f6v
121 // CHECK:       call {{.*}} @_ZN1XC1Ev
122 // CHECK-NEXT:  call void @llvm.lifetime.end
123 // CHECK-NEXT:  call {{.*}} @_ZN1XC1ERKS_
124 // CHECK-NEXT:  call void @llvm.lifetime.end
125 // CHECK-NEXT:  ret void
126 F(6, t, auto&);
127 
128 // CHECK-LABEL: define{{.*}} void @_Z2f7v
129 // CHECK:       call {{.*}} @_ZN1XC1Ev
130 // CHECK-NEXT:  call {{.*}} @_ZN1XC1EOS_
131 // CHECK-NEXT:  call void @llvm.lifetime.end
132 // CHECK-NEXT:  call void @llvm.lifetime.end
133 // CHECK-NEXT:  ret void
134 F(7, t, decltype(auto));
135 
136 // CHECK-LABEL: define{{.*}} void @_Z2f8v
137 // CHECK:       call {{.*}} @_ZN1XC1Ev
138 // CHECK-NEXT:  call void @llvm.lifetime.end
139 // CHECK-NEXT:  call {{.*}} @_ZN1XC1ERKS_
140 // CHECK-NEXT:  call void @llvm.lifetime.end
141 // CHECK-NEXT:  ret void
142 F(8, (t), decltype(auto));
143 
144 #undef F
145 
146 #define B(A, B) void b##A() { \
147   auto t = []<class T = X>() { return ^ B () { \
148       T t;                                     \
149       return t;                                \
150   }; }()();                                    \
151 }
152 
153 // CHECK-LABEL: define{{.*}} void @_Z2b1v
154 // CHECK:       call {{.*}} @_ZN1XC1Ev
155 // CHECK-NEXT:  call void @llvm.lifetime.end
156 // CHECK-NEXT:  ret void
157 B(1, X);
158 
159 // CHECK-LABEL: define{{.*}} void @_Z2b2v
160 // CHECK:       call {{.*}} @_ZN1XC1Ev
161 // CHECK-NEXT:  call void @llvm.lifetime.end
162 // CHECK-NEXT:  call {{.*}} @_ZN1XC1ERKS_
163 // CHECK-NEXT:  call void @llvm.lifetime.end
164 // CHECK-NEXT:  ret void
165 B(2, X&);
166 
167 // CHECK-LABEL: define{{.*}} void @_Z2b3v
168 // CHECK:       call {{.*}} @_ZN1XC1Ev
169 // CHECK-NEXT:  call void @llvm.lifetime.end
170 // CHECK-NEXT:  ret void
171 B(3, T);
172 
173 // CHECK-LABEL: define{{.*}} void @_Z2b4v
174 // CHECK:       call {{.*}} @_ZN1XC1Ev
175 // CHECK-NEXT:  call void @llvm.lifetime.end
176 // CHECK-NEXT:  call {{.*}} @_ZN1XC1ERKS_
177 // CHECK-NEXT:  call void @llvm.lifetime.end
178 // CHECK-NEXT:  ret void
179 B(4, T&);
180 
181 // CHECK-LABEL: define{{.*}} void @_Z2b5v
182 // CHECK:       call {{.*}} @_ZN1XC1Ev
183 // CHECK-NEXT:  call {{.*}} @_ZN1XC1EOS_
184 // CHECK-NEXT:  call void @llvm.lifetime.end
185 // CHECK-NEXT:  call void @llvm.lifetime.end
186 // CHECK-NEXT:  ret void
187 B(5, );
188 
189 #undef B
190 
191 // CHECK-LABEL: define{{.*}} void @_Z6f_attrv
192 // CHECK:       call {{.*}} @_ZN1XC1Ev
193 // CHECK-NEXT:  call void @llvm.lifetime.end
194 // CHECK-NEXT:  ret void
195 template<class T = X> [[gnu::cdecl]] static inline auto tf_attr() -> X {
196   T t;
197   return t;
198 }
199 void f_attr() { auto t = tf_attr(); }
200 
201 // CHECK-LABEL: define{{.*}} void @_Z6b_attrv
202 // CHECK:       call {{.*}} @_ZN1XC1Ev
203 // CHECK-NEXT:  call void @llvm.lifetime.end
204 // CHECK-NEXT:  ret void
205 void b_attr() {
206   auto t = []<class T = X>() {
207     return ^X() [[clang::vectorcall]] {
208       T t;
209       return t;
210     };
211   }()();
212 }
213 
214 namespace test_alignas {
215 
216 template <int A> X t1() {
217   X a [[gnu::aligned(A)]];
218   return a;
219 }
220 
221 // CHECK-LABEL: define{{.*}} void @_ZN12test_alignas2t1ILi1EEE1Xv
222 // CHECK:       call {{.*}} @_ZN1XC1Ev
223 // CHECK-NEXT:  ret void
224 template X t1<1>();
225 
226 // CHECK-LABEL: define{{.*}} void @_ZN12test_alignas2t1ILi4EEE1Xv
227 // CHECK:       call {{.*}} @_ZN1XC1Ev
228 // CHECK-NEXT:  ret void
229 template X t1<4>();
230 
231 // CHECK-LABEL: define{{.*}} void @_ZN12test_alignas2t1ILi8EEE1Xv
232 // CHECK:       call {{.*}} @_ZN1XC1Ev
233 // CHECK-NEXT:  call {{.*}} @_ZN1XC1EOS_
234 // CHECK-NEXT:  call void @llvm.lifetime.end
235 template X t1<8>();
236 
237 template <int A> X t2() {
238   X a [[gnu::aligned(1)]] [[gnu::aligned(A)]] [[gnu::aligned(2)]];
239   return a;
240 }
241 
242 // CHECK-LABEL: define{{.*}} void @_ZN12test_alignas2t2ILi1EEE1Xv
243 // CHECK:       call {{.*}} @_ZN1XC1Ev
244 // CHECK-NEXT:  ret void
245 template X t2<1>();
246 
247 // CHECK-LABEL: define{{.*}} void @_ZN12test_alignas2t2ILi4EEE1Xv
248 // CHECK:       call {{.*}} @_ZN1XC1Ev
249 // CHECK-NEXT:  ret void
250 template X t2<4>();
251 
252 // CHECK-LABEL: define{{.*}} void @_ZN12test_alignas2t2ILi8EEE1Xv
253 // CHECK:       call {{.*}} @_ZN1XC1Ev
254 // CHECK-NEXT:  call {{.*}} @_ZN1XC1EOS_
255 // CHECK-NEXT:  call void @llvm.lifetime.end
256 template X t2<8>();
257 
258 // CHECK-LABEL: define{{.*}} void @_ZN12test_alignas2t3Ev
259 // CHECK:       call {{.*}} @_ZN1XC1Ev
260 // CHECK-NEXT:  ret void
261 X t3() {
262   X a [[gnu::aligned(1)]];
263   return a;
264 }
265 
266 // CHECK-LABEL: define{{.*}} void @_ZN12test_alignas2t4Ev
267 // CHECK:       call {{.*}} @_ZN1XC1Ev
268 // CHECK-NEXT:  call {{.*}} @_ZN1XC1EOS_
269 // CHECK-NEXT:  call void @llvm.lifetime.end
270 X t4() {
271   X a [[gnu::aligned(8)]];
272   return a;
273 }
274 
275 // CHECK-LABEL: define{{.*}} void @_ZN12test_alignas2t5Ev
276 // CHECK:       call {{.*}} @_ZN1XC1Ev
277 // CHECK-NEXT:  call {{.*}} @_ZN1XC1EOS_
278 // CHECK-NEXT:  call void @llvm.lifetime.end
279 X t5() {
280   X a [[gnu::aligned(1)]] [[gnu::aligned(8)]];
281   return a;
282 }
283 
284 } // namespace test_alignas
285 
286 namespace PR51862 {
287 
288 template <class T> T test() {
289   T a;
290   T b;
291   if (0)
292     return a;
293   return b;
294 }
295 
296 struct A {
297   A();
298   A(A &);
299   A(int);
300   operator int();
301 };
302 
303 // CHECK-LABEL: define{{.*}} void @_ZN7PR518624testINS_1AEEET_v
304 // CHECK:       call noundef i32 @_ZN7PR518621AcviEv
305 // CHECK-NEXT:  call void @_ZN7PR518621AC1Ei
306 // CHECK-NEXT:  call void @llvm.lifetime.end
307 template A test<A>();
308 
309 struct BSub {};
310 struct B : BSub {
311   B();
312   B(B &);
313   B(const BSub &);
314 };
315 
316 // CHECK-LABEL: define{{.*}} void @_ZN7PR518624testINS_1BEEET_v
317 // CHECK:       call void @_ZN7PR518621BC1ERKNS_4BSubE
318 // CHECK-NEXT:  call void @llvm.lifetime.end
319 template B test<B>();
320 
321 } // namespace PR51862
322