1// RUN: %clang_cc1 %s -fno-rtti -triple=i386-pc-win32 -emit-llvm -o - | FileCheck %s
2
3// For now, just make sure x86_64 doesn't crash.
4// RUN: %clang_cc1 %s -fno-rtti -triple=x86_64-pc-win32 -emit-llvm -o %t
5
6struct A {
7  virtual void f();
8};
9
10struct B {
11  virtual void f();
12};
13
14struct C : A, B {};
15
16struct D : virtual C {
17  D();
18  ~D();
19  virtual void f();
20  void g();
21  int xxx;
22};
23
24D::D() {}  // Forces vftable emission.
25
26// CHECK-LABEL: define linkonce_odr x86_thiscallcc void @"\01?f@D@@$4PPPPPPPM@A@AEXXZ"
27// CHECK: %[[ECX:.*]] = load %struct.D** %{{.*}}
28// CHECK: %[[ECX_i8:.*]] = bitcast %struct.D* %[[ECX]] to i8*
29// CHECK: %[[VTORDISP_PTR_i8:.*]] = getelementptr i8* %[[ECX_i8]], i32 -4
30// CHECK: %[[VTORDISP_PTR:.*]] = bitcast i8* %[[VTORDISP_PTR_i8]] to i32*
31// CHECK: %[[VTORDISP:.*]] = load i32* %[[VTORDISP_PTR]]
32// CHECK: %[[VTORDISP_NEG:.*]] = sub i32 0, %[[VTORDISP]]
33// CHECK: %[[ADJUSTED_i8:.*]] = getelementptr i8* %[[ECX_i8]], i32 %[[VTORDISP_NEG]]
34// CHECK: call x86_thiscallcc void @"\01?f@D@@UAEXXZ"(i8* %[[ADJUSTED_i8]])
35// CHECK: ret void
36
37// CHECK-LABEL: define linkonce_odr x86_thiscallcc void @"\01?f@D@@$4PPPPPPPI@3AEXXZ"
38// CHECK: %[[ECX:.*]] = load %struct.D** %{{.*}}
39// CHECK: %[[ECX_i8:.*]] = bitcast %struct.D* %[[ECX]] to i8*
40// CHECK: %[[VTORDISP_PTR_i8:.*]] = getelementptr i8* %[[ECX_i8]], i32 -8
41// CHECK: %[[VTORDISP_PTR:.*]] = bitcast i8* %[[VTORDISP_PTR_i8]] to i32*
42// CHECK: %[[VTORDISP:.*]] = load i32* %[[VTORDISP_PTR]]
43// CHECK: %[[VTORDISP_NEG:.*]] = sub i32 0, %[[VTORDISP]]
44// CHECK: %[[VTORDISP_ADJUSTED_i8:.*]] = getelementptr i8* %[[ECX_i8]], i32 %[[VTORDISP_NEG]]
45// CHECK: %[[ADJUSTED_i8:.*]] = getelementptr i8* %[[VTORDISP_ADJUSTED_i8]], i32 -4
46// CHECK: call x86_thiscallcc void @"\01?f@D@@UAEXXZ"(i8* %[[ADJUSTED_i8]])
47// CHECK: ret void
48
49struct E : virtual A {
50  virtual void f();
51  ~E();
52};
53
54struct F {
55  virtual void z();
56};
57
58struct G : virtual F, virtual E {
59  int ggg;
60  G();
61  ~G();
62};
63
64G::G() {}  // Forces vftable emission.
65
66// CHECK-LABEL: define linkonce_odr x86_thiscallcc void @"\01?f@E@@$R4BA@M@PPPPPPPM@7AEXXZ"(i8*)
67// CHECK: %[[ECX:.*]] = load %struct.E** %{{.*}}
68// CHECK: %[[ECX_i8:.*]] = bitcast %struct.E* %[[ECX]] to i8*
69// CHECK: %[[VTORDISP_PTR_i8:.*]] = getelementptr i8* %[[ECX_i8]], i32 -4
70// CHECK: %[[VTORDISP_PTR:.*]] = bitcast i8* %[[VTORDISP_PTR_i8]] to i32*
71// CHECK: %[[VTORDISP:.*]] = load i32* %[[VTORDISP_PTR]]
72// CHECK: %[[VTORDISP_NEG:.*]] = sub i32 0, %[[VTORDISP]]
73// CHECK: %[[VTORDISP_ADJUSTED_i8:.*]] = getelementptr i8* %[[ECX_i8]], i32 %[[VTORDISP_NEG]]
74// CHECK: %[[VBPTR_i8:.*]] = getelementptr inbounds i8* %[[VTORDISP_ADJUSTED_i8]], i32 -16
75// CHECK: %[[VBPTR:.*]] = bitcast i8* %[[VBPTR_i8]] to i8**
76// CHECK: %[[VBTABLE:.*]] = load i8** %[[VBPTR]]
77// CHECK: %[[VBOFFSET_PTR_i8:.*]] = getelementptr inbounds i8* %[[VBTABLE]], i32 12
78// CHECK: %[[VBOFFSET_PTR:.*]] = bitcast i8* %[[VBOFFSET_PTR_i8]] to i32*
79// CHECK: %[[VBASE_OFFSET:.*]] = load i32* %[[VBOFFSET_PTR]]
80// CHECK: %[[VBASE:.*]] = getelementptr inbounds i8* %[[VBPTR_i8]], i32 %[[VBASE_OFFSET]]
81// CHECK: %[[ARG_i8:.*]] = getelementptr i8* %[[VBASE]], i32 8
82// CHECK: call x86_thiscallcc void @"\01?f@E@@UAEXXZ"(i8* %[[ARG_i8]])
83// CHECK: ret void
84