Complete reimplementation of the synthesis for implicitly-defined copy
assignment operators.
Previously, Sema provided type-checking and template instantiation for
copy assignment operators, then CodeGen would synthesize the actual
body of the copy constructor. Unfortunately, the two were not in sync,
and CodeGen might pick a copy-assignment operator that is different
from what Sema chose, leading to strange failures, e.g., link-time
failures when CodeGen called a copy-assignment operator that was not
instantiation, run-time failures when copy-assignment operators were
overloaded for const/non-const references and the wrong one was
picked, and run-time failures when by-value copy-assignment operators
did not have their arguments properly copy-initialized.
This implementation synthesizes the implicitly-defined copy assignment
operator bodies in Sema, so that the resulting ASTs encode exactly
what CodeGen needs to do; there is no longer any special code in
CodeGen to synthesize copy-assignment operators. The synthesis of the
body is relatively simple, and we generate one of three different
kinds of copy statements for each base or member:
- For a class subobject, call the appropriate copy-assignment
operator, after overload resolution has determined what that is.
- For an array of scalar types or an array of class types that have
trivial copy assignment operators, construct a call to
__builtin_memcpy.
- For an array of class types with non-trivial copy assignment
operators, synthesize a (possibly nested!) for loop whose inner
statement calls the copy constructor.
- For a scalar type, use built-in assignment.
This patch fixes at least a few tests cases in Boost.Spirit that were
failing because CodeGen picked the wrong copy-assignment operator
(leading to link-time failures), and I suspect a number of undiagnosed
problems will also go away with this change.
Some of the diagnostics we had previously have gotten worse with this
change, since we're going through generic code for our
type-checking. I will improve this in a subsequent patch.
llvm-svn: 102853
2010-05-02 04:49:11 +08:00
|
|
|
// RUN: %clang_cc1 -emit-llvm -triple x86_64-apple-darwin10.0.0 -o - %s | FileCheck %s
|
|
|
|
|
struct A {
|
|
|
|
|
A &operator=(const A&);
|
|
|
|
|
A &operator=(A&);
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
struct B {
|
|
|
|
|
B &operator=(B&);
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
struct C {
|
|
|
|
|
virtual C& operator=(const C&);
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
struct POD {
|
|
|
|
|
int array[3][4];
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
struct CopyByValue {
|
|
|
|
|
CopyByValue(const CopyByValue&);
|
|
|
|
|
CopyByValue &operator=(CopyByValue);
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
struct D : A, B, virtual C {
|
|
|
|
|
int scalar;
|
|
|
|
|
int scalar_array[2][3];
|
|
|
|
|
B class_member;
|
|
|
|
|
C class_member_array[2][3];
|
|
|
|
|
POD pod_array[2][3];
|
|
|
|
|
|
|
|
|
|
union {
|
|
|
|
|
int x;
|
|
|
|
|
float f[3];
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
CopyByValue by_value;
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
void test_D(D d1, D d2) {
|
|
|
|
|
d1 = d2;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// CHECK: define linkonce_odr %struct.D* @_ZN1DaSERS_
|
|
|
|
|
// CHECK: {{call.*_ZN1AaSERS_}}
|
|
|
|
|
// CHECK: {{call.*_ZN1BaSERS_}}
|
|
|
|
|
// CHECK: {{call.*_ZN1CaSERKS_}}
|
|
|
|
|
// CHECK: {{call void @llvm.memcpy.p0i8.p0i8.i64.*i64 24}}
|
|
|
|
|
// CHECK: {{call.*_ZN1BaSERS_}}
|
2010-05-03 23:51:04 +08:00
|
|
|
// CHECK: br
|
Complete reimplementation of the synthesis for implicitly-defined copy
assignment operators.
Previously, Sema provided type-checking and template instantiation for
copy assignment operators, then CodeGen would synthesize the actual
body of the copy constructor. Unfortunately, the two were not in sync,
and CodeGen might pick a copy-assignment operator that is different
from what Sema chose, leading to strange failures, e.g., link-time
failures when CodeGen called a copy-assignment operator that was not
instantiation, run-time failures when copy-assignment operators were
overloaded for const/non-const references and the wrong one was
picked, and run-time failures when by-value copy-assignment operators
did not have their arguments properly copy-initialized.
This implementation synthesizes the implicitly-defined copy assignment
operator bodies in Sema, so that the resulting ASTs encode exactly
what CodeGen needs to do; there is no longer any special code in
CodeGen to synthesize copy-assignment operators. The synthesis of the
body is relatively simple, and we generate one of three different
kinds of copy statements for each base or member:
- For a class subobject, call the appropriate copy-assignment
operator, after overload resolution has determined what that is.
- For an array of scalar types or an array of class types that have
trivial copy assignment operators, construct a call to
__builtin_memcpy.
- For an array of class types with non-trivial copy assignment
operators, synthesize a (possibly nested!) for loop whose inner
statement calls the copy constructor.
- For a scalar type, use built-in assignment.
This patch fixes at least a few tests cases in Boost.Spirit that were
failing because CodeGen picked the wrong copy-assignment operator
(leading to link-time failures), and I suspect a number of undiagnosed
problems will also go away with this change.
Some of the diagnostics we had previously have gotten worse with this
change, since we're going through generic code for our
type-checking. I will improve this in a subsequent patch.
llvm-svn: 102853
2010-05-02 04:49:11 +08:00
|
|
|
// CHECK: {{call.*_ZN1CaSERKS_}}
|
|
|
|
|
// CHECK: {{call void @llvm.memcpy.p0i8.p0i8.i64.*i64 288}}
|
|
|
|
|
// CHECK: {{call void @llvm.memcpy.p0i8.p0i8.i64.*i64 12}}
|
|
|
|
|
// CHECK: call void @_ZN11CopyByValueC1ERKS_
|
|
|
|
|
// CHECK: {{call.*_ZN11CopyByValueaSES_}}
|
|
|
|
|
// CHECK: ret
|
|
|
|
|
|