1// RUN: %clang_cc1 -fno-rtti %s -emit-llvm -o %t -triple=i386-pc-win32 -fdump-vtable-layouts 2>&1 | FileCheck --check-prefix=VFTABLES %s
2// RUN: FileCheck --check-prefix=GLOBALS %s < %t
3// RUN: FileCheck --check-prefix=CODEGEN %s < %t
4
5namespace test1 {
6
7// Some covariant types.
8struct A { int a; };
9struct B { int b; };
10struct C : A, B { int c; };
11struct D : C { int d; };
12struct E : D { int e; };
13
14// One base class and two overrides, all with covariant return types.
15struct H     { virtual B *foo(); };
16struct I : H { virtual C *foo(); };
17struct J : I { virtual D *foo(); J(); };
18struct K : J { virtual E *foo(); K(); };
19
20J::J() {}
21
22// VFTABLES-LABEL: VFTable for 'test1::H' in 'test1::I' in 'test1::J' (3 entries).
23// VFTABLES-NEXT:   0 | test1::D *test1::J::foo()
24// VFTABLES-NEXT:       [return adjustment (to type 'struct test1::B *'): 4 non-virtual]
25// VFTABLES-NEXT:   1 | test1::D *test1::J::foo()
26// VFTABLES-NEXT:       [return adjustment (to type 'struct test1::C *'): 0 non-virtual]
27// VFTABLES-NEXT:   2 | test1::D *test1::J::foo()
28
29// GLOBALS-LABEL: @"\01??_7J@test1@@6B@" = linkonce_odr unnamed_addr constant [3 x i8*]
30// GLOBALS: @"\01?foo@J@test1@@QAEPAUB@2@XZ"
31// GLOBALS: @"\01?foo@J@test1@@QAEPAUC@2@XZ"
32// GLOBALS: @"\01?foo@J@test1@@UAEPAUD@2@XZ"
33
34K::K() {}
35
36// VFTABLES-LABEL: VFTable for 'test1::H' in 'test1::I' in 'test1::J' in 'test1::K' (4 entries).
37// VFTABLES-NEXT:   0 | test1::E *test1::K::foo()
38// VFTABLES-NEXT:       [return adjustment (to type 'struct test1::B *'): 4 non-virtual]
39// VFTABLES-NEXT:   1 | test1::E *test1::K::foo()
40// VFTABLES-NEXT:       [return adjustment (to type 'struct test1::C *'): 0 non-virtual]
41// VFTABLES-NEXT:   2 | test1::E *test1::K::foo()
42// VFTABLES-NEXT:       [return adjustment (to type 'struct test1::D *'): 0 non-virtual]
43// VFTABLES-NEXT:   3 | test1::E *test1::K::foo()
44
45// Only B to C requires adjustment, but we get 3 thunks in K's vftable, two of
46// which are trivial.
47// GLOBALS-LABEL: @"\01??_7K@test1@@6B@" = linkonce_odr unnamed_addr constant [4 x i8*]
48// GLOBALS: @"\01?foo@K@test1@@QAEPAUB@2@XZ"
49// GLOBALS: @"\01?foo@K@test1@@QAEPAUC@2@XZ"
50// GLOBALS: @"\01?foo@K@test1@@QAEPAUD@2@XZ"
51// GLOBALS: @"\01?foo@K@test1@@UAEPAUE@2@XZ"
52
53//  This thunk has a return adjustment.
54// CODEGEN-LABEL: define {{.*}} @"\01?foo@K@test1@@QAEPAUB@2@XZ"
55// CODEGEN: call {{.*}} @"\01?foo@K@test1@@UAEPAUE@2@XZ"
56// CODEGEN: icmp {{.*}}, null
57// CODEGEN: getelementptr
58// CODEGEN: ret
59
60//  These two don't.
61// CODEGEN-LABEL: define {{.*}} @"\01?foo@K@test1@@QAEPAUC@2@XZ"
62// CODEGEN: call {{.*}} @"\01?foo@K@test1@@UAEPAUE@2@XZ"
63// CODEGEN-NEXT: ret
64
65// CODEGEN-LABEL: define {{.*}} @"\01?foo@K@test1@@QAEPAUD@2@XZ"
66// CODEGEN: call {{.*}} @"\01?foo@K@test1@@UAEPAUE@2@XZ"
67// CODEGEN-NEXT: ret
68
69}
70
71namespace test2 {
72
73// Covariant types.  D* is not trivially convertible to C*.
74struct A { int a; };
75struct B { int b; };
76struct C : B { int c; };
77struct D : A, C { int d; };
78struct E : D { int e; };
79
80// J's foo will require an adjusting thunk, and K will require a trivial thunk.
81struct H     { virtual B *foo(); };
82struct I : H { virtual C *foo(); };
83struct J : I { virtual D *foo(); J(); };
84struct K : J { virtual E *foo(); K(); };
85
86J::J() {}
87
88// VFTABLES-LABEL: VFTable for 'test2::H' in 'test2::I' in 'test2::J' (2 entries).
89// VFTABLES-NEXT:    0 | test2::D *test2::J::foo()
90// VFTABLES-NEXT:         [return adjustment (to type 'struct test2::B *'): 4 non-virtual]
91// VFTABLES-NEXT:    1 | test2::D *test2::J::foo()
92
93// GLOBALS-LABEL: @"\01??_7J@test2@@6B@" = linkonce_odr unnamed_addr constant [2 x i8*]
94
95K::K() {}
96
97// VFTABLES-LABEL: VFTable for 'test2::H' in 'test2::I' in 'test2::J' in 'test2::K' (3 entries).
98// VFTABLES-NEXT:    0 | test2::E *test2::K::foo()
99// VFTABLES-NEXT:         [return adjustment (to type 'struct test2::B *'): 4 non-virtual]
100// VFTABLES-NEXT:    1 | test2::E *test2::K::foo()
101// VFTABLES-NEXT:         [return adjustment (to type 'struct test2::D *'): 0 non-virtual]
102// VFTABLES-NEXT:    2 | test2::E *test2::K::foo()
103
104// GLOBALS-LABEL: @"\01??_7K@test2@@6B@" = linkonce_odr unnamed_addr constant [3 x i8*]
105
106}
107