1 // RUN: %clang_cc1 -fno-rtti -emit-llvm -triple=i386-pc-win32 %s -o - | FileCheck %s --check-prefix=CHECK32
2 // RUN: %clang_cc1 -fno-rtti -emit-llvm -triple=x86_64-pc-win32 %s -o - | FileCheck %s --check-prefix=CHECK64
3 
4 struct S {
5   int x, y, z;
6 };
7 
8 // U is not trivially copyable, and requires inalloca to pass by value.
9 struct U {
10   int u;
11   U();
12   ~U();
13   U(const U &);
14 };
15 
16 struct C {
17   virtual void foo();
18   virtual int bar(int, double);
19   virtual S baz(int);
20   virtual S qux(U);
21 };
22 
23 namespace {
24 struct D {
25   virtual void foo();
26 };
27 }
28 
29 void f() {
30   void (C::*ptr)();
31   ptr = &C::foo;
32   ptr = &C::foo; // Don't crash trying to define the thunk twice :)
33 
34   int (C::*ptr2)(int, double);
35   ptr2 = &C::bar;
36 
37   S (C::*ptr3)(int);
38   ptr3 = &C::baz;
39 
40   void (D::*ptr4)();
41   ptr4 = &D::foo;
42 
43   S (C::*ptr5)(U);
44   ptr5 = &C::qux;
45 
46 
47 // CHECK32-LABEL: define void @"\01?f@@YAXXZ"()
48 // CHECK32: store i8* bitcast (void (%struct.C*, ...)* @"\01??_9C@@$BA@AE" to i8*), i8** %ptr
49 // CHECK32: store i8* bitcast (void (%struct.C*, ...)* @"\01??_9C@@$B3AE" to i8*), i8** %ptr2
50 // CHECK32: store i8* bitcast (void (%struct.C*, ...)* @"\01??_9C@@$B7AE" to i8*), i8** %ptr3
51 // CHECK32: store i8* bitcast (void (%"struct.(anonymous namespace)::D"*, ...)* @"\01??_9D@?A@@$BA@AE" to i8*), i8** %ptr4
52 // CHECK32: }
53 //
54 // CHECK64-LABEL: define void @"\01?f@@YAXXZ"()
55 // CHECK64: store i8* bitcast (void (%struct.C*, ...)* @"\01??_9C@@$BA@AA" to i8*), i8** %ptr
56 // CHECK64: store i8* bitcast (void (%struct.C*, ...)* @"\01??_9C@@$B7AA" to i8*), i8** %ptr2
57 // CHECK64: store i8* bitcast (void (%struct.C*, ...)* @"\01??_9C@@$BBA@AA" to i8*), i8** %ptr3
58 // CHECK64: store i8* bitcast (void (%"struct.(anonymous namespace)::D"*, ...)* @"\01??_9D@?A@@$BA@AA" to i8*), i8** %ptr
59 // CHECK64: }
60 }
61 
62 
63 // Thunk for calling the 1st virtual function in C with no parameters.
64 // CHECK32-LABEL: define linkonce_odr x86_thiscallcc void @"\01??_9C@@$BA@AE"(%struct.C* %this, ...)
65 // CHECK32: #[[ATTR:[0-9]+]]
66 // CHECK32-NOT:             unnamed_addr
67 // CHECK32:                 comdat
68 // CHECK32: [[VPTR:%.*]] = getelementptr inbounds void (%struct.C*, ...)** %{{.*}}, i64 0
69 // CHECK32: [[CALLEE:%.*]] = load void (%struct.C*, ...)** [[VPTR]]
70 // CHECK32: musttail call x86_thiscallcc void (%struct.C*, ...)* [[CALLEE]](%struct.C* %{{.*}}, ...)
71 // CHECK32-NEXT: ret void
72 // CHECK32: }
73 //
74 // CHECK64-LABEL: define linkonce_odr void @"\01??_9C@@$BA@AA"(%struct.C* %this, ...)
75 // CHECK64: #[[ATTR:[0-9]+]]
76 // CHECK64-NOT:             unnamed_addr
77 // CHECK64:                 comdat
78 // CHECK64: [[VPTR:%.*]] = getelementptr inbounds void (%struct.C*, ...)** %{{.*}}, i64 0
79 // CHECK64: [[CALLEE:%.*]] = load void (%struct.C*, ...)** [[VPTR]]
80 // CHECK64: musttail call void (%struct.C*, ...)* [[CALLEE]](%struct.C* %{{.*}}, ...)
81 // CHECK64-NEXT: ret void
82 // CHECK64: }
83 
84 // Thunk for calling the 2nd virtual function in C, taking int and double as parameters, returning int.
85 // CHECK32-LABEL: define linkonce_odr x86_thiscallcc void @"\01??_9C@@$B3AE"(%struct.C* %this, ...)
86 // CHECK32: #[[ATTR]] comdat
87 // CHECK32: [[VPTR:%.*]] = getelementptr inbounds void (%struct.C*, ...)** %{{.*}}, i64 1
88 // CHECK32: [[CALLEE:%.*]] = load void (%struct.C*, ...)** [[VPTR]]
89 // CHECK32: musttail call x86_thiscallcc void (%struct.C*, ...)* [[CALLEE]](%struct.C* %{{.*}}, ...)
90 // CHECK32-NEXT: ret void
91 // CHECK32: }
92 //
93 // CHECK64-LABEL: define linkonce_odr void @"\01??_9C@@$B7AA"(%struct.C* %this, ...)
94 // CHECK64: #[[ATTR]] comdat
95 // CHECK64: [[VPTR:%.*]] = getelementptr inbounds void (%struct.C*, ...)** %{{.*}}, i64 1
96 // CHECK64: [[CALLEE:%.*]] = load void (%struct.C*, ...)** [[VPTR]]
97 // CHECK64: musttail call void (%struct.C*, ...)* [[CALLEE]](%struct.C* %{{.*}}, ...)
98 // CHECK64-NEXT: ret void
99 // CHECK64: }
100 
101 // Thunk for calling the 3rd virtual function in C, taking an int parameter, returning a struct.
102 // CHECK32-LABEL: define linkonce_odr x86_thiscallcc void @"\01??_9C@@$B7AE"(%struct.C* %this, ...)
103 // CHECK32: #[[ATTR]] comdat
104 // CHECK32: [[VPTR:%.*]] = getelementptr inbounds void (%struct.C*, ...)** %{{.*}}, i64 2
105 // CHECK32: [[CALLEE:%.*]] = load void (%struct.C*, ...)** [[VPTR]]
106 // CHECK32: musttail call x86_thiscallcc void (%struct.C*, ...)* [[CALLEE]](%struct.C* %{{.*}}, ...)
107 // CHECK32-NEXT: ret void
108 // CHECK32: }
109 //
110 // CHECK64-LABEL: define linkonce_odr void @"\01??_9C@@$BBA@AA"(%struct.C* %this, ...)
111 // CHECK64: #[[ATTR]] comdat
112 // CHECK64: [[VPTR:%.*]] = getelementptr inbounds void (%struct.C*, ...)** %{{.*}}, i64 2
113 // CHECK64: [[CALLEE:%.*]] = load void (%struct.C*, ...)** [[VPTR]]
114 // CHECK64: musttail call void (%struct.C*, ...)* [[CALLEE]](%struct.C* %{{.*}}, ...)
115 // CHECK64-NEXT: ret void
116 // CHECK64: }
117 
118 // Thunk for calling the virtual function in internal class D.
119 // CHECK32-LABEL: define internal x86_thiscallcc void @"\01??_9D@?A@@$BA@AE"(%"struct.(anonymous namespace)::D"* %this, ...)
120 // CHECK32: #[[ATTR]]
121 // CHECK32: [[VPTR:%.*]] = getelementptr inbounds void (%"struct.(anonymous namespace)::D"*, ...)** %{{.*}}, i64 0
122 // CHECK32: [[CALLEE:%.*]] = load void (%"struct.(anonymous namespace)::D"*, ...)** [[VPTR]]
123 // CHECK32: musttail call x86_thiscallcc void (%"struct.(anonymous namespace)::D"*, ...)* [[CALLEE]](%"struct.(anonymous namespace)::D"* %{{.*}}, ...)
124 // CHECK32-NEXT: ret void
125 // CHECK32: }
126 //
127 // CHECK64-LABEL: define internal void @"\01??_9D@?A@@$BA@AA"(%"struct.(anonymous namespace)::D"* %this, ...)
128 // CHECK64: #[[ATTR]]
129 // CHECK64: [[VPTR:%.*]] = getelementptr inbounds void (%"struct.(anonymous namespace)::D"*, ...)** %{{.*}}, i64 0
130 // CHECK64: [[CALLEE:%.*]] = load void (%"struct.(anonymous namespace)::D"*, ...)** [[VPTR]]
131 // CHECK64: musttail call void (%"struct.(anonymous namespace)::D"*, ...)* [[CALLEE]](%"struct.(anonymous namespace)::D"* %{{.*}}, ...)
132 // CHECK64-NEXT: ret void
133 // CHECK64: }
134 
135 // Thunk for calling the fourth virtual function in C, taking a struct parameter
136 // and returning a struct.
137 // CHECK32-LABEL: define linkonce_odr x86_thiscallcc void @"\01??_9C@@$BM@AE"(%struct.C* %this, ...) {{.*}} comdat
138 // CHECK32: [[VPTR:%.*]] = getelementptr inbounds void (%struct.C*, ...)** %{{.*}}, i64 3
139 // CHECK32: [[CALLEE:%.*]] = load void (%struct.C*, ...)** [[VPTR]]
140 // CHECK32: musttail call x86_thiscallcc void (%struct.C*, ...)* [[CALLEE]](%struct.C* %{{.*}}, ...)
141 // CHECK32-NEXT: ret void
142 // CHECK32: }
143 //
144 // CHECK64-LABEL: define linkonce_odr void @"\01??_9C@@$BBI@AA"(%struct.C* %this, ...) {{.*}} comdat
145 // CHECK64: [[VPTR:%.*]] = getelementptr inbounds void (%struct.C*, ...)** %{{.*}}, i64 3
146 // CHECK64: [[CALLEE:%.*]] = load void (%struct.C*, ...)** [[VPTR]]
147 // CHECK64: musttail call void (%struct.C*, ...)* [[CALLEE]](%struct.C* %{{.*}}, ...)
148 // CHECK64: ret void
149 // CHECK64: }
150 
151 // CHECK32: #[[ATTR]] = {{{.*}}"thunk"{{.*}}}
152