| // RUN: %clang_cc1 -fno-rtti -emit-llvm -triple=i386-pc-win32 %s -o - | FileCheck %s |
| |
| // In each test case, we have two member pointers whose thunks have the same |
| // vtable offset and same mangling, but their prototypes conflict. The |
| // arguments and return type may differ. Therefore, we have to bitcast the |
| // function prototype. Unfortunately, if the return types differ, LLVM's |
| // optimizers can get upset. |
| |
| namespace num_params { |
| struct A { virtual void a(int); }; |
| struct B { virtual void b(int, int); }; |
| struct C : A, B { |
| virtual void a(int); |
| virtual void b(int, int); |
| }; |
| void f(C *c) { |
| (c->*(&C::a))(0); |
| (c->*(&C::b))(0, 0); |
| } |
| } |
| |
| // CHECK-LABEL: define dso_local void @"?f@num_params@@YAXPAUC@1@@Z"(ptr noundef %c) |
| // CHECK: call x86_thiscallcc void @"??_9C@num_params@@$BA@AE"(ptr {{[^,]*}} %{{.*}}, i32 noundef 0) |
| // CHECK: call x86_thiscallcc void @"??_9C@num_params@@$BA@AE"(ptr {{[^,]*}} %{{.*}}, i32 noundef 0, i32 noundef 0) |
| |
| // CHECK-LABEL: define linkonce_odr x86_thiscallcc void @"??_9C@num_params@@$BA@AE"(ptr noundef %this, ...) {{.*}} comdat |
| // CHECK: musttail call x86_thiscallcc void (ptr, ...) %{{.*}}(ptr noundef %{{.*}}, ...) |
| // CHECK-NEXT: ret void |
| |
| namespace i64_return { |
| struct A { virtual int a(); }; |
| struct B { virtual long long b(); }; |
| struct C : A, B { |
| virtual int a(); |
| virtual long long b(); |
| }; |
| long long f(C *c) { |
| int x = (c->*(&C::a))(); |
| long long y = (c->*(&C::b))(); |
| return x + y; |
| } |
| } |
| |
| // CHECK-LABEL: define dso_local noundef i64 @"?f@i64_return@@YA_JPAUC@1@@Z"(ptr noundef %c) |
| // CHECK: call x86_thiscallcc noundef i32 @"??_9C@i64_return@@$BA@AE"(ptr {{[^,]*}} %{{.*}}) |
| // CHECK: call x86_thiscallcc noundef i64 @"??_9C@i64_return@@$BA@AE"(ptr {{[^,]*}} %{{.*}}) |
| |
| // CHECK-LABEL: define linkonce_odr x86_thiscallcc void @"??_9C@i64_return@@$BA@AE"(ptr noundef %this, ...) {{.*}} comdat |
| // CHECK: musttail call x86_thiscallcc void (ptr, ...) %{{.*}}(ptr noundef %{{.*}}, ...) |
| // CHECK-NEXT: ret void |
| |
| namespace sret { |
| struct Big { int big[32]; }; |
| struct A { virtual int a(); }; |
| struct B { virtual Big b(); }; |
| struct C : A, B { |
| virtual int a(); |
| virtual Big b(); |
| }; |
| void f(C *c) { |
| (c->*(&C::a))(); |
| Big b((c->*(&C::b))()); |
| } |
| } |
| |
| // CHECK-LABEL: define dso_local void @"?f@sret@@YAXPAUC@1@@Z"(ptr noundef %c) |
| // CHECK: call x86_thiscallcc noundef i32 @"??_9C@sret@@$BA@AE"(ptr {{[^,]*}} %{{.*}}) |
| // CHECK: call x86_thiscallcc void @"??_9C@sret@@$BA@AE"(ptr {{[^,]*}} %{{.*}}, ptr sret(%"struct.sret::Big") align 4 %{{.*}}) |
| |
| // CHECK-LABEL: define linkonce_odr x86_thiscallcc void @"??_9C@sret@@$BA@AE"(ptr noundef %this, ...) {{.*}} comdat |
| // CHECK: musttail call x86_thiscallcc void (ptr, ...) %{{.*}}(ptr noundef %{{.*}}, ...) |
| // CHECK-NEXT: ret void |
| |
| namespace cdecl_inalloca { |
| // Fairly evil, since now we end up doing an inalloca-style call through a |
| // thunk that doesn't use inalloca. Hopefully the stacks line up? |
| struct Big { |
| Big(); |
| ~Big(); |
| int big[32]; |
| }; |
| struct A { virtual void __cdecl a(); }; |
| struct B { virtual void __cdecl b(Big); }; |
| struct C : A, B { |
| virtual void __cdecl a(); |
| virtual void __cdecl b(Big); |
| }; |
| void f(C *c) { |
| Big b; |
| (c->*(&C::a))(); |
| ((c->*(&C::b))(b)); |
| } |
| } |
| |
| // CHECK-LABEL: define dso_local void @"?f@cdecl_inalloca@@YAXPAUC@1@@Z"(ptr noundef %c) |
| // CHECK: call void @"??_9C@cdecl_inalloca@@$BA@AA"(ptr {{[^,]*}} %{{.*}}) |
| // CHECK: call void @"??_9C@cdecl_inalloca@@$BA@AA"(ptr inalloca(<{ ptr, %"struct.cdecl_inalloca::Big" }>) %{{.*}}) |
| |
| // CHECK-LABEL: define linkonce_odr void @"??_9C@cdecl_inalloca@@$BA@AA"(ptr noundef %this, ...) {{.*}} comdat |
| // CHECK: musttail call void (ptr, ...) %{{.*}}(ptr noundef %{{.*}}, ...) |
| // CHECK-NEXT: ret void |