Implement throw d, where d is a class type that requires copy

construction.  WIP.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@89442 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 22 insertions, 2 deletions

diff --git a/lib/CodeGen/CGException.cpp b/lib/CodeGen/CGException.cpp
index fafdf87aab..e1ba0459ac 100644
--- a/lib/CodeGen/CGException.cpp
+++ b/lib/CodeGen/CGException.cpp
@@ -88,9 +88,29 @@ void CodeGenFunction::EmitCXXThrowExpr(const CXXThrowExpr *E) {
     const llvm::Type *Ty = ConvertType(ThrowType)->getPointerTo(0);
     const CXXRecordDecl *RD;
     RD = cast<CXXRecordDecl>(ThrowType->getAs<RecordType>()->getDecl());
+    llvm::Value *This = Builder.CreateBitCast(ExceptionPtr, Ty);
     if (RD->hasTrivialCopyConstructor()) {
-      EmitAggExpr(E->getSubExpr(), Builder.CreateBitCast(ExceptionPtr, Ty),
-                  false);
+      EmitAggExpr(E->getSubExpr(), This, false);
+    } else if (CXXConstructorDecl *CopyCtor
+               = RD->getCopyConstructor(getContext(), 0)) {
+      // FIXME: region management
+      llvm::Value *Src = EmitLValue(E->getSubExpr()).getAddress();
+
+      // Stolen from EmitClassAggrMemberwiseCopy
+      llvm::Value *Callee = CGM.GetAddrOfCXXConstructor(CopyCtor,
+                                                        Ctor_Complete);
+      CallArgList CallArgs;
+      CallArgs.push_back(std::make_pair(RValue::get(This),
+                                        CopyCtor->getThisType(getContext())));
+
+      // Push the Src ptr.
+      CallArgs.push_back(std::make_pair(RValue::get(Src),
+                                        CopyCtor->getParamDecl(0)->getType()));
+      QualType ResultType =
+        CopyCtor->getType()->getAs<FunctionType>()->getResultType();
+      EmitCall(CGM.getTypes().getFunctionInfo(ResultType, CallArgs),
+               Callee, CallArgs, CopyCtor);
+      // FIXME: region management
     } else
       ErrorUnsupported(E, "throw expression with copy ctor");
   }