359 lines · cpp
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-whitespace3// 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-whitespace5 6extern "C" int printf(const char *fmt, ...);7 8struct B0 { int a; B0() : a(0xf00000B0) {} };9struct B1 { char a; B1() : a(0xB1) {} };10struct B2 : virtual B1 { int a; B2() : a(0xf00000B2) {} };11struct B3 { __declspec(align(16)) int a; B3() : a(0xf00000B3) {} };12struct B4 : virtual B3 { int a; B4() : a(0xf00000B4) {} };13struct B5 { __declspec(align(32)) int a; B5() : a(0xf00000B5) {} };14struct B6 { int a; B6() : a(0xf00000B6) {} virtual void f() { printf("B6"); } };15 16struct A : B0, virtual B1 { __declspec(align(16)) int a; A() : a(0xf000000A) {} virtual void f() { printf("A"); } };17 18// CHECK-LABEL: 0 | struct A19// CHECK-NEXT: 0 | (A vftable pointer)20// CHECK-NEXT: 16 | struct B0 (base)21// CHECK-NEXT: 16 | int a22// CHECK-NEXT: 20 | (A vbtable pointer)23// CHECK-NEXT: 48 | int a24// CHECK-NEXT: 64 | struct B1 (virtual base)25// CHECK-NEXT: 64 | char a26// CHECK-NEXT: | [sizeof=80, align=1627// CHECK-NEXT: | nvsize=64, nvalign=16]28// CHECK-X64-LABEL: 0 | struct A29// CHECK-X64-NEXT: 0 | (A vftable pointer)30// CHECK-X64-NEXT: 16 | struct B0 (base)31// CHECK-X64-NEXT: 16 | int a32// CHECK-X64-NEXT: 24 | (A vbtable pointer)33// CHECK-X64-NEXT: 48 | int a34// CHECK-X64-NEXT: 64 | struct B1 (virtual base)35// CHECK-X64-NEXT: 64 | char a36// CHECK-X64-NEXT: | [sizeof=80, align=1637// CHECK-X64-NEXT: | nvsize=64, nvalign=16]38 39struct C : B4 {40 int a;41 C() : a(0xf000000C) {}42 virtual void f() { printf("C"); }43};44 45// CHECK-LABEL: 0 | struct C46// CHECK-NEXT: 0 | (C vftable pointer)47// CHECK-NEXT: 16 | struct B4 (base)48// CHECK-NEXT: 16 | (B4 vbtable pointer)49// CHECK-NEXT: 20 | int a50// CHECK-NEXT: 24 | int a51// CHECK-NEXT: 32 | struct B3 (virtual base)52// CHECK-NEXT: 32 | int a53// CHECK-NEXT: | [sizeof=48, align=1654// CHECK-NEXT: | nvsize=32, nvalign=16]55// CHECK-X64-LABEL: 0 | struct C56// CHECK-X64-NEXT: 0 | (C vftable pointer)57// CHECK-X64-NEXT: 16 | struct B4 (base)58// CHECK-X64-NEXT: 16 | (B4 vbtable pointer)59// CHECK-X64-NEXT: 24 | int a60// CHECK-X64-NEXT: 32 | int a61// CHECK-X64-NEXT: 48 | struct B3 (virtual base)62// CHECK-X64-NEXT: 48 | int a63// CHECK-X64-NEXT: | [sizeof=64, align=1664// CHECK-X64-NEXT: | nvsize=48, nvalign=16]65 66struct K {67 int a;68 K() : a(0xf0000013) {}69 virtual void f() { printf("K"); }70};71 72// CHECK-LABEL: 0 | struct K73// CHECK-NEXT: 0 | (K vftable pointer)74// CHECK-NEXT: 4 | int a75// CHECK-NEXT: | [sizeof=8, align=476// CHECK-NEXT: | nvsize=8, nvalign=4]77// CHECK-X64-LABEL: 0 | struct K78// CHECK-X64-NEXT: 0 | (K vftable pointer)79// CHECK-X64-NEXT: 8 | int a80// CHECK-X64-NEXT: | [sizeof=16, align=881// CHECK-X64-NEXT: | nvsize=16, nvalign=8]82 83struct B : A, B2 { int a; B() : a(0xf000000B) {} virtual void f() { printf("B"); } };84 85// CHECK-LABEL: 0 | struct B{{$}}86// CHECK-NEXT: 0 | struct A (primary base)87// CHECK-NEXT: 0 | (A vftable pointer)88// CHECK-NEXT: 16 | struct B0 (base)89// CHECK-NEXT: 16 | int a90// CHECK-NEXT: 20 | (A vbtable pointer)91// CHECK-NEXT: 48 | int a92// CHECK-NEXT: 64 | struct B2 (base)93// CHECK-NEXT: 64 | (B2 vbtable pointer)94// CHECK-NEXT: 68 | int a95// CHECK-NEXT: 72 | int a96// CHECK-NEXT: 80 | struct B1 (virtual base)97// CHECK-NEXT: 80 | char a98// CHECK-NEXT: | [sizeof=96, align=1699// CHECK-NEXT: | nvsize=80, nvalign=16]100// CHECK-X64-LABEL: 0 | struct B{{$}}101// CHECK-X64-NEXT: 0 | struct A (primary base)102// CHECK-X64-NEXT: 0 | (A vftable pointer)103// CHECK-X64-NEXT: 16 | struct B0 (base)104// CHECK-X64-NEXT: 16 | int a105// CHECK-X64-NEXT: 24 | (A vbtable pointer)106// CHECK-X64-NEXT: 48 | int a107// CHECK-X64-NEXT: 64 | struct B2 (base)108// CHECK-X64-NEXT: 64 | (B2 vbtable pointer)109// CHECK-X64-NEXT: 72 | int a110// CHECK-X64-NEXT: 80 | int a111// CHECK-X64-NEXT: 96 | struct B1 (virtual base)112// CHECK-X64-NEXT: 96 | char a113// CHECK-X64-NEXT: | [sizeof=112, align=16114// CHECK-X64-NEXT: | nvsize=96, nvalign=16]115 116struct D : C { int a; D() : a(0xf000000D) {} virtual void f() { printf("D"); } };117 118// CHECK-LABEL: 0 | struct D119// CHECK-NEXT: 0 | struct C (primary base)120// CHECK-NEXT: 0 | (C vftable pointer)121// CHECK-NEXT: 16 | struct B4 (base)122// CHECK-NEXT: 16 | (B4 vbtable pointer)123// CHECK-NEXT: 20 | int a124// CHECK-NEXT: 24 | int a125// CHECK-NEXT: 32 | int a126// CHECK-NEXT: 48 | struct B3 (virtual base)127// CHECK-NEXT: 48 | int a128// CHECK-NEXT: | [sizeof=64, align=16129// CHECK-NEXT: | nvsize=48, nvalign=16]130// CHECK-X64-LABEL: 0 | struct D131// CHECK-X64-NEXT: 0 | struct C (primary base)132// CHECK-X64-NEXT: 0 | (C vftable pointer)133// CHECK-X64-NEXT: 16 | struct B4 (base)134// CHECK-X64-NEXT: 16 | (B4 vbtable pointer)135// CHECK-X64-NEXT: 24 | int a136// CHECK-X64-NEXT: 32 | int a137// CHECK-X64-NEXT: 48 | int a138// CHECK-X64-NEXT: 64 | struct B3 (virtual base)139// CHECK-X64-NEXT: 64 | int a140// CHECK-X64-NEXT: | [sizeof=80, align=16141// CHECK-X64-NEXT: | nvsize=64, nvalign=16]142 143struct E : virtual C { int a; E() : a(0xf000000E) {} virtual void f() { printf("E"); } };144 145// CHECK-LABEL: 0 | struct E146// CHECK-NEXT: 0 | (E vbtable pointer)147// CHECK-NEXT: 4 | int a148// CHECK-NEXT: 16 | struct B3 (virtual base)149// CHECK-NEXT: 16 | int a150// CHECK-NEXT: 44 | (vtordisp for vbase C)151// CHECK-NEXT: 48 | struct C (virtual base)152// CHECK-NEXT: 48 | (C vftable pointer)153// CHECK-NEXT: 64 | struct B4 (base)154// CHECK-NEXT: 64 | (B4 vbtable pointer)155// CHECK-NEXT: 68 | int a156// CHECK-NEXT: 72 | int a157// CHECK-NEXT: | [sizeof=80, align=16158// CHECK-NEXT: | nvsize=8, nvalign=16]159// CHECK-X64-LABEL: 0 | struct E160// CHECK-X64-NEXT: 0 | (E vbtable pointer)161// CHECK-X64-NEXT: 8 | int a162// CHECK-X64-NEXT: 16 | struct B3 (virtual base)163// CHECK-X64-NEXT: 16 | int a164// CHECK-X64-NEXT: 44 | (vtordisp for vbase C)165// CHECK-X64-NEXT: 48 | struct C (virtual base)166// CHECK-X64-NEXT: 48 | (C vftable pointer)167// CHECK-X64-NEXT: 64 | struct B4 (base)168// CHECK-X64-NEXT: 64 | (B4 vbtable pointer)169// CHECK-X64-NEXT: 72 | int a170// CHECK-X64-NEXT: 80 | int a171// CHECK-X64-NEXT: | [sizeof=96, align=16172// CHECK-X64-NEXT: | nvsize=16, nvalign=16]173 174struct F : B3, virtual B0 { int a; F() : a(0xf000000F) {} virtual void f() { printf("F"); } };175 176// CHECK-LABEL: 0 | struct F177// CHECK-NEXT: 0 | (F vftable pointer)178// CHECK-NEXT: 16 | struct B3 (base)179// CHECK-NEXT: 16 | int a180// CHECK-NEXT: 32 | (F vbtable pointer)181// CHECK-NEXT: 48 | int a182// CHECK-NEXT: 64 | struct B0 (virtual base)183// CHECK-NEXT: 64 | int a184// CHECK-NEXT: | [sizeof=80, align=16185// CHECK-NEXT: | nvsize=64, nvalign=16]186// CHECK-X64-LABEL: 0 | struct F187// CHECK-X64-NEXT: 0 | (F vftable pointer)188// CHECK-X64-NEXT: 16 | struct B3 (base)189// CHECK-X64-NEXT: 16 | int a190// CHECK-X64-NEXT: 32 | (F vbtable pointer)191// CHECK-X64-NEXT: 48 | int a192// CHECK-X64-NEXT: 64 | struct B0 (virtual base)193// CHECK-X64-NEXT: 64 | int a194// CHECK-X64-NEXT: | [sizeof=80, align=16195// CHECK-X64-NEXT: | nvsize=64, nvalign=16]196 197struct G : B2, B6, virtual B1 { int a; G() : a(0xf0000010) {} };198 199// CHECK-LABEL: 0 | struct G200// CHECK-NEXT: 0 | struct B6 (primary base)201// CHECK-NEXT: 0 | (B6 vftable pointer)202// CHECK-NEXT: 4 | int a203// CHECK-NEXT: 8 | struct B2 (base)204// CHECK-NEXT: 8 | (B2 vbtable pointer)205// CHECK-NEXT: 12 | int a206// CHECK-NEXT: 16 | int a207// CHECK-NEXT: 20 | struct B1 (virtual base)208// CHECK-NEXT: 20 | char a209// CHECK-NEXT: | [sizeof=21, align=4210// CHECK-NEXT: | nvsize=20, nvalign=4]211// CHECK-X64-LABEL: 0 | struct G212// CHECK-X64-NEXT: 0 | struct B6 (primary base)213// CHECK-X64-NEXT: 0 | (B6 vftable pointer)214// CHECK-X64-NEXT: 8 | int a215// CHECK-X64-NEXT: 16 | struct B2 (base)216// CHECK-X64-NEXT: 16 | (B2 vbtable pointer)217// CHECK-X64-NEXT: 24 | int a218// CHECK-X64-NEXT: 32 | int a219// CHECK-X64-NEXT: 40 | struct B1 (virtual base)220// CHECK-X64-NEXT: 40 | char a221// CHECK-X64-NEXT: | [sizeof=48, align=8222// CHECK-X64-NEXT: | nvsize=40, nvalign=8]223 224struct H : B6, B2, virtual B1 { int a; H() : a(0xf0000011) {} };225 226// CHECK-LABEL: 0 | struct H227// CHECK-NEXT: 0 | struct B6 (primary base)228// CHECK-NEXT: 0 | (B6 vftable pointer)229// CHECK-NEXT: 4 | int a230// CHECK-NEXT: 8 | struct B2 (base)231// CHECK-NEXT: 8 | (B2 vbtable pointer)232// CHECK-NEXT: 12 | int a233// CHECK-NEXT: 16 | int a234// CHECK-NEXT: 20 | struct B1 (virtual base)235// CHECK-NEXT: 20 | char a236// CHECK-NEXT: | [sizeof=21, align=4237// CHECK-NEXT: | nvsize=20, nvalign=4]238// CHECK-X64-LABEL: 0 | struct H239// CHECK-X64-NEXT: 0 | struct B6 (primary base)240// CHECK-X64-NEXT: 0 | (B6 vftable pointer)241// CHECK-X64-NEXT: 8 | int a242// CHECK-X64-NEXT: 16 | struct B2 (base)243// CHECK-X64-NEXT: 16 | (B2 vbtable pointer)244// CHECK-X64-NEXT: 24 | int a245// CHECK-X64-NEXT: 32 | int a246// CHECK-X64-NEXT: 40 | struct B1 (virtual base)247// CHECK-X64-NEXT: 40 | char a248// CHECK-X64-NEXT: | [sizeof=48, align=8249// CHECK-X64-NEXT: | nvsize=40, nvalign=8]250 251struct I : B0, virtual B1 { int a; int a1; __declspec(align(16)) int a2; I() : a(0xf0000011), a1(0xf0000011), a2(0xf0000011) {} };252 253// CHECK-LABEL: 0 | struct I254// CHECK-NEXT: 0 | struct B0 (base)255// CHECK-NEXT: 0 | int a256// CHECK-NEXT: 4 | (I vbtable pointer)257// CHECK-NEXT: 20 | int a258// CHECK-NEXT: 24 | int a1259// CHECK-NEXT: 32 | int a2260// CHECK-NEXT: 48 | struct B1 (virtual base)261// CHECK-NEXT: 48 | char a262// CHECK-NEXT: | [sizeof=64, align=16263// CHECK-NEXT: | nvsize=48, nvalign=16]264// CHECK-X64-LABEL: 0 | struct I265// CHECK-X64-NEXT: 0 | struct B0 (base)266// CHECK-X64-NEXT: 0 | int a267// CHECK-X64-NEXT: 8 | (I vbtable pointer)268// CHECK-X64-NEXT: 20 | int a269// CHECK-X64-NEXT: 24 | int a1270// CHECK-X64-NEXT: 32 | int a2271// CHECK-X64-NEXT: 48 | struct B1 (virtual base)272// CHECK-X64-NEXT: 48 | char a273// CHECK-X64-NEXT: | [sizeof=64, align=16274// CHECK-X64-NEXT: | nvsize=48, nvalign=16]275 276struct J : B0, B3, virtual B1 { int a; int a1; J() : a(0xf0000012), a1(0xf0000012) {} };277 278// CHECK-LABEL: 0 | struct J279// CHECK-NEXT: 0 | struct B0 (base)280// CHECK-NEXT: 0 | int a281// CHECK-NEXT: 16 | struct B3 (base)282// CHECK-NEXT: 16 | int a283// CHECK-NEXT: 32 | (J vbtable pointer)284// CHECK-NEXT: 48 | int a285// CHECK-NEXT: 52 | int a1286// CHECK-NEXT: 64 | struct B1 (virtual base)287// CHECK-NEXT: 64 | char a288// CHECK-NEXT: | [sizeof=80, align=16289// CHECK-NEXT: | nvsize=64, nvalign=16]290// CHECK-X64-LABEL: 0 | struct J291// CHECK-X64-NEXT: 0 | struct B0 (base)292// CHECK-X64-NEXT: 0 | int a293// CHECK-X64-NEXT: 16 | struct B3 (base)294// CHECK-X64-NEXT: 16 | int a295// CHECK-X64-NEXT: 32 | (J vbtable pointer)296// CHECK-X64-NEXT: 48 | int a297// CHECK-X64-NEXT: 52 | int a1298// CHECK-X64-NEXT: 64 | struct B1 (virtual base)299// CHECK-X64-NEXT: 64 | char a300// CHECK-X64-NEXT: | [sizeof=80, align=16301// CHECK-X64-NEXT: | nvsize=64, nvalign=16]302 303struct L : virtual K { int a; L() : a(0xf0000014) {} virtual void g() { printf("L"); } };304 305// CHECK-LABEL: 0 | struct L306// CHECK-NEXT: 0 | (L vftable pointer)307// CHECK-NEXT: 4 | (L vbtable pointer)308// CHECK-NEXT: 8 | int a309// CHECK-NEXT: 12 | struct K (virtual base)310// CHECK-NEXT: 12 | (K vftable pointer)311// CHECK-NEXT: 16 | int a312// CHECK-NEXT: | [sizeof=20, align=4313// CHECK-NEXT: | nvsize=12, nvalign=4]314// CHECK-X64-LABEL: 0 | struct L315// CHECK-X64-NEXT: 0 | (L vftable pointer)316// CHECK-X64-NEXT: 8 | (L vbtable pointer)317// CHECK-X64-NEXT: 16 | int a318// CHECK-X64-NEXT: 24 | struct K (virtual base)319// CHECK-X64-NEXT: 24 | (K vftable pointer)320// CHECK-X64-NEXT: 32 | int a321// CHECK-X64-NEXT: | [sizeof=40, align=8322// CHECK-X64-NEXT: | nvsize=24, nvalign=8]323 324struct M : virtual K { int a; M() : a(0xf0000015) {} virtual void f() { printf("M"); } };325 326// CHECK-LABEL: 0 | struct M327// CHECK-NEXT: 0 | (M vbtable pointer)328// CHECK-NEXT: 4 | int a329// CHECK-NEXT: 8 | (vtordisp for vbase K)330// CHECK-NEXT: 12 | struct K (virtual base)331// CHECK-NEXT: 12 | (K vftable pointer)332// CHECK-NEXT: 16 | int a333// CHECK-NEXT: | [sizeof=20, align=4334// CHECK-NEXT: | nvsize=8, nvalign=4]335// CHECK-X64-LABEL: 0 | struct M336// CHECK-X64-NEXT: 0 | (M vbtable pointer)337// CHECK-X64-NEXT: 8 | int a338// CHECK-X64-NEXT: 20 | (vtordisp for vbase K)339// CHECK-X64-NEXT: 24 | struct K (virtual base)340// CHECK-X64-NEXT: 24 | (K vftable pointer)341// CHECK-X64-NEXT: 32 | int a342// CHECK-X64-NEXT: | [sizeof=40, align=8343// CHECK-X64-NEXT: | nvsize=16, nvalign=8]344 345int a[346sizeof(A)+347sizeof(B)+348sizeof(C)+349sizeof(D)+350sizeof(E)+351sizeof(F)+352sizeof(G)+353sizeof(H)+354sizeof(I)+355sizeof(J)+356sizeof(K)+357sizeof(L)+358sizeof(M)];359