Reid Kleckner | 152eee9 | 2013-11-08 21:28:00 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -emit-llvm-only -fdump-vtable-layouts > %t |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 2 | // RUN: FileCheck --check-prefix=CHECK-1 %s < %t |
| 3 | // RUN: FileCheck --check-prefix=CHECK-2 %s < %t |
| 4 | // RUN: FileCheck --check-prefix=CHECK-3 %s < %t |
| 5 | // RUN: FileCheck --check-prefix=CHECK-4 %s < %t |
| 6 | // RUN: FileCheck --check-prefix=CHECK-5 %s < %t |
| 7 | // RUN: FileCheck --check-prefix=CHECK-6 %s < %t |
| 8 | // RUN: FileCheck --check-prefix=CHECK-7 %s < %t |
| 9 | // RUN: FileCheck --check-prefix=CHECK-8 %s < %t |
| 10 | // RUN: FileCheck --check-prefix=CHECK-9 %s < %t |
| 11 | // RUN: FileCheck --check-prefix=CHECK-10 %s < %t |
| 12 | // RUN: FileCheck --check-prefix=CHECK-11 %s < %t |
| 13 | // RUN: FileCheck --check-prefix=CHECK-12 %s < %t |
| 14 | // RUN: FileCheck --check-prefix=CHECK-13 %s < %t |
| 15 | // RUN: FileCheck --check-prefix=CHECK-14 %s < %t |
| 16 | // RUN: FileCheck --check-prefix=CHECK-15 %s < %t |
| 17 | // RUN: FileCheck --check-prefix=CHECK-16 %s < %t |
| 18 | // RUN: FileCheck --check-prefix=CHECK-17 %s < %t |
| 19 | // RUN: FileCheck --check-prefix=CHECK-18 %s < %t |
| 20 | // RUN: FileCheck --check-prefix=CHECK-19 %s < %t |
| 21 | // RUN: FileCheck --check-prefix=CHECK-20 %s < %t |
| 22 | // RUN: FileCheck --check-prefix=CHECK-21 %s < %t |
| 23 | // RUN: FileCheck --check-prefix=CHECK-22 %s < %t |
| 24 | // RUN: FileCheck --check-prefix=CHECK-23 %s < %t |
| 25 | // RUN: FileCheck --check-prefix=CHECK-24 %s < %t |
| 26 | // RUN: FileCheck --check-prefix=CHECK-25 %s < %t |
| 27 | // RUN: FileCheck --check-prefix=CHECK-26 %s < %t |
| 28 | // RUN: FileCheck --check-prefix=CHECK-27 %s < %t |
| 29 | // RUN: FileCheck --check-prefix=CHECK-28 %s < %t |
| 30 | // RUN: FileCheck --check-prefix=CHECK-29 %s < %t |
| 31 | // RUN: FileCheck --check-prefix=CHECK-30 %s < %t |
| 32 | // RUN: FileCheck --check-prefix=CHECK-31 %s < %t |
| 33 | // RUN: FileCheck --check-prefix=CHECK-32 %s < %t |
| 34 | // RUN: FileCheck --check-prefix=CHECK-33 %s < %t |
| 35 | // RUN: FileCheck --check-prefix=CHECK-34 %s < %t |
| 36 | // RUN: FileCheck --check-prefix=CHECK-35 %s < %t |
| 37 | // RUN: FileCheck --check-prefix=CHECK-36 %s < %t |
| 38 | // RUN: FileCheck --check-prefix=CHECK-37 %s < %t |
| 39 | // RUN: FileCheck --check-prefix=CHECK-38 %s < %t |
| 40 | // RUN: FileCheck --check-prefix=CHECK-39 %s < %t |
| 41 | // RUN: FileCheck --check-prefix=CHECK-40 %s < %t |
| 42 | // RUN: FileCheck --check-prefix=CHECK-41 %s < %t |
| 43 | // RUN: FileCheck --check-prefix=CHECK-42 %s < %t |
Anders Carlsson | b8bced0 | 2011-04-10 18:00:32 +0000 | [diff] [blame] | 44 | // RUN: FileCheck --check-prefix=CHECK-43 %s < %t |
John McCall | 260a3e4 | 2012-03-21 06:57:19 +0000 | [diff] [blame] | 45 | // RUN: FileCheck --check-prefix=CHECK-44 %s < %t |
David Blaikie | d954ab4 | 2012-10-16 20:25:33 +0000 | [diff] [blame] | 46 | // RUN: FileCheck --check-prefix=CHECK-45 %s < %t |
Timur Iskhodzhanov | e825cd0 | 2013-06-05 13:50:24 +0000 | [diff] [blame] | 47 | // RUN: FileCheck --check-prefix=CHECK-46 %s < %t |
Anders Carlsson | 824d7ea | 2010-02-11 08:02:13 +0000 | [diff] [blame] | 48 | |
Anders Carlsson | 49bac9a | 2010-02-13 23:40:17 +0000 | [diff] [blame] | 49 | // For now, just verify this doesn't crash. |
| 50 | namespace test0 { |
| 51 | struct Obj {}; |
| 52 | |
| 53 | struct Base { virtual const Obj *foo() = 0; }; |
| 54 | struct Derived : Base { virtual Obj *foo() { return new Obj(); } }; |
| 55 | |
| 56 | void test(Derived *D) { D->foo(); } |
| 57 | } |
| 58 | |
| 59 | namespace Test1 { |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 60 | // CHECK-1: Vtable for 'Test1::A' (3 entries). |
| 61 | // CHECK-1-NEXT: 0 | offset_to_top (0) |
| 62 | // CHECK-1-NEXT: 1 | Test1::A RTTI |
| 63 | // CHECK-1-NEXT: -- (Test1::A, 0) vtable address -- |
| 64 | // CHECK-1-NEXT: 2 | void Test1::A::f() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 65 | // |
| 66 | // CHECK-1: VTable indices for 'Test1::A' (1 entries). |
| 67 | // CHECK-1-NEXT: 0 | void Test1::A::f() |
Anders Carlsson | 824d7ea | 2010-02-11 08:02:13 +0000 | [diff] [blame] | 68 | struct A { |
| 69 | virtual void f(); |
| 70 | }; |
Anders Carlsson | 824d7ea | 2010-02-11 08:02:13 +0000 | [diff] [blame] | 71 | void A::f() { } |
Anders Carlsson | 57071e2 | 2010-02-12 05:25:12 +0000 | [diff] [blame] | 72 | |
Anders Carlsson | 824d7ea | 2010-02-11 08:02:13 +0000 | [diff] [blame] | 73 | } |
| 74 | |
Anders Carlsson | 848fa64 | 2010-02-11 18:20:28 +0000 | [diff] [blame] | 75 | namespace Test2 { |
| 76 | |
| 77 | // This is a smoke test of the vtable dumper. |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 78 | // CHECK-2: Vtable for 'Test2::A' (9 entries). |
| 79 | // CHECK-2-NEXT: 0 | offset_to_top (0) |
| 80 | // CHECK-2-NEXT: 1 | Test2::A RTTI |
| 81 | // CHECK-2-NEXT: -- (Test2::A, 0) vtable address -- |
| 82 | // CHECK-2-NEXT: 2 | void Test2::A::f() |
| 83 | // CHECK-2-NEXT: 3 | void Test2::A::f() const |
| 84 | // CHECK-2-NEXT: 4 | Test2::A *Test2::A::g(int) |
| 85 | // CHECK-2-NEXT: 5 | Test2::A::~A() [complete] |
| 86 | // CHECK-2-NEXT: 6 | Test2::A::~A() [deleting] |
| 87 | // CHECK-2-NEXT: 7 | void Test2::A::h() |
Chris Lattner | 0c42bb6 | 2010-09-05 00:17:29 +0000 | [diff] [blame] | 88 | // CHECK-2-NEXT: 8 | Test2::A &Test2::A::operator=(const Test2::A &) |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 89 | // |
| 90 | // CHECK-2: VTable indices for 'Test2::A' (7 entries). |
| 91 | // CHECK-2-NEXT: 0 | void Test2::A::f() |
| 92 | // CHECK-2-NEXT: 1 | void Test2::A::f() const |
| 93 | // CHECK-2-NEXT: 2 | Test2::A *Test2::A::g(int) |
| 94 | // CHECK-2-NEXT: 3 | Test2::A::~A() [complete] |
| 95 | // CHECK-2-NEXT: 4 | Test2::A::~A() [deleting] |
| 96 | // CHECK-2-NEXT: 5 | void Test2::A::h() |
| 97 | // CHECK-2-NEXT: 6 | Test2::A &Test2::A::operator=(const Test2::A &) |
Anders Carlsson | 848fa64 | 2010-02-11 18:20:28 +0000 | [diff] [blame] | 98 | struct A { |
| 99 | virtual void f(); |
| 100 | virtual void f() const; |
| 101 | |
| 102 | virtual A* g(int a); |
| 103 | virtual ~A(); |
| 104 | virtual void h(); |
Anders Carlsson | bac7271 | 2010-02-11 18:21:49 +0000 | [diff] [blame] | 105 | virtual A& operator=(const A&); |
Anders Carlsson | 848fa64 | 2010-02-11 18:20:28 +0000 | [diff] [blame] | 106 | }; |
Anders Carlsson | 848fa64 | 2010-02-11 18:20:28 +0000 | [diff] [blame] | 107 | void A::f() { } |
| 108 | |
Anders Carlsson | 9824142 | 2010-02-12 02:38:13 +0000 | [diff] [blame] | 109 | // Another simple vtable dumper test. |
Anders Carlsson | 57071e2 | 2010-02-12 05:25:12 +0000 | [diff] [blame] | 110 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 111 | // CHECK-3: Vtable for 'Test2::B' (6 entries). |
| 112 | // CHECK-3-NEXT: 0 | offset_to_top (0) |
| 113 | // CHECK-3-NEXT: 1 | Test2::B RTTI |
| 114 | // CHECK-3-NEXT: -- (Test2::B, 0) vtable address -- |
| 115 | // CHECK-3-NEXT: 2 | void Test2::B::f() |
| 116 | // CHECK-3-NEXT: 3 | void Test2::B::g() [pure] |
| 117 | // CHECK-3-NEXT: 4 | Test2::B::~B() [complete] [pure] |
| 118 | // CHECK-3-NEXT: 5 | Test2::B::~B() [deleting] [pure] |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 119 | // |
| 120 | // CHECK-3: VTable indices for 'Test2::B' (4 entries). |
| 121 | // CHECK-3-NEXT: 0 | void Test2::B::f() |
| 122 | // CHECK-3-NEXT: 1 | void Test2::B::g() |
| 123 | // CHECK-3-NEXT: 2 | Test2::B::~B() [complete] |
| 124 | // CHECK-3-NEXT: 3 | Test2::B::~B() [deleting] |
Anders Carlsson | 9824142 | 2010-02-12 02:38:13 +0000 | [diff] [blame] | 125 | struct B { |
| 126 | virtual void f(); |
| 127 | virtual void g() = 0; |
| 128 | virtual ~B() = 0; |
| 129 | }; |
Anders Carlsson | 9824142 | 2010-02-12 02:38:13 +0000 | [diff] [blame] | 130 | void B::f() { } |
| 131 | |
Anders Carlsson | 848fa64 | 2010-02-11 18:20:28 +0000 | [diff] [blame] | 132 | } |
Anders Carlsson | 57071e2 | 2010-02-12 05:25:12 +0000 | [diff] [blame] | 133 | |
| 134 | namespace Test3 { |
| 135 | |
| 136 | // If a function in a derived class overrides a function in a primary base, |
| 137 | // then the function should not have an entry in the derived class (unless the return |
| 138 | // value requires adjusting). |
| 139 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 140 | // CHECK-4: Vtable for 'Test3::A' (3 entries). |
| 141 | // CHECK-4-NEXT: 0 | offset_to_top (0) |
| 142 | // CHECK-4-NEXT: 1 | Test3::A RTTI |
| 143 | // CHECK-4-NEXT: -- (Test3::A, 0) vtable address -- |
| 144 | // CHECK-4-NEXT: 2 | void Test3::A::f() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 145 | // |
| 146 | // CHECK-4: VTable indices for 'Test3::A' (1 entries). |
| 147 | // CHECK-4-NEXT: 0 | void Test3::A::f() |
Anders Carlsson | 57071e2 | 2010-02-12 05:25:12 +0000 | [diff] [blame] | 148 | struct A { |
| 149 | virtual void f(); |
| 150 | }; |
| 151 | void A::f() { } |
| 152 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 153 | // CHECK-5: Vtable for 'Test3::B' (4 entries). |
| 154 | // CHECK-5-NEXT: 0 | offset_to_top (0) |
| 155 | // CHECK-5-NEXT: 1 | Test3::B RTTI |
| 156 | // CHECK-5-NEXT: -- (Test3::A, 0) vtable address -- |
| 157 | // CHECK-5-NEXT: -- (Test3::B, 0) vtable address -- |
| 158 | // CHECK-5-NEXT: 2 | void Test3::B::f() |
| 159 | // CHECK-5-NEXT: 3 | void Test3::B::g() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 160 | // |
| 161 | // CHECK-5: VTable indices for 'Test3::B' (2 entries). |
| 162 | // CHECK-5-NEXT: 0 | void Test3::B::f() |
| 163 | // CHECK-5-NEXT: 1 | void Test3::B::g() |
Anders Carlsson | 57071e2 | 2010-02-12 05:25:12 +0000 | [diff] [blame] | 164 | struct B : A { |
| 165 | virtual void f(); |
| 166 | virtual void g(); |
| 167 | }; |
| 168 | void B::f() { } |
| 169 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 170 | // CHECK-6: Vtable for 'Test3::C' (5 entries). |
| 171 | // CHECK-6-NEXT: 0 | offset_to_top (0) |
| 172 | // CHECK-6-NEXT: 1 | Test3::C RTTI |
| 173 | // CHECK-6-NEXT: -- (Test3::A, 0) vtable address -- |
| 174 | // CHECK-6-NEXT: -- (Test3::C, 0) vtable address -- |
| 175 | // CHECK-6-NEXT: 2 | void Test3::A::f() |
| 176 | // CHECK-6-NEXT: 3 | void Test3::C::g() |
| 177 | // CHECK-6-NEXT: 4 | void Test3::C::h() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 178 | // |
| 179 | // CHECK-6: VTable indices for 'Test3::C' (2 entries). |
| 180 | // CHECK-6-NEXT: 1 | void Test3::C::g() |
| 181 | // CHECK-6-NEXT: 2 | void Test3::C::h() |
Anders Carlsson | 57071e2 | 2010-02-12 05:25:12 +0000 | [diff] [blame] | 182 | struct C : A { |
| 183 | virtual void g(); |
| 184 | virtual void h(); |
| 185 | }; |
| 186 | void C::g() { } |
| 187 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 188 | // CHECK-7: Vtable for 'Test3::D' (5 entries). |
| 189 | // CHECK-7-NEXT: 0 | offset_to_top (0) |
| 190 | // CHECK-7-NEXT: 1 | Test3::D RTTI |
| 191 | // CHECK-7-NEXT: -- (Test3::A, 0) vtable address -- |
| 192 | // CHECK-7-NEXT: -- (Test3::B, 0) vtable address -- |
| 193 | // CHECK-7-NEXT: -- (Test3::D, 0) vtable address -- |
| 194 | // CHECK-7-NEXT: 2 | void Test3::D::f() |
| 195 | // CHECK-7-NEXT: 3 | void Test3::D::g() |
| 196 | // CHECK-7-NEXT: 4 | void Test3::D::h() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 197 | // |
| 198 | // CHECK-7: VTable indices for 'Test3::D' (3 entries). |
| 199 | // CHECK-7-NEXT: 0 | void Test3::D::f() |
| 200 | // CHECK-7-NEXT: 1 | void Test3::D::g() |
| 201 | // CHECK-7-NEXT: 2 | void Test3::D::h() |
Anders Carlsson | 57071e2 | 2010-02-12 05:25:12 +0000 | [diff] [blame] | 202 | struct D : B { |
| 203 | virtual void f(); |
| 204 | virtual void g(); |
| 205 | virtual void h(); |
| 206 | }; |
| 207 | |
| 208 | void D::f() { } |
| 209 | } |
John McCall | 9605895 | 2010-02-12 06:15:07 +0000 | [diff] [blame] | 210 | |
Anders Carlsson | 7dbf47a | 2010-02-13 20:11:51 +0000 | [diff] [blame] | 211 | namespace Test4 { |
| 212 | |
Anders Carlsson | 60db0ee | 2010-02-13 21:07:32 +0000 | [diff] [blame] | 213 | // Test non-virtual result adjustments. |
Anders Carlsson | 7dbf47a | 2010-02-13 20:11:51 +0000 | [diff] [blame] | 214 | |
| 215 | struct R1 { int r1; }; |
| 216 | struct R2 { int r2; }; |
| 217 | struct R3 : R1, R2 { int r3; }; |
| 218 | |
| 219 | struct A { |
| 220 | virtual R2 *f(); |
| 221 | }; |
| 222 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 223 | // CHECK-8: Vtable for 'Test4::B' (4 entries). |
| 224 | // CHECK-8-NEXT: 0 | offset_to_top (0) |
| 225 | // CHECK-8-NEXT: 1 | Test4::B RTTI |
| 226 | // CHECK-8-NEXT: -- (Test4::A, 0) vtable address -- |
| 227 | // CHECK-8-NEXT: -- (Test4::B, 0) vtable address -- |
| 228 | // CHECK-8-NEXT: 2 | Test4::R3 *Test4::B::f() |
| 229 | // CHECK-8-NEXT: [return adjustment: 4 non-virtual] |
| 230 | // CHECK-8-NEXT: 3 | Test4::R3 *Test4::B::f() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 231 | // |
| 232 | // CHECK-8: VTable indices for 'Test4::B' (1 entries). |
| 233 | // CHECK-8-NEXT: 1 | Test4::R3 *Test4::B::f() |
Anders Carlsson | 7dbf47a | 2010-02-13 20:11:51 +0000 | [diff] [blame] | 234 | struct B : A { |
| 235 | virtual R3 *f(); |
| 236 | }; |
Anders Carlsson | 7dbf47a | 2010-02-13 20:11:51 +0000 | [diff] [blame] | 237 | R3 *B::f() { return 0; } |
Anders Carlsson | 60db0ee | 2010-02-13 21:07:32 +0000 | [diff] [blame] | 238 | |
| 239 | // Test virtual result adjustments. |
| 240 | struct V1 { int v1; }; |
| 241 | struct V2 : virtual V1 { int v1; }; |
| 242 | |
| 243 | struct C { |
| 244 | virtual V1 *f(); |
| 245 | }; |
| 246 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 247 | // CHECK-9: Vtable for 'Test4::D' (4 entries). |
| 248 | // CHECK-9-NEXT: 0 | offset_to_top (0) |
| 249 | // CHECK-9-NEXT: 1 | Test4::D RTTI |
| 250 | // CHECK-9-NEXT: -- (Test4::C, 0) vtable address -- |
| 251 | // CHECK-9-NEXT: -- (Test4::D, 0) vtable address -- |
| 252 | // CHECK-9-NEXT: 2 | Test4::V2 *Test4::D::f() |
| 253 | // CHECK-9-NEXT: [return adjustment: 0 non-virtual, -24 vbase offset offset] |
| 254 | // CHECK-9-NEXT: 3 | Test4::V2 *Test4::D::f() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 255 | // |
| 256 | // CHECK-9: VTable indices for 'Test4::D' (1 entries). |
| 257 | // CHECK-9-NEXT: 1 | Test4::V2 *Test4::D::f() |
Anders Carlsson | 60db0ee | 2010-02-13 21:07:32 +0000 | [diff] [blame] | 258 | struct D : C { |
| 259 | virtual V2 *f(); |
| 260 | }; |
| 261 | V2 *D::f() { return 0; }; |
| 262 | |
| 263 | // Virtual result adjustments with an additional non-virtual adjustment. |
| 264 | struct V3 : virtual R3 { int r3; }; |
| 265 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 266 | // CHECK-10: Vtable for 'Test4::E' (4 entries). |
| 267 | // CHECK-10-NEXT: 0 | offset_to_top (0) |
| 268 | // CHECK-10-NEXT: 1 | Test4::E RTTI |
| 269 | // CHECK-10-NEXT: -- (Test4::A, 0) vtable address -- |
| 270 | // CHECK-10-NEXT: -- (Test4::E, 0) vtable address -- |
| 271 | // CHECK-10-NEXT: 2 | Test4::V3 *Test4::E::f() |
| 272 | // CHECK-10-NEXT: [return adjustment: 4 non-virtual, -24 vbase offset offset] |
| 273 | // CHECK-10-NEXT: 3 | Test4::V3 *Test4::E::f() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 274 | // |
| 275 | // CHECK-10: VTable indices for 'Test4::E' (1 entries). |
| 276 | // CHECK-10-NEXT: 1 | Test4::V3 *Test4::E::f() |
Anders Carlsson | 60db0ee | 2010-02-13 21:07:32 +0000 | [diff] [blame] | 277 | struct E : A { |
| 278 | virtual V3 *f(); |
| 279 | }; |
| 280 | V3 *E::f() { return 0;} |
| 281 | |
Anders Carlsson | 1d05be5 | 2010-02-13 21:16:54 +0000 | [diff] [blame] | 282 | // Test that a pure virtual member doesn't get a thunk. |
| 283 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 284 | // CHECK-11: Vtable for 'Test4::F' (5 entries). |
| 285 | // CHECK-11-NEXT: 0 | offset_to_top (0) |
| 286 | // CHECK-11-NEXT: 1 | Test4::F RTTI |
| 287 | // CHECK-11-NEXT: -- (Test4::A, 0) vtable address -- |
| 288 | // CHECK-11-NEXT: -- (Test4::F, 0) vtable address -- |
| 289 | // CHECK-11-NEXT: 2 | Test4::R3 *Test4::F::f() [pure] |
| 290 | // CHECK-11-NEXT: 3 | void Test4::F::g() |
| 291 | // CHECK-11-NEXT: 4 | Test4::R3 *Test4::F::f() [pure] |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 292 | // |
| 293 | // CHECK-11: VTable indices for 'Test4::F' (2 entries). |
| 294 | // CHECK-11-NEXT: 1 | void Test4::F::g() |
| 295 | // CHECK-11-NEXT: 2 | Test4::R3 *Test4::F::f() |
Anders Carlsson | 1d05be5 | 2010-02-13 21:16:54 +0000 | [diff] [blame] | 296 | struct F : A { |
| 297 | virtual void g(); |
| 298 | virtual R3 *f() = 0; |
| 299 | }; |
Anders Carlsson | 1d05be5 | 2010-02-13 21:16:54 +0000 | [diff] [blame] | 300 | void F::g() { } |
| 301 | |
Anders Carlsson | 7dbf47a | 2010-02-13 20:11:51 +0000 | [diff] [blame] | 302 | } |
| 303 | |
Anders Carlsson | 76f1aa7 | 2010-02-13 22:05:23 +0000 | [diff] [blame] | 304 | namespace Test5 { |
| 305 | |
Anders Carlsson | 49bac9a | 2010-02-13 23:40:17 +0000 | [diff] [blame] | 306 | // Simple secondary vtables without 'this' pointer adjustments. |
Anders Carlsson | 76f1aa7 | 2010-02-13 22:05:23 +0000 | [diff] [blame] | 307 | struct A { |
| 308 | virtual void f(); |
| 309 | virtual void g(); |
| 310 | int a; |
| 311 | }; |
| 312 | |
| 313 | struct B1 : A { |
| 314 | virtual void f(); |
| 315 | int b1; |
| 316 | }; |
| 317 | |
| 318 | struct B2 : A { |
| 319 | virtual void g(); |
| 320 | int b2; |
| 321 | }; |
| 322 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 323 | // CHECK-12: Vtable for 'Test5::C' (9 entries). |
| 324 | // CHECK-12-NEXT: 0 | offset_to_top (0) |
| 325 | // CHECK-12-NEXT: 1 | Test5::C RTTI |
| 326 | // CHECK-12-NEXT: -- (Test5::A, 0) vtable address -- |
| 327 | // CHECK-12-NEXT: -- (Test5::B1, 0) vtable address -- |
| 328 | // CHECK-12-NEXT: -- (Test5::C, 0) vtable address -- |
| 329 | // CHECK-12-NEXT: 2 | void Test5::B1::f() |
| 330 | // CHECK-12-NEXT: 3 | void Test5::A::g() |
| 331 | // CHECK-12-NEXT: 4 | void Test5::C::h() |
| 332 | // CHECK-12-NEXT: 5 | offset_to_top (-16) |
| 333 | // CHECK-12-NEXT: 6 | Test5::C RTTI |
| 334 | // CHECK-12-NEXT: -- (Test5::A, 16) vtable address -- |
| 335 | // CHECK-12-NEXT: -- (Test5::B2, 16) vtable address -- |
| 336 | // CHECK-12-NEXT: 7 | void Test5::A::f() |
| 337 | // CHECK-12-NEXT: 8 | void Test5::B2::g() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 338 | // |
| 339 | // CHECK-12: VTable indices for 'Test5::C' (1 entries). |
| 340 | // CHECK-12-NEXT: 2 | void Test5::C::h() |
Anders Carlsson | 76f1aa7 | 2010-02-13 22:05:23 +0000 | [diff] [blame] | 341 | struct C : B1, B2 { |
| 342 | virtual void h(); |
| 343 | }; |
| 344 | void C::h() { } |
| 345 | } |
| 346 | |
Anders Carlsson | 49bac9a | 2010-02-13 23:40:17 +0000 | [diff] [blame] | 347 | namespace Test6 { |
John McCall | 9605895 | 2010-02-12 06:15:07 +0000 | [diff] [blame] | 348 | |
Anders Carlsson | 49bac9a | 2010-02-13 23:40:17 +0000 | [diff] [blame] | 349 | // Simple non-virtual 'this' pointer adjustments. |
| 350 | struct A1 { |
| 351 | virtual void f(); |
| 352 | int a; |
| 353 | }; |
John McCall | 9605895 | 2010-02-12 06:15:07 +0000 | [diff] [blame] | 354 | |
Anders Carlsson | 49bac9a | 2010-02-13 23:40:17 +0000 | [diff] [blame] | 355 | struct A2 { |
| 356 | virtual void f(); |
| 357 | int a; |
| 358 | }; |
| 359 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 360 | // CHECK-13: Vtable for 'Test6::C' (6 entries). |
| 361 | // CHECK-13-NEXT: 0 | offset_to_top (0) |
| 362 | // CHECK-13-NEXT: 1 | Test6::C RTTI |
| 363 | // CHECK-13-NEXT: -- (Test6::A1, 0) vtable address -- |
| 364 | // CHECK-13-NEXT: -- (Test6::C, 0) vtable address -- |
| 365 | // CHECK-13-NEXT: 2 | void Test6::C::f() |
| 366 | // CHECK-13-NEXT: 3 | offset_to_top (-16) |
| 367 | // CHECK-13-NEXT: 4 | Test6::C RTTI |
| 368 | // CHECK-13-NEXT: -- (Test6::A2, 16) vtable address -- |
| 369 | // CHECK-13-NEXT: 5 | void Test6::C::f() |
| 370 | // CHECK-13-NEXT: [this adjustment: -16 non-virtual] |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 371 | // |
| 372 | // CHECK-13: VTable indices for 'Test6::C' (1 entries). |
| 373 | // CHECK-13-NEXT: 0 | void Test6::C::f() |
Anders Carlsson | 49bac9a | 2010-02-13 23:40:17 +0000 | [diff] [blame] | 374 | struct C : A1, A2 { |
| 375 | virtual void f(); |
| 376 | }; |
| 377 | void C::f() { } |
| 378 | |
Anders Carlsson | e67dc30 | 2010-02-14 00:16:19 +0000 | [diff] [blame] | 379 | } |
| 380 | |
| 381 | namespace Test7 { |
| 382 | |
| 383 | // Test that the D::f overrider for A::f have different 'this' pointer |
| 384 | // adjustments in the two A base subobjects. |
| 385 | |
| 386 | struct A { |
| 387 | virtual void f(); |
| 388 | int a; |
| 389 | }; |
| 390 | |
| 391 | struct B1 : A { }; |
| 392 | struct B2 : A { }; |
| 393 | |
| 394 | struct C { virtual void c(); }; |
| 395 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 396 | // CHECK-14: Vtable for 'Test7::D' (10 entries). |
| 397 | // CHECK-14-NEXT: 0 | offset_to_top (0) |
| 398 | // CHECK-14-NEXT: 1 | Test7::D RTTI |
| 399 | // CHECK-14-NEXT: -- (Test7::C, 0) vtable address -- |
| 400 | // CHECK-14-NEXT: -- (Test7::D, 0) vtable address -- |
| 401 | // CHECK-14-NEXT: 2 | void Test7::C::c() |
| 402 | // CHECK-14-NEXT: 3 | void Test7::D::f() |
| 403 | // CHECK-14-NEXT: 4 | offset_to_top (-8) |
| 404 | // CHECK-14-NEXT: 5 | Test7::D RTTI |
| 405 | // CHECK-14-NEXT: -- (Test7::A, 8) vtable address -- |
| 406 | // CHECK-14-NEXT: -- (Test7::B1, 8) vtable address -- |
| 407 | // CHECK-14-NEXT: 6 | void Test7::D::f() |
| 408 | // CHECK-14-NEXT: [this adjustment: -8 non-virtual] |
| 409 | // CHECK-14-NEXT: 7 | offset_to_top (-24) |
| 410 | // CHECK-14-NEXT: 8 | Test7::D RTTI |
| 411 | // CHECK-14-NEXT: -- (Test7::A, 24) vtable address -- |
| 412 | // CHECK-14-NEXT: -- (Test7::B2, 24) vtable address -- |
| 413 | // CHECK-14-NEXT: 9 | void Test7::D::f() |
| 414 | // CHECK-14-NEXT: [this adjustment: -24 non-virtual] |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 415 | // |
| 416 | // CHECK-14: VTable indices for 'Test7::D' (1 entries). |
| 417 | // CHECK-14-NEXT: 1 | void Test7::D::f() |
Anders Carlsson | e67dc30 | 2010-02-14 00:16:19 +0000 | [diff] [blame] | 418 | struct D : C, B1, B2 { |
| 419 | virtual void f(); |
| 420 | }; |
| 421 | void D::f() { } |
| 422 | |
| 423 | } |
Anders Carlsson | b828afa | 2010-02-14 17:05:59 +0000 | [diff] [blame] | 424 | |
| 425 | namespace Test8 { |
| 426 | |
| 427 | // Test that we don't try to layout vtables for classes that don't have |
| 428 | // virtual bases or virtual member functions. |
| 429 | |
| 430 | struct A { }; |
| 431 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 432 | // CHECK-15: Vtable for 'Test8::B' (3 entries). |
| 433 | // CHECK-15-NEXT: 0 | offset_to_top (0) |
| 434 | // CHECK-15-NEXT: 1 | Test8::B RTTI |
| 435 | // CHECK-15-NEXT: -- (Test8::B, 0) vtable address -- |
| 436 | // CHECK-15-NEXT: 2 | void Test8::B::f() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 437 | // |
| 438 | // CHECK-15: VTable indices for 'Test8::B' (1 entries). |
| 439 | // CHECK-15-NEXT: 0 | void Test8::B::f() |
| 440 | struct B : A { |
Anders Carlsson | b828afa | 2010-02-14 17:05:59 +0000 | [diff] [blame] | 441 | virtual void f(); |
| 442 | }; |
| 443 | void B::f() { } |
| 444 | |
| 445 | } |
Anders Carlsson | 852213e | 2010-02-16 04:59:55 +0000 | [diff] [blame] | 446 | |
| 447 | namespace Test9 { |
| 448 | |
| 449 | // Simple test of vbase offsets. |
| 450 | |
| 451 | struct A1 { int a1; }; |
| 452 | struct A2 { int a2; }; |
| 453 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 454 | // CHECK-16: Vtable for 'Test9::B' (5 entries). |
| 455 | // CHECK-16-NEXT: 0 | vbase_offset (16) |
| 456 | // CHECK-16-NEXT: 1 | vbase_offset (12) |
| 457 | // CHECK-16-NEXT: 2 | offset_to_top (0) |
| 458 | // CHECK-16-NEXT: 3 | Test9::B RTTI |
| 459 | // CHECK-16-NEXT: -- (Test9::B, 0) vtable address -- |
| 460 | // CHECK-16-NEXT: 4 | void Test9::B::f() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 461 | // |
| 462 | // CHECK-16: VTable indices for 'Test9::B' (1 entries). |
| 463 | // CHECK-16-NEXT: 0 | void Test9::B::f() |
Anders Carlsson | 852213e | 2010-02-16 04:59:55 +0000 | [diff] [blame] | 464 | struct B : virtual A1, virtual A2 { |
| 465 | int b; |
| 466 | |
| 467 | virtual void f(); |
| 468 | }; |
| 469 | |
| 470 | |
| 471 | void B::f() { } |
| 472 | |
| 473 | } |
Anders Carlsson | c7b6316 | 2010-02-16 16:02:57 +0000 | [diff] [blame] | 474 | |
| 475 | namespace Test10 { |
| 476 | |
| 477 | // Test for a bug where we would not emit secondary vtables for bases |
| 478 | // of a primary base. |
| 479 | struct A1 { virtual void a1(); }; |
| 480 | struct A2 { virtual void a2(); }; |
| 481 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 482 | // CHECK-17: Vtable for 'Test10::C' (7 entries). |
| 483 | // CHECK-17-NEXT: 0 | offset_to_top (0) |
| 484 | // CHECK-17-NEXT: 1 | Test10::C RTTI |
| 485 | // CHECK-17-NEXT: -- (Test10::A1, 0) vtable address -- |
| 486 | // CHECK-17-NEXT: -- (Test10::B, 0) vtable address -- |
| 487 | // CHECK-17-NEXT: -- (Test10::C, 0) vtable address -- |
| 488 | // CHECK-17-NEXT: 2 | void Test10::A1::a1() |
| 489 | // CHECK-17-NEXT: 3 | void Test10::C::f() |
| 490 | // CHECK-17-NEXT: 4 | offset_to_top (-8) |
| 491 | // CHECK-17-NEXT: 5 | Test10::C RTTI |
| 492 | // CHECK-17-NEXT: -- (Test10::A2, 8) vtable address -- |
| 493 | // CHECK-17-NEXT: 6 | void Test10::A2::a2() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 494 | // |
| 495 | // CHECK-17: VTable indices for 'Test10::C' (1 entries). |
| 496 | // CHECK-17-NEXT: 1 | void Test10::C::f() |
Anders Carlsson | c7b6316 | 2010-02-16 16:02:57 +0000 | [diff] [blame] | 497 | struct B : A1, A2 { |
| 498 | int b; |
| 499 | }; |
| 500 | |
| 501 | struct C : B { |
| 502 | virtual void f(); |
| 503 | }; |
| 504 | void C::f() { } |
| 505 | |
| 506 | } |
Anders Carlsson | 69dc04e | 2010-02-16 16:49:35 +0000 | [diff] [blame] | 507 | |
| 508 | namespace Test11 { |
| 509 | |
| 510 | // Very simple test of vtables for virtual bases. |
| 511 | struct A1 { int a; }; |
| 512 | struct A2 { int b; }; |
| 513 | |
| 514 | struct B : A1, virtual A2 { |
| 515 | int b; |
| 516 | }; |
| 517 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 518 | // CHECK-18: Vtable for 'Test11::C' (8 entries). |
| 519 | // CHECK-18-NEXT: 0 | vbase_offset (24) |
| 520 | // CHECK-18-NEXT: 1 | vbase_offset (8) |
| 521 | // CHECK-18-NEXT: 2 | offset_to_top (0) |
| 522 | // CHECK-18-NEXT: 3 | Test11::C RTTI |
| 523 | // CHECK-18-NEXT: -- (Test11::C, 0) vtable address -- |
| 524 | // CHECK-18-NEXT: 4 | void Test11::C::f() |
| 525 | // CHECK-18-NEXT: 5 | vbase_offset (16) |
| 526 | // CHECK-18-NEXT: 6 | offset_to_top (-8) |
| 527 | // CHECK-18-NEXT: 7 | Test11::C RTTI |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 528 | // |
| 529 | // CHECK-18: VTable indices for 'Test11::C' (1 entries). |
| 530 | // CHECK-18-NEXT: 0 | void Test11::C::f() |
Anders Carlsson | 69dc04e | 2010-02-16 16:49:35 +0000 | [diff] [blame] | 531 | struct C : virtual B { |
| 532 | virtual void f(); |
| 533 | }; |
| 534 | void C::f() { } |
| 535 | |
| 536 | } |
Anders Carlsson | 92f5432 | 2010-02-23 03:26:17 +0000 | [diff] [blame] | 537 | |
| 538 | namespace Test12 { |
| 539 | |
| 540 | // Test that the right vcall offsets are generated in the right order. |
| 541 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 542 | // CHECK-19: Vtable for 'Test12::B' (19 entries). |
| 543 | // CHECK-19-NEXT: 0 | vbase_offset (8) |
| 544 | // CHECK-19-NEXT: 1 | offset_to_top (0) |
| 545 | // CHECK-19-NEXT: 2 | Test12::B RTTI |
| 546 | // CHECK-19-NEXT: -- (Test12::B, 0) vtable address -- |
| 547 | // CHECK-19-NEXT: 3 | void Test12::B::f() |
| 548 | // CHECK-19-NEXT: 4 | void Test12::B::a() |
| 549 | // CHECK-19-NEXT: 5 | vcall_offset (32) |
| 550 | // CHECK-19-NEXT: 6 | vcall_offset (16) |
| 551 | // CHECK-19-NEXT: 7 | vcall_offset (-8) |
| 552 | // CHECK-19-NEXT: 8 | vcall_offset (0) |
| 553 | // CHECK-19-NEXT: 9 | offset_to_top (-8) |
| 554 | // CHECK-19-NEXT: 10 | Test12::B RTTI |
| 555 | // CHECK-19-NEXT: -- (Test12::A, 8) vtable address -- |
| 556 | // CHECK-19-NEXT: -- (Test12::A1, 8) vtable address -- |
| 557 | // CHECK-19-NEXT: 11 | void Test12::A1::a1() |
| 558 | // CHECK-19-NEXT: 12 | void Test12::B::a() |
| 559 | // CHECK-19-NEXT: [this adjustment: 0 non-virtual, -32 vcall offset offset] |
| 560 | // CHECK-19-NEXT: 13 | offset_to_top (-24) |
| 561 | // CHECK-19-NEXT: 14 | Test12::B RTTI |
| 562 | // CHECK-19-NEXT: -- (Test12::A2, 24) vtable address -- |
| 563 | // CHECK-19-NEXT: 15 | void Test12::A2::a2() |
| 564 | // CHECK-19-NEXT: 16 | offset_to_top (-40) |
| 565 | // CHECK-19-NEXT: 17 | Test12::B RTTI |
| 566 | // CHECK-19-NEXT: -- (Test12::A3, 40) vtable address -- |
| 567 | // CHECK-19-NEXT: 18 | void Test12::A3::a3() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 568 | // |
| 569 | // CHECK-19: VTable indices for 'Test12::B' (2 entries). |
| 570 | // CHECK-19-NEXT: 0 | void Test12::B::f() |
| 571 | // CHECK-19-NEXT: 1 | void Test12::B::a() |
Anders Carlsson | 92f5432 | 2010-02-23 03:26:17 +0000 | [diff] [blame] | 572 | struct A1 { |
| 573 | virtual void a1(); |
| 574 | int a; |
| 575 | }; |
| 576 | |
| 577 | struct A2 { |
| 578 | virtual void a2(); |
| 579 | int a; |
| 580 | }; |
| 581 | |
| 582 | struct A3 { |
| 583 | virtual void a3(); |
| 584 | int a; |
| 585 | }; |
| 586 | |
| 587 | struct A : A1, A2, A3 { |
| 588 | virtual void a(); |
| 589 | int i; |
| 590 | }; |
| 591 | |
| 592 | struct B : virtual A { |
| 593 | virtual void f(); |
| 594 | |
| 595 | virtual void a(); |
| 596 | }; |
| 597 | void B::f() { } |
| 598 | |
| 599 | } |
Anders Carlsson | af280c0 | 2010-02-23 03:48:14 +0000 | [diff] [blame] | 600 | |
| 601 | namespace Test13 { |
| 602 | |
| 603 | // Test that we don't try to emit a vtable for 'A' twice. |
| 604 | struct A { |
| 605 | virtual void f(); |
| 606 | }; |
| 607 | |
| 608 | struct B : virtual A { |
| 609 | virtual void f(); |
| 610 | }; |
| 611 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 612 | // CHECK-20: Vtable for 'Test13::C' (6 entries). |
| 613 | // CHECK-20-NEXT: 0 | vbase_offset (0) |
| 614 | // CHECK-20-NEXT: 1 | vbase_offset (0) |
| 615 | // CHECK-20-NEXT: 2 | vcall_offset (0) |
| 616 | // CHECK-20-NEXT: 3 | offset_to_top (0) |
| 617 | // CHECK-20-NEXT: 4 | Test13::C RTTI |
| 618 | // CHECK-20-NEXT: -- (Test13::A, 0) vtable address -- |
| 619 | // CHECK-20-NEXT: -- (Test13::B, 0) vtable address -- |
| 620 | // CHECK-20-NEXT: -- (Test13::C, 0) vtable address -- |
| 621 | // CHECK-20-NEXT: 5 | void Test13::C::f() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 622 | // |
| 623 | // CHECK-20: VTable indices for 'Test13::C' (1 entries). |
| 624 | // CHECK-20-NEXT: 0 | void Test13::C::f() |
Anders Carlsson | af280c0 | 2010-02-23 03:48:14 +0000 | [diff] [blame] | 625 | struct C : virtual B, virtual A { |
| 626 | virtual void f(); |
| 627 | }; |
| 628 | void C::f() { } |
| 629 | |
| 630 | } |
| 631 | |
Anders Carlsson | bf554f6 | 2010-02-25 22:18:35 +0000 | [diff] [blame] | 632 | namespace Test14 { |
| 633 | |
| 634 | // Verify that we handle A being a non-virtual base of B, which is a virtual base. |
| 635 | |
| 636 | struct A { |
| 637 | virtual void f(); |
| 638 | }; |
| 639 | |
| 640 | struct B : A { }; |
| 641 | |
| 642 | struct C : virtual B { }; |
| 643 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 644 | // CHECK-21: Vtable for 'Test14::D' (5 entries). |
| 645 | // CHECK-21-NEXT: 0 | vbase_offset (0) |
| 646 | // CHECK-21-NEXT: 1 | vcall_offset (0) |
| 647 | // CHECK-21-NEXT: 2 | offset_to_top (0) |
| 648 | // CHECK-21-NEXT: 3 | Test14::D RTTI |
| 649 | // CHECK-21-NEXT: -- (Test14::A, 0) vtable address -- |
| 650 | // CHECK-21-NEXT: -- (Test14::B, 0) vtable address -- |
| 651 | // CHECK-21-NEXT: -- (Test14::C, 0) vtable address -- |
| 652 | // CHECK-21-NEXT: -- (Test14::D, 0) vtable address -- |
| 653 | // CHECK-21-NEXT: 4 | void Test14::D::f() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 654 | // |
| 655 | // CHECK-21: VTable indices for 'Test14::D' (1 entries). |
| 656 | // CHECK-21-NEXT: 0 | void Test14::D::f() |
Anders Carlsson | bf554f6 | 2010-02-25 22:18:35 +0000 | [diff] [blame] | 657 | struct D : C, virtual B { |
| 658 | virtual void f(); |
| 659 | }; |
| 660 | void D::f() { } |
| 661 | |
| 662 | } |
| 663 | |
Anders Carlsson | 08c2675 | 2010-02-27 04:05:52 +0000 | [diff] [blame] | 664 | namespace Test15 { |
| 665 | |
| 666 | // Test that we don't emit an extra vtable for B since it's a primary base of C. |
| 667 | struct A { virtual void a(); }; |
| 668 | struct B { virtual void b(); }; |
| 669 | |
| 670 | struct C : virtual B { }; |
| 671 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 672 | // CHECK-22: Vtable for 'Test15::D' (11 entries). |
| 673 | // CHECK-22-NEXT: 0 | vbase_offset (8) |
| 674 | // CHECK-22-NEXT: 1 | vbase_offset (8) |
| 675 | // CHECK-22-NEXT: 2 | offset_to_top (0) |
| 676 | // CHECK-22-NEXT: 3 | Test15::D RTTI |
| 677 | // CHECK-22-NEXT: -- (Test15::A, 0) vtable address -- |
| 678 | // CHECK-22-NEXT: -- (Test15::D, 0) vtable address -- |
| 679 | // CHECK-22-NEXT: 4 | void Test15::A::a() |
| 680 | // CHECK-22-NEXT: 5 | void Test15::D::f() |
| 681 | // CHECK-22-NEXT: 6 | vbase_offset (0) |
| 682 | // CHECK-22-NEXT: 7 | vcall_offset (0) |
| 683 | // CHECK-22-NEXT: 8 | offset_to_top (-8) |
| 684 | // CHECK-22-NEXT: 9 | Test15::D RTTI |
| 685 | // CHECK-22-NEXT: -- (Test15::B, 8) vtable address -- |
| 686 | // CHECK-22-NEXT: -- (Test15::C, 8) vtable address -- |
| 687 | // CHECK-22-NEXT: 10 | void Test15::B::b() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 688 | // |
| 689 | // CHECK-22: VTable indices for 'Test15::D' (1 entries). |
| 690 | // CHECK-22-NEXT: 1 | void Test15::D::f() |
Anders Carlsson | 08c2675 | 2010-02-27 04:05:52 +0000 | [diff] [blame] | 691 | struct D : A, virtual B, virtual C { |
| 692 | virtual void f(); |
| 693 | }; |
| 694 | void D::f() { } |
| 695 | |
| 696 | } |
Anders Carlsson | 5560969 | 2010-02-27 04:12:52 +0000 | [diff] [blame] | 697 | |
| 698 | namespace Test16 { |
| 699 | |
| 700 | // Test that destructors share vcall offsets. |
| 701 | |
| 702 | struct A { virtual ~A(); }; |
| 703 | struct B { virtual ~B(); }; |
| 704 | |
| 705 | struct C : A, B { virtual ~C(); }; |
| 706 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 707 | // CHECK-23: Vtable for 'Test16::D' (15 entries). |
| 708 | // CHECK-23-NEXT: 0 | vbase_offset (8) |
| 709 | // CHECK-23-NEXT: 1 | offset_to_top (0) |
| 710 | // CHECK-23-NEXT: 2 | Test16::D RTTI |
| 711 | // CHECK-23-NEXT: -- (Test16::D, 0) vtable address -- |
| 712 | // CHECK-23-NEXT: 3 | void Test16::D::f() |
| 713 | // CHECK-23-NEXT: 4 | Test16::D::~D() [complete] |
| 714 | // CHECK-23-NEXT: 5 | Test16::D::~D() [deleting] |
| 715 | // CHECK-23-NEXT: 6 | vcall_offset (-8) |
| 716 | // CHECK-23-NEXT: 7 | offset_to_top (-8) |
| 717 | // CHECK-23-NEXT: 8 | Test16::D RTTI |
| 718 | // CHECK-23-NEXT: -- (Test16::A, 8) vtable address -- |
| 719 | // CHECK-23-NEXT: -- (Test16::C, 8) vtable address -- |
| 720 | // CHECK-23-NEXT: 9 | Test16::D::~D() [complete] |
| 721 | // CHECK-23-NEXT: [this adjustment: 0 non-virtual, -24 vcall offset offset] |
| 722 | // CHECK-23-NEXT: 10 | Test16::D::~D() [deleting] |
| 723 | // CHECK-23-NEXT: [this adjustment: 0 non-virtual, -24 vcall offset offset] |
| 724 | // CHECK-23-NEXT: 11 | offset_to_top (-16) |
| 725 | // CHECK-23-NEXT: 12 | Test16::D RTTI |
| 726 | // CHECK-23-NEXT: -- (Test16::B, 16) vtable address -- |
| 727 | // CHECK-23-NEXT: 13 | Test16::D::~D() [complete] |
| 728 | // CHECK-23-NEXT: [this adjustment: -8 non-virtual, -24 vcall offset offset] |
| 729 | // CHECK-23-NEXT: 14 | Test16::D::~D() [deleting] |
| 730 | // CHECK-23-NEXT: [this adjustment: -8 non-virtual, -24 vcall offset offset] |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 731 | // |
| 732 | // CHECK-23: VTable indices for 'Test16::D' (3 entries). |
| 733 | // CHECK-23-NEXT: 0 | void Test16::D::f() |
| 734 | // CHECK-23-NEXT: 1 | Test16::D::~D() [complete] |
| 735 | // CHECK-23-NEXT: 2 | Test16::D::~D() [deleting] |
Anders Carlsson | 5560969 | 2010-02-27 04:12:52 +0000 | [diff] [blame] | 736 | struct D : virtual C { |
| 737 | virtual void f(); |
| 738 | }; |
| 739 | void D::f() { } |
| 740 | |
| 741 | } |
Anders Carlsson | c784ba2 | 2010-02-27 06:38:03 +0000 | [diff] [blame] | 742 | |
| 743 | namespace Test17 { |
| 744 | |
| 745 | // Test that we don't mark E::f in the C-in-E vtable as unused. |
| 746 | struct A { virtual void f(); }; |
| 747 | struct B : virtual A { virtual void f(); }; |
| 748 | struct C : virtual A { virtual void f(); }; |
| 749 | struct D : virtual B, virtual C { virtual void f(); }; |
| 750 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 751 | // CHECK-24: Vtable for 'Test17::E' (13 entries). |
| 752 | // CHECK-24-NEXT: 0 | vbase_offset (0) |
| 753 | // CHECK-24-NEXT: 1 | vbase_offset (8) |
| 754 | // CHECK-24-NEXT: 2 | vbase_offset (0) |
| 755 | // CHECK-24-NEXT: 3 | vbase_offset (0) |
| 756 | // CHECK-24-NEXT: 4 | vcall_offset (0) |
| 757 | // CHECK-24-NEXT: 5 | offset_to_top (0) |
| 758 | // CHECK-24-NEXT: 6 | Test17::E RTTI |
| 759 | // CHECK-24-NEXT: -- (Test17::A, 0) vtable address -- |
| 760 | // CHECK-24-NEXT: -- (Test17::B, 0) vtable address -- |
| 761 | // CHECK-24-NEXT: -- (Test17::D, 0) vtable address -- |
| 762 | // CHECK-24-NEXT: -- (Test17::E, 0) vtable address -- |
| 763 | // CHECK-24-NEXT: 7 | void Test17::E::f() |
| 764 | // CHECK-24-NEXT: 8 | vbase_offset (-8) |
| 765 | // CHECK-24-NEXT: 9 | vcall_offset (-8) |
| 766 | // CHECK-24-NEXT: 10 | offset_to_top (-8) |
| 767 | // CHECK-24-NEXT: 11 | Test17::E RTTI |
| 768 | // CHECK-24-NEXT: -- (Test17::C, 8) vtable address -- |
| 769 | // CHECK-24-NEXT: 12 | void Test17::E::f() |
| 770 | // CHECK-24-NEXT: [this adjustment: 0 non-virtual, -24 vcall offset offset] |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 771 | // |
| 772 | // CHECK-24: VTable indices for 'Test17::E' (1 entries). |
| 773 | // CHECK-24-NEXT: 0 | void Test17::E::f() |
Anders Carlsson | c784ba2 | 2010-02-27 06:38:03 +0000 | [diff] [blame] | 774 | class E : virtual D { |
| 775 | virtual void f(); |
| 776 | }; |
| 777 | void E::f() {} |
| 778 | |
| 779 | } |
Anders Carlsson | 2ef9d6b | 2010-02-27 16:52:49 +0000 | [diff] [blame] | 780 | |
| 781 | namespace Test18 { |
| 782 | |
| 783 | // Test that we compute the right 'this' adjustment offsets. |
| 784 | |
| 785 | struct A { |
| 786 | virtual void f(); |
| 787 | virtual void g(); |
| 788 | }; |
| 789 | |
| 790 | struct B : virtual A { |
| 791 | virtual void f(); |
| 792 | }; |
| 793 | |
| 794 | struct C : A, B { |
| 795 | virtual void g(); |
| 796 | }; |
| 797 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 798 | // CHECK-25: Vtable for 'Test18::D' (24 entries). |
| 799 | // CHECK-25-NEXT: 0 | vbase_offset (8) |
| 800 | // CHECK-25-NEXT: 1 | vbase_offset (0) |
| 801 | // CHECK-25-NEXT: 2 | vbase_offset (0) |
| 802 | // CHECK-25-NEXT: 3 | vcall_offset (8) |
| 803 | // CHECK-25-NEXT: 4 | vcall_offset (0) |
| 804 | // CHECK-25-NEXT: 5 | offset_to_top (0) |
| 805 | // CHECK-25-NEXT: 6 | Test18::D RTTI |
| 806 | // CHECK-25-NEXT: -- (Test18::A, 0) vtable address -- |
| 807 | // CHECK-25-NEXT: -- (Test18::B, 0) vtable address -- |
| 808 | // CHECK-25-NEXT: -- (Test18::D, 0) vtable address -- |
| 809 | // CHECK-25-NEXT: 7 | void Test18::D::f() |
| 810 | // CHECK-25-NEXT: 8 | void Test18::C::g() |
| 811 | // CHECK-25-NEXT: [this adjustment: 0 non-virtual, -32 vcall offset offset] |
| 812 | // CHECK-25-NEXT: 9 | void Test18::D::h() |
| 813 | // CHECK-25-NEXT: 10 | vcall_offset (0) |
| 814 | // CHECK-25-NEXT: 11 | vcall_offset (-8) |
| 815 | // CHECK-25-NEXT: 12 | vbase_offset (-8) |
| 816 | // CHECK-25-NEXT: 13 | offset_to_top (-8) |
| 817 | // CHECK-25-NEXT: 14 | Test18::D RTTI |
| 818 | // CHECK-25-NEXT: -- (Test18::A, 8) vtable address -- |
| 819 | // CHECK-25-NEXT: -- (Test18::C, 8) vtable address -- |
| 820 | // CHECK-25-NEXT: 15 | void Test18::D::f() |
| 821 | // CHECK-25-NEXT: [this adjustment: 0 non-virtual, -32 vcall offset offset] |
| 822 | // CHECK-25-NEXT: 16 | void Test18::C::g() |
| 823 | // CHECK-25-NEXT: 17 | vbase_offset (-16) |
| 824 | // CHECK-25-NEXT: 18 | vcall_offset (-8) |
| 825 | // CHECK-25-NEXT: 19 | vcall_offset (-16) |
| 826 | // CHECK-25-NEXT: 20 | offset_to_top (-16) |
| 827 | // CHECK-25-NEXT: 21 | Test18::D RTTI |
| 828 | // CHECK-25-NEXT: -- (Test18::B, 16) vtable address -- |
| 829 | // CHECK-25-NEXT: 22 | void Test18::D::f() |
| 830 | // CHECK-25-NEXT: [this adjustment: -8 non-virtual, -32 vcall offset offset] |
| 831 | // CHECK-25-NEXT: 23 | [unused] void Test18::C::g() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 832 | // |
| 833 | // CHECK-25: VTable indices for 'Test18::D' (2 entries). |
| 834 | // CHECK-25-NEXT: 0 | void Test18::D::f() |
| 835 | // CHECK-25-NEXT: 2 | void Test18::D::h() |
Anders Carlsson | 2bc1d3a | 2010-03-10 21:25:37 +0000 | [diff] [blame] | 836 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 837 | // CHECK-25: Construction vtable for ('Test18::B', 0) in 'Test18::D' (7 entries). |
| 838 | // CHECK-25-NEXT: 0 | vbase_offset (0) |
| 839 | // CHECK-25-NEXT: 1 | vcall_offset (0) |
| 840 | // CHECK-25-NEXT: 2 | vcall_offset (0) |
| 841 | // CHECK-25-NEXT: 3 | offset_to_top (0) |
| 842 | // CHECK-25-NEXT: 4 | Test18::B RTTI |
| 843 | // CHECK-25-NEXT: -- (Test18::A, 0) vtable address -- |
| 844 | // CHECK-25-NEXT: -- (Test18::B, 0) vtable address -- |
| 845 | // CHECK-25-NEXT: 5 | void Test18::B::f() |
| 846 | // CHECK-25-NEXT: 6 | void Test18::A::g() |
Anders Carlsson | 2bc1d3a | 2010-03-10 21:25:37 +0000 | [diff] [blame] | 847 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 848 | // CHECK-25: Construction vtable for ('Test18::C', 8) in 'Test18::D' (20 entries). |
| 849 | // CHECK-25-NEXT: 0 | vcall_offset (0) |
| 850 | // CHECK-25-NEXT: 1 | vcall_offset (0) |
| 851 | // CHECK-25-NEXT: 2 | vbase_offset (-8) |
| 852 | // CHECK-25-NEXT: 3 | offset_to_top (0) |
| 853 | // CHECK-25-NEXT: 4 | Test18::C RTTI |
| 854 | // CHECK-25-NEXT: -- (Test18::A, 8) vtable address -- |
| 855 | // CHECK-25-NEXT: -- (Test18::C, 8) vtable address -- |
| 856 | // CHECK-25-NEXT: 5 | void Test18::A::f() |
| 857 | // CHECK-25-NEXT: 6 | void Test18::C::g() |
| 858 | // CHECK-25-NEXT: 7 | vbase_offset (-16) |
| 859 | // CHECK-25-NEXT: 8 | vcall_offset (-8) |
| 860 | // CHECK-25-NEXT: 9 | vcall_offset (0) |
| 861 | // CHECK-25-NEXT: 10 | offset_to_top (-8) |
| 862 | // CHECK-25-NEXT: 11 | Test18::C RTTI |
| 863 | // CHECK-25-NEXT: -- (Test18::B, 16) vtable address -- |
| 864 | // CHECK-25-NEXT: 12 | void Test18::B::f() |
| 865 | // CHECK-25-NEXT: 13 | [unused] void Test18::C::g() |
| 866 | // CHECK-25-NEXT: 14 | vcall_offset (8) |
| 867 | // CHECK-25-NEXT: 15 | vcall_offset (16) |
| 868 | // CHECK-25-NEXT: 16 | offset_to_top (8) |
| 869 | // CHECK-25-NEXT: 17 | Test18::C RTTI |
| 870 | // CHECK-25-NEXT: -- (Test18::A, 0) vtable address -- |
| 871 | // CHECK-25-NEXT: 18 | void Test18::B::f() |
| 872 | // CHECK-25-NEXT: [this adjustment: 0 non-virtual, -24 vcall offset offset] |
| 873 | // CHECK-25-NEXT: 19 | void Test18::C::g() |
| 874 | // CHECK-25-NEXT: [this adjustment: 0 non-virtual, -32 vcall offset offset] |
Anders Carlsson | 2bc1d3a | 2010-03-10 21:25:37 +0000 | [diff] [blame] | 875 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 876 | // CHECK-25: Construction vtable for ('Test18::B', 16) in 'Test18::D' (13 entries). |
| 877 | // CHECK-25-NEXT: 0 | vbase_offset (-16) |
| 878 | // CHECK-25-NEXT: 1 | vcall_offset (-16) |
| 879 | // CHECK-25-NEXT: 2 | vcall_offset (0) |
| 880 | // CHECK-25-NEXT: 3 | offset_to_top (0) |
| 881 | // CHECK-25-NEXT: 4 | Test18::B RTTI |
| 882 | // CHECK-25-NEXT: -- (Test18::B, 16) vtable address -- |
| 883 | // CHECK-25-NEXT: 5 | void Test18::B::f() |
| 884 | // CHECK-25-NEXT: 6 | [unused] void Test18::A::g() |
| 885 | // CHECK-25-NEXT: 7 | vcall_offset (0) |
| 886 | // CHECK-25-NEXT: 8 | vcall_offset (16) |
| 887 | // CHECK-25-NEXT: 9 | offset_to_top (16) |
| 888 | // CHECK-25-NEXT: 10 | Test18::B RTTI |
| 889 | // CHECK-25-NEXT: -- (Test18::A, 0) vtable address -- |
| 890 | // CHECK-25-NEXT: 11 | void Test18::B::f() |
| 891 | // CHECK-25-NEXT: [this adjustment: 0 non-virtual, -24 vcall offset offset] |
| 892 | // CHECK-25-NEXT: 12 | void Test18::A::g() |
Anders Carlsson | 2ef9d6b | 2010-02-27 16:52:49 +0000 | [diff] [blame] | 893 | struct D : virtual B, virtual C, virtual A |
| 894 | { |
| 895 | virtual void f(); |
| 896 | virtual void h(); |
| 897 | }; |
| 898 | void D::f() {} |
| 899 | |
Anders Carlsson | 3504475 | 2010-02-27 16:55:58 +0000 | [diff] [blame] | 900 | } |
| 901 | |
| 902 | namespace Test19 { |
| 903 | |
| 904 | // Another 'this' adjustment test. |
| 905 | |
| 906 | struct A { |
| 907 | int a; |
| 908 | |
| 909 | virtual void f(); |
| 910 | }; |
| 911 | |
| 912 | struct B : A { |
| 913 | int b; |
| 914 | |
| 915 | virtual void g(); |
| 916 | }; |
| 917 | |
| 918 | struct C { |
| 919 | virtual void c(); |
| 920 | }; |
| 921 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 922 | // CHECK-26: Vtable for 'Test19::D' (13 entries). |
| 923 | // CHECK-26-NEXT: 0 | vbase_offset (24) |
| 924 | // CHECK-26-NEXT: 1 | offset_to_top (0) |
| 925 | // CHECK-26-NEXT: 2 | Test19::D RTTI |
| 926 | // CHECK-26-NEXT: -- (Test19::C, 0) vtable address -- |
| 927 | // CHECK-26-NEXT: -- (Test19::D, 0) vtable address -- |
| 928 | // CHECK-26-NEXT: 3 | void Test19::C::c() |
| 929 | // CHECK-26-NEXT: 4 | void Test19::D::f() |
| 930 | // CHECK-26-NEXT: 5 | offset_to_top (-8) |
| 931 | // CHECK-26-NEXT: 6 | Test19::D RTTI |
| 932 | // CHECK-26-NEXT: -- (Test19::A, 8) vtable address -- |
| 933 | // CHECK-26-NEXT: -- (Test19::B, 8) vtable address -- |
| 934 | // CHECK-26-NEXT: 7 | void Test19::D::f() |
| 935 | // CHECK-26-NEXT: [this adjustment: -8 non-virtual] |
| 936 | // CHECK-26-NEXT: 8 | void Test19::B::g() |
| 937 | // CHECK-26-NEXT: 9 | vcall_offset (-24) |
| 938 | // CHECK-26-NEXT: 10 | offset_to_top (-24) |
| 939 | // CHECK-26-NEXT: 11 | Test19::D RTTI |
| 940 | // CHECK-26-NEXT: -- (Test19::A, 24) vtable address -- |
| 941 | // CHECK-26-NEXT: 12 | void Test19::D::f() |
| 942 | // CHECK-26-NEXT: [this adjustment: 0 non-virtual, -24 vcall offset offset] |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 943 | // |
| 944 | // CHECK-26: VTable indices for 'Test19::D' (1 entries). |
| 945 | // CHECK-26-NEXT: 1 | void Test19::D::f() |
Anders Carlsson | 3504475 | 2010-02-27 16:55:58 +0000 | [diff] [blame] | 946 | struct D : C, B, virtual A { |
| 947 | virtual void f(); |
| 948 | }; |
| 949 | void D::f() { } |
| 950 | |
Anders Carlsson | 8bc68f7 | 2010-02-27 18:16:50 +0000 | [diff] [blame] | 951 | } |
| 952 | |
| 953 | namespace Test20 { |
| 954 | |
| 955 | // pure virtual member functions should never have 'this' adjustments. |
| 956 | |
| 957 | struct A { |
| 958 | virtual void f() = 0; |
| 959 | virtual void g(); |
| 960 | }; |
| 961 | |
| 962 | struct B : A { }; |
| 963 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 964 | // CHECK-27: Vtable for 'Test20::C' (9 entries). |
| 965 | // CHECK-27-NEXT: 0 | offset_to_top (0) |
| 966 | // CHECK-27-NEXT: 1 | Test20::C RTTI |
| 967 | // CHECK-27-NEXT: -- (Test20::A, 0) vtable address -- |
| 968 | // CHECK-27-NEXT: -- (Test20::C, 0) vtable address -- |
| 969 | // CHECK-27-NEXT: 2 | void Test20::C::f() [pure] |
| 970 | // CHECK-27-NEXT: 3 | void Test20::A::g() |
| 971 | // CHECK-27-NEXT: 4 | void Test20::C::h() |
| 972 | // CHECK-27-NEXT: 5 | offset_to_top (-8) |
| 973 | // CHECK-27-NEXT: 6 | Test20::C RTTI |
| 974 | // CHECK-27-NEXT: -- (Test20::A, 8) vtable address -- |
| 975 | // CHECK-27-NEXT: -- (Test20::B, 8) vtable address -- |
| 976 | // CHECK-27-NEXT: 7 | void Test20::C::f() [pure] |
| 977 | // CHECK-27-NEXT: 8 | void Test20::A::g() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 978 | // |
| 979 | // CHECK-27: VTable indices for 'Test20::C' (2 entries). |
| 980 | // CHECK-27-NEXT: 0 | void Test20::C::f() |
| 981 | // CHECK-27-NEXT: 2 | void Test20::C::h() |
| 982 | struct C : A, B { |
Anders Carlsson | 8bc68f7 | 2010-02-27 18:16:50 +0000 | [diff] [blame] | 983 | virtual void f() = 0; |
| 984 | virtual void h(); |
| 985 | }; |
| 986 | void C::h() { } |
| 987 | |
| 988 | } |
Anders Carlsson | 6a8c5b2 | 2010-02-27 19:21:58 +0000 | [diff] [blame] | 989 | |
| 990 | namespace Test21 { |
| 991 | |
| 992 | // Test that we get vbase offsets right in secondary vtables. |
| 993 | struct A { |
| 994 | virtual void f(); |
| 995 | }; |
| 996 | |
| 997 | struct B : virtual A { }; |
| 998 | class C : virtual B { }; |
| 999 | class D : virtual C { }; |
| 1000 | |
| 1001 | class E : virtual C { }; |
| 1002 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1003 | // CHECK-28: Vtable for 'Test21::F' (16 entries). |
| 1004 | // CHECK-28-NEXT: 0 | vbase_offset (8) |
| 1005 | // CHECK-28-NEXT: 1 | vbase_offset (0) |
| 1006 | // CHECK-28-NEXT: 2 | vbase_offset (0) |
| 1007 | // CHECK-28-NEXT: 3 | vbase_offset (0) |
| 1008 | // CHECK-28-NEXT: 4 | vbase_offset (0) |
| 1009 | // CHECK-28-NEXT: 5 | vcall_offset (0) |
| 1010 | // CHECK-28-NEXT: 6 | offset_to_top (0) |
| 1011 | // CHECK-28-NEXT: 7 | Test21::F RTTI |
| 1012 | // CHECK-28-NEXT: -- (Test21::A, 0) vtable address -- |
| 1013 | // CHECK-28-NEXT: -- (Test21::B, 0) vtable address -- |
| 1014 | // CHECK-28-NEXT: -- (Test21::C, 0) vtable address -- |
| 1015 | // CHECK-28-NEXT: -- (Test21::D, 0) vtable address -- |
| 1016 | // CHECK-28-NEXT: -- (Test21::F, 0) vtable address -- |
| 1017 | // CHECK-28-NEXT: 8 | void Test21::F::f() |
| 1018 | // CHECK-28-NEXT: 9 | vbase_offset (-8) |
| 1019 | // CHECK-28-NEXT: 10 | vbase_offset (-8) |
| 1020 | // CHECK-28-NEXT: 11 | vbase_offset (-8) |
| 1021 | // CHECK-28-NEXT: 12 | vcall_offset (-8) |
| 1022 | // CHECK-28-NEXT: 13 | offset_to_top (-8) |
| 1023 | // CHECK-28-NEXT: 14 | Test21::F RTTI |
| 1024 | // CHECK-28-NEXT: -- (Test21::E, 8) vtable address -- |
| 1025 | // CHECK-28-NEXT: 15 | [unused] void Test21::F::f() |
Anders Carlsson | 127e467 | 2010-03-11 06:44:31 +0000 | [diff] [blame] | 1026 | // |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1027 | // CHECK-28: Virtual base offset offsets for 'Test21::F' (5 entries). |
| 1028 | // CHECK-28-NEXT: Test21::A | -32 |
| 1029 | // CHECK-28-NEXT: Test21::B | -40 |
| 1030 | // CHECK-28-NEXT: Test21::C | -48 |
| 1031 | // CHECK-28-NEXT: Test21::D | -56 |
| 1032 | // CHECK-28-NEXT: Test21::E | -64 |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 1033 | // |
| 1034 | // CHECK-28: VTable indices for 'Test21::F' (1 entries). |
| 1035 | // CHECK-28-NEXT: 0 | void Test21::F::f() |
Anders Carlsson | 6a8c5b2 | 2010-02-27 19:21:58 +0000 | [diff] [blame] | 1036 | class F : virtual D, virtual E { |
| 1037 | virtual void f(); |
| 1038 | }; |
| 1039 | void F::f() { } |
| 1040 | |
| 1041 | } |
Anders Carlsson | 0041a64 | 2010-02-27 21:09:00 +0000 | [diff] [blame] | 1042 | |
| 1043 | namespace Test22 { |
| 1044 | |
| 1045 | // Very simple construction vtable test. |
| 1046 | struct V1 { |
| 1047 | int v1; |
| 1048 | }; |
| 1049 | |
| 1050 | struct V2 : virtual V1 { |
| 1051 | int v2; |
| 1052 | }; |
| 1053 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1054 | // CHECK-29: Vtable for 'Test22::C' (8 entries). |
| 1055 | // CHECK-29-NEXT: 0 | vbase_offset (16) |
| 1056 | // CHECK-29-NEXT: 1 | vbase_offset (12) |
| 1057 | // CHECK-29-NEXT: 2 | offset_to_top (0) |
| 1058 | // CHECK-29-NEXT: 3 | Test22::C RTTI |
| 1059 | // CHECK-29-NEXT: -- (Test22::C, 0) vtable address -- |
| 1060 | // CHECK-29-NEXT: 4 | void Test22::C::f() |
| 1061 | // CHECK-29-NEXT: 5 | vbase_offset (-4) |
| 1062 | // CHECK-29-NEXT: 6 | offset_to_top (-16) |
| 1063 | // CHECK-29-NEXT: 7 | Test22::C RTTI |
| 1064 | // CHECK-29-NEXT: -- (Test22::V2, 16) vtable address -- |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 1065 | // |
| 1066 | // CHECK-29: VTable indices for 'Test22::C' (1 entries). |
| 1067 | // CHECK-29-NEXT: 0 | void Test22::C::f() |
Anders Carlsson | 0041a64 | 2010-02-27 21:09:00 +0000 | [diff] [blame] | 1068 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1069 | // CHECK-29: Construction vtable for ('Test22::V2', 16) in 'Test22::C' (3 entries). |
| 1070 | // CHECK-29-NEXT: 0 | vbase_offset (-4) |
| 1071 | // CHECK-29-NEXT: 1 | offset_to_top (0) |
| 1072 | // CHECK-29-NEXT: 2 | Test22::V2 RTTI |
Anders Carlsson | 0041a64 | 2010-02-27 21:09:00 +0000 | [diff] [blame] | 1073 | |
| 1074 | struct C : virtual V1, virtual V2 { |
| 1075 | int c; |
| 1076 | virtual void f(); |
| 1077 | }; |
| 1078 | void C::f() { } |
| 1079 | |
| 1080 | } |
Anders Carlsson | 530c40c | 2010-02-28 01:43:58 +0000 | [diff] [blame] | 1081 | |
| 1082 | namespace Test23 { |
| 1083 | |
| 1084 | struct A { |
| 1085 | int a; |
| 1086 | }; |
| 1087 | |
| 1088 | struct B : virtual A { |
| 1089 | int b; |
| 1090 | }; |
| 1091 | |
| 1092 | struct C : A, virtual B { |
| 1093 | int c; |
| 1094 | }; |
| 1095 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1096 | // CHECK-30: Vtable for 'Test23::D' (7 entries). |
| 1097 | // CHECK-30-NEXT: 0 | vbase_offset (20) |
| 1098 | // CHECK-30-NEXT: 1 | vbase_offset (24) |
| 1099 | // CHECK-30-NEXT: 2 | offset_to_top (0) |
| 1100 | // CHECK-30-NEXT: 3 | Test23::D RTTI |
| 1101 | // CHECK-30-NEXT: -- (Test23::C, 0) vtable address -- |
| 1102 | // CHECK-30-NEXT: -- (Test23::D, 0) vtable address -- |
| 1103 | // CHECK-30-NEXT: 4 | vbase_offset (-4) |
| 1104 | // CHECK-30-NEXT: 5 | offset_to_top (-24) |
| 1105 | // CHECK-30-NEXT: 6 | Test23::D RTTI |
| 1106 | // CHECK-30-NEXT: -- (Test23::B, 24) vtable address -- |
Anders Carlsson | 530c40c | 2010-02-28 01:43:58 +0000 | [diff] [blame] | 1107 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1108 | // CHECK-30: Construction vtable for ('Test23::C', 0) in 'Test23::D' (7 entries). |
| 1109 | // CHECK-30-NEXT: 0 | vbase_offset (20) |
| 1110 | // CHECK-30-NEXT: 1 | vbase_offset (24) |
| 1111 | // CHECK-30-NEXT: 2 | offset_to_top (0) |
| 1112 | // CHECK-30-NEXT: 3 | Test23::C RTTI |
| 1113 | // CHECK-30-NEXT: -- (Test23::C, 0) vtable address -- |
| 1114 | // CHECK-30-NEXT: 4 | vbase_offset (-4) |
| 1115 | // CHECK-30-NEXT: 5 | offset_to_top (-24) |
| 1116 | // CHECK-30-NEXT: 6 | Test23::C RTTI |
| 1117 | // CHECK-30-NEXT: -- (Test23::B, 24) vtable address -- |
Anders Carlsson | 530c40c | 2010-02-28 01:43:58 +0000 | [diff] [blame] | 1118 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1119 | // CHECK-30: Construction vtable for ('Test23::B', 24) in 'Test23::D' (3 entries). |
| 1120 | // CHECK-30-NEXT: 0 | vbase_offset (-4) |
| 1121 | // CHECK-30-NEXT: 1 | offset_to_top (0) |
| 1122 | // CHECK-30-NEXT: 2 | Test23::B RTTI |
| 1123 | // CHECK-30-NEXT: -- (Test23::B, 24) vtable address -- |
Anders Carlsson | 530c40c | 2010-02-28 01:43:58 +0000 | [diff] [blame] | 1124 | |
| 1125 | struct D : virtual A, virtual B, C { |
| 1126 | int d; |
| 1127 | |
| 1128 | void f(); |
| 1129 | }; |
| 1130 | void D::f() { } |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1131 | D d; |
Anders Carlsson | 530c40c | 2010-02-28 01:43:58 +0000 | [diff] [blame] | 1132 | } |
Anders Carlsson | 293126b | 2010-02-28 17:59:36 +0000 | [diff] [blame] | 1133 | |
| 1134 | namespace Test24 { |
| 1135 | |
| 1136 | // Another construction vtable test. |
| 1137 | |
Anders Carlsson | 0378bf0 | 2010-02-28 18:08:38 +0000 | [diff] [blame] | 1138 | struct A { |
| 1139 | virtual void f(); |
| 1140 | }; |
| 1141 | |
| 1142 | struct B : virtual A { }; |
| 1143 | struct C : virtual A { }; |
| 1144 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1145 | // CHECK-31: Vtable for 'Test24::D' (10 entries). |
| 1146 | // CHECK-31-NEXT: 0 | vbase_offset (0) |
| 1147 | // CHECK-31-NEXT: 1 | vcall_offset (0) |
| 1148 | // CHECK-31-NEXT: 2 | offset_to_top (0) |
| 1149 | // CHECK-31-NEXT: 3 | Test24::D RTTI |
| 1150 | // CHECK-31-NEXT: -- (Test24::A, 0) vtable address -- |
| 1151 | // CHECK-31-NEXT: -- (Test24::B, 0) vtable address -- |
| 1152 | // CHECK-31-NEXT: -- (Test24::D, 0) vtable address -- |
| 1153 | // CHECK-31-NEXT: 4 | void Test24::D::f() |
| 1154 | // CHECK-31-NEXT: 5 | vbase_offset (-8) |
| 1155 | // CHECK-31-NEXT: 6 | vcall_offset (-8) |
| 1156 | // CHECK-31-NEXT: 7 | offset_to_top (-8) |
| 1157 | // CHECK-31-NEXT: 8 | Test24::D RTTI |
| 1158 | // CHECK-31-NEXT: -- (Test24::C, 8) vtable address -- |
| 1159 | // CHECK-31-NEXT: 9 | [unused] void Test24::D::f() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 1160 | // |
| 1161 | // CHECK-31: VTable indices for 'Test24::D' (1 entries). |
| 1162 | // CHECK-31-NEXT: 0 | void Test24::D::f() |
Anders Carlsson | 293126b | 2010-02-28 17:59:36 +0000 | [diff] [blame] | 1163 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1164 | // CHECK-31: Construction vtable for ('Test24::B', 0) in 'Test24::D' (5 entries). |
| 1165 | // CHECK-31-NEXT: 0 | vbase_offset (0) |
| 1166 | // CHECK-31-NEXT: 1 | vcall_offset (0) |
| 1167 | // CHECK-31-NEXT: 2 | offset_to_top (0) |
| 1168 | // CHECK-31-NEXT: 3 | Test24::B RTTI |
| 1169 | // CHECK-31-NEXT: -- (Test24::A, 0) vtable address -- |
| 1170 | // CHECK-31-NEXT: -- (Test24::B, 0) vtable address -- |
| 1171 | // CHECK-31-NEXT: 4 | void Test24::A::f() |
Anders Carlsson | 293126b | 2010-02-28 17:59:36 +0000 | [diff] [blame] | 1172 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1173 | // CHECK-31: Construction vtable for ('Test24::C', 8) in 'Test24::D' (9 entries). |
| 1174 | // CHECK-31-NEXT: 0 | vbase_offset (-8) |
| 1175 | // CHECK-31-NEXT: 1 | vcall_offset (-8) |
| 1176 | // CHECK-31-NEXT: 2 | offset_to_top (0) |
| 1177 | // CHECK-31-NEXT: 3 | Test24::C RTTI |
| 1178 | // CHECK-31-NEXT: -- (Test24::C, 8) vtable address -- |
| 1179 | // CHECK-31-NEXT: 4 | [unused] void Test24::A::f() |
| 1180 | // CHECK-31-NEXT: 5 | vcall_offset (0) |
| 1181 | // CHECK-31-NEXT: 6 | offset_to_top (8) |
| 1182 | // CHECK-31-NEXT: 7 | Test24::C RTTI |
| 1183 | // CHECK-31-NEXT: -- (Test24::A, 0) vtable address -- |
| 1184 | // CHECK-31-NEXT: 8 | void Test24::A::f() |
Anders Carlsson | 293126b | 2010-02-28 17:59:36 +0000 | [diff] [blame] | 1185 | struct D : B, C { |
| 1186 | virtual void f(); |
| 1187 | }; |
| 1188 | void D::f() { } |
Anders Carlsson | dad0f99 | 2010-02-28 18:37:33 +0000 | [diff] [blame] | 1189 | |
Anders Carlsson | 293126b | 2010-02-28 17:59:36 +0000 | [diff] [blame] | 1190 | } |
Anders Carlsson | ce57dd5 | 2010-03-03 04:58:02 +0000 | [diff] [blame] | 1191 | |
| 1192 | namespace Test25 { |
| 1193 | |
| 1194 | // This mainly tests that we don't assert on this class hierarchy. |
| 1195 | |
| 1196 | struct V { |
| 1197 | virtual void f(); |
| 1198 | }; |
| 1199 | |
| 1200 | struct A : virtual V { }; |
| 1201 | struct B : virtual V { }; |
| 1202 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1203 | // CHECK-32: Vtable for 'Test25::C' (11 entries). |
| 1204 | // CHECK-32-NEXT: 0 | vbase_offset (0) |
| 1205 | // CHECK-32-NEXT: 1 | vcall_offset (0) |
| 1206 | // CHECK-32-NEXT: 2 | offset_to_top (0) |
| 1207 | // CHECK-32-NEXT: 3 | Test25::C RTTI |
| 1208 | // CHECK-32-NEXT: -- (Test25::A, 0) vtable address -- |
| 1209 | // CHECK-32-NEXT: -- (Test25::C, 0) vtable address -- |
| 1210 | // CHECK-32-NEXT: -- (Test25::V, 0) vtable address -- |
| 1211 | // CHECK-32-NEXT: 4 | void Test25::V::f() |
| 1212 | // CHECK-32-NEXT: 5 | void Test25::C::g() |
| 1213 | // CHECK-32-NEXT: 6 | vbase_offset (-8) |
| 1214 | // CHECK-32-NEXT: 7 | vcall_offset (-8) |
| 1215 | // CHECK-32-NEXT: 8 | offset_to_top (-8) |
| 1216 | // CHECK-32-NEXT: 9 | Test25::C RTTI |
| 1217 | // CHECK-32-NEXT: -- (Test25::B, 8) vtable address -- |
| 1218 | // CHECK-32-NEXT: 10 | [unused] void Test25::V::f() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 1219 | // |
| 1220 | // CHECK-32: VTable indices for 'Test25::C' (1 entries). |
| 1221 | // CHECK-32-NEXT: 1 | void Test25::C::g() |
Anders Carlsson | ce57dd5 | 2010-03-03 04:58:02 +0000 | [diff] [blame] | 1222 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1223 | // CHECK-32: Construction vtable for ('Test25::A', 0) in 'Test25::C' (5 entries). |
| 1224 | // CHECK-32-NEXT: 0 | vbase_offset (0) |
| 1225 | // CHECK-32-NEXT: 1 | vcall_offset (0) |
| 1226 | // CHECK-32-NEXT: 2 | offset_to_top (0) |
| 1227 | // CHECK-32-NEXT: 3 | Test25::A RTTI |
| 1228 | // CHECK-32-NEXT: -- (Test25::A, 0) vtable address -- |
| 1229 | // CHECK-32-NEXT: -- (Test25::V, 0) vtable address -- |
| 1230 | // CHECK-32-NEXT: 4 | void Test25::V::f() |
Anders Carlsson | ce57dd5 | 2010-03-03 04:58:02 +0000 | [diff] [blame] | 1231 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1232 | // CHECK-32: Construction vtable for ('Test25::B', 8) in 'Test25::C' (9 entries). |
| 1233 | // CHECK-32-NEXT: 0 | vbase_offset (-8) |
| 1234 | // CHECK-32-NEXT: 1 | vcall_offset (-8) |
| 1235 | // CHECK-32-NEXT: 2 | offset_to_top (0) |
| 1236 | // CHECK-32-NEXT: 3 | Test25::B RTTI |
| 1237 | // CHECK-32-NEXT: -- (Test25::B, 8) vtable address -- |
| 1238 | // CHECK-32-NEXT: 4 | [unused] void Test25::V::f() |
| 1239 | // CHECK-32-NEXT: 5 | vcall_offset (0) |
| 1240 | // CHECK-32-NEXT: 6 | offset_to_top (8) |
| 1241 | // CHECK-32-NEXT: 7 | Test25::B RTTI |
| 1242 | // CHECK-32-NEXT: -- (Test25::V, 0) vtable address -- |
| 1243 | // CHECK-32-NEXT: 8 | void Test25::V::f() |
Anders Carlsson | ce57dd5 | 2010-03-03 04:58:02 +0000 | [diff] [blame] | 1244 | struct C : A, virtual V, B { |
| 1245 | virtual void g(); |
| 1246 | }; |
| 1247 | void C::g() { } |
| 1248 | |
| 1249 | } |
Anders Carlsson | 6039661 | 2010-03-10 06:51:42 +0000 | [diff] [blame] | 1250 | |
| 1251 | namespace Test26 { |
| 1252 | |
| 1253 | // Test that we generate the right number of entries in the C-in-D construction vtable, and that |
| 1254 | // we don't mark A::a as unused. |
| 1255 | |
| 1256 | struct A { |
| 1257 | virtual void a(); |
| 1258 | }; |
| 1259 | |
| 1260 | struct B { |
| 1261 | virtual void c(); |
| 1262 | }; |
| 1263 | |
| 1264 | struct C : virtual A { |
| 1265 | virtual void b(); |
| 1266 | }; |
| 1267 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1268 | // CHECK-33: Vtable for 'Test26::D' (15 entries). |
| 1269 | // CHECK-33-NEXT: 0 | vbase_offset (8) |
| 1270 | // CHECK-33-NEXT: 1 | vbase_offset (8) |
| 1271 | // CHECK-33-NEXT: 2 | vbase_offset (0) |
| 1272 | // CHECK-33-NEXT: 3 | vcall_offset (0) |
| 1273 | // CHECK-33-NEXT: 4 | offset_to_top (0) |
| 1274 | // CHECK-33-NEXT: 5 | Test26::D RTTI |
| 1275 | // CHECK-33-NEXT: -- (Test26::B, 0) vtable address -- |
| 1276 | // CHECK-33-NEXT: -- (Test26::D, 0) vtable address -- |
| 1277 | // CHECK-33-NEXT: 6 | void Test26::B::c() |
| 1278 | // CHECK-33-NEXT: 7 | void Test26::D::d() |
| 1279 | // CHECK-33-NEXT: 8 | vcall_offset (0) |
| 1280 | // CHECK-33-NEXT: 9 | vbase_offset (0) |
| 1281 | // CHECK-33-NEXT: 10 | vcall_offset (0) |
| 1282 | // CHECK-33-NEXT: 11 | offset_to_top (-8) |
| 1283 | // CHECK-33-NEXT: 12 | Test26::D RTTI |
| 1284 | // CHECK-33-NEXT: -- (Test26::A, 8) vtable address -- |
| 1285 | // CHECK-33-NEXT: -- (Test26::C, 8) vtable address -- |
| 1286 | // CHECK-33-NEXT: 13 | void Test26::A::a() |
| 1287 | // CHECK-33-NEXT: 14 | void Test26::C::b() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 1288 | // |
| 1289 | // CHECK-33: VTable indices for 'Test26::D' (1 entries). |
| 1290 | // CHECK-33-NEXT: 1 | void Test26::D::d() |
Anders Carlsson | 6039661 | 2010-03-10 06:51:42 +0000 | [diff] [blame] | 1291 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1292 | // CHECK-33: Construction vtable for ('Test26::C', 8) in 'Test26::D' (7 entries). |
| 1293 | // CHECK-33-NEXT: 0 | vcall_offset (0) |
| 1294 | // CHECK-33-NEXT: 1 | vbase_offset (0) |
| 1295 | // CHECK-33-NEXT: 2 | vcall_offset (0) |
| 1296 | // CHECK-33-NEXT: 3 | offset_to_top (0) |
| 1297 | // CHECK-33-NEXT: 4 | Test26::C RTTI |
| 1298 | // CHECK-33-NEXT: -- (Test26::A, 8) vtable address -- |
| 1299 | // CHECK-33-NEXT: -- (Test26::C, 8) vtable address -- |
| 1300 | // CHECK-33-NEXT: 5 | void Test26::A::a() |
| 1301 | // CHECK-33-NEXT: 6 | void Test26::C::b() |
Anders Carlsson | 6039661 | 2010-03-10 06:51:42 +0000 | [diff] [blame] | 1302 | class D : virtual B, virtual C { |
| 1303 | virtual void d(); |
| 1304 | }; |
| 1305 | void D::d() { } |
| 1306 | |
Anders Carlsson | e35b768 | 2010-03-10 06:51:56 +0000 | [diff] [blame] | 1307 | } |
Anders Carlsson | f2c98ce | 2010-03-10 19:15:26 +0000 | [diff] [blame] | 1308 | |
| 1309 | namespace Test27 { |
| 1310 | |
| 1311 | // Test that we don't generate a secondary vtable for C in the D-in-E vtable, since |
| 1312 | // C doesn't have any virtual bases. |
| 1313 | |
| 1314 | struct A { |
| 1315 | virtual void a(); |
| 1316 | }; |
| 1317 | |
| 1318 | struct B { |
| 1319 | virtual void b(); |
| 1320 | }; |
| 1321 | |
| 1322 | struct C { |
| 1323 | virtual void c(); |
| 1324 | }; |
| 1325 | |
| 1326 | struct D : A, virtual B, C { |
| 1327 | virtual void d(); |
| 1328 | }; |
| 1329 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1330 | // CHECK-34: Vtable for 'Test27::E' (13 entries). |
| 1331 | // CHECK-34-NEXT: 0 | vbase_offset (16) |
| 1332 | // CHECK-34-NEXT: 1 | offset_to_top (0) |
| 1333 | // CHECK-34-NEXT: 2 | Test27::E RTTI |
| 1334 | // CHECK-34-NEXT: -- (Test27::A, 0) vtable address -- |
| 1335 | // CHECK-34-NEXT: -- (Test27::D, 0) vtable address -- |
| 1336 | // CHECK-34-NEXT: -- (Test27::E, 0) vtable address -- |
| 1337 | // CHECK-34-NEXT: 3 | void Test27::A::a() |
| 1338 | // CHECK-34-NEXT: 4 | void Test27::D::d() |
| 1339 | // CHECK-34-NEXT: 5 | void Test27::E::e() |
| 1340 | // CHECK-34-NEXT: 6 | offset_to_top (-8) |
| 1341 | // CHECK-34-NEXT: 7 | Test27::E RTTI |
| 1342 | // CHECK-34-NEXT: -- (Test27::C, 8) vtable address -- |
| 1343 | // CHECK-34-NEXT: 8 | void Test27::C::c() |
| 1344 | // CHECK-34-NEXT: 9 | vcall_offset (0) |
| 1345 | // CHECK-34-NEXT: 10 | offset_to_top (-16) |
| 1346 | // CHECK-34-NEXT: 11 | Test27::E RTTI |
| 1347 | // CHECK-34-NEXT: -- (Test27::B, 16) vtable address -- |
| 1348 | // CHECK-34-NEXT: 12 | void Test27::B::b() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 1349 | // |
| 1350 | // CHECK-34: VTable indices for 'Test27::E' (1 entries). |
| 1351 | // CHECK-34-NEXT: 2 | void Test27::E::e() |
Anders Carlsson | f2c98ce | 2010-03-10 19:15:26 +0000 | [diff] [blame] | 1352 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1353 | // CHECK-34: Construction vtable for ('Test27::D', 0) in 'Test27::E' (9 entries). |
| 1354 | // CHECK-34-NEXT: 0 | vbase_offset (16) |
| 1355 | // CHECK-34-NEXT: 1 | offset_to_top (0) |
| 1356 | // CHECK-34-NEXT: 2 | Test27::D RTTI |
| 1357 | // CHECK-34-NEXT: -- (Test27::A, 0) vtable address -- |
| 1358 | // CHECK-34-NEXT: -- (Test27::D, 0) vtable address -- |
| 1359 | // CHECK-34-NEXT: 3 | void Test27::A::a() |
| 1360 | // CHECK-34-NEXT: 4 | void Test27::D::d() |
| 1361 | // CHECK-34-NEXT: 5 | vcall_offset (0) |
| 1362 | // CHECK-34-NEXT: 6 | offset_to_top (-16) |
| 1363 | // CHECK-34-NEXT: 7 | Test27::D RTTI |
| 1364 | // CHECK-34-NEXT: -- (Test27::B, 16) vtable address -- |
| 1365 | // CHECK-34-NEXT: 8 | void Test27::B::b() |
Anders Carlsson | f2c98ce | 2010-03-10 19:15:26 +0000 | [diff] [blame] | 1366 | struct E : D { |
| 1367 | virtual void e(); |
| 1368 | }; |
| 1369 | void E::e() { } |
Anders Carlsson | a96a2e9 | 2010-03-10 19:39:11 +0000 | [diff] [blame] | 1370 | |
| 1371 | } |
| 1372 | |
| 1373 | namespace Test28 { |
| 1374 | |
| 1375 | // Check that we do include the vtable for B in the D-in-E construction vtable, since |
| 1376 | // B is a base class of a virtual base (C). |
| 1377 | |
| 1378 | struct A { |
| 1379 | virtual void a(); |
| 1380 | }; |
| 1381 | |
| 1382 | struct B { |
| 1383 | virtual void b(); |
| 1384 | }; |
| 1385 | |
| 1386 | struct C : A, B { |
| 1387 | virtual void c(); |
| 1388 | }; |
| 1389 | |
| 1390 | struct D : virtual C { |
| 1391 | }; |
| 1392 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1393 | // CHECK-35: Vtable for 'Test28::E' (14 entries). |
| 1394 | // CHECK-35-NEXT: 0 | vbase_offset (8) |
| 1395 | // CHECK-35-NEXT: 1 | offset_to_top (0) |
| 1396 | // CHECK-35-NEXT: 2 | Test28::E RTTI |
| 1397 | // CHECK-35-NEXT: -- (Test28::D, 0) vtable address -- |
| 1398 | // CHECK-35-NEXT: -- (Test28::E, 0) vtable address -- |
| 1399 | // CHECK-35-NEXT: 3 | void Test28::E::e() |
| 1400 | // CHECK-35-NEXT: 4 | vcall_offset (8) |
| 1401 | // CHECK-35-NEXT: 5 | vcall_offset (0) |
| 1402 | // CHECK-35-NEXT: 6 | vcall_offset (0) |
| 1403 | // CHECK-35-NEXT: 7 | offset_to_top (-8) |
| 1404 | // CHECK-35-NEXT: 8 | Test28::E RTTI |
| 1405 | // CHECK-35-NEXT: -- (Test28::A, 8) vtable address -- |
| 1406 | // CHECK-35-NEXT: -- (Test28::C, 8) vtable address -- |
| 1407 | // CHECK-35-NEXT: 9 | void Test28::A::a() |
| 1408 | // CHECK-35-NEXT: 10 | void Test28::C::c() |
| 1409 | // CHECK-35-NEXT: 11 | offset_to_top (-16) |
| 1410 | // CHECK-35-NEXT: 12 | Test28::E RTTI |
| 1411 | // CHECK-35-NEXT: -- (Test28::B, 16) vtable address -- |
| 1412 | // CHECK-35-NEXT: 13 | void Test28::B::b() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 1413 | // |
| 1414 | // CHECK-35: VTable indices for 'Test28::E' (1 entries). |
| 1415 | // CHECK-35-NEXT : 0 | void Test28::E::e() |
Anders Carlsson | a96a2e9 | 2010-03-10 19:39:11 +0000 | [diff] [blame] | 1416 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1417 | // CHECK-35: Construction vtable for ('Test28::D', 0) in 'Test28::E' (13 entries). |
| 1418 | // CHECK-35-NEXT: 0 | vbase_offset (8) |
| 1419 | // CHECK-35-NEXT: 1 | offset_to_top (0) |
| 1420 | // CHECK-35-NEXT: 2 | Test28::D RTTI |
| 1421 | // CHECK-35-NEXT: -- (Test28::D, 0) vtable address -- |
| 1422 | // CHECK-35-NEXT: 3 | vcall_offset (8) |
| 1423 | // CHECK-35-NEXT: 4 | vcall_offset (0) |
| 1424 | // CHECK-35-NEXT: 5 | vcall_offset (0) |
| 1425 | // CHECK-35-NEXT: 6 | offset_to_top (-8) |
| 1426 | // CHECK-35-NEXT: 7 | Test28::D RTTI |
| 1427 | // CHECK-35-NEXT: -- (Test28::A, 8) vtable address -- |
| 1428 | // CHECK-35-NEXT: -- (Test28::C, 8) vtable address -- |
| 1429 | // CHECK-35-NEXT: 8 | void Test28::A::a() |
| 1430 | // CHECK-35-NEXT: 9 | void Test28::C::c() |
| 1431 | // CHECK-35-NEXT: 10 | offset_to_top (-16) |
| 1432 | // CHECK-35-NEXT: 11 | Test28::D RTTI |
| 1433 | // CHECK-35-NEXT: -- (Test28::B, 16) vtable address -- |
| 1434 | // CHECK-35-NEXT: 12 | void Test28::B::b() |
Anders Carlsson | a96a2e9 | 2010-03-10 19:39:11 +0000 | [diff] [blame] | 1435 | struct E : D { |
| 1436 | virtual void e(); |
| 1437 | }; |
| 1438 | void E::e() { } |
| 1439 | |
Anders Carlsson | f2c98ce | 2010-03-10 19:15:26 +0000 | [diff] [blame] | 1440 | } |
Anders Carlsson | adb507d | 2010-03-29 15:08:41 +0000 | [diff] [blame] | 1441 | |
| 1442 | namespace Test29 { |
| 1443 | |
| 1444 | // Test that the covariant return thunk for B::f will have a virtual 'this' adjustment, |
| 1445 | // matching gcc. |
| 1446 | |
| 1447 | struct V1 { }; |
| 1448 | struct V2 : virtual V1 { }; |
| 1449 | |
| 1450 | struct A { |
| 1451 | virtual V1 *f(); |
| 1452 | }; |
| 1453 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1454 | // CHECK-36: Vtable for 'Test29::B' (6 entries). |
| 1455 | // CHECK-36-NEXT: 0 | vbase_offset (0) |
| 1456 | // CHECK-36-NEXT: 1 | vcall_offset (0) |
| 1457 | // CHECK-36-NEXT: 2 | offset_to_top (0) |
| 1458 | // CHECK-36-NEXT: 3 | Test29::B RTTI |
| 1459 | // CHECK-36-NEXT: -- (Test29::A, 0) vtable address -- |
| 1460 | // CHECK-36-NEXT: -- (Test29::B, 0) vtable address -- |
| 1461 | // CHECK-36-NEXT: 4 | Test29::V2 *Test29::B::f() |
| 1462 | // CHECK-36-NEXT: [return adjustment: 0 non-virtual, -24 vbase offset offset] |
| 1463 | // CHECK-36-NEXT: [this adjustment: 0 non-virtual, -24 vcall offset offset] |
| 1464 | // CHECK-36-NEXT: 5 | Test29::V2 *Test29::B::f() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 1465 | // |
| 1466 | // CHECK-36: VTable indices for 'Test29::B' (1 entries). |
| 1467 | // CHECK-36-NEXT: 1 | Test29::V2 *Test29::B::f() |
Anders Carlsson | adb507d | 2010-03-29 15:08:41 +0000 | [diff] [blame] | 1468 | struct B : virtual A { |
| 1469 | virtual V2 *f(); |
| 1470 | }; |
| 1471 | V2 *B::f() { return 0; } |
| 1472 | |
| 1473 | } |
Anders Carlsson | bdda6c1 | 2010-04-10 18:42:27 +0000 | [diff] [blame] | 1474 | |
| 1475 | namespace Test30 { |
| 1476 | |
| 1477 | // Test that we don't assert when generating a vtable for F. |
| 1478 | struct A { }; |
| 1479 | |
| 1480 | struct B : virtual A { |
| 1481 | int i; |
| 1482 | }; |
| 1483 | |
| 1484 | struct C { |
| 1485 | virtual void f(); |
| 1486 | }; |
| 1487 | |
| 1488 | struct D : virtual C, B { }; |
| 1489 | struct E : virtual D { }; |
| 1490 | |
| 1491 | struct F : E { |
| 1492 | virtual void f(); |
| 1493 | }; |
| 1494 | void F::f() { } |
| 1495 | |
| 1496 | } |
Anders Carlsson | f622b45 | 2010-04-10 20:39:29 +0000 | [diff] [blame] | 1497 | |
| 1498 | namespace Test31 { |
| 1499 | |
| 1500 | // Test that we don't add D::f twice to the primary vtable. |
| 1501 | struct A { |
| 1502 | int a; |
| 1503 | }; |
| 1504 | |
| 1505 | struct B { |
| 1506 | virtual void f(); |
| 1507 | }; |
| 1508 | |
| 1509 | struct C : A, virtual B { |
| 1510 | virtual void f(); |
| 1511 | }; |
| 1512 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1513 | // CHECK-37: Vtable for 'Test31::D' (11 entries). |
| 1514 | // CHECK-37-NEXT: 0 | vbase_offset (0) |
| 1515 | // CHECK-37-NEXT: 1 | vbase_offset (8) |
| 1516 | // CHECK-37-NEXT: 2 | vcall_offset (0) |
| 1517 | // CHECK-37-NEXT: 3 | offset_to_top (0) |
| 1518 | // CHECK-37-NEXT: 4 | Test31::D RTTI |
| 1519 | // CHECK-37-NEXT: -- (Test31::B, 0) vtable address -- |
| 1520 | // CHECK-37-NEXT: -- (Test31::D, 0) vtable address -- |
| 1521 | // CHECK-37-NEXT: 5 | void Test31::D::f() |
| 1522 | // CHECK-37-NEXT: 6 | vbase_offset (-8) |
| 1523 | // CHECK-37-NEXT: 7 | vcall_offset (-8) |
| 1524 | // CHECK-37-NEXT: 8 | offset_to_top (-8) |
| 1525 | // CHECK-37-NEXT: 9 | Test31::D RTTI |
| 1526 | // CHECK-37-NEXT: -- (Test31::C, 8) vtable address -- |
| 1527 | // CHECK-37-NEXT: 10 | void Test31::D::f() |
| 1528 | // CHECK-37-NEXT: [this adjustment: 0 non-virtual, -24 vcall offset offset] |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 1529 | // |
| 1530 | // CHECK-37: VTable indices for 'Test31::D' (1 entries). |
| 1531 | // CHECK-37-NEXT: 0 | void Test31::D::f() |
Anders Carlsson | f622b45 | 2010-04-10 20:39:29 +0000 | [diff] [blame] | 1532 | struct D : virtual C { |
| 1533 | virtual void f(); |
| 1534 | }; |
| 1535 | void D::f() { } |
| 1536 | |
| 1537 | } |
Anders Carlsson | 573021f | 2010-04-10 21:35:33 +0000 | [diff] [blame] | 1538 | |
| 1539 | namespace Test32 { |
| 1540 | |
| 1541 | // Check that we correctly lay out the virtual bases of 'Test32::D'. |
| 1542 | |
| 1543 | struct A { |
| 1544 | virtual void f(); |
| 1545 | }; |
| 1546 | |
| 1547 | struct B : virtual A { }; |
| 1548 | struct C : A, virtual B { }; |
| 1549 | struct D : virtual B { }; |
| 1550 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1551 | // CHECK-38: Virtual base offset offsets for 'Test32::E' (3 entries). |
| 1552 | // CHECK-38-NEXT: Test32::A | -32 |
| 1553 | // CHECK-38-NEXT: Test32::B | -24 |
| 1554 | // CHECK-38-NEXT: Test32::D | -40 |
Anders Carlsson | 573021f | 2010-04-10 21:35:33 +0000 | [diff] [blame] | 1555 | struct E : C, virtual D { |
| 1556 | virtual void f(); |
| 1557 | }; |
| 1558 | void E::f() { } |
| 1559 | |
| 1560 | } |
Anders Carlsson | af6ddf2 | 2010-04-11 20:04:11 +0000 | [diff] [blame] | 1561 | |
| 1562 | namespace Test33 { |
| 1563 | |
| 1564 | // Test that we don't emit too many vcall offsets in 'Test32::F'. |
| 1565 | |
| 1566 | struct A { |
| 1567 | virtual void a(); |
| 1568 | }; |
| 1569 | |
| 1570 | struct B { |
| 1571 | virtual void b(); |
| 1572 | }; |
| 1573 | |
| 1574 | struct C : virtual A, virtual B { |
| 1575 | virtual void c(); |
| 1576 | }; |
| 1577 | |
| 1578 | struct D : virtual C { }; |
| 1579 | |
| 1580 | struct E : A, D { |
| 1581 | virtual void e(); |
| 1582 | }; |
| 1583 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1584 | // CHECK-39: Vtable for 'Test33::F' (30 entries). |
| 1585 | // CHECK-39-NEXT: 0 | vbase_offset (24) |
| 1586 | // CHECK-39-NEXT: 1 | vbase_offset (16) |
| 1587 | // CHECK-39-NEXT: 2 | vbase_offset (16) |
| 1588 | // CHECK-39-NEXT: 3 | vbase_offset (8) |
| 1589 | // CHECK-39-NEXT: 4 | offset_to_top (0) |
| 1590 | // CHECK-39-NEXT: 5 | Test33::F RTTI |
| 1591 | // CHECK-39-NEXT: -- (Test33::A, 0) vtable address -- |
| 1592 | // CHECK-39-NEXT: -- (Test33::F, 0) vtable address -- |
| 1593 | // CHECK-39-NEXT: 6 | void Test33::A::a() |
| 1594 | // CHECK-39-NEXT: 7 | void Test33::F::f() |
| 1595 | // CHECK-39-NEXT: 8 | vcall_offset (0) |
| 1596 | // CHECK-39-NEXT: 9 | vcall_offset (0) |
| 1597 | // CHECK-39-NEXT: 10 | vbase_offset (16) |
| 1598 | // CHECK-39-NEXT: 11 | vbase_offset (8) |
| 1599 | // CHECK-39-NEXT: 12 | vbase_offset (8) |
| 1600 | // CHECK-39-NEXT: 13 | offset_to_top (-8) |
| 1601 | // CHECK-39-NEXT: 14 | Test33::F RTTI |
| 1602 | // CHECK-39-NEXT: -- (Test33::A, 8) vtable address -- |
| 1603 | // CHECK-39-NEXT: -- (Test33::E, 8) vtable address -- |
| 1604 | // CHECK-39-NEXT: 15 | void Test33::A::a() |
| 1605 | // CHECK-39-NEXT: 16 | void Test33::E::e() |
| 1606 | // CHECK-39-NEXT: 17 | vbase_offset (0) |
| 1607 | // CHECK-39-NEXT: 18 | vcall_offset (0) |
| 1608 | // CHECK-39-NEXT: 19 | vbase_offset (8) |
| 1609 | // CHECK-39-NEXT: 20 | vbase_offset (0) |
| 1610 | // CHECK-39-NEXT: 21 | vcall_offset (0) |
| 1611 | // CHECK-39-NEXT: 22 | offset_to_top (-16) |
| 1612 | // CHECK-39-NEXT: 23 | Test33::F RTTI |
| 1613 | // CHECK-39-NEXT: -- (Test33::A, 16) vtable address -- |
| 1614 | // CHECK-39-NEXT: -- (Test33::C, 16) vtable address -- |
| 1615 | // CHECK-39-NEXT: -- (Test33::D, 16) vtable address -- |
| 1616 | // CHECK-39-NEXT: 24 | void Test33::A::a() |
| 1617 | // CHECK-39-NEXT: 25 | void Test33::C::c() |
| 1618 | // CHECK-39-NEXT: 26 | vcall_offset (0) |
| 1619 | // CHECK-39-NEXT: 27 | offset_to_top (-24) |
| 1620 | // CHECK-39-NEXT: 28 | Test33::F RTTI |
| 1621 | // CHECK-39-NEXT: -- (Test33::B, 24) vtable address -- |
| 1622 | // CHECK-39-NEXT: 29 | void Test33::B::b() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 1623 | // |
| 1624 | // CHECK-39: VTable indices for 'Test33::F' (1 entries). |
| 1625 | // CHECK-39-NEXT: 1 | void Test33::F::f() |
Anders Carlsson | af6ddf2 | 2010-04-11 20:04:11 +0000 | [diff] [blame] | 1626 | struct F : virtual E, A { |
| 1627 | virtual void f(); |
| 1628 | }; |
| 1629 | void F::f() { } |
| 1630 | |
| 1631 | } |
Anders Carlsson | 73e6fa0 | 2010-04-11 22:20:36 +0000 | [diff] [blame] | 1632 | |
| 1633 | namespace Test34 { |
| 1634 | |
Nick Lewycky | 69c05d5 | 2010-04-12 05:32:01 +0000 | [diff] [blame] | 1635 | // Test that we lay out the construction vtable for 'Test34::E' in 'Test34::F' correctly. |
Anders Carlsson | 73e6fa0 | 2010-04-11 22:20:36 +0000 | [diff] [blame] | 1636 | |
| 1637 | struct A { |
| 1638 | virtual void a(); |
| 1639 | }; |
| 1640 | struct B : virtual A { }; |
| 1641 | |
| 1642 | struct C : B, A { |
| 1643 | virtual void c(); |
| 1644 | }; |
| 1645 | |
| 1646 | struct D : A, C { }; |
| 1647 | |
| 1648 | struct E : virtual D { |
| 1649 | virtual void e(); |
| 1650 | }; |
| 1651 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1652 | // CHECK-40: Construction vtable for ('Test34::E', 0) in 'Test34::F' (22 entries). |
| 1653 | // CHECK-40-NEXT: 0 | vbase_offset (0) |
| 1654 | // CHECK-40-NEXT: 1 | vbase_offset (8) |
| 1655 | // CHECK-40-NEXT: 2 | vcall_offset (0) |
| 1656 | // CHECK-40-NEXT: 3 | offset_to_top (0) |
| 1657 | // CHECK-40-NEXT: 4 | Test34::E RTTI |
| 1658 | // CHECK-40-NEXT: -- (Test34::A, 0) vtable address -- |
| 1659 | // CHECK-40-NEXT: -- (Test34::E, 0) vtable address -- |
| 1660 | // CHECK-40-NEXT: 5 | void Test34::A::a() |
| 1661 | // CHECK-40-NEXT: 6 | void Test34::E::e() |
| 1662 | // CHECK-40-NEXT: 7 | vcall_offset (8) |
| 1663 | // CHECK-40-NEXT: 8 | vcall_offset (0) |
| 1664 | // CHECK-40-NEXT: 9 | vbase_offset (-8) |
| 1665 | // CHECK-40-NEXT: 10 | offset_to_top (-8) |
| 1666 | // CHECK-40-NEXT: 11 | Test34::E RTTI |
| 1667 | // CHECK-40-NEXT: -- (Test34::A, 8) vtable address -- |
| 1668 | // CHECK-40-NEXT: -- (Test34::D, 8) vtable address -- |
| 1669 | // CHECK-40-NEXT: 12 | void Test34::A::a() |
| 1670 | // CHECK-40-NEXT: 13 | vbase_offset (-16) |
| 1671 | // CHECK-40-NEXT: 14 | vcall_offset (-16) |
| 1672 | // CHECK-40-NEXT: 15 | offset_to_top (-16) |
| 1673 | // CHECK-40-NEXT: 16 | Test34::E RTTI |
| 1674 | // CHECK-40-NEXT: -- (Test34::B, 16) vtable address -- |
| 1675 | // CHECK-40-NEXT: -- (Test34::C, 16) vtable address -- |
| 1676 | // CHECK-40-NEXT: 17 | [unused] void Test34::A::a() |
| 1677 | // CHECK-40-NEXT: 18 | void Test34::C::c() |
| 1678 | // CHECK-40-NEXT: 19 | offset_to_top (-24) |
| 1679 | // CHECK-40-NEXT: 20 | Test34::E RTTI |
| 1680 | // CHECK-40-NEXT: -- (Test34::A, 24) vtable address -- |
| 1681 | // CHECK-40-NEXT: 21 | void Test34::A::a() |
Anders Carlsson | 73e6fa0 | 2010-04-11 22:20:36 +0000 | [diff] [blame] | 1682 | struct F : E { |
| 1683 | virtual void f(); |
| 1684 | }; |
| 1685 | void F::f() { } |
| 1686 | |
| 1687 | } |
Anders Carlsson | 9791357 | 2010-04-15 16:12:58 +0000 | [diff] [blame] | 1688 | |
| 1689 | namespace Test35 { |
| 1690 | |
| 1691 | // Test that we lay out the virtual bases of 'Test35::H' in the correct order. |
| 1692 | |
| 1693 | struct A { |
| 1694 | virtual void a(); |
| 1695 | |
| 1696 | int i; |
| 1697 | }; |
| 1698 | |
| 1699 | struct B : virtual A { |
| 1700 | virtual void b(); |
| 1701 | }; |
| 1702 | |
| 1703 | struct C { |
| 1704 | virtual void c(); |
| 1705 | }; |
| 1706 | |
| 1707 | struct D : C, virtual B { |
| 1708 | virtual void d(); |
| 1709 | }; |
| 1710 | |
| 1711 | struct E : D { |
| 1712 | virtual void e(); |
| 1713 | |
| 1714 | bool b; |
| 1715 | }; |
| 1716 | |
| 1717 | struct F : virtual D { }; |
| 1718 | struct G : virtual E { }; |
| 1719 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1720 | // CHECK-41: Vtable for 'Test35::H' (32 entries). |
| 1721 | // CHECK-41-NEXT: 0 | vbase_offset (32) |
| 1722 | // CHECK-41-NEXT: 1 | vbase_offset (0) |
| 1723 | // CHECK-41-NEXT: 2 | vcall_offset (0) |
| 1724 | // CHECK-41-NEXT: 3 | vcall_offset (0) |
| 1725 | // CHECK-41-NEXT: 4 | vbase_offset (16) |
| 1726 | // CHECK-41-NEXT: 5 | vbase_offset (8) |
| 1727 | // CHECK-41-NEXT: 6 | offset_to_top (0) |
| 1728 | // CHECK-41-NEXT: 7 | Test35::H RTTI |
| 1729 | // CHECK-41-NEXT: -- (Test35::C, 0) vtable address -- |
| 1730 | // CHECK-41-NEXT: -- (Test35::D, 0) vtable address -- |
| 1731 | // CHECK-41-NEXT: -- (Test35::F, 0) vtable address -- |
| 1732 | // CHECK-41-NEXT: -- (Test35::H, 0) vtable address -- |
| 1733 | // CHECK-41-NEXT: 8 | void Test35::C::c() |
| 1734 | // CHECK-41-NEXT: 9 | void Test35::D::d() |
| 1735 | // CHECK-41-NEXT: 10 | void Test35::H::h() |
| 1736 | // CHECK-41-NEXT: 11 | vbase_offset (0) |
| 1737 | // CHECK-41-NEXT: 12 | vbase_offset (24) |
| 1738 | // CHECK-41-NEXT: 13 | vcall_offset (0) |
| 1739 | // CHECK-41-NEXT: 14 | vbase_offset (8) |
| 1740 | // CHECK-41-NEXT: 15 | offset_to_top (-8) |
| 1741 | // CHECK-41-NEXT: 16 | Test35::H RTTI |
| 1742 | // CHECK-41-NEXT: -- (Test35::B, 8) vtable address -- |
| 1743 | // CHECK-41-NEXT: -- (Test35::G, 8) vtable address -- |
| 1744 | // CHECK-41-NEXT: 17 | void Test35::B::b() |
| 1745 | // CHECK-41-NEXT: 18 | vcall_offset (0) |
| 1746 | // CHECK-41-NEXT: 19 | offset_to_top (-16) |
| 1747 | // CHECK-41-NEXT: 20 | Test35::H RTTI |
| 1748 | // CHECK-41-NEXT: -- (Test35::A, 16) vtable address -- |
| 1749 | // CHECK-41-NEXT: 21 | void Test35::A::a() |
| 1750 | // CHECK-41-NEXT: 22 | vcall_offset (0) |
| 1751 | // CHECK-41-NEXT: 23 | vcall_offset (0) |
| 1752 | // CHECK-41-NEXT: 24 | vcall_offset (0) |
| 1753 | // CHECK-41-NEXT: 25 | vbase_offset (-16) |
| 1754 | // CHECK-41-NEXT: 26 | vbase_offset (-24) |
| 1755 | // CHECK-41-NEXT: 27 | offset_to_top (-32) |
| 1756 | // CHECK-41-NEXT: 28 | Test35::H RTTI |
| 1757 | // CHECK-41-NEXT: -- (Test35::C, 32) vtable address -- |
| 1758 | // CHECK-41-NEXT: -- (Test35::D, 32) vtable address -- |
| 1759 | // CHECK-41-NEXT: -- (Test35::E, 32) vtable address -- |
| 1760 | // CHECK-41-NEXT: 29 | void Test35::C::c() |
| 1761 | // CHECK-41-NEXT: 30 | void Test35::D::d() |
| 1762 | // CHECK-41-NEXT: 31 | void Test35::E::e() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 1763 | // |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1764 | // CHECK-41: Virtual base offset offsets for 'Test35::H' (4 entries). |
| 1765 | // CHECK-41-NEXT: Test35::A | -32 |
| 1766 | // CHECK-41-NEXT: Test35::B | -24 |
| 1767 | // CHECK-41-NEXT: Test35::D | -56 |
| 1768 | // CHECK-41-NEXT: Test35::E | -64 |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 1769 | // |
| 1770 | // CHECK-41: VTable indices for 'Test35::H' (1 entries). |
| 1771 | // CHECK-41-NEXT: 2 | void Test35::H::h() |
Anders Carlsson | 9791357 | 2010-04-15 16:12:58 +0000 | [diff] [blame] | 1772 | struct H : F, G { |
| 1773 | virtual void h(); |
| 1774 | }; |
| 1775 | void H::h() { } |
| 1776 | |
| 1777 | } |
Anders Carlsson | fbf0561 | 2010-04-17 17:24:33 +0000 | [diff] [blame] | 1778 | |
| 1779 | namespace Test36 { |
| 1780 | |
| 1781 | // Test that we don't mark B::f as unused in the vtable for D. |
| 1782 | |
| 1783 | struct A { |
| 1784 | virtual void f(); |
| 1785 | }; |
| 1786 | |
| 1787 | struct B : virtual A { }; |
| 1788 | |
| 1789 | struct C : virtual A { |
| 1790 | virtual void f(); |
| 1791 | }; |
| 1792 | |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 1793 | // CHECK-42: Vtable for 'Test36::D' (12 entries). |
| 1794 | // CHECK-42-NEXT: 0 | vbase_offset (8) |
| 1795 | // CHECK-42-NEXT: 1 | vbase_offset (8) |
| 1796 | // CHECK-42-NEXT: 2 | vcall_offset (0) |
| 1797 | // CHECK-42-NEXT: 3 | offset_to_top (0) |
| 1798 | // CHECK-42-NEXT: 4 | Test36::D RTTI |
| 1799 | // CHECK-42-NEXT: -- (Test36::C, 0) vtable address -- |
| 1800 | // CHECK-42-NEXT: -- (Test36::D, 0) vtable address -- |
| 1801 | // CHECK-42-NEXT: 5 | void Test36::C::f() |
| 1802 | // CHECK-42-NEXT: 6 | void Test36::D::g() |
| 1803 | // CHECK-42-NEXT: 7 | vbase_offset (0) |
| 1804 | // CHECK-42-NEXT: 8 | vcall_offset (-8) |
| 1805 | // CHECK-42-NEXT: 9 | offset_to_top (-8) |
| 1806 | // CHECK-42-NEXT: 10 | Test36::D RTTI |
| 1807 | // CHECK-42-NEXT: -- (Test36::A, 8) vtable address -- |
| 1808 | // CHECK-42-NEXT: -- (Test36::B, 8) vtable address -- |
| 1809 | // CHECK-42-NEXT: 11 | void Test36::C::f() |
| 1810 | // CHECK-42-NEXT: [this adjustment: 0 non-virtual, -24 vcall offset offset] |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 1811 | // |
| 1812 | // CHECK-42: VTable indices for 'Test36::D' (1 entries). |
| 1813 | // CHECK-42-NEXT: 1 | void Test36::D::g() |
Anders Carlsson | fbf0561 | 2010-04-17 17:24:33 +0000 | [diff] [blame] | 1814 | struct D : virtual B, C { |
| 1815 | virtual void g(); |
| 1816 | }; |
| 1817 | void D::g() { } |
| 1818 | |
| 1819 | } |
Anders Carlsson | b8bced0 | 2011-04-10 18:00:32 +0000 | [diff] [blame] | 1820 | |
| 1821 | namespace Test37 { |
| 1822 | |
| 1823 | // Test that we give C::f the right vtable index. (PR9660). |
| 1824 | struct A { |
| 1825 | virtual A* f() = 0; |
| 1826 | }; |
| 1827 | |
| 1828 | struct B : virtual A { |
| 1829 | virtual B* f(); |
| 1830 | }; |
| 1831 | |
| 1832 | // CHECK-43: VTable indices for 'Test37::C' (1 entries). |
| 1833 | // CHECK-43-NEXT: 1 | Test37::C *Test37::C::f() |
| 1834 | struct C : B { |
| 1835 | virtual C* f(); |
| 1836 | }; |
| 1837 | |
| 1838 | C* C::f() { return 0; } |
| 1839 | |
| 1840 | } |
John McCall | 260a3e4 | 2012-03-21 06:57:19 +0000 | [diff] [blame] | 1841 | |
| 1842 | // rdar://problem/10959710 |
| 1843 | namespace Test38 { |
| 1844 | struct A { |
| 1845 | virtual void *foo(); |
| 1846 | virtual const void *foo() const; |
| 1847 | }; |
| 1848 | |
| 1849 | // CHECK-44: Vtable for 'Test38::B' (7 entries). |
| 1850 | // CHECK-44-NEXT: 0 | vbase_offset (0) |
| 1851 | // CHECK-44-NEXT: 1 | vcall_offset (0) |
| 1852 | // CHECK-44-NEXT: 2 | vcall_offset (0) |
| 1853 | // CHECK-44-NEXT: 3 | offset_to_top (0) |
| 1854 | // CHECK-44-NEXT: 4 | Test38::B RTTI |
| 1855 | // CHECK-44-NEXT: -- (Test38::A, 0) vtable address -- |
| 1856 | // CHECK-44-NEXT: -- (Test38::B, 0) vtable address -- |
| 1857 | // CHECK-44-NEXT: 5 | void *Test38::B::foo() |
| 1858 | // CHECK-44-NEXT: 6 | const void *Test38::B::foo() const |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 1859 | // |
| 1860 | // CHECK-44: VTable indices for 'Test38::B' (2 entries). |
| 1861 | // CHECK-44-NEXT: 0 | void *Test38::B::foo() |
| 1862 | // CHECK-44-NEXT: 1 | const void *Test38::B::foo() const |
John McCall | 260a3e4 | 2012-03-21 06:57:19 +0000 | [diff] [blame] | 1863 | class B : virtual public A { |
| 1864 | void *foo(); |
| 1865 | const void *foo() const; |
| 1866 | }; |
| 1867 | |
| 1868 | void *B::foo() { return 0; } |
| 1869 | } |
David Blaikie | d954ab4 | 2012-10-16 20:25:33 +0000 | [diff] [blame] | 1870 | |
| 1871 | namespace Test39 { |
| 1872 | struct A { |
| 1873 | virtual void foo() = delete; |
| 1874 | }; |
| 1875 | |
| 1876 | // CHECK-45: Vtable for 'Test39::B' (4 entries). |
| 1877 | // CHECK-45-NEXT: 0 | offset_to_top (0) |
| 1878 | // CHECK-45-NEXT: 1 | Test39::B RTTI |
| 1879 | // CHECK-45-NEXT: -- (Test39::A, 0) vtable address -- |
| 1880 | // CHECK-45-NEXT: -- (Test39::B, 0) vtable address -- |
| 1881 | // CHECK-45-NEXT: 2 | void Test39::A::foo() [deleted] |
| 1882 | // CHECK-45-NEXT: 3 | void Test39::B::foo2() |
Timur Iskhodzhanov | 4c44d2f | 2013-06-05 13:12:36 +0000 | [diff] [blame] | 1883 | // |
| 1884 | // CHECK-45: VTable indices for 'Test39::B' (1 entries). |
| 1885 | // CHECK-45-NEXT: 1 | void Test39::B::foo2() |
David Blaikie | d954ab4 | 2012-10-16 20:25:33 +0000 | [diff] [blame] | 1886 | struct B: A { |
| 1887 | virtual void foo2(); |
| 1888 | }; |
| 1889 | |
| 1890 | void B::foo2() { |
| 1891 | } |
| 1892 | } |
Timur Iskhodzhanov | d38dda9 | 2013-06-05 13:49:11 +0000 | [diff] [blame] | 1893 | |
| 1894 | namespace Test40 { |
| 1895 | struct A { |
| 1896 | virtual void foo() = 0; |
| 1897 | }; |
| 1898 | |
| 1899 | struct B : public A { |
| 1900 | virtual void foo(); |
| 1901 | }; |
| 1902 | |
| 1903 | struct C: public B { |
| 1904 | // CHECK-46: VTable indices for 'Test40::C' (8 entries). |
| 1905 | // CHECK-46-NEXT: 1 | int Test40::C::f(int) |
| 1906 | // CHECK-46-NEXT: 2 | int Test40::C::f() |
| 1907 | // CHECK-46-NEXT: 3 | int Test40::C::g(int) |
| 1908 | // CHECK-46-NEXT: 4 | int Test40::C::g() |
| 1909 | // CHECK-46-NEXT: 5 | int Test40::C::h(int) |
| 1910 | // CHECK-46-NEXT: 6 | int Test40::C::h() |
| 1911 | // CHECK-46-NEXT: 7 | int Test40::C::i(int) |
| 1912 | // CHECK-46-NEXT: 8 | int Test40::C::i() |
| 1913 | virtual int f(int); |
| 1914 | virtual int f(); |
| 1915 | virtual int g(int); |
| 1916 | virtual int g(); |
| 1917 | virtual int h(int); |
| 1918 | virtual int h(); |
| 1919 | virtual int i(int); |
| 1920 | virtual int i(); |
| 1921 | }; |
| 1922 | |
| 1923 | class D : C {}; |
| 1924 | |
| 1925 | D d; |
| 1926 | } |