1 // RUN: %clang_cc1 -fno-rtti-data -triple x86_64-windows-msvc -emit-llvm %s -o - | FileCheck %s 2 3 // In this example, C does not override B::foo, but it needs to emit a thunk to 4 // adjust for the relative difference of position between A-in-B and A-in-C. 5 6 struct Incomplete; 7 template <typename T> 8 struct DoNotInstantiate { 9 typename T::does_not_exist field; 10 }; 11 template <typename T> 12 struct InstantiateLater; 13 14 struct A { 15 virtual void foo(Incomplete p) = 0; 16 virtual void bar(DoNotInstantiate<int> p) = 0; 17 virtual int baz(InstantiateLater<int> p) = 0; 18 }; 19 struct B : virtual A { 20 void foo(Incomplete p) override; 21 void bar(DoNotInstantiate<int> p) override; 22 inline int baz(InstantiateLater<int> p) override; 23 }; 24 struct C : B { int c; }; 25 C c; 26 27 // Do the same thing, but with an incomplete return type. 28 struct B1 { virtual DoNotInstantiate<void> f() = 0; }; 29 struct B2 { virtual DoNotInstantiate<void> f() = 0; }; 30 struct S : B1, B2 { DoNotInstantiate<void> f() override; }; 31 S s; 32 33 // CHECK: @"??_7S@@6BB2@@@" = linkonce_odr unnamed_addr constant 34 // CHECK-SAME: void (%struct.S*, ...)* @"?f@S@@W7EAA?AU?$DoNotInstantiate@X@@XZ" 35 36 // CHECK: @"??_7C@@6B@" = linkonce_odr unnamed_addr constant 37 // CHECK-SAME: void (%struct.B*, ...)* @"?foo@B@@W7EAAXUIncomplete@@@Z" 38 // CHECK-SAME: void (%struct.B*, ...)* @"?bar@B@@W7EAAXU?$DoNotInstantiate@H@@@Z" 39 // CHECK-SAME: i32 (i8*, i32)* @"?baz@B@@W7EAAHU?$InstantiateLater@H@@@Z" 40 41 42 // CHECK-LABEL: define linkonce_odr dso_local void @"?f@S@@W7EAA?AU?$DoNotInstantiate@X@@XZ"(%struct.S* noundef %this, ...) 43 // CHECK: %[[THIS_ADJ_i8:[^ ]*]] = getelementptr i8, i8* {{.*}}, i32 -8 44 // CHECK: %[[THIS_ADJ:[^ ]*]] = bitcast i8* %[[THIS_ADJ_i8]] to %struct.S* 45 // CHECK: musttail call void (%struct.S*, ...) {{.*}}@"?f@S@@UEAA?AU?$DoNotInstantiate@X@@XZ" 46 // CHECK-SAME: (%struct.S* noundef %[[THIS_ADJ]], ...) 47 // CHECK: ret void 48 49 // The thunks should have a -8 adjustment. 50 51 // CHECK-LABEL: define linkonce_odr dso_local void @"?foo@B@@W7EAAXUIncomplete@@@Z"(%struct.B* noundef %this, ...) 52 // CHECK: %[[THIS_ADJ_i8:[^ ]*]] = getelementptr i8, i8* {{.*}}, i32 -8 53 // CHECK: %[[THIS_ADJ:[^ ]*]] = bitcast i8* %[[THIS_ADJ_i8]] to %struct.B* 54 // CHECK: musttail call void (%struct.B*, ...) {{.*}}@"?foo@B@@UEAAXUIncomplete@@@Z" 55 // CHECK-SAME: (%struct.B* noundef %[[THIS_ADJ]], ...) 56 // CHECK-NEXT: ret void 57 58 // CHECK-LABEL: define linkonce_odr dso_local void @"?bar@B@@W7EAAXU?$DoNotInstantiate@H@@@Z"(%struct.B* noundef %this, ...) 59 // CHECK: %[[THIS_ADJ_i8:[^ ]*]] = getelementptr i8, i8* {{.*}}, i32 -8 60 // CHECK: %[[THIS_ADJ:[^ ]*]] = bitcast i8* %[[THIS_ADJ_i8]] to %struct.B* 61 // CHECK: musttail call void (%struct.B*, ...) {{.*}}@"?bar@B@@UEAAXU?$DoNotInstantiate@H@@@Z" 62 // CHECK-SAME: (%struct.B* noundef %[[THIS_ADJ]], ...) 63 // CHECK-NEXT: ret void 64 65 // If we complete the definition later, things work out. 66 template <typename T> struct InstantiateLater { T x; }; 67 inline int B::baz(InstantiateLater<int> p) { return p.x; } 68 69 // CHECK-LABEL: define linkonce_odr dso_local noundef i32 @"?baz@B@@W7EAAHU?$InstantiateLater@H@@@Z"(i8* noundef %this.coerce, i32 %p.coerce) 70 // CHECK: = getelementptr i8, i8* {{.*}}, i32 -8 71 // CHECK: tail call noundef i32 @"?baz@B@@UEAAHU?$InstantiateLater@H@@@Z"(i8* {{[^,]*}}, i32 {{.*}}) 72 73 // CHECK-LABEL: define linkonce_odr dso_local noundef i32 @"?baz@B@@UEAAHU?$InstantiateLater@H@@@Z"(i8* noundef %this.coerce, i32 %p.coerce) 74