1 // RUN: %clang_cc1 %s -fno-rtti -triple=i386-pc-win32 -emit-llvm -o - | FileCheck %s
2 
3 // See microsoft-abi-structors.cpp for constructor codegen tests.
4 
5 namespace Test1 {
6 // Classic diamond, fully virtual.
7 struct A { int a; };
8 struct B : virtual A { int b; };
9 struct C : virtual A { int c; };
10 struct D : virtual B, virtual C { int d; };
11 D d; // Force vbtable emission.
12 
13 // Layout should be:
14 // D: vbptr D
15 //    int d
16 // A: int a
17 // B: vbptr B
18 //    int b
19 // C: vbptr C
20 //    int c
21 
22 // CHECK-DAG: @"??_8D@Test1@@7B01@@" = linkonce_odr unnamed_addr constant [4 x i32] [i32 0, i32 8, i32 12, i32 20], comdat, align 4
23 // CHECK-DAG: @"??_8D@Test1@@7BB@1@@" = {{.*}} [2 x i32] [i32 0, i32 -4]
24 // CHECK-DAG: @"??_8D@Test1@@7BC@1@@" = {{.*}} [2 x i32] [i32 0, i32 -12]
25 // CHECK-DAG: @"??_8C@Test1@@7B@" = {{.*}} [2 x i32] [i32 0, i32 8]
26 // CHECK-DAG: @"??_8B@Test1@@7B@" = {{.*}} [2 x i32] [i32 0, i32 8]
27 }
28 
29 namespace Test2 {
30 // Classic diamond, only A is virtual.
31 struct A { int a; };
32 struct B : virtual A { int b; };
33 struct C : virtual A { int c; };
34 struct D : B, C { int d; };
35 D d; // Force vbtable emission.
36 
37 // Layout should be:
38 // B: vbptr B
39 //    int b
40 // C: vbptr C
41 //    int c
42 // D: int d
43 // A: int a
44 
45 // CHECK-DAG: @"??_8D@Test2@@7BB@1@@" = {{.*}} [2 x i32] [i32 0, i32 20]
46 // CHECK-DAG: @"??_8D@Test2@@7BC@1@@" = {{.*}} [2 x i32] [i32 0, i32 12]
47 // CHECK-DAG: @"??_8C@Test2@@7B@" = {{.*}} [2 x i32] [i32 0, i32 8]
48 // CHECK-DAG: @"??_8B@Test2@@7B@" = {{.*}} [2 x i32] [i32 0, i32 8]
49 }
50 
51 namespace Test3 {
52 struct A { int a; };
53 struct B { int b; };
54 struct C : virtual A, virtual B { int c; };
55 C c;
56 
57 // CHECK-DAG: @"??_8C@Test3@@7B@" = {{.*}} [3 x i32] [i32 0, i32 8, i32 12]
58 }
59 
60 namespace Test4 {
61 // Test reusing a vbptr from a non-virtual base.
62 struct A { int a; };
63 struct B : virtual A { int b; };
64 struct C : B, virtual A { int c; };
65 C c; // Force vbtable emission.
66 
67 // CHECK-DAG: @"??_8C@Test4@@7B@" = {{.*}} [2 x i32] [i32 0, i32 12]
68 // CHECK-DAG: @"??_8B@Test4@@7B@" = {{.*}} [2 x i32] [i32 0, i32 8]
69 }
70 
71 namespace Test5 {
72 // Test multiple base subobjects of the same type when that type has a virtual
73 // base.
74 struct A { int a; };
75 struct B : virtual A { int b; };
76 struct C : B { int c; };
77 struct D : B, C { int d; };
78 D d; // Force vbtable emission.
79 
80 // CHECK-DAG: @"??_8D@Test5@@7BB@1@@"
81 // CHECK-DAG: @"??_8D@Test5@@7BC@1@@"
82 // CHECK-DAG: @"??_8C@Test5@@7B@"
83 // CHECK-DAG: @"??_8B@Test5@@7B@"
84 }
85 
86 namespace Test6 {
87 // Test that we skip unneeded base path component names.
88 struct A { int a; };
89 struct B : virtual A { int b; };
90 struct C : B { int c; };
91 struct D : B, C { int d; };
92 struct E : D { int e; };
93 struct F : E, B, C { int f; };
94 struct G : F, virtual E { int g; };
95 G g;
96 
97 // CHECK-DAG: @"??_8G@Test6@@7BB@1@E@1@F@1@@" =
98 // CHECK-DAG: @"??_8G@Test6@@7BC@1@E@1@F@1@@" =
99 // CHECK-DAG: @"??_8G@Test6@@7BB@1@F@1@@" =
100 // CHECK-DAG: @"??_8G@Test6@@7BC@1@F@1@@" =
101 // CHECK-DAG: @"??_8G@Test6@@7BB@1@E@1@@" =
102 // CHECK-DAG: @"??_8G@Test6@@7BC@1@E@1@@" =
103 // CHECK-DAG: @"??_8F@Test6@@7BB@1@E@1@@" = {{.*}} [2 x i32] [i32 0, i32 52]
104 // CHECK-DAG: @"??_8F@Test6@@7BC@1@E@1@@" = {{.*}} [2 x i32] [i32 0, i32 44]
105 // CHECK-DAG: @"??_8F@Test6@@7BB@1@@" = {{.*}} [2 x i32] [i32 0, i32 24]
106 // CHECK-DAG: @"??_8F@Test6@@7BC@1@@" = {{.*}} [2 x i32] [i32 0, i32 16]
107 // CHECK-DAG: @"??_8C@Test6@@7B@" = {{.*}} [2 x i32] [i32 0, i32 12]
108 // CHECK-DAG: @"??_8B@Test6@@7B@" = {{.*}} [2 x i32] [i32 0, i32 8]
109 // CHECK-DAG: @"??_8E@Test6@@7BB@1@@" = {{.*}} [2 x i32] [i32 0, i32 28]
110 // CHECK-DAG: @"??_8E@Test6@@7BC@1@@" = {{.*}} [2 x i32] [i32 0, i32 20]
111 // CHECK-DAG: @"??_8D@Test6@@7BB@1@@" = {{.*}} [2 x i32] [i32 0, i32 24]
112 // CHECK-DAG: @"??_8D@Test6@@7BC@1@@" = {{.*}} [2 x i32] [i32 0, i32 16]
113 }
114 
115 namespace Test7 {
116 // Test a non-virtual base which reuses the vbptr of another base.
117 struct A { int a; };
118 struct B { int b; };
119 struct C { int c; };
120 struct D : virtual A { int d; };
121 struct E : B, D, virtual A, virtual C { int e; };
122 E o;
123 
124 // CHECK-DAG: @"??_8E@Test7@@7B@" = {{.*}} [3 x i32] [i32 0, i32 12, i32 16]
125 // CHECK-DAG: @"??_8D@Test7@@7B@" = {{.*}} [2 x i32] [i32 0, i32 8]
126 }
127 
128 namespace Test8 {
129 // Test a virtual base which reuses the vbptr of another base.
130 struct A { int a; };
131 struct B : virtual A { int b; };
132 struct C : B { int c; };
133 struct D : virtual C { int d; };
134 D o;
135 
136 // CHECK-DAG: @"??_8D@Test8@@7B01@@" = {{.*}} [3 x i32] [i32 0, i32 8, i32 12]
137 // CHECK-DAG: @"??_8D@Test8@@7BC@1@@" = {{.*}} [2 x i32] [i32 0, i32 -4]
138 // CHECK-DAG: @"??_8C@Test8@@7B@" = {{.*}} [2 x i32] [i32 0, i32 12]
139 // CHECK-DAG: @"??_8B@Test8@@7B@" = {{.*}} [2 x i32] [i32 0, i32 8]
140 }
141 
142 namespace Test9 {
143 // D has to add to B's vbtable because D has more morally virtual bases than B.
144 // D then takes B's vbptr and the vbtable is named for D, not B.
145 struct A { int a; };
146 struct B : virtual A { int b; };
147 struct C : virtual B { int c; };
148 struct BB : B { int bb; };  // Indirection =/
149 struct D : BB, C { int d; };
150 struct E : virtual D { };
151 E e;
152 
153 // CHECK-DAG: @"??_8E@Test9@@7B01@@" =
154 // CHECK-DAG: @"??_8E@Test9@@7BD@1@@" =
155 // CHECK-DAG: @"??_8E@Test9@@7BC@1@@" =
156 // CHECK-DAG: @"??_8E@Test9@@7BB@1@@" =
157 // CHECK-DAG: @"??_8D@Test9@@7B@" =
158 // CHECK-DAG: @"??_8D@Test9@@7BC@1@@" =
159 // CHECK-DAG: @"??_8D@Test9@@7BB@1@@" =
160 // CHECK-DAG: @"??_8C@Test9@@7B01@@" =
161 // CHECK-DAG: @"??_8C@Test9@@7BB@1@@" =
162 // CHECK-DAG: @"??_8BB@Test9@@7B@" =
163 // CHECK-DAG: @"??_8B@Test9@@7B@" =
164 }
165 
166 namespace Test10 {
167 struct A { int a; };
168 struct B { int b; };
169 struct C : virtual A { int c; };
170 struct D : B, C { int d; };
171 D d;
172 
173 // CHECK-DAG: @"??_8D@Test10@@7B@" =
174 // CHECK-DAG: @"??_8C@Test10@@7B@" =
175 
176 }
177 
178 namespace Test11 {
179 // Typical diamond with an extra single inheritance indirection for B and C.
180 struct A { int a; };
181 struct B : virtual A { int b; };
182 struct C : virtual A { int c; };
183 struct D : B { int d; };
184 struct E : C { int e; };
185 struct F : D, E { int f; };
186 F f;
187 
188 // CHECK-DAG: @"??_8F@Test11@@7BD@1@@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 0, i32 28]
189 // CHECK-DAG: @"??_8F@Test11@@7BE@1@@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 0, i32 16]
190 // CHECK-DAG: @"??_8E@Test11@@7B@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 0, i32 12]
191 // CHECK-DAG: @"??_8C@Test11@@7B@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 0, i32 8]
192 // CHECK-DAG: @"??_8D@Test11@@7B@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 0, i32 12]
193 // CHECK-DAG: @"??_8B@Test11@@7B@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 0, i32 8]
194 
195 }
196 
197 namespace Test12 {
198 // Another vbptr inside a virtual base.
199 struct A { int a; };
200 struct B : virtual A { int b; };
201 struct C : virtual B { int c; };
202 struct D : C, B { int d; };
203 struct E : D, C, B { int e; };
204 E e;
205 
206 // CHECK-DAG: @"??_8E@Test12@@7BC@1@D@1@@" =
207 // CHECK-DAG: @"??_8E@Test12@@7BB@1@D@1@@" =
208 // CHECK-DAG: @"??_8E@Test12@@7BD@1@@" =
209 // CHECK-DAG: @"??_8E@Test12@@7BC@1@@" =
210 // CHECK-DAG: @"??_8E@Test12@@7BB@1@@" =
211 // CHECK-DAG: @"??_8C@Test12@@7B01@@" =
212 // CHECK-DAG: @"??_8C@Test12@@7BB@1@@" =
213 // CHECK-DAG: @"??_8D@Test12@@7BC@1@@" =
214 // CHECK-DAG: @"??_8D@Test12@@7BB@1@@" =
215 // CHECK-DAG: @"??_8D@Test12@@7B@" =
216 // CHECK-DAG: @"??_8B@Test12@@7B@" =
217 }
218 
219 namespace Test13 {
220 struct A { int a; };
221 struct B : virtual A { int b; };
222 struct C : virtual B { int c; };
223 struct D : virtual C { int d; };
224 struct E : D, C, B { int e; };
225 E e;
226 
227 // CHECK-DAG: @"??_8E@Test13@@7BD@1@@" =
228 // CHECK-DAG: @"??_8E@Test13@@7BC@1@D@1@@" =
229 // CHECK-DAG: @"??_8E@Test13@@7BB@1@D@1@@" =
230 // CHECK-DAG: @"??_8E@Test13@@7BC@1@@" =
231 // CHECK-DAG: @"??_8E@Test13@@7BB@1@@" =
232 // CHECK-DAG: @"??_8D@Test13@@7B@" =
233 // CHECK-DAG: @"??_8D@Test13@@7BC@1@@" =
234 // CHECK-DAG: @"??_8D@Test13@@7BB@1@@" =
235 // CHECK-DAG: @"??_8C@Test13@@7B01@@" =
236 // CHECK-DAG: @"??_8C@Test13@@7BB@1@@" =
237 // CHECK-DAG: @"??_8B@Test13@@7B@" =
238 }
239 
240 namespace Test14 {
241 struct A { int a; };
242 struct B : virtual A { int b; };
243 struct C : virtual B { int c; };
244 struct D : virtual C { int d; };
245 struct E : D, virtual C, virtual B { int e; };
246 E e;
247 
248 // CHECK-DAG: @"??_8E@Test14@@7B@" =
249 // CHECK-DAG: @"??_8E@Test14@@7BC@1@@" =
250 // CHECK-DAG: @"??_8E@Test14@@7BB@1@@" =
251 // CHECK-DAG: @"??_8D@Test14@@7B@" =
252 // CHECK-DAG: @"??_8D@Test14@@7BC@1@@" =
253 // CHECK-DAG: @"??_8D@Test14@@7BB@1@@" =
254 // CHECK-DAG: @"??_8C@Test14@@7B01@@" =
255 // CHECK-DAG: @"??_8C@Test14@@7BB@1@@" =
256 // CHECK-DAG: @"??_8B@Test14@@7B@" =
257 }
258 
259 namespace Test15 {
260 struct A { int a; };
261 struct B : virtual A { int b; };
262 struct C : virtual A { int c; };
263 struct D : virtual B { int d; };
264 struct E : D, C, B { int e; };
265 E e;
266 
267 // CHECK-DAG: @"??_8E@Test15@@7BD@1@@" =
268 // CHECK-DAG: @"??_8E@Test15@@7BB@1@D@1@@" =
269 // CHECK-DAG: @"??_8E@Test15@@7BC@1@@" =
270 // CHECK-DAG: @"??_8E@Test15@@7BB@1@@" =
271 // CHECK-DAG: @"??_8C@Test15@@7B@" =
272 // CHECK-DAG: @"??_8D@Test15@@7B01@@" =
273 // CHECK-DAG: @"??_8D@Test15@@7BB@1@@" =
274 // CHECK-DAG: @"??_8B@Test15@@7B@" =
275 }
276 
277 namespace Test16 {
278 struct A { int a; };
279 struct B : virtual A { int b; };
280 struct C : virtual B { int c; }; // ambig
281 struct D : virtual C { int d; };
282 struct E : virtual D { int e; }; // ambig
283 struct F : E, D, C, B { int f; };  // ambig
284 F f;
285 
286 // CHECK-DAG: @"??_8F@Test16@@7BE@1@@" =
287 // CHECK-DAG: @"??_8F@Test16@@7BD@1@E@1@@" =
288 // CHECK-DAG: @"??_8F@Test16@@7BC@1@E@1@@" =
289 // CHECK-DAG: @"??_8F@Test16@@7BB@1@E@1@@" =
290 // CHECK-DAG: @"??_8F@Test16@@7BD@1@@" =
291 // CHECK-DAG: @"??_8F@Test16@@7BC@1@@" =
292 // CHECK-DAG: @"??_8F@Test16@@7BB@1@@" =
293 // CHECK-DAG: @"??_8E@Test16@@7B01@@" =
294 // CHECK-DAG: @"??_8E@Test16@@7BD@1@@" =
295 // CHECK-DAG: @"??_8E@Test16@@7BC@1@@" =
296 // CHECK-DAG: @"??_8E@Test16@@7BB@1@@" =
297 // CHECK-DAG: @"??_8D@Test16@@7B@" =
298 // CHECK-DAG: @"??_8D@Test16@@7BC@1@@" =
299 // CHECK-DAG: @"??_8D@Test16@@7BB@1@@" =
300 // CHECK-DAG: @"??_8C@Test16@@7B01@@" =
301 // CHECK-DAG: @"??_8C@Test16@@7BB@1@@" =
302 // CHECK-DAG: @"??_8B@Test16@@7B@" =
303 }
304 
305 namespace Test17 {
306 // This test case has an interesting alternating pattern of using "vbtable of B"
307 // and "vbtable of C for C".  This may be the key to the underlying algorithm.
308 struct A { int a; };
309 struct B : virtual A { int b; };
310 struct C : virtual B { int c; }; // ambig
311 struct D : virtual C { int d; };
312 struct E : virtual D { int e; }; // ambig
313 struct F : virtual E { int f; };
314 struct G : virtual F { int g; }; // ambig
315 struct H : virtual G { int h; };
316 struct I : virtual H { int i; }; // ambig
317 struct J : virtual I { int j; };
318 struct K : virtual J { int k; }; // ambig
319 K k;
320 
321 // CHECK-DAG: @"??_8K@Test17@@7B01@@" =
322 // CHECK-DAG: @"??_8J@Test17@@7B@" =
323 // CHECK-DAG: @"??_8I@Test17@@7B01@@" =
324 // CHECK-DAG: @"??_8H@Test17@@7B@" =
325 // CHECK-DAG: @"??_8G@Test17@@7B01@@" =
326 // CHECK-DAG: @"??_8F@Test17@@7B@" =
327 // CHECK-DAG: @"??_8E@Test17@@7B01@@" =
328 // CHECK-DAG: @"??_8D@Test17@@7B@" =
329 // CHECK-DAG: @"??_8C@Test17@@7B01@@" =
330 // CHECK-DAG: @"??_8B@Test17@@7B@" =
331 }
332 
333 namespace Test18 {
334 struct A { int a; };
335 struct B : virtual A { int b; };
336 struct C : B { int c; };
337 struct D : C, B { int d; };
338 struct E : D, C, B { int e; };
339 E e;
340 
341 // CHECK-DAG: @"??_8E@Test18@@7BC@1@D@1@@" =
342 // CHECK-DAG: @"??_8E@Test18@@7BB@1@D@1@@" =
343 // CHECK-DAG: @"??_8E@Test18@@7BC@1@@" =
344 // CHECK-DAG: @"??_8E@Test18@@7BB@1@@" =
345 // CHECK-DAG: @"??_8B@Test18@@7B@" =
346 // CHECK-DAG: @"??_8C@Test18@@7B@" =
347 // CHECK-DAG: @"??_8D@Test18@@7BC@1@@" =
348 // CHECK-DAG: @"??_8D@Test18@@7BB@1@@" =
349 }
350 
351 namespace Test19 {
352 struct A { int a; };
353 struct B : virtual A { int b; };
354 struct C : virtual B { int c; };
355 struct D : virtual C, virtual B { int d; };
356 struct E : virtual D, virtual C, virtual B { int e; };
357 E e;
358 
359 // CHECK-DAG: @"??_8E@Test19@@7B01@@" =
360 // CHECK-DAG: @"??_8E@Test19@@7BD@1@@" =
361 // CHECK-DAG: @"??_8E@Test19@@7BC@1@@" =
362 // CHECK-DAG: @"??_8E@Test19@@7BB@1@@" =
363 // CHECK-DAG: @"??_8D@Test19@@7B@" =
364 // CHECK-DAG: @"??_8D@Test19@@7BC@1@@" =
365 // CHECK-DAG: @"??_8D@Test19@@7BB@1@@" =
366 // CHECK-DAG: @"??_8C@Test19@@7B01@@" =
367 // CHECK-DAG: @"??_8C@Test19@@7BB@1@@" =
368 // CHECK-DAG: @"??_8B@Test19@@7B@" =
369 }
370 
371 namespace Test20 {
372 // E has no direct vbases, but it adds to C's vbtable anyway.
373 struct A { int a; };
374 struct B { int b; };
375 struct C : virtual A { int c; };
376 struct D : virtual B { int d; };
377 struct E : C, D { int e; };
378 E f;
379 
380 // CHECK-DAG: @"??_8E@Test20@@7BC@1@@" = linkonce_odr unnamed_addr constant [3 x i32] [i32 0, i32 20, i32 24]
381 // CHECK-DAG: @"??_8E@Test20@@7BD@1@@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 0, i32 16]
382 // CHECK-DAG: @"??_8D@Test20@@7B@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 0, i32 8]
383 // CHECK-DAG: @"??_8C@Test20@@7B@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 0, i32 8]
384 }
385 
386 namespace Test21 {
387 struct A { int a; };
388 struct B : virtual A { int b; };
389 struct C : B { int c; };
390 struct D : B { int d; };
391 struct E : C, D { int e; };
392 struct F : virtual E { int f; };
393 struct G : E { int g; };
394 struct H : F, G { int h; };
395 H h;
396 
397 // CHECK-DAG: @"??_8H@Test21@@7B@" =
398 // CHECK-DAG: @"??_8H@Test21@@7BC@1@F@1@@" =
399 // CHECK-DAG: @"??_8H@Test21@@7BD@1@F@1@@" =
400 // CHECK-DAG: @"??_8H@Test21@@7BC@1@G@1@@" =
401 // CHECK-DAG: @"??_8H@Test21@@7BD@1@G@1@@" =
402 // CHECK-DAG: @"??_8G@Test21@@7BC@1@@" =
403 // CHECK-DAG: @"??_8G@Test21@@7BD@1@@" =
404 // CHECK-DAG: @"??_8F@Test21@@7B@" =
405 // CHECK-DAG: @"??_8F@Test21@@7BC@1@@" =
406 // CHECK-DAG: @"??_8F@Test21@@7BD@1@@" =
407 // CHECK-DAG: @"??_8E@Test21@@7BC@1@@" =
408 // CHECK-DAG: @"??_8E@Test21@@7BD@1@@" =
409 // CHECK-DAG: @"??_8D@Test21@@7B@" =
410 // CHECK-DAG: @"??_8B@Test21@@7B@" =
411 // CHECK-DAG: @"??_8C@Test21@@7B@" =
412 }
413 
414 namespace Test22 {
415 struct A { int a; };
416 struct B : virtual A { int b; };
417 struct C { int c; };
418 struct D : B, virtual C { int d; };
419 D d;
420 
421 // CHECK-DAG: @"??_8D@Test22@@7B@" = linkonce_odr unnamed_addr constant [3 x i32] [i32 0, i32 12, i32 16]
422 // CHECK-DAG: @"??_8B@Test22@@7B@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 0, i32 8]
423 }
424 
425 namespace Test23 {
426 struct A { int a; };
427 struct B : virtual A { int b; };
428 struct C { int c; };
429 // Note the unusual order of bases. It forces C to be laid out before A.
430 struct D : virtual C, B { int d; };
431 D d;
432 
433 // CHECK-DAG: @"??_8D@Test23@@7B@" = linkonce_odr unnamed_addr constant [3 x i32] [i32 0, i32 16, i32 12]
434 // CHECK-DAG: @"??_8B@Test23@@7B@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 0, i32 8]
435 }
436 
437 namespace Test24 {
438 struct A { int a; };
439 struct B : virtual A { int b; };
440 struct C { int c; };
441 struct D : virtual C, B {
442   virtual void f();  // Issues a vfptr, but the vbptr is still shared with B.
443   int d;
444 };
445 D d;
446 
447 // CHECK-DAG: @"??_8D@Test24@@7B@" = linkonce_odr unnamed_addr constant [3 x i32] [i32 0, i32 16, i32 12]
448 // CHECK-DAG: @"??_8B@Test24@@7B@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 0, i32 8]
449 }
450 
451 namespace Test25 {
452 struct A { int a; };
453 struct B : virtual A {
454   virtual void f();  // Issues a vfptr.
455   int b;
456 };
457 struct C { int c; };
458 struct D : virtual C, B { int d; };
459 D d;
460 
461 // CHECK-DAG: @"??_8D@Test25@@7B@" = linkonce_odr unnamed_addr constant [3 x i32] [i32 -4, i32 16, i32 12]
462 // CHECK-DAG: @"??_8B@Test25@@7B@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 -4, i32 8]
463 }
464 
465 namespace Test26 {
466 struct A { int a; };
467 struct B { int b; };
468 struct C { int c; };
469 struct D : virtual A { int d; };
470 struct E : virtual B {
471   virtual void foo();  // Issues a vfptr.
472   int e;
473 };
474 struct F: virtual C, D, E { int f; };
475 F f;
476 // F reuses the D's vbptr, even though D is laid out after E.
477 // CHECK-DAG: @"??_8F@Test26@@7BD@1@@" = linkonce_odr unnamed_addr constant [4 x i32] [i32 0, i32 16, i32 12, i32 20]
478 // CHECK-DAG: @"??_8F@Test26@@7BE@1@@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 -4, i32 28]
479 }
480 
481 namespace Test27 {
482 // PR17748
483 struct A {};
484 struct B : virtual A {};
485 struct C : virtual B {};
486 struct D : C, B {};
487 struct E : D {};
488 struct F : C, E {};
489 struct G : F, D, C, B {};
490 G x;
491 
492 // CHECK-DAG: @"??_8G@Test27@@7BB@1@@" =
493 // CHECK-DAG: @"??_8G@Test27@@7BB@1@F@1@@" =
494 // CHECK-DAG: @"??_8G@Test27@@7BC@1@@" =
495 // CHECK-DAG: @"??_8G@Test27@@7BC@1@D@1@@" =
496 // CHECK-DAG: @"??_8G@Test27@@7BC@1@E@1@@" =
497 // CHECK-DAG: @"??_8G@Test27@@7BC@1@F@1@@" =
498 // CHECK-DAG: @"??_8G@Test27@@7BD@1@@" =
499 // CHECK-DAG: @"??_8G@Test27@@7BF@1@@" =
500 }
501 
502 namespace Test28 {
503 // PR17748
504 struct A {};
505 struct B : virtual A {};
506 struct C : virtual B {};
507 struct D : C, B {};
508 struct E : C, D {};
509 struct F : virtual E, virtual D, virtual C {};
510 F x;
511 
512 // CHECK-DAG: @"??_8F@Test28@@7B01@@" =
513 // CHECK-DAG: @"??_8F@Test28@@7BB@1@@" =
514 // CHECK-DAG: @"??_8F@Test28@@7BC@1@@" =
515 // CHECK-DAG: @"??_8F@Test28@@7BC@1@D@1@@" =
516 // CHECK-DAG: @"??_8F@Test28@@7BC@1@D@1@E@1@@" =
517 // CHECK-DAG: @"??_8F@Test28@@7BC@1@E@1@@" =
518 // CHECK-DAG: @"??_8F@Test28@@7BD@1@@" =
519 // CHECK-DAG: @"??_8F@Test28@@7BE@1@@" =
520 }
521 
522 namespace Test29 {
523 struct A {};
524 struct B : virtual A {};
525 struct C : virtual B {};
526 struct D : C {};
527 D d;
528 
529 // CHECK-DAG: @"??_8D@Test29@@7BB@1@@" = linkonce_odr unnamed_addr constant [2 x i32] zeroinitializer
530 }
531 
532 namespace Test30 {
533 struct A {};
534 template <class> struct B : virtual A {
BTest30::B535   B() {}
536 };
537 
538 extern template class B<int>;
539 template B<int>::B();
540 // CHECK-DAG: @"??_8?$B@H@Test30@@7B@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 0, i32 4], comdat
541 }
542