pointers-to-data-members.cpp revision e70ffd631179c15d358838464425e3464cf05a98
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 = global %struct.anon { i64 -1 } 22 struct { 23 int A::*a; 24 } sa; 25 26 // CHECK: @_ZN8ZeroInit3ssaE = 27 // CHECK: [2 x i64] [i64 -1, i64 -1] 28 struct { 29 int A::*aa[2]; 30 } ssa[2]; 31 32 // CHECK: @_ZN8ZeroInit2ssE = global %1 { %struct.anon { i64 -1 } } 33 struct { 34 struct { 35 int A::*pa; 36 } s; 37 } ss; 38 39 struct A { 40 int A::*a; 41 int b; 42 }; 43 44 struct B { 45 A a[10]; 46 char c; 47 int B::*b; 48 }; 49 50 struct C : A, B { int j; }; 51 // 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 } 52 C c; 53} 54 55// PR5674 56namespace PR5674 { 57 // CHECK: @_ZN6PR56742pbE = global i64 4 58 int A::*pb = &A::b; 59} 60 61// Casts. 62namespace Casts { 63 64int A::*pa; 65int C::*pc; 66 67void f() { 68 // CHECK: store i64 -1, i64* @_ZN5Casts2paE 69 pa = 0; 70 71 // CHECK: [[ADJ:%[a-zA-Z0-9\.]+]] = add nsw i64 {{.*}}, 4 72 // CHECK: store i64 [[ADJ]], i64* @_ZN5Casts2pcE 73 pc = pa; 74 75 // CHECK: [[ADJ:%[a-zA-Z0-9\.]+]] = sub nsw i64 {{.*}}, 4 76 // CHECK: store i64 [[ADJ]], i64* @_ZN5Casts2paE 77 pa = static_cast<int A::*>(pc); 78} 79 80} 81 82// Comparisons 83namespace Comparisons { 84 void f() { 85 int A::*a; 86 87 // CHECK: icmp ne i64 {{.*}}, -1 88 if (a) { } 89 90 // CHECK: icmp ne i64 {{.*}}, -1 91 if (a != 0) { } 92 93 // CHECK: icmp ne i64 -1, {{.*}} 94 if (0 != a) { } 95 96 // CHECK: icmp eq i64 {{.*}}, -1 97 if (a == 0) { } 98 99 // CHECK: icmp eq i64 -1, {{.*}} 100 if (0 == a) { } 101 } 102} 103 104namespace ValueInit { 105 106struct A { 107 int A::*a; 108 109 char c; 110 111 A(); 112}; 113 114// CHECK: define void @_ZN9ValueInit1AC2Ev 115// CHECK: store i64 -1, i64* 116// CHECK: ret void 117A::A() : a() {} 118 119} 120 121namespace PR7139 { 122 123struct pair { 124 int first; 125 int second; 126}; 127 128typedef int pair::*ptr_to_member_type; 129 130struct ptr_to_member_struct { 131 ptr_to_member_type data; 132 int i; 133}; 134 135struct A { 136 ptr_to_member_struct a; 137 138 A() : a() {} 139}; 140 141// CHECK-O3: define zeroext i1 @_ZN6PR71395checkEv() nounwind readnone 142bool check() { 143 // CHECK-O3: ret i1 true 144 return A().a.data == 0; 145} 146 147// CHECK-O3: define zeroext i1 @_ZN6PR71396check2Ev() nounwind readnone 148bool check2() { 149 // CHECK-O3: ret i1 true 150 return ptr_to_member_type() == 0; 151} 152 153} 154 155namespace VirtualBases { 156 157struct A { 158 char c; 159 int A::*i; 160}; 161 162// FIXME: A::i should be initialized to -1 here. 163struct B : virtual A { }; 164B b; 165 166// FIXME: A::i should be initialized to -1 here. 167struct C : virtual A { int A::*i; }; 168C c; 169 170// FIXME: C::A::i should be initialized to -1 here. 171struct D : C { int A::*i; }; 172D d; 173 174} 175 176namespace Test1 { 177 178// Don't crash when A contains a bit-field. 179struct A { 180 int A::* a; 181 int b : 10; 182}; 183A a; 184 185} 186