Clang Project

clang_source_code/test/CodeGenCXX/vtable-layout-abi-examples.cpp
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
17namespace 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()
28struct A {
29  virtual void f ();
30  virtual void g ();
31  virtual void h ();
32  int ia;
33};
34void A::f() {}
35
36// CHECK-2:      Vtable for 'Test1::B' (13 entries).
37// CHECK-2-NEXT:    0 | vbase_offset (16)
38// CHECK-2-NEXT:    1 | offset_to_top (0)
39// CHECK-2-NEXT:    2 | Test1::B 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]
54struct B: public virtual A {
55  void f ();
56  void h ();
57  int ib;
58};
59void B::f() {}
60
61// CHECK-3:      Vtable for 'Test1::C' (13 entries).
62// CHECK-3-NEXT:    0 | vbase_offset (16)
63// CHECK-3-NEXT:    1 | offset_to_top (0)
64// CHECK-3-NEXT:    2 | Test1::C 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]
79struct C: public virtual A {
80  void g ();
81  void h ();
82  int ic;
83};
84void C::g() {}
85
86// CHECK-4:      Vtable for 'Test1::D' (18 entries).
87// CHECK-4-NEXT:    0 | vbase_offset (32)
88// CHECK-4-NEXT:    1 | offset_to_top (0)
89// CHECK-4-NEXT:    2 | Test1::D 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]
113struct D: public B, public C {
114  void h ();
115  int id;
116};
117void D::h() { }
118
119struct X {
120  int ix;
121  virtual void x();
122};
123
124// CHECK-5:      Vtable for 'Test1::E' (24 entries).
125// CHECK-5-NEXT:    0 | vbase_offset (56)
126// CHECK-5-NEXT:    1 | offset_to_top (0)
127// CHECK-5-NEXT:    2 | Test1::E 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]
161struct E : X, D {
162  int ie;
163  void f();
164  void h ();
165};
166void E::f() { } 
167
168}
169
170namespace Test2 {
171
172// From http://www.codesourcery.com/public/cxx-abi/abi.html#class-types.
173
174struct A { virtual void f(); };
175struct B : virtual public A { int i; };
176struct C : virtual public A { int j; };
177
178// CHECK-6:      Vtable for 'Test2::D' (11 entries).
179// CHECK-6-NEXT:    0 | vbase_offset (0)
180// CHECK-6-NEXT:    1 | vcall_offset (0)
181// CHECK-6-NEXT:    2 | offset_to_top (0)
182// CHECK-6-NEXT:    3 | Test2::D 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()
194struct D : public B, public C {
195  virtual void d();
196};
197void D::d() { } 
198
199}
200
201namespace Test3 {
202
203// From http://www.codesourcery.com/public/cxx-abi/abi-examples.html#vtable-ctor
204
205struct V1 {
206  int v1;
207  virtual void f();
208};
209
210struct V2 : virtual V1 {
211  int v2;
212  virtual void f();
213};
214
215// CHECK-7:      Vtable for 'Test3::C' (14 entries).
216// CHECK-7-NEXT:    0 | vbase_offset (32)
217// CHECK-7-NEXT:    1 | vbase_offset (16)
218// CHECK-7-NEXT:    2 | offset_to_top (0)
219// CHECK-7-NEXT:    3 | Test3::C 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]
249struct C : virtual V1, virtual V2 {
250  int c;
251  virtual void f();
252};
253void C::f() { }
254
255struct B {
256  int b;
257};
258
259// CHECK-9:      Vtable for 'Test3::D' (15 entries).
260// CHECK-9-NEXT:    0 | vbase_offset (40)
261// CHECK-9-NEXT:    1 | vbase_offset (24)
262// CHECK-9-NEXT:    2 | offset_to_top (0)
263// CHECK-9-NEXT:    3 | Test3::D 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]
316struct D : B, C {
317  int d;
318  virtual void g();
319};
320void D::g() { }
321
322}
323
CodeThinker, Enjoy your reading code