Mercurial > hg > CbC > CbC_llvm
view clang/test/CodeGenCXX/microsoft-abi-vmemptr-conflicts.cpp @ 266:00f31e85ec16 default tip
Added tag current for changeset 31d058e83c98
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 14 Oct 2023 10:13:55 +0900 |
parents | c4bab56944e8 |
children |
line wrap: on
line source
// 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