1 // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -std=c++03 -fexceptions -fcxx-exceptions -o - %s | FileCheck %s 2 // RUN: %clang_cc1 -triple i386-apple-darwin10 -emit-llvm -std=c++03 -o - %s | FileCheck --check-prefix=CHECK-2 %s 3 4 struct POD { 5 int w, x, y, z; 6 }; 7 8 struct PODLike { 9 int w, x, y, z; 10 PODLike(); 11 ~PODLike(); 12 }; 13 14 struct NonPOD { 15 NonPOD(); 16 NonPOD(const NonPOD&); 17 NonPOD& operator=(const NonPOD&); 18 }; 19 20 struct Basic { 21 int a, b, c, d; 22 NonPOD np; 23 int w, x, y, z; 24 }; 25 26 struct PODMember { 27 int a, b, c, d; 28 POD p; 29 NonPOD np; 30 int w, x, y, z; 31 }; 32 33 struct PODLikeMember { 34 int a, b, c, d; 35 PODLike pl; 36 NonPOD np; 37 int w, x, y, z; 38 }; 39 40 struct ArrayMember { 41 int a, b, c, d; 42 int e[12]; 43 NonPOD np; 44 int f[12]; 45 int w, x, y, z; 46 }; 47 48 struct VolatileMember { 49 int a, b, c, d; 50 volatile int v; 51 NonPOD np; 52 int w, x, y, z; 53 }; 54 55 struct BitfieldMember { 56 int a, b, c, d; 57 NonPOD np; 58 int w : 6; 59 int x : 6; 60 int y : 6; 61 int z : 6; 62 }; 63 64 struct BitfieldMember2 { 65 unsigned a : 1; 66 unsigned b, c, d; 67 NonPOD np; 68 }; 69 70 struct BitfieldMember3 { 71 virtual void f(); 72 int : 8; 73 int x : 1; 74 int y; 75 }; 76 77 struct InnerClassMember { 78 struct { 79 int a, b, c, d; 80 } a; 81 int b, c, d, e; 82 NonPOD np; 83 int w, x, y, z; 84 }; 85 86 struct ReferenceMember { 87 ReferenceMember(int &a, int &b, int &c, int &d) 88 : a(a), b(b), c(c), d(d) {} 89 int &a; 90 int &b; 91 NonPOD np; 92 int &c; 93 int &d; 94 }; 95 96 struct __attribute__((packed)) PackedMembers { 97 char c; 98 NonPOD np; 99 int w, x, y, z; 100 }; 101 102 // COPY-ASSIGNMENT OPERATORS: 103 104 // Assignment operators are output in the order they're encountered. 105 106 #define CALL_AO(T) void callAO##T(T& a, const T& b) { a = b; } 107 108 CALL_AO(Basic) 109 CALL_AO(PODMember) 110 CALL_AO(PODLikeMember) 111 CALL_AO(ArrayMember) 112 CALL_AO(VolatileMember) 113 CALL_AO(BitfieldMember) 114 CALL_AO(InnerClassMember) 115 CALL_AO(PackedMembers) 116 117 // Basic copy-assignment: 118 // CHECK-LABEL: define linkonce_odr dereferenceable({{[0-9]+}}) %struct.Basic* @_ZN5BasicaSERKS_(%struct.Basic* %this, %struct.Basic* dereferenceable({{[0-9]+}})) 119 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 16, i32 4{{.*}}) 120 // CHECK: call dereferenceable({{[0-9]+}}) %struct.NonPOD* @_ZN6NonPODaSERKS_ 121 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 16, i32 4{{.*}}) 122 // CHECK: ret %struct.Basic* 123 124 // PODMember copy-assignment: 125 // CHECK-LABEL: define linkonce_odr dereferenceable({{[0-9]+}}) %struct.PODMember* @_ZN9PODMemberaSERKS_(%struct.PODMember* %this, %struct.PODMember* dereferenceable({{[0-9]+}})) 126 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 32, i32 4{{.*}}) 127 // CHECK: call dereferenceable({{[0-9]+}}) %struct.NonPOD* @_ZN6NonPODaSERKS_ 128 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 16, i32 4{{.*}}) 129 // CHECK: ret %struct.PODMember* 130 131 // PODLikeMember copy-assignment: 132 // CHECK-LABEL: define linkonce_odr dereferenceable({{[0-9]+}}) %struct.PODLikeMember* @_ZN13PODLikeMemberaSERKS_(%struct.PODLikeMember* %this, %struct.PODLikeMember* dereferenceable({{[0-9]+}})) 133 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 32, i32 4{{.*}}) 134 // CHECK: call dereferenceable({{[0-9]+}}) %struct.NonPOD* @_ZN6NonPODaSERKS_ 135 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 16, i32 4{{.*}}) 136 // CHECK: ret %struct.PODLikeMember* 137 138 // ArrayMember copy-assignment: 139 // CHECK-LABEL: define linkonce_odr dereferenceable({{[0-9]+}}) %struct.ArrayMember* @_ZN11ArrayMemberaSERKS_(%struct.ArrayMember* %this, %struct.ArrayMember* dereferenceable({{[0-9]+}})) 140 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 64, i32 4{{.*}}) 141 // CHECK: call dereferenceable({{[0-9]+}}) %struct.NonPOD* @_ZN6NonPODaSERKS_ 142 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 64, i32 4{{.*}}) 143 // CHECK: ret %struct.ArrayMember* 144 145 // VolatileMember copy-assignment: 146 // CHECK-LABEL: define linkonce_odr dereferenceable({{[0-9]+}}) %struct.VolatileMember* @_ZN14VolatileMemberaSERKS_(%struct.VolatileMember* %this, %struct.VolatileMember* dereferenceable({{[0-9]+}})) 147 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 16, i32 4{{.*}}) 148 // CHECK: load volatile i32, i32* {{.*}}, align 4 149 // CHECK: store volatile i32 {{.*}}, align 4 150 // CHECK: call dereferenceable({{[0-9]+}}) %struct.NonPOD* @_ZN6NonPODaSERKS_ 151 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 16, i32 4{{.*}}) 152 // CHECK: ret %struct.VolatileMember* 153 154 // BitfieldMember copy-assignment: 155 // CHECK-LABEL: define linkonce_odr dereferenceable({{[0-9]+}}) %struct.BitfieldMember* @_ZN14BitfieldMemberaSERKS_(%struct.BitfieldMember* %this, %struct.BitfieldMember* dereferenceable({{[0-9]+}})) 156 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 16, i32 4{{.*}}) 157 // CHECK: call dereferenceable({{[0-9]+}}) %struct.NonPOD* @_ZN6NonPODaSERKS_ 158 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 3, i32 1{{.*}}) 159 // CHECK: ret %struct.BitfieldMember* 160 161 // InnerClass copy-assignment: 162 // CHECK-LABEL: define linkonce_odr dereferenceable({{[0-9]+}}) %struct.InnerClassMember* @_ZN16InnerClassMemberaSERKS_(%struct.InnerClassMember* %this, %struct.InnerClassMember* dereferenceable({{[0-9]+}})) 163 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 32, i32 4{{.*}}) 164 // CHECK: call dereferenceable({{[0-9]+}}) %struct.NonPOD* @_ZN6NonPODaSERKS_ 165 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 16, i32 4{{.*}}) 166 // CHECK: ret %struct.InnerClassMember* 167 168 // PackedMembers copy-assignment: 169 // CHECK-LABEL: define linkonce_odr dereferenceable({{[0-9]+}}) %struct.PackedMembers* @_ZN13PackedMembersaSERKS_(%struct.PackedMembers* %this, %struct.PackedMembers* dereferenceable({{[0-9]+}})) 170 // CHECK: call dereferenceable({{[0-9]+}}) %struct.NonPOD* @_ZN6NonPODaSERKS_ 171 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 16, i32 1{{.*}}) 172 // CHECK: ret %struct.PackedMembers* 173 174 // COPY-CONSTRUCTORS: 175 176 // Clang outputs copy-constructors in the reverse of the order that 177 // copy-constructor calls are encountered. Add functions that call the copy 178 // constructors of the classes above in reverse order here. 179 180 #define CALL_CC(T) T callCC##T(const T& b) { return b; } 181 182 CALL_CC(PackedMembers) 183 // PackedMembers copy-assignment: 184 // CHECK-LABEL: define linkonce_odr void @_ZN13PackedMembersC2ERKS_(%struct.PackedMembers* %this, %struct.PackedMembers* dereferenceable({{[0-9]+}})) 185 // CHECK: call void @_ZN6NonPODC1ERKS_ 186 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 16, i32 1{{.*}}) 187 // CHECK: ret void 188 189 CALL_CC(BitfieldMember2) 190 // BitfieldMember2 copy-constructor: 191 // CHECK-2-LABEL: define linkonce_odr void @_ZN15BitfieldMember2C2ERKS_(%struct.BitfieldMember2* %this, %struct.BitfieldMember2* dereferenceable({{[0-9]+}})) 192 // CHECK-2: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 16, i32 4, i1 false) 193 // CHECK-2: call void @_ZN6NonPODC1ERKS_ 194 // CHECK-2: ret void 195 196 CALL_CC(BitfieldMember3) 197 // BitfieldMember3 copy-constructor: 198 // CHECK-LABEL: define linkonce_odr void @_ZN15BitfieldMember3C2ERKS_(%struct.BitfieldMember3* %this, %struct.BitfieldMember3* dereferenceable({{[0-9]+}})) 199 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 8, i32 8, i1 false) 200 // CHECK: ret void 201 202 CALL_CC(ReferenceMember) 203 // ReferenceMember copy-constructor: 204 // CHECK-LABEL: define linkonce_odr void @_ZN15ReferenceMemberC2ERKS_(%struct.ReferenceMember* %this, %struct.ReferenceMember* dereferenceable({{[0-9]+}})) 205 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 16, i32 8{{.*}}) 206 // CHECK: call void @_ZN6NonPODC1ERKS_ 207 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 16, i32 8{{.*}}) 208 // CHECK: ret void 209 210 CALL_CC(InnerClassMember) 211 // InnerClass copy-constructor: 212 // CHECK-LABEL: define linkonce_odr void @_ZN16InnerClassMemberC2ERKS_(%struct.InnerClassMember* %this, %struct.InnerClassMember* dereferenceable({{[0-9]+}})) 213 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 32, i32 4{{.*}}) 214 // CHECK: call void @_ZN6NonPODC1ERKS_ 215 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 16, i32 4{{.*}}) 216 // CHECK: ret void 217 218 CALL_CC(BitfieldMember) 219 // BitfieldMember copy-constructor: 220 // CHECK-LABEL: define linkonce_odr void @_ZN14BitfieldMemberC2ERKS_(%struct.BitfieldMember* %this, %struct.BitfieldMember* dereferenceable({{[0-9]+}})) 221 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 16, i32 4{{.*}}) 222 // CHECK: call void @_ZN6NonPODC1ERKS_ 223 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 3, i32 1{{.*}}) 224 // CHECK: ret void 225 226 CALL_CC(VolatileMember) 227 // VolatileMember copy-constructor: 228 // CHECK-LABEL: define linkonce_odr void @_ZN14VolatileMemberC2ERKS_(%struct.VolatileMember* %this, %struct.VolatileMember* dereferenceable({{[0-9]+}})) 229 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 16, i32 4{{.*}}) 230 // CHECK: load volatile i32, i32* {{.*}}, align 4 231 // CHECK: store volatile i32 {{.*}}, align 4 232 // CHECK: call void @_ZN6NonPODC1ERKS_ 233 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 16, i32 4{{.*}}) 234 // CHECK: ret void 235 236 CALL_CC(ArrayMember) 237 // ArrayMember copy-constructor: 238 // CHECK-LABEL: define linkonce_odr void @_ZN11ArrayMemberC2ERKS_(%struct.ArrayMember* %this, %struct.ArrayMember* dereferenceable({{[0-9]+}})) 239 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 64, i32 4{{.*}}) 240 // CHECK: call void @_ZN6NonPODC1ERKS_ 241 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 64, i32 4{{.*}}) 242 // CHECK: ret void 243 244 CALL_CC(PODLikeMember) 245 // PODLikeMember copy-constructor: 246 // CHECK-LABEL: define linkonce_odr void @_ZN13PODLikeMemberC2ERKS_(%struct.PODLikeMember* %this, %struct.PODLikeMember* dereferenceable({{[0-9]+}})) 247 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 32, i32 4{{.*}}) 248 // CHECK: invoke void @_ZN6NonPODC1ERKS_ 249 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 16, i32 4{{.*}}) 250 // CHECK: ret void 251 // CHECK: landingpad 252 // CHECK: invoke void @_ZN7PODLikeD1Ev 253 254 CALL_CC(PODMember) 255 // PODMember copy-constructor: 256 // CHECK-LABEL: define linkonce_odr void @_ZN9PODMemberC2ERKS_(%struct.PODMember* %this, %struct.PODMember* dereferenceable({{[0-9]+}})) 257 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 32, i32 4{{.*}}) 258 // CHECK: call void @_ZN6NonPODC1ERKS_ 259 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 16, i32 4{{.*}}) 260 // CHECK: ret void 261 262 CALL_CC(Basic) 263 // Basic copy-constructor: 264 // CHECK-LABEL: define linkonce_odr void @_ZN5BasicC2ERKS_(%struct.Basic* %this, %struct.Basic* dereferenceable({{[0-9]+}})) 265 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 16, i32 4{{.*}}) 266 // CHECK: call void @_ZN6NonPODC1ERKS_ 267 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64({{.*}}i64 16, i32 4{{.*}}) 268 // CHECK: ret void 269
