71 lines · cpp
1// RUN: %clang_cc1 -std=c++2b -emit-llvm -triple=x86_64-pc-win32 -o - %s 2>/dev/null | FileCheck %s2 3struct S {4friend void test();5public:6 void a(this auto){}7 void b(this auto&){}8 void c(this S){}9 void c(this S, int){}10private:11 void d(this auto){}12 void e(this auto&){}13 void f(this S){}14 void f(this S, int){}15protected:16 void g(this auto){}17 void h(this auto&){}18 void i(this S){}19 void i(this S, int){}20};21 22void test() {23 S s;24 s.a();25 // CHECK: call void @"??$a@US@@@S@@SAX_VU0@@Z"26 s.b();27 // CHECK: call void @"??$b@US@@@S@@SAX_VAEAU0@@Z"28 s.c();29 // CHECK: call void @"?c@S@@SAX_VU1@@Z"30 s.c(0);31 // CHECK: call void @"?c@S@@SAX_VU1@H@Z"32 s.d();33 // CHECK: call void @"??$d@US@@@S@@CAX_VU0@@Z"34 s.e();35 // CHECK: call void @"??$e@US@@@S@@CAX_VAEAU0@@Z"36 s.f();37 // CHECK: call void @"?f@S@@CAX_VU1@@Z"38 s.f(0);39 // CHECK: call void @"?f@S@@CAX_VU1@H@Z"40 s.g();41 // CHECK: call void @"??$g@US@@@S@@KAX_VU0@@Z"42 s.h();43 // CHECK: call void @"??$h@US@@@S@@KAX_VAEAU0@@Z"44 s.i();45 // CHECK: call void @"?i@S@@KAX_VU1@@Z"46 s.i(0);47 // CHECK: call void @"?i@S@@KAX_VU1@H@Z"48}49 50 51struct S2 {52 int i = 0;53 void foo(this const S2&, int);54};55struct T {56 S2 bar(this const T&, int);57};58void chain_test() {59 T t;60 t.bar(0).foo(0);61}62// CHECK: define {{.*}}chain_test{{.*}}63// CHECK-NEXT: entry:64// CHECK: {{.*}} = alloca %struct.T, align 165// CHECK: {{.*}} = alloca %struct.S2, align 466// CHECK: %call = call i32 @"?bar@T@@SA?AUS2@@_VAEBU1@H@Z"{{.*}}67// CHECK: %coerce.dive = getelementptr inbounds nuw %struct.S2, {{.*}} %{{.*}}, i32 0, i32 068// CHECK store i32 %call, ptr %coerce.dive, align 469// CHECK: call void @"?foo@S2@@SAX_VAEBU1@H@Z"70// CHECK: ret void71