323 lines · cpp
1// RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -emit-llvm-only -fdump-vtable-layouts > %t 2>/dev/null2// RUN: FileCheck --check-prefix=CHECK-1 %s < %t3// RUN: FileCheck --check-prefix=CHECK-2 %s < %t4// RUN: FileCheck --check-prefix=CHECK-3 %s < %t5// RUN: FileCheck --check-prefix=CHECK-4 %s < %t6// RUN: FileCheck --check-prefix=CHECK-5 %s < %t7// RUN: FileCheck --check-prefix=CHECK-6 %s < %t8// RUN: FileCheck --check-prefix=CHECK-7 %s < %t9// RUN: FileCheck --check-prefix=CHECK-8 %s < %t10// RUN: FileCheck --check-prefix=CHECK-9 %s < %t11// RUN: FileCheck --check-prefix=CHECK-10 %s < %t12// RUN: FileCheck --check-prefix=CHECK-11 %s < %t13 14/// Examples from the Itanium C++ ABI specification.15/// http://www.codesourcery.com/public/cxx-abi/16 17namespace Test1 {18 19// This is from http://www.codesourcery.com/public/cxx-abi/cxx-vtable-ex.html20 21// CHECK-1: Vtable for 'Test1::A' (5 entries).22// CHECK-1-NEXT: 0 | offset_to_top (0)23// CHECK-1-NEXT: 1 | Test1::A RTTI24// CHECK-1-NEXT: -- (Test1::A, 0) vtable address --25// CHECK-1-NEXT: 2 | void Test1::A::f()26// CHECK-1-NEXT: 3 | void Test1::A::g()27// CHECK-1-NEXT: 4 | void Test1::A::h()28struct A {29 virtual void f ();30 virtual void g ();31 virtual void h ();32 int ia;33};34void A::f() {}35 36// CHECK-2: Vtable for 'Test1::B' (13 entries).37// CHECK-2-NEXT: 0 | vbase_offset (16)38// CHECK-2-NEXT: 1 | offset_to_top (0)39// CHECK-2-NEXT: 2 | Test1::B RTTI40// CHECK-2-NEXT: -- (Test1::B, 0) vtable address --41// CHECK-2-NEXT: 3 | void Test1::B::f()42// CHECK-2-NEXT: 4 | void Test1::B::h()43// CHECK-2-NEXT: 5 | vcall_offset (-16)44// CHECK-2-NEXT: 6 | vcall_offset (0)45// CHECK-2-NEXT: 7 | vcall_offset (-16)46// CHECK-2-NEXT: 8 | offset_to_top (-16)47// CHECK-2-NEXT: 9 | Test1::B RTTI48// CHECK-2-NEXT: -- (Test1::A, 16) vtable address --49// CHECK-2-NEXT: 10 | void Test1::B::f()50// CHECK-2-NEXT: [this adjustment: 0 non-virtual, -24 vcall offset offset]51// CHECK-2-NEXT: 11 | void Test1::A::g()52// CHECK-2-NEXT: 12 | void Test1::B::h()53// CHECK-2-NEXT: [this adjustment: 0 non-virtual, -40 vcall offset offset]54struct B: public virtual A {55 void f ();56 void h ();57 int ib;58};59void B::f() {}60 61// CHECK-3: Vtable for 'Test1::C' (13 entries).62// CHECK-3-NEXT: 0 | vbase_offset (16)63// CHECK-3-NEXT: 1 | offset_to_top (0)64// CHECK-3-NEXT: 2 | Test1::C RTTI65// CHECK-3-NEXT: -- (Test1::C, 0) vtable address --66// CHECK-3-NEXT: 3 | void Test1::C::g()67// CHECK-3-NEXT: 4 | void Test1::C::h()68// CHECK-3-NEXT: 5 | vcall_offset (-16)69// CHECK-3-NEXT: 6 | vcall_offset (-16)70// CHECK-3-NEXT: 7 | vcall_offset (0)71// CHECK-3-NEXT: 8 | offset_to_top (-16)72// CHECK-3-NEXT: 9 | Test1::C RTTI73// CHECK-3-NEXT: -- (Test1::A, 16) vtable address --74// CHECK-3-NEXT: 10 | void Test1::A::f()75// CHECK-3-NEXT: 11 | void Test1::C::g()76// CHECK-3-NEXT: [this adjustment: 0 non-virtual, -32 vcall offset offset]77// CHECK-3-NEXT: 12 | void Test1::C::h()78// CHECK-3-NEXT: [this adjustment: 0 non-virtual, -40 vcall offset offset]79struct C: public virtual A {80 void g ();81 void h ();82 int ic;83};84void C::g() {}85 86// CHECK-4: Vtable for 'Test1::D' (18 entries).87// CHECK-4-NEXT: 0 | vbase_offset (32)88// CHECK-4-NEXT: 1 | offset_to_top (0)89// CHECK-4-NEXT: 2 | Test1::D RTTI90// CHECK-4-NEXT: -- (Test1::B, 0) vtable address --91// CHECK-4-NEXT: -- (Test1::D, 0) vtable address --92// CHECK-4-NEXT: 3 | void Test1::B::f()93// CHECK-4-NEXT: 4 | void Test1::D::h()94// CHECK-4-NEXT: 5 | vbase_offset (16)95// CHECK-4-NEXT: 6 | offset_to_top (-16)96// CHECK-4-NEXT: 7 | Test1::D RTTI97// CHECK-4-NEXT: -- (Test1::C, 16) vtable address --98// CHECK-4-NEXT: 8 | void Test1::C::g()99// CHECK-4-NEXT: 9 | void Test1::D::h()100// CHECK-4-NEXT: [this adjustment: -16 non-virtual]101// CHECK-4-NEXT: 10 | vcall_offset (-32)102// CHECK-4-NEXT: 11 | vcall_offset (-16)103// CHECK-4-NEXT: 12 | vcall_offset (-32)104// CHECK-4-NEXT: 13 | offset_to_top (-32)105// CHECK-4-NEXT: 14 | Test1::D RTTI106// CHECK-4-NEXT: -- (Test1::A, 32) vtable address --107// CHECK-4-NEXT: 15 | void Test1::B::f()108// CHECK-4-NEXT: [this adjustment: 0 non-virtual, -24 vcall offset offset]109// CHECK-4-NEXT: 16 | void Test1::C::g()110// CHECK-4-NEXT: [this adjustment: 0 non-virtual, -32 vcall offset offset]111// CHECK-4-NEXT: 17 | void Test1::D::h()112// CHECK-4-NEXT: [this adjustment: 0 non-virtual, -40 vcall offset offset]113struct D: public B, public C {114 void h ();115 int id;116};117void D::h() { }118 119struct X {120 int ix;121 virtual void x();122};123 124// CHECK-5: Vtable for 'Test1::E' (24 entries).125// CHECK-5-NEXT: 0 | vbase_offset (56)126// CHECK-5-NEXT: 1 | offset_to_top (0)127// CHECK-5-NEXT: 2 | Test1::E RTTI128// CHECK-5-NEXT: -- (Test1::E, 0) vtable address --129// CHECK-5-NEXT: -- (Test1::X, 0) vtable address --130// CHECK-5-NEXT: 3 | void Test1::X::x()131// CHECK-5-NEXT: 4 | void Test1::E::f()132// CHECK-5-NEXT: 5 | void Test1::E::h()133// CHECK-5-NEXT: 6 | vbase_offset (40)134// CHECK-5-NEXT: 7 | offset_to_top (-16)135// CHECK-5-NEXT: 8 | Test1::E RTTI136// CHECK-5-NEXT: -- (Test1::B, 16) vtable address --137// CHECK-5-NEXT: -- (Test1::D, 16) vtable address --138// CHECK-5-NEXT: 9 | void Test1::E::f()139// CHECK-5-NEXT: [this adjustment: -16 non-virtual]140// CHECK-5-NEXT: 10 | void Test1::E::h()141// CHECK-5-NEXT: [this adjustment: -16 non-virtual]142// CHECK-5-NEXT: 11 | vbase_offset (24)143// CHECK-5-NEXT: 12 | offset_to_top (-32)144// CHECK-5-NEXT: 13 | Test1::E RTTI145// CHECK-5-NEXT: -- (Test1::C, 32) vtable address --146// CHECK-5-NEXT: 14 | void Test1::C::g()147// CHECK-5-NEXT: 15 | void Test1::E::h()148// CHECK-5-NEXT: [this adjustment: -32 non-virtual]149// CHECK-5-NEXT: 16 | vcall_offset (-56)150// CHECK-5-NEXT: 17 | vcall_offset (-24)151// CHECK-5-NEXT: 18 | vcall_offset (-56)152// CHECK-5-NEXT: 19 | offset_to_top (-56)153// CHECK-5-NEXT: 20 | Test1::E RTTI154// CHECK-5-NEXT: -- (Test1::A, 56) vtable address --155// CHECK-5-NEXT: 21 | void Test1::E::f()156// CHECK-5-NEXT: [this adjustment: 0 non-virtual, -24 vcall offset offset]157// CHECK-5-NEXT: 22 | void Test1::C::g()158// CHECK-5-NEXT: [this adjustment: 0 non-virtual, -32 vcall offset offset]159// CHECK-5-NEXT: 23 | void Test1::E::h()160// CHECK-5-NEXT: [this adjustment: 0 non-virtual, -40 vcall offset offset]161struct E : X, D {162 int ie;163 void f();164 void h ();165};166void E::f() { } 167 168}169 170namespace Test2 {171 172// From http://www.codesourcery.com/public/cxx-abi/abi.html#class-types.173 174struct A { virtual void f(); };175struct B : virtual public A { int i; };176struct C : virtual public A { int j; };177 178// CHECK-6: Vtable for 'Test2::D' (11 entries).179// CHECK-6-NEXT: 0 | vbase_offset (0)180// CHECK-6-NEXT: 1 | vcall_offset (0)181// CHECK-6-NEXT: 2 | offset_to_top (0)182// CHECK-6-NEXT: 3 | Test2::D RTTI183// CHECK-6-NEXT: -- (Test2::A, 0) vtable address --184// CHECK-6-NEXT: -- (Test2::B, 0) vtable address --185// CHECK-6-NEXT: -- (Test2::D, 0) vtable address --186// CHECK-6-NEXT: 4 | void Test2::A::f()187// CHECK-6-NEXT: 5 | void Test2::D::d()188// CHECK-6-NEXT: 6 | vbase_offset (-16)189// CHECK-6-NEXT: 7 | vcall_offset (-16)190// CHECK-6-NEXT: 8 | offset_to_top (-16)191// CHECK-6-NEXT: 9 | Test2::D RTTI192// CHECK-6-NEXT: -- (Test2::C, 16) vtable address --193// CHECK-6-NEXT: 10 | [unused] void Test2::A::f()194struct D : public B, public C {195 virtual void d();196};197void D::d() { } 198 199}200 201namespace Test3 {202 203// From http://www.codesourcery.com/public/cxx-abi/abi-examples.html#vtable-ctor204 205struct V1 {206 int v1;207 virtual void f();208};209 210struct V2 : virtual V1 {211 int v2;212 virtual void f();213};214 215// CHECK-7: Vtable for 'Test3::C' (14 entries).216// CHECK-7-NEXT: 0 | vbase_offset (32)217// CHECK-7-NEXT: 1 | vbase_offset (16)218// CHECK-7-NEXT: 2 | offset_to_top (0)219// CHECK-7-NEXT: 3 | Test3::C RTTI220// CHECK-7-NEXT: -- (Test3::C, 0) vtable address --221// CHECK-7-NEXT: 4 | void Test3::C::f()222// CHECK-7-NEXT: 5 | vcall_offset (-16)223// CHECK-7-NEXT: 6 | offset_to_top (-16)224// CHECK-7-NEXT: 7 | Test3::C RTTI225// CHECK-7-NEXT: -- (Test3::V1, 16) vtable address --226// CHECK-7-NEXT: 8 | void Test3::C::f()227// CHECK-7-NEXT: [this adjustment: 0 non-virtual, -24 vcall offset offset]228// CHECK-7-NEXT: 9 | vcall_offset (-32)229// CHECK-7-NEXT: 10 | vbase_offset (-16)230// CHECK-7-NEXT: 11 | offset_to_top (-32)231// CHECK-7-NEXT: 12 | Test3::C RTTI232// CHECK-7-NEXT: -- (Test3::V2, 32) vtable address --233// CHECK-7-NEXT: 13 | void Test3::C::f()234// CHECK-7-NEXT: [this adjustment: 0 non-virtual, -32 vcall offset offset]235 236// CHECK-8: Construction vtable for ('Test3::V2', 32) in 'Test3::C' (9 entries).237// CHECK-8-NEXT: 0 | vcall_offset (0)238// CHECK-8-NEXT: 1 | vbase_offset (-16)239// CHECK-8-NEXT: 2 | offset_to_top (0)240// CHECK-8-NEXT: 3 | Test3::V2 RTTI241// CHECK-8-NEXT: -- (Test3::V2, 32) vtable address --242// CHECK-8-NEXT: 4 | void Test3::V2::f()243// CHECK-8-NEXT: 5 | vcall_offset (16)244// CHECK-8-NEXT: 6 | offset_to_top (16)245// CHECK-8-NEXT: 7 | Test3::V2 RTTI246// CHECK-8-NEXT: -- (Test3::V1, 16) vtable address --247// CHECK-8-NEXT: 8 | void Test3::V2::f()248// CHECK-8-NEXT: [this adjustment: 0 non-virtual, -24 vcall offset offset]249struct C : virtual V1, virtual V2 {250 int c;251 virtual void f();252};253void C::f() { }254 255struct B {256 int b;257};258 259// CHECK-9: Vtable for 'Test3::D' (15 entries).260// CHECK-9-NEXT: 0 | vbase_offset (40)261// CHECK-9-NEXT: 1 | vbase_offset (24)262// CHECK-9-NEXT: 2 | offset_to_top (0)263// CHECK-9-NEXT: 3 | Test3::D RTTI264// CHECK-9-NEXT: -- (Test3::C, 0) vtable address --265// CHECK-9-NEXT: -- (Test3::D, 0) vtable address --266// CHECK-9-NEXT: 4 | void Test3::C::f()267// CHECK-9-NEXT: 5 | void Test3::D::g()268// CHECK-9-NEXT: 6 | vcall_offset (-24)269// CHECK-9-NEXT: 7 | offset_to_top (-24)270// CHECK-9-NEXT: 8 | Test3::D RTTI271// CHECK-9-NEXT: -- (Test3::V1, 24) vtable address --272// CHECK-9-NEXT: 9 | void Test3::C::f()273// CHECK-9-NEXT: [this adjustment: 0 non-virtual, -24 vcall offset offset]274// CHECK-9-NEXT: 10 | vcall_offset (-40)275// CHECK-9-NEXT: 11 | vbase_offset (-16)276// CHECK-9-NEXT: 12 | offset_to_top (-40)277// CHECK-9-NEXT: 13 | Test3::D RTTI278// CHECK-9-NEXT: -- (Test3::V2, 40) vtable address --279// CHECK-9-NEXT: 14 | void Test3::C::f()280// CHECK-9-NEXT: [this adjustment: 0 non-virtual, -32 vcall offset offset]281 282// CHECK-10: Construction vtable for ('Test3::C', 0) in 'Test3::D' (14 entries).283// CHECK-10-NEXT: 0 | vbase_offset (40)284// CHECK-10-NEXT: 1 | vbase_offset (24)285// CHECK-10-NEXT: 2 | offset_to_top (0)286// CHECK-10-NEXT: 3 | Test3::C RTTI287// CHECK-10-NEXT: -- (Test3::C, 0) vtable address --288// CHECK-10-NEXT: 4 | void Test3::C::f()289// CHECK-10-NEXT: 5 | vcall_offset (-24)290// CHECK-10-NEXT: 6 | offset_to_top (-24)291// CHECK-10-NEXT: 7 | Test3::C RTTI292// CHECK-10-NEXT: -- (Test3::V1, 24) vtable address --293// CHECK-10-NEXT: 8 | void Test3::C::f()294// CHECK-10-NEXT: [this adjustment: 0 non-virtual, -24 vcall offset offset]295// CHECK-10-NEXT: 9 | vcall_offset (-40)296// CHECK-10-NEXT: 10 | vbase_offset (-16)297// CHECK-10-NEXT: 11 | offset_to_top (-40)298// CHECK-10-NEXT: 12 | Test3::C RTTI299// CHECK-10-NEXT: -- (Test3::V2, 40) vtable address --300// CHECK-10-NEXT: 13 | void Test3::C::f()301// CHECK-10-NEXT: [this adjustment: 0 non-virtual, -32 vcall offset offset]302 303// CHECK-11: Construction vtable for ('Test3::V2', 40) in 'Test3::D' (9 entries).304// CHECK-11-NEXT: 0 | vcall_offset (0)305// CHECK-11-NEXT: 1 | vbase_offset (-16)306// CHECK-11-NEXT: 2 | offset_to_top (0)307// CHECK-11-NEXT: 3 | Test3::V2 RTTI308// CHECK-11-NEXT: -- (Test3::V2, 40) vtable address --309// CHECK-11-NEXT: 4 | void Test3::V2::f()310// CHECK-11-NEXT: 5 | vcall_offset (16)311// CHECK-11-NEXT: 6 | offset_to_top (16)312// CHECK-11-NEXT: 7 | Test3::V2 RTTI313// CHECK-11-NEXT: -- (Test3::V1, 24) vtable address --314// CHECK-11-NEXT: 8 | void Test3::V2::f()315// CHECK-11-NEXT: [this adjustment: 0 non-virtual, -24 vcall offset offset]316struct D : B, C {317 int d;318 virtual void g();319};320void D::g() { }321 322}323