John McCall | 9b7da1c | 2011-02-15 06:40:56 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 %s -emit-llvm -o %t.ll -triple=x86_64-apple-darwin10 |
| 2 | // RUN: FileCheck %s < %t.ll |
| 3 | // RUN: FileCheck -check-prefix=CHECK-GLOBAL %s < %t.ll |
| 4 | // RUN: %clang_cc1 %s -emit-llvm -o %t-opt.ll -triple=x86_64-apple-darwin10 -O3 |
| 5 | // RUN: FileCheck --check-prefix=CHECK-O3 %s < %t-opt.ll |
| 6 | |
Anders Carlsson | 45147d0 | 2010-02-02 03:37:46 +0000 | [diff] [blame] | 7 | struct A { int a; int b; }; |
Eli Friedman | 9b37274 | 2009-11-27 04:56:40 +0000 | [diff] [blame] | 8 | struct B { int b; }; |
| 9 | struct C : B, A { }; |
| 10 | |
Anders Carlsson | 63b071f | 2010-02-02 03:32:35 +0000 | [diff] [blame] | 11 | // Zero init. |
| 12 | namespace ZeroInit { |
John McCall | 9b7da1c | 2011-02-15 06:40:56 +0000 | [diff] [blame] | 13 | // CHECK-GLOBAL: @_ZN8ZeroInit1aE = global i64 -1 |
Anders Carlsson | 63b071f | 2010-02-02 03:32:35 +0000 | [diff] [blame] | 14 | int A::* a; |
| 15 | |
John McCall | 9b7da1c | 2011-02-15 06:40:56 +0000 | [diff] [blame] | 16 | // CHECK-GLOBAL: @_ZN8ZeroInit2aaE = global [2 x i64] [i64 -1, i64 -1] |
Anders Carlsson | 63b071f | 2010-02-02 03:32:35 +0000 | [diff] [blame] | 17 | int A::* aa[2]; |
| 18 | |
John McCall | 9b7da1c | 2011-02-15 06:40:56 +0000 | [diff] [blame] | 19 | // CHECK-GLOBAL: @_ZN8ZeroInit3aaaE = global [2 x [2 x i64]] {{\[}}[2 x i64] [i64 -1, i64 -1], [2 x i64] [i64 -1, i64 -1]] |
Anders Carlsson | 63b071f | 2010-02-02 03:32:35 +0000 | [diff] [blame] | 20 | int A::* aaa[2][2]; |
| 21 | |
John McCall | 9b7da1c | 2011-02-15 06:40:56 +0000 | [diff] [blame] | 22 | // CHECK-GLOBAL: @_ZN8ZeroInit1bE = global i64 -1, |
Anders Carlsson | 63b071f | 2010-02-02 03:32:35 +0000 | [diff] [blame] | 23 | int A::* b = 0; |
Anders Carlsson | 2c12d03 | 2010-02-02 05:17:25 +0000 | [diff] [blame] | 24 | |
Chris Lattner | cd87d1e | 2011-07-12 05:53:08 +0000 | [diff] [blame] | 25 | // CHECK-GLOBAL: @_ZN8ZeroInit2saE = internal global %struct.anon { i64 -1 } |
Anders Carlsson | 2c12d03 | 2010-02-02 05:17:25 +0000 | [diff] [blame] | 26 | struct { |
| 27 | int A::*a; |
| 28 | } sa; |
John McCall | 1fb0caa | 2010-10-22 21:05:15 +0000 | [diff] [blame] | 29 | void test_sa() { (void) sa; } // force emission |
Anders Carlsson | 2c12d03 | 2010-02-02 05:17:25 +0000 | [diff] [blame] | 30 | |
John McCall | 9b7da1c | 2011-02-15 06:40:56 +0000 | [diff] [blame] | 31 | // CHECK-GLOBAL: @_ZN8ZeroInit3ssaE = internal |
| 32 | // CHECK-GLOBAL: [2 x i64] [i64 -1, i64 -1] |
Anders Carlsson | 2c12d03 | 2010-02-02 05:17:25 +0000 | [diff] [blame] | 33 | struct { |
| 34 | int A::*aa[2]; |
| 35 | } ssa[2]; |
John McCall | 1fb0caa | 2010-10-22 21:05:15 +0000 | [diff] [blame] | 36 | void test_ssa() { (void) ssa; } |
Anders Carlsson | 2c12d03 | 2010-02-02 05:17:25 +0000 | [diff] [blame] | 37 | |
Chris Lattner | cd87d1e | 2011-07-12 05:53:08 +0000 | [diff] [blame] | 38 | // CHECK-GLOBAL: @_ZN8ZeroInit2ssE = internal global %struct.anon.1 { %struct.anon.2 { i64 -1 } } |
Anders Carlsson | 2c12d03 | 2010-02-02 05:17:25 +0000 | [diff] [blame] | 39 | struct { |
| 40 | struct { |
| 41 | int A::*pa; |
| 42 | } s; |
| 43 | } ss; |
John McCall | 1fb0caa | 2010-10-22 21:05:15 +0000 | [diff] [blame] | 44 | void test_ss() { (void) ss; } |
Anders Carlsson | a83fb4b | 2010-05-18 16:51:41 +0000 | [diff] [blame] | 45 | |
| 46 | struct A { |
| 47 | int A::*a; |
| 48 | int b; |
| 49 | }; |
| 50 | |
| 51 | struct B { |
| 52 | A a[10]; |
| 53 | char c; |
| 54 | int B::*b; |
| 55 | }; |
| 56 | |
| 57 | struct C : A, B { int j; }; |
Chris Lattner | 9cbe4f0 | 2011-07-09 17:41:47 +0000 | [diff] [blame] | 58 | // CHECK-GLOBAL: @_ZN8ZeroInit1cE = global {{%.*}} { %"struct.ZeroInit::A" { i64 -1, i32 0 }, %"struct.ZeroInit::B" { [10 x %"struct.ZeroInit::A"] [%"struct.ZeroInit::A" { i64 -1, i32 0 }, %"struct.ZeroInit::A" { i64 -1, i32 0 }, %"struct.ZeroInit::A" { i64 -1, i32 0 }, %"struct.ZeroInit::A" { i64 -1, i32 0 }, %"struct.ZeroInit::A" { i64 -1, i32 0 }, %"struct.ZeroInit::A" { i64 -1, i32 0 }, %"struct.ZeroInit::A" { i64 -1, i32 0 }, %"struct.ZeroInit::A" { i64 -1, i32 0 }, %"struct.ZeroInit::A" { i64 -1, i32 0 }, %"struct.ZeroInit::A" { i64 -1, i32 0 }], i8 0, i64 -1 }, i32 0 }, align 8 |
Anders Carlsson | a83fb4b | 2010-05-18 16:51:41 +0000 | [diff] [blame] | 59 | C c; |
Anders Carlsson | 45147d0 | 2010-02-02 03:37:46 +0000 | [diff] [blame] | 60 | } |
Anders Carlsson | 63b071f | 2010-02-02 03:32:35 +0000 | [diff] [blame] | 61 | |
Anders Carlsson | 45147d0 | 2010-02-02 03:37:46 +0000 | [diff] [blame] | 62 | // PR5674 |
| 63 | namespace PR5674 { |
John McCall | 9b7da1c | 2011-02-15 06:40:56 +0000 | [diff] [blame] | 64 | // CHECK-GLOBAL: @_ZN6PR56742pbE = global i64 4 |
Anders Carlsson | 45147d0 | 2010-02-02 03:37:46 +0000 | [diff] [blame] | 65 | int A::*pb = &A::b; |
Anders Carlsson | 63b071f | 2010-02-02 03:32:35 +0000 | [diff] [blame] | 66 | } |
| 67 | |
Anders Carlsson | fe40456 | 2010-02-02 03:23:38 +0000 | [diff] [blame] | 68 | // Casts. |
| 69 | namespace Casts { |
| 70 | |
Eli Friedman | 9b37274 | 2009-11-27 04:56:40 +0000 | [diff] [blame] | 71 | int A::*pa; |
| 72 | int C::*pc; |
| 73 | |
| 74 | void f() { |
John McCall | 0bab0cd | 2010-08-23 01:21:21 +0000 | [diff] [blame] | 75 | // CHECK: store i64 -1, i64* @_ZN5Casts2paE |
Eli Friedman | 9b37274 | 2009-11-27 04:56:40 +0000 | [diff] [blame] | 76 | pa = 0; |
| 77 | |
John McCall | 0bab0cd | 2010-08-23 01:21:21 +0000 | [diff] [blame] | 78 | // CHECK-NEXT: [[TMP:%.*]] = load i64* @_ZN5Casts2paE, align 8 |
| 79 | // CHECK-NEXT: [[ADJ:%.*]] = add nsw i64 [[TMP]], 4 |
| 80 | // CHECK-NEXT: [[ISNULL:%.*]] = icmp eq i64 [[TMP]], -1 |
| 81 | // CHECK-NEXT: [[RES:%.*]] = select i1 [[ISNULL]], i64 [[TMP]], i64 [[ADJ]] |
| 82 | // CHECK-NEXT: store i64 [[RES]], i64* @_ZN5Casts2pcE |
Eli Friedman | 9b37274 | 2009-11-27 04:56:40 +0000 | [diff] [blame] | 83 | pc = pa; |
| 84 | |
John McCall | 0bab0cd | 2010-08-23 01:21:21 +0000 | [diff] [blame] | 85 | // CHECK-NEXT: [[TMP:%.*]] = load i64* @_ZN5Casts2pcE, align 8 |
| 86 | // CHECK-NEXT: [[ADJ:%.*]] = sub nsw i64 [[TMP]], 4 |
| 87 | // CHECK-NEXT: [[ISNULL:%.*]] = icmp eq i64 [[TMP]], -1 |
| 88 | // CHECK-NEXT: [[RES:%.*]] = select i1 [[ISNULL]], i64 [[TMP]], i64 [[ADJ]] |
| 89 | // CHECK-NEXT: store i64 [[RES]], i64* @_ZN5Casts2paE |
Eli Friedman | 9b37274 | 2009-11-27 04:56:40 +0000 | [diff] [blame] | 90 | pa = static_cast<int A::*>(pc); |
| 91 | } |
Anders Carlsson | fe40456 | 2010-02-02 03:23:38 +0000 | [diff] [blame] | 92 | |
| 93 | } |
Anders Carlsson | 45147d0 | 2010-02-02 03:37:46 +0000 | [diff] [blame] | 94 | |
| 95 | // Comparisons |
| 96 | namespace Comparisons { |
| 97 | void f() { |
| 98 | int A::*a; |
| 99 | |
| 100 | // CHECK: icmp ne i64 {{.*}}, -1 |
| 101 | if (a) { } |
| 102 | |
| 103 | // CHECK: icmp ne i64 {{.*}}, -1 |
| 104 | if (a != 0) { } |
| 105 | |
| 106 | // CHECK: icmp ne i64 -1, {{.*}} |
| 107 | if (0 != a) { } |
| 108 | |
| 109 | // CHECK: icmp eq i64 {{.*}}, -1 |
| 110 | if (a == 0) { } |
| 111 | |
| 112 | // CHECK: icmp eq i64 -1, {{.*}} |
| 113 | if (0 == a) { } |
| 114 | } |
| 115 | } |
Anders Carlsson | 3cb18bc | 2010-05-14 15:05:19 +0000 | [diff] [blame] | 116 | |
| 117 | namespace ValueInit { |
| 118 | |
| 119 | struct A { |
| 120 | int A::*a; |
| 121 | |
| 122 | char c; |
| 123 | |
| 124 | A(); |
| 125 | }; |
| 126 | |
Rafael Espindola | 0691a5c | 2011-01-25 19:10:24 +0000 | [diff] [blame] | 127 | // CHECK: define void @_ZN9ValueInit1AC2Ev(%"struct.ValueInit::A"* %this) unnamed_addr |
Anders Carlsson | 3cb18bc | 2010-05-14 15:05:19 +0000 | [diff] [blame] | 128 | // CHECK: store i64 -1, i64* |
| 129 | // CHECK: ret void |
| 130 | A::A() : a() {} |
| 131 | |
| 132 | } |
Anders Carlsson | a83fb4b | 2010-05-18 16:51:41 +0000 | [diff] [blame] | 133 | |
Anders Carlsson | 1884eb0 | 2010-05-22 17:35:42 +0000 | [diff] [blame] | 134 | namespace PR7139 { |
| 135 | |
| 136 | struct pair { |
| 137 | int first; |
| 138 | int second; |
| 139 | }; |
| 140 | |
| 141 | typedef int pair::*ptr_to_member_type; |
| 142 | |
| 143 | struct ptr_to_member_struct { |
| 144 | ptr_to_member_type data; |
| 145 | int i; |
| 146 | }; |
| 147 | |
| 148 | struct A { |
| 149 | ptr_to_member_struct a; |
| 150 | |
| 151 | A() : a() {} |
| 152 | }; |
| 153 | |
| 154 | // CHECK-O3: define zeroext i1 @_ZN6PR71395checkEv() nounwind readnone |
| 155 | bool check() { |
| 156 | // CHECK-O3: ret i1 true |
| 157 | return A().a.data == 0; |
| 158 | } |
| 159 | |
Anders Carlsson | a40a9f3 | 2010-05-22 17:45:10 +0000 | [diff] [blame] | 160 | // CHECK-O3: define zeroext i1 @_ZN6PR71396check2Ev() nounwind readnone |
| 161 | bool check2() { |
| 162 | // CHECK-O3: ret i1 true |
| 163 | return ptr_to_member_type() == 0; |
| 164 | } |
| 165 | |
Anders Carlsson | 1884eb0 | 2010-05-22 17:35:42 +0000 | [diff] [blame] | 166 | } |
Anders Carlsson | 0a87b37 | 2010-05-27 18:51:01 +0000 | [diff] [blame] | 167 | |
| 168 | namespace VirtualBases { |
| 169 | |
| 170 | struct A { |
| 171 | char c; |
| 172 | int A::*i; |
| 173 | }; |
| 174 | |
Anders Carlsson | eb9d81d | 2011-04-17 21:56:13 +0000 | [diff] [blame] | 175 | // CHECK-GLOBAL: @_ZN12VirtualBases1bE = global %"struct.VirtualBases::B" { i32 (...)** null, %"struct.VirtualBases::A" { i8 0, i64 -1 } }, align 8 |
Anders Carlsson | 0a87b37 | 2010-05-27 18:51:01 +0000 | [diff] [blame] | 176 | struct B : virtual A { }; |
| 177 | B b; |
| 178 | |
Anders Carlsson | eb9d81d | 2011-04-17 21:56:13 +0000 | [diff] [blame] | 179 | // CHECK-GLOBAL: @_ZN12VirtualBases1cE = global %"struct.VirtualBases::C" { i32 (...)** null, i64 -1, %"struct.VirtualBases::A" { i8 0, i64 -1 } }, align 8 |
Anders Carlsson | 0a87b37 | 2010-05-27 18:51:01 +0000 | [diff] [blame] | 180 | struct C : virtual A { int A::*i; }; |
| 181 | C c; |
| 182 | |
Anders Carlsson | eb9d81d | 2011-04-17 21:56:13 +0000 | [diff] [blame] | 183 | // CHECK-GLOBAL: @_ZN12VirtualBases1dE = global %"struct.VirtualBases::D" { %"struct.VirtualBases::C.base" { i32 (...)** null, i64 -1 }, i64 -1, %"struct.VirtualBases::A" { i8 0, i64 -1 } }, align 8 |
Anders Carlsson | 0a87b37 | 2010-05-27 18:51:01 +0000 | [diff] [blame] | 184 | struct D : C { int A::*i; }; |
| 185 | D d; |
| 186 | |
| 187 | } |
Anders Carlsson | e9a05b7 | 2010-06-03 15:36:07 +0000 | [diff] [blame] | 188 | |
| 189 | namespace Test1 { |
| 190 | |
| 191 | // Don't crash when A contains a bit-field. |
| 192 | struct A { |
| 193 | int A::* a; |
| 194 | int b : 10; |
| 195 | }; |
| 196 | A a; |
| 197 | |
| 198 | } |
Douglas Gregor | b61e2a3 | 2010-09-02 15:00:29 +0000 | [diff] [blame] | 199 | |
| 200 | namespace BoolPtrToMember { |
| 201 | struct X { |
| 202 | bool member; |
| 203 | }; |
| 204 | |
| 205 | // CHECK: define i8* @_ZN15BoolPtrToMember1fERNS_1XEMS0_b |
| 206 | bool &f(X &x, bool X::*member) { |
| 207 | // CHECK: {{bitcast.* to i8\*}} |
| 208 | // CHECK-NEXT: getelementptr inbounds i8* |
| 209 | // CHECK-NEXT: ret i8* |
| 210 | return x.*member; |
| 211 | } |
| 212 | } |
Anders Carlsson | 96e9366 | 2010-10-31 01:21:47 +0000 | [diff] [blame] | 213 | |
| 214 | namespace PR8507 { |
| 215 | |
| 216 | struct S; |
| 217 | void f(S* p, double S::*pm) { |
| 218 | if (0 < p->*pm) { |
| 219 | } |
| 220 | } |
| 221 | |
| 222 | } |
| 223 | |
John McCall | 9b7da1c | 2011-02-15 06:40:56 +0000 | [diff] [blame] | 224 | namespace test4 { |
| 225 | struct A { int A_i; }; |
| 226 | struct B : virtual A { int A::*B_p; }; |
| 227 | struct C : virtual B { int *C_p; }; |
| 228 | struct D : C { int *D_p; }; |
| 229 | |
Chris Lattner | 9cbe4f0 | 2011-07-09 17:41:47 +0000 | [diff] [blame] | 230 | // CHECK-GLOBAL: @_ZN5test41dE = global %"struct.test4::D" { %"struct.test4::C.base" zeroinitializer, i32* null, %"struct.test4::B.base" { i32 (...)** null, i64 -1 }, %"struct.test4::A" zeroinitializer }, align 8 |
John McCall | 9b7da1c | 2011-02-15 06:40:56 +0000 | [diff] [blame] | 231 | D d; |
| 232 | } |
Eli Friedman | 26e80cd | 2011-12-07 01:30:11 +0000 | [diff] [blame] | 233 | |
| 234 | namespace PR11487 { |
| 235 | union U |
| 236 | { |
| 237 | int U::* mptr; |
| 238 | char x[16]; |
| 239 | } x; |
| 240 | // CHECK-GLOBAL: @_ZN7PR114871xE = global %"union.PR11487::U" { i64 -1, [8 x i8] zeroinitializer }, align 8 |
| 241 | |
| 242 | } |