From: Timur Iskhodzhanov <timurrrr@google.com>
Date: Fri, 21 Mar 2014 13:11:09 +0000 (+0000)
Subject: Simplify test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance.cpp... 
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=424126fb9ba0595cea346724a005b4bb67b58877;p=clang

Simplify test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance.cpp by forcing VFTableBuilder invocation with virtual function calls

Previously the vftables were built at the end of the TU in a reverse-to-random order

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@204464 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance.cpp b/test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance.cpp
index 4f5051b45e..39f2079017 100644
--- a/test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance.cpp
+++ b/test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance.cpp
@@ -1,29 +1,5 @@
 // RUN: %clang_cc1 %s -fno-rtti -triple=i386-pc-win32 -emit-llvm -o %t.ll -fdump-vtable-layouts >%t
-
-// RUN: FileCheck --check-prefix=NO-THUNKS-Test1 %s < %t
-// RUN: FileCheck --check-prefix=NO-THUNKS-Test2 %s < %t
-// RUN: FileCheck --check-prefix=NO-THUNKS-Test3 %s < %t
-// RUN: FileCheck --check-prefix=NO-THUNKS-Test4 %s < %t
-// RUN: FileCheck --check-prefix=NO-THUNKS-Test5 %s < %t
-// RUN: FileCheck --check-prefix=NO-THUNKS-Test6 %s < %t
-// RUN: FileCheck --check-prefix=NO-THUNKS-Test7 %s < %t
-// RUN: FileCheck --check-prefix=NO-THUNKS-Test8 %s < %t
-// RUN: FileCheck --check-prefix=NO-THUNKS-Test9 %s < %t
-// RUN: FileCheck --check-prefix=PURE-VIRTUAL-Test1 %s < %t
-// RUN: FileCheck --check-prefix=THIS-THUNKS-Test1 %s < %t
-// RUN: FileCheck --check-prefix=THIS-THUNKS-Test2 %s < %t
-// RUN: FileCheck --check-prefix=THIS-THUNKS-Test3 %s < %t
-// RUN: FileCheck --check-prefix=VDTOR-THUNKS-Test3 %s < %t
-// RUN: FileCheck --check-prefix=VDTOR-THUNKS-Test5 %s < %t
-// RUN: FileCheck --check-prefix=VDTOR-THUNKS-Test6 %s < %t
-// RUN: FileCheck --check-prefix=VDTOR-THUNKS-Test7 %s < %t
-// RUN: FileCheck --check-prefix=RET-THUNKS-Test1 %s < %t
-// RUN: FileCheck --check-prefix=RET-THUNKS-Test2 %s < %t
-// RUN: FileCheck --check-prefix=RET-THUNKS-Test3 %s < %t
-// RUN: FileCheck --check-prefix=RET-THUNKS-Test4 %s < %t
-// RUN: FileCheck --check-prefix=RET-THUNKS-Test5 %s < %t
-// RUN: FileCheck --check-prefix=RET-THUNKS-Test6 %s < %t
-
+// RUN: FileCheck %s < %t
 // RUN: FileCheck --check-prefix=MANGLING %s < %t.ll
 
 struct Empty {
@@ -48,15 +24,15 @@ struct C {
 namespace no_thunks {
 
 struct Test1: A, B {
-  // NO-THUNKS-Test1: VFTable for 'A' in 'no_thunks::Test1' (1 entry)
-  // NO-THUNKS-Test1-NEXT: 0 | void no_thunks::Test1::f()
+  // CHECK-LABEL:Test1' (1 entry)
+  // CHECK-NEXT: 0 | void no_thunks::Test1::f()
 
-  // NO-THUNKS-Test1: VFTable for 'B' in 'no_thunks::Test1' (2 entries)
-  // NO-THUNKS-Test1-NEXT: 0 | void B::g()
-  // NO-THUNKS-Test1-NEXT: 1 | void B::h()
+  // CHECK-LABEL:Test1' (2 entries)
+  // CHECK-NEXT: 0 | void B::g()
+  // CHECK-NEXT: 1 | void B::h()
 
-  // NO-THUNKS-Test1: VFTable indices for 'no_thunks::Test1' (1 entry)
-  // NO-THUNKS-Test1-NEXT: 0 | void no_thunks::Test1::f()
+  // 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@@@"
@@ -66,18 +42,19 @@ struct Test1: A, B {
 };
 
 Test1 t1;
+void use(Test1 *obj) { obj->f(); }
 
 struct Test2: A, B {
-  // NO-THUNKS-Test2: VFTable for 'A' in 'no_thunks::Test2' (1 entry)
-  // NO-THUNKS-Test2-NEXT: 0 | void A::f()
+  // CHECK-LABEL: VFTable for 'A' in 'no_thunks::Test2' (1 entry)
+  // CHECK-NEXT: 0 | void A::f()
 
-  // NO-THUNKS-Test2: VFTable for 'B' in 'no_thunks::Test2' (2 entries)
-  // NO-THUNKS-Test2-NEXT: 0 | void no_thunks::Test2::g()
-  // NO-THUNKS-Test2-NEXT: 1 | void B::h()
+  // 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()
 
-  // NO-THUNKS-Test2: VFTable indices for 'no_thunks::Test2' (1 entry).
-  // NO-THUNKS-Test2-NEXT: via vfptr at offset 4
-  // NO-THUNKS-Test2-NEXT: 0 | void no_thunks::Test2::g()
+  // 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.
@@ -85,32 +62,34 @@ struct Test2: A, B {
 };
 
 Test2 t2;
+void use(Test2 *obj) { obj->g(); }
 
 struct Test3: A, B {
-  // NO-THUNKS-Test3: VFTable for 'A' in 'no_thunks::Test3' (2 entries)
-  // NO-THUNKS-Test3-NEXT: 0 | void A::f()
-  // NO-THUNKS-Test3-NEXT: 1 | void no_thunks::Test3::i()
+  // 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()
 
-  // NO-THUNKS-Test3: VFTable for 'B' in 'no_thunks::Test3' (2 entries)
-  // NO-THUNKS-Test3-NEXT: 0 | void B::g()
-  // NO-THUNKS-Test3-NEXT: 1 | void B::h()
+  // CHECK-LABEL: VFTable for 'B' in 'no_thunks::Test3' (2 entries)
+  // CHECK-NEXT: 0 | void B::g()
+  // CHECK-NEXT: 1 | void B::h()
 
-  // NO-THUNKS-Test3: VFTable indices for 'no_thunks::Test3' (1 entry).
-  // NO-THUNKS-Test3-NEXT: 1 | void no_thunks::Test3::i()
+  // 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 {
-  // NO-THUNKS-Test4: VFTable for 'A' in 'no_thunks::Test4' (1 entry)
-  // NO-THUNKS-Test4-NEXT: 0 | void no_thunks::Test4::f()
+  // CHECK-LABEL: VFTable for 'A' in 'no_thunks::Test4' (1 entry)
+  // CHECK-NEXT: 0 | void no_thunks::Test4::f()
 
-  // NO-THUNKS-Test4: VFTable indices for 'no_thunks::Test4' (1 entry).
-  // NO-THUNKS-Test4-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@"
 
@@ -118,26 +97,27 @@ struct Test4 : Empty, A {
 };
 
 Test4 t4;
+void use(Test4 *obj) { obj->f(); }
 
 // 2-level structure with repeating subobject types, but no thunks needed.
 struct Test5: Test1, Test2 {
-  // NO-THUNKS-Test5: VFTable for 'A' in 'no_thunks::Test1' in 'no_thunks::Test5' (2 entries)
-  // NO-THUNKS-Test5-NEXT: 0 | void no_thunks::Test1::f()
-  // NO-THUNKS-Test5-NEXT: 1 | void no_thunks::Test5::z()
+  // 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()
 
-  // NO-THUNKS-Test5: VFTable for 'B' in 'no_thunks::Test1' in 'no_thunks::Test5' (2 entries)
-  // NO-THUNKS-Test5-NEXT: 0 | void B::g()
-  // NO-THUNKS-Test5-NEXT: 1 | void B::h()
+  // 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()
 
-  // NO-THUNKS-Test5: VFTable for 'A' in 'no_thunks::Test2' in 'no_thunks::Test5' (1 entry)
-  // NO-THUNKS-Test5-NEXT: 0 | void A::f()
+  // CHECK-LABEL: VFTable for 'A' in 'no_thunks::Test2' in 'no_thunks::Test5' (1 entry)
+  // CHECK-NEXT: 0 | void A::f()
 
-  // NO-THUNKS-Test5: VFTable for 'B' in 'no_thunks::Test2' in 'no_thunks::Test5' (2 entries)
-  // NO-THUNKS-Test5-NEXT: 0 | void no_thunks::Test2::g()
-  // NO-THUNKS-Test5-NEXT: 1 | void B::h()
+  // 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()
 
-  // NO-THUNKS-Test5: VFTable indices for 'no_thunks::Test5' (1 entry).
-  // NO-THUNKS-Test5-NEXT: 1 | void no_thunks::Test5::z()
+  // 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@@"
@@ -148,17 +128,18 @@ struct Test5: Test1, Test2 {
 };
 
 Test5 t5;
+void use(Test5 *obj) { obj->z(); }
 
 struct Test6: Test1 {
-  // NO-THUNKS-Test6: VFTable for 'A' in 'no_thunks::Test1' in 'no_thunks::Test6' (1 entry).
-  // NO-THUNKS-Test6-NEXT: 0 | void no_thunks::Test6::f()
+  // CHECK-LABEL: VFTable for 'A' in 'no_thunks::Test1' in 'no_thunks::Test6' (1 entry).
+  // CHECK-NEXT: 0 | void no_thunks::Test6::f()
 
-  // NO-THUNKS-Test6: VFTable for 'B' in 'no_thunks::Test1' in 'no_thunks::Test6' (2 entries).
-  // NO-THUNKS-Test6-NEXT: 0 | void B::g()
-  // NO-THUNKS-Test6-NEXT: 1 | void B::h()
+  // 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()
 
-  // NO-THUNKS-Test6: VFTable indices for 'no_thunks::Test6' (1 entry).
-  // NO-THUNKS-Test6-NEXT: 0 | void no_thunks::Test6::f()
+  // 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@@@"
@@ -168,43 +149,46 @@ struct Test6: Test1 {
 };
 
 Test6 t6;
+void use(Test6 *obj) { obj->f(); }
 
 struct Test7: Test2 {
-  // NO-THUNKS-Test7: VFTable for 'A' in 'no_thunks::Test2' in 'no_thunks::Test7' (1 entry).
-  // NO-THUNKS-Test7-NEXT: 0 | void A::f()
+  // CHECK-LABEL: VFTable for 'A' in 'no_thunks::Test2' in 'no_thunks::Test7' (1 entry).
+  // CHECK-NEXT: 0 | void A::f()
 
-  // NO-THUNKS-Test7: VFTable for 'B' in 'no_thunks::Test2' in 'no_thunks::Test7' (2 entries).
-  // NO-THUNKS-Test7-NEXT: 0 | void no_thunks::Test7::g()
-  // NO-THUNKS-Test7-NEXT: 1 | void B::h()
+  // 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()
 
-  // NO-THUNKS-Test7: VFTable indices for 'no_thunks::Test7' (1 entry).
-  // NO-THUNKS-Test7-NEXT: via vfptr at offset 4
-  // NO-THUNKS-Test7-NEXT: 0 | void no_thunks::Test7::g()
+  // 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 {
-  // NO-THUNKS-Test8: VFTable for 'A' in 'no_thunks::Test3' in 'no_thunks::Test8' (2 entries).
-  // NO-THUNKS-Test8-NEXT: 0 | void A::f()
-  // NO-THUNKS-Test8-NEXT: 1 | void no_thunks::Test3::i()
+  // 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()
 
-  // NO-THUNKS-Test8: VFTable for 'B' in 'no_thunks::Test3' in 'no_thunks::Test8' (2 entries).
-  // NO-THUNKS-Test8-NEXT: 0 | void no_thunks::Test8::g()
-  // NO-THUNKS-Test8-NEXT: 1 | void B::h()
+  // 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()
 
-  // NO-THUNKS-Test8: VFTable indices for 'no_thunks::Test8' (1 entry).
-  // NO-THUNKS-Test8-NEXT: via vfptr at offset 4
-  // NO-THUNKS-Test8-NEXT: 0 | void no_thunks::Test8::g()
+  // 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();
@@ -212,16 +196,16 @@ struct D : A {
 
 // Repeating subobject.
 struct Test9: A, D {
-  // NO-THUNKS-Test9: VFTable for 'A' in 'no_thunks::Test9' (2 entries).
-  // NO-THUNKS-Test9-NEXT: 0 | void A::f()
-  // NO-THUNKS-Test9-NEXT: 1 | void no_thunks::Test9::h()
+  // 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()
 
-  // NO-THUNKS-Test9: VFTable for 'A' in 'no_thunks::D' in 'no_thunks::Test9' (2 entries).
-  // NO-THUNKS-Test9-NEXT: 0 | void A::f()
-  // NO-THUNKS-Test9-NEXT: 1 | void no_thunks::D::g()
+  // 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()
 
-  // NO-THUNKS-Test9: VFTable indices for 'no_thunks::Test9' (1 entry).
-  // NO-THUNKS-Test9-NEXT: 1 | void no_thunks::Test9::h()
+  // 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@@"
@@ -230,6 +214,7 @@ struct Test9: A, D {
 };
 
 Test9 t9;
+void use(Test9 *obj) { obj->h(); }
 }
 
 namespace pure_virtual {
@@ -240,16 +225,16 @@ struct D {
 
 
 struct Test1: A, D {
-  // PURE-VIRTUAL-Test1: VFTable for 'A' in 'pure_virtual::Test1' (1 entry)
-  // PURE-VIRTUAL-Test1-NEXT: 0 | void A::f()
+  // CHECK: VFTable for 'A' in 'pure_virtual::Test1' (1 entry)
+  // CHECK-NEXT: 0 | void A::f()
 
-  // PURE-VIRTUAL-Test1: VFTable for 'pure_virtual::D' in 'pure_virtual::Test1' (2 entries)
-  // PURE-VIRTUAL-Test1-NEXT: 0 | void pure_virtual::Test1::g()
-  // PURE-VIRTUAL-Test1-NEXT: 1 | void pure_virtual::D::h()
+  // 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()
 
-  // PURE-VIRTUAL-Test1: VFTable indices for 'pure_virtual::Test1' (1 entry).
-  // PURE-VIRTUAL-Test1-NEXT: via vfptr at offset 4
-  // PURE-VIRTUAL-Test1-NEXT: 0 | void pure_virtual::Test1::g()
+  // 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@@"
@@ -260,25 +245,26 @@ struct Test1: A, D {
 };
 
 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 {
-  // THIS-THUNKS-Test1: VFTable for 'B' in 'this_adjustment::Test1' (2 entries).
-  // THIS-THUNKS-Test1-NEXT: 0 | void this_adjustment::Test1::g()
-  // THIS-THUNKS-Test1-NEXT: 1 | void B::h()
+  // 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()
 
-  // THIS-THUNKS-Test1: VFTable for 'C' in 'this_adjustment::Test1' (1 entry).
-  // THIS-THUNKS-Test1-NEXT: 0 | void this_adjustment::Test1::g()
-  // THIS-THUNKS-Test1-NEXT:     [this adjustment: -4 non-virtual]
+  // 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]
 
-  // THIS-THUNKS-Test1: Thunks for 'void this_adjustment::Test1::g()' (1 entry).
-  // THIS-THUNKS-Test1-NEXT: 0 | [this adjustment: -4 non-virtual]
+  // CHECK-LABEL: Thunks for 'void this_adjustment::Test1::g()' (1 entry).
+  // CHECK-NEXT: 0 | [this adjustment: -4 non-virtual]
 
-  // THIS-THUNKS-Test1: VFTable indices for 'this_adjustment::Test1' (1 entry).
-  // THIS-THUNKS-Test1-NEXT: 0 | void this_adjustment::Test1::g()
+  // 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@@@"
@@ -287,25 +273,26 @@ struct Test1 : B, C {
 };
 
 Test1 t1;
+void use(Test1 *obj) { obj->g(); }
 
 struct Test2 : A, B, C {
-  // THIS-THUNKS-Test2: VFTable for 'A' in 'this_adjustment::Test2' (1 entry).
-  // THIS-THUNKS-Test2-NEXT: 0 | void A::f()
+  // CHECK-LABEL: VFTable for 'A' in 'this_adjustment::Test2' (1 entry).
+  // CHECK-NEXT: 0 | void A::f()
 
-  // THIS-THUNKS-Test2: VFTable for 'B' in 'this_adjustment::Test2' (2 entries).
-  // THIS-THUNKS-Test2-NEXT: 0 | void this_adjustment::Test2::g()
-  // THIS-THUNKS-Test2-NEXT: 1 | void B::h()
+  // 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()
 
-  // THIS-THUNKS-Test2: VFTable for 'C' in 'this_adjustment::Test2' (1 entry).
-  // THIS-THUNKS-Test2-NEXT: 0 | void this_adjustment::Test2::g()
-  // THIS-THUNKS-Test2-NEXT:     [this adjustment: -4 non-virtual]
+  // 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]
 
-  // THIS-THUNKS-Test2: Thunks for 'void this_adjustment::Test2::g()' (1 entry).
-  // THIS-THUNKS-Test2-NEXT: 0 | [this adjustment: -4 non-virtual]
+  // CHECK-LABEL: Thunks for 'void this_adjustment::Test2::g()' (1 entry).
+  // CHECK-NEXT: 0 | [this adjustment: -4 non-virtual]
 
-  // THIS-THUNKS-Test2: VFTable indices for 'this_adjustment::Test2' (1 entry).
-  // THIS-THUNKS-Test2-NEXT: via vfptr at offset 4
-  // THIS-THUNKS-Test2-NEXT: 0 | void this_adjustment::Test2::g()
+  // 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@@@"
@@ -315,42 +302,44 @@ struct Test2 : A, B, C {
 };
 
 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 {
-  // THIS-THUNKS-Test3: VFTable for 'A' in 'no_thunks::Test1' in 'this_adjustment::Test3' (1 entry).
-  // THIS-THUNKS-Test3-NEXT: 0 | void this_adjustment::Test3::f()
+  // CHECK-LABEL: VFTable for 'A' in 'no_thunks::Test1' in 'this_adjustment::Test3' (1 entry).
+  // CHECK-NEXT: 0 | void this_adjustment::Test3::f()
 
-  // THIS-THUNKS-Test3: VFTable for 'B' in 'no_thunks::Test1' in 'this_adjustment::Test3' (2 entries).
-  // THIS-THUNKS-Test3-NEXT: 0 | void this_adjustment::Test3::g()
-  // THIS-THUNKS-Test3-NEXT: 1 | void B::h()
+  // 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()
 
-  // THIS-THUNKS-Test3: VFTable for 'A' in 'no_thunks::Test2' in 'this_adjustment::Test3' (1 entry).
-  // THIS-THUNKS-Test3-NEXT: 0 | void this_adjustment::Test3::f()
-  // THIS-THUNKS-Test3-NEXT:     [this adjustment: -8 non-virtual]
+  // 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]
 
-  // THIS-THUNKS-Test3: Thunks for 'void this_adjustment::Test3::f()' (1 entry).
-  // THIS-THUNKS-Test3-NEXT: 0 | [this adjustment: -8 non-virtual]
+  // CHECK-LABEL: Thunks for 'void this_adjustment::Test3::f()' (1 entry).
+  // CHECK-NEXT: 0 | [this adjustment: -8 non-virtual]
 
-  // THIS-THUNKS-Test3: VFTable for 'B' in 'no_thunks::Test2' in 'this_adjustment::Test3' (2 entries).
-  // THIS-THUNKS-Test3-NEXT: 0 | void this_adjustment::Test3::g()
-  // THIS-THUNKS-Test3-NEXT:     [this adjustment: -8 non-virtual]
-  // THIS-THUNKS-Test3-NEXT: 1 | void B::h()
+  // 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()
 
-  // THIS-THUNKS-Test3: Thunks for 'void this_adjustment::Test3::g()' (1 entry).
-  // THIS-THUNKS-Test3-NEXT: 0 | [this adjustment: -8 non-virtual]
+  // CHECK-LABEL: Thunks for 'void this_adjustment::Test3::g()' (1 entry).
+  // CHECK-NEXT: 0 | [this adjustment: -8 non-virtual]
 
-  // THIS-THUNKS-Test3: VFTable indices for 'this_adjustment::Test3' (2 entries).
-  // THIS-THUNKS-Test3-NEXT: via vfptr at offset 0
-  // THIS-THUNKS-Test3-NEXT: 0 | void this_adjustment::Test3::f()
-  // THIS-THUNKS-Test3-NEXT: via vfptr at offset 4
-  // THIS-THUNKS-Test3-NEXT: 0 | void this_adjustment::Test3::g()
+  // 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 {
@@ -364,23 +353,24 @@ struct Test2 {
 };
 
 struct Test3 : Test1, Test2 {
-  // VDTOR-THUNKS-Test3: VFTable for 'vdtor::Test1' in 'vdtor::Test3' (2 entries).
-  // VDTOR-THUNKS-Test3-NEXT: 0 | vdtor::Test3::~Test3() [scalar deleting]
-  // VDTOR-THUNKS-Test3-NEXT: 1 | void vdtor::Test1::z1()
+  // 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()
 
-  // VDTOR-THUNKS-Test3: VFTable for 'vdtor::Test2' in 'vdtor::Test3' (1 entry).
-  // VDTOR-THUNKS-Test3-NEXT: 0 | vdtor::Test3::~Test3() [scalar deleting]
-  // VDTOR-THUNKS-Test3-NEXT:     [this adjustment: -4 non-virtual]
+  // 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]
 
-  // VDTOR-THUNKS-Test3: Thunks for 'vdtor::Test3::~Test3()' (1 entry).
-  // VDTOR-THUNKS-Test3-NEXT: 0 | [this adjustment: -4 non-virtual]
+  // CHECK-LABEL: Thunks for 'vdtor::Test3::~Test3()' (1 entry).
+  // CHECK-NEXT: 0 | [this adjustment: -4 non-virtual]
 
-  // VDTOR-THUNKS-Test3: VFTable indices for 'vdtor::Test3' (1 entry).
-  // VDTOR-THUNKS-Test3-NEXT: 0 | vdtor::Test3::~Test3() [scalar deleting]
+  // 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!
@@ -390,61 +380,64 @@ struct Test4 {
 struct Test5 : Test4, Test2 {
   // Implicit virtual dtor here!
 
-  // VDTOR-THUNKS-Test5: VFTable for 'vdtor::Test4' in 'vdtor::Test5' (1 entry).
-  // VDTOR-THUNKS-Test5-NEXT: 0 | void vdtor::Test4::z4()
+  // CHECK-LABEL: VFTable for 'vdtor::Test4' in 'vdtor::Test5' (1 entry).
+  // CHECK-NEXT: 0 | void vdtor::Test4::z4()
 
-  // VDTOR-THUNKS-Test5: VFTable for 'vdtor::Test2' in 'vdtor::Test5' (1 entry).
-  // VDTOR-THUNKS-Test5-NEXT: 0 | vdtor::Test5::~Test5() [scalar deleting]
-  // VDTOR-THUNKS-Test5-NEXT:     [this adjustment: -4 non-virtual]
+  // 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]
 
-  // VDTOR-THUNKS-Test5: Thunks for 'vdtor::Test5::~Test5()' (1 entry).
-  // VDTOR-THUNKS-Test5-NEXT: 0 | [this adjustment: -4 non-virtual]
+  // CHECK-LABEL: Thunks for 'vdtor::Test5::~Test5()' (1 entry).
+  // CHECK-NEXT: 0 | [this adjustment: -4 non-virtual]
 
-  // VDTOR-THUNKS-Test5: VFTable indices for 'vdtor::Test5' (1 entry).
-  // VDTOR-THUNKS-Test5-NEXT: -- accessible via vfptr at offset 4 --
-  // VDTOR-THUNKS-Test5-NEXT: 0 | vdtor::Test5::~Test5() [scalar deleting]
+  // 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!
 
-  // VDTOR-THUNKS-Test6: VFTable for 'vdtor::Test4' in 'vdtor::Test6' (1 entry).
-  // VDTOR-THUNKS-Test6-NEXT: 0 | void vdtor::Test4::z4()
+  // CHECK-LABEL: VFTable for 'vdtor::Test4' in 'vdtor::Test6' (1 entry).
+  // CHECK-NEXT: 0 | void vdtor::Test4::z4()
 
-  // VDTOR-THUNKS-Test6: VFTable for 'vdtor::Test2' in 'vdtor::Test6' (1 entry).
-  // VDTOR-THUNKS-Test6-NEXT: 0 | vdtor::Test6::~Test6() [scalar deleting]
-  // VDTOR-THUNKS-Test6-NEXT:     [this adjustment: -4 non-virtual]
+  // 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]
 
-  // VDTOR-THUNKS-Test6: Thunks for 'vdtor::Test6::~Test6()' (1 entry).
-  // VDTOR-THUNKS-Test6-NEXT: 0 | [this adjustment: -4 non-virtual]
+  // CHECK-LABEL: Thunks for 'vdtor::Test6::~Test6()' (1 entry).
+  // CHECK-NEXT: 0 | [this adjustment: -4 non-virtual]
 
-  // VDTOR-THUNKS-Test6: VFTable indices for 'vdtor::Test6' (1 entry).
-  // VDTOR-THUNKS-Test6-NEXT: -- accessible via vfptr at offset 4 --
-  // VDTOR-THUNKS-Test6-NEXT: 0 | vdtor::Test6::~Test6() [scalar deleting]
+  // 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 {
-  // VDTOR-THUNKS-Test7: VFTable for 'vdtor::Test4' in 'vdtor::Test5' in 'vdtor::Test7' (1 entry).
-  // VDTOR-THUNKS-Test7-NEXT: 0 | void vdtor::Test4::z4()
+  // CHECK-LABEL: VFTable for 'vdtor::Test4' in 'vdtor::Test5' in 'vdtor::Test7' (1 entry).
+  // CHECK-NEXT: 0 | void vdtor::Test4::z4()
 
-  // VDTOR-THUNKS-Test7: VFTable for 'vdtor::Test2' in 'vdtor::Test5' in 'vdtor::Test7' (1 entry).
-  // VDTOR-THUNKS-Test7-NEXT: 0 | vdtor::Test7::~Test7() [scalar deleting]
-  // VDTOR-THUNKS-Test7-NEXT:     [this adjustment: -4 non-virtual]
+  // 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]
 
-  // VDTOR-THUNKS-Test7: Thunks for 'vdtor::Test7::~Test7()' (1 entry).
-  // VDTOR-THUNKS-Test7-NEXT: 0 | [this adjustment: -4 non-virtual]
+  // CHECK-LABEL: Thunks for 'vdtor::Test7::~Test7()' (1 entry).
+  // CHECK-NEXT: 0 | [this adjustment: -4 non-virtual]
 
-  // VDTOR-THUNKS-Test7: VFTable indices for 'vdtor::Test7' (1 entry).
-  // VDTOR-THUNKS-Test7-NEXT: -- accessible via vfptr at offset 4 --
-  // VDTOR-THUNKS-Test7-NEXT: 0 | vdtor::Test7::~Test7() [scalar deleting]
+  // 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; }
 
 }
 
@@ -456,17 +449,17 @@ struct Ret1 {
 };
 
 struct Test1 : Ret1 {
-  // RET-THUNKS-Test1: VFTable for 'return_adjustment::Ret1' in 'return_adjustment::Test1' (3 entries).
-  // RET-THUNKS-Test1-NEXT: 0 | this_adjustment::Test1 *return_adjustment::Test1::foo()
-  // RET-THUNKS-Test1-NEXT:     [return adjustment (to type 'struct C *'): 4 non-virtual]
-  // RET-THUNKS-Test1-NEXT: 1 | void return_adjustment::Ret1::z()
-  // RET-THUNKS-Test1-NEXT: 2 | this_adjustment::Test1 *return_adjustment::Test1::foo()
+  // 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()
 
-  // RET-THUNKS-Test1: Thunks for 'this_adjustment::Test1 *return_adjustment::Test1::foo()' (1 entry).
-  // RET-THUNKS-Test1-NEXT: 0 | [return adjustment (to type 'struct C *'): 4 non-virtual]
+  // 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]
 
-  // RET-THUNKS-Test1: VFTable indices for 'return_adjustment::Test1' (1 entry).
-  // RET-THUNKS-Test1-NEXT: 2 | this_adjustment::Test1 *return_adjustment::Test1::foo()
+  // 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@"
 
@@ -474,137 +467,143 @@ struct Test1 : Ret1 {
 };
 
 Test1 t1;
+void use(Test1 *obj) { obj->foo(); }
 
 struct Ret2 : B, this_adjustment::Test1 { };
 
 struct Test2 : Test1 {
-  // RET-THUNKS-Test2: VFTable for 'return_adjustment::Ret1' in 'return_adjustment::Test1' in 'return_adjustment::Test2' (4 entries).
-  // RET-THUNKS-Test2-NEXT: 0 | return_adjustment::Ret2 *return_adjustment::Test2::foo()
-  // RET-THUNKS-Test2-NEXT:     [return adjustment (to type 'struct C *'): 8 non-virtual]
-  // RET-THUNKS-Test2-NEXT: 1 | void return_adjustment::Ret1::z()
-  // RET-THUNKS-Test2-NEXT: 2 | return_adjustment::Ret2 *return_adjustment::Test2::foo()
-  // RET-THUNKS-Test2-NEXT:     [return adjustment (to type 'struct this_adjustment::Test1 *'): 4 non-virtual]
-  // RET-THUNKS-Test2-NEXT: 3 | return_adjustment::Ret2 *return_adjustment::Test2::foo()
+  // 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()
 
-  // RET-THUNKS-Test2: Thunks for 'return_adjustment::Ret2 *return_adjustment::Test2::foo()' (2 entries).
-  // RET-THUNKS-Test2-NEXT: 0 | [return adjustment (to type 'struct this_adjustment::Test1 *'): 4 non-virtual]
-  // RET-THUNKS-Test2-NEXT: 1 | [return adjustment (to type 'struct C *'): 8 non-virtual]
+  // 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]
 
-  // RET-THUNKS-Test2: VFTable indices for 'return_adjustment::Test2' (1 entry).
-  // RET-THUNKS-Test2-NEXT: 3 | return_adjustment::Ret2 *return_adjustment::Test2::foo()
+  // 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 {
-  // RET-THUNKS-Test3: VFTable for 'B' in 'return_adjustment::Test3' (2 entries).
-  // RET-THUNKS-Test3-NEXT: 0 | void B::g()
-  // RET-THUNKS-Test3-NEXT: 1 | void B::h()
+  // CHECK-LABEL: VFTable for 'B' in 'return_adjustment::Test3' (2 entries).
+  // CHECK-NEXT: 0 | void B::g()
+  // CHECK-NEXT: 1 | void B::h()
 
-  // RET-THUNKS-Test3: VFTable for 'return_adjustment::Ret1' in 'return_adjustment::Test3' (3 entries).
-  // RET-THUNKS-Test3-NEXT: 0 | this_adjustment::Test1 *return_adjustment::Test3::foo()
-  // RET-THUNKS-Test3-NEXT:     [return adjustment (to type 'struct C *'): 4 non-virtual]
-  // RET-THUNKS-Test3-NEXT: 1 | void return_adjustment::Ret1::z()
-  // RET-THUNKS-Test3-NEXT: 2 | this_adjustment::Test1 *return_adjustment::Test3::foo()
+  // 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()
 
-  // RET-THUNKS-Test3: Thunks for 'this_adjustment::Test1 *return_adjustment::Test3::foo()' (1 entry).
-  // RET-THUNKS-Test3-NEXT: 0 | [return adjustment (to type 'struct C *'): 4 non-virtual]
+  // 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]
 
-  // RET-THUNKS-Test3: VFTable indices for 'return_adjustment::Test3' (1 entry).
-  // RET-THUNKS-Test3-NEXT: via vfptr at offset 4
-  // RET-THUNKS-Test3-NEXT: 2 | this_adjustment::Test1 *return_adjustment::Test3::foo()
+  // 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 {
-  // RET-THUNKS-Test4: VFTable for 'B' in 'return_adjustment::Test3' in 'return_adjustment::Test4' (2 entries).
-  // RET-THUNKS-Test4-NEXT: 0 | void B::g()
-  // RET-THUNKS-Test4-NEXT: 1 | void B::h()
-
-  // RET-THUNKS-Test4: VFTable for 'return_adjustment::Ret1' in 'return_adjustment::Test3' in 'return_adjustment::Test4' (4 entries).
-  // RET-THUNKS-Test4-NEXT: 0 | return_adjustment::Ret2 *return_adjustment::Test4::foo()
-  // RET-THUNKS-Test4-NEXT:     [return adjustment (to type 'struct C *'): 8 non-virtual]
-  // RET-THUNKS-Test4-NEXT: 1 | void return_adjustment::Ret1::z()
-  // RET-THUNKS-Test4-NEXT: 2 | return_adjustment::Ret2 *return_adjustment::Test4::foo()
-  // RET-THUNKS-Test4-NEXT:     [return adjustment (to type 'struct this_adjustment::Test1 *'): 4 non-virtual]
-  // RET-THUNKS-Test4-NEXT: 3 | return_adjustment::Ret2 *return_adjustment::Test4::foo()
-
-  // RET-THUNKS-Test4: Thunks for 'return_adjustment::Ret2 *return_adjustment::Test4::foo()' (2 entries).
-  // RET-THUNKS-Test4-NEXT: 0 | [return adjustment (to type 'struct this_adjustment::Test1 *'): 4 non-virtual]
-  // RET-THUNKS-Test4-NEXT: 1 | [return adjustment (to type 'struct C *'): 8 non-virtual]
-
-  // RET-THUNKS-Test4: VFTable indices for 'return_adjustment::Test4' (1 entry).
-  // RET-THUNKS-Test4-NEXT: -- accessible via vfptr at offset 4 --
-  // RET-THUNKS-Test4-NEXT: 3 | return_adjustment::Ret2 *return_adjustment::Test4::foo()
+  // 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 {
-  // RET-THUNKS-Test5: VFTable for 'return_adjustment::Ret1' in 'return_adjustment::Test5' (3 entries).
-  // RET-THUNKS-Test5-NEXT: 0 | return_adjustment::Ret2 *return_adjustment::Test5::foo()
-  // RET-THUNKS-Test5-NEXT:     [return adjustment (to type 'struct C *'): 8 non-virtual]
-  // RET-THUNKS-Test5-NEXT: 1 | void return_adjustment::Ret1::z()
-  // RET-THUNKS-Test5-NEXT: 2 | return_adjustment::Ret2 *return_adjustment::Test5::foo()
-
-  // RET-THUNKS-Test5: Thunks for 'return_adjustment::Ret2 *return_adjustment::Test5::foo()' (1 entry).
-  // RET-THUNKS-Test5-NEXT: 0 | [return adjustment (to type 'struct C *'): 8 non-virtual]
-
-  // RET-THUNKS-Test5: VFTable for 'return_adjustment::Ret1' in  'return_adjustment::Test1' in 'return_adjustment::Test5' (4 entries).
-  // RET-THUNKS-Test5-NEXT: 0 | return_adjustment::Ret2 *return_adjustment::Test5::foo()
-  // RET-THUNKS-Test5-NEXT:     [return adjustment (to type 'struct C *'): 8 non-virtual]
-  // RET-THUNKS-Test5-NEXT:     [this adjustment: -4 non-virtual]
-  // RET-THUNKS-Test5-NEXT: 1 | void return_adjustment::Ret1::z()
-  // RET-THUNKS-Test5-NEXT: 2 | return_adjustment::Ret2 *return_adjustment::Test5::foo()
-  // RET-THUNKS-Test5-NEXT:     [return adjustment (to type 'struct this_adjustment::Test1 *'): 4 non-virtual]
-  // RET-THUNKS-Test5-NEXT:     [this adjustment: -4 non-virtual]
-  // RET-THUNKS-Test5-NEXT: 3 | return_adjustment::Ret2 *return_adjustment::Test5::foo()
-  // RET-THUNKS-Test5-NEXT:     [return adjustment (to type 'struct return_adjustment::Ret2 *'): 0 non-virtual]
-  // RET-THUNKS-Test5-NEXT:     [this adjustment: -4 non-virtual]
-
-  // RET-THUNKS-Test5: Thunks for 'return_adjustment::Ret2 *return_adjustment::Test5::foo()' (3 entries).
-  // RET-THUNKS-Test5-NEXT: 0 | [return adjustment (to type 'struct return_adjustment::Ret2 *'): 0 non-virtual]
-  // RET-THUNKS-Test5-NEXT:     [this adjustment: -4 non-virtual]
-  // RET-THUNKS-Test5-NEXT: 1 | [return adjustment (to type 'struct this_adjustment::Test1 *'): 4 non-virtual]
-  // RET-THUNKS-Test5-NEXT:     [this adjustment: -4 non-virtual]
-  // RET-THUNKS-Test5-NEXT: 2 | [return adjustment (to type 'struct C *'): 8 non-virtual]
-  // RET-THUNKS-Test5-NEXT:     [this adjustment: -4 non-virtual]
-
-  // RET-THUNKS-Test5: VFTable indices for 'return_adjustment::Test5' (1 entry).
-  // RET-THUNKS-Test5-NEXT: 2 | return_adjustment::Ret2 *return_adjustment::Test5::foo()
+  // 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();
-  // RET-THUNKS-Test6: VFTable for 'return_adjustment::Ret1' in 'return_adjustment::Test1' in 'return_adjustment::Test6' (4 entries).
-  // RET-THUNKS-Test6-NEXT: 0 | return_adjustment::Ret3 *return_adjustment::Test6::foo()
-  // RET-THUNKS-Test6-NEXT:     [return adjustment (to type 'struct C *'): 4 non-virtual]
-  // RET-THUNKS-Test6-NEXT: 1 | void return_adjustment::Ret1::z()
-  // RET-THUNKS-Test6-NEXT: 2 | return_adjustment::Ret3 *return_adjustment::Test6::foo()
-  // RET-THUNKS-Test6-NEXT:     [return adjustment (to type 'struct this_adjustment::Test1 *'): 0 non-virtual]
-  // RET-THUNKS-Test6-NEXT: 3 | return_adjustment::Ret3 *return_adjustment::Test6::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()
 
-  // RET-THUNKS-Test6: Thunks for 'return_adjustment::Ret3 *return_adjustment::Test6::foo()' (2 entries).
-  // RET-THUNKS-Test6-NEXT: 0 | [return adjustment (to type 'struct this_adjustment::Test1 *'): 0 non-virtual]
-  // RET-THUNKS-Test6-NEXT: 1 | [return adjustment (to type 'struct C *'): 4 non-virtual]
+  // 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]
 
-  // RET-THUNKS-Test6: VFTable indices for 'return_adjustment::Test6' (1 entry).
-  // RET-THUNKS-Test6-NEXT: 3 | return_adjustment::Ret3 *return_adjustment::Test6::foo()
+  // 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(); }
 
 }