Clang Project

clang_source_code/test/CodeGenCXX/copy-constructor-synthesis.cpp
1// RUN: %clang_cc1 -triple x86_64-apple-darwin -emit-llvm -o - %s | FileCheck %s
2
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_(%struct.X* %this, %struct.X* dereferenceable({{[0-9]+}})) unnamed_addr
25struct 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// PR6628
115namespace 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 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]+}})) 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.
181namespace rdar13816940 {
182  struct A {
183    virtual ~A();
184    unsigned short a : 1;
185    unsigned short : 15;
186    unsigned other;
187  };
188
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
CodeThinker, Enjoy your reading code