1ef8225444452a1486bd721f3285301fe84643b00Stephen Hines// RUN: %clang_cc1 -std=c++11 -fno-rtti -emit-llvm %s -o - -triple=i386-pc-win32 -fms-extensions | FileCheck %s 2ef8225444452a1486bd721f3285301fe84643b00Stephen Hines// RUN: %clang_cc1 -std=c++11 -fno-rtti -emit-llvm %s -o - -triple=x86_64-pc-win32 -fms-extensions | FileCheck %s -check-prefix=X64 3ef8225444452a1486bd721f3285301fe84643b00Stephen Hines// RUN: %clang_cc1 -std=c++11 -fno-rtti -emit-llvm %s -o - -triple=i386-pc-win32 -DINCOMPLETE_VIRTUAL -fms-extensions -verify 4ef8225444452a1486bd721f3285301fe84643b00Stephen Hines// RUN: %clang_cc1 -std=c++11 -fno-rtti -emit-llvm %s -o - -triple=i386-pc-win32 -DINCOMPLETE_VIRTUAL -DMEMFUN -fms-extensions -verify 5f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// FIXME: Test x86_64 member pointers when codegen no longer asserts on records 6f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// with virtual bases. 7a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner 8651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines#ifndef INCOMPLETE_VIRTUAL 9a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerstruct B1 { 1079e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner void foo(); 11a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner int b; 12a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner}; 1379e0291be71adb4c38431e27a683faa40bbedc61Reid Klecknerstruct B2 { 14f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner int b2; 1579e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner void foo(); 1679e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner}; 1779e0291be71adb4c38431e27a683faa40bbedc61Reid Klecknerstruct Single : B1 { 1879e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner void foo(); 1979e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner}; 2079e0291be71adb4c38431e27a683faa40bbedc61Reid Klecknerstruct Multiple : B1, B2 { 21f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner int m; 2279e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner void foo(); 2379e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner}; 24a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerstruct Virtual : virtual B1 { 25a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner int v; 2679e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner void foo(); 27a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner}; 28a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner 29a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Klecknerstruct POD { 30a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner int a; 31a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner int b; 32a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner}; 33a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner 34a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerstruct Polymorphic { 35a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner virtual void myVirtual(); 36a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner int a; 37a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner int b; 38a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner}; 39a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner 40a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// This class uses the virtual inheritance model, yet its vbptr offset is not 0. 41a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// We still use zero for the null field offset, despite it being a valid field 42a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// offset. 43a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerstruct NonZeroVBPtr : POD, Virtual { 44a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner int n; 45f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner void foo(); 46a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner}; 47a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner 48a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerstruct Unspecified; 4942090d6d786accb3551097f0ef1f15d44713982cReid Klecknerstruct UnspecSingle; 50a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner 5179e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// Check that we can lower the LLVM types and get the null initializers right. 52a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerint Single ::*s_d_memptr; 53a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerint Polymorphic::*p_d_memptr; 54a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerint Multiple ::*m_d_memptr; 55a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerint Virtual ::*v_d_memptr; 56a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerint NonZeroVBPtr::*n_d_memptr; 57a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerint Unspecified::*u_d_memptr; 5842090d6d786accb3551097f0ef1f15d44713982cReid Klecknerint UnspecSingle::*us_d_memptr; 59c0e64f3d293bc1c448a84d285f115bc946b91b07David Majnemer// CHECK: @"\01?s_d_memptr@@3PQSingle@@HQ1@" = global i32 -1, align 4 60c0e64f3d293bc1c448a84d285f115bc946b91b07David Majnemer// CHECK: @"\01?p_d_memptr@@3PQPolymorphic@@HQ1@" = global i32 0, align 4 61c0e64f3d293bc1c448a84d285f115bc946b91b07David Majnemer// CHECK: @"\01?m_d_memptr@@3PQMultiple@@HQ1@" = global i32 -1, align 4 62c0e64f3d293bc1c448a84d285f115bc946b91b07David Majnemer// CHECK: @"\01?v_d_memptr@@3PQVirtual@@HQ1@" = global { i32, i32 } 63651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: { i32 0, i32 -1 }, align 8 64c0e64f3d293bc1c448a84d285f115bc946b91b07David Majnemer// CHECK: @"\01?n_d_memptr@@3PQNonZeroVBPtr@@HQ1@" = global { i32, i32 } 65651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: { i32 0, i32 -1 }, align 8 66c0e64f3d293bc1c448a84d285f115bc946b91b07David Majnemer// CHECK: @"\01?u_d_memptr@@3PQUnspecified@@HQ1@" = global { i32, i32, i32 } 67651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: { i32 0, i32 0, i32 -1 }, align 8 6842090d6d786accb3551097f0ef1f15d44713982cReid Kleckner// CHECK: @"\01?us_d_memptr@@3PQUnspecSingle@@HQ1@" = global { i32, i32, i32 } 69651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: { i32 0, i32 0, i32 -1 }, align 8 70a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner 71a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknervoid (Single ::*s_f_memptr)(); 72a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknervoid (Multiple::*m_f_memptr)(); 73a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknervoid (Virtual ::*v_f_memptr)(); 74c0e64f3d293bc1c448a84d285f115bc946b91b07David Majnemer// CHECK: @"\01?s_f_memptr@@3P8Single@@AEXXZQ1@" = global i8* null, align 4 75651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: @"\01?m_f_memptr@@3P8Multiple@@AEXXZQ1@" = global { i8*, i32 } zeroinitializer, align 8 76651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: @"\01?v_f_memptr@@3P8Virtual@@AEXXZQ1@" = global { i8*, i32, i32 } zeroinitializer, align 8 77a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner 7879e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// We can define Unspecified after locking in the inheritance model. 79a06d585468ae9371eb46a69d6180c2a85e0f456eReid Klecknerstruct Unspecified : Multiple, Virtual { 8079e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner void foo(); 8179e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner int u; 8279e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner}; 8379e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner 8442090d6d786accb3551097f0ef1f15d44713982cReid Klecknerstruct UnspecSingle { 8542090d6d786accb3551097f0ef1f15d44713982cReid Kleckner void foo(); 8642090d6d786accb3551097f0ef1f15d44713982cReid Kleckner}; 8742090d6d786accb3551097f0ef1f15d44713982cReid Kleckner 88f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// Test memptr emission in a constant expression. 89f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknernamespace Const { 90f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknervoid (Single ::*s_f_mp)() = &Single::foo; 91f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknervoid (Multiple ::*m_f_mp)() = &B2::foo; 92f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknervoid (Virtual ::*v_f_mp)() = &Virtual::foo; 93f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknervoid (Unspecified::*u_f_mp)() = &Unspecified::foo; 9442090d6d786accb3551097f0ef1f15d44713982cReid Klecknervoid (UnspecSingle::*us_f_mp)() = &UnspecSingle::foo; 95c0e64f3d293bc1c448a84d285f115bc946b91b07David Majnemer// CHECK: @"\01?s_f_mp@Const@@3P8Single@@AEXXZQ2@" = 96f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: global i8* bitcast ({{.*}} @"\01?foo@Single@@QAEXXZ" to i8*), align 4 97c0e64f3d293bc1c448a84d285f115bc946b91b07David Majnemer// CHECK: @"\01?m_f_mp@Const@@3P8Multiple@@AEXXZQ2@" = 98651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: global { i8*, i32 } { i8* bitcast ({{.*}} @"\01?foo@B2@@QAEXXZ" to i8*), i32 4 }, align 8 99c0e64f3d293bc1c448a84d285f115bc946b91b07David Majnemer// CHECK: @"\01?v_f_mp@Const@@3P8Virtual@@AEXXZQ2@" = 100651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: global { i8*, i32, i32 } { i8* bitcast ({{.*}} @"\01?foo@Virtual@@QAEXXZ" to i8*), i32 0, i32 0 }, align 8 101c0e64f3d293bc1c448a84d285f115bc946b91b07David Majnemer// CHECK: @"\01?u_f_mp@Const@@3P8Unspecified@@AEXXZQ2@" = 102651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: global { i8*, i32, i32, i32 } { i8* bitcast ({{.*}} @"\01?foo@Unspecified@@QAEXXZ" to i8*), i32 0, i32 12, i32 0 }, align 8 10342090d6d786accb3551097f0ef1f15d44713982cReid Kleckner// CHECK: @"\01?us_f_mp@Const@@3P8UnspecSingle@@AEXXZQ2@" = 104651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: global { i8*, i32, i32, i32 } { i8* bitcast ({{.*}} @"\01?foo@UnspecSingle@@QAEXXZ" to i8*), i32 0, i32 0, i32 0 }, align 8 105f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner} 106f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 107f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknernamespace CastParam { 108f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// This exercises ConstExprEmitter instead of ValueDecl::evaluateValue. The 109f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// extra reinterpret_cast for the parameter type requires more careful folding. 110f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// FIXME: Or does it? If reinterpret_casts are no-ops, we should be able to 111f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// strip them in evaluateValue() and just proceed as normal with an APValue. 112f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerstruct A { 113f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner int a; 114f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner void foo(A *p); 115f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner}; 116f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerstruct B { int b; }; 117f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerstruct C : B, A { int c; }; 118f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 119f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknervoid (A::*ptr1)(void *) = (void (A::*)(void *)) &A::foo; 120c0e64f3d293bc1c448a84d285f115bc946b91b07David Majnemer// CHECK: @"\01?ptr1@CastParam@@3P8A@1@AEXPAX@ZQ21@" = 121f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: global i8* bitcast (void ({{.*}})* @"\01?foo@A@CastParam@@QAEXPAU12@@Z" to i8*), align 4 122f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 123f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// Try a reinterpret_cast followed by a memptr conversion. 124f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknervoid (C::*ptr2)(void *) = (void (C::*)(void *)) (void (A::*)(void *)) &A::foo; 125c0e64f3d293bc1c448a84d285f115bc946b91b07David Majnemer// CHECK: @"\01?ptr2@CastParam@@3P8C@1@AEXPAX@ZQ21@" = 126651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: global { i8*, i32 } { i8* bitcast (void ({{.*}})* @"\01?foo@A@CastParam@@QAEXPAU12@@Z" to i8*), i32 4 }, align 8 127f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 128f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknervoid (C::*ptr3)(void *) = (void (C::*)(void *)) (void (A::*)(void *)) (void (A::*)(A *)) 0; 129c0e64f3d293bc1c448a84d285f115bc946b91b07David Majnemer// CHECK: @"\01?ptr3@CastParam@@3P8C@1@AEXPAX@ZQ21@" = 130651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: global { i8*, i32 } zeroinitializer, align 8 131f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 132f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerstruct D : C { 133f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner virtual void isPolymorphic(); 134f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner int d; 135f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner}; 136f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 137f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// Try a cast that changes the inheritance model. Null for D is 0, but null for 138f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// C is -1. We need the cast to long in order to hit the non-APValue path. 139f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerint C::*ptr4 = (int C::*) (int D::*) (long D::*) 0; 140c0e64f3d293bc1c448a84d285f115bc946b91b07David Majnemer// CHECK: @"\01?ptr4@CastParam@@3PQC@1@HQ21@" = global i32 -1, align 4 141f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 142f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// MSVC rejects this but we accept it. 143f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerint C::*ptr5 = (int C::*) (long D::*) 0; 144c0e64f3d293bc1c448a84d285f115bc946b91b07David Majnemer// CHECK: @"\01?ptr5@CastParam@@3PQC@1@HQ21@" = global i32 -1, align 4 145f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner} 146f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 14779e0291be71adb4c38431e27a683faa40bbedc61Reid Klecknerstruct UnspecWithVBPtr; 14879e0291be71adb4c38431e27a683faa40bbedc61Reid Klecknerint UnspecWithVBPtr::*forceUnspecWithVBPtr; 14979e0291be71adb4c38431e27a683faa40bbedc61Reid Klecknerstruct UnspecWithVBPtr : B1, virtual B2 { 15079e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner int u; 15179e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner void foo(); 15279e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner}; 15379e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner 15479e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// Test emitting non-virtual member pointers in a non-constexpr setting. 15579e0291be71adb4c38431e27a683faa40bbedc61Reid Klecknervoid EmitNonVirtualMemberPointers() { 15679e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner void (Single ::*s_f_memptr)() = &Single::foo; 15779e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner void (Multiple ::*m_f_memptr)() = &Multiple::foo; 15879e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner void (Virtual ::*v_f_memptr)() = &Virtual::foo; 15979e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner void (Unspecified::*u_f_memptr)() = &Unspecified::foo; 16079e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner void (UnspecWithVBPtr::*u2_f_memptr)() = &UnspecWithVBPtr::foo; 161f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: define void @"\01?EmitNonVirtualMemberPointers@@YAXXZ"() {{.*}} { 16279e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: alloca i8*, align 4 163651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: alloca { i8*, i32 }, align 8 164651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: alloca { i8*, i32, i32 }, align 8 165651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: alloca { i8*, i32, i32, i32 }, align 8 16679e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: store i8* bitcast (void (%{{.*}}*)* @"\01?foo@Single@@QAEXXZ" to i8*), i8** %{{.*}}, align 4 16779e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: store { i8*, i32 } 16879e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: { i8* bitcast (void (%{{.*}}*)* @"\01?foo@Multiple@@QAEXXZ" to i8*), i32 0 }, 169651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: { i8*, i32 }* %{{.*}}, align 8 17079e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: store { i8*, i32, i32 } 17179e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: { i8* bitcast (void (%{{.*}}*)* @"\01?foo@Virtual@@QAEXXZ" to i8*), i32 0, i32 0 }, 172651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: { i8*, i32, i32 }* %{{.*}}, align 8 17379e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: store { i8*, i32, i32, i32 } 174a06d585468ae9371eb46a69d6180c2a85e0f456eReid Kleckner// CHECK: { i8* bitcast (void (%{{.*}}*)* @"\01?foo@Unspecified@@QAEXXZ" to i8*), i32 0, i32 12, i32 0 }, 175651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: { i8*, i32, i32, i32 }* %{{.*}}, align 8 17679e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: store { i8*, i32, i32, i32 } 17779e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: { i8* bitcast (void (%{{.*}}*)* @"\01?foo@UnspecWithVBPtr@@QAEXXZ" to i8*), 17879e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: i32 0, i32 4, i32 0 }, 179651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: { i8*, i32, i32, i32 }* %{{.*}}, align 8 18079e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: ret void 18179e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: } 18279e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner} 18379e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner 184a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Klecknervoid podMemPtrs() { 185a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner int POD::*memptr; 186a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner memptr = &POD::a; 187a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner memptr = &POD::b; 188a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner if (memptr) 189a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner memptr = 0; 190a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// Check that member pointers use the right offsets and that null is -1. 191f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: define void @"\01?podMemPtrs@@YAXXZ"() {{.*}} { 192a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK: %[[memptr:.*]] = alloca i32, align 4 193a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK-NEXT: store i32 0, i32* %[[memptr]], align 4 194a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK-NEXT: store i32 4, i32* %[[memptr]], align 4 195a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK-NEXT: %[[memptr_val:.*]] = load i32* %[[memptr]], align 4 196a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK-NEXT: %{{.*}} = icmp ne i32 %[[memptr_val]], -1 197a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK-NEXT: br i1 %{{.*}}, label %{{.*}}, label %{{.*}} 198a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK: store i32 -1, i32* %[[memptr]], align 4 199a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK: ret void 200a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK: } 201a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner} 202a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner 203a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Klecknervoid polymorphicMemPtrs() { 204a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner int Polymorphic::*memptr; 205a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner memptr = &Polymorphic::a; 206a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner memptr = &Polymorphic::b; 207a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner if (memptr) 208a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner memptr = 0; 209a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// Member pointers for polymorphic classes include the vtable slot in their 210a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// offset and use 0 to represent null. 211f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: define void @"\01?polymorphicMemPtrs@@YAXXZ"() {{.*}} { 212a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK: %[[memptr:.*]] = alloca i32, align 4 213a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK-NEXT: store i32 4, i32* %[[memptr]], align 4 214a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK-NEXT: store i32 8, i32* %[[memptr]], align 4 215a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK-NEXT: %[[memptr_val:.*]] = load i32* %[[memptr]], align 4 216a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK-NEXT: %{{.*}} = icmp ne i32 %[[memptr_val]], 0 217a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK-NEXT: br i1 %{{.*}}, label %{{.*}}, label %{{.*}} 218a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK: store i32 0, i32* %[[memptr]], align 4 219a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK: ret void 220a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK: } 221a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner} 222a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner 223a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerbool nullTestDataUnspecified(int Unspecified::*mp) { 224a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner return mp; 225a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: define zeroext i1 @"\01?nullTestDataUnspecified@@YA_NPQUnspecified@@H@Z"{{.*}} { 226651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: %{{.*}} = load { i32, i32, i32 }* %{{.*}}, align 8 227651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: store { i32, i32, i32 } {{.*}} align 8 228651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: %[[mp:.*]] = load { i32, i32, i32 }* %{{.*}}, align 8 229a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[mp0:.*]] = extractvalue { i32, i32, i32 } %[[mp]], 0 230a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[cmp0:.*]] = icmp ne i32 %[[mp0]], 0 231a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[mp1:.*]] = extractvalue { i32, i32, i32 } %[[mp]], 1 232a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[cmp1:.*]] = icmp ne i32 %[[mp1]], 0 2336bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// CHECK: %[[and0:.*]] = or i1 %[[cmp0]], %[[cmp1]] 234a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[mp2:.*]] = extractvalue { i32, i32, i32 } %[[mp]], 2 235a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[cmp2:.*]] = icmp ne i32 %[[mp2]], -1 2366bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// CHECK: %[[and1:.*]] = or i1 %[[and0]], %[[cmp2]] 237a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: ret i1 %[[and1]] 238a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: } 2396bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 2406bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// Pass this large type indirectly. 2416bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// X64-LABEL: define zeroext i1 @"\01?nullTestDataUnspecified@@ 2426bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// X64: ({ i32, i32, i32 }*) 243a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner} 244a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner 245a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerbool nullTestFunctionUnspecified(void (Unspecified::*mp)()) { 246a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner return mp; 247a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: define zeroext i1 @"\01?nullTestFunctionUnspecified@@YA_NP8Unspecified@@AEXXZ@Z"{{.*}} { 248651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: %{{.*}} = load { i8*, i32, i32, i32 }* %{{.*}}, align 8 249651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: store { i8*, i32, i32, i32 } {{.*}} align 8 250651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: %[[mp:.*]] = load { i8*, i32, i32, i32 }* %{{.*}}, align 8 251a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[mp0:.*]] = extractvalue { i8*, i32, i32, i32 } %[[mp]], 0 252a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[cmp0:.*]] = icmp ne i8* %[[mp0]], null 253a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: ret i1 %[[cmp0]] 254a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: } 255a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner} 256a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner 257a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerint loadDataMemberPointerVirtual(Virtual *o, int Virtual::*memptr) { 258a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner return o->*memptr; 259a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// Test that we can unpack this aggregate member pointer and load the member 260a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// data pointer. 261a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: define i32 @"\01?loadDataMemberPointerVirtual@@YAHPAUVirtual@@PQ1@H@Z"{{.*}} { 262a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[o:.*]] = load %{{.*}}** %{{.*}}, align 4 263651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: %[[memptr:.*]] = load { i32, i32 }* %{{.*}}, align 8 264a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[memptr0:.*]] = extractvalue { i32, i32 } %[[memptr:.*]], 0 265a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[memptr1:.*]] = extractvalue { i32, i32 } %[[memptr:.*]], 1 266a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[v6:.*]] = bitcast %{{.*}}* %[[o]] to i8* 267a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[vbptr:.*]] = getelementptr inbounds i8* %[[v6]], i32 0 268a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[vbptr_a:.*]] = bitcast i8* %[[vbptr]] to i8** 269a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[vbtable:.*]] = load i8** %[[vbptr_a:.*]] 270a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[v7:.*]] = getelementptr inbounds i8* %[[vbtable]], i32 %[[memptr1]] 271a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[v8:.*]] = bitcast i8* %[[v7]] to i32* 272a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[vbase_offs:.*]] = load i32* %[[v8]] 273a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[v10:.*]] = getelementptr inbounds i8* %[[vbptr]], i32 %[[vbase_offs]] 274a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[offset:.*]] = getelementptr inbounds i8* %[[v10]], i32 %[[memptr0]] 275a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[v11:.*]] = bitcast i8* %[[offset]] to i32* 276a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[v12:.*]] = load i32* %[[v11]] 277a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: ret i32 %[[v12]] 278a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: } 2796bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 2806bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// A two-field data memptr on x64 gets coerced to i64 and is passed in a 2816bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// register or memory. 2826bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// X64-LABEL: define i32 @"\01?loadDataMemberPointerVirtual@@YAHPEAUVirtual@@PEQ1@H@Z" 2836bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// X64: (%struct.Virtual* %o, i64 %memptr.coerce) 284a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner} 285a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner 286a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerint loadDataMemberPointerUnspecified(Unspecified *o, int Unspecified::*memptr) { 287a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner return o->*memptr; 288a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// Test that we can unpack this aggregate member pointer and load the member 289a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// data pointer. 290a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: define i32 @"\01?loadDataMemberPointerUnspecified@@YAHPAUUnspecified@@PQ1@H@Z"{{.*}} { 291a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[o:.*]] = load %{{.*}}** %{{.*}}, align 4 292651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: %[[memptr:.*]] = load { i32, i32, i32 }* %{{.*}}, align 8 293a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[memptr0:.*]] = extractvalue { i32, i32, i32 } %[[memptr:.*]], 0 294a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[memptr1:.*]] = extractvalue { i32, i32, i32 } %[[memptr:.*]], 1 295a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[memptr2:.*]] = extractvalue { i32, i32, i32 } %[[memptr:.*]], 2 296a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[base:.*]] = bitcast %{{.*}}* %[[o]] to i8* 297a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[is_vbase:.*]] = icmp ne i32 %[[memptr2]], 0 298a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: br i1 %[[is_vbase]], label %[[vadjust:.*]], label %[[skip:.*]] 299a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// 30049eef34fdff56114769fe83f0ccb39f8dd94a6e7Reid Kleckner// CHECK: [[vadjust]] 301a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[vbptr:.*]] = getelementptr inbounds i8* %[[base]], i32 %[[memptr1]] 302a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[vbptr_a:.*]] = bitcast i8* %[[vbptr]] to i8** 303a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[vbtable:.*]] = load i8** %[[vbptr_a:.*]] 304a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[v7:.*]] = getelementptr inbounds i8* %[[vbtable]], i32 %[[memptr2]] 305a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[v8:.*]] = bitcast i8* %[[v7]] to i32* 306a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[vbase_offs:.*]] = load i32* %[[v8]] 307a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[base_adj:.*]] = getelementptr inbounds i8* %[[vbptr]], i32 %[[vbase_offs]] 308a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// 30949eef34fdff56114769fe83f0ccb39f8dd94a6e7Reid Kleckner// CHECK: [[skip]] 31049eef34fdff56114769fe83f0ccb39f8dd94a6e7Reid Kleckner// CHECK: %[[new_base:.*]] = phi i8* [ %[[base]], %{{.*}} ], [ %[[base_adj]], %[[vadjust]] ] 311a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[offset:.*]] = getelementptr inbounds i8* %[[new_base]], i32 %[[memptr0]] 312a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[v11:.*]] = bitcast i8* %[[offset]] to i32* 313a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[v12:.*]] = load i32* %[[v11]] 314a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: ret i32 %[[v12]] 315a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: } 316a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner} 317a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner 318a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknervoid callMemberPointerSingle(Single *o, void (Single::*memptr)()) { 319a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner (o->*memptr)(); 320a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// Just look for an indirect thiscall. 321f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: define void @"\01?callMemberPointerSingle@@{{.*}} {{.*}} { 322a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: call x86_thiscallcc void %{{.*}}(%{{.*}} %{{.*}}) 323a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: ret void 324a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: } 3256bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 3266bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// X64-LABEL: define void @"\01?callMemberPointerSingle@@ 3276bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// X64: (%struct.Single* %o, i8* %memptr) 3286bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// X64: bitcast i8* %{{[^ ]*}} to void (%struct.Single*)* 3296bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// X64: ret void 330a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner} 331a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner 332a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknervoid callMemberPointerMultiple(Multiple *o, void (Multiple::*memptr)()) { 333a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner (o->*memptr)(); 334f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: define void @"\01?callMemberPointerMultiple@@{{.*}} { 335a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[memptr0:.*]] = extractvalue { i8*, i32 } %{{.*}}, 0 336a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[memptr1:.*]] = extractvalue { i8*, i32 } %{{.*}}, 1 337a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[this_adjusted:.*]] = getelementptr inbounds i8* %{{.*}}, i32 %[[memptr1]] 338a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[this:.*]] = bitcast i8* %[[this_adjusted]] to {{.*}} 339a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[fptr:.*]] = bitcast i8* %[[memptr0]] to {{.*}} 340a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: call x86_thiscallcc void %[[fptr]](%{{.*}} %[[this]]) 341a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: ret void 342a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: } 343a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner} 344a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner 345a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknervoid callMemberPointerVirtualBase(Virtual *o, void (Virtual::*memptr)()) { 346a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner (o->*memptr)(); 347a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// This shares a lot with virtual data member pointers. 348f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: define void @"\01?callMemberPointerVirtualBase@@{{.*}} { 349a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[memptr0:.*]] = extractvalue { i8*, i32, i32 } %{{.*}}, 0 350a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[memptr1:.*]] = extractvalue { i8*, i32, i32 } %{{.*}}, 1 351a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[memptr2:.*]] = extractvalue { i8*, i32, i32 } %{{.*}}, 2 352a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[vbptr:.*]] = getelementptr inbounds i8* %{{.*}}, i32 0 353a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[vbptr_a:.*]] = bitcast i8* %[[vbptr]] to i8** 354a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[vbtable:.*]] = load i8** %[[vbptr_a:.*]] 355a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[v7:.*]] = getelementptr inbounds i8* %[[vbtable]], i32 %[[memptr2]] 356a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[v8:.*]] = bitcast i8* %[[v7]] to i32* 357a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[vbase_offs:.*]] = load i32* %[[v8]] 358a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[v10:.*]] = getelementptr inbounds i8* %[[vbptr]], i32 %[[vbase_offs]] 359a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[this_adjusted:.*]] = getelementptr inbounds i8* %[[v10]], i32 %[[memptr1]] 360a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[fptr:.*]] = bitcast i8* %[[memptr0]] to void ({{.*}}) 361a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[this:.*]] = bitcast i8* %[[this_adjusted]] to {{.*}} 362a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: call x86_thiscallcc void %[[fptr]](%{{.*}} %[[this]]) 363a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: ret void 364a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: } 365a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner} 3663d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner 3673d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Klecknerbool compareSingleFunctionMemptr(void (Single::*l)(), void (Single::*r)()) { 3683d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner return l == r; 3693d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// Should only be one comparison here. 3703d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: define zeroext i1 @"\01?compareSingleFunctionMemptr@@YA_NP8Single@@AEXXZ0@Z"{{.*}} { 3713d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK-NOT: icmp 3723d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[r:.*]] = icmp eq 3733d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK-NOT: icmp 3743d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: ret i1 %[[r]] 3753d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: } 3766bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 3776bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// X64-LABEL: define zeroext i1 @"\01?compareSingleFunctionMemptr@@ 3786bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// X64: (i8* %{{[^,]*}}, i8* %{{[^)]*}}) 3793d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner} 3803d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner 3813d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Klecknerbool compareNeqSingleFunctionMemptr(void (Single::*l)(), void (Single::*r)()) { 3823d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner return l != r; 3833d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// Should only be one comparison here. 3843d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: define zeroext i1 @"\01?compareNeqSingleFunctionMemptr@@YA_NP8Single@@AEXXZ0@Z"{{.*}} { 3853d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK-NOT: icmp 3863d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[r:.*]] = icmp ne 3873d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK-NOT: icmp 3883d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: ret i1 %[[r]] 3893d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: } 3903d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner} 3913d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner 3923d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Klecknerbool unspecFuncMemptrEq(void (Unspecified::*l)(), void (Unspecified::*r)()) { 3933d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner return l == r; 3943d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: define zeroext i1 @"\01?unspecFuncMemptrEq@@YA_NP8Unspecified@@AEXXZ0@Z"{{.*}} { 3953d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[lhs0:.*]] = extractvalue { i8*, i32, i32, i32 } %[[l:.*]], 0 3963d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[r:.*]], 0 3973d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[cmp0:.*]] = icmp eq i8* %[[lhs0]], %{{.*}} 3983d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[l]], 1 3993d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[r]], 1 4003d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[cmp1:.*]] = icmp eq i32 4013d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[l]], 2 4023d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[r]], 2 4033d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[cmp2:.*]] = icmp eq i32 4043d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[res12:.*]] = and i1 %[[cmp1]], %[[cmp2]] 4053d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[l]], 3 4063d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[r]], 3 4073d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[cmp3:.*]] = icmp eq i32 4083d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[res123:.*]] = and i1 %[[res12]], %[[cmp3]] 4093d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[iszero:.*]] = icmp eq i8* %[[lhs0]], null 4103d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[bits_or_null:.*]] = or i1 %[[res123]], %[[iszero]] 4113d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = and i1 %[[bits_or_null]], %[[cmp0]] 4123d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: ret i1 %{{.*}} 4133d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: } 4146bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 4156bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// X64-LABEL: define zeroext i1 @"\01?unspecFuncMemptrEq@@ 4166bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// X64: ({ i8*, i32, i32, i32 }*, { i8*, i32, i32, i32 }*) 4173d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner} 4183d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner 4193d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Klecknerbool unspecFuncMemptrNeq(void (Unspecified::*l)(), void (Unspecified::*r)()) { 4203d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner return l != r; 4213d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: define zeroext i1 @"\01?unspecFuncMemptrNeq@@YA_NP8Unspecified@@AEXXZ0@Z"{{.*}} { 4223d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[lhs0:.*]] = extractvalue { i8*, i32, i32, i32 } %[[l:.*]], 0 4233d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[r:.*]], 0 4243d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[cmp0:.*]] = icmp ne i8* %[[lhs0]], %{{.*}} 4253d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[l]], 1 4263d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[r]], 1 4273d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[cmp1:.*]] = icmp ne i32 4283d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[l]], 2 4293d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[r]], 2 4303d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[cmp2:.*]] = icmp ne i32 4313d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[res12:.*]] = or i1 %[[cmp1]], %[[cmp2]] 4323d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[l]], 3 4333d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[r]], 3 4343d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[cmp3:.*]] = icmp ne i32 4353d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[res123:.*]] = or i1 %[[res12]], %[[cmp3]] 4363d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[iszero:.*]] = icmp ne i8* %[[lhs0]], null 4373d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[bits_or_null:.*]] = and i1 %[[res123]], %[[iszero]] 4383d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = or i1 %[[bits_or_null]], %[[cmp0]] 4393d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: ret i1 %{{.*}} 4403d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: } 4413d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner} 4423d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner 4433d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Klecknerbool unspecDataMemptrEq(int Unspecified::*l, int Unspecified::*r) { 4443d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner return l == r; 4453d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: define zeroext i1 @"\01?unspecDataMemptrEq@@YA_NPQUnspecified@@H0@Z"{{.*}} { 4463d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: extractvalue { i32, i32, i32 } %{{.*}}, 0 4473d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: extractvalue { i32, i32, i32 } %{{.*}}, 0 4483d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: icmp eq i32 4493d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: extractvalue { i32, i32, i32 } %{{.*}}, 1 4503d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: extractvalue { i32, i32, i32 } %{{.*}}, 1 4513d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: icmp eq i32 4523d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: extractvalue { i32, i32, i32 } %{{.*}}, 2 4533d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: extractvalue { i32, i32, i32 } %{{.*}}, 2 4543d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: icmp eq i32 4553d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: and i1 4563d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: and i1 4573d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: ret i1 4583d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: } 4596bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 4606bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// X64-LABEL: define zeroext i1 @"\01?unspecDataMemptrEq@@ 4616bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// X64: ({ i32, i32, i32 }*, { i32, i32, i32 }*) 4623d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner} 463f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 464f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknervoid (Multiple::*convertB2FuncToMultiple(void (B2::*mp)()))() { 465f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner return mp; 466f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: define i64 @"\01?convertB2FuncToMultiple@@YAP8Multiple@@AEXXZP8B2@@AEXXZ@Z"{{.*}} { 467f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: store 468f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: %[[mp:.*]] = load i8** %{{.*}}, align 4 469f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: icmp ne i8* %[[mp]], null 470f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: br i1 %{{.*}} label %{{.*}}, label %{{.*}} 471f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// 472f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// memptr.convert: ; preds = %entry 473f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: insertvalue { i8*, i32 } undef, i8* %[[mp]], 0 474f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: insertvalue { i8*, i32 } %{{.*}}, i32 4, 1 475f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: br label 476f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// 477f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// memptr.converted: ; preds = %memptr.convert, %entry 478f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: phi { i8*, i32 } [ zeroinitializer, %{{.*}} ], [ {{.*}} ] 479f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: } 480f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner} 481f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 482f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknervoid (B2::*convertMultipleFuncToB2(void (Multiple::*mp)()))() { 483f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// FIXME: cl emits warning C4407 on this code because of the representation 484f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// change. We might want to do the same. 485f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner return static_cast<void (B2::*)()>(mp); 486f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// FIXME: We should return i8* instead of i32 here. The ptrtoint cast prevents 487f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// LLVM from optimizing away the branch. This is likely a bug in 488f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// lib/CodeGen/TargetInfo.cpp with how we classify memptr types for returns. 489f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// 490f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: define i32 @"\01?convertMultipleFuncToB2@@YAP8B2@@AEXXZP8Multiple@@AEXXZ@Z"{{.*}} { 491f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: store 492651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: %[[src:.*]] = load { i8*, i32 }* %{{.*}}, align 8 493f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: extractvalue { i8*, i32 } %[[src]], 0 494f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: icmp ne i8* %{{.*}}, null 495f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: br i1 %{{.*}}, label %{{.*}}, label %{{.*}} 496f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// 497f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// memptr.convert: ; preds = %entry 498f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: %[[fp:.*]] = extractvalue { i8*, i32 } %[[src]], 0 499f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: br label 500f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// 501f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// memptr.converted: ; preds = %memptr.convert, %entry 502f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: phi i8* [ null, %{{.*}} ], [ %[[fp]], %{{.*}} ] 503f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: } 504f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner} 505f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 506f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknernamespace Test1 { 507f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 508f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerstruct A { int a; }; 509f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerstruct B { int b; }; 510f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerstruct C : virtual A { int c; }; 511f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerstruct D : B, C { int d; }; 512f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 513f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknervoid (D::*convertCToD(void (C::*mp)()))() { 514f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner return mp; 515f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: define void @"\01?convertCToD@Test1@@YAP8D@1@AEXXZP8C@1@AEXXZ@Z"{{.*}} { 516f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: store 517651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: load { i8*, i32, i32 }* %{{.*}}, align 8 518f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: extractvalue { i8*, i32, i32 } %{{.*}}, 0 519f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: icmp ne i8* %{{.*}}, null 520f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: br i1 %{{.*}}, label %{{.*}}, label %{{.*}} 521f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// 522f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// memptr.convert: ; preds = %entry 523f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: extractvalue { i8*, i32, i32 } %{{.*}}, 0 524f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: extractvalue { i8*, i32, i32 } %{{.*}}, 1 525f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: extractvalue { i8*, i32, i32 } %{{.*}}, 2 526f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: %[[adj:.*]] = add nsw i32 %{{.*}}, 4 527f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: insertvalue { i8*, i32, i32 } undef, i8* {{.*}}, 0 528f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: insertvalue { i8*, i32, i32 } {{.*}}, i32 %[[adj]], 1 529f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: insertvalue { i8*, i32, i32 } {{.*}}, i32 {{.*}}, 2 530f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: br label 531f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// 532f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// memptr.converted: ; preds = %memptr.convert, %entry 533f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: phi { i8*, i32, i32 } [ { i8* null, i32 0, i32 -1 }, {{.*}} ], [ {{.*}} ] 534f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: } 535f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner} 536f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 537f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner} 538f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 539f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknernamespace Test2 { 540f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// Test that we dynamically convert between different null reps. 541f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 542f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerstruct A { int a; }; 543f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerstruct B : A { int b; }; 544f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerstruct C : A { 545f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner int c; 546f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner virtual void hasVfPtr(); 547f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner}; 548f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 549f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerint A::*reinterpret(int B::*mp) { 550f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner return reinterpret_cast<int A::*>(mp); 551f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: define i32 @"\01?reinterpret@Test2@@YAPQA@1@HPQB@1@H@Z"{{.*}} { 552f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK-NOT: select 553f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: ret i32 554f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: } 555f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner} 556f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 557f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerint A::*reinterpret(int C::*mp) { 558f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner return reinterpret_cast<int A::*>(mp); 559f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: define i32 @"\01?reinterpret@Test2@@YAPQA@1@HPQC@1@H@Z"{{.*}} { 560f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: %[[mp:.*]] = load i32* 561f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: %[[cmp:.*]] = icmp ne i32 %[[mp]], 0 562f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: select i1 %[[cmp]], i32 %[[mp]], i32 -1 563f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: } 564f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner} 565f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 566f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner} 567651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 568651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesnamespace Test3 { 569651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// Make sure we cast 'this' to i8* before using GEP. 570651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 571651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesstruct A { 572651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines int a; 573651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines int b; 574651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines}; 575651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 576651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesint *load_data(A *a, int A::*mp) { 577651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines return &(a->*mp); 578651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK-LABEL: define i32* @"\01?load_data@Test3@@YAPAHPAUA@1@PQ21@H@Z"{{.*}} { 579651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: %[[a:.*]] = load %"struct.Test3::A"** %{{.*}}, align 4 580651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: %[[mp:.*]] = load i32* %{{.*}}, align 4 581651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: %[[a_i8:.*]] = bitcast %"struct.Test3::A"* %[[a]] to i8* 582651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: getelementptr inbounds i8* %[[a_i8]], i32 %[[mp]] 583651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: } 584651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines} 585651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 586651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines} 587651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 588651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesnamespace Test4 { 589651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 590651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesstruct A { virtual void f(); }; 591651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesstruct B { virtual void g(); }; 592651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesstruct C : A, B { virtual void g(); }; 593651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 594651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesvoid (C::*getmp())() { 595651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines return &C::g; 596651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines} 597651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK-LABEL: define i64 @"\01?getmp@Test4@@YAP8C@1@AEXXZXZ"() 598651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: store { i8*, i32 } { i8* bitcast (void (i8*)* @"\01??_9C@Test4@@$BA@AE" to i8*), i32 4 }, { i8*, i32 }* %{{.*}} 599651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// 600651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 601651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK-LABEL: define linkonce_odr x86_thiscallcc void @"\01??_9C@Test4@@$BA@AE"(i8*) 602651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK-NOT: getelementptr 603651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: load void (i8*)*** %{{.*}} 604651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: getelementptr inbounds void (i8*)** %{{.*}}, i64 0 605651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK-NOT: getelementptr 606651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK: call x86_thiscallcc void % 607651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 608651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines} 609651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 610ef8225444452a1486bd721f3285301fe84643b00Stephen Hinesnamespace pr20007 { 611ef8225444452a1486bd721f3285301fe84643b00Stephen Hinesstruct A { 612ef8225444452a1486bd721f3285301fe84643b00Stephen Hines void f(); 613ef8225444452a1486bd721f3285301fe84643b00Stephen Hines void f(int); 614ef8225444452a1486bd721f3285301fe84643b00Stephen Hines}; 615ef8225444452a1486bd721f3285301fe84643b00Stephen Hinesstruct B : public A {}; 616ef8225444452a1486bd721f3285301fe84643b00Stephen Hinesvoid test() { void (B::*a)() = &B::f; } 617ef8225444452a1486bd721f3285301fe84643b00Stephen Hines// CHECK-LABEL: define void @"\01?test@pr20007@@YAXXZ" 618ef8225444452a1486bd721f3285301fe84643b00Stephen Hines// CHECK: store i8* bitcast (void (%"struct.pr20007::A"*)* @"\01?f@A@pr20007@@QAEXXZ" to i8*) 619ef8225444452a1486bd721f3285301fe84643b00Stephen Hines} 620ef8225444452a1486bd721f3285301fe84643b00Stephen Hines 621ef8225444452a1486bd721f3285301fe84643b00Stephen Hinesnamespace pr20007_kw { 622ef8225444452a1486bd721f3285301fe84643b00Stephen Hinesstruct A { 623ef8225444452a1486bd721f3285301fe84643b00Stephen Hines void f(); 624ef8225444452a1486bd721f3285301fe84643b00Stephen Hines void f(int); 625ef8225444452a1486bd721f3285301fe84643b00Stephen Hines}; 626ef8225444452a1486bd721f3285301fe84643b00Stephen Hinesstruct __single_inheritance B; 627ef8225444452a1486bd721f3285301fe84643b00Stephen Hinesstruct B : public A {}; 628ef8225444452a1486bd721f3285301fe84643b00Stephen Hinesvoid test() { void (B::*a)() = &B::f; } 629ef8225444452a1486bd721f3285301fe84643b00Stephen Hines// CHECK-LABEL: define void @"\01?test@pr20007_kw@@YAXXZ" 630ef8225444452a1486bd721f3285301fe84643b00Stephen Hines// CHECK: store i8* bitcast (void (%"struct.pr20007_kw::A"*)* @"\01?f@A@pr20007_kw@@QAEXXZ" to i8*) 631ef8225444452a1486bd721f3285301fe84643b00Stephen Hines} 632ef8225444452a1486bd721f3285301fe84643b00Stephen Hines 633ef8225444452a1486bd721f3285301fe84643b00Stephen Hinesnamespace pr19987 { 634ef8225444452a1486bd721f3285301fe84643b00Stephen Hinestemplate <typename T> 635ef8225444452a1486bd721f3285301fe84643b00Stephen Hinesstruct S { 636ef8225444452a1486bd721f3285301fe84643b00Stephen Hines int T::*x; 637ef8225444452a1486bd721f3285301fe84643b00Stephen Hines}; 638ef8225444452a1486bd721f3285301fe84643b00Stephen Hines 639ef8225444452a1486bd721f3285301fe84643b00Stephen Hinesstruct U : S<U> {}; 640ef8225444452a1486bd721f3285301fe84643b00Stephen Hines 641ef8225444452a1486bd721f3285301fe84643b00Stephen Hinesstatic_assert(sizeof(S<U>::x) == 12, ""); 642ef8225444452a1486bd721f3285301fe84643b00Stephen Hines} 643ef8225444452a1486bd721f3285301fe84643b00Stephen Hines 644651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines#else 645651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesstruct __virtual_inheritance A; 646651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines#ifdef MEMFUN 647651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesint foo(A *a, int (A::*mp)()) { 648651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines return (a->*mp)(); // expected-error{{requires a complete class type}} 649651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines} 650651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines#else 651651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesint foo(A *a, int A::*mp) { 652651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines return a->*mp; // expected-error{{requires a complete class type}} 653651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines} 654651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines#endif 655651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines#endif 656