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