| 1 | // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -o - %s | FileCheck %s |
| 2 | |
| 3 | // rdar://8818236 |
| 4 | namespace rdar8818236 { |
| 5 | struct S { |
| 6 | char c2; |
| 7 | union { |
| 8 | char c; |
| 9 | int i; |
| 10 | }; |
| 11 | }; |
| 12 | |
| 13 | // CHECK: @_ZN11rdar88182363fooE = global i64 4 |
| 14 | char S::*foo = &S::c; |
| 15 | } |
| 16 | |
| 17 | struct A { |
| 18 | union { |
| 19 | int a; |
| 20 | void* b; |
| 21 | }; |
| 22 | |
| 23 | A() : a(0) { } |
| 24 | }; |
| 25 | |
| 26 | A a; |
| 27 | |
| 28 | namespace PR7021 { |
| 29 | struct X |
| 30 | { |
| 31 | union { long l; }; |
| 32 | }; |
| 33 | |
| 34 | // CHECK-LABEL: define void @_ZN6PR70211fENS_1XES0_ |
| 35 | void f(X x, X z) { |
| 36 | X x1; |
| 37 | |
| 38 | // CHECK: store i64 1, i64 |
| 39 | x1.l = 1; |
| 40 | |
| 41 | // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64 |
| 42 | X x2(x1); |
| 43 | |
| 44 | X x3; |
| 45 | // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64 |
| 46 | x3 = x1; |
| 47 | |
| 48 | // CHECK: ret void |
| 49 | } |
| 50 | } |
| 51 | |
| 52 | namespace test2 { |
| 53 | struct A { |
| 54 | struct { |
| 55 | union { |
| 56 | int b; |
| 57 | }; |
| 58 | }; |
| 59 | |
| 60 | A(); |
| 61 | }; |
| 62 | |
| 63 | A::A() : b(10) { } |
| 64 | // CHECK-LABEL: define void @_ZN5test21AC2Ev( |
| 65 | // CHECK-NOT: } |
| 66 | // CHECK: store i32 10 |
| 67 | // CHECK: } |
| 68 | } |
| 69 | |
| 70 | namespace PR10512 { |
| 71 | struct A { |
| 72 | A(); |
| 73 | A(int); |
| 74 | A(long); |
| 75 | |
| 76 | struct { |
| 77 | struct {int x;}; |
| 78 | struct {int y;}; |
| 79 | }; |
| 80 | }; |
| 81 | |
| 82 | // CHECK-LABEL: define void @_ZN7PR105121AC2Ev |
| 83 | // CHECK: [[THISADDR:%[a-zA-Z0-9.]+]] = alloca [[A:%"struct[A-Za-z0-9:.]+"]] |
| 84 | // CHECK-NEXT: store [[A]]* [[THIS:%[a-zA-Z0-9.]+]], [[A]]** [[THISADDR]] |
| 85 | // CHECK-NEXT: [[THIS1:%[a-zA-Z0-9.]+]] = load [[A]]*, [[A]]** [[THISADDR]] |
| 86 | // CHECK-NEXT: ret void |
| 87 | A::A() {} |
| 88 | |
| 89 | // CHECK-LABEL: define void @_ZN7PR105121AC2Ei |
| 90 | // CHECK: [[THISADDR:%[a-zA-Z0-9.]+]] = alloca [[A:%"struct[A-Za-z0-9:.]+"]] |
| 91 | // CHECK-NEXT: [[XADDR:%[a-zA-Z0-9.]+]] = alloca i32 |
| 92 | // CHECK-NEXT: store [[A]]* [[THIS:%[a-zA-Z0-9.]+]], [[A]]** [[THISADDR]] |
| 93 | // CHECK-NEXT: store i32 [[X:%[a-zA-Z0-9.]+]], i32* [[XADDR]] |
| 94 | // CHECK-NEXT: [[THIS1:%[a-zA-Z0-9.]+]] = load [[A]]*, [[A]]** [[THISADDR]] |
| 95 | // CHECK-NEXT: {{getelementptr inbounds.*i32 0, i32 0}} |
| 96 | // CHECK-NEXT: {{getelementptr inbounds.*i32 0, i32 0}} |
| 97 | // CHECK-NEXT: {{getelementptr inbounds.*i32 0, i32 0}} |
| 98 | // CHECK-NEXT: [[TMP:%[a-zA-Z0-9.]+]] = load i32, i32* [[XADDR]] |
| 99 | // CHECK-NEXT: store i32 [[TMP]] |
| 100 | // CHECK-NEXT: ret void |
| 101 | A::A(int x) : x(x) { } |
| 102 | |
| 103 | // CHECK-LABEL: define void @_ZN7PR105121AC2El |
| 104 | // CHECK: [[THISADDR:%[a-zA-Z0-9.]+]] = alloca [[A:%"struct[A-Za-z0-9:.]+"]] |
| 105 | // CHECK-NEXT: [[XADDR:%[a-zA-Z0-9.]+]] = alloca i64 |
| 106 | // CHECK-NEXT: store [[A]]* [[THIS:%[a-zA-Z0-9.]+]], [[A]]** [[THISADDR]] |
| 107 | // CHECK-NEXT: store i64 [[X:%[a-zA-Z0-9.]+]], i64* [[XADDR]] |
| 108 | // CHECK-NEXT: [[THIS1:%[a-zA-Z0-9.]+]] = load [[A]]*, [[A]]** [[THISADDR]] |
| 109 | // CHECK-NEXT: {{getelementptr inbounds.*i32 0, i32 0}} |
| 110 | // CHECK-NEXT: {{getelementptr inbounds.*i32 0, i32 1}} |
| 111 | // CHECK-NEXT: {{getelementptr inbounds.*i32 0, i32 0}} |
| 112 | // CHECK-NEXT: [[TMP:%[a-zA-Z0-9.]+]] = load i64, i64* [[XADDR]] |
| 113 | // CHECK-NEXT: [[CONV:%[a-zA-Z0-9.]+]] = trunc i64 [[TMP]] to i32 |
| 114 | // CHECK-NEXT: store i32 [[CONV]] |
| 115 | // CHECK-NEXT: ret void |
| 116 | A::A(long y) : y(y) { } |
| 117 | } |
| 118 | |
| 119 | namespace test3 { |
| 120 | struct A { |
| 121 | union { |
| 122 | mutable char fibers[100]; |
| 123 | struct { |
| 124 | void (*callback)(void*); |
| 125 | void *callback_value; |
| 126 | }; |
| 127 | }; |
| 128 | |
| 129 | A(); |
| 130 | }; |
| 131 | |
| 132 | A::A() : callback(0), callback_value(0) {} |
| 133 | // CHECK-LABEL: define void @_ZN5test31AC2Ev( |
| 134 | // CHECK: [[THIS:%.*]] = load |
| 135 | // CHECK-NEXT: [[UNION:%.*]] = getelementptr inbounds {{.*}} [[THIS]], i32 0, i32 0 |
| 136 | // CHECK-NEXT: [[STRUCT:%.*]] = bitcast {{.*}}* [[UNION]] to |
| 137 | // CHECK-NEXT: [[CALLBACK:%.*]] = getelementptr inbounds {{.*}} [[STRUCT]], i32 0, i32 0 |
| 138 | // CHECK: store |
| 139 | // CHECK-NEXT: [[UNION:%.*]] = getelementptr inbounds {{.*}} [[THIS]], i32 0, i32 0 |
| 140 | // CHECK-NEXT: [[STRUCT:%.*]] = bitcast {{.*}}* [[UNION]] to |
| 141 | // CHECK-NEXT: [[CVALUE:%.*]] = getelementptr inbounds {{.*}} [[STRUCT]], i32 0, i32 1 |
| 142 | // CHECK-NEXT: store i8* null, i8** [[CVALUE]] |
| 143 | } |
| 144 | |
| 145 | struct S { |
| 146 | // CHECK: store i32 42 |
| 147 | // CHECK: store i32 55 |
| 148 | S() : x(42), y(55) {} |
| 149 | union { |
| 150 | struct { |
| 151 | int x; |
| 152 | union { int y; }; |
| 153 | }; |
| 154 | }; |
| 155 | } s; |
| 156 | |
| 157 | |
| 158 | //PR8760 |
| 159 | template <typename T> struct Foo { |
| 160 | Foo() : ptr(__nullptr) {} |
| 161 | union { |
| 162 | T *ptr; |
| 163 | }; |
| 164 | }; |
| 165 | Foo<int> f; |
| 166 | |
| 167 | namespace PR9683 { |
| 168 | struct QueueEntry { |
| 169 | union { |
| 170 | struct { |
| 171 | void* mPtr; |
| 172 | union { |
| 173 | unsigned mSubmissionTag; |
| 174 | }; |
| 175 | }; |
| 176 | unsigned mValue; |
| 177 | }; |
| 178 | QueueEntry() {} |
| 179 | }; |
| 180 | QueueEntry QE; |
| 181 | } |
| 182 | |
| 183 | namespace PR13154 { |
| 184 | struct IndirectReferenceField { |
| 185 | struct { |
| 186 | float &x; |
| 187 | }; |
| 188 | IndirectReferenceField(float &x); |
| 189 | }; |
| 190 | IndirectReferenceField::IndirectReferenceField(float &xx) : x(xx) {} |
| 191 | } |
| 192 | |