Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / bd1b0c6916698f7d37c878681993fe02b33ea3a9 / . / clang / test / Layout / ms-x86-empty-virtual-base.cpp
blob: d417167779ab7918675d6a8e1014b23e31cd7485 [file] [log] [blame]
Warren Huntbd1b0c62013-10-14 19:08:58 +0000[diff] [blame^]1// RUN: %clang_cc1 -fno-rtti -emit-llvm-only -triple i686-pc-win32 -fdump-record-layouts -fsyntax-only -cxx-abi microsoft %s 2>&1 \
2// RUN: | FileCheck %s
3
4extern "C" int printf(const char *fmt, ...);
5
6struct __declspec(align(8)) B0 { B0() {printf("B0 : %3d\n", ((int)this)&0xfff);} };
7struct __declspec(align(8)) B1 { B1() {printf("B1 : %3d\n", ((int)this)&0xfff);} };
8struct __declspec(align(8)) B2 { B2() {printf("B2 : %3d\n", ((int)this)&0xfff);} };
9struct __declspec(align(8)) B3 { B3() {printf("B3 : %3d\n", ((int)this)&0xfff);} };
10struct __declspec(align(8)) B4 { B4() {printf("B4 : %3d\n", ((int)this)&0xfff);} };
11
12struct C0 { int a; C0() : a(0xf00000C0) {printf("C0 : %3d\n", ((int)this)&0xfff);} };
13struct C1 { int a; C1() : a(0xf00000C1) {printf("C1 : %3d\n", ((int)this)&0xfff);} };
14struct C2 { int a; C2() : a(0xf00000C2) {printf("C2 : %3d\n", ((int)this)&0xfff);} };
15struct C3 { int a; C3() : a(0xf00000C3) {printf("C3 : %3d\n", ((int)this)&0xfff);} };
16struct C4 { int a; C4() : a(0xf00000C4) {printf("C4 : %3d\n", ((int)this)&0xfff);} };
17
18struct __declspec(align(16)) D0 { D0() {printf("D0 : %3d\n", ((int)this)&0xfff);} virtual void f() {} };
19struct D1 { D1() {printf("D1 : %3d\n", ((int)this)&0xfff);} };
20struct D2 { int a[8]; D2() {printf("D2 : %3d\n", ((int)this)&0xfff);} };
21
22struct A : virtual B0 {
23 int a;
24 A() : a(0xf000000A) {printf("X : %3d\n", ((int)this)&0xfff);}
25};
26
27// CHECK: *** Dumping AST Record Layout
28// CHECK: 0 | struct A
29// CHECK: 0 | (A vbtable pointer)
30// CHECK: 4 | int a
31// CHECK: 8 | struct B0 (virtual base) (empty)
32// CHECK: | [sizeof=8, align=8
33// CHECK: | nvsize=8, nvalign=4]
34
35struct B : virtual B0 {
36 B0 b0;
37 int a;
38 B() : a(0xf000000B) {printf("X : %3d\n", ((int)this)&0xfff);}
39};
40
41// CHECK: *** Dumping AST Record Layout
42// CHECK: 0 | struct B
43// CHECK: 0 | (B vbtable pointer)
44// CHECK: 8 | struct B0 b0 (empty)
45// CHECK: | [sizeof=8, align=8
46// CHECK: | nvsize=0, nvalign=1]
47// CHECK: 16 | int a
48// CHECK: 24 | struct B0 (virtual base) (empty)
49// CHECK: | [sizeof=24, align=8
50// CHECK: | nvsize=24, nvalign=8]
51
52struct C : virtual B0, virtual B1, virtual B2, virtual B3, virtual B4 {
53 int a;
54 C() : a(0xf000000C) {printf("X : %3d\n", ((int)this)&0xfff);}
55};
56
57// CHECK: *** Dumping AST Record Layout
58// CHECK: 0 | struct C
59// CHECK: 0 | (C vbtable pointer)
60// CHECK: 4 | int a
61// CHECK: 8 | struct B0 (virtual base) (empty)
62// CHECK: 16 | struct B1 (virtual base) (empty)
63// CHECK: 24 | struct B2 (virtual base) (empty)
64// CHECK: 32 | struct B3 (virtual base) (empty)
65// CHECK: 40 | struct B4 (virtual base) (empty)
66// CHECK: | [sizeof=40, align=8
67// CHECK: | nvsize=8, nvalign=4]
68
69struct D {
70 B0 b0;
71 C0 c0;
72 C1 c1;
73 C2 c2;
74 B1 b1;
75 int a;
76 D() : a(0xf000000D) {printf("X : %3d\n", ((int)this)&0xfff);}
77};
78
79// CHECK: *** Dumping AST Record Layout
80// CHECK: 0 | struct D
81// CHECK: 0 | struct B0 b0 (empty)
82// CHECK: | [sizeof=8, align=8
83// CHECK: | nvsize=0, nvalign=1]
84// CHECK: 8 | struct C0 c0
85// CHECK: 8 | int a
86// CHECK: | [sizeof=4, align=4
87// CHECK: | nvsize=4, nvalign=4]
88// CHECK: 12 | struct C1 c1
89// CHECK: 12 | int a
90// CHECK: | [sizeof=4, align=4
91// CHECK: | nvsize=4, nvalign=4]
92// CHECK: 16 | struct C2 c2
93// CHECK: 16 | int a
94// CHECK: | [sizeof=4, align=4
95// CHECK: | nvsize=4, nvalign=4]
96// CHECK: 24 | struct B1 b1 (empty)
97// CHECK: | [sizeof=8, align=8
98// CHECK: | nvsize=0, nvalign=1]
99// CHECK: 32 | int a
100// CHECK: | [sizeof=40, align=8
101// CHECK: | nvsize=40, nvalign=8]
102
103struct E : virtual B0, virtual C0, virtual C1, virtual C2, virtual B1 {
104 int a;
105 E() : a(0xf000000E) {printf("X : %3d\n", ((int)this)&0xfff);}
106};
107
108// CHECK: *** Dumping AST Record Layout
109// CHECK: 0 | struct E
110// CHECK: 0 | (E vbtable pointer)
111// CHECK: 4 | int a
112// CHECK: 8 | struct B0 (virtual base) (empty)
113// CHECK: 8 | struct C0 (virtual base)
114// CHECK: 8 | int a
115// CHECK: 12 | struct C1 (virtual base)
116// CHECK: 12 | int a
117// CHECK: 16 | struct C2 (virtual base)
118// CHECK: 16 | int a
119// CHECK: 24 | struct B1 (virtual base) (empty)
120// CHECK: | [sizeof=24, align=8
121// CHECK: | nvsize=8, nvalign=4]
122
123struct F : virtual C0, virtual B0, virtual B1, virtual C1 {
124 int a;
125 F() : a(0xf000000F) {printf("X : %3d\n", ((int)this)&0xfff);}
126};
127
128// CHECK: *** Dumping AST Record Layout
129// CHECK: 0 | struct F
130// CHECK: 0 | (F vbtable pointer)
131// CHECK: 4 | int a
132// CHECK: 8 | struct C0 (virtual base)
133// CHECK: 8 | int a
134// CHECK: 16 | struct B0 (virtual base) (empty)
135// CHECK: 24 | struct B1 (virtual base) (empty)
136// CHECK: 24 | struct C1 (virtual base)
137// CHECK: 24 | int a
138// CHECK: | [sizeof=32, align=8
139// CHECK: | nvsize=8, nvalign=4]
140
141struct G : virtual C0, virtual B0, virtual B1, D0, virtual C1 {
142 int a;
143 G() : a(0xf0000010) {printf("X : %3d\n", ((int)this)&0xfff);}
144 virtual void f() {}
145};
146
147// CHECK: *** Dumping AST Record Layout
148// CHECK: 0 | struct G
149// CHECK: 0 | struct D0 (primary base)
150// CHECK: 0 | (D0 vftable pointer)
151// CHECK: 4 | (G vbtable pointer)
152// CHECK: 20 | int a
153// CHECK: 32 | struct C0 (virtual base)
154// CHECK: 32 | int a
155// CHECK: 40 | struct B0 (virtual base) (empty)
156// CHECK: 56 | struct B1 (virtual base) (empty)
157// CHECK: 56 | struct C1 (virtual base)
158// CHECK: 56 | int a
159// CHECK: | [sizeof=64, align=16
160// CHECK: | nvsize=32, nvalign=16]
161
162struct H : virtual C0, virtual B0, virtual B1, virtual D0, virtual C1 {
163 int a;
164 H() : a(0xf0000011) {printf("X : %3d\n", ((int)this)&0xfff);}
165 virtual void f() {}
166};
167
168// CHECK: *** Dumping AST Record Layout
169// CHECK: 0 | struct H
170// CHECK: 0 | (H vbtable pointer)
171// CHECK: 4 | int a
172// CHECK: 8 | struct C0 (virtual base)
173// CHECK: 8 | int a
174// CHECK: 16 | struct B0 (virtual base) (empty)
175// CHECK: 24 | struct B1 (virtual base) (empty)
176// CHECK: 44 | (vtordisp for vbase D0)
177// CHECK: 48 | struct D0 (virtual base)
178// CHECK: 48 | (D0 vftable pointer)
179// CHECK: 52 | struct C1 (virtual base)
180// CHECK: 52 | int a
181// CHECK: | [sizeof=64, align=16
182// CHECK: | nvsize=8, nvalign=4]
183
184struct I : virtual B0, virtual B1, virtual B2, virtual B3, virtual B4 {
185 __declspec(align(32)) int a;
186 I() : a(0xf0000012) {printf("X : %3d\n", ((int)this)&0xfff);}
187};
188
189// CHECK: *** Dumping AST Record Layout
190// CHECK: 0 | struct I
191// CHECK: 0 | (I vbtable pointer)
192// CHECK: 32 | int a
193// CHECK: 64 | struct B0 (virtual base) (empty)
194// CHECK: 72 | struct B1 (virtual base) (empty)
195// CHECK: 104 | struct B2 (virtual base) (empty)
196// CHECK: 136 | struct B3 (virtual base) (empty)
197// CHECK: 168 | struct B4 (virtual base) (empty)
198// CHECK: | [sizeof=192, align=32
199// CHECK: | nvsize=64, nvalign=32]
200
201struct __declspec(align(32)) J : virtual B0, virtual B1, virtual B2, virtual B3, virtual B4 {
202 int a;
203 J() : a(0xf0000012) {printf("X : %3d\n", ((int)this)&0xfff);}
204};
205
206// CHECK: *** Dumping AST Record Layout
207// CHECK: 0 | struct J
208// CHECK: 0 | (J vbtable pointer)
209// CHECK: 4 | int a
210// CHECK: 8 | struct B0 (virtual base) (empty)
211// CHECK: 40 | struct B1 (virtual base) (empty)
212// CHECK: 72 | struct B2 (virtual base) (empty)
213// CHECK: 104 | struct B3 (virtual base) (empty)
214// CHECK: 136 | struct B4 (virtual base) (empty)
215// CHECK: | [sizeof=160, align=32
216// CHECK: | nvsize=8, nvalign=4]
217
218struct K : virtual D1, virtual B1, virtual B2, virtual B3, virtual B4 {
219 __declspec(align(32)) int a;
220 K() : a(0xf0000013) {printf("X : %3d\n", ((int)this)&0xfff);}
221};
222
223// CHECK: *** Dumping AST Record Layout
224// CHECK: 0 | struct K
225// CHECK: 0 | (K vbtable pointer)
226// CHECK: 32 | int a
227// CHECK: 64 | struct D1 (virtual base) (empty)
228// CHECK: 72 | struct B1 (virtual base) (empty)
229// CHECK: 104 | struct B2 (virtual base) (empty)
230// CHECK: 136 | struct B3 (virtual base) (empty)
231// CHECK: 168 | struct B4 (virtual base) (empty)
232// CHECK: | [sizeof=192, align=32
233// CHECK: | nvsize=64, nvalign=32]
234
235struct L : virtual B1, virtual D1, virtual B2, virtual B3, virtual B4 {
236 __declspec(align(32)) int a;
237 L() : a(0xf0000014) {printf("X : %3d\n", ((int)this)&0xfff);}
238};
239
240// CHECK: *** Dumping AST Record Layout
241// CHECK: 0 | struct L
242// CHECK: 0 | (L vbtable pointer)
243// CHECK: 32 | int a
244// CHECK: 64 | struct B1 (virtual base) (empty)
245// CHECK: 68 | struct D1 (virtual base) (empty)
246// CHECK: 104 | struct B2 (virtual base) (empty)
247// CHECK: 136 | struct B3 (virtual base) (empty)
248// CHECK: 168 | struct B4 (virtual base) (empty)
249// CHECK: | [sizeof=192, align=32
250// CHECK: | nvsize=64, nvalign=32]
251
252struct M : virtual B1, virtual B2, virtual D1, virtual B3, virtual B4 {
253 __declspec(align(32)) int a;
254 M() : a(0xf0000015) {printf("X : %3d\n", ((int)this)&0xfff);}
255};
256
257// CHECK: *** Dumping AST Record Layout
258// CHECK: 0 | struct M
259// CHECK: 0 | (M vbtable pointer)
260// CHECK: 32 | int a
261// CHECK: 64 | struct B1 (virtual base) (empty)
262// CHECK: 72 | struct B2 (virtual base) (empty)
263// CHECK: 100 | struct D1 (virtual base) (empty)
264// CHECK: 136 | struct B3 (virtual base) (empty)
265// CHECK: 168 | struct B4 (virtual base) (empty)
266// CHECK: | [sizeof=192, align=32
267// CHECK: | nvsize=64, nvalign=32]
268
269struct N : virtual C0, virtual B1, virtual D1, virtual B2, virtual B3, virtual B4 {
270 __declspec(align(32)) int a;
271 N() : a(0xf0000016) {printf("X : %3d\n", ((int)this)&0xfff);}
272};
273
274// CHECK: *** Dumping AST Record Layout
275// CHECK: 0 | struct N
276// CHECK: 0 | (N vbtable pointer)
277// CHECK: 32 | int a
278// CHECK: 64 | struct C0 (virtual base)
279// CHECK: 64 | int a
280// CHECK: 72 | struct B1 (virtual base) (empty)
281// CHECK: 100 | struct D1 (virtual base) (empty)
282// CHECK: 136 | struct B2 (virtual base) (empty)
283// CHECK: 168 | struct B3 (virtual base) (empty)
284// CHECK: 200 | struct B4 (virtual base) (empty)
285// CHECK: | [sizeof=224, align=32
286// CHECK: | nvsize=64, nvalign=32]
287
288struct O : virtual C0, virtual B1, virtual B2, virtual D1, virtual B3, virtual B4 {
289 __declspec(align(32)) int a;
290 O() : a(0xf0000017) {printf("X : %3d\n", ((int)this)&0xfff);}
291};
292
293// CHECK: *** Dumping AST Record Layout
294// CHECK: 0 | struct O
295// CHECK: 0 | (O vbtable pointer)
296// CHECK: 32 | int a
297// CHECK: 64 | struct C0 (virtual base)
298// CHECK: 64 | int a
299// CHECK: 72 | struct B1 (virtual base) (empty)
300// CHECK: 104 | struct B2 (virtual base) (empty)
301// CHECK: 132 | struct D1 (virtual base) (empty)
302// CHECK: 168 | struct B3 (virtual base) (empty)
303// CHECK: 200 | struct B4 (virtual base) (empty)
304// CHECK: | [sizeof=224, align=32
305// CHECK: | nvsize=64, nvalign=32]
306
307struct P : virtual B1, virtual C0, virtual D1, virtual B2, virtual B3, virtual B4 {
308 __declspec(align(32)) int a;
309 P() : a(0xf0000018) {printf("X : %3d\n", ((int)this)&0xfff);}
310};
311
312// CHECK: *** Dumping AST Record Layout
313// CHECK: 0 | struct P
314// CHECK: 0 | (P vbtable pointer)
315// CHECK: 32 | int a
316// CHECK: 64 | struct B1 (virtual base) (empty)
317// CHECK: 64 | struct C0 (virtual base)
318// CHECK: 64 | int a
319// CHECK: 68 | struct D1 (virtual base) (empty)
320// CHECK: 104 | struct B2 (virtual base) (empty)
321// CHECK: 136 | struct B3 (virtual base) (empty)
322// CHECK: 168 | struct B4 (virtual base) (empty)
323// CHECK: | [sizeof=192, align=32
324// CHECK: | nvsize=64, nvalign=32]
325
326struct Q : virtual B1, virtual C0, virtual B2, virtual D1, virtual B3, virtual B4 {
327 __declspec(align(32)) int a;
328 Q() : a(0xf0000019) {printf("X : %3d\n", ((int)this)&0xfff);}
329};
330
331// CHECK: *** Dumping AST Record Layout
332// CHECK: 0 | struct Q
333// CHECK: 0 | (Q vbtable pointer)
334// CHECK: 32 | int a
335// CHECK: 64 | struct B1 (virtual base) (empty)
336// CHECK: 64 | struct C0 (virtual base)
337// CHECK: 64 | int a
338// CHECK: 72 | struct B2 (virtual base) (empty)
339// CHECK: 100 | struct D1 (virtual base) (empty)
340// CHECK: 136 | struct B3 (virtual base) (empty)
341// CHECK: 168 | struct B4 (virtual base) (empty)
342// CHECK: | [sizeof=192, align=32
343// CHECK: | nvsize=64, nvalign=32]
344
345struct R : virtual B0, virtual B1, virtual B2, virtual C0, virtual B3, virtual B4 {
346 __declspec(align(32)) int a;
347 R() : a(0xf0000020) {printf("X : %3d\n", ((int)this)&0xfff);}
348};
349
350// CHECK: *** Dumping AST Record Layout
351// CHECK: 0 | struct R
352// CHECK: 0 | (R vbtable pointer)
353// CHECK: 32 | int a
354// CHECK: 64 | struct B0 (virtual base) (empty)
355// CHECK: 72 | struct B1 (virtual base) (empty)
356// CHECK: 104 | struct B2 (virtual base) (empty)
357// CHECK: 104 | struct C0 (virtual base)
358// CHECK: 104 | int a
359// CHECK: 112 | struct B3 (virtual base) (empty)
360// CHECK: 136 | struct B4 (virtual base) (empty)
361// CHECK: | [sizeof=160, align=32
362// CHECK: | nvsize=64, nvalign=32]
363
364struct S : virtual B0, virtual B1, virtual C0, virtual B2, virtual B3, virtual B4 {
365 __declspec(align(32)) int a;
366 S() : a(0xf0000021) {printf("X : %3d\n", ((int)this)&0xfff);}
367};
368
369// CHECK: *** Dumping AST Record Layout
370// CHECK: 0 | struct S
371// CHECK: 0 | (S vbtable pointer)
372// CHECK: 32 | int a
373// CHECK: 64 | struct B0 (virtual base) (empty)
374// CHECK: 72 | struct B1 (virtual base) (empty)
375// CHECK: 72 | struct C0 (virtual base)
376// CHECK: 72 | int a
377// CHECK: 80 | struct B2 (virtual base) (empty)
378// CHECK: 104 | struct B3 (virtual base) (empty)
379// CHECK: 136 | struct B4 (virtual base) (empty)
380// CHECK: | [sizeof=160, align=32
381// CHECK: | nvsize=64, nvalign=32]
382
383struct T : virtual B0, virtual B1, virtual C0, virtual D2, virtual B2, virtual B3, virtual B4 {
384 __declspec(align(16)) int a;
385 T() : a(0xf0000022) {printf("X : %3d\n", ((int)this)&0xfff);}
386};
387
388// CHECK: *** Dumping AST Record Layout
389// CHECK: 0 | struct T
390// CHECK: 0 | (T vbtable pointer)
391// CHECK: 16 | int a
392// CHECK: 32 | struct B0 (virtual base) (empty)
393// CHECK: 40 | struct B1 (virtual base) (empty)
394// CHECK: 40 | struct C0 (virtual base)
395// CHECK: 40 | int a
396// CHECK: 44 | struct D2 (virtual base)
397// CHECK: 44 | int [8] a
398// CHECK: 80 | struct B2 (virtual base) (empty)
399// CHECK: 88 | struct B3 (virtual base) (empty)
400// CHECK: 104 | struct B4 (virtual base) (empty)
401// CHECK: | [sizeof=112, align=16
402// CHECK: | nvsize=32, nvalign=16]
403
404struct __declspec(align(32)) U : virtual B0, virtual B1 {
405 int a;
406 U() : a(0xf0000023) {printf("X : %3d\n", ((int)this)&0xfff);}
407};
408
409// CHECK: *** Dumping AST Record Layout
410// CHECK: 0 | struct U
411// CHECK: 0 | (U vbtable pointer)
412// CHECK: 4 | int a
413// CHECK: 8 | struct B0 (virtual base) (empty)
414// CHECK: 40 | struct B1 (virtual base) (empty)
415// CHECK: | [sizeof=64, align=32
416// CHECK: | nvsize=8, nvalign=4]
417
418struct __declspec(align(32)) V : virtual D1 {
419 int a;
420 V() : a(0xf0000024) {printf("X : %3d\n", ((int)this)&0xfff);}
421};
422
423// CHECK: *** Dumping AST Record Layout
424// CHECK: 0 | struct V
425// CHECK: 0 | (V vbtable pointer)
426// CHECK: 4 | int a
427// CHECK: 8 | struct D1 (virtual base) (empty)
428// CHECK: | [sizeof=32, align=32
429// CHECK: | nvsize=8, nvalign=4]
430
431int a[
432sizeof(A)+
433sizeof(B)+
434sizeof(C)+
435sizeof(D)+
436sizeof(E)+
437sizeof(F)+
438sizeof(G)+
439sizeof(H)+
440sizeof(I)+
441sizeof(J)+
442sizeof(K)+
443sizeof(L)+
444sizeof(M)+
445sizeof(N)+
446sizeof(O)+
447sizeof(P)+
448sizeof(Q)+
449sizeof(R)+
450sizeof(S)+
451sizeof(T)+
452sizeof(U)+
453sizeof(V)];