microsoft-abi-member-pointers.cpp revision a06d585468ae9371eb46a69d6180c2a85e0f456e
1a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// RUN: %clang_cc1 -fno-rtti -emit-llvm %s -o - -cxx-abi microsoft -triple=i386-pc-win32 | FileCheck %s 2f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// FIXME: Test x86_64 member pointers when codegen no longer asserts on records 3f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// with virtual bases. 4a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner 5a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerstruct B1 { 679e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner void foo(); 7a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner int b; 8a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner}; 979e0291be71adb4c38431e27a683faa40bbedc61Reid Klecknerstruct B2 { 10f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner int b2; 1179e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner void foo(); 1279e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner}; 1379e0291be71adb4c38431e27a683faa40bbedc61Reid Klecknerstruct Single : B1 { 1479e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner void foo(); 1579e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner}; 1679e0291be71adb4c38431e27a683faa40bbedc61Reid Klecknerstruct Multiple : B1, B2 { 17f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner int m; 1879e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner void foo(); 1979e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner}; 20a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerstruct Virtual : virtual B1 { 21a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner int v; 2279e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner void foo(); 23a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner}; 24a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner 25a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Klecknerstruct POD { 26a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner int a; 27a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner int b; 28a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner}; 29a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner 30a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerstruct Polymorphic { 31a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner virtual void myVirtual(); 32a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner int a; 33a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner int b; 34a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner}; 35a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner 36a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// This class uses the virtual inheritance model, yet its vbptr offset is not 0. 37a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// We still use zero for the null field offset, despite it being a valid field 38a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// offset. 39a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerstruct NonZeroVBPtr : POD, Virtual { 40a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner int n; 41f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner void foo(); 42a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner}; 43a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner 44a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerstruct Unspecified; 45a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner 4679e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// Check that we can lower the LLVM types and get the null initializers right. 47a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerint Single ::*s_d_memptr; 48a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerint Polymorphic::*p_d_memptr; 49a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerint Multiple ::*m_d_memptr; 50a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerint Virtual ::*v_d_memptr; 51a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerint NonZeroVBPtr::*n_d_memptr; 52a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerint Unspecified::*u_d_memptr; 53a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: @"\01?s_d_memptr@@3PQSingle@@HA" = global i32 -1, align 4 54a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: @"\01?p_d_memptr@@3PQPolymorphic@@HA" = global i32 0, align 4 55a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: @"\01?m_d_memptr@@3PQMultiple@@HA" = global i32 -1, align 4 56a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: @"\01?v_d_memptr@@3PQVirtual@@HA" = global { i32, i32 } 57a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: { i32 0, i32 -1 }, align 4 58a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: @"\01?n_d_memptr@@3PQNonZeroVBPtr@@HA" = global { i32, i32 } 59a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: { i32 0, i32 -1 }, align 4 60a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: @"\01?u_d_memptr@@3PQUnspecified@@HA" = global { i32, i32, i32 } 61a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: { i32 0, i32 0, i32 -1 }, align 4 62a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner 63a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknervoid (Single ::*s_f_memptr)(); 64a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknervoid (Multiple::*m_f_memptr)(); 65a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknervoid (Virtual ::*v_f_memptr)(); 66a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: @"\01?s_f_memptr@@3P8Single@@AEXXZA" = global i8* null, align 4 67a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: @"\01?m_f_memptr@@3P8Multiple@@AEXXZA" = global { i8*, i32 } zeroinitializer, align 4 68a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: @"\01?v_f_memptr@@3P8Virtual@@AEXXZA" = global { i8*, i32, i32 } zeroinitializer, align 4 69a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner 7079e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// We can define Unspecified after locking in the inheritance model. 71a06d585468ae9371eb46a69d6180c2a85e0f456eReid Klecknerstruct Unspecified : Multiple, Virtual { 7279e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner void foo(); 7379e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner int u; 7479e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner}; 7579e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner 76f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// Test memptr emission in a constant expression. 77f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknernamespace Const { 78f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknervoid (Single ::*s_f_mp)() = &Single::foo; 79f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknervoid (Multiple ::*m_f_mp)() = &B2::foo; 80f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknervoid (Virtual ::*v_f_mp)() = &Virtual::foo; 81f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknervoid (Unspecified::*u_f_mp)() = &Unspecified::foo; 82f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: @"\01?s_f_mp@Const@@3P8Single@@AEXXZA" = 83f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: global i8* bitcast ({{.*}} @"\01?foo@Single@@QAEXXZ" to i8*), align 4 84f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: @"\01?m_f_mp@Const@@3P8Multiple@@AEXXZA" = 85f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: global { i8*, i32 } { i8* bitcast ({{.*}} @"\01?foo@B2@@QAEXXZ" to i8*), i32 4 }, align 4 86f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: @"\01?v_f_mp@Const@@3P8Virtual@@AEXXZA" = 87f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: global { i8*, i32, i32 } { i8* bitcast ({{.*}} @"\01?foo@Virtual@@QAEXXZ" to i8*), i32 0, i32 0 }, align 4 88f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: @"\01?u_f_mp@Const@@3P8Unspecified@@AEXXZA" = 89a06d585468ae9371eb46a69d6180c2a85e0f456eReid Kleckner// CHECK: global { i8*, i32, i32, i32 } { i8* bitcast ({{.*}} @"\01?foo@Unspecified@@QAEXXZ" to i8*), i32 0, i32 12, i32 0 }, align 4 90f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner} 91f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 92f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknernamespace CastParam { 93f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// This exercises ConstExprEmitter instead of ValueDecl::evaluateValue. The 94f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// extra reinterpret_cast for the parameter type requires more careful folding. 95f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// FIXME: Or does it? If reinterpret_casts are no-ops, we should be able to 96f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// strip them in evaluateValue() and just proceed as normal with an APValue. 97f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerstruct A { 98f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner int a; 99f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner void foo(A *p); 100f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner}; 101f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerstruct B { int b; }; 102f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerstruct C : B, A { int c; }; 103f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 104f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknervoid (A::*ptr1)(void *) = (void (A::*)(void *)) &A::foo; 105f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: @"\01?ptr1@CastParam@@3P8A@1@AEXPAX@ZA" = 106f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: global i8* bitcast (void ({{.*}})* @"\01?foo@A@CastParam@@QAEXPAU12@@Z" to i8*), align 4 107f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 108f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// Try a reinterpret_cast followed by a memptr conversion. 109f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknervoid (C::*ptr2)(void *) = (void (C::*)(void *)) (void (A::*)(void *)) &A::foo; 110f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: @"\01?ptr2@CastParam@@3P8C@1@AEXPAX@ZA" = 111f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: global { i8*, i32 } { i8* bitcast (void ({{.*}})* @"\01?foo@A@CastParam@@QAEXPAU12@@Z" to i8*), i32 4 }, align 4 112f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 113f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknervoid (C::*ptr3)(void *) = (void (C::*)(void *)) (void (A::*)(void *)) (void (A::*)(A *)) 0; 114f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: @"\01?ptr3@CastParam@@3P8C@1@AEXPAX@ZA" = 115f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: global { i8*, i32 } zeroinitializer, align 4 116f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 117f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerstruct D : C { 118f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner virtual void isPolymorphic(); 119f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner int d; 120f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner}; 121f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 122f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// Try a cast that changes the inheritance model. Null for D is 0, but null for 123f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// C is -1. We need the cast to long in order to hit the non-APValue path. 124f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerint C::*ptr4 = (int C::*) (int D::*) (long D::*) 0; 125f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: @"\01?ptr4@CastParam@@3PQC@1@HA" = global i32 -1, align 4 126f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 127f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// MSVC rejects this but we accept it. 128f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerint C::*ptr5 = (int C::*) (long D::*) 0; 129f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: @"\01?ptr5@CastParam@@3PQC@1@HA" = global i32 -1, align 4 130f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner} 131f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 13279e0291be71adb4c38431e27a683faa40bbedc61Reid Klecknerstruct UnspecWithVBPtr; 13379e0291be71adb4c38431e27a683faa40bbedc61Reid Klecknerint UnspecWithVBPtr::*forceUnspecWithVBPtr; 13479e0291be71adb4c38431e27a683faa40bbedc61Reid Klecknerstruct UnspecWithVBPtr : B1, virtual B2 { 13579e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner int u; 13679e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner void foo(); 13779e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner}; 13879e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner 13979e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// Test emitting non-virtual member pointers in a non-constexpr setting. 14079e0291be71adb4c38431e27a683faa40bbedc61Reid Klecknervoid EmitNonVirtualMemberPointers() { 14179e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner void (Single ::*s_f_memptr)() = &Single::foo; 14279e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner void (Multiple ::*m_f_memptr)() = &Multiple::foo; 14379e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner void (Virtual ::*v_f_memptr)() = &Virtual::foo; 14479e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner void (Unspecified::*u_f_memptr)() = &Unspecified::foo; 14579e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner void (UnspecWithVBPtr::*u2_f_memptr)() = &UnspecWithVBPtr::foo; 146f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: define void @"\01?EmitNonVirtualMemberPointers@@YAXXZ"() {{.*}} { 14779e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: alloca i8*, align 4 14879e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: alloca { i8*, i32 }, align 4 14979e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: alloca { i8*, i32, i32 }, align 4 15079e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: alloca { i8*, i32, i32, i32 }, align 4 15179e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: store i8* bitcast (void (%{{.*}}*)* @"\01?foo@Single@@QAEXXZ" to i8*), i8** %{{.*}}, align 4 15279e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: store { i8*, i32 } 15379e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: { i8* bitcast (void (%{{.*}}*)* @"\01?foo@Multiple@@QAEXXZ" to i8*), i32 0 }, 15479e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: { i8*, i32 }* %{{.*}}, align 4 15579e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: store { i8*, i32, i32 } 15679e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: { i8* bitcast (void (%{{.*}}*)* @"\01?foo@Virtual@@QAEXXZ" to i8*), i32 0, i32 0 }, 15779e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: { i8*, i32, i32 }* %{{.*}}, align 4 15879e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: store { i8*, i32, i32, i32 } 159a06d585468ae9371eb46a69d6180c2a85e0f456eReid Kleckner// CHECK: { i8* bitcast (void (%{{.*}}*)* @"\01?foo@Unspecified@@QAEXXZ" to i8*), i32 0, i32 12, i32 0 }, 16079e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: { i8*, i32, i32, i32 }* %{{.*}}, align 4 16179e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: store { i8*, i32, i32, i32 } 16279e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: { i8* bitcast (void (%{{.*}}*)* @"\01?foo@UnspecWithVBPtr@@QAEXXZ" to i8*), 16379e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: i32 0, i32 4, i32 0 }, 16479e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: { i8*, i32, i32, i32 }* %{{.*}}, align 4 16579e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: ret void 16679e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner// CHECK: } 16779e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner} 16879e0291be71adb4c38431e27a683faa40bbedc61Reid Kleckner 169a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Klecknervoid podMemPtrs() { 170a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner int POD::*memptr; 171a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner memptr = &POD::a; 172a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner memptr = &POD::b; 173a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner if (memptr) 174a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner memptr = 0; 175a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// Check that member pointers use the right offsets and that null is -1. 176f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: define void @"\01?podMemPtrs@@YAXXZ"() {{.*}} { 177a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK: %[[memptr:.*]] = alloca i32, align 4 178a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK-NEXT: store i32 0, i32* %[[memptr]], align 4 179a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK-NEXT: store i32 4, i32* %[[memptr]], align 4 180a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK-NEXT: %[[memptr_val:.*]] = load i32* %[[memptr]], align 4 181a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK-NEXT: %{{.*}} = icmp ne i32 %[[memptr_val]], -1 182a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK-NEXT: br i1 %{{.*}}, label %{{.*}}, label %{{.*}} 183a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK: store i32 -1, i32* %[[memptr]], align 4 184a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK: ret void 185a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK: } 186a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner} 187a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner 188a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Klecknervoid polymorphicMemPtrs() { 189a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner int Polymorphic::*memptr; 190a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner memptr = &Polymorphic::a; 191a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner memptr = &Polymorphic::b; 192a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner if (memptr) 193a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner memptr = 0; 194a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// Member pointers for polymorphic classes include the vtable slot in their 195a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// offset and use 0 to represent null. 196f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: define void @"\01?polymorphicMemPtrs@@YAXXZ"() {{.*}} { 197a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK: %[[memptr:.*]] = alloca i32, align 4 198a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK-NEXT: store i32 4, i32* %[[memptr]], align 4 199a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK-NEXT: store i32 8, i32* %[[memptr]], align 4 200a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK-NEXT: %[[memptr_val:.*]] = load i32* %[[memptr]], align 4 201a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK-NEXT: %{{.*}} = icmp ne i32 %[[memptr_val]], 0 202a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK-NEXT: br i1 %{{.*}}, label %{{.*}}, label %{{.*}} 203a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK: store i32 0, i32* %[[memptr]], align 4 204a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK: ret void 205a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner// CHECK: } 206a8a0f769ff4113a7f98c232fb0fc773a65371559Reid Kleckner} 207a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner 208a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerbool nullTestDataUnspecified(int Unspecified::*mp) { 209a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner return mp; 210a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: define zeroext i1 @"\01?nullTestDataUnspecified@@YA_NPQUnspecified@@H@Z"{{.*}} { 211a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %{{.*}} = load { i32, i32, i32 }* %{{.*}}, align 4 212a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: store { i32, i32, i32 } {{.*}} align 4 213a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[mp:.*]] = load { i32, i32, i32 }* %{{.*}}, align 4 214a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[mp0:.*]] = extractvalue { i32, i32, i32 } %[[mp]], 0 215a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[cmp0:.*]] = icmp ne i32 %[[mp0]], 0 216a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[mp1:.*]] = extractvalue { i32, i32, i32 } %[[mp]], 1 217a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[cmp1:.*]] = icmp ne i32 %[[mp1]], 0 218a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[and0:.*]] = and i1 %[[cmp0]], %[[cmp1]] 219a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[mp2:.*]] = extractvalue { i32, i32, i32 } %[[mp]], 2 220a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[cmp2:.*]] = icmp ne i32 %[[mp2]], -1 221a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[and1:.*]] = and i1 %[[and0]], %[[cmp2]] 222a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: ret i1 %[[and1]] 223a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: } 224a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner} 225a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner 226a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerbool nullTestFunctionUnspecified(void (Unspecified::*mp)()) { 227a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner return mp; 228a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: define zeroext i1 @"\01?nullTestFunctionUnspecified@@YA_NP8Unspecified@@AEXXZ@Z"{{.*}} { 229a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %{{.*}} = load { i8*, i32, i32, i32 }* %{{.*}}, align 4 230a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: store { i8*, i32, i32, i32 } {{.*}} align 4 231a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[mp:.*]] = load { i8*, i32, i32, i32 }* %{{.*}}, align 4 232a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[mp0:.*]] = extractvalue { i8*, i32, i32, i32 } %[[mp]], 0 233a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[cmp0:.*]] = icmp ne i8* %[[mp0]], null 234a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: ret i1 %[[cmp0]] 235a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: } 236a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner} 237a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner 238a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerint loadDataMemberPointerVirtual(Virtual *o, int Virtual::*memptr) { 239a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner return o->*memptr; 240a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// Test that we can unpack this aggregate member pointer and load the member 241a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// data pointer. 242a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: define i32 @"\01?loadDataMemberPointerVirtual@@YAHPAUVirtual@@PQ1@H@Z"{{.*}} { 243a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[o:.*]] = load %{{.*}}** %{{.*}}, align 4 24449eef34fdff56114769fe83f0ccb39f8dd94a6e7Reid Kleckner// CHECK: %[[memptr:.*]] = load { i32, i32 }* %{{.*}}, align 4 245a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[memptr0:.*]] = extractvalue { i32, i32 } %[[memptr:.*]], 0 246a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[memptr1:.*]] = extractvalue { i32, i32 } %[[memptr:.*]], 1 247a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[v6:.*]] = bitcast %{{.*}}* %[[o]] to i8* 248a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[vbptr:.*]] = getelementptr inbounds i8* %[[v6]], i32 0 249a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[vbptr_a:.*]] = bitcast i8* %[[vbptr]] to i8** 250a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[vbtable:.*]] = load i8** %[[vbptr_a:.*]] 251a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[v7:.*]] = getelementptr inbounds i8* %[[vbtable]], i32 %[[memptr1]] 252a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[v8:.*]] = bitcast i8* %[[v7]] to i32* 253a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[vbase_offs:.*]] = load i32* %[[v8]] 254a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[v10:.*]] = getelementptr inbounds i8* %[[vbptr]], i32 %[[vbase_offs]] 255a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[offset:.*]] = getelementptr inbounds i8* %[[v10]], i32 %[[memptr0]] 256a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[v11:.*]] = bitcast i8* %[[offset]] to i32* 257a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[v12:.*]] = load i32* %[[v11]] 258a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: ret i32 %[[v12]] 259a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: } 260a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner} 261a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner 262a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknerint loadDataMemberPointerUnspecified(Unspecified *o, int Unspecified::*memptr) { 263a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner return o->*memptr; 264a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// Test that we can unpack this aggregate member pointer and load the member 265a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// data pointer. 266a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: define i32 @"\01?loadDataMemberPointerUnspecified@@YAHPAUUnspecified@@PQ1@H@Z"{{.*}} { 267a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[o:.*]] = load %{{.*}}** %{{.*}}, align 4 26849eef34fdff56114769fe83f0ccb39f8dd94a6e7Reid Kleckner// CHECK: %[[memptr:.*]] = load { i32, i32, i32 }* %{{.*}}, align 4 269a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[memptr0:.*]] = extractvalue { i32, i32, i32 } %[[memptr:.*]], 0 270a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[memptr1:.*]] = extractvalue { i32, i32, i32 } %[[memptr:.*]], 1 271a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[memptr2:.*]] = extractvalue { i32, i32, i32 } %[[memptr:.*]], 2 272a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[base:.*]] = bitcast %{{.*}}* %[[o]] to i8* 273a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[is_vbase:.*]] = icmp ne i32 %[[memptr2]], 0 274a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: br i1 %[[is_vbase]], label %[[vadjust:.*]], label %[[skip:.*]] 275a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// 27649eef34fdff56114769fe83f0ccb39f8dd94a6e7Reid Kleckner// CHECK: [[vadjust]] 277a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[vbptr:.*]] = getelementptr inbounds i8* %[[base]], i32 %[[memptr1]] 278a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[vbptr_a:.*]] = bitcast i8* %[[vbptr]] to i8** 279a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[vbtable:.*]] = load i8** %[[vbptr_a:.*]] 280a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[v7:.*]] = getelementptr inbounds i8* %[[vbtable]], i32 %[[memptr2]] 281a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[v8:.*]] = bitcast i8* %[[v7]] to i32* 282a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[vbase_offs:.*]] = load i32* %[[v8]] 283a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[base_adj:.*]] = getelementptr inbounds i8* %[[vbptr]], i32 %[[vbase_offs]] 284a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// 28549eef34fdff56114769fe83f0ccb39f8dd94a6e7Reid Kleckner// CHECK: [[skip]] 28649eef34fdff56114769fe83f0ccb39f8dd94a6e7Reid Kleckner// CHECK: %[[new_base:.*]] = phi i8* [ %[[base]], %{{.*}} ], [ %[[base_adj]], %[[vadjust]] ] 287a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[offset:.*]] = getelementptr inbounds i8* %[[new_base]], i32 %[[memptr0]] 288a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[v11:.*]] = bitcast i8* %[[offset]] to i32* 289a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[v12:.*]] = load i32* %[[v11]] 290a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: ret i32 %[[v12]] 291a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: } 292a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner} 293a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner 294a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknervoid callMemberPointerSingle(Single *o, void (Single::*memptr)()) { 295a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner (o->*memptr)(); 296a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// Just look for an indirect thiscall. 297f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: define void @"\01?callMemberPointerSingle@@{{.*}} {{.*}} { 298a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: call x86_thiscallcc void %{{.*}}(%{{.*}} %{{.*}}) 299a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: ret void 300a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: } 301a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner} 302a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner 303a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknervoid callMemberPointerMultiple(Multiple *o, void (Multiple::*memptr)()) { 304a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner (o->*memptr)(); 305f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: define void @"\01?callMemberPointerMultiple@@{{.*}} { 306a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[memptr0:.*]] = extractvalue { i8*, i32 } %{{.*}}, 0 307a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[memptr1:.*]] = extractvalue { i8*, i32 } %{{.*}}, 1 308a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[this_adjusted:.*]] = getelementptr inbounds i8* %{{.*}}, i32 %[[memptr1]] 309a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[this:.*]] = bitcast i8* %[[this_adjusted]] to {{.*}} 310a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[fptr:.*]] = bitcast i8* %[[memptr0]] to {{.*}} 311a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: call x86_thiscallcc void %[[fptr]](%{{.*}} %[[this]]) 312a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: ret void 313a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: } 314a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner} 315a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner 316a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Klecknervoid callMemberPointerVirtualBase(Virtual *o, void (Virtual::*memptr)()) { 317a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner (o->*memptr)(); 318a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// This shares a lot with virtual data member pointers. 319f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: define void @"\01?callMemberPointerVirtualBase@@{{.*}} { 320a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[memptr0:.*]] = extractvalue { i8*, i32, i32 } %{{.*}}, 0 321a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[memptr1:.*]] = extractvalue { i8*, i32, i32 } %{{.*}}, 1 322a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[memptr2:.*]] = extractvalue { i8*, i32, i32 } %{{.*}}, 2 323a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[vbptr:.*]] = getelementptr inbounds i8* %{{.*}}, i32 0 324a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[vbptr_a:.*]] = bitcast i8* %[[vbptr]] to i8** 325a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[vbtable:.*]] = load i8** %[[vbptr_a:.*]] 326a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[v7:.*]] = getelementptr inbounds i8* %[[vbtable]], i32 %[[memptr2]] 327a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[v8:.*]] = bitcast i8* %[[v7]] to i32* 328a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[vbase_offs:.*]] = load i32* %[[v8]] 329a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[v10:.*]] = getelementptr inbounds i8* %[[vbptr]], i32 %[[vbase_offs]] 330a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[this_adjusted:.*]] = getelementptr inbounds i8* %[[v10]], i32 %[[memptr1]] 331a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[fptr:.*]] = bitcast i8* %[[memptr0]] to void ({{.*}}) 332a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: %[[this:.*]] = bitcast i8* %[[this_adjusted]] to {{.*}} 333a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: call x86_thiscallcc void %[[fptr]](%{{.*}} %[[this]]) 334a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: ret void 335a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner// CHECK: } 336a3609b0c7685346308ed2c8022f94949bbfe7cdfReid Kleckner} 3373d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner 3383d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Klecknerbool compareSingleFunctionMemptr(void (Single::*l)(), void (Single::*r)()) { 3393d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner return l == r; 3403d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// Should only be one comparison here. 3413d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: define zeroext i1 @"\01?compareSingleFunctionMemptr@@YA_NP8Single@@AEXXZ0@Z"{{.*}} { 3423d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK-NOT: icmp 3433d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[r:.*]] = icmp eq 3443d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK-NOT: icmp 3453d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: ret i1 %[[r]] 3463d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: } 3473d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner} 3483d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner 3493d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Klecknerbool compareNeqSingleFunctionMemptr(void (Single::*l)(), void (Single::*r)()) { 3503d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner return l != r; 3513d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// Should only be one comparison here. 3523d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: define zeroext i1 @"\01?compareNeqSingleFunctionMemptr@@YA_NP8Single@@AEXXZ0@Z"{{.*}} { 3533d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK-NOT: icmp 3543d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[r:.*]] = icmp ne 3553d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK-NOT: icmp 3563d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: ret i1 %[[r]] 3573d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: } 3583d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner} 3593d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner 3603d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Klecknerbool unspecFuncMemptrEq(void (Unspecified::*l)(), void (Unspecified::*r)()) { 3613d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner return l == r; 3623d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: define zeroext i1 @"\01?unspecFuncMemptrEq@@YA_NP8Unspecified@@AEXXZ0@Z"{{.*}} { 3633d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[lhs0:.*]] = extractvalue { i8*, i32, i32, i32 } %[[l:.*]], 0 3643d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[r:.*]], 0 3653d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[cmp0:.*]] = icmp eq i8* %[[lhs0]], %{{.*}} 3663d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[l]], 1 3673d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[r]], 1 3683d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[cmp1:.*]] = icmp eq i32 3693d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[l]], 2 3703d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[r]], 2 3713d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[cmp2:.*]] = icmp eq i32 3723d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[res12:.*]] = and i1 %[[cmp1]], %[[cmp2]] 3733d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[l]], 3 3743d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[r]], 3 3753d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[cmp3:.*]] = icmp eq i32 3763d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[res123:.*]] = and i1 %[[res12]], %[[cmp3]] 3773d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[iszero:.*]] = icmp eq i8* %[[lhs0]], null 3783d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[bits_or_null:.*]] = or i1 %[[res123]], %[[iszero]] 3793d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = and i1 %[[bits_or_null]], %[[cmp0]] 3803d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: ret i1 %{{.*}} 3813d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: } 3823d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner} 3833d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner 3843d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Klecknerbool unspecFuncMemptrNeq(void (Unspecified::*l)(), void (Unspecified::*r)()) { 3853d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner return l != r; 3863d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: define zeroext i1 @"\01?unspecFuncMemptrNeq@@YA_NP8Unspecified@@AEXXZ0@Z"{{.*}} { 3873d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[lhs0:.*]] = extractvalue { i8*, i32, i32, i32 } %[[l:.*]], 0 3883d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[r:.*]], 0 3893d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[cmp0:.*]] = icmp ne i8* %[[lhs0]], %{{.*}} 3903d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[l]], 1 3913d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[r]], 1 3923d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[cmp1:.*]] = icmp ne i32 3933d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[l]], 2 3943d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[r]], 2 3953d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[cmp2:.*]] = icmp ne i32 3963d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[res12:.*]] = or i1 %[[cmp1]], %[[cmp2]] 3973d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[l]], 3 3983d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = extractvalue { i8*, i32, i32, i32 } %[[r]], 3 3993d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[cmp3:.*]] = icmp ne i32 4003d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[res123:.*]] = or i1 %[[res12]], %[[cmp3]] 4013d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[iszero:.*]] = icmp ne i8* %[[lhs0]], null 4023d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %[[bits_or_null:.*]] = and i1 %[[res123]], %[[iszero]] 4033d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: %{{.*}} = or i1 %[[bits_or_null]], %[[cmp0]] 4043d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: ret i1 %{{.*}} 4053d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: } 4063d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner} 4073d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner 4083d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Klecknerbool unspecDataMemptrEq(int Unspecified::*l, int Unspecified::*r) { 4093d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner return l == r; 4103d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: define zeroext i1 @"\01?unspecDataMemptrEq@@YA_NPQUnspecified@@H0@Z"{{.*}} { 4113d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: extractvalue { i32, i32, i32 } %{{.*}}, 0 4123d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: extractvalue { i32, i32, i32 } %{{.*}}, 0 4133d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: icmp eq i32 4143d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: extractvalue { i32, i32, i32 } %{{.*}}, 1 4153d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: extractvalue { i32, i32, i32 } %{{.*}}, 1 4163d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: icmp eq i32 4173d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: extractvalue { i32, i32, i32 } %{{.*}}, 2 4183d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: extractvalue { i32, i32, i32 } %{{.*}}, 2 4193d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: icmp eq i32 4203d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: and i1 4213d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: and i1 4223d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: ret i1 4233d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner// CHECK: } 4243d2f000df9311bfccb6d2ac350be3d3efa5a412bReid Kleckner} 425f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 426f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknervoid (Multiple::*convertB2FuncToMultiple(void (B2::*mp)()))() { 427f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner return mp; 428f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: define i64 @"\01?convertB2FuncToMultiple@@YAP8Multiple@@AEXXZP8B2@@AEXXZ@Z"{{.*}} { 429f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: store 430f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: %[[mp:.*]] = load i8** %{{.*}}, align 4 431f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: icmp ne i8* %[[mp]], null 432f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: br i1 %{{.*}} label %{{.*}}, label %{{.*}} 433f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// 434f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// memptr.convert: ; preds = %entry 435f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: insertvalue { i8*, i32 } undef, i8* %[[mp]], 0 436f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: insertvalue { i8*, i32 } %{{.*}}, i32 4, 1 437f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: br label 438f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// 439f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// memptr.converted: ; preds = %memptr.convert, %entry 440f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: phi { i8*, i32 } [ zeroinitializer, %{{.*}} ], [ {{.*}} ] 441f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: } 442f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner} 443f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 444f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknervoid (B2::*convertMultipleFuncToB2(void (Multiple::*mp)()))() { 445f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// FIXME: cl emits warning C4407 on this code because of the representation 446f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// change. We might want to do the same. 447f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner return static_cast<void (B2::*)()>(mp); 448f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// FIXME: We should return i8* instead of i32 here. The ptrtoint cast prevents 449f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// LLVM from optimizing away the branch. This is likely a bug in 450f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// lib/CodeGen/TargetInfo.cpp with how we classify memptr types for returns. 451f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// 452f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: define i32 @"\01?convertMultipleFuncToB2@@YAP8B2@@AEXXZP8Multiple@@AEXXZ@Z"{{.*}} { 453f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: store 454f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: %[[src:.*]] = load { i8*, i32 }* %{{.*}}, align 4 455f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: extractvalue { i8*, i32 } %[[src]], 0 456f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: icmp ne i8* %{{.*}}, null 457f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: br i1 %{{.*}}, label %{{.*}}, label %{{.*}} 458f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// 459f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// memptr.convert: ; preds = %entry 460f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: %[[fp:.*]] = extractvalue { i8*, i32 } %[[src]], 0 461f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: br label 462f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// 463f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// memptr.converted: ; preds = %memptr.convert, %entry 464f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: phi i8* [ null, %{{.*}} ], [ %[[fp]], %{{.*}} ] 465f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: } 466f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner} 467f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 468f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknernamespace Test1 { 469f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 470f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerstruct A { int a; }; 471f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerstruct B { int b; }; 472f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerstruct C : virtual A { int c; }; 473f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerstruct D : B, C { int d; }; 474f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 475f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknervoid (D::*convertCToD(void (C::*mp)()))() { 476f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner return mp; 477f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: define void @"\01?convertCToD@Test1@@YAP8D@1@AEXXZP8C@1@AEXXZ@Z"{{.*}} { 478f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: store 479f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: load { i8*, i32, i32 }* %{{.*}}, align 4 480f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: extractvalue { i8*, i32, i32 } %{{.*}}, 0 481f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: icmp ne i8* %{{.*}}, null 482f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: br i1 %{{.*}}, label %{{.*}}, label %{{.*}} 483f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// 484f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// memptr.convert: ; preds = %entry 485f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: extractvalue { i8*, i32, i32 } %{{.*}}, 0 486f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: extractvalue { i8*, i32, i32 } %{{.*}}, 1 487f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: extractvalue { i8*, i32, i32 } %{{.*}}, 2 488f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: %[[adj:.*]] = add nsw i32 %{{.*}}, 4 489f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: insertvalue { i8*, i32, i32 } undef, i8* {{.*}}, 0 490f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: insertvalue { i8*, i32, i32 } {{.*}}, i32 %[[adj]], 1 491f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: insertvalue { i8*, i32, i32 } {{.*}}, i32 {{.*}}, 2 492f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: br label 493f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// 494f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// memptr.converted: ; preds = %memptr.convert, %entry 495f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: phi { i8*, i32, i32 } [ { i8* null, i32 0, i32 -1 }, {{.*}} ], [ {{.*}} ] 496f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: } 497f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner} 498f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 499f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner} 500f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 501f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknernamespace Test2 { 502f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// Test that we dynamically convert between different null reps. 503f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 504f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerstruct A { int a; }; 505f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerstruct B : A { int b; }; 506f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerstruct C : A { 507f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner int c; 508f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner virtual void hasVfPtr(); 509f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner}; 510f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 511f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerint A::*reinterpret(int B::*mp) { 512f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner return reinterpret_cast<int A::*>(mp); 513f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: define i32 @"\01?reinterpret@Test2@@YAPQA@1@HPQB@1@H@Z"{{.*}} { 514f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK-NOT: select 515f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: ret i32 516f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: } 517f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner} 518f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 519f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Klecknerint A::*reinterpret(int C::*mp) { 520f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner return reinterpret_cast<int A::*>(mp); 521f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: define i32 @"\01?reinterpret@Test2@@YAPQA@1@HPQC@1@H@Z"{{.*}} { 522f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: %[[mp:.*]] = load i32* 523f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: %[[cmp:.*]] = icmp ne i32 %[[mp]], 0 524f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: select i1 %[[cmp]], i32 %[[mp]], i32 -1 525f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner// CHECK: } 526f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner} 527f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner 528f632730ffb0b8ca531a35e737b29cc9f9774ca1dReid Kleckner} 529