483 lines · cpp
1// RUN: %clang_cc1 -std=c++14 -emit-llvm-only -triple i686-pc-win32 -fdump-record-layouts %s 2>/dev/null \2// RUN: | FileCheck %s --strict-whitespace3 4#pragma pack(push, 8)5 6class B {7public:8 virtual void b(){}9 int b_field;10protected:11private:12};13 14class A : public B {15public:16 int a_field;17 virtual void a(){}18 char one;19protected:20private:21};22 23class D {24public:25 virtual void b(){}26 double a;27};28 29class C : public virtual A, 30 public D, public B {31public:32 double c1_field;33 int c2_field;34 double c3_field;35 int c4_field;36 virtual void foo(){}37 virtual void bar(){}38protected:39private:40};41 42struct BaseStruct43{44 BaseStruct(){}45 double v0;46 float v1;47 C fg;48};49 50struct DerivedStruct : public BaseStruct {51 int x;52};53 54struct G55{56 int g_field;57};58 59struct H : public G, 60 public virtual D61{62};63 64struct I : public virtual D65{66 virtual ~I(){}67 double q;68};69 70struct K71{72 int k;73};74 75struct L76{77 int l;78};79 80struct M : public virtual K81{82 int m;83};84 85struct N : public L, public M86{87 virtual void f(){}88};89 90struct O : public H, public G {91 virtual void fo(){}92};93 94struct P : public M, public virtual L {95 int p;96};97 98struct R {};99 100class IA {101public:102 virtual ~IA(){}103 virtual void ia() = 0;104};105 106class ICh : public virtual IA {107public:108 virtual ~ICh(){}109 virtual void ia(){}110 virtual void iCh(){}111};112 113struct f {114 virtual int asd() {return -90;}115};116 117struct s : public virtual f {118 virtual ~s(){}119 int r;120 virtual int asd() {return -9;}121};122 123struct sd : virtual s, virtual ICh {124 virtual ~sd(){}125 int q;126 char y;127 virtual int asd() {return -1;}128};129struct AV { 130 virtual void foo(); 131};132struct BV : AV { 133};134struct CV : virtual BV { 135 CV(); 136 virtual void foo(); 137};138struct DV : BV {139};140struct EV : CV, DV {141};142#pragma pack(pop)143 144// This needs only for building layouts. 145// Without this clang doesn`t dump record layouts.146int main() {147 // This avoid "Can't yet mangle constructors!" for MS ABI.148 C* c;149 c->foo();150 DerivedStruct v;151 H g;152 BaseStruct* u;153 I i;154 N n;155 O o;156 P p;157 R r;158 sd h;159 EV j;160 return 0;161}162 163// CHECK-LABEL: 0 | class B{{$}}164// CHECK-NEXT: 0 | (B vftable pointer)165// CHECK-NEXT: 4 | int b_field166 167// CHECK-NEXT: sizeof=8, align=4168// CHECK-NEXT: nvsize=8, nvalign=4169 170// CHECK-LABEL: 0 | class A{{$}}171// CHECK-NEXT: 0 | class B (primary base)172// CHECK-NEXT: 0 | (B vftable pointer)173// CHECK-NEXT: 4 | int b_field174// CHECK-NEXT: 8 | int a_field175// CHECK-NEXT: 12 | char one176 177// CHECK-NEXT: sizeof=16, align=4178// CHECK-NEXT: nvsize=16, nvalign=4179 180// CHECK-LABEL: 0 | class D{{$}}181// CHECK-NEXT: 0 | (D vftable pointer)182// CHECK-NEXT: 8 | double a183 184// CHECK-NEXT: sizeof=16, align=8185// CHECK-NEXT: nvsize=16, nvalign=8186 187// CHECK-LABEL: 0 | class C{{$}}188// CHECK-NEXT: 0 | class D (primary base)189// CHECK-NEXT: 0 | (D vftable pointer)190// CHECK-NEXT: 8 | double a191// CHECK-NEXT: 16 | class B (base)192// CHECK-NEXT: 16 | (B vftable pointer)193// CHECK-NEXT: 20 | int b_field194// CHECK-NEXT: 24 | (C vbtable pointer)195// CHECK-NEXT: 32 | double c1_field196// CHECK-NEXT: 40 | int c2_field197// CHECK-NEXT: 48 | double c3_field198// CHECK-NEXT: 56 | int c4_field199// CHECK-NEXT: 64 | class A (virtual base)200// CHECK-NEXT: 64 | class B (primary base)201// CHECK-NEXT: 64 | (B vftable pointer)202// CHECK-NEXT: 68 | int b_field203// CHECK-NEXT: 72 | int a_field204// CHECK-NEXT: 76 | char one205 206// CHECK-NEXT: sizeof=80, align=8207// CHECK-NEXT: nvsize=64, nvalign=8208 209// CHECK-LABEL: 0 | struct BaseStruct{{$}}210// CHECK-NEXT: 0 | double v0211// CHECK-NEXT: 8 | float v1212// CHECK-NEXT: 16 | class C fg213// CHECK-NEXT: 16 | class D (primary base)214// CHECK-NEXT: 16 | (D vftable pointer)215// CHECK-NEXT: 24 | double a216// CHECK-NEXT: 32 | class B (base)217// CHECK-NEXT: 32 | (B vftable pointer)218// CHECK-NEXT: 36 | int b_field219// CHECK-NEXT: 40 | (C vbtable pointer)220// CHECK-NEXT: 48 | double c1_field221// CHECK-NEXT: 56 | int c2_field222// CHECK-NEXT: 64 | double c3_field223// CHECK-NEXT: 72 | int c4_field224// CHECK-NEXT: 80 | class A (virtual base)225// CHECK-NEXT: 80 | class B (primary base)226// CHECK-NEXT: 80 | (B vftable pointer)227// CHECK-NEXT: 84 | int b_field228// CHECK-NEXT: 88 | int a_field229// CHECK-NEXT: 92 | char one230// CHECK-NEXT: sizeof=96, align=8231// CHECK-NEXT: nvsize=96, nvalign=8232 233// CHECK-LABEL: 0 | struct DerivedStruct{{$}}234// CHECK-NEXT: 0 | struct BaseStruct (base)235// CHECK-NEXT: 0 | double v0236// CHECK-NEXT: 8 | float v1237// CHECK-NEXT: 16 | class C fg238// CHECK-NEXT: 16 | class D (primary base)239// CHECK-NEXT: 16 | (D vftable pointer)240// CHECK-NEXT: 24 | double a241// CHECK-NEXT: 32 | class B (base)242// CHECK-NEXT: 32 | (B vftable pointer)243// CHECK-NEXT: 36 | int b_field244// CHECK-NEXT: 40 | (C vbtable pointer)245// CHECK-NEXT: 48 | double c1_field246// CHECK-NEXT: 56 | int c2_field247// CHECK-NEXT: 64 | double c3_field248// CHECK-NEXT: 72 | int c4_field249// CHECK-NEXT: 80 | class A (virtual base)250// CHECK-NEXT: 80 | class B (primary base)251// CHECK-NEXT: 80 | (B vftable pointer)252// CHECK-NEXT: 84 | int b_field253// CHECK-NEXT: 88 | int a_field254// CHECK-NEXT: 92 | char one255// CHECK-NEXT: 96 | int x256// CHECK-NEXT: sizeof=104, align=8257// CHECK-NEXT: nvsize=104, nvalign=8258 259// CHECK-LABEL:0 | struct G260// CHECK-NEXT: 0 | int g_field261// CHECK-NEXT: sizeof=4, align=4262// CHECK-NEXT: nvsize=4, nvalign=4263 264// CHECK-LABEL: 0 | struct H{{$}}265// CHECK-NEXT: 0 | struct G (base)266// CHECK-NEXT: 0 | int g_field267// CHECK-NEXT: 4 | (H vbtable pointer)268// CHECK-NEXT: 8 | class D (virtual base)269// CHECK-NEXT: 8 | (D vftable pointer)270// CHECK-NEXT: 16 | double a271// CHECK-NEXT: sizeof=24, align=8272// CHECK-NEXT: nvsize=8, nvalign=8273 274// CHECK-LABEL: 0 | struct I{{$}}275// CHECK-NEXT: 0 | (I vftable pointer)276// CHECK-NEXT: 8 | (I vbtable pointer)277// CHECK-NEXT: 16 | double q278// CHECK-NEXT: 24 | class D (virtual base)279// CHECK-NEXT: 24 | (D vftable pointer)280// CHECK-NEXT: 32 | double a281// CHECK-NEXT: sizeof=40, align=8282// CHECK-NEXT: nvsize=24, nvalign=8283 284// CHECK-LABEL: 0 | struct L{{$}}285// CHECK-NEXT: 0 | int l286// CHECK-NEXT: sizeof=4, align=4287// CHECK-NEXT: nvsize=4, nvalign=4288 289// CHECK-LABEL: 0 | struct K{{$}}290// CHECK-NEXT: 0 | int k291// CHECK-NEXT: sizeof=4, align=4292// CHECK-NEXT: nvsize=4, nvalign=4293 294// CHECK-LABEL: 0 | struct M{{$}}295// CHECK-NEXT: 0 | (M vbtable pointer)296// CHECK-NEXT: 4 | int m297// CHECK-NEXT: 8 | struct K (virtual base)298// CHECK-NEXT: 8 | int k299// CHECK-NEXT: sizeof=12, align=4300 301// CHECK-LABEL: 0 | struct N{{$}}302// CHECK-NEXT: 0 | (N vftable pointer)303// CHECK-NEXT: 4 | struct L (base)304// CHECK-NEXT: 4 | int l305// CHECK-NEXT: 8 | struct M (base)306// CHECK-NEXT: 8 | (M vbtable pointer)307// CHECK-NEXT: 12 | int m308// CHECK-NEXT: 16 | struct K (virtual base)309// CHECK-NEXT: 16 | int k310// CHECK-NEXT: sizeof=20, align=4311// CHECK-NEXT: nvsize=16, nvalign=4312 313// CHECK-LABEL: 0 | struct O{{$}}314// CHECK-NEXT: 0 | (O vftable pointer)315// CHECK-NEXT: 8 | struct H (base)316// CHECK-NEXT: 8 | struct G (base)317// CHECK-NEXT: 8 | int g_field318// CHECK-NEXT: 12 | (H vbtable pointer)319// CHECK-NEXT: 16 | struct G (base)320// CHECK-NEXT: 16 | int g_field321// CHECK-NEXT: 24 | class D (virtual base)322// CHECK-NEXT: 24 | (D vftable pointer)323// CHECK-NEXT: 32 | double a324// CHECK-NEXT: | [sizeof=40, align=8325// CHECK-NEXT: | nvsize=24, nvalign=8]326 327// CHECK-LABEL: 0 | struct P{{$}}328// CHECK-NEXT: 0 | struct M (base)329// CHECK-NEXT: 0 | (M vbtable pointer)330// CHECK-NEXT: 4 | int m331// CHECK-NEXT: 8 | int p332// CHECK-NEXT: 12 | struct K (virtual base)333// CHECK-NEXT: 12 | int k334// CHECK-NEXT: 16 | struct L (virtual base)335// CHECK-NEXT: 16 | int l336// CHECK-NEXT: sizeof=20, align=4337// CHECK-NEXT: nvsize=12, nvalign=4338 339// CHECK-LABEL: 0 | struct R (empty){{$}}340// CHECK-NEXT: sizeof=1, align=1341// CHECK-NEXT: nvsize=0, nvalign=1342 343// CHECK-LABEL: 0 | struct f{{$}}344// CHECK-NEXT: 0 | (f vftable pointer)345// CHECK-NEXT: sizeof=4, align=4346// CHECK-NEXT: nvsize=4, nvalign=4347 348// CHECK-LABEL: 0 | struct s{{$}}349// CHECK-NEXT: 0 | (s vftable pointer)350// CHECK-NEXT: 4 | (s vbtable pointer)351// CHECK-NEXT: 8 | int r352// CHECK-NEXT: 12 | (vtordisp for vbase f)353// CHECK-NEXT: 16 | struct f (virtual base)354// CHECK-NEXT: 16 | (f vftable pointer)355// CHECK-NEXT: sizeof=20, align=4356// CHECK-NEXT: nvsize=12, nvalign=4357 358// CHECK-LABEL: 0 | class IA{{$}}359// CHECK-NEXT: 0 | (IA vftable pointer)360// CHECK-NEXT: sizeof=4, align=4361// CHECK-NEXT: nvsize=4, nvalign=4362 363// CHECK-LABEL: 0 | class ICh{{$}}364// CHECK-NEXT: 0 | (ICh vftable pointer)365// CHECK-NEXT: 4 | (ICh vbtable pointer)366// CHECK-NEXT: 8 | (vtordisp for vbase IA)367// CHECK-NEXT: 12 | class IA (virtual base)368// CHECK-NEXT: 12 | (IA vftable pointer)369// CHECK-NEXT: sizeof=16, align=4370// CHECK-NEXT: nvsize=8, nvalign=4371 372// CHECK-LABEL: 0 | struct sd{{$}}373// CHECK-NEXT: 0 | (sd vbtable pointer)374// CHECK-NEXT: 4 | int q375// CHECK-NEXT: 8 | char y376// CHECK-NEXT: 12 | (vtordisp for vbase f)377// CHECK-NEXT: 16 | struct f (virtual base)378// CHECK-NEXT: 16 | (f vftable pointer)379// CHECK-NEXT: 20 | struct s (virtual base)380// CHECK-NEXT: 20 | (s vftable pointer)381// CHECK-NEXT: 24 | (s vbtable pointer)382// CHECK-NEXT: 28 | int r383// CHECK-NEXT: 32 | (vtordisp for vbase IA)384// CHECK-NEXT: 36 | class IA (virtual base)385// CHECK-NEXT: 36 | (IA vftable pointer)386// CHECK-NEXT: 40 | class ICh (virtual base)387// CHECK-NEXT: 40 | (ICh vftable pointer)388// CHECK-NEXT: 44 | (ICh vbtable pointer)389// CHECK-NEXT: sizeof=48, align=4390// CHECK-NEXT: nvsize=12, nvalign=4391 392// CHECK-LABEL: 0 | struct AV{{$}}393// CHECK-NEXT: 0 | (AV vftable pointer)394// CHECK-NEXT: sizeof=4, align=4395// CHECK-NEXT: nvsize=4, nvalign=4396 397// CHECK-LABEL: 0 | struct BV{{$}}398// CHECK-NEXT: 0 | struct AV (primary base)399// CHECK-NEXT: 0 | (AV vftable pointer)400// CHECK-NEXT: sizeof=4, align=4401// CHECK-NEXT: nvsize=4, nvalign=4402 403// CHECK-LABEL: 0 | struct CV{{$}}404// CHECK-NEXT: 0 | (CV vbtable pointer)405// CHECK-NEXT: 4 | (vtordisp for vbase BV)406// CHECK-NEXT: 8 | struct BV (virtual base)407// CHECK-NEXT: 8 | struct AV (primary base)408// CHECK-NEXT: 8 | (AV vftable pointer)409// CHECK-NEXT: sizeof=12, align=4410// CHECK-NEXT: nvsize=4, nvalign=4411 412// CHECK-LABEL: 0 | struct DV{{$}}413// CHECK-NEXT: 0 | struct BV (primary base)414// CHECK-NEXT: 0 | struct AV (primary base)415// CHECK-NEXT: 0 | (AV vftable pointer)416// CHECK-NEXT: sizeof=4, align=4417// CHECK-NEXT: nvsize=4, nvalign=4418 419// CHECK-LABEL: 0 | struct EV{{$}}420// CHECK-NEXT: 0 | struct DV (primary base)421// CHECK-NEXT: 0 | struct BV (primary base)422// CHECK-NEXT: 0 | struct AV (primary base)423// CHECK-NEXT: 0 | (AV vftable pointer)424// CHECK-NEXT: 4 | struct CV (base)425// CHECK-NEXT: 4 | (CV vbtable pointer)426// CHECK-NEXT: 8 | (vtordisp for vbase BV)427// CHECK-NEXT: 12 | struct BV (virtual base)428// CHECK-NEXT: 12 | struct AV (primary base)429// CHECK-NEXT: 12 | (AV vftable pointer)430// CHECK-NEXT: sizeof=16, align=4431// CHECK-NEXT: nvsize=8, nvalign=4432 433// CHECK: %class.D = type { ptr, double }434// CHECK: %class.B = type { ptr, i32 }435// CHECK: %class.A = type { %class.B, i32, i8 }436// CHECK: %class.C = type { %class.D, %class.B, ptr, double, i32, double, i32, [4 x i8], %class.A }437// CHECK: %class.C.base = type { %class.D, %class.B, ptr, double, i32, double, i32 }438// CHECK: %struct.BaseStruct = type { double, float, %class.C }439// CHECK: %struct.DerivedStruct = type { %struct.BaseStruct, i32 }440// CHECK: %struct.H = type { %struct.G, ptr, %class.D }441// CHECK: %struct.I = type { ptr, [4 x i8], ptr, double, %class.D }442// CHECK: %struct.I.base = type { ptr, [4 x i8], ptr, double }443// CHECK: %struct.M = type { ptr, i32, %struct.K }444// CHECK: %struct.M.base = type { ptr, i32 }445// CHECK: %struct.N = type { ptr, %struct.L, %struct.M.base, %struct.K }446// CHECK: %struct.O = type { ptr, [4 x i8], %struct.H.base, %struct.G, %class.D }447// CHECK: %struct.O.base = type { ptr, [4 x i8], %struct.H.base, %struct.G, [4 x i8] }448// CHECK: %struct.P = type { %struct.M.base, i32, %struct.K, %struct.L }449// CHECK: %struct.R = type { i8 }450// CHECK: %struct.f = type { ptr }451// CHECK: %struct.s = type { ptr, ptr, i32, i32, %struct.f }452// CHECK: %class.IA = type { ptr }453// CHECK: %class.ICh = type { ptr, ptr, i32, %class.IA }454// CHECK: %struct.sd = type { ptr, i32, i8, i32, %struct.f, %struct.s.base, i32, %class.IA, %class.ICh.base }455// CHECK: %struct.AV = type { ptr }456// CHECK: %struct.BV = type { %struct.AV }457// CHECK: %struct.CV = type { ptr, i32, %struct.BV }458// CHECK: %struct.CV.base = type { ptr }459// CHECK: %struct.DV = type { %struct.BV }460// CHECK: %struct.EV = type { %struct.DV, %struct.CV.base, i32, %struct.BV }461// CHECK: %struct.EV.base = type { %struct.DV, %struct.CV.base }462 463// Overriding a method means that all the vbases containing that464// method need a vtordisp. Note: this code will cause an error in cl.exe.465namespace test1 {466 struct A { virtual void foo(); };467 struct B : A {};468 struct C : virtual A, virtual B { C(); virtual void foo(); };469 void test() { C c; }470 471 // CHECK-LABEL: 0 | struct test1::C{{$}}472 // CHECK-NEXT: 0 | (C vbtable pointer)473 // CHECK-NEXT: 4 | (vtordisp for vbase A)474 // CHECK-NEXT: 8 | struct test1::A (virtual base)475 // CHECK-NEXT: 8 | (A vftable pointer)476 // CHECK-NEXT: 12 | (vtordisp for vbase B)477 // CHECK-NEXT: 16 | struct test1::B (virtual base)478 // CHECK-NEXT: 16 | struct test1::A (primary base)479 // CHECK-NEXT: 16 | (A vftable pointer)480 // CHECK-NEXT: sizeof=20, align=4481 // CHECK-NEXT: nvsize=4, nvalign=4482}483