1 // RUN: %clang_cc1 -fno-rtti -emit-llvm -cxx-abi microsoft -triple=i386-pc-win32 %s -o - | FileCheck %s --check-prefix=CHECK32 2 // RUN: %clang_cc1 -fno-rtti -emit-llvm -cxx-abi microsoft -triple=x86_64-pc-win32 %s -o - | FileCheck %s --check-prefix=CHECK64 3 4 struct S { 5 int x, y, z; 6 }; 7 8 struct C { 9 virtual void foo(); 10 virtual int bar(int, double); 11 virtual S baz(int); 12 }; 13 14 namespace { 15 struct D { 16 virtual void foo(); 17 }; 18 } 19 20 void f() { 21 void (C::*ptr)(); 22 ptr = &C::foo; 23 ptr = &C::foo; // Don't crash trying to define the thunk twice :) 24 25 int (C::*ptr2)(int, double); 26 ptr2 = &C::bar; 27 28 S (C::*ptr3)(int); 29 ptr3 = &C::baz; 30 31 void (D::*ptr4)(); 32 ptr4 = &D::foo; 33 34 // CHECK32-LABEL: define void @"\01?f@@YAXXZ"() 35 // CHECK32: store i8* bitcast (void (%struct.C*)* @"\01??_9C@@$BA@AE" to i8*), i8** %ptr 36 // CHECK32: store i8* bitcast (i32 (%struct.C*, i32, double)* @"\01??_9C@@$B3AE" to i8*), i8** %ptr2 37 // CHECK32: store i8* bitcast (void (%struct.S*, %struct.C*, i32)* @"\01??_9C@@$B7AE" to i8*), i8** %ptr3 38 // CHECK32: store i8* bitcast (void (%"struct.<anonymous namespace>::D"*)* @"\01??_9D@?A@@$BA@AE" to i8*), i8** %ptr4 39 // CHECK32: } 40 // 41 // CHECK64-LABEL: define void @"\01?f@@YAXXZ"() 42 // CHECK64: store i8* bitcast (void (%struct.C*)* @"\01??_9C@@$BA@AA" to i8*), i8** %ptr 43 // CHECK64: store i8* bitcast (i32 (%struct.C*, i32, double)* @"\01??_9C@@$B7AA" to i8*), i8** %ptr2 44 // CHECK64: store i8* bitcast (void (%struct.S*, %struct.C*, i32)* @"\01??_9C@@$BBA@AA" to i8*), i8** %ptr3 45 // CHECK64: store i8* bitcast (void (%"struct.<anonymous namespace>::D"*)* @"\01??_9D@?A@@$BA@AA" to i8*), i8** %ptr 46 // CHECK64: } 47 } 48 49 50 // Thunk for calling the 1st virtual function in C with no parameters. 51 // CHECK32-LABEL: define linkonce_odr x86_thiscallcc void @"\01??_9C@@$BA@AE"(%struct.C* %this) unnamed_addr 52 // CHECK32: [[VPTR:%.*]] = getelementptr inbounds void (%struct.C*)** %{{.*}}, i64 0 53 // CHECK32: [[CALLEE:%.*]] = load void (%struct.C*)** [[VPTR]] 54 // CHECK32: call x86_thiscallcc void [[CALLEE]](%struct.C* %{{.*}}) 55 // CHECK32: ret void 56 // CHECK32: } 57 // 58 // CHECK64-LABEL: define linkonce_odr void @"\01??_9C@@$BA@AA"(%struct.C* %this) unnamed_addr 59 // CHECK64: [[VPTR:%.*]] = getelementptr inbounds void (%struct.C*)** %{{.*}}, i64 0 60 // CHECK64: [[CALLEE:%.*]] = load void (%struct.C*)** [[VPTR]] 61 // CHECK64: call void [[CALLEE]](%struct.C* %{{.*}}) 62 // CHECK64: ret void 63 // CHECK64: } 64 65 // Thunk for calling the 2nd virtual function in C, taking int and double as parameters, returning int. 66 // CHECK32-LABEL: define linkonce_odr x86_thiscallcc i32 @"\01??_9C@@$B3AE"(%struct.C* %this, i32, double) unnamed_addr 67 // CHECK32: [[VPTR:%.*]] = getelementptr inbounds i32 (%struct.C*, i32, double)** %{{.*}}, i64 1 68 // CHECK32: [[CALLEE:%.*]] = load i32 (%struct.C*, i32, double)** [[VPTR]] 69 // CHECK32: [[CALL:%.*]] = call x86_thiscallcc i32 [[CALLEE]](%struct.C* %{{.*}}, i32 %{{.*}}, double %{{.*}}) 70 // CHECK32: ret i32 [[CALL]] 71 // CHECK32: } 72 // 73 // CHECK64-LABEL: define linkonce_odr i32 @"\01??_9C@@$B7AA"(%struct.C* %this, i32, double) unnamed_addr 74 // CHECK64: [[VPTR:%.*]] = getelementptr inbounds i32 (%struct.C*, i32, double)** %{{.*}}, i64 1 75 // CHECK64: [[CALLEE:%.*]] = load i32 (%struct.C*, i32, double)** [[VPTR]] 76 // CHECK64: [[CALL:%.*]] = call i32 [[CALLEE]](%struct.C* %{{.*}}, i32 %{{.*}}, double %{{.*}}) 77 // CHECK64: ret i32 [[CALL]] 78 // CHECK64: } 79 80 // Thunk for calling the 3rd virtual function in C, taking an int parameter, returning a struct. 81 // CHECK32-LABEL: define linkonce_odr x86_thiscallcc void @"\01??_9C@@$B7AE"(%struct.S* noalias sret %agg.result, %struct.C* %this, i32) unnamed_addr 82 // CHECK32: [[VPTR:%.*]] = getelementptr inbounds void (%struct.S*, %struct.C*, i32)** %{{.*}}, i64 2 83 // CHECK32: [[CALLEE:%.*]] = load void (%struct.S*, %struct.C*, i32)** [[VPTR]] 84 // CHECK32: call x86_thiscallcc void [[CALLEE]](%struct.S* sret %agg.result, %struct.C* %{{.*}}, i32 %{{.*}}) 85 // CHECK32: ret void 86 // CHECK32: } 87 // 88 // CHECK64-LABEL: define linkonce_odr void @"\01??_9C@@$BBA@AA"(%struct.S* noalias sret %agg.result, %struct.C* %this, i32) unnamed_addr 89 // CHECK64: [[VPTR:%.*]] = getelementptr inbounds void (%struct.S*, %struct.C*, i32)** %{{.*}}, i64 2 90 // CHECK64: [[CALLEE:%.*]] = load void (%struct.S*, %struct.C*, i32)** [[VPTR]] 91 // CHECK64: call void [[CALLEE]](%struct.S* sret %agg.result, %struct.C* %{{.*}}, i32 %{{.*}}) 92 // CHECK64: ret void 93 // CHECK64: } 94 95 // Thunk for calling the virtual function in internal class D. 96 // CHECK32-LABEL: define internal x86_thiscallcc void @"\01??_9D@?A@@$BA@AE"(%"struct.<anonymous namespace>::D"* %this) unnamed_addr 97 // CHECK32: [[VPTR:%.*]] = getelementptr inbounds void (%"struct.<anonymous namespace>::D"*)** %{{.*}}, i64 0 98 // CHECK32: [[CALLEE:%.*]] = load void (%"struct.<anonymous namespace>::D"*)** [[VPTR]] 99 // CHECK32: call x86_thiscallcc void [[CALLEE]](%"struct.<anonymous namespace>::D"* %{{.*}}) 100 // CHECK32: ret void 101 // CHECK32: } 102 // 103 // CHECK64-LABEL: define internal void @"\01??_9D@?A@@$BA@AA"(%"struct.<anonymous namespace>::D"* %this) unnamed_addr 104 // CHECK64: [[VPTR:%.*]] = getelementptr inbounds void (%"struct.<anonymous namespace>::D"*)** %{{.*}}, i64 0 105 // CHECK64: [[CALLEE:%.*]] = load void (%"struct.<anonymous namespace>::D"*)** [[VPTR]] 106 // CHECK64: call void [[CALLEE]](%"struct.<anonymous namespace>::D"* %{{.*}}) 107 // CHECK64: ret void 108 // CHECK64: } 109