test/CodeGenCXX/pointers-to-data-members.cpp

   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
   3 struct A { int a; int b; };
   4 struct B { int b; };
   5 struct C : B, A { };
   6
   7 // Zero init.
   8 namespace 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
  59 namespace PR5674 {
  60   // CHECK: @_ZN6PR56742pbE = global i64 4
  61   int A::*pb = &A::b;
  62 }
  63
  64 // Casts.
  65 namespace Casts {
  66
  67 int A::*pa;
  68 int C::*pc;
  69
  70 void 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
  92 namespace 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
 113 namespace ValueInit {
 114
 115 struct 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
 126 A::A() : a() {}
 127
 128 }
 129
 130 namespace PR7139 {
 131
 132 struct pair {
 133   int first;
 134   int second;
 135 };
 136
 137 typedef int pair::*ptr_to_member_type;
 138
 139 struct ptr_to_member_struct {
 140   ptr_to_member_type data;
 141   int i;
 142 };
 143
 144 struct A {
 145   ptr_to_member_struct a;
 146
 147   A() : a() {}
 148 };
 149
 150 // CHECK-O3: define zeroext i1 @_ZN6PR71395checkEv() nounwind readnone
 151 bool check() {
 152   // CHECK-O3: ret i1 true
 153   return A().a.data == 0;
 154 }
 155
 156 // CHECK-O3: define zeroext i1 @_ZN6PR71396check2Ev() nounwind readnone
 157 bool check2() {
 158   // CHECK-O3: ret i1 true
 159   return ptr_to_member_type() == 0;
 160 }
 161
 162 }
 163
 164 namespace VirtualBases {
 165
 166 struct A {
 167   char c;
 168   int A::*i;
 169 };
 170
 171 // FIXME: A::i should be initialized to -1 here.
 172 struct B : virtual A { };
 173 B b;
 174
 175 // FIXME: A::i should be initialized to -1 here.
 176 struct C : virtual A { int A::*i; };
 177 C c;
 178
 179 // FIXME: C::A::i should be initialized to -1 here.
 180 struct D : C { int A::*i; };
 181 D d;
 182
 183 }
 184
 185 namespace Test1 {
 186
 187 // Don't crash when A contains a bit-field.
 188 struct A {
 189   int A::* a;
 190   int b : 10;
 191 };
 192 A a;
 193
 194 }
 195
 196 namespace 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
 210 namespace PR8507 {
 211
 212 struct S;
 213 void f(S* p, double S::*pm) {
 214   if (0 < p->*pm) {
 215   }
 216 }
 217
 218 }
 219