From cc623a02acc749d3125d3e9b707fcdcb118c7933 Mon Sep 17 00:00:00 2001 From: Timur Iskhodzhanov Date: Mon, 21 Apr 2014 20:23:34 +0000 Subject: [PATCH] Split out the rest of MS ABI multiple inheritance tests Intentionally duplicate base class definitions per test, so it's easier to copy tests while debugging failures. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@206782 91177308-0d34-0410-b5e6-96231b3b80d8 --- ...le-nonvirtual-inheritance-pure-virtual.cpp | 35 + ...nvirtual-inheritance-return-adjustment.cpp | 297 +++++++++ ...nonvirtual-inheritance-this-adjustment.cpp | 140 ++++ ...multiple-nonvirtual-inheritance-vdtors.cpp | 94 +++ ...tables-multiple-nonvirtual-inheritance.cpp | 609 ------------------ 5 files changed, 566 insertions(+), 609 deletions(-) create mode 100644 test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance-pure-virtual.cpp create mode 100644 test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance-return-adjustment.cpp create mode 100644 test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance-this-adjustment.cpp create mode 100644 test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance-vdtors.cpp delete mode 100644 test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance.cpp diff --git a/test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance-pure-virtual.cpp b/test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance-pure-virtual.cpp new file mode 100644 index 0000000000..76182a2e33 --- /dev/null +++ b/test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance-pure-virtual.cpp @@ -0,0 +1,35 @@ +// RUN: %clang_cc1 %s -fno-rtti -triple=i386-pc-win32 -emit-llvm -o %t.ll -fdump-vtable-layouts >%t +// RUN: FileCheck %s < %t +// RUN: FileCheck --check-prefix=MANGLING %s < %t.ll + +struct A { + virtual void f(); +}; + +struct B { + virtual void g() = 0; + virtual void h(); +}; + +struct C : A, B { + // CHECK-LABEL: VFTable for 'A' in 'C' (1 entry) + // CHECK-NEXT: 0 | void A::f() + + // CHECK-LABEL: VFTable for 'B' in 'C' (2 entries) + // CHECK-NEXT: 0 | void C::g() + // CHECK-NEXT: 1 | void B::h() + + // CHECK-LABEL: VFTable indices for 'C' (1 entry). + // CHECK-NEXT: via vfptr at offset 4 + // CHECK-NEXT: 0 | void C::g() + + // MANGLING-DAG: @"\01??_7C@@6BA@@@" + // MANGLING-DAG: @"\01??_7C@@6BB@@@" + + // Overrides only the right child's method (B::g), + // needs this adjustment but not thunks. + virtual void g(); +}; + +C c; +void build_vftable(C *obj) { obj->g(); } diff --git a/test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance-return-adjustment.cpp b/test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance-return-adjustment.cpp new file mode 100644 index 0000000000..2d0bf63622 --- /dev/null +++ b/test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance-return-adjustment.cpp @@ -0,0 +1,297 @@ +// RUN: %clang_cc1 %s -fno-rtti -triple=i386-pc-win32 -emit-llvm -o %t.ll -fdump-vtable-layouts >%t +// RUN: FileCheck %s < %t +// RUN: FileCheck --check-prefix=MANGLING %s < %t.ll + +namespace test1 { +struct A { + virtual void g(); + // Add an extra virtual method so it's easier to check for the absence of thunks. + virtual void h(); +}; + +struct B { + virtual void g(); +}; + +// Overrides a method of two bases at the same time, thus needing thunks. +struct C : A, B { + virtual void g(); +}; + +struct D { + virtual B* foo(); + virtual void z(); +}; + +struct X : D { + // CHECK-LABEL: VFTable for 'test1::D' in 'test1::X' (3 entries). + // CHECK-NEXT: 0 | test1::C *test1::X::foo() + // CHECK-NEXT: [return adjustment (to type 'struct test1::B *'): 4 non-virtual] + // CHECK-NEXT: 1 | void test1::D::z() + // CHECK-NEXT: 2 | test1::C *test1::X::foo() + + // CHECK-LABEL: Thunks for 'test1::C *test1::X::foo()' (1 entry). + // CHECK-NEXT: 0 | [return adjustment (to type 'struct test1::B *'): 4 non-virtual] + + // CHECK-LABEL: VFTable indices for 'test1::X' (1 entry). + // CHECK-NEXT: 2 | test1::C *test1::X::foo() + + // MANGLING-DAG: @"\01??_7X@test1@@6B@" + + virtual C* foo(); +} x; + +void build_vftable(X *obj) { obj->foo(); } +} + +namespace test2 { +struct A { + virtual void g(); + virtual void h(); +}; + +struct B { + virtual void g(); +}; + +struct C : A, B { + virtual void g(); +}; + +struct D { + virtual B* foo(); + virtual void z(); +}; + +struct E : D { + virtual C* foo(); +}; + +struct F : C { }; + +struct X : E { + virtual F* foo(); + // CHECK-LABEL: VFTable for 'test2::D' in 'test2::E' in 'test2::X' (4 entries). + // CHECK-NEXT: 0 | test2::F *test2::X::foo() + // CHECK-NEXT: [return adjustment (to type 'struct test2::B *'): 4 non-virtual] + // CHECK-NEXT: 1 | void test2::D::z() + // CHECK-NEXT: 2 | test2::F *test2::X::foo() + // CHECK-NEXT: [return adjustment (to type 'struct test2::C *'): 0 non-virtual] + // CHECK-NEXT: 3 | test2::F *test2::X::foo() + + // CHECK-LABEL: Thunks for 'test2::F *test2::X::foo()' (2 entries). + // CHECK-NEXT: 0 | [return adjustment (to type 'struct test2::C *'): 0 non-virtual] + // CHECK-NEXT: 1 | [return adjustment (to type 'struct test2::B *'): 4 non-virtual] + + // CHECK-LABEL: VFTable indices for 'test2::X' (1 entry). + // CHECK-NEXT: 3 | test2::F *test2::X::foo() +}; + +void build_vftable(X *obj) { obj->foo(); } +} + +namespace test3 { +struct A { + virtual void g(); + virtual void h(); +}; + +struct B { + virtual void g(); +}; + +struct C : A, B { + virtual void g(); +}; + +struct D { + virtual B* foo(); + virtual void z(); +}; + +struct E : D { + virtual C* foo(); +}; + +struct F : A, C { }; + +struct X : E { + // CHECK-LABEL: VFTable for 'test3::D' in 'test3::E' in 'test3::X' (4 entries). + // CHECK-NEXT: 0 | test3::F *test3::X::foo() + // CHECK-NEXT: [return adjustment (to type 'struct test3::B *'): 8 non-virtual] + // CHECK-NEXT: 1 | void test3::D::z() + // CHECK-NEXT: 2 | test3::F *test3::X::foo() + // CHECK-NEXT: [return adjustment (to type 'struct test3::C *'): 4 non-virtual] + // CHECK-NEXT: 3 | test3::F *test3::X::foo() + + // CHECK-LABEL: Thunks for 'test3::F *test3::X::foo()' (2 entries). + // CHECK-NEXT: 0 | [return adjustment (to type 'struct test3::C *'): 4 non-virtual] + // CHECK-NEXT: 1 | [return adjustment (to type 'struct test3::B *'): 8 non-virtual] + + // CHECK-LABEL: VFTable indices for 'test3::X' (1 entry). + // CHECK-NEXT: 3 | test3::F *test3::X::foo() + + virtual F* foo(); +}; + +void build_vftable(X *obj) { obj->foo(); } +} + +namespace test4 { +struct A { + virtual void g(); + virtual void h(); +}; + +struct B { + virtual void g(); +}; + +struct C : A, B { + virtual void g(); +}; + +struct D { + virtual B* foo(); + virtual void z(); +}; + +struct E : D { + virtual C* foo(); +}; + +struct F : A, C { }; + +struct X : D, E { + // CHECK-LABEL: VFTable for 'test4::D' in 'test4::X' (3 entries). + // CHECK-NEXT: 0 | test4::F *test4::X::foo() + // CHECK-NEXT: [return adjustment (to type 'struct test4::B *'): 8 non-virtual] + // CHECK-NEXT: 1 | void test4::D::z() + // CHECK-NEXT: 2 | test4::F *test4::X::foo() + + // CHECK-LABEL: Thunks for 'test4::F *test4::X::foo()' (1 entry). + // CHECK-NEXT: 0 | [return adjustment (to type 'struct test4::B *'): 8 non-virtual] + + // CHECK-LABEL: VFTable for 'test4::D' in 'test4::E' in 'test4::X' (4 entries). + // CHECK-NEXT: 0 | test4::F *test4::X::foo() + // CHECK-NEXT: [return adjustment (to type 'struct test4::B *'): 8 non-virtual] + // CHECK-NEXT: [this adjustment: -4 non-virtual] + // CHECK-NEXT: 1 | void test4::D::z() + // CHECK-NEXT: 2 | test4::F *test4::X::foo() + // CHECK-NEXT: [return adjustment (to type 'struct test4::C *'): 4 non-virtual] + // CHECK-NEXT: [this adjustment: -4 non-virtual] + // CHECK-NEXT: 3 | test4::F *test4::X::foo() + // CHECK-NEXT: [return adjustment (to type 'struct test4::F *'): 0 non-virtual] + // CHECK-NEXT: [this adjustment: -4 non-virtual] + + // CHECK-LABEL: Thunks for 'test4::F *test4::X::foo()' (3 entries). + // CHECK-NEXT: 0 | [return adjustment (to type 'struct test4::F *'): 0 non-virtual] + // CHECK-NEXT: [this adjustment: -4 non-virtual] + // CHECK-NEXT: 1 | [return adjustment (to type 'struct test4::C *'): 4 non-virtual] + // CHECK-NEXT: [this adjustment: -4 non-virtual] + // CHECK-NEXT: 2 | [return adjustment (to type 'struct test4::B *'): 8 non-virtual] + // CHECK-NEXT: [this adjustment: -4 non-virtual] + + // CHECK-LABEL: VFTable indices for 'test4::X' (1 entry). + // CHECK-NEXT: 2 | test4::F *test4::X::foo() + + virtual F* foo(); +}; + +void build_vftable(X *obj) { obj->foo(); } +} + +namespace test5 { +struct A { + virtual void g(); + virtual void h(); +}; + +struct B { + virtual void g(); +}; + +struct C : A, B { + virtual void g(); +}; + +struct D { + virtual B* foo(); + virtual void z(); +}; + +struct X : A, D { + // CHECK-LABEL: VFTable for 'test5::A' in 'test5::X' (2 entries). + // CHECK-NEXT: 0 | void test5::A::g() + // CHECK-NEXT: 1 | void test5::A::h() + + // CHECK-LABEL: VFTable for 'test5::D' in 'test5::X' (3 entries). + // CHECK-NEXT: 0 | test5::C *test5::X::foo() + // CHECK-NEXT: [return adjustment (to type 'struct test5::B *'): 4 non-virtual] + // CHECK-NEXT: 1 | void test5::D::z() + // CHECK-NEXT: 2 | test5::C *test5::X::foo() + + // CHECK-LABEL: Thunks for 'test5::C *test5::X::foo()' (1 entry). + // CHECK-NEXT: 0 | [return adjustment (to type 'struct test5::B *'): 4 non-virtual] + + // CHECK-LABEL: VFTable indices for 'test5::X' (1 entry). + // CHECK-NEXT: via vfptr at offset 4 + // CHECK-NEXT: 2 | test5::C *test5::X::foo() + + virtual C* foo(); +}; + +void build_vftable(X *obj) { obj->foo(); } +} + +namespace test6 { +struct A { + virtual void g(); + virtual void h(); +}; + +struct B { + virtual void g(); +}; + +struct C : A, B { + virtual void g(); +}; + +struct D { + virtual B* foo(); + virtual void z(); +}; + +struct E : A, D { + virtual C* foo(); +}; + +struct F : A, C { }; + +struct X : E { + // CHECK-LABEL: VFTable for 'test6::A' in 'test6::E' in 'test6::X' (2 entries). + // CHECK-NEXT: 0 | void test6::A::g() + // CHECK-NEXT: 1 | void test6::A::h() + + // CHECK-LABEL: VFTable for 'test6::D' in 'test6::E' in 'test6::X' (4 entries). + // CHECK-NEXT: 0 | test6::F *test6::X::foo() + // CHECK-NEXT: [return adjustment (to type 'struct test6::B *'): 8 non-virtual] + // CHECK-NEXT: 1 | void test6::D::z() + // CHECK-NEXT: 2 | test6::F *test6::X::foo() + // CHECK-NEXT: [return adjustment (to type 'struct test6::C *'): 4 non-virtual] + // CHECK-NEXT: 3 | test6::F *test6::X::foo() + + // CHECK-LABEL: Thunks for 'test6::F *test6::X::foo()' (2 entries). + // CHECK-NEXT: 0 | [return adjustment (to type 'struct test6::C *'): 4 non-virtual] + // CHECK-NEXT: 1 | [return adjustment (to type 'struct test6::B *'): 8 non-virtual] + + // CHECK-LABEL: VFTable indices for 'test6::X' (1 entry). + // CHECK-NEXT: -- accessible via vfptr at offset 4 -- + // CHECK-NEXT: 3 | test6::F *test6::X::foo() + + virtual F* foo(); +}; + +void build_vftable(X *obj) { obj->foo(); } +} diff --git a/test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance-this-adjustment.cpp b/test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance-this-adjustment.cpp new file mode 100644 index 0000000000..957980aa95 --- /dev/null +++ b/test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance-this-adjustment.cpp @@ -0,0 +1,140 @@ +// RUN: %clang_cc1 %s -fno-rtti -triple=i386-pc-win32 -emit-llvm -o %t.ll -fdump-vtable-layouts >%t +// RUN: FileCheck %s < %t +// RUN: FileCheck --check-prefix=MANGLING %s < %t.ll + +namespace test1 { +struct A { + virtual void g(); + // Add an extra virtual method so it's easier to check for the absence of thunks. + virtual void h(); +}; + +struct B { + virtual void g(); // Collides with A::g if both are bases of some class. +}; + +// Overrides methods of two bases at the same time, thus needing thunks. +struct X : A, B { + // CHECK-LABEL: VFTable for 'test1::A' in 'test1::X' (2 entries). + // CHECK-NEXT: 0 | void test1::X::g() + // CHECK-NEXT: 1 | void test1::A::h() + + // CHECK-LABEL: VFTable for 'test1::B' in 'test1::X' (1 entry). + // CHECK-NEXT: 0 | void test1::X::g() + // CHECK-NEXT: [this adjustment: -4 non-virtual] + + // CHECK-LABEL: Thunks for 'void test1::X::g()' (1 entry). + // CHECK-NEXT: 0 | [this adjustment: -4 non-virtual] + + // CHECK-LABEL: VFTable indices for 'test1::X' (1 entry). + // CHECK-NEXT: 0 | void test1::X::g() + + // MANGLING-DAG: @"\01??_7X@test1@@6BA@1@@" + // MANGLING-DAG: @"\01??_7X@test1@@6BB@1@@" + + virtual void g(); +} x; + +void build_vftable(X *obj) { obj->g(); } +} + +namespace test2 { +struct A { + virtual void f(); +}; + +struct B { + virtual void g(); + virtual void h(); +}; + +struct C { + virtual void g(); +}; + +struct X : A, B, C { + // CHECK-LABEL: VFTable for 'test2::A' in 'test2::X' (1 entry). + // CHECK-NEXT: 0 | void test2::A::f() + + // CHECK-LABEL: VFTable for 'test2::B' in 'test2::X' (2 entries). + // CHECK-NEXT: 0 | void test2::X::g() + // CHECK-NEXT: 1 | void test2::B::h() + + // CHECK-LABEL: VFTable for 'test2::C' in 'test2::X' (1 entry). + // CHECK-NEXT: 0 | void test2::X::g() + // CHECK-NEXT: [this adjustment: -4 non-virtual] + + // CHECK-LABEL: Thunks for 'void test2::X::g()' (1 entry). + // CHECK-NEXT: 0 | [this adjustment: -4 non-virtual] + + // CHECK-LABEL: VFTable indices for 'test2::X' (1 entry). + // CHECK-NEXT: via vfptr at offset 4 + // CHECK-NEXT: 0 | void test2::X::g() + + // MANGLING-DAG: @"\01??_7X@test2@@6BA@1@@" + // MANGLING-DAG: @"\01??_7X@test2@@6BB@1@@" + // MANGLING-DAG: @"\01??_7X@test2@@6BC@1@@" + + virtual void g(); +} x; + +void build_vftable(X *obj) { obj->g(); } +} + +namespace test3 { +struct A { + virtual void f(); +}; + +struct B { + virtual void g(); + virtual void h(); +}; + +struct C: A, B { + // Overrides only the left child's method (A::f), needs no thunks. + virtual void f(); +}; + +struct D: A, B { + // Overrides only the right child's method (B::g), + // needs this adjustment but not thunks. + virtual void g(); +}; + +// Overrides methods of two bases at the same time, thus needing thunks. +struct X: C, D { + // CHECK-LABEL: VFTable for 'test3::A' in 'test3::C' in 'test3::X' (1 entry). + // CHECK-NEXT: 0 | void test3::X::f() + + // CHECK-LABEL: VFTable for 'test3::B' in 'test3::C' in 'test3::X' (2 entries). + // CHECK-NEXT: 0 | void test3::X::g() + // CHECK-NEXT: 1 | void test3::B::h() + + // CHECK-LABEL: VFTable for 'test3::A' in 'test3::D' in 'test3::X' (1 entry). + // CHECK-NEXT: 0 | void test3::X::f() + // CHECK-NEXT: [this adjustment: -8 non-virtual] + + // CHECK-LABEL: Thunks for 'void test3::X::f()' (1 entry). + // CHECK-NEXT: 0 | [this adjustment: -8 non-virtual] + + // CHECK-LABEL: VFTable for 'test3::B' in 'test3::D' in 'test3::X' (2 entries). + // CHECK-NEXT: 0 | void test3::X::g() + // CHECK-NEXT: [this adjustment: -8 non-virtual] + // CHECK-NEXT: 1 | void test3::B::h() + + // CHECK-LABEL: Thunks for 'void test3::X::g()' (1 entry). + // CHECK-NEXT: 0 | [this adjustment: -8 non-virtual] + + // CHECK-LABEL: VFTable indices for 'test3::X' (2 entries). + // CHECK-NEXT: via vfptr at offset 0 + // CHECK-NEXT: 0 | void test3::X::f() + // CHECK-NEXT: via vfptr at offset 4 + // CHECK-NEXT: 0 | void test3::X::g() + + virtual void f(); + virtual void g(); +} x; + +void build_vftable(X *obj) { obj->g(); } +} diff --git a/test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance-vdtors.cpp b/test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance-vdtors.cpp new file mode 100644 index 0000000000..a407766f8e --- /dev/null +++ b/test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance-vdtors.cpp @@ -0,0 +1,94 @@ +// RUN: %clang_cc1 %s -fno-rtti -triple=i386-pc-win32 -emit-llvm -o %t.ll -fdump-vtable-layouts >%t +// RUN: FileCheck %s < %t + +struct A { + virtual ~A(); + virtual void z1(); +}; + +struct B { + virtual ~B(); +}; + +struct C : A, B { + // CHECK-LABEL: VFTable for 'A' in 'C' (2 entries). + // CHECK-NEXT: 0 | C::~C() [scalar deleting] + // CHECK-NEXT: 1 | void A::z1() + + // CHECK-LABEL: VFTable for 'B' in 'C' (1 entry). + // CHECK-NEXT: 0 | C::~C() [scalar deleting] + // CHECK-NEXT: [this adjustment: -4 non-virtual] + + // CHECK-LABEL: Thunks for 'C::~C()' (1 entry). + // CHECK-NEXT: 0 | [this adjustment: -4 non-virtual] + + // CHECK-LABEL: VFTable indices for 'C' (1 entry). + // CHECK-NEXT: 0 | C::~C() [scalar deleting] + virtual ~C(); +}; + +void build_vftable(C *obj) { delete obj; } + +struct D { + // No virtual destructor here! + virtual void z4(); +}; + +struct E : D, B { + // Implicit virtual dtor here! + + // CHECK-LABEL: VFTable for 'D' in 'E' (1 entry). + // CHECK-NEXT: 0 | void D::z4() + + // CHECK-LABEL: VFTable for 'B' in 'E' (1 entry). + // CHECK-NEXT: 0 | E::~E() [scalar deleting] + // CHECK-NEXT: [this adjustment: -4 non-virtual] + + // CHECK-LABEL: Thunks for 'E::~E()' (1 entry). + // CHECK-NEXT: 0 | [this adjustment: -4 non-virtual] + + // CHECK-LABEL: VFTable indices for 'E' (1 entry). + // CHECK-NEXT: -- accessible via vfptr at offset 4 -- + // CHECK-NEXT: 0 | E::~E() [scalar deleting] +}; + +void build_vftable(E *obj) { delete obj; } + +struct F : D, B { + // Implicit virtual dtor here! + + // CHECK-LABEL: VFTable for 'D' in 'F' (1 entry). + // CHECK-NEXT: 0 | void D::z4() + + // CHECK-LABEL: VFTable for 'B' in 'F' (1 entry). + // CHECK-NEXT: 0 | F::~F() [scalar deleting] + // CHECK-NEXT: [this adjustment: -4 non-virtual] + + // CHECK-LABEL: Thunks for 'F::~F()' (1 entry). + // CHECK-NEXT: 0 | [this adjustment: -4 non-virtual] + + // CHECK-LABEL: VFTable indices for 'F' (1 entry). + // CHECK-NEXT: -- accessible via vfptr at offset 4 -- + // CHECK-NEXT: 0 | F::~F() [scalar deleting] +}; + +void build_vftable(F *obj) { delete obj; } + +struct G : F { + // CHECK-LABEL: VFTable for 'D' in 'F' in 'G' (1 entry). + // CHECK-NEXT: 0 | void D::z4() + + // CHECK-LABEL: VFTable for 'B' in 'F' in 'G' (1 entry). + // CHECK-NEXT: 0 | G::~G() [scalar deleting] + // CHECK-NEXT: [this adjustment: -4 non-virtual] + + // CHECK-LABEL: Thunks for 'G::~G()' (1 entry). + // CHECK-NEXT: 0 | [this adjustment: -4 non-virtual] + + // CHECK-LABEL: VFTable indices for 'G' (1 entry). + // CHECK-NEXT: -- accessible via vfptr at offset 4 -- + // CHECK-NEXT: 0 | G::~G() [scalar deleting] + virtual ~G(); +}; + +void build_vftable(G *obj) { delete obj; } diff --git a/test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance.cpp b/test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance.cpp deleted file mode 100644 index 39f2079017..0000000000 --- a/test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance.cpp +++ /dev/null @@ -1,609 +0,0 @@ -// RUN: %clang_cc1 %s -fno-rtti -triple=i386-pc-win32 -emit-llvm -o %t.ll -fdump-vtable-layouts >%t -// RUN: FileCheck %s < %t -// RUN: FileCheck --check-prefix=MANGLING %s < %t.ll - -struct Empty { - // Doesn't have a vftable! -}; - -struct A { - virtual void f(); -}; - -struct B { - virtual void g(); - // Add an extra virtual method so it's easier to check for the absence of thunks. - virtual void h(); -}; - -struct C { - virtual void g(); // Might "collide" with B::g if both are bases of some class. -}; - - -namespace no_thunks { - -struct Test1: A, B { - // CHECK-LABEL:Test1' (1 entry) - // CHECK-NEXT: 0 | void no_thunks::Test1::f() - - // CHECK-LABEL:Test1' (2 entries) - // CHECK-NEXT: 0 | void B::g() - // CHECK-NEXT: 1 | void B::h() - - // CHECK-LABEL:Test1' (1 entry) - // CHECK-NEXT: 0 | void no_thunks::Test1::f() - - // MANGLING-DAG: @"\01??_7Test1@no_thunks@@6BA@@@" - // MANGLING-DAG: @"\01??_7Test1@no_thunks@@6BB@@@" - - // Overrides only the left child's method (A::f), needs no thunks. - virtual void f(); -}; - -Test1 t1; -void use(Test1 *obj) { obj->f(); } - -struct Test2: A, B { - // CHECK-LABEL: VFTable for 'A' in 'no_thunks::Test2' (1 entry) - // CHECK-NEXT: 0 | void A::f() - - // CHECK-LABEL: VFTable for 'B' in 'no_thunks::Test2' (2 entries) - // CHECK-NEXT: 0 | void no_thunks::Test2::g() - // CHECK-NEXT: 1 | void B::h() - - // CHECK-LABEL: VFTable indices for 'no_thunks::Test2' (1 entry). - // CHECK-NEXT: via vfptr at offset 4 - // CHECK-NEXT: 0 | void no_thunks::Test2::g() - - // Overrides only the right child's method (B::g), needs this adjustment but - // not thunks. - virtual void g(); -}; - -Test2 t2; -void use(Test2 *obj) { obj->g(); } - -struct Test3: A, B { - // CHECK-LABEL: VFTable for 'A' in 'no_thunks::Test3' (2 entries) - // CHECK-NEXT: 0 | void A::f() - // CHECK-NEXT: 1 | void no_thunks::Test3::i() - - // CHECK-LABEL: VFTable for 'B' in 'no_thunks::Test3' (2 entries) - // CHECK-NEXT: 0 | void B::g() - // CHECK-NEXT: 1 | void B::h() - - // CHECK-LABEL: VFTable indices for 'no_thunks::Test3' (1 entry). - // CHECK-NEXT: 1 | void no_thunks::Test3::i() - - // Only adds a new method. - virtual void i(); -}; - -Test3 t3; -void use(Test3 *obj) { obj->i(); } - -// Only the right base has a vftable, so it's laid out before the left one! -struct Test4 : Empty, A { - // CHECK-LABEL: VFTable for 'A' in 'no_thunks::Test4' (1 entry) - // CHECK-NEXT: 0 | void no_thunks::Test4::f() - - // CHECK-LABEL: VFTable indices for 'no_thunks::Test4' (1 entry). - // CHECK-NEXT: 0 | void no_thunks::Test4::f() - - // MANGLING-DAG: @"\01??_7Test4@no_thunks@@6B@" - - virtual void f(); -}; - -Test4 t4; -void use(Test4 *obj) { obj->f(); } - -// 2-level structure with repeating subobject types, but no thunks needed. -struct Test5: Test1, Test2 { - // CHECK-LABEL: VFTable for 'A' in 'no_thunks::Test1' in 'no_thunks::Test5' (2 entries) - // CHECK-NEXT: 0 | void no_thunks::Test1::f() - // CHECK-NEXT: 1 | void no_thunks::Test5::z() - - // CHECK-LABEL: VFTable for 'B' in 'no_thunks::Test1' in 'no_thunks::Test5' (2 entries) - // CHECK-NEXT: 0 | void B::g() - // CHECK-NEXT: 1 | void B::h() - - // CHECK-LABEL: VFTable for 'A' in 'no_thunks::Test2' in 'no_thunks::Test5' (1 entry) - // CHECK-NEXT: 0 | void A::f() - - // CHECK-LABEL: VFTable for 'B' in 'no_thunks::Test2' in 'no_thunks::Test5' (2 entries) - // CHECK-NEXT: 0 | void no_thunks::Test2::g() - // CHECK-NEXT: 1 | void B::h() - - // CHECK-LABEL: VFTable indices for 'no_thunks::Test5' (1 entry). - // CHECK-NEXT: 1 | void no_thunks::Test5::z() - - // MANGLING-DAG: @"\01??_7Test5@no_thunks@@6BA@@Test1@1@@" - // MANGLING-DAG: @"\01??_7Test5@no_thunks@@6BA@@Test2@1@@" - // MANGLING-DAG: @"\01??_7Test5@no_thunks@@6BB@@Test1@1@@" - // MANGLING-DAG: @"\01??_7Test5@no_thunks@@6BB@@Test2@1@@" - - virtual void z(); -}; - -Test5 t5; -void use(Test5 *obj) { obj->z(); } - -struct Test6: Test1 { - // CHECK-LABEL: VFTable for 'A' in 'no_thunks::Test1' in 'no_thunks::Test6' (1 entry). - // CHECK-NEXT: 0 | void no_thunks::Test6::f() - - // CHECK-LABEL: VFTable for 'B' in 'no_thunks::Test1' in 'no_thunks::Test6' (2 entries). - // CHECK-NEXT: 0 | void B::g() - // CHECK-NEXT: 1 | void B::h() - - // CHECK-LABEL: VFTable indices for 'no_thunks::Test6' (1 entry). - // CHECK-NEXT: 0 | void no_thunks::Test6::f() - - // MANGLING-DAG: @"\01??_7Test6@no_thunks@@6BA@@@" - // MANGLING-DAG: @"\01??_7Test6@no_thunks@@6BB@@@" - - // Overrides both no_thunks::Test1::f and A::f. - virtual void f(); -}; - -Test6 t6; -void use(Test6 *obj) { obj->f(); } - -struct Test7: Test2 { - // CHECK-LABEL: VFTable for 'A' in 'no_thunks::Test2' in 'no_thunks::Test7' (1 entry). - // CHECK-NEXT: 0 | void A::f() - - // CHECK-LABEL: VFTable for 'B' in 'no_thunks::Test2' in 'no_thunks::Test7' (2 entries). - // CHECK-NEXT: 0 | void no_thunks::Test7::g() - // CHECK-NEXT: 1 | void B::h() - - // CHECK-LABEL: VFTable indices for 'no_thunks::Test7' (1 entry). - // CHECK-NEXT: via vfptr at offset 4 - // CHECK-NEXT: 0 | void no_thunks::Test7::g() - - // Overrides both no_thunks::Test2::g and B::g. - virtual void g(); -}; - -Test7 t7; -void use(Test7 *obj) { obj->g(); } - -struct Test8: Test3 { - // CHECK-LABEL: VFTable for 'A' in 'no_thunks::Test3' in 'no_thunks::Test8' (2 entries). - // CHECK-NEXT: 0 | void A::f() - // CHECK-NEXT: 1 | void no_thunks::Test3::i() - - // CHECK-LABEL: VFTable for 'B' in 'no_thunks::Test3' in 'no_thunks::Test8' (2 entries). - // CHECK-NEXT: 0 | void no_thunks::Test8::g() - // CHECK-NEXT: 1 | void B::h() - - // CHECK-LABEL: VFTable indices for 'no_thunks::Test8' (1 entry). - // CHECK-NEXT: via vfptr at offset 4 - // CHECK-NEXT: 0 | void no_thunks::Test8::g() - - // Overrides grandparent's B::g. - virtual void g(); -}; - -Test8 t8; -void use(Test8 *obj) { obj->g(); } - -struct D : A { - virtual void g(); -}; - -// Repeating subobject. -struct Test9: A, D { - // CHECK-LABEL: VFTable for 'A' in 'no_thunks::Test9' (2 entries). - // CHECK-NEXT: 0 | void A::f() - // CHECK-NEXT: 1 | void no_thunks::Test9::h() - - // CHECK-LABEL: VFTable for 'A' in 'no_thunks::D' in 'no_thunks::Test9' (2 entries). - // CHECK-NEXT: 0 | void A::f() - // CHECK-NEXT: 1 | void no_thunks::D::g() - - // CHECK-LABEL: VFTable indices for 'no_thunks::Test9' (1 entry). - // CHECK-NEXT: 1 | void no_thunks::Test9::h() - - // MANGLING-DAG: @"\01??_7Test9@no_thunks@@6BA@@@" - // MANGLING-DAG: @"\01??_7Test9@no_thunks@@6BD@1@@" - - virtual void h(); -}; - -Test9 t9; -void use(Test9 *obj) { obj->h(); } -} - -namespace pure_virtual { -struct D { - virtual void g() = 0; - virtual void h(); -}; - - -struct Test1: A, D { - // CHECK: VFTable for 'A' in 'pure_virtual::Test1' (1 entry) - // CHECK-NEXT: 0 | void A::f() - - // CHECK: VFTable for 'pure_virtual::D' in 'pure_virtual::Test1' (2 entries) - // CHECK-NEXT: 0 | void pure_virtual::Test1::g() - // CHECK-NEXT: 1 | void pure_virtual::D::h() - - // CHECK: VFTable indices for 'pure_virtual::Test1' (1 entry). - // CHECK-NEXT: via vfptr at offset 4 - // CHECK-NEXT: 0 | void pure_virtual::Test1::g() - - // MANGLING-DAG: @"\01??_7Test1@pure_virtual@@6BA@@@" - // MANGLING-DAG: @"\01??_7Test1@pure_virtual@@6BD@1@@" - - // Overrides only the right child's method (pure_virtual::D::g), needs this adjustment but - // not thunks. - virtual void g(); -}; - -Test1 t1; -void use(Test1 *obj) { obj->g(); } -} - -namespace this_adjustment { - -// Overrides methods of two bases at the same time, thus needing thunks. -struct Test1 : B, C { - // CHECK-LABEL: VFTable for 'B' in 'this_adjustment::Test1' (2 entries). - // CHECK-NEXT: 0 | void this_adjustment::Test1::g() - // CHECK-NEXT: 1 | void B::h() - - // CHECK-LABEL: VFTable for 'C' in 'this_adjustment::Test1' (1 entry). - // CHECK-NEXT: 0 | void this_adjustment::Test1::g() - // CHECK-NEXT: [this adjustment: -4 non-virtual] - - // CHECK-LABEL: Thunks for 'void this_adjustment::Test1::g()' (1 entry). - // CHECK-NEXT: 0 | [this adjustment: -4 non-virtual] - - // CHECK-LABEL: VFTable indices for 'this_adjustment::Test1' (1 entry). - // CHECK-NEXT: 0 | void this_adjustment::Test1::g() - - // MANGLING-DAG: @"\01??_7Test1@this_adjustment@@6BB@@@" - // MANGLING-DAG: @"\01??_7Test1@this_adjustment@@6BC@@@" - - virtual void g(); -}; - -Test1 t1; -void use(Test1 *obj) { obj->g(); } - -struct Test2 : A, B, C { - // CHECK-LABEL: VFTable for 'A' in 'this_adjustment::Test2' (1 entry). - // CHECK-NEXT: 0 | void A::f() - - // CHECK-LABEL: VFTable for 'B' in 'this_adjustment::Test2' (2 entries). - // CHECK-NEXT: 0 | void this_adjustment::Test2::g() - // CHECK-NEXT: 1 | void B::h() - - // CHECK-LABEL: VFTable for 'C' in 'this_adjustment::Test2' (1 entry). - // CHECK-NEXT: 0 | void this_adjustment::Test2::g() - // CHECK-NEXT: [this adjustment: -4 non-virtual] - - // CHECK-LABEL: Thunks for 'void this_adjustment::Test2::g()' (1 entry). - // CHECK-NEXT: 0 | [this adjustment: -4 non-virtual] - - // CHECK-LABEL: VFTable indices for 'this_adjustment::Test2' (1 entry). - // CHECK-NEXT: via vfptr at offset 4 - // CHECK-NEXT: 0 | void this_adjustment::Test2::g() - - // MANGLING-DAG: @"\01??_7Test2@this_adjustment@@6BA@@@" - // MANGLING-DAG: @"\01??_7Test2@this_adjustment@@6BB@@@" - // MANGLING-DAG: @"\01??_7Test2@this_adjustment@@6BC@@@" - - virtual void g(); -}; - -Test2 t2; -void use(Test2 *obj) { obj->g(); } - -// Overrides methods of two bases at the same time, thus needing thunks. -struct Test3: no_thunks::Test1, no_thunks::Test2 { - // CHECK-LABEL: VFTable for 'A' in 'no_thunks::Test1' in 'this_adjustment::Test3' (1 entry). - // CHECK-NEXT: 0 | void this_adjustment::Test3::f() - - // CHECK-LABEL: VFTable for 'B' in 'no_thunks::Test1' in 'this_adjustment::Test3' (2 entries). - // CHECK-NEXT: 0 | void this_adjustment::Test3::g() - // CHECK-NEXT: 1 | void B::h() - - // CHECK-LABEL: VFTable for 'A' in 'no_thunks::Test2' in 'this_adjustment::Test3' (1 entry). - // CHECK-NEXT: 0 | void this_adjustment::Test3::f() - // CHECK-NEXT: [this adjustment: -8 non-virtual] - - // CHECK-LABEL: Thunks for 'void this_adjustment::Test3::f()' (1 entry). - // CHECK-NEXT: 0 | [this adjustment: -8 non-virtual] - - // CHECK-LABEL: VFTable for 'B' in 'no_thunks::Test2' in 'this_adjustment::Test3' (2 entries). - // CHECK-NEXT: 0 | void this_adjustment::Test3::g() - // CHECK-NEXT: [this adjustment: -8 non-virtual] - // CHECK-NEXT: 1 | void B::h() - - // CHECK-LABEL: Thunks for 'void this_adjustment::Test3::g()' (1 entry). - // CHECK-NEXT: 0 | [this adjustment: -8 non-virtual] - - // CHECK-LABEL: VFTable indices for 'this_adjustment::Test3' (2 entries). - // CHECK-NEXT: via vfptr at offset 0 - // CHECK-NEXT: 0 | void this_adjustment::Test3::f() - // CHECK-NEXT: via vfptr at offset 4 - // CHECK-NEXT: 0 | void this_adjustment::Test3::g() - - virtual void f(); - virtual void g(); -}; - -Test3 t3; -void use(Test3 *obj) { obj->g(); } -} - -namespace vdtor { -struct Test1 { - virtual ~Test1(); - virtual void z1(); -}; - -struct Test2 { - virtual ~Test2(); -}; - -struct Test3 : Test1, Test2 { - // CHECK-LABEL: VFTable for 'vdtor::Test1' in 'vdtor::Test3' (2 entries). - // CHECK-NEXT: 0 | vdtor::Test3::~Test3() [scalar deleting] - // CHECK-NEXT: 1 | void vdtor::Test1::z1() - - // CHECK-LABEL: VFTable for 'vdtor::Test2' in 'vdtor::Test3' (1 entry). - // CHECK-NEXT: 0 | vdtor::Test3::~Test3() [scalar deleting] - // CHECK-NEXT: [this adjustment: -4 non-virtual] - - // CHECK-LABEL: Thunks for 'vdtor::Test3::~Test3()' (1 entry). - // CHECK-NEXT: 0 | [this adjustment: -4 non-virtual] - - // CHECK-LABEL: VFTable indices for 'vdtor::Test3' (1 entry). - // CHECK-NEXT: 0 | vdtor::Test3::~Test3() [scalar deleting] - virtual ~Test3(); -}; - -Test3 t3; -void use(Test3 *obj) { delete obj; } - -struct Test4 { - // No virtual destructor here! - virtual void z4(); -}; - -struct Test5 : Test4, Test2 { - // Implicit virtual dtor here! - - // CHECK-LABEL: VFTable for 'vdtor::Test4' in 'vdtor::Test5' (1 entry). - // CHECK-NEXT: 0 | void vdtor::Test4::z4() - - // CHECK-LABEL: VFTable for 'vdtor::Test2' in 'vdtor::Test5' (1 entry). - // CHECK-NEXT: 0 | vdtor::Test5::~Test5() [scalar deleting] - // CHECK-NEXT: [this adjustment: -4 non-virtual] - - // CHECK-LABEL: Thunks for 'vdtor::Test5::~Test5()' (1 entry). - // CHECK-NEXT: 0 | [this adjustment: -4 non-virtual] - - // CHECK-LABEL: VFTable indices for 'vdtor::Test5' (1 entry). - // CHECK-NEXT: -- accessible via vfptr at offset 4 -- - // CHECK-NEXT: 0 | vdtor::Test5::~Test5() [scalar deleting] -}; - -Test5 t5; -void use(Test5 *obj) { delete obj; } - -struct Test6 : Test4, Test2 { - // Implicit virtual dtor here! - - // CHECK-LABEL: VFTable for 'vdtor::Test4' in 'vdtor::Test6' (1 entry). - // CHECK-NEXT: 0 | void vdtor::Test4::z4() - - // CHECK-LABEL: VFTable for 'vdtor::Test2' in 'vdtor::Test6' (1 entry). - // CHECK-NEXT: 0 | vdtor::Test6::~Test6() [scalar deleting] - // CHECK-NEXT: [this adjustment: -4 non-virtual] - - // CHECK-LABEL: Thunks for 'vdtor::Test6::~Test6()' (1 entry). - // CHECK-NEXT: 0 | [this adjustment: -4 non-virtual] - - // CHECK-LABEL: VFTable indices for 'vdtor::Test6' (1 entry). - // CHECK-NEXT: -- accessible via vfptr at offset 4 -- - // CHECK-NEXT: 0 | vdtor::Test6::~Test6() [scalar deleting] -}; - -Test6 t6; -void use(Test6 *obj) { delete obj; } - -struct Test7 : Test5 { - // CHECK-LABEL: VFTable for 'vdtor::Test4' in 'vdtor::Test5' in 'vdtor::Test7' (1 entry). - // CHECK-NEXT: 0 | void vdtor::Test4::z4() - - // CHECK-LABEL: VFTable for 'vdtor::Test2' in 'vdtor::Test5' in 'vdtor::Test7' (1 entry). - // CHECK-NEXT: 0 | vdtor::Test7::~Test7() [scalar deleting] - // CHECK-NEXT: [this adjustment: -4 non-virtual] - - // CHECK-LABEL: Thunks for 'vdtor::Test7::~Test7()' (1 entry). - // CHECK-NEXT: 0 | [this adjustment: -4 non-virtual] - - // CHECK-LABEL: VFTable indices for 'vdtor::Test7' (1 entry). - // CHECK-NEXT: -- accessible via vfptr at offset 4 -- - // CHECK-NEXT: 0 | vdtor::Test7::~Test7() [scalar deleting] - virtual ~Test7(); -}; - -Test7 t7; -void use(Test7 *obj) { delete obj; } - -} - -namespace return_adjustment { - -struct Ret1 { - virtual C* foo(); - virtual void z(); -}; - -struct Test1 : Ret1 { - // CHECK-LABEL: VFTable for 'return_adjustment::Ret1' in 'return_adjustment::Test1' (3 entries). - // CHECK-NEXT: 0 | this_adjustment::Test1 *return_adjustment::Test1::foo() - // CHECK-NEXT: [return adjustment (to type 'struct C *'): 4 non-virtual] - // CHECK-NEXT: 1 | void return_adjustment::Ret1::z() - // CHECK-NEXT: 2 | this_adjustment::Test1 *return_adjustment::Test1::foo() - - // CHECK-LABEL: Thunks for 'this_adjustment::Test1 *return_adjustment::Test1::foo()' (1 entry). - // CHECK-NEXT: 0 | [return adjustment (to type 'struct C *'): 4 non-virtual] - - // CHECK-LABEL: VFTable indices for 'return_adjustment::Test1' (1 entry). - // CHECK-NEXT: 2 | this_adjustment::Test1 *return_adjustment::Test1::foo() - - // MANGLING-DAG: @"\01??_7Test1@return_adjustment@@6B@" - - virtual this_adjustment::Test1* foo(); -}; - -Test1 t1; -void use(Test1 *obj) { obj->foo(); } - -struct Ret2 : B, this_adjustment::Test1 { }; - -struct Test2 : Test1 { - // CHECK-LABEL: VFTable for 'return_adjustment::Ret1' in 'return_adjustment::Test1' in 'return_adjustment::Test2' (4 entries). - // CHECK-NEXT: 0 | return_adjustment::Ret2 *return_adjustment::Test2::foo() - // CHECK-NEXT: [return adjustment (to type 'struct C *'): 8 non-virtual] - // CHECK-NEXT: 1 | void return_adjustment::Ret1::z() - // CHECK-NEXT: 2 | return_adjustment::Ret2 *return_adjustment::Test2::foo() - // CHECK-NEXT: [return adjustment (to type 'struct this_adjustment::Test1 *'): 4 non-virtual] - // CHECK-NEXT: 3 | return_adjustment::Ret2 *return_adjustment::Test2::foo() - - // CHECK-LABEL: Thunks for 'return_adjustment::Ret2 *return_adjustment::Test2::foo()' (2 entries). - // CHECK-NEXT: 0 | [return adjustment (to type 'struct this_adjustment::Test1 *'): 4 non-virtual] - // CHECK-NEXT: 1 | [return adjustment (to type 'struct C *'): 8 non-virtual] - - // CHECK-LABEL: VFTable indices for 'return_adjustment::Test2' (1 entry). - // CHECK-NEXT: 3 | return_adjustment::Ret2 *return_adjustment::Test2::foo() - - virtual Ret2* foo(); -}; - -Test2 t2; -void use(Test2 *obj) { obj->foo(); } - -struct Test3: B, Ret1 { - // CHECK-LABEL: VFTable for 'B' in 'return_adjustment::Test3' (2 entries). - // CHECK-NEXT: 0 | void B::g() - // CHECK-NEXT: 1 | void B::h() - - // CHECK-LABEL: VFTable for 'return_adjustment::Ret1' in 'return_adjustment::Test3' (3 entries). - // CHECK-NEXT: 0 | this_adjustment::Test1 *return_adjustment::Test3::foo() - // CHECK-NEXT: [return adjustment (to type 'struct C *'): 4 non-virtual] - // CHECK-NEXT: 1 | void return_adjustment::Ret1::z() - // CHECK-NEXT: 2 | this_adjustment::Test1 *return_adjustment::Test3::foo() - - // CHECK-LABEL: Thunks for 'this_adjustment::Test1 *return_adjustment::Test3::foo()' (1 entry). - // CHECK-NEXT: 0 | [return adjustment (to type 'struct C *'): 4 non-virtual] - - // CHECK-LABEL: VFTable indices for 'return_adjustment::Test3' (1 entry). - // CHECK-NEXT: via vfptr at offset 4 - // CHECK-NEXT: 2 | this_adjustment::Test1 *return_adjustment::Test3::foo() - - virtual this_adjustment::Test1* foo(); -}; - -Test3 t3; -void use(Test3 *obj) { obj->foo(); } - -struct Test4 : Test3 { - // CHECK-LABEL: VFTable for 'B' in 'return_adjustment::Test3' in 'return_adjustment::Test4' (2 entries). - // CHECK-NEXT: 0 | void B::g() - // CHECK-NEXT: 1 | void B::h() - - // CHECK-LABEL: VFTable for 'return_adjustment::Ret1' in 'return_adjustment::Test3' in 'return_adjustment::Test4' (4 entries). - // CHECK-NEXT: 0 | return_adjustment::Ret2 *return_adjustment::Test4::foo() - // CHECK-NEXT: [return adjustment (to type 'struct C *'): 8 non-virtual] - // CHECK-NEXT: 1 | void return_adjustment::Ret1::z() - // CHECK-NEXT: 2 | return_adjustment::Ret2 *return_adjustment::Test4::foo() - // CHECK-NEXT: [return adjustment (to type 'struct this_adjustment::Test1 *'): 4 non-virtual] - // CHECK-NEXT: 3 | return_adjustment::Ret2 *return_adjustment::Test4::foo() - - // CHECK-LABEL: Thunks for 'return_adjustment::Ret2 *return_adjustment::Test4::foo()' (2 entries). - // CHECK-NEXT: 0 | [return adjustment (to type 'struct this_adjustment::Test1 *'): 4 non-virtual] - // CHECK-NEXT: 1 | [return adjustment (to type 'struct C *'): 8 non-virtual] - - // CHECK-LABEL: VFTable indices for 'return_adjustment::Test4' (1 entry). - // CHECK-NEXT: -- accessible via vfptr at offset 4 -- - // CHECK-NEXT: 3 | return_adjustment::Ret2 *return_adjustment::Test4::foo() - - virtual Ret2* foo(); -}; - -Test4 t4; -void use(Test4 *obj) { obj->foo(); } - -struct Test5 : Ret1, Test1 { - // CHECK-LABEL: VFTable for 'return_adjustment::Ret1' in 'return_adjustment::Test5' (3 entries). - // CHECK-NEXT: 0 | return_adjustment::Ret2 *return_adjustment::Test5::foo() - // CHECK-NEXT: [return adjustment (to type 'struct C *'): 8 non-virtual] - // CHECK-NEXT: 1 | void return_adjustment::Ret1::z() - // CHECK-NEXT: 2 | return_adjustment::Ret2 *return_adjustment::Test5::foo() - - // CHECK-LABEL: Thunks for 'return_adjustment::Ret2 *return_adjustment::Test5::foo()' (1 entry). - // CHECK-NEXT: 0 | [return adjustment (to type 'struct C *'): 8 non-virtual] - - // CHECK-LABEL: VFTable for 'return_adjustment::Ret1' in 'return_adjustment::Test1' in 'return_adjustment::Test5' (4 entries). - // CHECK-NEXT: 0 | return_adjustment::Ret2 *return_adjustment::Test5::foo() - // CHECK-NEXT: [return adjustment (to type 'struct C *'): 8 non-virtual] - // CHECK-NEXT: [this adjustment: -4 non-virtual] - // CHECK-NEXT: 1 | void return_adjustment::Ret1::z() - // CHECK-NEXT: 2 | return_adjustment::Ret2 *return_adjustment::Test5::foo() - // CHECK-NEXT: [return adjustment (to type 'struct this_adjustment::Test1 *'): 4 non-virtual] - // CHECK-NEXT: [this adjustment: -4 non-virtual] - // CHECK-NEXT: 3 | return_adjustment::Ret2 *return_adjustment::Test5::foo() - // CHECK-NEXT: [return adjustment (to type 'struct return_adjustment::Ret2 *'): 0 non-virtual] - // CHECK-NEXT: [this adjustment: -4 non-virtual] - - // CHECK-LABEL: Thunks for 'return_adjustment::Ret2 *return_adjustment::Test5::foo()' (3 entries). - // CHECK-NEXT: 0 | [return adjustment (to type 'struct return_adjustment::Ret2 *'): 0 non-virtual] - // CHECK-NEXT: [this adjustment: -4 non-virtual] - // CHECK-NEXT: 1 | [return adjustment (to type 'struct this_adjustment::Test1 *'): 4 non-virtual] - // CHECK-NEXT: [this adjustment: -4 non-virtual] - // CHECK-NEXT: 2 | [return adjustment (to type 'struct C *'): 8 non-virtual] - // CHECK-NEXT: [this adjustment: -4 non-virtual] - - // CHECK-LABEL: VFTable indices for 'return_adjustment::Test5' (1 entry). - // CHECK-NEXT: 2 | return_adjustment::Ret2 *return_adjustment::Test5::foo() - - virtual Ret2* foo(); -}; - -Test5 t5; -void use(Test5 *obj) { obj->foo(); } - -struct Ret3 : this_adjustment::Test1 { }; - -struct Test6 : Test1 { - virtual Ret3* foo(); - // CHECK-LABEL: VFTable for 'return_adjustment::Ret1' in 'return_adjustment::Test1' in 'return_adjustment::Test6' (4 entries). - // CHECK-NEXT: 0 | return_adjustment::Ret3 *return_adjustment::Test6::foo() - // CHECK-NEXT: [return adjustment (to type 'struct C *'): 4 non-virtual] - // CHECK-NEXT: 1 | void return_adjustment::Ret1::z() - // CHECK-NEXT: 2 | return_adjustment::Ret3 *return_adjustment::Test6::foo() - // CHECK-NEXT: [return adjustment (to type 'struct this_adjustment::Test1 *'): 0 non-virtual] - // CHECK-NEXT: 3 | return_adjustment::Ret3 *return_adjustment::Test6::foo() - - // CHECK-LABEL: Thunks for 'return_adjustment::Ret3 *return_adjustment::Test6::foo()' (2 entries). - // CHECK-NEXT: 0 | [return adjustment (to type 'struct this_adjustment::Test1 *'): 0 non-virtual] - // CHECK-NEXT: 1 | [return adjustment (to type 'struct C *'): 4 non-virtual] - - // CHECK-LABEL: VFTable indices for 'return_adjustment::Test6' (1 entry). - // CHECK-NEXT: 3 | return_adjustment::Ret3 *return_adjustment::Test6::foo() -}; - -Test6 t6; -void use(Test6 *obj) { obj->foo(); } - -} -- 2.40.0