1 // RUN: %clang_cc1 -fno-rtti -emit-llvm -triple=i386-pc-win32 %s -o - | FileCheck %s 2 3 // In each test case, we have two member pointers whose thunks have the same 4 // vtable offset and same mangling, but their prototypes conflict. The 5 // arguments and return type may differ. Therefore, we have to bitcast the 6 // function prototype. Unfortunately, if the return types differ, LLVM's 7 // optimizers can get upset. 8 9 namespace num_params { 10 struct A { virtual void a(int); }; 11 struct B { virtual void b(int, int); }; 12 struct C : A, B { 13 virtual void a(int); 14 virtual void b(int, int); 15 }; 16 void f(C *c) { 17 (c->*(&C::a))(0); 18 (c->*(&C::b))(0, 0); 19 } 20 } 21 22 // CHECK-LABEL: define void @"\01?f@num_params@@YAXPAUC@1@@Z"(%"struct.num_params::C"* %c) 23 // CHECK: call x86_thiscallcc void bitcast (void (%"struct.num_params::C"*, ...)* @"\01??_9C@num_params@@$BA@AE" to void (%"struct.num_params::C"*, i32)*)(%"struct.num_params::C"* %{{.*}}, i32 0) 24 // CHECK: call x86_thiscallcc void bitcast (void (%"struct.num_params::C"*, ...)* @"\01??_9C@num_params@@$BA@AE" to void (%"struct.num_params::C"*, i32, i32)*)(%"struct.num_params::C"* %{{.*}}, i32 0, i32 0) 25 26 // CHECK-LABEL: define linkonce_odr x86_thiscallcc void @"\01??_9C@num_params@@$BA@AE"(%"struct.num_params::C"* %this, ...) {{.*}} comdat 27 // CHECK: musttail call x86_thiscallcc void (%"struct.num_params::C"*, ...) %{{.*}}(%"struct.num_params::C"* %{{.*}}, ...) 28 // CHECK-NEXT: ret void 29 30 namespace i64_return { 31 struct A { virtual int a(); }; 32 struct B { virtual long long b(); }; 33 struct C : A, B { 34 virtual int a(); 35 virtual long long b(); 36 }; 37 long long f(C *c) { 38 int x = (c->*(&C::a))(); 39 long long y = (c->*(&C::b))(); 40 return x + y; 41 } 42 } 43 44 // CHECK-LABEL: define i64 @"\01?f@i64_return@@YA_JPAUC@1@@Z"(%"struct.i64_return::C"* %c) 45 // CHECK: call x86_thiscallcc i32 bitcast (void (%"struct.i64_return::C"*, ...)* @"\01??_9C@i64_return@@$BA@AE" to i32 (%"struct.i64_return::C"*)*)(%"struct.i64_return::C"* %{{.*}}) 46 // CHECK: call x86_thiscallcc i64 bitcast (void (%"struct.i64_return::C"*, ...)* @"\01??_9C@i64_return@@$BA@AE" to i64 (%"struct.i64_return::C"*)*)(%"struct.i64_return::C"* %{{.*}}) 47 48 // CHECK-LABEL: define linkonce_odr x86_thiscallcc void @"\01??_9C@i64_return@@$BA@AE"(%"struct.i64_return::C"* %this, ...) {{.*}} comdat 49 // CHECK: musttail call x86_thiscallcc void (%"struct.i64_return::C"*, ...) %{{.*}}(%"struct.i64_return::C"* %{{.*}}, ...) 50 // CHECK-NEXT: ret void 51 52 namespace sret { 53 struct Big { int big[32]; }; 54 struct A { virtual int a(); }; 55 struct B { virtual Big b(); }; 56 struct C : A, B { 57 virtual int a(); 58 virtual Big b(); 59 }; 60 void f(C *c) { 61 (c->*(&C::a))(); 62 Big b((c->*(&C::b))()); 63 } 64 } 65 66 // CHECK-LABEL: define void @"\01?f@sret@@YAXPAUC@1@@Z"(%"struct.sret::C"* %c) 67 // CHECK: call x86_thiscallcc i32 bitcast (void (%"struct.sret::C"*, ...)* @"\01??_9C@sret@@$BA@AE" to i32 (%"struct.sret::C"*)*)(%"struct.sret::C"* %{{.*}}) 68 // CHECK: call x86_thiscallcc void bitcast (void (%"struct.sret::C"*, ...)* @"\01??_9C@sret@@$BA@AE" to void (%"struct.sret::C"*, %"struct.sret::Big"*)*)(%"struct.sret::C"* %{{.*}}, %"struct.sret::Big"* sret %{{.*}}) 69 70 // CHECK-LABEL: define linkonce_odr x86_thiscallcc void @"\01??_9C@sret@@$BA@AE"(%"struct.sret::C"* %this, ...) {{.*}} comdat 71 // CHECK: musttail call x86_thiscallcc void (%"struct.sret::C"*, ...) %{{.*}}(%"struct.sret::C"* %{{.*}}, ...) 72 // CHECK-NEXT: ret void 73 74 namespace cdecl_inalloca { 75 // Fairly evil, since now we end up doing an inalloca-style call through a 76 // thunk that doesn't use inalloca. Hopefully the stacks line up? 77 struct Big { 78 Big(); 79 ~Big(); 80 int big[32]; 81 }; 82 struct A { virtual void __cdecl a(); }; 83 struct B { virtual void __cdecl b(Big); }; 84 struct C : A, B { 85 virtual void __cdecl a(); 86 virtual void __cdecl b(Big); 87 }; 88 void f(C *c) { 89 Big b; 90 (c->*(&C::a))(); 91 ((c->*(&C::b))(b)); 92 } 93 } 94 95 // CHECK-LABEL: define void @"\01?f@cdecl_inalloca@@YAXPAUC@1@@Z"(%"struct.cdecl_inalloca::C"* %c) 96 // CHECK: call void bitcast (void (%"struct.cdecl_inalloca::C"*, ...)* @"\01??_9C@cdecl_inalloca@@$BA@AA" to void (%"struct.cdecl_inalloca::C"*)*)(%"struct.cdecl_inalloca::C"* %{{.*}}) 97 // CHECK: call void bitcast (void (%"struct.cdecl_inalloca::C"*, ...)* @"\01??_9C@cdecl_inalloca@@$BA@AA" to void (<{ %"struct.cdecl_inalloca::C"*, %"struct.cdecl_inalloca::Big" }>*)*)(<{ %"struct.cdecl_inalloca::C"*, %"struct.cdecl_inalloca::Big" }>* inalloca %{{.*}}) 98 99 // CHECK-LABEL: define linkonce_odr void @"\01??_9C@cdecl_inalloca@@$BA@AA"(%"struct.cdecl_inalloca::C"* %this, ...) {{.*}} comdat 100 // CHECK: musttail call void (%"struct.cdecl_inalloca::C"*, ...) %{{.*}}(%"struct.cdecl_inalloca::C"* %{{.*}}, ...) 101 // CHECK-NEXT: ret void 102