1 // RUN: %clang_cc1 -triple x86_64-apple-darwin -emit-llvm -o - %s | FileCheck %s
2
3 extern "C" int printf(...);
4
5 int init = 100;
6
7 struct M {
8 int iM;
MM9 M() : iM(init++) {}
10 };
11
12 struct N {
13 int iN;
NN14 N() : iN(200) {}
NN15 N(N const & arg){this->iN = arg.iN; }
16 };
17
18 struct P {
19 int iP;
PP20 P() : iP(init++) {}
21 };
22
23
24 // CHECK-LABEL: define linkonce_odr void @_ZN1XC1ERKS_(%struct.X* %this, %struct.X* dereferenceable({{[0-9]+}}) %0) unnamed_addr
25 struct X : M, N, P { // ...
XX26 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;
prX29 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
60 static int ix = 1;
61 // class with user-defined copy constructor.
62 struct S {
SS63 S() : iS(ix++) { }
SS64 S(const S& arg) { *this = arg; }
65 int iS;
66 };
67
68 // class with trivial copy constructor.
69 struct I {
II70 I() : iI(ix++) { }
71 int iI;
72 };
73
74 struct XM {
XMXM75 XM() { }
76 double dXM;
77 S ARR_S[3][4][2];
prXM78 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
main()90 int 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
103 struct A {
104 };
105
106 struct B : A {
107 A &a;
108 };
109
f(const B & b1)110 void f(const B &b1) {
111 B b2(b1);
112 }
113
114 // PR6628
115 namespace PR6628 {
116
117 struct T {
118 T();
119 ~T();
120
121 double d;
122 };
123
124 struct A {
125 A(const A &other, const T &t = T(), const T& t2 = T());
126 };
127
128 struct B : A {
129 A a1;
130 A a2;
131 A a[10];
132 };
133
134 // Force the copy constructor to be synthesized.
f(B b1)135 void f(B b1) {
136 B b2 = b1;
137 }
138
139 // CHECK: define linkonce_odr dereferenceable({{[0-9]+}}) [[A:%.*]]* @_ZN12rdar138169401AaSERKS0_(
140 // CHECK: [[THIS:%.*]] = load [[A]]*, [[A]]**
141 // CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[A]], [[A]]* [[THIS]], i32 0, i32 1
142 // CHECK-NEXT: [[OTHER:%.*]] = load [[A]]*, [[A]]**
143 // CHECK-NEXT: [[T2:%.*]] = getelementptr inbounds [[A]], [[A]]* [[OTHER]], i32 0, i32 1
144 // CHECK-NEXT: [[T4:%.*]] = bitcast i16* [[T0]] to i8*
145 // CHECK-NEXT: [[T5:%.*]] = bitcast i16* [[T2]] to i8*
146 // CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 8 [[T4]], i8* align 8 [[T5]], i64 8, i1 false)
147 // CHECK-NEXT: ret [[A]]* [[THIS]]
148
149 // CHECK-LABEL: define linkonce_odr void @_ZN6PR66281BC2ERKS0_(%"struct.PR6628::B"* %this, %"struct.PR6628::B"* dereferenceable({{[0-9]+}}) %0) unnamed_addr
150 // CHECK: call void @_ZN6PR66281TC1Ev
151 // CHECK: call void @_ZN6PR66281TC1Ev
152 // CHECK: call void @_ZN6PR66281AC2ERKS0_RKNS_1TES5_
153 // CHECK: call void @_ZN6PR66281TD1Ev
154 // CHECK: call void @_ZN6PR66281TD1Ev
155 // CHECK: call void @_ZN6PR66281TC1Ev
156 // CHECK: call void @_ZN6PR66281TC1Ev
157 // CHECK: call void @_ZN6PR66281AC1ERKS0_RKNS_1TES5_
158 // CHECK: call void @_ZN6PR66281TD1Ev
159 // CHECK: call void @_ZN6PR66281TD1Ev
160 // CHECK: call void @_ZN6PR66281TC1Ev
161 // CHECK: call void @_ZN6PR66281TC1Ev
162 // CHECK: call void @_ZN6PR66281AC1ERKS0_RKNS_1TES5_
163 // CHECK: call void @_ZN6PR66281TD1Ev
164 // CHECK: call void @_ZN6PR66281TD1Ev
165
166 // CHECK-LABEL: define linkonce_odr void @_ZN12rdar138169401AC2ERKS0_(
167 // CHECK: [[THIS:%.*]] = load [[A]]*, [[A]]**
168 // CHECK-NEXT: [[T0:%.*]] = bitcast [[A]]* [[THIS]] to i32 (...)***
169 // CHECK-NEXT: store i32 (...)** bitcast (i8** getelementptr inbounds ({ [4 x i8*] }, { [4 x i8*] }* @_ZTVN12rdar138169401AE, i32 0, inrange i32 0, i32 2) to i32 (...)**), i32 (...)*** [[T0]]
170 // CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[A]], [[A]]* [[THIS]], i32 0, i32 1
171 // CHECK-NEXT: [[OTHER:%.*]] = load [[A]]*, [[A]]**
172 // CHECK-NEXT: [[T2:%.*]] = getelementptr inbounds [[A]], [[A]]* [[OTHER]], i32 0, i32 1
173 // CHECK-NEXT: [[T4:%.*]] = bitcast i16* [[T0]] to i8*
174 // CHECK-NEXT: [[T5:%.*]] = bitcast i16* [[T2]] to i8*
175 // CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 8 [[T4]], i8* align 8 [[T5]], i64 8, i1 false)
176 // CHECK-NEXT: ret void
177 }
178
179 // rdar://13816940
180 // Test above because things get weirdly re-ordered.
181 namespace rdar13816940 {
182 struct A {
183 virtual ~A();
184 unsigned short a : 1;
185 unsigned short : 15;
186 unsigned other;
187 };
188
test(A & a)189 void test(A &a) {
190 A x = a; // force copy constructor into existence
191 x = a; // also force the copy assignment operator
192 }
193 }
194