188 lines · cpp
1// RUN: %clang_cc1 -triple x86_64-apple-darwin -emit-llvm -o - %s | FileCheck %s2 3extern "C" int printf(...);4 5int init = 100;6 7struct M {8 int iM;9 M() : iM(init++) {}10};11 12struct N {13 int iN;14 N() : iN(200) {}15 N(N const & arg){this->iN = arg.iN; }16};17 18struct P {19 int iP;20 P() : iP(init++) {}21};22 23 24// CHECK-LABEL: define linkonce_odr void @_ZN1XC1ERKS_(ptr {{[^,]*}} %this, ptr noundef nonnull align {{[0-9]+}} dereferenceable({{[0-9]+}}) %0) unnamed_addr25struct X : M, N, P { // ...26 X() : f1(1.0), d1(2.0), i1(3), name("HELLO"), bf1(0xff), bf2(0xabcd),27 au_i1(1234), au1_4("MASKED") {}28 P p0;29 void pr() {30 printf("iM = %d iN = %d, m1.iM = %d\n", iM, iN, m1.iM); 31 printf("im = %d p0.iP = %d, p1.iP = %d\n", iP, p0.iP, p1.iP); 32 printf("f1 = %f d1 = %f i1 = %d name(%s) \n", f1, d1, i1, name);33 printf("bf1 = %x bf2 = %x\n", bf1, bf2);34 printf("au_i2 = %d\n", au_i2); 35 printf("au1_1 = %s\n", au1_1); 36 }37 M m1;38 P p1;39 float f1;40 double d1;41 int i1;42 const char *name;43 unsigned bf1 : 8;44 unsigned bf2 : 16;45 int arr[2];46 _Complex float complex;47 48 union {49 int au_i1;50 int au_i2;51 };52 union {53 const char * au1_1;54 float au1_2;55 int au1_3;56 const char * au1_4;57 };58};59 60static int ix = 1;61// class with user-defined copy constructor.62struct S {63 S() : iS(ix++) { }64 S(const S& arg) { *this = arg; }65 int iS;66};67 68// class with trivial copy constructor.69struct I {70 I() : iI(ix++) { }71 int iI;72};73 74struct XM {75 XM() { }76 double dXM;77 S ARR_S[3][4][2];78 void pr() {79 for (unsigned i = 0; i < 3; i++)80 for (unsigned j = 0; j < 4; j++)81 for (unsigned k = 0; k < 2; k++)82 printf("ARR_S[%d][%d][%d] = %d\n", i,j,k, ARR_S[i][j][k].iS);83 for (unsigned i = 0; i < 3; i++)84 for (unsigned k = 0; k < 2; k++)85 printf("ARR_I[%d][%d] = %d\n", i,k, ARR_I[i][k].iI);86 }87 I ARR_I[3][2];88};89 90int main() {91 X a;92 X b(a);93 b.pr();94 X x;95 X c(x);96 c.pr();97 98 XM m0;99 XM m1 = m0;100 m1.pr();101}102 103struct A {104};105 106struct B : A {107 A &a;108};109 110void f(const B &b1) {111 B b2(b1);112}113 114// PR6628115namespace PR6628 {116 117struct T {118 T();119 ~T();120 121 double d;122};123 124struct A {125 A(const A &other, const T &t = T(), const T& t2 = T());126};127 128struct B : A {129 A a1;130 A a2;131 A a[10];132};133 134// Force the copy constructor to be synthesized.135void f(B b1) {136 B b2 = b1;137}138 139// CHECK: define linkonce_odr noundef nonnull align {{[0-9]+}} dereferenceable({{[0-9]+}}) ptr @_ZN12rdar138169401AaSERKS0_(140// CHECK: [[THIS:%.*]] = load ptr, ptr141// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds nuw [[A:%.*]], ptr [[THIS]], i32 0, i32 1142// CHECK-NEXT: [[OTHER:%.*]] = load ptr, ptr143// CHECK-NEXT: [[T2:%.*]] = getelementptr inbounds nuw [[A]], ptr [[OTHER]], i32 0, i32 1144// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 8 [[T0]], ptr align 8 [[T2]], i64 8, i1 false)145// CHECK-NEXT: ret ptr [[THIS]]146 147// CHECK-LABEL: define linkonce_odr void @_ZN6PR66281BC2ERKS0_(ptr {{[^,]*}} %this, ptr noundef nonnull align {{[0-9]+}} dereferenceable({{[0-9]+}}) %0) unnamed_addr148// CHECK: call void @_ZN6PR66281TC1Ev149// CHECK: call void @_ZN6PR66281TC1Ev150// CHECK: call void @_ZN6PR66281AC2ERKS0_RKNS_1TES5_151// CHECK: call void @_ZN6PR66281TD1Ev152// CHECK: call void @_ZN6PR66281TD1Ev153// CHECK: call void @_ZN6PR66281TC1Ev154// CHECK: call void @_ZN6PR66281TC1Ev155// CHECK: call void @_ZN6PR66281AC1ERKS0_RKNS_1TES5_156// CHECK: call void @_ZN6PR66281TD1Ev157// CHECK: call void @_ZN6PR66281TD1Ev158// CHECK: call void @_ZN6PR66281TC1Ev159// CHECK: call void @_ZN6PR66281TC1Ev160// CHECK: call void @_ZN6PR66281AC1ERKS0_RKNS_1TES5_161// CHECK: call void @_ZN6PR66281TD1Ev162// CHECK: call void @_ZN6PR66281TD1Ev163 164// CHECK-LABEL: define linkonce_odr void @_ZN12rdar138169401AC2ERKS0_(165// CHECK: [[THIS:%.*]] = load ptr, ptr166// CHECK-NEXT: store ptr getelementptr inbounds inrange(-16, 16) ({ [4 x ptr] }, ptr @_ZTVN12rdar138169401AE, i32 0, i32 0, i32 2), ptr [[THIS]]167// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds nuw [[A]], ptr [[THIS]], i32 0, i32 1168// CHECK-NEXT: [[OTHER:%.*]] = load ptr, ptr169// CHECK-NEXT: [[T2:%.*]] = getelementptr inbounds nuw [[A]], ptr [[OTHER]], i32 0, i32 1170// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 8 [[T0]], ptr align 8 [[T2]], i64 8, i1 false)171// CHECK-NEXT: ret void172}173 174// Test above because things get weirdly re-ordered.175namespace rdar13816940 {176 struct A {177 virtual ~A();178 unsigned short a : 1;179 unsigned short : 15;180 unsigned other;181 };182 183 void test(A &a) {184 A x = a; // force copy constructor into existence185 x = a; // also force the copy assignment operator186 }187}188