xref: /llvm-project/clang/test/Layout/ms-x86-vfvb-sharing.cpp (revision 7c1d9b15eee3a34678addab2bab66f3020ac0753)
1 // RUN: %clang_cc1 -fno-rtti -triple i686-pc-win32 -fms-extensions -fdump-record-layouts -fsyntax-only %s 2>&1 \
2 // RUN:            | FileCheck %s --strict-whitespace
3 // RUN: %clang_cc1 -fno-rtti -triple x86_64-pc-win32 -fms-extensions -fdump-record-layouts -fsyntax-only %s 2>/dev/null \
4 // RUN:            | FileCheck %s -check-prefix CHECK-X64 --strict-whitespace
5 
6 extern "C" int printf(const char *fmt, ...);
7 
B0B08 struct B0 { int a; B0() : a(0xf00000B0) { printf("B0 = %p\n", this); } };
B1B19 struct B1 { int a; B1() : a(0xf00000B1) { printf("B1 = %p\n", this); } };
B2B210 struct B2 { B2() { printf("B2 = %p\n", this); } virtual void g() { printf("B2"); } };
B3B311 struct B3 : virtual B1 { B3() { printf("B3 = %p\n", this); } };
B4B412 struct B4 : virtual B1 { B4() { printf("B4 = %p\n", this); } virtual void g() { printf("B4"); } };
13 
14 struct A : B0, virtual B1 {
15 	__declspec(align(16)) int a;
AA16 	A() : a(0xf000000A) { printf(" A = %p\n\n", this); }
fA17 	virtual void f() { printf("A"); }
18 };
19 
20 // CHECK-LABEL:   0 | struct A
21 // CHECK-NEXT:    0 |   (A vftable pointer)
22 // CHECK-NEXT:   16 |   struct B0 (base)
23 // CHECK-NEXT:   16 |     int a
24 // CHECK-NEXT:   20 |   (A vbtable pointer)
25 // CHECK-NEXT:   48 |   int a
26 // CHECK-NEXT:   64 |   struct B1 (virtual base)
27 // CHECK-NEXT:   64 |     int a
28 // CHECK-NEXT:      | [sizeof=80, align=16
29 // CHECK-NEXT:      |  nvsize=64, nvalign=16]
30 // CHECK-X64-LABEL:   0 | struct A
31 // CHECK-X64-NEXT:    0 |   (A vftable pointer)
32 // CHECK-X64-NEXT:   16 |   struct B0 (base)
33 // CHECK-X64-NEXT:   16 |     int a
34 // CHECK-X64-NEXT:   24 |   (A vbtable pointer)
35 // CHECK-X64-NEXT:   48 |   int a
36 // CHECK-X64-NEXT:   64 |   struct B1 (virtual base)
37 // CHECK-X64-NEXT:   64 |     int a
38 // CHECK-X64-NEXT:      | [sizeof=80, align=16
39 // CHECK-X64-NEXT:      |  nvsize=64, nvalign=16]
40 
41 struct B : B2, B0, virtual B1 {
42 	__declspec(align(16)) int a;
BB43 	B() : a(0xf000000B) { printf(" B = %p\n\n", this); }
fB44 	virtual void f() { printf("B"); }
45 };
46 
47 // CHECK-LABEL:   0 | struct B{{$}}
48 // CHECK-NEXT:    0 |   struct B2 (primary base)
49 // CHECK-NEXT:    0 |     (B2 vftable pointer)
50 // CHECK-NEXT:    4 |   struct B0 (base)
51 // CHECK-NEXT:    4 |     int a
52 // CHECK-NEXT:    8 |   (B vbtable pointer)
53 // CHECK-NEXT:   32 |   int a
54 // CHECK-NEXT:   48 |   struct B1 (virtual base)
55 // CHECK-NEXT:   48 |     int a
56 // CHECK-NEXT:      | [sizeof=64, align=16
57 // CHECK-NEXT:      |  nvsize=48, nvalign=16]
58 // CHECK-X64-LABEL:   0 | struct B{{$}}
59 // CHECK-X64-NEXT:    0 |   struct B2 (primary base)
60 // CHECK-X64-NEXT:    0 |     (B2 vftable pointer)
61 // CHECK-X64-NEXT:    8 |   struct B0 (base)
62 // CHECK-X64-NEXT:    8 |     int a
63 // CHECK-X64-NEXT:   16 |   (B vbtable pointer)
64 // CHECK-X64-NEXT:   32 |   int a
65 // CHECK-X64-NEXT:   48 |   struct B1 (virtual base)
66 // CHECK-X64-NEXT:   48 |     int a
67 // CHECK-X64-NEXT:      | [sizeof=64, align=16
68 // CHECK-X64-NEXT:      |  nvsize=48, nvalign=16]
69 
70 struct C : B3, B0, virtual B1 {
71 	__declspec(align(16)) int a;
CC72 	C() : a(0xf000000C) { printf(" C = %p\n\n", this); }
fC73 	virtual void f() { printf("C"); }
74 };
75 
76 // CHECK-LABEL:   0 | struct C
77 // CHECK-NEXT:    0 |   (C vftable pointer)
78 // CHECK-NEXT:   16 |   struct B3 (base)
79 // CHECK-NEXT:   16 |     (B3 vbtable pointer)
80 // CHECK-NEXT:   20 |   struct B0 (base)
81 // CHECK-NEXT:   20 |     int a
82 // CHECK-NEXT:   32 |   int a
83 // CHECK-NEXT:   48 |   struct B1 (virtual base)
84 // CHECK-NEXT:   48 |     int a
85 // CHECK-NEXT:      | [sizeof=64, align=16
86 // CHECK-NEXT:      |  nvsize=48, nvalign=16]
87 // CHECK-X64-LABEL:   0 | struct C
88 // CHECK-X64-NEXT:    0 |   (C vftable pointer)
89 // CHECK-X64-NEXT:   16 |   struct B3 (base)
90 // CHECK-X64-NEXT:   16 |     (B3 vbtable pointer)
91 // CHECK-X64-NEXT:   24 |   struct B0 (base)
92 // CHECK-X64-NEXT:   24 |     int a
93 // CHECK-X64-NEXT:   32 |   int a
94 // CHECK-X64-NEXT:   48 |   struct B1 (virtual base)
95 // CHECK-X64-NEXT:   48 |     int a
96 // CHECK-X64-NEXT:      | [sizeof=64, align=16
97 // CHECK-X64-NEXT:      |  nvsize=48, nvalign=16]
98 
99 struct D : B4, B0, virtual B1 {
100 	__declspec(align(16)) int a;
DD101 	D() : a(0xf000000D) { printf(" D = %p\n\n", this); }
fD102 	virtual void f() { printf("D"); }
103 };
104 
105 // CHECK-LABEL:   0 | struct D
106 // CHECK-NEXT:    0 |   struct B4 (primary base)
107 // CHECK-NEXT:    0 |     (B4 vftable pointer)
108 // CHECK-NEXT:    4 |     (B4 vbtable pointer)
109 // CHECK-NEXT:    8 |   struct B0 (base)
110 // CHECK-NEXT:    8 |     int a
111 // CHECK-NEXT:   16 |   int a
112 // CHECK-NEXT:   32 |   struct B1 (virtual base)
113 // CHECK-NEXT:   32 |     int a
114 // CHECK-NEXT:      | [sizeof=48, align=16
115 // CHECK-NEXT:      |  nvsize=32, nvalign=16]
116 // CHECK-X64-LABEL:   0 | struct D
117 // CHECK-X64-NEXT:    0 |   struct B4 (primary base)
118 // CHECK-X64-NEXT:    0 |     (B4 vftable pointer)
119 // CHECK-X64-NEXT:    8 |     (B4 vbtable pointer)
120 // CHECK-X64-NEXT:   16 |   struct B0 (base)
121 // CHECK-X64-NEXT:   16 |     int a
122 // CHECK-X64-NEXT:   32 |   int a
123 // CHECK-X64-NEXT:   48 |   struct B1 (virtual base)
124 // CHECK-X64-NEXT:   48 |     int a
125 // CHECK-X64-NEXT:      | [sizeof=64, align=16
126 // CHECK-X64-NEXT:      |  nvsize=48, nvalign=16]
127 
128 int a[
129 sizeof(A)+
130 sizeof(B)+
131 sizeof(C)+
132 sizeof(D)];
133