pointers-to-data-members.cpp revision c5f657fe308f22243f674fc1dfbe24915944d8bf
1// RUN: %clang_cc1 %s -emit-llvm -o - -triple=x86_64-apple-darwin10 | FileCheck %s 2// RUN: %clang_cc1 %s -emit-llvm -o - -triple=x86_64-apple-darwin10 -O3 | FileCheck --check-prefix=CHECK-O3 %s 3struct A { int a; int b; }; 4struct B { int b; }; 5struct C : B, A { }; 6 7// Zero init. 8namespace ZeroInit { 9 // CHECK: @_ZN8ZeroInit1aE = global i64 -1 10 int A::* a; 11 12 // CHECK: @_ZN8ZeroInit2aaE = global [2 x i64] [i64 -1, i64 -1] 13 int A::* aa[2]; 14 15 // CHECK: @_ZN8ZeroInit3aaaE = global [2 x [2 x i64]] {{\[}}[2 x i64] [i64 -1, i64 -1], [2 x i64] [i64 -1, i64 -1]] 16 int A::* aaa[2][2]; 17 18 // CHECK: @_ZN8ZeroInit1bE = global i64 -1, 19 int A::* b = 0; 20 21 // CHECK: @_ZN8ZeroInit2saE = internal global %struct.anon { i64 -1 } 22 struct { 23 int A::*a; 24 } sa; 25 void test_sa() { (void) sa; } // force emission 26 27 // CHECK: @_ZN8ZeroInit3ssaE = internal 28 // CHECK: [2 x i64] [i64 -1, i64 -1] 29 struct { 30 int A::*aa[2]; 31 } ssa[2]; 32 void test_ssa() { (void) ssa; } 33 34 // CHECK: @_ZN8ZeroInit2ssE = internal global %1 { %struct.anon { i64 -1 } } 35 struct { 36 struct { 37 int A::*pa; 38 } s; 39 } ss; 40 void test_ss() { (void) ss; } 41 42 struct A { 43 int A::*a; 44 int b; 45 }; 46 47 struct B { 48 A a[10]; 49 char c; 50 int B::*b; 51 }; 52 53 struct C : A, B { int j; }; 54 // CHECK: @_ZN8ZeroInit1cE = global %"struct.ZeroInit::C" { [16 x i8] c"\FF\FF\FF\FF\FF\FF\FF\FF\00\00\00\00\00\00\00\00", [176 x i8] c"\FF\FF\FF\FF\FF\FF\FF\FF\00\00\00\00\00\00\00\00\FF\FF\FF\FF\FF\FF\FF\FF\00\00\00\00\00\00\00\00\FF\FF\FF\FF\FF\FF\FF\FF\00\00\00\00\00\00\00\00\FF\FF\FF\FF\FF\FF\FF\FF\00\00\00\00\00\00\00\00\FF\FF\FF\FF\FF\FF\FF\FF\00\00\00\00\00\00\00\00\FF\FF\FF\FF\FF\FF\FF\FF\00\00\00\00\00\00\00\00\FF\FF\FF\FF\FF\FF\FF\FF\00\00\00\00\00\00\00\00\FF\FF\FF\FF\FF\FF\FF\FF\00\00\00\00\00\00\00\00\FF\FF\FF\FF\FF\FF\FF\FF\00\00\00\00\00\00\00\00\FF\FF\FF\FF\FF\FF\FF\FF\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\FF\FF\FF\FF\FF\FF\FF\FF", i32 0, [4 x i8] zeroinitializer } 55 C c; 56} 57 58// PR5674 59namespace PR5674 { 60 // CHECK: @_ZN6PR56742pbE = global i64 4 61 int A::*pb = &A::b; 62} 63 64// Casts. 65namespace Casts { 66 67int A::*pa; 68int C::*pc; 69 70void f() { 71 // CHECK: store i64 -1, i64* @_ZN5Casts2paE 72 pa = 0; 73 74 // CHECK-NEXT: [[TMP:%.*]] = load i64* @_ZN5Casts2paE, align 8 75 // CHECK-NEXT: [[ADJ:%.*]] = add nsw i64 [[TMP]], 4 76 // CHECK-NEXT: [[ISNULL:%.*]] = icmp eq i64 [[TMP]], -1 77 // CHECK-NEXT: [[RES:%.*]] = select i1 [[ISNULL]], i64 [[TMP]], i64 [[ADJ]] 78 // CHECK-NEXT: store i64 [[RES]], i64* @_ZN5Casts2pcE 79 pc = pa; 80 81 // CHECK-NEXT: [[TMP:%.*]] = load i64* @_ZN5Casts2pcE, align 8 82 // CHECK-NEXT: [[ADJ:%.*]] = sub nsw i64 [[TMP]], 4 83 // CHECK-NEXT: [[ISNULL:%.*]] = icmp eq i64 [[TMP]], -1 84 // CHECK-NEXT: [[RES:%.*]] = select i1 [[ISNULL]], i64 [[TMP]], i64 [[ADJ]] 85 // CHECK-NEXT: store i64 [[RES]], i64* @_ZN5Casts2paE 86 pa = static_cast<int A::*>(pc); 87} 88 89} 90 91// Comparisons 92namespace Comparisons { 93 void f() { 94 int A::*a; 95 96 // CHECK: icmp ne i64 {{.*}}, -1 97 if (a) { } 98 99 // CHECK: icmp ne i64 {{.*}}, -1 100 if (a != 0) { } 101 102 // CHECK: icmp ne i64 -1, {{.*}} 103 if (0 != a) { } 104 105 // CHECK: icmp eq i64 {{.*}}, -1 106 if (a == 0) { } 107 108 // CHECK: icmp eq i64 -1, {{.*}} 109 if (0 == a) { } 110 } 111} 112 113namespace ValueInit { 114 115struct A { 116 int A::*a; 117 118 char c; 119 120 A(); 121}; 122 123// CHECK: define unnamed_addr void @_ZN9ValueInit1AC2Ev 124// CHECK: store i64 -1, i64* 125// CHECK: ret void 126A::A() : a() {} 127 128} 129 130namespace PR7139 { 131 132struct pair { 133 int first; 134 int second; 135}; 136 137typedef int pair::*ptr_to_member_type; 138 139struct ptr_to_member_struct { 140 ptr_to_member_type data; 141 int i; 142}; 143 144struct A { 145 ptr_to_member_struct a; 146 147 A() : a() {} 148}; 149 150// CHECK-O3: define zeroext i1 @_ZN6PR71395checkEv() nounwind readnone 151bool check() { 152 // CHECK-O3: ret i1 true 153 return A().a.data == 0; 154} 155 156// CHECK-O3: define zeroext i1 @_ZN6PR71396check2Ev() nounwind readnone 157bool check2() { 158 // CHECK-O3: ret i1 true 159 return ptr_to_member_type() == 0; 160} 161 162} 163 164namespace VirtualBases { 165 166struct A { 167 char c; 168 int A::*i; 169}; 170 171// FIXME: A::i should be initialized to -1 here. 172struct B : virtual A { }; 173B b; 174 175// FIXME: A::i should be initialized to -1 here. 176struct C : virtual A { int A::*i; }; 177C c; 178 179// FIXME: C::A::i should be initialized to -1 here. 180struct D : C { int A::*i; }; 181D d; 182 183} 184 185namespace Test1 { 186 187// Don't crash when A contains a bit-field. 188struct A { 189 int A::* a; 190 int b : 10; 191}; 192A a; 193 194} 195 196namespace BoolPtrToMember { 197 struct X { 198 bool member; 199 }; 200 201 // CHECK: define i8* @_ZN15BoolPtrToMember1fERNS_1XEMS0_b 202 bool &f(X &x, bool X::*member) { 203 // CHECK: {{bitcast.* to i8\*}} 204 // CHECK-NEXT: getelementptr inbounds i8* 205 // CHECK-NEXT: ret i8* 206 return x.*member; 207 } 208} 209 210namespace PR8507 { 211 212struct S; 213void f(S* p, double S::*pm) { 214 if (0 < p->*pm) { 215 } 216} 217 218} 219 220