159486a2dSAnders Carlsson //===--- CGExprCXX.cpp - Emit LLVM Code for C++ expressions ---------------===// 259486a2dSAnders Carlsson // 359486a2dSAnders Carlsson // The LLVM Compiler Infrastructure 459486a2dSAnders Carlsson // 559486a2dSAnders Carlsson // This file is distributed under the University of Illinois Open Source 659486a2dSAnders Carlsson // License. See LICENSE.TXT for details. 759486a2dSAnders Carlsson // 859486a2dSAnders Carlsson //===----------------------------------------------------------------------===// 959486a2dSAnders Carlsson // 1059486a2dSAnders Carlsson // This contains code dealing with code generation of C++ expressions 1159486a2dSAnders Carlsson // 1259486a2dSAnders Carlsson //===----------------------------------------------------------------------===// 1359486a2dSAnders Carlsson 1491bbb554SDevang Patel #include "clang/Frontend/CodeGenOptions.h" 1559486a2dSAnders Carlsson #include "CodeGenFunction.h" 165d865c32SJohn McCall #include "CGCXXABI.h" 1760d215b6SFariborz Jahanian #include "CGObjCRuntime.h" 1891bbb554SDevang Patel #include "CGDebugInfo.h" 1926008e07SChris Lattner #include "llvm/Intrinsics.h" 20*bbe277c4SAnders Carlsson #include "llvm/Support/CallSite.h" 21*bbe277c4SAnders Carlsson 2259486a2dSAnders Carlsson using namespace clang; 2359486a2dSAnders Carlsson using namespace CodeGen; 2459486a2dSAnders Carlsson 2527da15baSAnders Carlsson RValue CodeGenFunction::EmitCXXMemberCall(const CXXMethodDecl *MD, 2627da15baSAnders Carlsson llvm::Value *Callee, 2727da15baSAnders Carlsson ReturnValueSlot ReturnValue, 2827da15baSAnders Carlsson llvm::Value *This, 29e36a6b3eSAnders Carlsson llvm::Value *VTT, 3027da15baSAnders Carlsson CallExpr::const_arg_iterator ArgBeg, 3127da15baSAnders Carlsson CallExpr::const_arg_iterator ArgEnd) { 3227da15baSAnders Carlsson assert(MD->isInstance() && 3327da15baSAnders Carlsson "Trying to emit a member call expr on a static method!"); 3427da15baSAnders Carlsson 3527da15baSAnders Carlsson const FunctionProtoType *FPT = MD->getType()->getAs<FunctionProtoType>(); 3627da15baSAnders Carlsson 3727da15baSAnders Carlsson CallArgList Args; 3827da15baSAnders Carlsson 3927da15baSAnders Carlsson // Push the this ptr. 4027da15baSAnders Carlsson Args.push_back(std::make_pair(RValue::get(This), 4127da15baSAnders Carlsson MD->getThisType(getContext()))); 4227da15baSAnders Carlsson 43e36a6b3eSAnders Carlsson // If there is a VTT parameter, emit it. 44e36a6b3eSAnders Carlsson if (VTT) { 45e36a6b3eSAnders Carlsson QualType T = getContext().getPointerType(getContext().VoidPtrTy); 46e36a6b3eSAnders Carlsson Args.push_back(std::make_pair(RValue::get(VTT), T)); 47e36a6b3eSAnders Carlsson } 48e36a6b3eSAnders Carlsson 4927da15baSAnders Carlsson // And the rest of the call args 5027da15baSAnders Carlsson EmitCallArgs(Args, FPT, ArgBeg, ArgEnd); 5127da15baSAnders Carlsson 52ab26cfa5SJohn McCall QualType ResultType = FPT->getResultType(); 5399cc30c3STilmann Scheller return EmitCall(CGM.getTypes().getFunctionInfo(ResultType, Args, 5499cc30c3STilmann Scheller FPT->getExtInfo()), 55c50c27ccSRafael Espindola Callee, ReturnValue, Args, MD); 5627da15baSAnders Carlsson } 5727da15baSAnders Carlsson 581ae64c5aSAnders Carlsson static const CXXRecordDecl *getMostDerivedClassDecl(const Expr *Base) { 596b3afd7dSAnders Carlsson const Expr *E = Base; 606b3afd7dSAnders Carlsson 616b3afd7dSAnders Carlsson while (true) { 626b3afd7dSAnders Carlsson E = E->IgnoreParens(); 636b3afd7dSAnders Carlsson if (const CastExpr *CE = dyn_cast<CastExpr>(E)) { 646b3afd7dSAnders Carlsson if (CE->getCastKind() == CK_DerivedToBase || 656b3afd7dSAnders Carlsson CE->getCastKind() == CK_UncheckedDerivedToBase || 666b3afd7dSAnders Carlsson CE->getCastKind() == CK_NoOp) { 676b3afd7dSAnders Carlsson E = CE->getSubExpr(); 686b3afd7dSAnders Carlsson continue; 696b3afd7dSAnders Carlsson } 706b3afd7dSAnders Carlsson } 716b3afd7dSAnders Carlsson 726b3afd7dSAnders Carlsson break; 736b3afd7dSAnders Carlsson } 746b3afd7dSAnders Carlsson 756b3afd7dSAnders Carlsson QualType DerivedType = E->getType(); 761ae64c5aSAnders Carlsson if (const PointerType *PTy = DerivedType->getAs<PointerType>()) 771ae64c5aSAnders Carlsson DerivedType = PTy->getPointeeType(); 781ae64c5aSAnders Carlsson 791ae64c5aSAnders Carlsson return cast<CXXRecordDecl>(DerivedType->castAs<RecordType>()->getDecl()); 801ae64c5aSAnders Carlsson } 811ae64c5aSAnders Carlsson 82c53d9e83SAnders Carlsson // FIXME: Ideally Expr::IgnoreParenNoopCasts should do this, but it doesn't do 83c53d9e83SAnders Carlsson // quite what we want. 84c53d9e83SAnders Carlsson static const Expr *skipNoOpCastsAndParens(const Expr *E) { 85c53d9e83SAnders Carlsson while (true) { 86c53d9e83SAnders Carlsson if (const ParenExpr *PE = dyn_cast<ParenExpr>(E)) { 87c53d9e83SAnders Carlsson E = PE->getSubExpr(); 88c53d9e83SAnders Carlsson continue; 89c53d9e83SAnders Carlsson } 90c53d9e83SAnders Carlsson 91c53d9e83SAnders Carlsson if (const CastExpr *CE = dyn_cast<CastExpr>(E)) { 92c53d9e83SAnders Carlsson if (CE->getCastKind() == CK_NoOp) { 93c53d9e83SAnders Carlsson E = CE->getSubExpr(); 94c53d9e83SAnders Carlsson continue; 95c53d9e83SAnders Carlsson } 96c53d9e83SAnders Carlsson } 97c53d9e83SAnders Carlsson if (const UnaryOperator *UO = dyn_cast<UnaryOperator>(E)) { 98c53d9e83SAnders Carlsson if (UO->getOpcode() == UO_Extension) { 99c53d9e83SAnders Carlsson E = UO->getSubExpr(); 100c53d9e83SAnders Carlsson continue; 101c53d9e83SAnders Carlsson } 102c53d9e83SAnders Carlsson } 103c53d9e83SAnders Carlsson return E; 104c53d9e83SAnders Carlsson } 105c53d9e83SAnders Carlsson } 106c53d9e83SAnders Carlsson 10727da15baSAnders Carlsson /// canDevirtualizeMemberFunctionCalls - Checks whether virtual calls on given 10827da15baSAnders Carlsson /// expr can be devirtualized. 109252a47f6SFariborz Jahanian static bool canDevirtualizeMemberFunctionCalls(ASTContext &Context, 110252a47f6SFariborz Jahanian const Expr *Base, 111a7911fa3SAnders Carlsson const CXXMethodDecl *MD) { 112a7911fa3SAnders Carlsson 1131ae64c5aSAnders Carlsson // When building with -fapple-kext, all calls must go through the vtable since 1141ae64c5aSAnders Carlsson // the kernel linker can do runtime patching of vtables. 115252a47f6SFariborz Jahanian if (Context.getLangOptions().AppleKext) 116252a47f6SFariborz Jahanian return false; 117252a47f6SFariborz Jahanian 1181ae64c5aSAnders Carlsson // If the most derived class is marked final, we know that no subclass can 1191ae64c5aSAnders Carlsson // override this member function and so we can devirtualize it. For example: 1201ae64c5aSAnders Carlsson // 1211ae64c5aSAnders Carlsson // struct A { virtual void f(); } 1221ae64c5aSAnders Carlsson // struct B final : A { }; 1231ae64c5aSAnders Carlsson // 1241ae64c5aSAnders Carlsson // void f(B *b) { 1251ae64c5aSAnders Carlsson // b->f(); 1261ae64c5aSAnders Carlsson // } 1271ae64c5aSAnders Carlsson // 1281ae64c5aSAnders Carlsson const CXXRecordDecl *MostDerivedClassDecl = getMostDerivedClassDecl(Base); 1291ae64c5aSAnders Carlsson if (MostDerivedClassDecl->hasAttr<FinalAttr>()) 1301ae64c5aSAnders Carlsson return true; 1311ae64c5aSAnders Carlsson 13219588aa4SAnders Carlsson // If the member function is marked 'final', we know that it can't be 133b00c2144SAnders Carlsson // overridden and can therefore devirtualize it. 1341eb95961SAnders Carlsson if (MD->hasAttr<FinalAttr>()) 135a7911fa3SAnders Carlsson return true; 136a7911fa3SAnders Carlsson 13719588aa4SAnders Carlsson // Similarly, if the class itself is marked 'final' it can't be overridden 13819588aa4SAnders Carlsson // and we can therefore devirtualize the member function call. 1391eb95961SAnders Carlsson if (MD->getParent()->hasAttr<FinalAttr>()) 140b00c2144SAnders Carlsson return true; 141b00c2144SAnders Carlsson 142c53d9e83SAnders Carlsson Base = skipNoOpCastsAndParens(Base); 14327da15baSAnders Carlsson if (const DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(Base)) { 14427da15baSAnders Carlsson if (const VarDecl *VD = dyn_cast<VarDecl>(DRE->getDecl())) { 14527da15baSAnders Carlsson // This is a record decl. We know the type and can devirtualize it. 14627da15baSAnders Carlsson return VD->getType()->isRecordType(); 14727da15baSAnders Carlsson } 14827da15baSAnders Carlsson 14927da15baSAnders Carlsson return false; 15027da15baSAnders Carlsson } 15127da15baSAnders Carlsson 15227da15baSAnders Carlsson // We can always devirtualize calls on temporary object expressions. 153a682427eSEli Friedman if (isa<CXXConstructExpr>(Base)) 15427da15baSAnders Carlsson return true; 15527da15baSAnders Carlsson 15627da15baSAnders Carlsson // And calls on bound temporaries. 15727da15baSAnders Carlsson if (isa<CXXBindTemporaryExpr>(Base)) 15827da15baSAnders Carlsson return true; 15927da15baSAnders Carlsson 16027da15baSAnders Carlsson // Check if this is a call expr that returns a record type. 16127da15baSAnders Carlsson if (const CallExpr *CE = dyn_cast<CallExpr>(Base)) 16227da15baSAnders Carlsson return CE->getCallReturnType()->isRecordType(); 16327da15baSAnders Carlsson 16427da15baSAnders Carlsson // We can't devirtualize the call. 16527da15baSAnders Carlsson return false; 16627da15baSAnders Carlsson } 16727da15baSAnders Carlsson 16864225794SFrancois Pichet // Note: This function also emit constructor calls to support a MSVC 16964225794SFrancois Pichet // extensions allowing explicit constructor function call. 17027da15baSAnders Carlsson RValue CodeGenFunction::EmitCXXMemberCallExpr(const CXXMemberCallExpr *CE, 17127da15baSAnders Carlsson ReturnValueSlot ReturnValue) { 1722d2e8707SJohn McCall const Expr *callee = CE->getCallee()->IgnoreParens(); 1732d2e8707SJohn McCall 1742d2e8707SJohn McCall if (isa<BinaryOperator>(callee)) 17527da15baSAnders Carlsson return EmitCXXMemberPointerCallExpr(CE, ReturnValue); 17627da15baSAnders Carlsson 1772d2e8707SJohn McCall const MemberExpr *ME = cast<MemberExpr>(callee); 17827da15baSAnders Carlsson const CXXMethodDecl *MD = cast<CXXMethodDecl>(ME->getMemberDecl()); 17927da15baSAnders Carlsson 18091bbb554SDevang Patel CGDebugInfo *DI = getDebugInfo(); 181401c916cSDevang Patel if (DI && CGM.getCodeGenOpts().LimitDebugInfo 182401c916cSDevang Patel && !isa<CallExpr>(ME->getBase())) { 18391bbb554SDevang Patel QualType PQTy = ME->getBase()->IgnoreParenImpCasts()->getType(); 18491bbb554SDevang Patel if (const PointerType * PTy = dyn_cast<PointerType>(PQTy)) { 18591bbb554SDevang Patel DI->getOrCreateRecordType(PTy->getPointeeType(), 18691bbb554SDevang Patel MD->getParent()->getLocation()); 18791bbb554SDevang Patel } 18891bbb554SDevang Patel } 18991bbb554SDevang Patel 19027da15baSAnders Carlsson if (MD->isStatic()) { 19127da15baSAnders Carlsson // The method is static, emit it as we would a regular call. 19227da15baSAnders Carlsson llvm::Value *Callee = CGM.GetAddrOfFunction(MD); 19327da15baSAnders Carlsson return EmitCall(getContext().getPointerType(MD->getType()), Callee, 19427da15baSAnders Carlsson ReturnValue, CE->arg_begin(), CE->arg_end()); 19527da15baSAnders Carlsson } 19627da15baSAnders Carlsson 1970d635f53SJohn McCall // Compute the object pointer. 19827da15baSAnders Carlsson llvm::Value *This; 19927da15baSAnders Carlsson if (ME->isArrow()) 20027da15baSAnders Carlsson This = EmitScalarExpr(ME->getBase()); 201f93ac894SFariborz Jahanian else 202e26a872bSJohn McCall This = EmitLValue(ME->getBase()).getAddress(); 20327da15baSAnders Carlsson 2040d635f53SJohn McCall if (MD->isTrivial()) { 2050d635f53SJohn McCall if (isa<CXXDestructorDecl>(MD)) return RValue::get(0); 20664225794SFrancois Pichet if (isa<CXXConstructorDecl>(MD) && 20764225794SFrancois Pichet cast<CXXConstructorDecl>(MD)->isDefaultConstructor()) 20864225794SFrancois Pichet return RValue::get(0); 2090d635f53SJohn McCall 21064225794SFrancois Pichet if (MD->isCopyAssignmentOperator()) { 21127da15baSAnders Carlsson // We don't like to generate the trivial copy assignment operator when 21227da15baSAnders Carlsson // it isn't necessary; just produce the proper effect here. 21327da15baSAnders Carlsson llvm::Value *RHS = EmitLValue(*CE->arg_begin()).getAddress(); 21427da15baSAnders Carlsson EmitAggregateCopy(This, RHS, CE->getType()); 21527da15baSAnders Carlsson return RValue::get(This); 21627da15baSAnders Carlsson } 21727da15baSAnders Carlsson 21864225794SFrancois Pichet if (isa<CXXConstructorDecl>(MD) && 21964225794SFrancois Pichet cast<CXXConstructorDecl>(MD)->isCopyConstructor()) { 22064225794SFrancois Pichet llvm::Value *RHS = EmitLValue(*CE->arg_begin()).getAddress(); 22164225794SFrancois Pichet EmitSynthesizedCXXCopyCtorCall(cast<CXXConstructorDecl>(MD), This, RHS, 22264225794SFrancois Pichet CE->arg_begin(), CE->arg_end()); 22364225794SFrancois Pichet return RValue::get(This); 22464225794SFrancois Pichet } 22564225794SFrancois Pichet llvm_unreachable("unknown trivial member function"); 22664225794SFrancois Pichet } 22764225794SFrancois Pichet 2280d635f53SJohn McCall // Compute the function type we're calling. 22964225794SFrancois Pichet const CGFunctionInfo *FInfo = 0; 23064225794SFrancois Pichet if (isa<CXXDestructorDecl>(MD)) 23164225794SFrancois Pichet FInfo = &CGM.getTypes().getFunctionInfo(cast<CXXDestructorDecl>(MD), 23264225794SFrancois Pichet Dtor_Complete); 23364225794SFrancois Pichet else if (isa<CXXConstructorDecl>(MD)) 23464225794SFrancois Pichet FInfo = &CGM.getTypes().getFunctionInfo(cast<CXXConstructorDecl>(MD), 23564225794SFrancois Pichet Ctor_Complete); 23664225794SFrancois Pichet else 23764225794SFrancois Pichet FInfo = &CGM.getTypes().getFunctionInfo(MD); 2380d635f53SJohn McCall 2390d635f53SJohn McCall const FunctionProtoType *FPT = MD->getType()->getAs<FunctionProtoType>(); 2400d635f53SJohn McCall const llvm::Type *Ty 24164225794SFrancois Pichet = CGM.getTypes().GetFunctionType(*FInfo, FPT->isVariadic()); 2420d635f53SJohn McCall 24327da15baSAnders Carlsson // C++ [class.virtual]p12: 24427da15baSAnders Carlsson // Explicit qualification with the scope operator (5.1) suppresses the 24527da15baSAnders Carlsson // virtual call mechanism. 24627da15baSAnders Carlsson // 24727da15baSAnders Carlsson // We also don't emit a virtual call if the base expression has a record type 24827da15baSAnders Carlsson // because then we know what the type is. 24947609b08SFariborz Jahanian bool UseVirtualCall; 25047609b08SFariborz Jahanian UseVirtualCall = MD->isVirtual() && !ME->hasQualifier() 251252a47f6SFariborz Jahanian && !canDevirtualizeMemberFunctionCalls(getContext(), 252252a47f6SFariborz Jahanian ME->getBase(), MD); 25327da15baSAnders Carlsson llvm::Value *Callee; 2540d635f53SJohn McCall if (const CXXDestructorDecl *Dtor = dyn_cast<CXXDestructorDecl>(MD)) { 2550d635f53SJohn McCall if (UseVirtualCall) { 2560d635f53SJohn McCall Callee = BuildVirtualCall(Dtor, Dtor_Complete, This, Ty); 25727da15baSAnders Carlsson } else { 258265c325eSFariborz Jahanian if (getContext().getLangOptions().AppleKext && 259265c325eSFariborz Jahanian MD->isVirtual() && 260265c325eSFariborz Jahanian ME->hasQualifier()) 2617f6f81baSFariborz Jahanian Callee = BuildAppleKextVirtualCall(MD, ME->getQualifier(), Ty); 262265c325eSFariborz Jahanian else 2630d635f53SJohn McCall Callee = CGM.GetAddrOfFunction(GlobalDecl(Dtor, Dtor_Complete), Ty); 26427da15baSAnders Carlsson } 26564225794SFrancois Pichet } else if (const CXXConstructorDecl *Ctor = 26664225794SFrancois Pichet dyn_cast<CXXConstructorDecl>(MD)) { 26764225794SFrancois Pichet Callee = CGM.GetAddrOfFunction(GlobalDecl(Ctor, Ctor_Complete), Ty); 2680d635f53SJohn McCall } else if (UseVirtualCall) { 26927da15baSAnders Carlsson Callee = BuildVirtualCall(MD, This, Ty); 27027da15baSAnders Carlsson } else { 271252a47f6SFariborz Jahanian if (getContext().getLangOptions().AppleKext && 2729f9438b3SFariborz Jahanian MD->isVirtual() && 273252a47f6SFariborz Jahanian ME->hasQualifier()) 2747f6f81baSFariborz Jahanian Callee = BuildAppleKextVirtualCall(MD, ME->getQualifier(), Ty); 275252a47f6SFariborz Jahanian else 27627da15baSAnders Carlsson Callee = CGM.GetAddrOfFunction(MD, Ty); 27727da15baSAnders Carlsson } 27827da15baSAnders Carlsson 279e36a6b3eSAnders Carlsson return EmitCXXMemberCall(MD, Callee, ReturnValue, This, /*VTT=*/0, 28027da15baSAnders Carlsson CE->arg_begin(), CE->arg_end()); 28127da15baSAnders Carlsson } 28227da15baSAnders Carlsson 28327da15baSAnders Carlsson RValue 28427da15baSAnders Carlsson CodeGenFunction::EmitCXXMemberPointerCallExpr(const CXXMemberCallExpr *E, 28527da15baSAnders Carlsson ReturnValueSlot ReturnValue) { 28627da15baSAnders Carlsson const BinaryOperator *BO = 28727da15baSAnders Carlsson cast<BinaryOperator>(E->getCallee()->IgnoreParens()); 28827da15baSAnders Carlsson const Expr *BaseExpr = BO->getLHS(); 28927da15baSAnders Carlsson const Expr *MemFnExpr = BO->getRHS(); 29027da15baSAnders Carlsson 29127da15baSAnders Carlsson const MemberPointerType *MPT = 29227da15baSAnders Carlsson MemFnExpr->getType()->getAs<MemberPointerType>(); 293475999dcSJohn McCall 29427da15baSAnders Carlsson const FunctionProtoType *FPT = 29527da15baSAnders Carlsson MPT->getPointeeType()->getAs<FunctionProtoType>(); 29627da15baSAnders Carlsson const CXXRecordDecl *RD = 29727da15baSAnders Carlsson cast<CXXRecordDecl>(MPT->getClass()->getAs<RecordType>()->getDecl()); 29827da15baSAnders Carlsson 29927da15baSAnders Carlsson // Get the member function pointer. 300a1dee530SJohn McCall llvm::Value *MemFnPtr = EmitScalarExpr(MemFnExpr); 30127da15baSAnders Carlsson 30227da15baSAnders Carlsson // Emit the 'this' pointer. 30327da15baSAnders Carlsson llvm::Value *This; 30427da15baSAnders Carlsson 305e302792bSJohn McCall if (BO->getOpcode() == BO_PtrMemI) 30627da15baSAnders Carlsson This = EmitScalarExpr(BaseExpr); 30727da15baSAnders Carlsson else 30827da15baSAnders Carlsson This = EmitLValue(BaseExpr).getAddress(); 30927da15baSAnders Carlsson 310475999dcSJohn McCall // Ask the ABI to load the callee. Note that This is modified. 311475999dcSJohn McCall llvm::Value *Callee = 312ad7c5c16SJohn McCall CGM.getCXXABI().EmitLoadOfMemberFunctionPointer(*this, This, MemFnPtr, MPT); 31327da15baSAnders Carlsson 31427da15baSAnders Carlsson CallArgList Args; 31527da15baSAnders Carlsson 31627da15baSAnders Carlsson QualType ThisType = 31727da15baSAnders Carlsson getContext().getPointerType(getContext().getTagDeclType(RD)); 31827da15baSAnders Carlsson 31927da15baSAnders Carlsson // Push the this ptr. 32027da15baSAnders Carlsson Args.push_back(std::make_pair(RValue::get(This), ThisType)); 32127da15baSAnders Carlsson 32227da15baSAnders Carlsson // And the rest of the call args 32327da15baSAnders Carlsson EmitCallArgs(Args, FPT, E->arg_begin(), E->arg_end()); 324ab26cfa5SJohn McCall const FunctionType *BO_FPT = BO->getType()->getAs<FunctionProtoType>(); 32599cc30c3STilmann Scheller return EmitCall(CGM.getTypes().getFunctionInfo(Args, BO_FPT), Callee, 32699cc30c3STilmann Scheller ReturnValue, Args); 32727da15baSAnders Carlsson } 32827da15baSAnders Carlsson 32927da15baSAnders Carlsson RValue 33027da15baSAnders Carlsson CodeGenFunction::EmitCXXOperatorMemberCallExpr(const CXXOperatorCallExpr *E, 33127da15baSAnders Carlsson const CXXMethodDecl *MD, 33227da15baSAnders Carlsson ReturnValueSlot ReturnValue) { 33327da15baSAnders Carlsson assert(MD->isInstance() && 33427da15baSAnders Carlsson "Trying to emit a member call expr on a static method!"); 335e26a872bSJohn McCall LValue LV = EmitLValue(E->getArg(0)); 336e26a872bSJohn McCall llvm::Value *This = LV.getAddress(); 337e26a872bSJohn McCall 338ec3bec0cSDouglas Gregor if (MD->isCopyAssignmentOperator()) { 33927da15baSAnders Carlsson const CXXRecordDecl *ClassDecl = cast<CXXRecordDecl>(MD->getDeclContext()); 34027da15baSAnders Carlsson if (ClassDecl->hasTrivialCopyAssignment()) { 34127da15baSAnders Carlsson assert(!ClassDecl->hasUserDeclaredCopyAssignment() && 34227da15baSAnders Carlsson "EmitCXXOperatorMemberCallExpr - user declared copy assignment"); 34327da15baSAnders Carlsson llvm::Value *Src = EmitLValue(E->getArg(1)).getAddress(); 34427da15baSAnders Carlsson QualType Ty = E->getType(); 34527da15baSAnders Carlsson EmitAggregateCopy(This, Src, Ty); 34627da15baSAnders Carlsson return RValue::get(This); 34727da15baSAnders Carlsson } 34827da15baSAnders Carlsson } 34927da15baSAnders Carlsson 35027da15baSAnders Carlsson const FunctionProtoType *FPT = MD->getType()->getAs<FunctionProtoType>(); 35127da15baSAnders Carlsson const llvm::Type *Ty = 35227da15baSAnders Carlsson CGM.getTypes().GetFunctionType(CGM.getTypes().getFunctionInfo(MD), 35327da15baSAnders Carlsson FPT->isVariadic()); 35427da15baSAnders Carlsson llvm::Value *Callee; 35547609b08SFariborz Jahanian if (MD->isVirtual() && 356252a47f6SFariborz Jahanian !canDevirtualizeMemberFunctionCalls(getContext(), 357252a47f6SFariborz Jahanian E->getArg(0), MD)) 35827da15baSAnders Carlsson Callee = BuildVirtualCall(MD, This, Ty); 35927da15baSAnders Carlsson else 36027da15baSAnders Carlsson Callee = CGM.GetAddrOfFunction(MD, Ty); 36127da15baSAnders Carlsson 362e36a6b3eSAnders Carlsson return EmitCXXMemberCall(MD, Callee, ReturnValue, This, /*VTT=*/0, 36327da15baSAnders Carlsson E->arg_begin() + 1, E->arg_end()); 36427da15baSAnders Carlsson } 36527da15baSAnders Carlsson 36627da15baSAnders Carlsson void 3677a626f63SJohn McCall CodeGenFunction::EmitCXXConstructExpr(const CXXConstructExpr *E, 3687a626f63SJohn McCall AggValueSlot Dest) { 3697a626f63SJohn McCall assert(!Dest.isIgnored() && "Must have a destination!"); 37027da15baSAnders Carlsson const CXXConstructorDecl *CD = E->getConstructor(); 371630c76efSDouglas Gregor 372630c76efSDouglas Gregor // If we require zero initialization before (or instead of) calling the 373630c76efSDouglas Gregor // constructor, as can be the case with a non-user-provided default 374630c76efSDouglas Gregor // constructor, emit the zero initialization now. 375e3b3464dSDouglas Gregor if (E->requiresZeroInitialization()) 3767a626f63SJohn McCall EmitNullInitialization(Dest.getAddr(), E->getType()); 377630c76efSDouglas Gregor 378630c76efSDouglas Gregor // If this is a call to a trivial default constructor, do nothing. 379630c76efSDouglas Gregor if (CD->isTrivial() && CD->isDefaultConstructor()) 38027da15baSAnders Carlsson return; 381630c76efSDouglas Gregor 3828ea46b66SJohn McCall // Elide the constructor if we're constructing from a temporary. 3838ea46b66SJohn McCall // The temporary check is required because Sema sets this on NRVO 3848ea46b66SJohn McCall // returns. 38527da15baSAnders Carlsson if (getContext().getLangOptions().ElideConstructors && E->isElidable()) { 3868ea46b66SJohn McCall assert(getContext().hasSameUnqualifiedType(E->getType(), 3878ea46b66SJohn McCall E->getArg(0)->getType())); 3887a626f63SJohn McCall if (E->getArg(0)->isTemporaryObject(getContext(), CD->getParent())) { 3897a626f63SJohn McCall EmitAggExpr(E->getArg(0), Dest); 39027da15baSAnders Carlsson return; 39127da15baSAnders Carlsson } 392222cf0efSDouglas Gregor } 393630c76efSDouglas Gregor 394630c76efSDouglas Gregor const ConstantArrayType *Array 395630c76efSDouglas Gregor = getContext().getAsConstantArrayType(E->getType()); 39627da15baSAnders Carlsson if (Array) { 39727da15baSAnders Carlsson QualType BaseElementTy = getContext().getBaseElementType(Array); 39827da15baSAnders Carlsson const llvm::Type *BasePtr = ConvertType(BaseElementTy); 39927da15baSAnders Carlsson BasePtr = llvm::PointerType::getUnqual(BasePtr); 40027da15baSAnders Carlsson llvm::Value *BaseAddrPtr = 4017a626f63SJohn McCall Builder.CreateBitCast(Dest.getAddr(), BasePtr); 40227da15baSAnders Carlsson 40327da15baSAnders Carlsson EmitCXXAggrConstructorCall(CD, Array, BaseAddrPtr, 40427da15baSAnders Carlsson E->arg_begin(), E->arg_end()); 40527da15baSAnders Carlsson } 406e11f9ce9SAnders Carlsson else { 407e11f9ce9SAnders Carlsson CXXCtorType Type = 408e11f9ce9SAnders Carlsson (E->getConstructionKind() == CXXConstructExpr::CK_Complete) 409e11f9ce9SAnders Carlsson ? Ctor_Complete : Ctor_Base; 410e11f9ce9SAnders Carlsson bool ForVirtualBase = 411e11f9ce9SAnders Carlsson E->getConstructionKind() == CXXConstructExpr::CK_VirtualBase; 412e11f9ce9SAnders Carlsson 41327da15baSAnders Carlsson // Call the constructor. 4147a626f63SJohn McCall EmitCXXConstructorCall(CD, Type, ForVirtualBase, Dest.getAddr(), 41527da15baSAnders Carlsson E->arg_begin(), E->arg_end()); 41627da15baSAnders Carlsson } 417e11f9ce9SAnders Carlsson } 41827da15baSAnders Carlsson 419e988bdacSFariborz Jahanian void 420e988bdacSFariborz Jahanian CodeGenFunction::EmitSynthesizedCXXCopyCtor(llvm::Value *Dest, 421e988bdacSFariborz Jahanian llvm::Value *Src, 42250198098SFariborz Jahanian const Expr *Exp) { 4235d413781SJohn McCall if (const ExprWithCleanups *E = dyn_cast<ExprWithCleanups>(Exp)) 424e988bdacSFariborz Jahanian Exp = E->getSubExpr(); 425e988bdacSFariborz Jahanian assert(isa<CXXConstructExpr>(Exp) && 426e988bdacSFariborz Jahanian "EmitSynthesizedCXXCopyCtor - unknown copy ctor expr"); 427e988bdacSFariborz Jahanian const CXXConstructExpr* E = cast<CXXConstructExpr>(Exp); 428e988bdacSFariborz Jahanian const CXXConstructorDecl *CD = E->getConstructor(); 429e988bdacSFariborz Jahanian RunCleanupsScope Scope(*this); 430e988bdacSFariborz Jahanian 431e988bdacSFariborz Jahanian // If we require zero initialization before (or instead of) calling the 432e988bdacSFariborz Jahanian // constructor, as can be the case with a non-user-provided default 433e988bdacSFariborz Jahanian // constructor, emit the zero initialization now. 434e988bdacSFariborz Jahanian // FIXME. Do I still need this for a copy ctor synthesis? 435e988bdacSFariborz Jahanian if (E->requiresZeroInitialization()) 436e988bdacSFariborz Jahanian EmitNullInitialization(Dest, E->getType()); 437e988bdacSFariborz Jahanian 43899da11cfSChandler Carruth assert(!getContext().getAsConstantArrayType(E->getType()) 43999da11cfSChandler Carruth && "EmitSynthesizedCXXCopyCtor - Copied-in Array"); 440e988bdacSFariborz Jahanian EmitSynthesizedCXXCopyCtorCall(CD, Dest, Src, 441e988bdacSFariborz Jahanian E->arg_begin(), E->arg_end()); 442e988bdacSFariborz Jahanian } 443e988bdacSFariborz Jahanian 444aa4149a2SJohn McCall /// Check whether the given operator new[] is the global placement 445aa4149a2SJohn McCall /// operator new[]. 446aa4149a2SJohn McCall static bool IsPlacementOperatorNewArray(ASTContext &Ctx, 447aa4149a2SJohn McCall const FunctionDecl *Fn) { 448aa4149a2SJohn McCall // Must be in global scope. Note that allocation functions can't be 449aa4149a2SJohn McCall // declared in namespaces. 45050c68258SSebastian Redl if (!Fn->getDeclContext()->getRedeclContext()->isFileContext()) 451aa4149a2SJohn McCall return false; 452aa4149a2SJohn McCall 453aa4149a2SJohn McCall // Signature must be void *operator new[](size_t, void*). 454aa4149a2SJohn McCall // The size_t is common to all operator new[]s. 455aa4149a2SJohn McCall if (Fn->getNumParams() != 2) 456aa4149a2SJohn McCall return false; 457aa4149a2SJohn McCall 458aa4149a2SJohn McCall CanQualType ParamType = Ctx.getCanonicalType(Fn->getParamDecl(1)->getType()); 459aa4149a2SJohn McCall return (ParamType == Ctx.VoidPtrTy); 460aa4149a2SJohn McCall } 461aa4149a2SJohn McCall 4628ed55a54SJohn McCall static CharUnits CalculateCookiePadding(CodeGenFunction &CGF, 4638ed55a54SJohn McCall const CXXNewExpr *E) { 46421122cf6SAnders Carlsson if (!E->isArray()) 4653eb55cfeSKen Dyck return CharUnits::Zero(); 46621122cf6SAnders Carlsson 467399f499fSAnders Carlsson // No cookie is required if the new operator being used is 468399f499fSAnders Carlsson // ::operator new[](size_t, void*). 469399f499fSAnders Carlsson const FunctionDecl *OperatorNew = E->getOperatorNew(); 4708ed55a54SJohn McCall if (IsPlacementOperatorNewArray(CGF.getContext(), OperatorNew)) 4713eb55cfeSKen Dyck return CharUnits::Zero(); 472399f499fSAnders Carlsson 473284c48ffSJohn McCall return CGF.CGM.getCXXABI().GetArrayCookieSize(E); 47459486a2dSAnders Carlsson } 47559486a2dSAnders Carlsson 47647b4629bSFariborz Jahanian static llvm::Value *EmitCXXNewAllocSize(ASTContext &Context, 47747b4629bSFariborz Jahanian CodeGenFunction &CGF, 47859486a2dSAnders Carlsson const CXXNewExpr *E, 47905fc5be3SDouglas Gregor llvm::Value *&NumElements, 48005fc5be3SDouglas Gregor llvm::Value *&SizeWithoutCookie) { 4817648fb46SArgyrios Kyrtzidis QualType ElemType = E->getAllocatedType(); 48259486a2dSAnders Carlsson 4838ed55a54SJohn McCall const llvm::IntegerType *SizeTy = 4848ed55a54SJohn McCall cast<llvm::IntegerType>(CGF.ConvertType(CGF.getContext().getSizeType())); 4858ed55a54SJohn McCall 4867648fb46SArgyrios Kyrtzidis CharUnits TypeSize = CGF.getContext().getTypeSizeInChars(ElemType); 4878ed55a54SJohn McCall 4888ed55a54SJohn McCall if (!E->isArray()) { 48905fc5be3SDouglas Gregor SizeWithoutCookie = llvm::ConstantInt::get(SizeTy, TypeSize.getQuantity()); 49005fc5be3SDouglas Gregor return SizeWithoutCookie; 49105fc5be3SDouglas Gregor } 49259486a2dSAnders Carlsson 4938ed55a54SJohn McCall // Figure out the cookie size. 4948ed55a54SJohn McCall CharUnits CookieSize = CalculateCookiePadding(CGF, E); 4958ed55a54SJohn McCall 49659486a2dSAnders Carlsson // Emit the array size expression. 4977648fb46SArgyrios Kyrtzidis // We multiply the size of all dimensions for NumElements. 4987648fb46SArgyrios Kyrtzidis // e.g for 'int[2][3]', ElemType is 'int' and NumElements is 6. 49959486a2dSAnders Carlsson NumElements = CGF.EmitScalarExpr(E->getArraySize()); 5008ed55a54SJohn McCall assert(NumElements->getType() == SizeTy && "element count not a size_t"); 5018ed55a54SJohn McCall 5028ed55a54SJohn McCall uint64_t ArraySizeMultiplier = 1; 5037648fb46SArgyrios Kyrtzidis while (const ConstantArrayType *CAT 5047648fb46SArgyrios Kyrtzidis = CGF.getContext().getAsConstantArrayType(ElemType)) { 5057648fb46SArgyrios Kyrtzidis ElemType = CAT->getElementType(); 5068ed55a54SJohn McCall ArraySizeMultiplier *= CAT->getSize().getZExtValue(); 5077648fb46SArgyrios Kyrtzidis } 50859486a2dSAnders Carlsson 5098ed55a54SJohn McCall llvm::Value *Size; 51032ac583dSChris Lattner 51132ac583dSChris Lattner // If someone is doing 'new int[42]' there is no need to do a dynamic check. 51232ac583dSChris Lattner // Don't bloat the -O0 code. 51332ac583dSChris Lattner if (llvm::ConstantInt *NumElementsC = 51432ac583dSChris Lattner dyn_cast<llvm::ConstantInt>(NumElements)) { 51532ac583dSChris Lattner llvm::APInt NEC = NumElementsC->getValue(); 5168ed55a54SJohn McCall unsigned SizeWidth = NEC.getBitWidth(); 51732ac583dSChris Lattner 5188ed55a54SJohn McCall // Determine if there is an overflow here by doing an extended multiply. 5196d4db0c8SJay Foad NEC = NEC.zext(SizeWidth*2); 5208ed55a54SJohn McCall llvm::APInt SC(SizeWidth*2, TypeSize.getQuantity()); 52132ac583dSChris Lattner SC *= NEC; 52232ac583dSChris Lattner 5238ed55a54SJohn McCall if (!CookieSize.isZero()) { 5248ed55a54SJohn McCall // Save the current size without a cookie. We don't care if an 5258ed55a54SJohn McCall // overflow's already happened because SizeWithoutCookie isn't 5268ed55a54SJohn McCall // used if the allocator returns null or throws, as it should 5278ed55a54SJohn McCall // always do on an overflow. 5286d4db0c8SJay Foad llvm::APInt SWC = SC.trunc(SizeWidth); 5298ed55a54SJohn McCall SizeWithoutCookie = llvm::ConstantInt::get(SizeTy, SWC); 5308ed55a54SJohn McCall 5318ed55a54SJohn McCall // Add the cookie size. 5328ed55a54SJohn McCall SC += llvm::APInt(SizeWidth*2, CookieSize.getQuantity()); 5338ed55a54SJohn McCall } 5348ed55a54SJohn McCall 5358ed55a54SJohn McCall if (SC.countLeadingZeros() >= SizeWidth) { 5366d4db0c8SJay Foad SC = SC.trunc(SizeWidth); 5378ed55a54SJohn McCall Size = llvm::ConstantInt::get(SizeTy, SC); 53832ac583dSChris Lattner } else { 53932ac583dSChris Lattner // On overflow, produce a -1 so operator new throws. 5408ed55a54SJohn McCall Size = llvm::Constant::getAllOnesValue(SizeTy); 54132ac583dSChris Lattner } 54232ac583dSChris Lattner 5438ed55a54SJohn McCall // Scale NumElements while we're at it. 5448ed55a54SJohn McCall uint64_t N = NEC.getZExtValue() * ArraySizeMultiplier; 5458ed55a54SJohn McCall NumElements = llvm::ConstantInt::get(SizeTy, N); 54647b4629bSFariborz Jahanian 5478ed55a54SJohn McCall // Otherwise, we don't need to do an overflow-checked multiplication if 5488ed55a54SJohn McCall // we're multiplying by one. 5498ed55a54SJohn McCall } else if (TypeSize.isOne()) { 5508ed55a54SJohn McCall assert(ArraySizeMultiplier == 1); 551f2f38701SChris Lattner 5528ed55a54SJohn McCall Size = NumElements; 553f2f38701SChris Lattner 5548ed55a54SJohn McCall // If we need a cookie, add its size in with an overflow check. 5558ed55a54SJohn McCall // This is maybe a little paranoid. 5568ed55a54SJohn McCall if (!CookieSize.isZero()) { 55705fc5be3SDouglas Gregor SizeWithoutCookie = Size; 558f2f38701SChris Lattner 5598ed55a54SJohn McCall llvm::Value *CookieSizeV 5608ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, CookieSize.getQuantity()); 5618ed55a54SJohn McCall 5628ed55a54SJohn McCall const llvm::Type *Types[] = { SizeTy }; 5638ed55a54SJohn McCall llvm::Value *UAddF 5648ed55a54SJohn McCall = CGF.CGM.getIntrinsic(llvm::Intrinsic::uadd_with_overflow, Types, 1); 5658ed55a54SJohn McCall llvm::Value *AddRes 5668ed55a54SJohn McCall = CGF.Builder.CreateCall2(UAddF, Size, CookieSizeV); 5678ed55a54SJohn McCall 5688ed55a54SJohn McCall Size = CGF.Builder.CreateExtractValue(AddRes, 0); 5698ed55a54SJohn McCall llvm::Value *DidOverflow = CGF.Builder.CreateExtractValue(AddRes, 1); 5708ed55a54SJohn McCall Size = CGF.Builder.CreateSelect(DidOverflow, 5718ed55a54SJohn McCall llvm::ConstantInt::get(SizeTy, -1), 5728ed55a54SJohn McCall Size); 5738ed55a54SJohn McCall } 5748ed55a54SJohn McCall 5758ed55a54SJohn McCall // Otherwise use the int.umul.with.overflow intrinsic. 5768ed55a54SJohn McCall } else { 5778ed55a54SJohn McCall llvm::Value *OutermostElementSize 5788ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, TypeSize.getQuantity()); 5798ed55a54SJohn McCall 5808ed55a54SJohn McCall llvm::Value *NumOutermostElements = NumElements; 5818ed55a54SJohn McCall 5828ed55a54SJohn McCall // Scale NumElements by the array size multiplier. This might 5838ed55a54SJohn McCall // overflow, but only if the multiplication below also overflows, 5848ed55a54SJohn McCall // in which case this multiplication isn't used. 5858ed55a54SJohn McCall if (ArraySizeMultiplier != 1) 5868ed55a54SJohn McCall NumElements = CGF.Builder.CreateMul(NumElements, 5878ed55a54SJohn McCall llvm::ConstantInt::get(SizeTy, ArraySizeMultiplier)); 5888ed55a54SJohn McCall 5898ed55a54SJohn McCall // The requested size of the outermost array is non-constant. 5908ed55a54SJohn McCall // Multiply that by the static size of the elements of that array; 5918ed55a54SJohn McCall // on unsigned overflow, set the size to -1 to trigger an 5928ed55a54SJohn McCall // exception from the allocation routine. This is sufficient to 5938ed55a54SJohn McCall // prevent buffer overruns from the allocator returning a 5948ed55a54SJohn McCall // seemingly valid pointer to insufficient space. This idea comes 5958ed55a54SJohn McCall // originally from MSVC, and GCC has an open bug requesting 5968ed55a54SJohn McCall // similar behavior: 5978ed55a54SJohn McCall // http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19351 5988ed55a54SJohn McCall // 5998ed55a54SJohn McCall // This will not be sufficient for C++0x, which requires a 6008ed55a54SJohn McCall // specific exception class (std::bad_array_new_length). 6018ed55a54SJohn McCall // That will require ABI support that has not yet been specified. 6028ed55a54SJohn McCall const llvm::Type *Types[] = { SizeTy }; 6038ed55a54SJohn McCall llvm::Value *UMulF 6048ed55a54SJohn McCall = CGF.CGM.getIntrinsic(llvm::Intrinsic::umul_with_overflow, Types, 1); 6058ed55a54SJohn McCall llvm::Value *MulRes = CGF.Builder.CreateCall2(UMulF, NumOutermostElements, 6068ed55a54SJohn McCall OutermostElementSize); 6078ed55a54SJohn McCall 6088ed55a54SJohn McCall // The overflow bit. 6098ed55a54SJohn McCall llvm::Value *DidOverflow = CGF.Builder.CreateExtractValue(MulRes, 1); 6108ed55a54SJohn McCall 6118ed55a54SJohn McCall // The result of the multiplication. 6128ed55a54SJohn McCall Size = CGF.Builder.CreateExtractValue(MulRes, 0); 6138ed55a54SJohn McCall 6148ed55a54SJohn McCall // If we have a cookie, we need to add that size in, too. 6158ed55a54SJohn McCall if (!CookieSize.isZero()) { 6168ed55a54SJohn McCall SizeWithoutCookie = Size; 6178ed55a54SJohn McCall 6188ed55a54SJohn McCall llvm::Value *CookieSizeV 6198ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, CookieSize.getQuantity()); 6208ed55a54SJohn McCall llvm::Value *UAddF 6218ed55a54SJohn McCall = CGF.CGM.getIntrinsic(llvm::Intrinsic::uadd_with_overflow, Types, 1); 6228ed55a54SJohn McCall llvm::Value *AddRes 6238ed55a54SJohn McCall = CGF.Builder.CreateCall2(UAddF, SizeWithoutCookie, CookieSizeV); 6248ed55a54SJohn McCall 6258ed55a54SJohn McCall Size = CGF.Builder.CreateExtractValue(AddRes, 0); 6268ed55a54SJohn McCall 6278ed55a54SJohn McCall llvm::Value *AddDidOverflow = CGF.Builder.CreateExtractValue(AddRes, 1); 628db42a3e8SEli Friedman DidOverflow = CGF.Builder.CreateOr(DidOverflow, AddDidOverflow); 6298ed55a54SJohn McCall } 6308ed55a54SJohn McCall 6318ed55a54SJohn McCall Size = CGF.Builder.CreateSelect(DidOverflow, 6328ed55a54SJohn McCall llvm::ConstantInt::get(SizeTy, -1), 6338ed55a54SJohn McCall Size); 6348ed55a54SJohn McCall } 6358ed55a54SJohn McCall 6368ed55a54SJohn McCall if (CookieSize.isZero()) 6378ed55a54SJohn McCall SizeWithoutCookie = Size; 6388ed55a54SJohn McCall else 6398ed55a54SJohn McCall assert(SizeWithoutCookie && "didn't set SizeWithoutCookie?"); 64059486a2dSAnders Carlsson 64132ac583dSChris Lattner return Size; 64259486a2dSAnders Carlsson } 64359486a2dSAnders Carlsson 644d5202e09SFariborz Jahanian static void StoreAnyExprIntoOneUnit(CodeGenFunction &CGF, const CXXNewExpr *E, 645d5202e09SFariborz Jahanian llvm::Value *NewPtr) { 646d5202e09SFariborz Jahanian 647d5202e09SFariborz Jahanian assert(E->getNumConstructorArgs() == 1 && 648d5202e09SFariborz Jahanian "Can only have one argument to initializer of POD type."); 649d5202e09SFariborz Jahanian 650d5202e09SFariborz Jahanian const Expr *Init = E->getConstructorArg(0); 651d5202e09SFariborz Jahanian QualType AllocType = E->getAllocatedType(); 652d5202e09SFariborz Jahanian 6530381634aSDaniel Dunbar unsigned Alignment = 6540381634aSDaniel Dunbar CGF.getContext().getTypeAlignInChars(AllocType).getQuantity(); 655d5202e09SFariborz Jahanian if (!CGF.hasAggregateLLVMType(AllocType)) 656d5202e09SFariborz Jahanian CGF.EmitStoreOfScalar(CGF.EmitScalarExpr(Init), NewPtr, 6570381634aSDaniel Dunbar AllocType.isVolatileQualified(), Alignment, 6580381634aSDaniel Dunbar AllocType); 659d5202e09SFariborz Jahanian else if (AllocType->isAnyComplexType()) 660d5202e09SFariborz Jahanian CGF.EmitComplexExprIntoAddr(Init, NewPtr, 661d5202e09SFariborz Jahanian AllocType.isVolatileQualified()); 6627a626f63SJohn McCall else { 6637a626f63SJohn McCall AggValueSlot Slot 6647a626f63SJohn McCall = AggValueSlot::forAddr(NewPtr, AllocType.isVolatileQualified(), true); 6657a626f63SJohn McCall CGF.EmitAggExpr(Init, Slot); 6667a626f63SJohn McCall } 667d5202e09SFariborz Jahanian } 668d5202e09SFariborz Jahanian 669d5202e09SFariborz Jahanian void 670d5202e09SFariborz Jahanian CodeGenFunction::EmitNewArrayInitializer(const CXXNewExpr *E, 671d5202e09SFariborz Jahanian llvm::Value *NewPtr, 672d5202e09SFariborz Jahanian llvm::Value *NumElements) { 673b66b08efSFariborz Jahanian // We have a POD type. 674b66b08efSFariborz Jahanian if (E->getNumConstructorArgs() == 0) 675b66b08efSFariborz Jahanian return; 676b66b08efSFariborz Jahanian 677d5202e09SFariborz Jahanian const llvm::Type *SizeTy = ConvertType(getContext().getSizeType()); 678d5202e09SFariborz Jahanian 679d5202e09SFariborz Jahanian // Create a temporary for the loop index and initialize it with 0. 680d5202e09SFariborz Jahanian llvm::Value *IndexPtr = CreateTempAlloca(SizeTy, "loop.index"); 681d5202e09SFariborz Jahanian llvm::Value *Zero = llvm::Constant::getNullValue(SizeTy); 682d5202e09SFariborz Jahanian Builder.CreateStore(Zero, IndexPtr); 683d5202e09SFariborz Jahanian 684d5202e09SFariborz Jahanian // Start the loop with a block that tests the condition. 685d5202e09SFariborz Jahanian llvm::BasicBlock *CondBlock = createBasicBlock("for.cond"); 686d5202e09SFariborz Jahanian llvm::BasicBlock *AfterFor = createBasicBlock("for.end"); 687d5202e09SFariborz Jahanian 688d5202e09SFariborz Jahanian EmitBlock(CondBlock); 689d5202e09SFariborz Jahanian 690d5202e09SFariborz Jahanian llvm::BasicBlock *ForBody = createBasicBlock("for.body"); 691d5202e09SFariborz Jahanian 692d5202e09SFariborz Jahanian // Generate: if (loop-index < number-of-elements fall to the loop body, 693d5202e09SFariborz Jahanian // otherwise, go to the block after the for-loop. 694d5202e09SFariborz Jahanian llvm::Value *Counter = Builder.CreateLoad(IndexPtr); 695d5202e09SFariborz Jahanian llvm::Value *IsLess = Builder.CreateICmpULT(Counter, NumElements, "isless"); 696d5202e09SFariborz Jahanian // If the condition is true, execute the body. 697d5202e09SFariborz Jahanian Builder.CreateCondBr(IsLess, ForBody, AfterFor); 698d5202e09SFariborz Jahanian 699d5202e09SFariborz Jahanian EmitBlock(ForBody); 700d5202e09SFariborz Jahanian 701d5202e09SFariborz Jahanian llvm::BasicBlock *ContinueBlock = createBasicBlock("for.inc"); 702d5202e09SFariborz Jahanian // Inside the loop body, emit the constructor call on the array element. 703d5202e09SFariborz Jahanian Counter = Builder.CreateLoad(IndexPtr); 704d5202e09SFariborz Jahanian llvm::Value *Address = Builder.CreateInBoundsGEP(NewPtr, Counter, 705d5202e09SFariborz Jahanian "arrayidx"); 706d5202e09SFariborz Jahanian StoreAnyExprIntoOneUnit(*this, E, Address); 707d5202e09SFariborz Jahanian 708d5202e09SFariborz Jahanian EmitBlock(ContinueBlock); 709d5202e09SFariborz Jahanian 710d5202e09SFariborz Jahanian // Emit the increment of the loop counter. 711d5202e09SFariborz Jahanian llvm::Value *NextVal = llvm::ConstantInt::get(SizeTy, 1); 712d5202e09SFariborz Jahanian Counter = Builder.CreateLoad(IndexPtr); 713d5202e09SFariborz Jahanian NextVal = Builder.CreateAdd(Counter, NextVal, "inc"); 714d5202e09SFariborz Jahanian Builder.CreateStore(NextVal, IndexPtr); 715d5202e09SFariborz Jahanian 716d5202e09SFariborz Jahanian // Finally, branch back up to the condition for the next iteration. 717d5202e09SFariborz Jahanian EmitBranch(CondBlock); 718d5202e09SFariborz Jahanian 719d5202e09SFariborz Jahanian // Emit the fall-through block. 720d5202e09SFariborz Jahanian EmitBlock(AfterFor, true); 721d5202e09SFariborz Jahanian } 722d5202e09SFariborz Jahanian 72305fc5be3SDouglas Gregor static void EmitZeroMemSet(CodeGenFunction &CGF, QualType T, 72405fc5be3SDouglas Gregor llvm::Value *NewPtr, llvm::Value *Size) { 725ad7c5c16SJohn McCall CGF.EmitCastToVoidPtr(NewPtr); 726705ba07eSKen Dyck CharUnits Alignment = CGF.getContext().getTypeAlignInChars(T); 727acc6b4e2SBenjamin Kramer CGF.Builder.CreateMemSet(NewPtr, CGF.Builder.getInt8(0), Size, 728705ba07eSKen Dyck Alignment.getQuantity(), false); 72905fc5be3SDouglas Gregor } 73005fc5be3SDouglas Gregor 73159486a2dSAnders Carlsson static void EmitNewInitializer(CodeGenFunction &CGF, const CXXNewExpr *E, 73259486a2dSAnders Carlsson llvm::Value *NewPtr, 73305fc5be3SDouglas Gregor llvm::Value *NumElements, 73405fc5be3SDouglas Gregor llvm::Value *AllocSizeWithoutCookie) { 7353a202f60SAnders Carlsson if (E->isArray()) { 736d040e6b2SAnders Carlsson if (CXXConstructorDecl *Ctor = E->getConstructor()) { 73705fc5be3SDouglas Gregor bool RequiresZeroInitialization = false; 73805fc5be3SDouglas Gregor if (Ctor->getParent()->hasTrivialConstructor()) { 73905fc5be3SDouglas Gregor // If new expression did not specify value-initialization, then there 74005fc5be3SDouglas Gregor // is no initialization. 74105fc5be3SDouglas Gregor if (!E->hasInitializer() || Ctor->getParent()->isEmpty()) 74205fc5be3SDouglas Gregor return; 74305fc5be3SDouglas Gregor 744614dbdcdSJohn McCall if (CGF.CGM.getTypes().isZeroInitializable(E->getAllocatedType())) { 74505fc5be3SDouglas Gregor // Optimization: since zero initialization will just set the memory 74605fc5be3SDouglas Gregor // to all zeroes, generate a single memset to do it in one shot. 74705fc5be3SDouglas Gregor EmitZeroMemSet(CGF, E->getAllocatedType(), NewPtr, 74805fc5be3SDouglas Gregor AllocSizeWithoutCookie); 7493a202f60SAnders Carlsson return; 7503a202f60SAnders Carlsson } 75105fc5be3SDouglas Gregor 75205fc5be3SDouglas Gregor RequiresZeroInitialization = true; 75305fc5be3SDouglas Gregor } 75405fc5be3SDouglas Gregor 75505fc5be3SDouglas Gregor CGF.EmitCXXAggrConstructorCall(Ctor, NumElements, NewPtr, 75605fc5be3SDouglas Gregor E->constructor_arg_begin(), 75705fc5be3SDouglas Gregor E->constructor_arg_end(), 75805fc5be3SDouglas Gregor RequiresZeroInitialization); 75905fc5be3SDouglas Gregor return; 76005fc5be3SDouglas Gregor } else if (E->getNumConstructorArgs() == 1 && 76105fc5be3SDouglas Gregor isa<ImplicitValueInitExpr>(E->getConstructorArg(0))) { 76205fc5be3SDouglas Gregor // Optimization: since zero initialization will just set the memory 76305fc5be3SDouglas Gregor // to all zeroes, generate a single memset to do it in one shot. 76405fc5be3SDouglas Gregor EmitZeroMemSet(CGF, E->getAllocatedType(), NewPtr, 76505fc5be3SDouglas Gregor AllocSizeWithoutCookie); 76605fc5be3SDouglas Gregor return; 76705fc5be3SDouglas Gregor } else { 768d5202e09SFariborz Jahanian CGF.EmitNewArrayInitializer(E, NewPtr, NumElements); 769d5202e09SFariborz Jahanian return; 770d040e6b2SAnders Carlsson } 771d5202e09SFariborz Jahanian } 77259486a2dSAnders Carlsson 77359486a2dSAnders Carlsson if (CXXConstructorDecl *Ctor = E->getConstructor()) { 774747eb784SDouglas Gregor // Per C++ [expr.new]p15, if we have an initializer, then we're performing 775747eb784SDouglas Gregor // direct initialization. C++ [dcl.init]p5 requires that we 776747eb784SDouglas Gregor // zero-initialize storage if there are no user-declared constructors. 777747eb784SDouglas Gregor if (E->hasInitializer() && 778747eb784SDouglas Gregor !Ctor->getParent()->hasUserDeclaredConstructor() && 779747eb784SDouglas Gregor !Ctor->getParent()->isEmpty()) 780747eb784SDouglas Gregor CGF.EmitNullInitialization(NewPtr, E->getAllocatedType()); 781747eb784SDouglas Gregor 782e11f9ce9SAnders Carlsson CGF.EmitCXXConstructorCall(Ctor, Ctor_Complete, /*ForVirtualBase=*/false, 783e11f9ce9SAnders Carlsson NewPtr, E->constructor_arg_begin(), 78459486a2dSAnders Carlsson E->constructor_arg_end()); 78559486a2dSAnders Carlsson 78659486a2dSAnders Carlsson return; 78759486a2dSAnders Carlsson } 788b66b08efSFariborz Jahanian // We have a POD type. 789b66b08efSFariborz Jahanian if (E->getNumConstructorArgs() == 0) 790b66b08efSFariborz Jahanian return; 79159486a2dSAnders Carlsson 792d5202e09SFariborz Jahanian StoreAnyExprIntoOneUnit(CGF, E, NewPtr); 79359486a2dSAnders Carlsson } 79459486a2dSAnders Carlsson 795824c2f53SJohn McCall namespace { 796824c2f53SJohn McCall /// A cleanup to call the given 'operator delete' function upon 797824c2f53SJohn McCall /// abnormal exit from a new expression. 798824c2f53SJohn McCall class CallDeleteDuringNew : public EHScopeStack::Cleanup { 799824c2f53SJohn McCall size_t NumPlacementArgs; 800824c2f53SJohn McCall const FunctionDecl *OperatorDelete; 801824c2f53SJohn McCall llvm::Value *Ptr; 802824c2f53SJohn McCall llvm::Value *AllocSize; 803824c2f53SJohn McCall 804824c2f53SJohn McCall RValue *getPlacementArgs() { return reinterpret_cast<RValue*>(this+1); } 805824c2f53SJohn McCall 806824c2f53SJohn McCall public: 807824c2f53SJohn McCall static size_t getExtraSize(size_t NumPlacementArgs) { 808824c2f53SJohn McCall return NumPlacementArgs * sizeof(RValue); 809824c2f53SJohn McCall } 810824c2f53SJohn McCall 811824c2f53SJohn McCall CallDeleteDuringNew(size_t NumPlacementArgs, 812824c2f53SJohn McCall const FunctionDecl *OperatorDelete, 813824c2f53SJohn McCall llvm::Value *Ptr, 814824c2f53SJohn McCall llvm::Value *AllocSize) 815824c2f53SJohn McCall : NumPlacementArgs(NumPlacementArgs), OperatorDelete(OperatorDelete), 816824c2f53SJohn McCall Ptr(Ptr), AllocSize(AllocSize) {} 817824c2f53SJohn McCall 818824c2f53SJohn McCall void setPlacementArg(unsigned I, RValue Arg) { 819824c2f53SJohn McCall assert(I < NumPlacementArgs && "index out of range"); 820824c2f53SJohn McCall getPlacementArgs()[I] = Arg; 821824c2f53SJohn McCall } 822824c2f53SJohn McCall 823824c2f53SJohn McCall void Emit(CodeGenFunction &CGF, bool IsForEH) { 824824c2f53SJohn McCall const FunctionProtoType *FPT 825824c2f53SJohn McCall = OperatorDelete->getType()->getAs<FunctionProtoType>(); 826824c2f53SJohn McCall assert(FPT->getNumArgs() == NumPlacementArgs + 1 || 827d441b1e6SJohn McCall (FPT->getNumArgs() == 2 && NumPlacementArgs == 0)); 828824c2f53SJohn McCall 829824c2f53SJohn McCall CallArgList DeleteArgs; 830824c2f53SJohn McCall 831824c2f53SJohn McCall // The first argument is always a void*. 832824c2f53SJohn McCall FunctionProtoType::arg_type_iterator AI = FPT->arg_type_begin(); 833824c2f53SJohn McCall DeleteArgs.push_back(std::make_pair(RValue::get(Ptr), *AI++)); 834824c2f53SJohn McCall 835824c2f53SJohn McCall // A member 'operator delete' can take an extra 'size_t' argument. 836824c2f53SJohn McCall if (FPT->getNumArgs() == NumPlacementArgs + 2) 837824c2f53SJohn McCall DeleteArgs.push_back(std::make_pair(RValue::get(AllocSize), *AI++)); 838824c2f53SJohn McCall 839824c2f53SJohn McCall // Pass the rest of the arguments, which must match exactly. 840824c2f53SJohn McCall for (unsigned I = 0; I != NumPlacementArgs; ++I) 841824c2f53SJohn McCall DeleteArgs.push_back(std::make_pair(getPlacementArgs()[I], *AI++)); 842824c2f53SJohn McCall 843824c2f53SJohn McCall // Call 'operator delete'. 84499cc30c3STilmann Scheller CGF.EmitCall(CGF.CGM.getTypes().getFunctionInfo(DeleteArgs, FPT), 845824c2f53SJohn McCall CGF.CGM.GetAddrOfFunction(OperatorDelete), 846824c2f53SJohn McCall ReturnValueSlot(), DeleteArgs, OperatorDelete); 847824c2f53SJohn McCall } 848824c2f53SJohn McCall }; 8497f9c92a9SJohn McCall 8507f9c92a9SJohn McCall /// A cleanup to call the given 'operator delete' function upon 8517f9c92a9SJohn McCall /// abnormal exit from a new expression when the new expression is 8527f9c92a9SJohn McCall /// conditional. 8537f9c92a9SJohn McCall class CallDeleteDuringConditionalNew : public EHScopeStack::Cleanup { 8547f9c92a9SJohn McCall size_t NumPlacementArgs; 8557f9c92a9SJohn McCall const FunctionDecl *OperatorDelete; 856cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type Ptr; 857cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type AllocSize; 8587f9c92a9SJohn McCall 859cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type *getPlacementArgs() { 860cb5f77f0SJohn McCall return reinterpret_cast<DominatingValue<RValue>::saved_type*>(this+1); 8617f9c92a9SJohn McCall } 8627f9c92a9SJohn McCall 8637f9c92a9SJohn McCall public: 8647f9c92a9SJohn McCall static size_t getExtraSize(size_t NumPlacementArgs) { 865cb5f77f0SJohn McCall return NumPlacementArgs * sizeof(DominatingValue<RValue>::saved_type); 8667f9c92a9SJohn McCall } 8677f9c92a9SJohn McCall 8687f9c92a9SJohn McCall CallDeleteDuringConditionalNew(size_t NumPlacementArgs, 8697f9c92a9SJohn McCall const FunctionDecl *OperatorDelete, 870cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type Ptr, 871cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type AllocSize) 8727f9c92a9SJohn McCall : NumPlacementArgs(NumPlacementArgs), OperatorDelete(OperatorDelete), 8737f9c92a9SJohn McCall Ptr(Ptr), AllocSize(AllocSize) {} 8747f9c92a9SJohn McCall 875cb5f77f0SJohn McCall void setPlacementArg(unsigned I, DominatingValue<RValue>::saved_type Arg) { 8767f9c92a9SJohn McCall assert(I < NumPlacementArgs && "index out of range"); 8777f9c92a9SJohn McCall getPlacementArgs()[I] = Arg; 8787f9c92a9SJohn McCall } 8797f9c92a9SJohn McCall 8807f9c92a9SJohn McCall void Emit(CodeGenFunction &CGF, bool IsForEH) { 8817f9c92a9SJohn McCall const FunctionProtoType *FPT 8827f9c92a9SJohn McCall = OperatorDelete->getType()->getAs<FunctionProtoType>(); 8837f9c92a9SJohn McCall assert(FPT->getNumArgs() == NumPlacementArgs + 1 || 8847f9c92a9SJohn McCall (FPT->getNumArgs() == 2 && NumPlacementArgs == 0)); 8857f9c92a9SJohn McCall 8867f9c92a9SJohn McCall CallArgList DeleteArgs; 8877f9c92a9SJohn McCall 8887f9c92a9SJohn McCall // The first argument is always a void*. 8897f9c92a9SJohn McCall FunctionProtoType::arg_type_iterator AI = FPT->arg_type_begin(); 890cb5f77f0SJohn McCall DeleteArgs.push_back(std::make_pair(Ptr.restore(CGF), *AI++)); 8917f9c92a9SJohn McCall 8927f9c92a9SJohn McCall // A member 'operator delete' can take an extra 'size_t' argument. 8937f9c92a9SJohn McCall if (FPT->getNumArgs() == NumPlacementArgs + 2) { 894cb5f77f0SJohn McCall RValue RV = AllocSize.restore(CGF); 8957f9c92a9SJohn McCall DeleteArgs.push_back(std::make_pair(RV, *AI++)); 8967f9c92a9SJohn McCall } 8977f9c92a9SJohn McCall 8987f9c92a9SJohn McCall // Pass the rest of the arguments, which must match exactly. 8997f9c92a9SJohn McCall for (unsigned I = 0; I != NumPlacementArgs; ++I) { 900cb5f77f0SJohn McCall RValue RV = getPlacementArgs()[I].restore(CGF); 9017f9c92a9SJohn McCall DeleteArgs.push_back(std::make_pair(RV, *AI++)); 9027f9c92a9SJohn McCall } 9037f9c92a9SJohn McCall 9047f9c92a9SJohn McCall // Call 'operator delete'. 90599cc30c3STilmann Scheller CGF.EmitCall(CGF.CGM.getTypes().getFunctionInfo(DeleteArgs, FPT), 9067f9c92a9SJohn McCall CGF.CGM.GetAddrOfFunction(OperatorDelete), 9077f9c92a9SJohn McCall ReturnValueSlot(), DeleteArgs, OperatorDelete); 9087f9c92a9SJohn McCall } 9097f9c92a9SJohn McCall }; 9107f9c92a9SJohn McCall } 9117f9c92a9SJohn McCall 9127f9c92a9SJohn McCall /// Enter a cleanup to call 'operator delete' if the initializer in a 9137f9c92a9SJohn McCall /// new-expression throws. 9147f9c92a9SJohn McCall static void EnterNewDeleteCleanup(CodeGenFunction &CGF, 9157f9c92a9SJohn McCall const CXXNewExpr *E, 9167f9c92a9SJohn McCall llvm::Value *NewPtr, 9177f9c92a9SJohn McCall llvm::Value *AllocSize, 9187f9c92a9SJohn McCall const CallArgList &NewArgs) { 9197f9c92a9SJohn McCall // If we're not inside a conditional branch, then the cleanup will 9207f9c92a9SJohn McCall // dominate and we can do the easier (and more efficient) thing. 9217f9c92a9SJohn McCall if (!CGF.isInConditionalBranch()) { 9227f9c92a9SJohn McCall CallDeleteDuringNew *Cleanup = CGF.EHStack 9237f9c92a9SJohn McCall .pushCleanupWithExtra<CallDeleteDuringNew>(EHCleanup, 9247f9c92a9SJohn McCall E->getNumPlacementArgs(), 9257f9c92a9SJohn McCall E->getOperatorDelete(), 9267f9c92a9SJohn McCall NewPtr, AllocSize); 9277f9c92a9SJohn McCall for (unsigned I = 0, N = E->getNumPlacementArgs(); I != N; ++I) 9287f9c92a9SJohn McCall Cleanup->setPlacementArg(I, NewArgs[I+1].first); 9297f9c92a9SJohn McCall 9307f9c92a9SJohn McCall return; 9317f9c92a9SJohn McCall } 9327f9c92a9SJohn McCall 9337f9c92a9SJohn McCall // Otherwise, we need to save all this stuff. 934cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type SavedNewPtr = 935cb5f77f0SJohn McCall DominatingValue<RValue>::save(CGF, RValue::get(NewPtr)); 936cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type SavedAllocSize = 937cb5f77f0SJohn McCall DominatingValue<RValue>::save(CGF, RValue::get(AllocSize)); 9387f9c92a9SJohn McCall 9397f9c92a9SJohn McCall CallDeleteDuringConditionalNew *Cleanup = CGF.EHStack 9407f9c92a9SJohn McCall .pushCleanupWithExtra<CallDeleteDuringConditionalNew>(InactiveEHCleanup, 9417f9c92a9SJohn McCall E->getNumPlacementArgs(), 9427f9c92a9SJohn McCall E->getOperatorDelete(), 9437f9c92a9SJohn McCall SavedNewPtr, 9447f9c92a9SJohn McCall SavedAllocSize); 9457f9c92a9SJohn McCall for (unsigned I = 0, N = E->getNumPlacementArgs(); I != N; ++I) 946cb5f77f0SJohn McCall Cleanup->setPlacementArg(I, 947cb5f77f0SJohn McCall DominatingValue<RValue>::save(CGF, NewArgs[I+1].first)); 9487f9c92a9SJohn McCall 9497f9c92a9SJohn McCall CGF.ActivateCleanupBlock(CGF.EHStack.stable_begin()); 950824c2f53SJohn McCall } 951824c2f53SJohn McCall 95259486a2dSAnders Carlsson llvm::Value *CodeGenFunction::EmitCXXNewExpr(const CXXNewExpr *E) { 95375f9498aSJohn McCall // The element type being allocated. 95475f9498aSJohn McCall QualType allocType = getContext().getBaseElementType(E->getAllocatedType()); 9558ed55a54SJohn McCall 95675f9498aSJohn McCall // 1. Build a call to the allocation function. 95775f9498aSJohn McCall FunctionDecl *allocator = E->getOperatorNew(); 95875f9498aSJohn McCall const FunctionProtoType *allocatorType = 95975f9498aSJohn McCall allocator->getType()->castAs<FunctionProtoType>(); 96059486a2dSAnders Carlsson 96175f9498aSJohn McCall CallArgList allocatorArgs; 96259486a2dSAnders Carlsson 96359486a2dSAnders Carlsson // The allocation size is the first argument. 96475f9498aSJohn McCall QualType sizeType = getContext().getSizeType(); 96559486a2dSAnders Carlsson 96675f9498aSJohn McCall llvm::Value *numElements = 0; 96775f9498aSJohn McCall llvm::Value *allocSizeWithoutCookie = 0; 96875f9498aSJohn McCall llvm::Value *allocSize = 96975f9498aSJohn McCall EmitCXXNewAllocSize(getContext(), *this, E, numElements, 97075f9498aSJohn McCall allocSizeWithoutCookie); 97159486a2dSAnders Carlsson 97275f9498aSJohn McCall allocatorArgs.push_back(std::make_pair(RValue::get(allocSize), sizeType)); 97359486a2dSAnders Carlsson 97459486a2dSAnders Carlsson // Emit the rest of the arguments. 97559486a2dSAnders Carlsson // FIXME: Ideally, this should just use EmitCallArgs. 97675f9498aSJohn McCall CXXNewExpr::const_arg_iterator placementArg = E->placement_arg_begin(); 97759486a2dSAnders Carlsson 97859486a2dSAnders Carlsson // First, use the types from the function type. 97959486a2dSAnders Carlsson // We start at 1 here because the first argument (the allocation size) 98059486a2dSAnders Carlsson // has already been emitted. 98175f9498aSJohn McCall for (unsigned i = 1, e = allocatorType->getNumArgs(); i != e; 98275f9498aSJohn McCall ++i, ++placementArg) { 98375f9498aSJohn McCall QualType argType = allocatorType->getArgType(i); 98459486a2dSAnders Carlsson 98575f9498aSJohn McCall assert(getContext().hasSameUnqualifiedType(argType.getNonReferenceType(), 98675f9498aSJohn McCall placementArg->getType()) && 98759486a2dSAnders Carlsson "type mismatch in call argument!"); 98859486a2dSAnders Carlsson 98932ea9694SJohn McCall EmitCallArg(allocatorArgs, *placementArg, argType); 99059486a2dSAnders Carlsson } 99159486a2dSAnders Carlsson 99259486a2dSAnders Carlsson // Either we've emitted all the call args, or we have a call to a 99359486a2dSAnders Carlsson // variadic function. 99475f9498aSJohn McCall assert((placementArg == E->placement_arg_end() || 99575f9498aSJohn McCall allocatorType->isVariadic()) && 99675f9498aSJohn McCall "Extra arguments to non-variadic function!"); 99759486a2dSAnders Carlsson 99859486a2dSAnders Carlsson // If we still have any arguments, emit them using the type of the argument. 99975f9498aSJohn McCall for (CXXNewExpr::const_arg_iterator placementArgsEnd = E->placement_arg_end(); 100075f9498aSJohn McCall placementArg != placementArgsEnd; ++placementArg) { 100132ea9694SJohn McCall EmitCallArg(allocatorArgs, *placementArg, placementArg->getType()); 100259486a2dSAnders Carlsson } 100359486a2dSAnders Carlsson 100475f9498aSJohn McCall // Emit the allocation call. 100559486a2dSAnders Carlsson RValue RV = 100675f9498aSJohn McCall EmitCall(CGM.getTypes().getFunctionInfo(allocatorArgs, allocatorType), 100775f9498aSJohn McCall CGM.GetAddrOfFunction(allocator), ReturnValueSlot(), 100875f9498aSJohn McCall allocatorArgs, allocator); 100959486a2dSAnders Carlsson 101075f9498aSJohn McCall // Emit a null check on the allocation result if the allocation 101175f9498aSJohn McCall // function is allowed to return null (because it has a non-throwing 101275f9498aSJohn McCall // exception spec; for this part, we inline 101375f9498aSJohn McCall // CXXNewExpr::shouldNullCheckAllocation()) and we have an 101475f9498aSJohn McCall // interesting initializer. 101531ad754cSSebastian Redl bool nullCheck = allocatorType->isNothrow(getContext()) && 101675f9498aSJohn McCall !(allocType->isPODType() && !E->hasInitializer()); 101759486a2dSAnders Carlsson 101875f9498aSJohn McCall llvm::BasicBlock *nullCheckBB = 0; 101975f9498aSJohn McCall llvm::BasicBlock *contBB = 0; 102059486a2dSAnders Carlsson 102175f9498aSJohn McCall llvm::Value *allocation = RV.getScalarVal(); 102275f9498aSJohn McCall unsigned AS = 102375f9498aSJohn McCall cast<llvm::PointerType>(allocation->getType())->getAddressSpace(); 102459486a2dSAnders Carlsson 1025f7dcf320SJohn McCall // The null-check means that the initializer is conditionally 1026f7dcf320SJohn McCall // evaluated. 1027f7dcf320SJohn McCall ConditionalEvaluation conditional(*this); 1028f7dcf320SJohn McCall 102975f9498aSJohn McCall if (nullCheck) { 1030f7dcf320SJohn McCall conditional.begin(*this); 103175f9498aSJohn McCall 103275f9498aSJohn McCall nullCheckBB = Builder.GetInsertBlock(); 103375f9498aSJohn McCall llvm::BasicBlock *notNullBB = createBasicBlock("new.notnull"); 103475f9498aSJohn McCall contBB = createBasicBlock("new.cont"); 103575f9498aSJohn McCall 103675f9498aSJohn McCall llvm::Value *isNull = Builder.CreateIsNull(allocation, "new.isnull"); 103775f9498aSJohn McCall Builder.CreateCondBr(isNull, contBB, notNullBB); 103875f9498aSJohn McCall EmitBlock(notNullBB); 103959486a2dSAnders Carlsson } 104059486a2dSAnders Carlsson 104175f9498aSJohn McCall assert((allocSize == allocSizeWithoutCookie) == 10428ed55a54SJohn McCall CalculateCookiePadding(*this, E).isZero()); 104375f9498aSJohn McCall if (allocSize != allocSizeWithoutCookie) { 10448ed55a54SJohn McCall assert(E->isArray()); 104575f9498aSJohn McCall allocation = CGM.getCXXABI().InitializeArrayCookie(*this, allocation, 104675f9498aSJohn McCall numElements, 104775f9498aSJohn McCall E, allocType); 104859486a2dSAnders Carlsson } 104959486a2dSAnders Carlsson 1050824c2f53SJohn McCall // If there's an operator delete, enter a cleanup to call it if an 1051824c2f53SJohn McCall // exception is thrown. 105275f9498aSJohn McCall EHScopeStack::stable_iterator operatorDeleteCleanup; 1053824c2f53SJohn McCall if (E->getOperatorDelete()) { 105475f9498aSJohn McCall EnterNewDeleteCleanup(*this, E, allocation, allocSize, allocatorArgs); 105575f9498aSJohn McCall operatorDeleteCleanup = EHStack.stable_begin(); 1056824c2f53SJohn McCall } 1057824c2f53SJohn McCall 105875f9498aSJohn McCall const llvm::Type *elementPtrTy 105975f9498aSJohn McCall = ConvertTypeForMem(allocType)->getPointerTo(AS); 106075f9498aSJohn McCall llvm::Value *result = Builder.CreateBitCast(allocation, elementPtrTy); 1061824c2f53SJohn McCall 10628ed55a54SJohn McCall if (E->isArray()) { 106375f9498aSJohn McCall EmitNewInitializer(*this, E, result, numElements, allocSizeWithoutCookie); 10648ed55a54SJohn McCall 10658ed55a54SJohn McCall // NewPtr is a pointer to the base element type. If we're 10668ed55a54SJohn McCall // allocating an array of arrays, we'll need to cast back to the 10678ed55a54SJohn McCall // array pointer type. 106875f9498aSJohn McCall const llvm::Type *resultType = ConvertTypeForMem(E->getType()); 106975f9498aSJohn McCall if (result->getType() != resultType) 107075f9498aSJohn McCall result = Builder.CreateBitCast(result, resultType); 10718ed55a54SJohn McCall } else { 107275f9498aSJohn McCall EmitNewInitializer(*this, E, result, numElements, allocSizeWithoutCookie); 107347b4629bSFariborz Jahanian } 107459486a2dSAnders Carlsson 1075824c2f53SJohn McCall // Deactivate the 'operator delete' cleanup if we finished 1076824c2f53SJohn McCall // initialization. 107775f9498aSJohn McCall if (operatorDeleteCleanup.isValid()) 107875f9498aSJohn McCall DeactivateCleanupBlock(operatorDeleteCleanup); 1079824c2f53SJohn McCall 108075f9498aSJohn McCall if (nullCheck) { 1081f7dcf320SJohn McCall conditional.end(*this); 1082f7dcf320SJohn McCall 108375f9498aSJohn McCall llvm::BasicBlock *notNullBB = Builder.GetInsertBlock(); 108475f9498aSJohn McCall EmitBlock(contBB); 108559486a2dSAnders Carlsson 108620c0f02cSJay Foad llvm::PHINode *PHI = Builder.CreatePHI(result->getType(), 2); 108775f9498aSJohn McCall PHI->addIncoming(result, notNullBB); 108875f9498aSJohn McCall PHI->addIncoming(llvm::Constant::getNullValue(result->getType()), 108975f9498aSJohn McCall nullCheckBB); 109059486a2dSAnders Carlsson 109175f9498aSJohn McCall result = PHI; 109259486a2dSAnders Carlsson } 109359486a2dSAnders Carlsson 109475f9498aSJohn McCall return result; 109559486a2dSAnders Carlsson } 109659486a2dSAnders Carlsson 109759486a2dSAnders Carlsson void CodeGenFunction::EmitDeleteCall(const FunctionDecl *DeleteFD, 109859486a2dSAnders Carlsson llvm::Value *Ptr, 109959486a2dSAnders Carlsson QualType DeleteTy) { 11008ed55a54SJohn McCall assert(DeleteFD->getOverloadedOperator() == OO_Delete); 11018ed55a54SJohn McCall 110259486a2dSAnders Carlsson const FunctionProtoType *DeleteFTy = 110359486a2dSAnders Carlsson DeleteFD->getType()->getAs<FunctionProtoType>(); 110459486a2dSAnders Carlsson 110559486a2dSAnders Carlsson CallArgList DeleteArgs; 110659486a2dSAnders Carlsson 110721122cf6SAnders Carlsson // Check if we need to pass the size to the delete operator. 110821122cf6SAnders Carlsson llvm::Value *Size = 0; 110921122cf6SAnders Carlsson QualType SizeTy; 111021122cf6SAnders Carlsson if (DeleteFTy->getNumArgs() == 2) { 111121122cf6SAnders Carlsson SizeTy = DeleteFTy->getArgType(1); 11127df3cbebSKen Dyck CharUnits DeleteTypeSize = getContext().getTypeSizeInChars(DeleteTy); 11137df3cbebSKen Dyck Size = llvm::ConstantInt::get(ConvertType(SizeTy), 11147df3cbebSKen Dyck DeleteTypeSize.getQuantity()); 111521122cf6SAnders Carlsson } 111621122cf6SAnders Carlsson 111759486a2dSAnders Carlsson QualType ArgTy = DeleteFTy->getArgType(0); 111859486a2dSAnders Carlsson llvm::Value *DeletePtr = Builder.CreateBitCast(Ptr, ConvertType(ArgTy)); 111959486a2dSAnders Carlsson DeleteArgs.push_back(std::make_pair(RValue::get(DeletePtr), ArgTy)); 112059486a2dSAnders Carlsson 112121122cf6SAnders Carlsson if (Size) 112259486a2dSAnders Carlsson DeleteArgs.push_back(std::make_pair(RValue::get(Size), SizeTy)); 112359486a2dSAnders Carlsson 112459486a2dSAnders Carlsson // Emit the call to delete. 112599cc30c3STilmann Scheller EmitCall(CGM.getTypes().getFunctionInfo(DeleteArgs, DeleteFTy), 112661a401caSAnders Carlsson CGM.GetAddrOfFunction(DeleteFD), ReturnValueSlot(), 112759486a2dSAnders Carlsson DeleteArgs, DeleteFD); 112859486a2dSAnders Carlsson } 112959486a2dSAnders Carlsson 11308ed55a54SJohn McCall namespace { 11318ed55a54SJohn McCall /// Calls the given 'operator delete' on a single object. 11328ed55a54SJohn McCall struct CallObjectDelete : EHScopeStack::Cleanup { 11338ed55a54SJohn McCall llvm::Value *Ptr; 11348ed55a54SJohn McCall const FunctionDecl *OperatorDelete; 11358ed55a54SJohn McCall QualType ElementType; 11368ed55a54SJohn McCall 11378ed55a54SJohn McCall CallObjectDelete(llvm::Value *Ptr, 11388ed55a54SJohn McCall const FunctionDecl *OperatorDelete, 11398ed55a54SJohn McCall QualType ElementType) 11408ed55a54SJohn McCall : Ptr(Ptr), OperatorDelete(OperatorDelete), ElementType(ElementType) {} 11418ed55a54SJohn McCall 11428ed55a54SJohn McCall void Emit(CodeGenFunction &CGF, bool IsForEH) { 11438ed55a54SJohn McCall CGF.EmitDeleteCall(OperatorDelete, Ptr, ElementType); 11448ed55a54SJohn McCall } 11458ed55a54SJohn McCall }; 11468ed55a54SJohn McCall } 11478ed55a54SJohn McCall 11488ed55a54SJohn McCall /// Emit the code for deleting a single object. 11498ed55a54SJohn McCall static void EmitObjectDelete(CodeGenFunction &CGF, 11508ed55a54SJohn McCall const FunctionDecl *OperatorDelete, 11518ed55a54SJohn McCall llvm::Value *Ptr, 11528ed55a54SJohn McCall QualType ElementType) { 11538ed55a54SJohn McCall // Find the destructor for the type, if applicable. If the 11548ed55a54SJohn McCall // destructor is virtual, we'll just emit the vcall and return. 11558ed55a54SJohn McCall const CXXDestructorDecl *Dtor = 0; 11568ed55a54SJohn McCall if (const RecordType *RT = ElementType->getAs<RecordType>()) { 11578ed55a54SJohn McCall CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl()); 11588ed55a54SJohn McCall if (!RD->hasTrivialDestructor()) { 11598ed55a54SJohn McCall Dtor = RD->getDestructor(); 11608ed55a54SJohn McCall 11618ed55a54SJohn McCall if (Dtor->isVirtual()) { 11628ed55a54SJohn McCall const llvm::Type *Ty = 11630d635f53SJohn McCall CGF.getTypes().GetFunctionType(CGF.getTypes().getFunctionInfo(Dtor, 11640d635f53SJohn McCall Dtor_Complete), 11658ed55a54SJohn McCall /*isVariadic=*/false); 11668ed55a54SJohn McCall 11678ed55a54SJohn McCall llvm::Value *Callee 11688ed55a54SJohn McCall = CGF.BuildVirtualCall(Dtor, Dtor_Deleting, Ptr, Ty); 11698ed55a54SJohn McCall CGF.EmitCXXMemberCall(Dtor, Callee, ReturnValueSlot(), Ptr, /*VTT=*/0, 11708ed55a54SJohn McCall 0, 0); 11718ed55a54SJohn McCall 11728ed55a54SJohn McCall // The dtor took care of deleting the object. 11738ed55a54SJohn McCall return; 11748ed55a54SJohn McCall } 11758ed55a54SJohn McCall } 11768ed55a54SJohn McCall } 11778ed55a54SJohn McCall 11788ed55a54SJohn McCall // Make sure that we call delete even if the dtor throws. 1179e4df6c8dSJohn McCall // This doesn't have to a conditional cleanup because we're going 1180e4df6c8dSJohn McCall // to pop it off in a second. 11818ed55a54SJohn McCall CGF.EHStack.pushCleanup<CallObjectDelete>(NormalAndEHCleanup, 11828ed55a54SJohn McCall Ptr, OperatorDelete, ElementType); 11838ed55a54SJohn McCall 11848ed55a54SJohn McCall if (Dtor) 11858ed55a54SJohn McCall CGF.EmitCXXDestructorCall(Dtor, Dtor_Complete, 11868ed55a54SJohn McCall /*ForVirtualBase=*/false, Ptr); 11878ed55a54SJohn McCall 11888ed55a54SJohn McCall CGF.PopCleanupBlock(); 11898ed55a54SJohn McCall } 11908ed55a54SJohn McCall 11918ed55a54SJohn McCall namespace { 11928ed55a54SJohn McCall /// Calls the given 'operator delete' on an array of objects. 11938ed55a54SJohn McCall struct CallArrayDelete : EHScopeStack::Cleanup { 11948ed55a54SJohn McCall llvm::Value *Ptr; 11958ed55a54SJohn McCall const FunctionDecl *OperatorDelete; 11968ed55a54SJohn McCall llvm::Value *NumElements; 11978ed55a54SJohn McCall QualType ElementType; 11988ed55a54SJohn McCall CharUnits CookieSize; 11998ed55a54SJohn McCall 12008ed55a54SJohn McCall CallArrayDelete(llvm::Value *Ptr, 12018ed55a54SJohn McCall const FunctionDecl *OperatorDelete, 12028ed55a54SJohn McCall llvm::Value *NumElements, 12038ed55a54SJohn McCall QualType ElementType, 12048ed55a54SJohn McCall CharUnits CookieSize) 12058ed55a54SJohn McCall : Ptr(Ptr), OperatorDelete(OperatorDelete), NumElements(NumElements), 12068ed55a54SJohn McCall ElementType(ElementType), CookieSize(CookieSize) {} 12078ed55a54SJohn McCall 12088ed55a54SJohn McCall void Emit(CodeGenFunction &CGF, bool IsForEH) { 12098ed55a54SJohn McCall const FunctionProtoType *DeleteFTy = 12108ed55a54SJohn McCall OperatorDelete->getType()->getAs<FunctionProtoType>(); 12118ed55a54SJohn McCall assert(DeleteFTy->getNumArgs() == 1 || DeleteFTy->getNumArgs() == 2); 12128ed55a54SJohn McCall 12138ed55a54SJohn McCall CallArgList Args; 12148ed55a54SJohn McCall 12158ed55a54SJohn McCall // Pass the pointer as the first argument. 12168ed55a54SJohn McCall QualType VoidPtrTy = DeleteFTy->getArgType(0); 12178ed55a54SJohn McCall llvm::Value *DeletePtr 12188ed55a54SJohn McCall = CGF.Builder.CreateBitCast(Ptr, CGF.ConvertType(VoidPtrTy)); 12198ed55a54SJohn McCall Args.push_back(std::make_pair(RValue::get(DeletePtr), VoidPtrTy)); 12208ed55a54SJohn McCall 12218ed55a54SJohn McCall // Pass the original requested size as the second argument. 12228ed55a54SJohn McCall if (DeleteFTy->getNumArgs() == 2) { 12238ed55a54SJohn McCall QualType size_t = DeleteFTy->getArgType(1); 12248ed55a54SJohn McCall const llvm::IntegerType *SizeTy 12258ed55a54SJohn McCall = cast<llvm::IntegerType>(CGF.ConvertType(size_t)); 12268ed55a54SJohn McCall 12278ed55a54SJohn McCall CharUnits ElementTypeSize = 12288ed55a54SJohn McCall CGF.CGM.getContext().getTypeSizeInChars(ElementType); 12298ed55a54SJohn McCall 12308ed55a54SJohn McCall // The size of an element, multiplied by the number of elements. 12318ed55a54SJohn McCall llvm::Value *Size 12328ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, ElementTypeSize.getQuantity()); 12338ed55a54SJohn McCall Size = CGF.Builder.CreateMul(Size, NumElements); 12348ed55a54SJohn McCall 12358ed55a54SJohn McCall // Plus the size of the cookie if applicable. 12368ed55a54SJohn McCall if (!CookieSize.isZero()) { 12378ed55a54SJohn McCall llvm::Value *CookieSizeV 12388ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, CookieSize.getQuantity()); 12398ed55a54SJohn McCall Size = CGF.Builder.CreateAdd(Size, CookieSizeV); 12408ed55a54SJohn McCall } 12418ed55a54SJohn McCall 12428ed55a54SJohn McCall Args.push_back(std::make_pair(RValue::get(Size), size_t)); 12438ed55a54SJohn McCall } 12448ed55a54SJohn McCall 12458ed55a54SJohn McCall // Emit the call to delete. 124699cc30c3STilmann Scheller CGF.EmitCall(CGF.getTypes().getFunctionInfo(Args, DeleteFTy), 12478ed55a54SJohn McCall CGF.CGM.GetAddrOfFunction(OperatorDelete), 12488ed55a54SJohn McCall ReturnValueSlot(), Args, OperatorDelete); 12498ed55a54SJohn McCall } 12508ed55a54SJohn McCall }; 12518ed55a54SJohn McCall } 12528ed55a54SJohn McCall 12538ed55a54SJohn McCall /// Emit the code for deleting an array of objects. 12548ed55a54SJohn McCall static void EmitArrayDelete(CodeGenFunction &CGF, 1255284c48ffSJohn McCall const CXXDeleteExpr *E, 12568ed55a54SJohn McCall llvm::Value *Ptr, 12578ed55a54SJohn McCall QualType ElementType) { 12588ed55a54SJohn McCall llvm::Value *NumElements = 0; 12598ed55a54SJohn McCall llvm::Value *AllocatedPtr = 0; 12608ed55a54SJohn McCall CharUnits CookieSize; 1261284c48ffSJohn McCall CGF.CGM.getCXXABI().ReadArrayCookie(CGF, Ptr, E, ElementType, 12628ed55a54SJohn McCall NumElements, AllocatedPtr, CookieSize); 12638ed55a54SJohn McCall 12648ed55a54SJohn McCall assert(AllocatedPtr && "ReadArrayCookie didn't set AllocatedPtr"); 12658ed55a54SJohn McCall 12668ed55a54SJohn McCall // Make sure that we call delete even if one of the dtors throws. 1267284c48ffSJohn McCall const FunctionDecl *OperatorDelete = E->getOperatorDelete(); 12688ed55a54SJohn McCall CGF.EHStack.pushCleanup<CallArrayDelete>(NormalAndEHCleanup, 12698ed55a54SJohn McCall AllocatedPtr, OperatorDelete, 12708ed55a54SJohn McCall NumElements, ElementType, 12718ed55a54SJohn McCall CookieSize); 12728ed55a54SJohn McCall 12738ed55a54SJohn McCall if (const CXXRecordDecl *RD = ElementType->getAsCXXRecordDecl()) { 12748ed55a54SJohn McCall if (!RD->hasTrivialDestructor()) { 12758ed55a54SJohn McCall assert(NumElements && "ReadArrayCookie didn't find element count" 12768ed55a54SJohn McCall " for a class with destructor"); 12778ed55a54SJohn McCall CGF.EmitCXXAggrDestructorCall(RD->getDestructor(), NumElements, Ptr); 12788ed55a54SJohn McCall } 12798ed55a54SJohn McCall } 12808ed55a54SJohn McCall 12818ed55a54SJohn McCall CGF.PopCleanupBlock(); 12828ed55a54SJohn McCall } 12838ed55a54SJohn McCall 128459486a2dSAnders Carlsson void CodeGenFunction::EmitCXXDeleteExpr(const CXXDeleteExpr *E) { 128559486a2dSAnders Carlsson 128659486a2dSAnders Carlsson // Get at the argument before we performed the implicit conversion 128759486a2dSAnders Carlsson // to void*. 128859486a2dSAnders Carlsson const Expr *Arg = E->getArgument(); 128959486a2dSAnders Carlsson while (const ImplicitCastExpr *ICE = dyn_cast<ImplicitCastExpr>(Arg)) { 1290e302792bSJohn McCall if (ICE->getCastKind() != CK_UserDefinedConversion && 129159486a2dSAnders Carlsson ICE->getType()->isVoidPointerType()) 129259486a2dSAnders Carlsson Arg = ICE->getSubExpr(); 129359486a2dSAnders Carlsson else 129459486a2dSAnders Carlsson break; 129559486a2dSAnders Carlsson } 129659486a2dSAnders Carlsson 129759486a2dSAnders Carlsson llvm::Value *Ptr = EmitScalarExpr(Arg); 129859486a2dSAnders Carlsson 129959486a2dSAnders Carlsson // Null check the pointer. 130059486a2dSAnders Carlsson llvm::BasicBlock *DeleteNotNull = createBasicBlock("delete.notnull"); 130159486a2dSAnders Carlsson llvm::BasicBlock *DeleteEnd = createBasicBlock("delete.end"); 130259486a2dSAnders Carlsson 130398981b10SAnders Carlsson llvm::Value *IsNull = Builder.CreateIsNull(Ptr, "isnull"); 130459486a2dSAnders Carlsson 130559486a2dSAnders Carlsson Builder.CreateCondBr(IsNull, DeleteEnd, DeleteNotNull); 130659486a2dSAnders Carlsson EmitBlock(DeleteNotNull); 130759486a2dSAnders Carlsson 13088ed55a54SJohn McCall // We might be deleting a pointer to array. If so, GEP down to the 13098ed55a54SJohn McCall // first non-array element. 13108ed55a54SJohn McCall // (this assumes that A(*)[3][7] is converted to [3 x [7 x %A]]*) 13118ed55a54SJohn McCall QualType DeleteTy = Arg->getType()->getAs<PointerType>()->getPointeeType(); 13128ed55a54SJohn McCall if (DeleteTy->isConstantArrayType()) { 13138ed55a54SJohn McCall llvm::Value *Zero = Builder.getInt32(0); 13148ed55a54SJohn McCall llvm::SmallVector<llvm::Value*,8> GEP; 131559486a2dSAnders Carlsson 13168ed55a54SJohn McCall GEP.push_back(Zero); // point at the outermost array 13178ed55a54SJohn McCall 13188ed55a54SJohn McCall // For each layer of array type we're pointing at: 13198ed55a54SJohn McCall while (const ConstantArrayType *Arr 13208ed55a54SJohn McCall = getContext().getAsConstantArrayType(DeleteTy)) { 13218ed55a54SJohn McCall // 1. Unpeel the array type. 13228ed55a54SJohn McCall DeleteTy = Arr->getElementType(); 13238ed55a54SJohn McCall 13248ed55a54SJohn McCall // 2. GEP to the first element of the array. 13258ed55a54SJohn McCall GEP.push_back(Zero); 13268ed55a54SJohn McCall } 13278ed55a54SJohn McCall 13288ed55a54SJohn McCall Ptr = Builder.CreateInBoundsGEP(Ptr, GEP.begin(), GEP.end(), "del.first"); 13298ed55a54SJohn McCall } 13308ed55a54SJohn McCall 133104f36218SDouglas Gregor assert(ConvertTypeForMem(DeleteTy) == 133204f36218SDouglas Gregor cast<llvm::PointerType>(Ptr->getType())->getElementType()); 13338ed55a54SJohn McCall 133459486a2dSAnders Carlsson if (E->isArrayForm()) { 1335284c48ffSJohn McCall EmitArrayDelete(*this, E, Ptr, DeleteTy); 13368ed55a54SJohn McCall } else { 13378ed55a54SJohn McCall EmitObjectDelete(*this, E->getOperatorDelete(), Ptr, DeleteTy); 133859486a2dSAnders Carlsson } 133959486a2dSAnders Carlsson 134059486a2dSAnders Carlsson EmitBlock(DeleteEnd); 134159486a2dSAnders Carlsson } 134259486a2dSAnders Carlsson 13430c63350bSAnders Carlsson static llvm::Constant *getBadTypeidFn(CodeGenFunction &CGF) { 13440c63350bSAnders Carlsson // void __cxa_bad_typeid(); 13450c63350bSAnders Carlsson 13460c63350bSAnders Carlsson const llvm::Type *VoidTy = llvm::Type::getVoidTy(CGF.getLLVMContext()); 13470c63350bSAnders Carlsson const llvm::FunctionType *FTy = 13480c63350bSAnders Carlsson llvm::FunctionType::get(VoidTy, false); 13490c63350bSAnders Carlsson 13500c63350bSAnders Carlsson return CGF.CGM.CreateRuntimeFunction(FTy, "__cxa_bad_typeid"); 13510c63350bSAnders Carlsson } 13520c63350bSAnders Carlsson 13530c63350bSAnders Carlsson static void EmitBadTypeidCall(CodeGenFunction &CGF) { 1354*bbe277c4SAnders Carlsson llvm::Value *Fn = getBadTypeidFn(CGF); 1355*bbe277c4SAnders Carlsson CGF.EmitCallOrInvoke(Fn, 0, 0).setDoesNotReturn(); 13560c63350bSAnders Carlsson CGF.Builder.CreateUnreachable(); 13570c63350bSAnders Carlsson } 13580c63350bSAnders Carlsson 135959486a2dSAnders Carlsson llvm::Value *CodeGenFunction::EmitCXXTypeidExpr(const CXXTypeidExpr *E) { 136059486a2dSAnders Carlsson QualType Ty = E->getType(); 136159486a2dSAnders Carlsson const llvm::Type *LTy = ConvertType(Ty)->getPointerTo(); 1362fd7dfeb7SAnders Carlsson 13633f4336cbSAnders Carlsson if (E->isTypeOperand()) { 13643f4336cbSAnders Carlsson llvm::Constant *TypeInfo = 13653f4336cbSAnders Carlsson CGM.GetAddrOfRTTIDescriptor(E->getTypeOperand()); 13663f4336cbSAnders Carlsson return Builder.CreateBitCast(TypeInfo, LTy); 13673f4336cbSAnders Carlsson } 1368fd7dfeb7SAnders Carlsson 136959486a2dSAnders Carlsson Expr *subE = E->getExprOperand(); 137059486a2dSAnders Carlsson Ty = subE->getType(); 137159486a2dSAnders Carlsson CanQualType CanTy = CGM.getContext().getCanonicalType(Ty); 137259486a2dSAnders Carlsson Ty = CanTy.getUnqualifiedType().getNonReferenceType(); 137359486a2dSAnders Carlsson if (const RecordType *RT = Ty->getAs<RecordType>()) { 137459486a2dSAnders Carlsson const CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl()); 137559486a2dSAnders Carlsson if (RD->isPolymorphic()) { 137659486a2dSAnders Carlsson // FIXME: if subE is an lvalue do 137759486a2dSAnders Carlsson LValue Obj = EmitLValue(subE); 137859486a2dSAnders Carlsson llvm::Value *This = Obj.getAddress(); 137959486a2dSAnders Carlsson // We need to do a zero check for *p, unless it has NonNullAttr. 138059486a2dSAnders Carlsson // FIXME: PointerType->hasAttr<NonNullAttr>() 138159486a2dSAnders Carlsson bool CanBeZero = false; 138259486a2dSAnders Carlsson if (UnaryOperator *UO = dyn_cast<UnaryOperator>(subE->IgnoreParens())) 1383e302792bSJohn McCall if (UO->getOpcode() == UO_Deref) 138459486a2dSAnders Carlsson CanBeZero = true; 138559486a2dSAnders Carlsson if (CanBeZero) { 138659486a2dSAnders Carlsson llvm::BasicBlock *NonZeroBlock = createBasicBlock(); 138759486a2dSAnders Carlsson llvm::BasicBlock *ZeroBlock = createBasicBlock(); 138859486a2dSAnders Carlsson 13898fc50c29SDan Gohman llvm::Value *Zero = llvm::Constant::getNullValue(This->getType()); 13908fc50c29SDan Gohman Builder.CreateCondBr(Builder.CreateICmpNE(This, Zero), 139159486a2dSAnders Carlsson NonZeroBlock, ZeroBlock); 139259486a2dSAnders Carlsson EmitBlock(ZeroBlock); 13930c63350bSAnders Carlsson 13940c63350bSAnders Carlsson EmitBadTypeidCall(*this); 13950c63350bSAnders Carlsson 139659486a2dSAnders Carlsson EmitBlock(NonZeroBlock); 139759486a2dSAnders Carlsson } 13988fc50c29SDan Gohman llvm::Value *V = GetVTablePtr(This, LTy->getPointerTo()); 139959486a2dSAnders Carlsson V = Builder.CreateConstInBoundsGEP1_64(V, -1ULL); 140059486a2dSAnders Carlsson V = Builder.CreateLoad(V); 140159486a2dSAnders Carlsson return V; 140259486a2dSAnders Carlsson } 140359486a2dSAnders Carlsson } 14043f4336cbSAnders Carlsson return Builder.CreateBitCast(CGM.GetAddrOfRTTIDescriptor(Ty), LTy); 140559486a2dSAnders Carlsson } 140659486a2dSAnders Carlsson 1407882d790fSAnders Carlsson static llvm::Constant *getDynamicCastFn(CodeGenFunction &CGF) { 1408882d790fSAnders Carlsson // void *__dynamic_cast(const void *sub, 1409882d790fSAnders Carlsson // const abi::__class_type_info *src, 1410882d790fSAnders Carlsson // const abi::__class_type_info *dst, 1411882d790fSAnders Carlsson // std::ptrdiff_t src2dst_offset); 1412882d790fSAnders Carlsson 1413882d790fSAnders Carlsson const llvm::Type *Int8PtrTy = llvm::Type::getInt8PtrTy(CGF.getLLVMContext()); 1414882d790fSAnders Carlsson const llvm::Type *PtrDiffTy = 1415882d790fSAnders Carlsson CGF.ConvertType(CGF.getContext().getPointerDiffType()); 1416882d790fSAnders Carlsson 1417882d790fSAnders Carlsson const llvm::Type *Args[4] = { Int8PtrTy, Int8PtrTy, Int8PtrTy, PtrDiffTy }; 1418882d790fSAnders Carlsson 1419882d790fSAnders Carlsson const llvm::FunctionType *FTy = 1420882d790fSAnders Carlsson llvm::FunctionType::get(Int8PtrTy, Args, false); 1421882d790fSAnders Carlsson 1422882d790fSAnders Carlsson return CGF.CGM.CreateRuntimeFunction(FTy, "__dynamic_cast"); 1423882d790fSAnders Carlsson } 1424882d790fSAnders Carlsson 1425882d790fSAnders Carlsson static llvm::Constant *getBadCastFn(CodeGenFunction &CGF) { 1426882d790fSAnders Carlsson // void __cxa_bad_cast(); 1427882d790fSAnders Carlsson 1428882d790fSAnders Carlsson const llvm::Type *VoidTy = llvm::Type::getVoidTy(CGF.getLLVMContext()); 1429882d790fSAnders Carlsson const llvm::FunctionType *FTy = 1430882d790fSAnders Carlsson llvm::FunctionType::get(VoidTy, false); 1431882d790fSAnders Carlsson 1432882d790fSAnders Carlsson return CGF.CGM.CreateRuntimeFunction(FTy, "__cxa_bad_cast"); 1433882d790fSAnders Carlsson } 1434882d790fSAnders Carlsson 1435c1c9971cSAnders Carlsson static void EmitBadCastCall(CodeGenFunction &CGF) { 1436*bbe277c4SAnders Carlsson llvm::Value *Fn = getBadCastFn(CGF); 1437*bbe277c4SAnders Carlsson CGF.EmitCallOrInvoke(Fn, 0, 0).setDoesNotReturn(); 1438c1c9971cSAnders Carlsson CGF.Builder.CreateUnreachable(); 1439c1c9971cSAnders Carlsson } 1440c1c9971cSAnders Carlsson 1441882d790fSAnders Carlsson static llvm::Value * 1442882d790fSAnders Carlsson EmitDynamicCastCall(CodeGenFunction &CGF, llvm::Value *Value, 1443882d790fSAnders Carlsson QualType SrcTy, QualType DestTy, 1444882d790fSAnders Carlsson llvm::BasicBlock *CastEnd) { 1445882d790fSAnders Carlsson const llvm::Type *PtrDiffLTy = 1446882d790fSAnders Carlsson CGF.ConvertType(CGF.getContext().getPointerDiffType()); 1447882d790fSAnders Carlsson const llvm::Type *DestLTy = CGF.ConvertType(DestTy); 1448882d790fSAnders Carlsson 1449882d790fSAnders Carlsson if (const PointerType *PTy = DestTy->getAs<PointerType>()) { 1450882d790fSAnders Carlsson if (PTy->getPointeeType()->isVoidType()) { 1451882d790fSAnders Carlsson // C++ [expr.dynamic.cast]p7: 1452882d790fSAnders Carlsson // If T is "pointer to cv void," then the result is a pointer to the 1453882d790fSAnders Carlsson // most derived object pointed to by v. 1454882d790fSAnders Carlsson 1455882d790fSAnders Carlsson // Get the vtable pointer. 1456882d790fSAnders Carlsson llvm::Value *VTable = CGF.GetVTablePtr(Value, PtrDiffLTy->getPointerTo()); 1457882d790fSAnders Carlsson 1458882d790fSAnders Carlsson // Get the offset-to-top from the vtable. 1459882d790fSAnders Carlsson llvm::Value *OffsetToTop = 1460882d790fSAnders Carlsson CGF.Builder.CreateConstInBoundsGEP1_64(VTable, -2ULL); 1461882d790fSAnders Carlsson OffsetToTop = CGF.Builder.CreateLoad(OffsetToTop, "offset.to.top"); 1462882d790fSAnders Carlsson 1463882d790fSAnders Carlsson // Finally, add the offset to the pointer. 1464882d790fSAnders Carlsson Value = CGF.EmitCastToVoidPtr(Value); 1465882d790fSAnders Carlsson Value = CGF.Builder.CreateInBoundsGEP(Value, OffsetToTop); 1466882d790fSAnders Carlsson 1467882d790fSAnders Carlsson return CGF.Builder.CreateBitCast(Value, DestLTy); 1468882d790fSAnders Carlsson } 1469882d790fSAnders Carlsson } 1470882d790fSAnders Carlsson 1471882d790fSAnders Carlsson QualType SrcRecordTy; 1472882d790fSAnders Carlsson QualType DestRecordTy; 1473882d790fSAnders Carlsson 1474882d790fSAnders Carlsson if (const PointerType *DestPTy = DestTy->getAs<PointerType>()) { 1475882d790fSAnders Carlsson SrcRecordTy = SrcTy->castAs<PointerType>()->getPointeeType(); 1476882d790fSAnders Carlsson DestRecordTy = DestPTy->getPointeeType(); 1477882d790fSAnders Carlsson } else { 1478882d790fSAnders Carlsson SrcRecordTy = SrcTy; 1479882d790fSAnders Carlsson DestRecordTy = DestTy->castAs<ReferenceType>()->getPointeeType(); 1480882d790fSAnders Carlsson } 1481882d790fSAnders Carlsson 1482882d790fSAnders Carlsson assert(SrcRecordTy->isRecordType() && "source type must be a record type!"); 1483882d790fSAnders Carlsson assert(DestRecordTy->isRecordType() && "dest type must be a record type!"); 1484882d790fSAnders Carlsson 1485882d790fSAnders Carlsson llvm::Value *SrcRTTI = 1486882d790fSAnders Carlsson CGF.CGM.GetAddrOfRTTIDescriptor(SrcRecordTy.getUnqualifiedType()); 1487882d790fSAnders Carlsson llvm::Value *DestRTTI = 1488882d790fSAnders Carlsson CGF.CGM.GetAddrOfRTTIDescriptor(DestRecordTy.getUnqualifiedType()); 1489882d790fSAnders Carlsson 1490882d790fSAnders Carlsson // FIXME: Actually compute a hint here. 1491882d790fSAnders Carlsson llvm::Value *OffsetHint = llvm::ConstantInt::get(PtrDiffLTy, -1ULL); 1492882d790fSAnders Carlsson 1493882d790fSAnders Carlsson // Emit the call to __dynamic_cast. 1494882d790fSAnders Carlsson Value = CGF.EmitCastToVoidPtr(Value); 1495882d790fSAnders Carlsson Value = CGF.Builder.CreateCall4(getDynamicCastFn(CGF), Value, 1496882d790fSAnders Carlsson SrcRTTI, DestRTTI, OffsetHint); 1497882d790fSAnders Carlsson Value = CGF.Builder.CreateBitCast(Value, DestLTy); 1498882d790fSAnders Carlsson 1499882d790fSAnders Carlsson /// C++ [expr.dynamic.cast]p9: 1500882d790fSAnders Carlsson /// A failed cast to reference type throws std::bad_cast 1501882d790fSAnders Carlsson if (DestTy->isReferenceType()) { 1502882d790fSAnders Carlsson llvm::BasicBlock *BadCastBlock = 1503882d790fSAnders Carlsson CGF.createBasicBlock("dynamic_cast.bad_cast"); 1504882d790fSAnders Carlsson 1505882d790fSAnders Carlsson llvm::Value *IsNull = CGF.Builder.CreateIsNull(Value); 1506882d790fSAnders Carlsson CGF.Builder.CreateCondBr(IsNull, BadCastBlock, CastEnd); 1507882d790fSAnders Carlsson 1508882d790fSAnders Carlsson CGF.EmitBlock(BadCastBlock); 1509c1c9971cSAnders Carlsson EmitBadCastCall(CGF); 1510882d790fSAnders Carlsson } 1511882d790fSAnders Carlsson 1512882d790fSAnders Carlsson return Value; 1513882d790fSAnders Carlsson } 1514882d790fSAnders Carlsson 1515c1c9971cSAnders Carlsson static llvm::Value *EmitDynamicCastToNull(CodeGenFunction &CGF, 1516c1c9971cSAnders Carlsson QualType DestTy) { 1517c1c9971cSAnders Carlsson const llvm::Type *DestLTy = CGF.ConvertType(DestTy); 1518c1c9971cSAnders Carlsson if (DestTy->isPointerType()) 1519c1c9971cSAnders Carlsson return llvm::Constant::getNullValue(DestLTy); 1520c1c9971cSAnders Carlsson 1521c1c9971cSAnders Carlsson /// C++ [expr.dynamic.cast]p9: 1522c1c9971cSAnders Carlsson /// A failed cast to reference type throws std::bad_cast 1523c1c9971cSAnders Carlsson EmitBadCastCall(CGF); 1524c1c9971cSAnders Carlsson 1525c1c9971cSAnders Carlsson CGF.EmitBlock(CGF.createBasicBlock("dynamic_cast.end")); 1526c1c9971cSAnders Carlsson return llvm::UndefValue::get(DestLTy); 1527c1c9971cSAnders Carlsson } 1528c1c9971cSAnders Carlsson 1529882d790fSAnders Carlsson llvm::Value *CodeGenFunction::EmitDynamicCast(llvm::Value *Value, 153059486a2dSAnders Carlsson const CXXDynamicCastExpr *DCE) { 15313f4336cbSAnders Carlsson QualType DestTy = DCE->getTypeAsWritten(); 15323f4336cbSAnders Carlsson 1533c1c9971cSAnders Carlsson if (DCE->isAlwaysNull()) 1534c1c9971cSAnders Carlsson return EmitDynamicCastToNull(*this, DestTy); 1535c1c9971cSAnders Carlsson 1536c1c9971cSAnders Carlsson QualType SrcTy = DCE->getSubExpr()->getType(); 1537c1c9971cSAnders Carlsson 1538882d790fSAnders Carlsson // C++ [expr.dynamic.cast]p4: 1539882d790fSAnders Carlsson // If the value of v is a null pointer value in the pointer case, the result 1540882d790fSAnders Carlsson // is the null pointer value of type T. 1541882d790fSAnders Carlsson bool ShouldNullCheckSrcValue = SrcTy->isPointerType(); 154259486a2dSAnders Carlsson 1543882d790fSAnders Carlsson llvm::BasicBlock *CastNull = 0; 1544882d790fSAnders Carlsson llvm::BasicBlock *CastNotNull = 0; 1545882d790fSAnders Carlsson llvm::BasicBlock *CastEnd = createBasicBlock("dynamic_cast.end"); 1546fa8b4955SDouglas Gregor 1547882d790fSAnders Carlsson if (ShouldNullCheckSrcValue) { 1548882d790fSAnders Carlsson CastNull = createBasicBlock("dynamic_cast.null"); 1549882d790fSAnders Carlsson CastNotNull = createBasicBlock("dynamic_cast.notnull"); 1550882d790fSAnders Carlsson 1551882d790fSAnders Carlsson llvm::Value *IsNull = Builder.CreateIsNull(Value); 1552882d790fSAnders Carlsson Builder.CreateCondBr(IsNull, CastNull, CastNotNull); 1553882d790fSAnders Carlsson EmitBlock(CastNotNull); 155459486a2dSAnders Carlsson } 155559486a2dSAnders Carlsson 1556882d790fSAnders Carlsson Value = EmitDynamicCastCall(*this, Value, SrcTy, DestTy, CastEnd); 15573f4336cbSAnders Carlsson 1558882d790fSAnders Carlsson if (ShouldNullCheckSrcValue) { 1559882d790fSAnders Carlsson EmitBranch(CastEnd); 156059486a2dSAnders Carlsson 1561882d790fSAnders Carlsson EmitBlock(CastNull); 1562882d790fSAnders Carlsson EmitBranch(CastEnd); 156359486a2dSAnders Carlsson } 156459486a2dSAnders Carlsson 1565882d790fSAnders Carlsson EmitBlock(CastEnd); 156659486a2dSAnders Carlsson 1567882d790fSAnders Carlsson if (ShouldNullCheckSrcValue) { 1568882d790fSAnders Carlsson llvm::PHINode *PHI = Builder.CreatePHI(Value->getType(), 2); 1569882d790fSAnders Carlsson PHI->addIncoming(Value, CastNotNull); 1570882d790fSAnders Carlsson PHI->addIncoming(llvm::Constant::getNullValue(Value->getType()), CastNull); 157159486a2dSAnders Carlsson 1572882d790fSAnders Carlsson Value = PHI; 157359486a2dSAnders Carlsson } 157459486a2dSAnders Carlsson 1575882d790fSAnders Carlsson return Value; 157659486a2dSAnders Carlsson } 1577