[cfe-commits] r79125 - in /cfe/trunk: lib/CodeGen/CGCXX.cpp test/CodeGenCXX/default-constructor-for-members.cpp

[Fariborz Jahanian]

Author: fjahanian
Date: Sat Aug 15 13:55:17 2009
New Revision: 79125

URL: http://llvm.org/viewvc/llvm-project?rev=79125&view=rev
Log:
Improved on ir-gen for synthesis of non-trivial default
constructor body whose class has non-static data-members which
required non-trivial construction.

Added:
    cfe/trunk/test/CodeGenCXX/default-constructor-for-members.cpp
Modified:
    cfe/trunk/lib/CodeGen/CGCXX.cpp

Modified: cfe/trunk/lib/CodeGen/CGCXX.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/CodeGen/CGCXX.cpp?rev=79125&r1=79124&r2=79125&view=diff

==============================================================================
--- cfe/trunk/lib/CodeGen/CGCXX.cpp (original)
+++ cfe/trunk/lib/CodeGen/CGCXX.cpp Sat Aug 15 13:55:17 2009
@@ -1129,6 +1129,29 @@
     }
   }
 
+  if (!CD->isTrivial() && CD->getNumBaseOrMemberInitializers() == 0)
+    // Nontrivial default constructor with no initializer list. It may still
+    // contain non-static data members which require construction.
+    for (CXXRecordDecl::field_iterator Field = ClassDecl->field_begin(),
+         FieldEnd = ClassDecl->field_end();
+         Field != FieldEnd; ++Field) {
+      QualType FieldType = getContext().getCanonicalType((*Field)->getType());
+      if (!FieldType->getAs<RecordType>() || Field->isAnonymousStructOrUnion())
+        continue;
+      const RecordType *ClassRec = FieldType->getAs<RecordType>();
+      if (CXXRecordDecl *MemberClassDecl = 
+            dyn_cast<CXXRecordDecl>(ClassRec->getDecl())) {
+        if (MemberClassDecl->hasTrivialConstructor())
+          continue;
+        if (CXXConstructorDecl *MamberCX = 
+              MemberClassDecl->getDefaultConstructor(getContext())) {
+          LoadOfThis = LoadCXXThis();
+          LValue LHS = EmitLValueForField(LoadOfThis, *Field, false, 0);
+          EmitCXXConstructorCall(MamberCX, Ctor_Complete, LHS.getAddress(), 0, 0);
+        }
+      }
+    }
+
   // Initialize the vtable pointer
   if (ClassDecl->isDynamicClass()) {
     if (!LoadOfThis)

Added: cfe/trunk/test/CodeGenCXX/default-constructor-for-members.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CodeGenCXX/default-constructor-for-members.cpp?rev=79125&view=auto

==============================================================================
--- cfe/trunk/test/CodeGenCXX/default-constructor-for-members.cpp (added)
+++ cfe/trunk/test/CodeGenCXX/default-constructor-for-members.cpp Sat Aug 15 13:55:17 2009
@@ -0,0 +1,24 @@
+// RUN: clang-cc -triple x86_64-apple-darwin -S %s -o %t-64.s &&
+// RUN: FileCheck -check-prefix LP64 --input-file=%t-64.s %s &&
+// RUN: clang-cc -triple i386-apple-darwin -S %s -o %t-32.s &&
+// RUN: FileCheck -check-prefix LP32 --input-file=%t-32.s %s &&
+// RUN: true
+
+extern "C" int printf(...);
+
+struct S {
+  S() { printf("S::S()\n"); }
+  int iS;
+};
+
+struct M {
+  S ARR_S; 
+};
+
+int main() {
+  M m1;
+}
+
+// CHECK-LP64: call	__ZN1SC1Ev
+
+// CHECK-LP32: call	L__ZN1SC1Ev