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" 20bbe277c4SAnders Carlsson #include "llvm/Support/CallSite.h" 21bbe277c4SAnders 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. 4043dca6a8SEli Friedman Args.add(RValue::get(This), MD->getThisType(getContext())); 4127da15baSAnders Carlsson 42e36a6b3eSAnders Carlsson // If there is a VTT parameter, emit it. 43e36a6b3eSAnders Carlsson if (VTT) { 44e36a6b3eSAnders Carlsson QualType T = getContext().getPointerType(getContext().VoidPtrTy); 4543dca6a8SEli Friedman Args.add(RValue::get(VTT), T); 46e36a6b3eSAnders Carlsson } 47e36a6b3eSAnders Carlsson 4827da15baSAnders Carlsson // And the rest of the call args 4927da15baSAnders Carlsson EmitCallArgs(Args, FPT, ArgBeg, ArgEnd); 5027da15baSAnders Carlsson 51ab26cfa5SJohn McCall QualType ResultType = FPT->getResultType(); 5299cc30c3STilmann Scheller return EmitCall(CGM.getTypes().getFunctionInfo(ResultType, Args, 5399cc30c3STilmann Scheller FPT->getExtInfo()), 54c50c27ccSRafael Espindola Callee, ReturnValue, Args, MD); 5527da15baSAnders Carlsson } 5627da15baSAnders Carlsson 571ae64c5aSAnders Carlsson static const CXXRecordDecl *getMostDerivedClassDecl(const Expr *Base) { 586b3afd7dSAnders Carlsson const Expr *E = Base; 596b3afd7dSAnders Carlsson 606b3afd7dSAnders Carlsson while (true) { 616b3afd7dSAnders Carlsson E = E->IgnoreParens(); 626b3afd7dSAnders Carlsson if (const CastExpr *CE = dyn_cast<CastExpr>(E)) { 636b3afd7dSAnders Carlsson if (CE->getCastKind() == CK_DerivedToBase || 646b3afd7dSAnders Carlsson CE->getCastKind() == CK_UncheckedDerivedToBase || 656b3afd7dSAnders Carlsson CE->getCastKind() == CK_NoOp) { 666b3afd7dSAnders Carlsson E = CE->getSubExpr(); 676b3afd7dSAnders Carlsson continue; 686b3afd7dSAnders Carlsson } 696b3afd7dSAnders Carlsson } 706b3afd7dSAnders Carlsson 716b3afd7dSAnders Carlsson break; 726b3afd7dSAnders Carlsson } 736b3afd7dSAnders Carlsson 746b3afd7dSAnders Carlsson QualType DerivedType = E->getType(); 751ae64c5aSAnders Carlsson if (const PointerType *PTy = DerivedType->getAs<PointerType>()) 761ae64c5aSAnders Carlsson DerivedType = PTy->getPointeeType(); 771ae64c5aSAnders Carlsson 781ae64c5aSAnders Carlsson return cast<CXXRecordDecl>(DerivedType->castAs<RecordType>()->getDecl()); 791ae64c5aSAnders Carlsson } 801ae64c5aSAnders Carlsson 81c53d9e83SAnders Carlsson // FIXME: Ideally Expr::IgnoreParenNoopCasts should do this, but it doesn't do 82c53d9e83SAnders Carlsson // quite what we want. 83c53d9e83SAnders Carlsson static const Expr *skipNoOpCastsAndParens(const Expr *E) { 84c53d9e83SAnders Carlsson while (true) { 85c53d9e83SAnders Carlsson if (const ParenExpr *PE = dyn_cast<ParenExpr>(E)) { 86c53d9e83SAnders Carlsson E = PE->getSubExpr(); 87c53d9e83SAnders Carlsson continue; 88c53d9e83SAnders Carlsson } 89c53d9e83SAnders Carlsson 90c53d9e83SAnders Carlsson if (const CastExpr *CE = dyn_cast<CastExpr>(E)) { 91c53d9e83SAnders Carlsson if (CE->getCastKind() == CK_NoOp) { 92c53d9e83SAnders Carlsson E = CE->getSubExpr(); 93c53d9e83SAnders Carlsson continue; 94c53d9e83SAnders Carlsson } 95c53d9e83SAnders Carlsson } 96c53d9e83SAnders Carlsson if (const UnaryOperator *UO = dyn_cast<UnaryOperator>(E)) { 97c53d9e83SAnders Carlsson if (UO->getOpcode() == UO_Extension) { 98c53d9e83SAnders Carlsson E = UO->getSubExpr(); 99c53d9e83SAnders Carlsson continue; 100c53d9e83SAnders Carlsson } 101c53d9e83SAnders Carlsson } 102c53d9e83SAnders Carlsson return E; 103c53d9e83SAnders Carlsson } 104c53d9e83SAnders Carlsson } 105c53d9e83SAnders Carlsson 10627da15baSAnders Carlsson /// canDevirtualizeMemberFunctionCalls - Checks whether virtual calls on given 10727da15baSAnders Carlsson /// expr can be devirtualized. 108252a47f6SFariborz Jahanian static bool canDevirtualizeMemberFunctionCalls(ASTContext &Context, 109252a47f6SFariborz Jahanian const Expr *Base, 110a7911fa3SAnders Carlsson const CXXMethodDecl *MD) { 111a7911fa3SAnders Carlsson 1121ae64c5aSAnders Carlsson // When building with -fapple-kext, all calls must go through the vtable since 1131ae64c5aSAnders Carlsson // the kernel linker can do runtime patching of vtables. 114252a47f6SFariborz Jahanian if (Context.getLangOptions().AppleKext) 115252a47f6SFariborz Jahanian return false; 116252a47f6SFariborz Jahanian 1171ae64c5aSAnders Carlsson // If the most derived class is marked final, we know that no subclass can 1181ae64c5aSAnders Carlsson // override this member function and so we can devirtualize it. For example: 1191ae64c5aSAnders Carlsson // 1201ae64c5aSAnders Carlsson // struct A { virtual void f(); } 1211ae64c5aSAnders Carlsson // struct B final : A { }; 1221ae64c5aSAnders Carlsson // 1231ae64c5aSAnders Carlsson // void f(B *b) { 1241ae64c5aSAnders Carlsson // b->f(); 1251ae64c5aSAnders Carlsson // } 1261ae64c5aSAnders Carlsson // 1271ae64c5aSAnders Carlsson const CXXRecordDecl *MostDerivedClassDecl = getMostDerivedClassDecl(Base); 1281ae64c5aSAnders Carlsson if (MostDerivedClassDecl->hasAttr<FinalAttr>()) 1291ae64c5aSAnders Carlsson return true; 1301ae64c5aSAnders Carlsson 13119588aa4SAnders Carlsson // If the member function is marked 'final', we know that it can't be 132b00c2144SAnders Carlsson // overridden and can therefore devirtualize it. 1331eb95961SAnders Carlsson if (MD->hasAttr<FinalAttr>()) 134a7911fa3SAnders Carlsson return true; 135a7911fa3SAnders Carlsson 13619588aa4SAnders Carlsson // Similarly, if the class itself is marked 'final' it can't be overridden 13719588aa4SAnders Carlsson // and we can therefore devirtualize the member function call. 1381eb95961SAnders Carlsson if (MD->getParent()->hasAttr<FinalAttr>()) 139b00c2144SAnders Carlsson return true; 140b00c2144SAnders Carlsson 141c53d9e83SAnders Carlsson Base = skipNoOpCastsAndParens(Base); 14227da15baSAnders Carlsson if (const DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(Base)) { 14327da15baSAnders Carlsson if (const VarDecl *VD = dyn_cast<VarDecl>(DRE->getDecl())) { 14427da15baSAnders Carlsson // This is a record decl. We know the type and can devirtualize it. 14527da15baSAnders Carlsson return VD->getType()->isRecordType(); 14627da15baSAnders Carlsson } 14727da15baSAnders Carlsson 14827da15baSAnders Carlsson return false; 14927da15baSAnders Carlsson } 15027da15baSAnders Carlsson 15127da15baSAnders Carlsson // We can always devirtualize calls on temporary object expressions. 152a682427eSEli Friedman if (isa<CXXConstructExpr>(Base)) 15327da15baSAnders Carlsson return true; 15427da15baSAnders Carlsson 15527da15baSAnders Carlsson // And calls on bound temporaries. 15627da15baSAnders Carlsson if (isa<CXXBindTemporaryExpr>(Base)) 15727da15baSAnders Carlsson return true; 15827da15baSAnders Carlsson 15927da15baSAnders Carlsson // Check if this is a call expr that returns a record type. 16027da15baSAnders Carlsson if (const CallExpr *CE = dyn_cast<CallExpr>(Base)) 16127da15baSAnders Carlsson return CE->getCallReturnType()->isRecordType(); 16227da15baSAnders Carlsson 16327da15baSAnders Carlsson // We can't devirtualize the call. 16427da15baSAnders Carlsson return false; 16527da15baSAnders Carlsson } 16627da15baSAnders Carlsson 16764225794SFrancois Pichet // Note: This function also emit constructor calls to support a MSVC 16864225794SFrancois Pichet // extensions allowing explicit constructor function call. 16927da15baSAnders Carlsson RValue CodeGenFunction::EmitCXXMemberCallExpr(const CXXMemberCallExpr *CE, 17027da15baSAnders Carlsson ReturnValueSlot ReturnValue) { 1712d2e8707SJohn McCall const Expr *callee = CE->getCallee()->IgnoreParens(); 1722d2e8707SJohn McCall 1732d2e8707SJohn McCall if (isa<BinaryOperator>(callee)) 17427da15baSAnders Carlsson return EmitCXXMemberPointerCallExpr(CE, ReturnValue); 17527da15baSAnders Carlsson 1762d2e8707SJohn McCall const MemberExpr *ME = cast<MemberExpr>(callee); 17727da15baSAnders Carlsson const CXXMethodDecl *MD = cast<CXXMethodDecl>(ME->getMemberDecl()); 17827da15baSAnders Carlsson 17991bbb554SDevang Patel CGDebugInfo *DI = getDebugInfo(); 180401c916cSDevang Patel if (DI && CGM.getCodeGenOpts().LimitDebugInfo 181401c916cSDevang Patel && !isa<CallExpr>(ME->getBase())) { 18291bbb554SDevang Patel QualType PQTy = ME->getBase()->IgnoreParenImpCasts()->getType(); 18391bbb554SDevang Patel if (const PointerType * PTy = dyn_cast<PointerType>(PQTy)) { 18491bbb554SDevang Patel DI->getOrCreateRecordType(PTy->getPointeeType(), 18591bbb554SDevang Patel MD->getParent()->getLocation()); 18691bbb554SDevang Patel } 18791bbb554SDevang Patel } 18891bbb554SDevang Patel 18927da15baSAnders Carlsson if (MD->isStatic()) { 19027da15baSAnders Carlsson // The method is static, emit it as we would a regular call. 19127da15baSAnders Carlsson llvm::Value *Callee = CGM.GetAddrOfFunction(MD); 19227da15baSAnders Carlsson return EmitCall(getContext().getPointerType(MD->getType()), Callee, 19327da15baSAnders Carlsson ReturnValue, CE->arg_begin(), CE->arg_end()); 19427da15baSAnders Carlsson } 19527da15baSAnders Carlsson 1960d635f53SJohn McCall // Compute the object pointer. 19727da15baSAnders Carlsson llvm::Value *This; 19827da15baSAnders Carlsson if (ME->isArrow()) 19927da15baSAnders Carlsson This = EmitScalarExpr(ME->getBase()); 200f93ac894SFariborz Jahanian else 201e26a872bSJohn McCall This = EmitLValue(ME->getBase()).getAddress(); 20227da15baSAnders Carlsson 2030d635f53SJohn McCall if (MD->isTrivial()) { 2040d635f53SJohn McCall if (isa<CXXDestructorDecl>(MD)) return RValue::get(0); 20564225794SFrancois Pichet if (isa<CXXConstructorDecl>(MD) && 20664225794SFrancois Pichet cast<CXXConstructorDecl>(MD)->isDefaultConstructor()) 20764225794SFrancois Pichet return RValue::get(0); 2080d635f53SJohn McCall 20964225794SFrancois Pichet if (MD->isCopyAssignmentOperator()) { 21027da15baSAnders Carlsson // We don't like to generate the trivial copy assignment operator when 21127da15baSAnders Carlsson // it isn't necessary; just produce the proper effect here. 21227da15baSAnders Carlsson llvm::Value *RHS = EmitLValue(*CE->arg_begin()).getAddress(); 21327da15baSAnders Carlsson EmitAggregateCopy(This, RHS, CE->getType()); 21427da15baSAnders Carlsson return RValue::get(This); 21527da15baSAnders Carlsson } 21627da15baSAnders Carlsson 21764225794SFrancois Pichet if (isa<CXXConstructorDecl>(MD) && 21864225794SFrancois Pichet cast<CXXConstructorDecl>(MD)->isCopyConstructor()) { 21964225794SFrancois Pichet llvm::Value *RHS = EmitLValue(*CE->arg_begin()).getAddress(); 22064225794SFrancois Pichet EmitSynthesizedCXXCopyCtorCall(cast<CXXConstructorDecl>(MD), This, RHS, 22164225794SFrancois Pichet CE->arg_begin(), CE->arg_end()); 22264225794SFrancois Pichet return RValue::get(This); 22364225794SFrancois Pichet } 22464225794SFrancois Pichet llvm_unreachable("unknown trivial member function"); 22564225794SFrancois Pichet } 22664225794SFrancois Pichet 2270d635f53SJohn McCall // Compute the function type we're calling. 22864225794SFrancois Pichet const CGFunctionInfo *FInfo = 0; 22964225794SFrancois Pichet if (isa<CXXDestructorDecl>(MD)) 23064225794SFrancois Pichet FInfo = &CGM.getTypes().getFunctionInfo(cast<CXXDestructorDecl>(MD), 23164225794SFrancois Pichet Dtor_Complete); 23264225794SFrancois Pichet else if (isa<CXXConstructorDecl>(MD)) 23364225794SFrancois Pichet FInfo = &CGM.getTypes().getFunctionInfo(cast<CXXConstructorDecl>(MD), 23464225794SFrancois Pichet Ctor_Complete); 23564225794SFrancois Pichet else 23664225794SFrancois Pichet FInfo = &CGM.getTypes().getFunctionInfo(MD); 2370d635f53SJohn McCall 2380d635f53SJohn McCall const FunctionProtoType *FPT = MD->getType()->getAs<FunctionProtoType>(); 2390d635f53SJohn McCall const llvm::Type *Ty 24064225794SFrancois Pichet = CGM.getTypes().GetFunctionType(*FInfo, FPT->isVariadic()); 2410d635f53SJohn McCall 24227da15baSAnders Carlsson // C++ [class.virtual]p12: 24327da15baSAnders Carlsson // Explicit qualification with the scope operator (5.1) suppresses the 24427da15baSAnders Carlsson // virtual call mechanism. 24527da15baSAnders Carlsson // 24627da15baSAnders Carlsson // We also don't emit a virtual call if the base expression has a record type 24727da15baSAnders Carlsson // because then we know what the type is. 24847609b08SFariborz Jahanian bool UseVirtualCall; 24947609b08SFariborz Jahanian UseVirtualCall = MD->isVirtual() && !ME->hasQualifier() 250252a47f6SFariborz Jahanian && !canDevirtualizeMemberFunctionCalls(getContext(), 251252a47f6SFariborz Jahanian ME->getBase(), MD); 25227da15baSAnders Carlsson llvm::Value *Callee; 2530d635f53SJohn McCall if (const CXXDestructorDecl *Dtor = dyn_cast<CXXDestructorDecl>(MD)) { 2540d635f53SJohn McCall if (UseVirtualCall) { 2550d635f53SJohn McCall Callee = BuildVirtualCall(Dtor, Dtor_Complete, This, Ty); 25627da15baSAnders Carlsson } else { 257265c325eSFariborz Jahanian if (getContext().getLangOptions().AppleKext && 258265c325eSFariborz Jahanian MD->isVirtual() && 259265c325eSFariborz Jahanian ME->hasQualifier()) 2607f6f81baSFariborz Jahanian Callee = BuildAppleKextVirtualCall(MD, ME->getQualifier(), Ty); 261265c325eSFariborz Jahanian else 2620d635f53SJohn McCall Callee = CGM.GetAddrOfFunction(GlobalDecl(Dtor, Dtor_Complete), Ty); 26327da15baSAnders Carlsson } 26464225794SFrancois Pichet } else if (const CXXConstructorDecl *Ctor = 26564225794SFrancois Pichet dyn_cast<CXXConstructorDecl>(MD)) { 26664225794SFrancois Pichet Callee = CGM.GetAddrOfFunction(GlobalDecl(Ctor, Ctor_Complete), Ty); 2670d635f53SJohn McCall } else if (UseVirtualCall) { 26827da15baSAnders Carlsson Callee = BuildVirtualCall(MD, This, Ty); 26927da15baSAnders Carlsson } else { 270252a47f6SFariborz Jahanian if (getContext().getLangOptions().AppleKext && 2719f9438b3SFariborz Jahanian MD->isVirtual() && 272252a47f6SFariborz Jahanian ME->hasQualifier()) 2737f6f81baSFariborz Jahanian Callee = BuildAppleKextVirtualCall(MD, ME->getQualifier(), Ty); 274252a47f6SFariborz Jahanian else 27527da15baSAnders Carlsson Callee = CGM.GetAddrOfFunction(MD, Ty); 27627da15baSAnders Carlsson } 27727da15baSAnders Carlsson 278e36a6b3eSAnders Carlsson return EmitCXXMemberCall(MD, Callee, ReturnValue, This, /*VTT=*/0, 27927da15baSAnders Carlsson CE->arg_begin(), CE->arg_end()); 28027da15baSAnders Carlsson } 28127da15baSAnders Carlsson 28227da15baSAnders Carlsson RValue 28327da15baSAnders Carlsson CodeGenFunction::EmitCXXMemberPointerCallExpr(const CXXMemberCallExpr *E, 28427da15baSAnders Carlsson ReturnValueSlot ReturnValue) { 28527da15baSAnders Carlsson const BinaryOperator *BO = 28627da15baSAnders Carlsson cast<BinaryOperator>(E->getCallee()->IgnoreParens()); 28727da15baSAnders Carlsson const Expr *BaseExpr = BO->getLHS(); 28827da15baSAnders Carlsson const Expr *MemFnExpr = BO->getRHS(); 28927da15baSAnders Carlsson 29027da15baSAnders Carlsson const MemberPointerType *MPT = 2910009fcc3SJohn McCall MemFnExpr->getType()->castAs<MemberPointerType>(); 292475999dcSJohn McCall 29327da15baSAnders Carlsson const FunctionProtoType *FPT = 2940009fcc3SJohn McCall MPT->getPointeeType()->castAs<FunctionProtoType>(); 29527da15baSAnders Carlsson const CXXRecordDecl *RD = 29627da15baSAnders Carlsson cast<CXXRecordDecl>(MPT->getClass()->getAs<RecordType>()->getDecl()); 29727da15baSAnders Carlsson 29827da15baSAnders Carlsson // Get the member function pointer. 299a1dee530SJohn McCall llvm::Value *MemFnPtr = EmitScalarExpr(MemFnExpr); 30027da15baSAnders Carlsson 30127da15baSAnders Carlsson // Emit the 'this' pointer. 30227da15baSAnders Carlsson llvm::Value *This; 30327da15baSAnders Carlsson 304e302792bSJohn McCall if (BO->getOpcode() == BO_PtrMemI) 30527da15baSAnders Carlsson This = EmitScalarExpr(BaseExpr); 30627da15baSAnders Carlsson else 30727da15baSAnders Carlsson This = EmitLValue(BaseExpr).getAddress(); 30827da15baSAnders Carlsson 309475999dcSJohn McCall // Ask the ABI to load the callee. Note that This is modified. 310475999dcSJohn McCall llvm::Value *Callee = 311ad7c5c16SJohn McCall CGM.getCXXABI().EmitLoadOfMemberFunctionPointer(*this, This, MemFnPtr, MPT); 31227da15baSAnders Carlsson 31327da15baSAnders Carlsson CallArgList Args; 31427da15baSAnders Carlsson 31527da15baSAnders Carlsson QualType ThisType = 31627da15baSAnders Carlsson getContext().getPointerType(getContext().getTagDeclType(RD)); 31727da15baSAnders Carlsson 31827da15baSAnders Carlsson // Push the this ptr. 31943dca6a8SEli Friedman Args.add(RValue::get(This), ThisType); 32027da15baSAnders Carlsson 32127da15baSAnders Carlsson // And the rest of the call args 32227da15baSAnders Carlsson EmitCallArgs(Args, FPT, E->arg_begin(), E->arg_end()); 3230009fcc3SJohn McCall return EmitCall(CGM.getTypes().getFunctionInfo(Args, FPT), Callee, 32499cc30c3STilmann Scheller ReturnValue, Args); 32527da15baSAnders Carlsson } 32627da15baSAnders Carlsson 32727da15baSAnders Carlsson RValue 32827da15baSAnders Carlsson CodeGenFunction::EmitCXXOperatorMemberCallExpr(const CXXOperatorCallExpr *E, 32927da15baSAnders Carlsson const CXXMethodDecl *MD, 33027da15baSAnders Carlsson ReturnValueSlot ReturnValue) { 33127da15baSAnders Carlsson assert(MD->isInstance() && 33227da15baSAnders Carlsson "Trying to emit a member call expr on a static method!"); 333e26a872bSJohn McCall LValue LV = EmitLValue(E->getArg(0)); 334e26a872bSJohn McCall llvm::Value *This = LV.getAddress(); 335e26a872bSJohn McCall 336ec3bec0cSDouglas Gregor if (MD->isCopyAssignmentOperator()) { 33727da15baSAnders Carlsson const CXXRecordDecl *ClassDecl = cast<CXXRecordDecl>(MD->getDeclContext()); 33827da15baSAnders Carlsson if (ClassDecl->hasTrivialCopyAssignment()) { 33927da15baSAnders Carlsson assert(!ClassDecl->hasUserDeclaredCopyAssignment() && 34027da15baSAnders Carlsson "EmitCXXOperatorMemberCallExpr - user declared copy assignment"); 34127da15baSAnders Carlsson llvm::Value *Src = EmitLValue(E->getArg(1)).getAddress(); 34227da15baSAnders Carlsson QualType Ty = E->getType(); 34327da15baSAnders Carlsson EmitAggregateCopy(This, Src, Ty); 34427da15baSAnders Carlsson return RValue::get(This); 34527da15baSAnders Carlsson } 34627da15baSAnders Carlsson } 34727da15baSAnders Carlsson 34827da15baSAnders Carlsson const FunctionProtoType *FPT = MD->getType()->getAs<FunctionProtoType>(); 34927da15baSAnders Carlsson const llvm::Type *Ty = 35027da15baSAnders Carlsson CGM.getTypes().GetFunctionType(CGM.getTypes().getFunctionInfo(MD), 35127da15baSAnders Carlsson FPT->isVariadic()); 35227da15baSAnders Carlsson llvm::Value *Callee; 35347609b08SFariborz Jahanian if (MD->isVirtual() && 354252a47f6SFariborz Jahanian !canDevirtualizeMemberFunctionCalls(getContext(), 355252a47f6SFariborz Jahanian E->getArg(0), MD)) 35627da15baSAnders Carlsson Callee = BuildVirtualCall(MD, This, Ty); 35727da15baSAnders Carlsson else 35827da15baSAnders Carlsson Callee = CGM.GetAddrOfFunction(MD, Ty); 35927da15baSAnders Carlsson 360e36a6b3eSAnders Carlsson return EmitCXXMemberCall(MD, Callee, ReturnValue, This, /*VTT=*/0, 36127da15baSAnders Carlsson E->arg_begin() + 1, E->arg_end()); 36227da15baSAnders Carlsson } 36327da15baSAnders Carlsson 36427da15baSAnders Carlsson void 3657a626f63SJohn McCall CodeGenFunction::EmitCXXConstructExpr(const CXXConstructExpr *E, 3667a626f63SJohn McCall AggValueSlot Dest) { 3677a626f63SJohn McCall assert(!Dest.isIgnored() && "Must have a destination!"); 36827da15baSAnders Carlsson const CXXConstructorDecl *CD = E->getConstructor(); 369630c76efSDouglas Gregor 370630c76efSDouglas Gregor // If we require zero initialization before (or instead of) calling the 371630c76efSDouglas Gregor // constructor, as can be the case with a non-user-provided default 37203535265SArgyrios Kyrtzidis // constructor, emit the zero initialization now, unless destination is 37303535265SArgyrios Kyrtzidis // already zeroed. 37403535265SArgyrios Kyrtzidis if (E->requiresZeroInitialization() && !Dest.isZeroed()) 3757a626f63SJohn McCall EmitNullInitialization(Dest.getAddr(), E->getType()); 376630c76efSDouglas Gregor 377630c76efSDouglas Gregor // If this is a call to a trivial default constructor, do nothing. 378630c76efSDouglas Gregor if (CD->isTrivial() && CD->isDefaultConstructor()) 37927da15baSAnders Carlsson return; 380630c76efSDouglas Gregor 3818ea46b66SJohn McCall // Elide the constructor if we're constructing from a temporary. 3828ea46b66SJohn McCall // The temporary check is required because Sema sets this on NRVO 3838ea46b66SJohn McCall // returns. 38427da15baSAnders Carlsson if (getContext().getLangOptions().ElideConstructors && E->isElidable()) { 3858ea46b66SJohn McCall assert(getContext().hasSameUnqualifiedType(E->getType(), 3868ea46b66SJohn McCall E->getArg(0)->getType())); 3877a626f63SJohn McCall if (E->getArg(0)->isTemporaryObject(getContext(), CD->getParent())) { 3887a626f63SJohn McCall EmitAggExpr(E->getArg(0), Dest); 38927da15baSAnders Carlsson return; 39027da15baSAnders Carlsson } 391222cf0efSDouglas Gregor } 392630c76efSDouglas Gregor 393630c76efSDouglas Gregor const ConstantArrayType *Array 394630c76efSDouglas Gregor = getContext().getAsConstantArrayType(E->getType()); 39527da15baSAnders Carlsson if (Array) { 39627da15baSAnders Carlsson QualType BaseElementTy = getContext().getBaseElementType(Array); 39727da15baSAnders Carlsson const llvm::Type *BasePtr = ConvertType(BaseElementTy); 39827da15baSAnders Carlsson BasePtr = llvm::PointerType::getUnqual(BasePtr); 39927da15baSAnders Carlsson llvm::Value *BaseAddrPtr = 4007a626f63SJohn McCall Builder.CreateBitCast(Dest.getAddr(), BasePtr); 40127da15baSAnders Carlsson 40227da15baSAnders Carlsson EmitCXXAggrConstructorCall(CD, Array, BaseAddrPtr, 40327da15baSAnders Carlsson E->arg_begin(), E->arg_end()); 40427da15baSAnders Carlsson } 405e11f9ce9SAnders Carlsson else { 40661bc1737SAlexis Hunt CXXCtorType Type; 40761bc1737SAlexis Hunt CXXConstructExpr::ConstructionKind K = E->getConstructionKind(); 40861bc1737SAlexis Hunt if (K == CXXConstructExpr::CK_Delegating) { 40961bc1737SAlexis Hunt // We should be emitting a constructor; GlobalDecl will assert this 41061bc1737SAlexis Hunt Type = CurGD.getCtorType(); 41161bc1737SAlexis Hunt } else { 41261bc1737SAlexis Hunt Type = (E->getConstructionKind() == CXXConstructExpr::CK_Complete) 413e11f9ce9SAnders Carlsson ? Ctor_Complete : Ctor_Base; 41461bc1737SAlexis Hunt } 41561bc1737SAlexis Hunt 416e11f9ce9SAnders Carlsson bool ForVirtualBase = 417e11f9ce9SAnders Carlsson E->getConstructionKind() == CXXConstructExpr::CK_VirtualBase; 418e11f9ce9SAnders Carlsson 41927da15baSAnders Carlsson // Call the constructor. 4207a626f63SJohn McCall EmitCXXConstructorCall(CD, Type, ForVirtualBase, Dest.getAddr(), 42127da15baSAnders Carlsson E->arg_begin(), E->arg_end()); 42227da15baSAnders Carlsson } 423e11f9ce9SAnders Carlsson } 42427da15baSAnders Carlsson 425e988bdacSFariborz Jahanian void 426e988bdacSFariborz Jahanian CodeGenFunction::EmitSynthesizedCXXCopyCtor(llvm::Value *Dest, 427e988bdacSFariborz Jahanian llvm::Value *Src, 42850198098SFariborz Jahanian const Expr *Exp) { 4295d413781SJohn McCall if (const ExprWithCleanups *E = dyn_cast<ExprWithCleanups>(Exp)) 430e988bdacSFariborz Jahanian Exp = E->getSubExpr(); 431e988bdacSFariborz Jahanian assert(isa<CXXConstructExpr>(Exp) && 432e988bdacSFariborz Jahanian "EmitSynthesizedCXXCopyCtor - unknown copy ctor expr"); 433e988bdacSFariborz Jahanian const CXXConstructExpr* E = cast<CXXConstructExpr>(Exp); 434e988bdacSFariborz Jahanian const CXXConstructorDecl *CD = E->getConstructor(); 435e988bdacSFariborz Jahanian RunCleanupsScope Scope(*this); 436e988bdacSFariborz Jahanian 437e988bdacSFariborz Jahanian // If we require zero initialization before (or instead of) calling the 438e988bdacSFariborz Jahanian // constructor, as can be the case with a non-user-provided default 439e988bdacSFariborz Jahanian // constructor, emit the zero initialization now. 440e988bdacSFariborz Jahanian // FIXME. Do I still need this for a copy ctor synthesis? 441e988bdacSFariborz Jahanian if (E->requiresZeroInitialization()) 442e988bdacSFariborz Jahanian EmitNullInitialization(Dest, E->getType()); 443e988bdacSFariborz Jahanian 44499da11cfSChandler Carruth assert(!getContext().getAsConstantArrayType(E->getType()) 44599da11cfSChandler Carruth && "EmitSynthesizedCXXCopyCtor - Copied-in Array"); 446e988bdacSFariborz Jahanian EmitSynthesizedCXXCopyCtorCall(CD, Dest, Src, 447e988bdacSFariborz Jahanian E->arg_begin(), E->arg_end()); 448e988bdacSFariborz Jahanian } 449e988bdacSFariborz Jahanian 450aa4149a2SJohn McCall /// Check whether the given operator new[] is the global placement 451aa4149a2SJohn McCall /// operator new[]. 452aa4149a2SJohn McCall static bool IsPlacementOperatorNewArray(ASTContext &Ctx, 453aa4149a2SJohn McCall const FunctionDecl *Fn) { 454aa4149a2SJohn McCall // Must be in global scope. Note that allocation functions can't be 455aa4149a2SJohn McCall // declared in namespaces. 45650c68258SSebastian Redl if (!Fn->getDeclContext()->getRedeclContext()->isFileContext()) 457aa4149a2SJohn McCall return false; 458aa4149a2SJohn McCall 459aa4149a2SJohn McCall // Signature must be void *operator new[](size_t, void*). 460aa4149a2SJohn McCall // The size_t is common to all operator new[]s. 461aa4149a2SJohn McCall if (Fn->getNumParams() != 2) 462aa4149a2SJohn McCall return false; 463aa4149a2SJohn McCall 464aa4149a2SJohn McCall CanQualType ParamType = Ctx.getCanonicalType(Fn->getParamDecl(1)->getType()); 465aa4149a2SJohn McCall return (ParamType == Ctx.VoidPtrTy); 466aa4149a2SJohn McCall } 467aa4149a2SJohn McCall 4688ed55a54SJohn McCall static CharUnits CalculateCookiePadding(CodeGenFunction &CGF, 4698ed55a54SJohn McCall const CXXNewExpr *E) { 47021122cf6SAnders Carlsson if (!E->isArray()) 4713eb55cfeSKen Dyck return CharUnits::Zero(); 47221122cf6SAnders Carlsson 473399f499fSAnders Carlsson // No cookie is required if the new operator being used is 474399f499fSAnders Carlsson // ::operator new[](size_t, void*). 475399f499fSAnders Carlsson const FunctionDecl *OperatorNew = E->getOperatorNew(); 4768ed55a54SJohn McCall if (IsPlacementOperatorNewArray(CGF.getContext(), OperatorNew)) 4773eb55cfeSKen Dyck return CharUnits::Zero(); 478399f499fSAnders Carlsson 479284c48ffSJohn McCall return CGF.CGM.getCXXABI().GetArrayCookieSize(E); 48059486a2dSAnders Carlsson } 48159486a2dSAnders Carlsson 48247b4629bSFariborz Jahanian static llvm::Value *EmitCXXNewAllocSize(ASTContext &Context, 48347b4629bSFariborz Jahanian CodeGenFunction &CGF, 48459486a2dSAnders Carlsson const CXXNewExpr *E, 48505fc5be3SDouglas Gregor llvm::Value *&NumElements, 48605fc5be3SDouglas Gregor llvm::Value *&SizeWithoutCookie) { 4877648fb46SArgyrios Kyrtzidis QualType ElemType = E->getAllocatedType(); 48859486a2dSAnders Carlsson 4898ed55a54SJohn McCall const llvm::IntegerType *SizeTy = 4908ed55a54SJohn McCall cast<llvm::IntegerType>(CGF.ConvertType(CGF.getContext().getSizeType())); 4918ed55a54SJohn McCall 4927648fb46SArgyrios Kyrtzidis CharUnits TypeSize = CGF.getContext().getTypeSizeInChars(ElemType); 4938ed55a54SJohn McCall 4948ed55a54SJohn McCall if (!E->isArray()) { 49505fc5be3SDouglas Gregor SizeWithoutCookie = llvm::ConstantInt::get(SizeTy, TypeSize.getQuantity()); 49605fc5be3SDouglas Gregor return SizeWithoutCookie; 49705fc5be3SDouglas Gregor } 49859486a2dSAnders Carlsson 4998ed55a54SJohn McCall // Figure out the cookie size. 5008ed55a54SJohn McCall CharUnits CookieSize = CalculateCookiePadding(CGF, E); 5018ed55a54SJohn McCall 50259486a2dSAnders Carlsson // Emit the array size expression. 5037648fb46SArgyrios Kyrtzidis // We multiply the size of all dimensions for NumElements. 5047648fb46SArgyrios Kyrtzidis // e.g for 'int[2][3]', ElemType is 'int' and NumElements is 6. 50559486a2dSAnders Carlsson NumElements = CGF.EmitScalarExpr(E->getArraySize()); 5068ed55a54SJohn McCall assert(NumElements->getType() == SizeTy && "element count not a size_t"); 5078ed55a54SJohn McCall 5088ed55a54SJohn McCall uint64_t ArraySizeMultiplier = 1; 5097648fb46SArgyrios Kyrtzidis while (const ConstantArrayType *CAT 5107648fb46SArgyrios Kyrtzidis = CGF.getContext().getAsConstantArrayType(ElemType)) { 5117648fb46SArgyrios Kyrtzidis ElemType = CAT->getElementType(); 5128ed55a54SJohn McCall ArraySizeMultiplier *= CAT->getSize().getZExtValue(); 5137648fb46SArgyrios Kyrtzidis } 51459486a2dSAnders Carlsson 5158ed55a54SJohn McCall llvm::Value *Size; 51632ac583dSChris Lattner 51732ac583dSChris Lattner // If someone is doing 'new int[42]' there is no need to do a dynamic check. 51832ac583dSChris Lattner // Don't bloat the -O0 code. 51932ac583dSChris Lattner if (llvm::ConstantInt *NumElementsC = 52032ac583dSChris Lattner dyn_cast<llvm::ConstantInt>(NumElements)) { 52132ac583dSChris Lattner llvm::APInt NEC = NumElementsC->getValue(); 5228ed55a54SJohn McCall unsigned SizeWidth = NEC.getBitWidth(); 52332ac583dSChris Lattner 5248ed55a54SJohn McCall // Determine if there is an overflow here by doing an extended multiply. 5256d4db0c8SJay Foad NEC = NEC.zext(SizeWidth*2); 5268ed55a54SJohn McCall llvm::APInt SC(SizeWidth*2, TypeSize.getQuantity()); 52732ac583dSChris Lattner SC *= NEC; 52832ac583dSChris Lattner 5298ed55a54SJohn McCall if (!CookieSize.isZero()) { 5308ed55a54SJohn McCall // Save the current size without a cookie. We don't care if an 5318ed55a54SJohn McCall // overflow's already happened because SizeWithoutCookie isn't 5328ed55a54SJohn McCall // used if the allocator returns null or throws, as it should 5338ed55a54SJohn McCall // always do on an overflow. 5346d4db0c8SJay Foad llvm::APInt SWC = SC.trunc(SizeWidth); 5358ed55a54SJohn McCall SizeWithoutCookie = llvm::ConstantInt::get(SizeTy, SWC); 5368ed55a54SJohn McCall 5378ed55a54SJohn McCall // Add the cookie size. 5388ed55a54SJohn McCall SC += llvm::APInt(SizeWidth*2, CookieSize.getQuantity()); 5398ed55a54SJohn McCall } 5408ed55a54SJohn McCall 5418ed55a54SJohn McCall if (SC.countLeadingZeros() >= SizeWidth) { 5426d4db0c8SJay Foad SC = SC.trunc(SizeWidth); 5438ed55a54SJohn McCall Size = llvm::ConstantInt::get(SizeTy, SC); 54432ac583dSChris Lattner } else { 54532ac583dSChris Lattner // On overflow, produce a -1 so operator new throws. 5468ed55a54SJohn McCall Size = llvm::Constant::getAllOnesValue(SizeTy); 54732ac583dSChris Lattner } 54832ac583dSChris Lattner 5498ed55a54SJohn McCall // Scale NumElements while we're at it. 5508ed55a54SJohn McCall uint64_t N = NEC.getZExtValue() * ArraySizeMultiplier; 5518ed55a54SJohn McCall NumElements = llvm::ConstantInt::get(SizeTy, N); 55247b4629bSFariborz Jahanian 5538ed55a54SJohn McCall // Otherwise, we don't need to do an overflow-checked multiplication if 5548ed55a54SJohn McCall // we're multiplying by one. 5558ed55a54SJohn McCall } else if (TypeSize.isOne()) { 5568ed55a54SJohn McCall assert(ArraySizeMultiplier == 1); 557f2f38701SChris Lattner 5588ed55a54SJohn McCall Size = NumElements; 559f2f38701SChris Lattner 5608ed55a54SJohn McCall // If we need a cookie, add its size in with an overflow check. 5618ed55a54SJohn McCall // This is maybe a little paranoid. 5628ed55a54SJohn McCall if (!CookieSize.isZero()) { 56305fc5be3SDouglas Gregor SizeWithoutCookie = Size; 564f2f38701SChris Lattner 5658ed55a54SJohn McCall llvm::Value *CookieSizeV 5668ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, CookieSize.getQuantity()); 5678ed55a54SJohn McCall 5688ed55a54SJohn McCall const llvm::Type *Types[] = { SizeTy }; 5698ed55a54SJohn McCall llvm::Value *UAddF 5708ed55a54SJohn McCall = CGF.CGM.getIntrinsic(llvm::Intrinsic::uadd_with_overflow, Types, 1); 5718ed55a54SJohn McCall llvm::Value *AddRes 5728ed55a54SJohn McCall = CGF.Builder.CreateCall2(UAddF, Size, CookieSizeV); 5738ed55a54SJohn McCall 5748ed55a54SJohn McCall Size = CGF.Builder.CreateExtractValue(AddRes, 0); 5758ed55a54SJohn McCall llvm::Value *DidOverflow = CGF.Builder.CreateExtractValue(AddRes, 1); 5768ed55a54SJohn McCall Size = CGF.Builder.CreateSelect(DidOverflow, 5778ed55a54SJohn McCall llvm::ConstantInt::get(SizeTy, -1), 5788ed55a54SJohn McCall Size); 5798ed55a54SJohn McCall } 5808ed55a54SJohn McCall 5818ed55a54SJohn McCall // Otherwise use the int.umul.with.overflow intrinsic. 5828ed55a54SJohn McCall } else { 5838ed55a54SJohn McCall llvm::Value *OutermostElementSize 5848ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, TypeSize.getQuantity()); 5858ed55a54SJohn McCall 5868ed55a54SJohn McCall llvm::Value *NumOutermostElements = NumElements; 5878ed55a54SJohn McCall 5888ed55a54SJohn McCall // Scale NumElements by the array size multiplier. This might 5898ed55a54SJohn McCall // overflow, but only if the multiplication below also overflows, 5908ed55a54SJohn McCall // in which case this multiplication isn't used. 5918ed55a54SJohn McCall if (ArraySizeMultiplier != 1) 5928ed55a54SJohn McCall NumElements = CGF.Builder.CreateMul(NumElements, 5938ed55a54SJohn McCall llvm::ConstantInt::get(SizeTy, ArraySizeMultiplier)); 5948ed55a54SJohn McCall 5958ed55a54SJohn McCall // The requested size of the outermost array is non-constant. 5968ed55a54SJohn McCall // Multiply that by the static size of the elements of that array; 5978ed55a54SJohn McCall // on unsigned overflow, set the size to -1 to trigger an 5988ed55a54SJohn McCall // exception from the allocation routine. This is sufficient to 5998ed55a54SJohn McCall // prevent buffer overruns from the allocator returning a 6008ed55a54SJohn McCall // seemingly valid pointer to insufficient space. This idea comes 6018ed55a54SJohn McCall // originally from MSVC, and GCC has an open bug requesting 6028ed55a54SJohn McCall // similar behavior: 6038ed55a54SJohn McCall // http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19351 6048ed55a54SJohn McCall // 6058ed55a54SJohn McCall // This will not be sufficient for C++0x, which requires a 6068ed55a54SJohn McCall // specific exception class (std::bad_array_new_length). 6078ed55a54SJohn McCall // That will require ABI support that has not yet been specified. 6088ed55a54SJohn McCall const llvm::Type *Types[] = { SizeTy }; 6098ed55a54SJohn McCall llvm::Value *UMulF 6108ed55a54SJohn McCall = CGF.CGM.getIntrinsic(llvm::Intrinsic::umul_with_overflow, Types, 1); 6118ed55a54SJohn McCall llvm::Value *MulRes = CGF.Builder.CreateCall2(UMulF, NumOutermostElements, 6128ed55a54SJohn McCall OutermostElementSize); 6138ed55a54SJohn McCall 6148ed55a54SJohn McCall // The overflow bit. 6158ed55a54SJohn McCall llvm::Value *DidOverflow = CGF.Builder.CreateExtractValue(MulRes, 1); 6168ed55a54SJohn McCall 6178ed55a54SJohn McCall // The result of the multiplication. 6188ed55a54SJohn McCall Size = CGF.Builder.CreateExtractValue(MulRes, 0); 6198ed55a54SJohn McCall 6208ed55a54SJohn McCall // If we have a cookie, we need to add that size in, too. 6218ed55a54SJohn McCall if (!CookieSize.isZero()) { 6228ed55a54SJohn McCall SizeWithoutCookie = Size; 6238ed55a54SJohn McCall 6248ed55a54SJohn McCall llvm::Value *CookieSizeV 6258ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, CookieSize.getQuantity()); 6268ed55a54SJohn McCall llvm::Value *UAddF 6278ed55a54SJohn McCall = CGF.CGM.getIntrinsic(llvm::Intrinsic::uadd_with_overflow, Types, 1); 6288ed55a54SJohn McCall llvm::Value *AddRes 6298ed55a54SJohn McCall = CGF.Builder.CreateCall2(UAddF, SizeWithoutCookie, CookieSizeV); 6308ed55a54SJohn McCall 6318ed55a54SJohn McCall Size = CGF.Builder.CreateExtractValue(AddRes, 0); 6328ed55a54SJohn McCall 6338ed55a54SJohn McCall llvm::Value *AddDidOverflow = CGF.Builder.CreateExtractValue(AddRes, 1); 634db42a3e8SEli Friedman DidOverflow = CGF.Builder.CreateOr(DidOverflow, AddDidOverflow); 6358ed55a54SJohn McCall } 6368ed55a54SJohn McCall 6378ed55a54SJohn McCall Size = CGF.Builder.CreateSelect(DidOverflow, 6388ed55a54SJohn McCall llvm::ConstantInt::get(SizeTy, -1), 6398ed55a54SJohn McCall Size); 6408ed55a54SJohn McCall } 6418ed55a54SJohn McCall 6428ed55a54SJohn McCall if (CookieSize.isZero()) 6438ed55a54SJohn McCall SizeWithoutCookie = Size; 6448ed55a54SJohn McCall else 6458ed55a54SJohn McCall assert(SizeWithoutCookie && "didn't set SizeWithoutCookie?"); 64659486a2dSAnders Carlsson 64732ac583dSChris Lattner return Size; 64859486a2dSAnders Carlsson } 64959486a2dSAnders Carlsson 650d5202e09SFariborz Jahanian static void StoreAnyExprIntoOneUnit(CodeGenFunction &CGF, const CXXNewExpr *E, 651d5202e09SFariborz Jahanian llvm::Value *NewPtr) { 652d5202e09SFariborz Jahanian 653d5202e09SFariborz Jahanian assert(E->getNumConstructorArgs() == 1 && 654d5202e09SFariborz Jahanian "Can only have one argument to initializer of POD type."); 655d5202e09SFariborz Jahanian 656d5202e09SFariborz Jahanian const Expr *Init = E->getConstructorArg(0); 657d5202e09SFariborz Jahanian QualType AllocType = E->getAllocatedType(); 658d5202e09SFariborz Jahanian 6590381634aSDaniel Dunbar unsigned Alignment = 6600381634aSDaniel Dunbar CGF.getContext().getTypeAlignInChars(AllocType).getQuantity(); 661d5202e09SFariborz Jahanian if (!CGF.hasAggregateLLVMType(AllocType)) 662d5202e09SFariborz Jahanian CGF.EmitStoreOfScalar(CGF.EmitScalarExpr(Init), NewPtr, 6630381634aSDaniel Dunbar AllocType.isVolatileQualified(), Alignment, 6640381634aSDaniel Dunbar AllocType); 665d5202e09SFariborz Jahanian else if (AllocType->isAnyComplexType()) 666d5202e09SFariborz Jahanian CGF.EmitComplexExprIntoAddr(Init, NewPtr, 667d5202e09SFariborz Jahanian AllocType.isVolatileQualified()); 6687a626f63SJohn McCall else { 6697a626f63SJohn McCall AggValueSlot Slot 6707a626f63SJohn McCall = AggValueSlot::forAddr(NewPtr, AllocType.isVolatileQualified(), true); 6717a626f63SJohn McCall CGF.EmitAggExpr(Init, Slot); 6727a626f63SJohn McCall } 673d5202e09SFariborz Jahanian } 674d5202e09SFariborz Jahanian 675d5202e09SFariborz Jahanian void 676d5202e09SFariborz Jahanian CodeGenFunction::EmitNewArrayInitializer(const CXXNewExpr *E, 677d5202e09SFariborz Jahanian llvm::Value *NewPtr, 678d5202e09SFariborz Jahanian llvm::Value *NumElements) { 679b66b08efSFariborz Jahanian // We have a POD type. 680b66b08efSFariborz Jahanian if (E->getNumConstructorArgs() == 0) 681b66b08efSFariborz Jahanian return; 682b66b08efSFariborz Jahanian 683d5202e09SFariborz Jahanian const llvm::Type *SizeTy = ConvertType(getContext().getSizeType()); 684d5202e09SFariborz Jahanian 685d5202e09SFariborz Jahanian // Create a temporary for the loop index and initialize it with 0. 686d5202e09SFariborz Jahanian llvm::Value *IndexPtr = CreateTempAlloca(SizeTy, "loop.index"); 687d5202e09SFariborz Jahanian llvm::Value *Zero = llvm::Constant::getNullValue(SizeTy); 688d5202e09SFariborz Jahanian Builder.CreateStore(Zero, IndexPtr); 689d5202e09SFariborz Jahanian 690d5202e09SFariborz Jahanian // Start the loop with a block that tests the condition. 691d5202e09SFariborz Jahanian llvm::BasicBlock *CondBlock = createBasicBlock("for.cond"); 692d5202e09SFariborz Jahanian llvm::BasicBlock *AfterFor = createBasicBlock("for.end"); 693d5202e09SFariborz Jahanian 694d5202e09SFariborz Jahanian EmitBlock(CondBlock); 695d5202e09SFariborz Jahanian 696d5202e09SFariborz Jahanian llvm::BasicBlock *ForBody = createBasicBlock("for.body"); 697d5202e09SFariborz Jahanian 698d5202e09SFariborz Jahanian // Generate: if (loop-index < number-of-elements fall to the loop body, 699d5202e09SFariborz Jahanian // otherwise, go to the block after the for-loop. 700d5202e09SFariborz Jahanian llvm::Value *Counter = Builder.CreateLoad(IndexPtr); 701d5202e09SFariborz Jahanian llvm::Value *IsLess = Builder.CreateICmpULT(Counter, NumElements, "isless"); 702d5202e09SFariborz Jahanian // If the condition is true, execute the body. 703d5202e09SFariborz Jahanian Builder.CreateCondBr(IsLess, ForBody, AfterFor); 704d5202e09SFariborz Jahanian 705d5202e09SFariborz Jahanian EmitBlock(ForBody); 706d5202e09SFariborz Jahanian 707d5202e09SFariborz Jahanian llvm::BasicBlock *ContinueBlock = createBasicBlock("for.inc"); 708d5202e09SFariborz Jahanian // Inside the loop body, emit the constructor call on the array element. 709d5202e09SFariborz Jahanian Counter = Builder.CreateLoad(IndexPtr); 710d5202e09SFariborz Jahanian llvm::Value *Address = Builder.CreateInBoundsGEP(NewPtr, Counter, 711d5202e09SFariborz Jahanian "arrayidx"); 712d5202e09SFariborz Jahanian StoreAnyExprIntoOneUnit(*this, E, Address); 713d5202e09SFariborz Jahanian 714d5202e09SFariborz Jahanian EmitBlock(ContinueBlock); 715d5202e09SFariborz Jahanian 716d5202e09SFariborz Jahanian // Emit the increment of the loop counter. 717d5202e09SFariborz Jahanian llvm::Value *NextVal = llvm::ConstantInt::get(SizeTy, 1); 718d5202e09SFariborz Jahanian Counter = Builder.CreateLoad(IndexPtr); 719d5202e09SFariborz Jahanian NextVal = Builder.CreateAdd(Counter, NextVal, "inc"); 720d5202e09SFariborz Jahanian Builder.CreateStore(NextVal, IndexPtr); 721d5202e09SFariborz Jahanian 722d5202e09SFariborz Jahanian // Finally, branch back up to the condition for the next iteration. 723d5202e09SFariborz Jahanian EmitBranch(CondBlock); 724d5202e09SFariborz Jahanian 725d5202e09SFariborz Jahanian // Emit the fall-through block. 726d5202e09SFariborz Jahanian EmitBlock(AfterFor, true); 727d5202e09SFariborz Jahanian } 728d5202e09SFariborz Jahanian 72905fc5be3SDouglas Gregor static void EmitZeroMemSet(CodeGenFunction &CGF, QualType T, 73005fc5be3SDouglas Gregor llvm::Value *NewPtr, llvm::Value *Size) { 731ad7c5c16SJohn McCall CGF.EmitCastToVoidPtr(NewPtr); 732705ba07eSKen Dyck CharUnits Alignment = CGF.getContext().getTypeAlignInChars(T); 733acc6b4e2SBenjamin Kramer CGF.Builder.CreateMemSet(NewPtr, CGF.Builder.getInt8(0), Size, 734705ba07eSKen Dyck Alignment.getQuantity(), false); 73505fc5be3SDouglas Gregor } 73605fc5be3SDouglas Gregor 73759486a2dSAnders Carlsson static void EmitNewInitializer(CodeGenFunction &CGF, const CXXNewExpr *E, 73859486a2dSAnders Carlsson llvm::Value *NewPtr, 73905fc5be3SDouglas Gregor llvm::Value *NumElements, 74005fc5be3SDouglas Gregor llvm::Value *AllocSizeWithoutCookie) { 7413a202f60SAnders Carlsson if (E->isArray()) { 742d040e6b2SAnders Carlsson if (CXXConstructorDecl *Ctor = E->getConstructor()) { 74305fc5be3SDouglas Gregor bool RequiresZeroInitialization = false; 74405fc5be3SDouglas Gregor if (Ctor->getParent()->hasTrivialConstructor()) { 74505fc5be3SDouglas Gregor // If new expression did not specify value-initialization, then there 74605fc5be3SDouglas Gregor // is no initialization. 74705fc5be3SDouglas Gregor if (!E->hasInitializer() || Ctor->getParent()->isEmpty()) 74805fc5be3SDouglas Gregor return; 74905fc5be3SDouglas Gregor 750614dbdcdSJohn McCall if (CGF.CGM.getTypes().isZeroInitializable(E->getAllocatedType())) { 75105fc5be3SDouglas Gregor // Optimization: since zero initialization will just set the memory 75205fc5be3SDouglas Gregor // to all zeroes, generate a single memset to do it in one shot. 75305fc5be3SDouglas Gregor EmitZeroMemSet(CGF, E->getAllocatedType(), NewPtr, 75405fc5be3SDouglas Gregor AllocSizeWithoutCookie); 7553a202f60SAnders Carlsson return; 7563a202f60SAnders Carlsson } 75705fc5be3SDouglas Gregor 75805fc5be3SDouglas Gregor RequiresZeroInitialization = true; 75905fc5be3SDouglas Gregor } 76005fc5be3SDouglas Gregor 76105fc5be3SDouglas Gregor CGF.EmitCXXAggrConstructorCall(Ctor, NumElements, NewPtr, 76205fc5be3SDouglas Gregor E->constructor_arg_begin(), 76305fc5be3SDouglas Gregor E->constructor_arg_end(), 76405fc5be3SDouglas Gregor RequiresZeroInitialization); 76505fc5be3SDouglas Gregor return; 76605fc5be3SDouglas Gregor } else if (E->getNumConstructorArgs() == 1 && 76705fc5be3SDouglas Gregor isa<ImplicitValueInitExpr>(E->getConstructorArg(0))) { 76805fc5be3SDouglas Gregor // Optimization: since zero initialization will just set the memory 76905fc5be3SDouglas Gregor // to all zeroes, generate a single memset to do it in one shot. 77005fc5be3SDouglas Gregor EmitZeroMemSet(CGF, E->getAllocatedType(), NewPtr, 77105fc5be3SDouglas Gregor AllocSizeWithoutCookie); 77205fc5be3SDouglas Gregor return; 77305fc5be3SDouglas Gregor } else { 774d5202e09SFariborz Jahanian CGF.EmitNewArrayInitializer(E, NewPtr, NumElements); 775d5202e09SFariborz Jahanian return; 776d040e6b2SAnders Carlsson } 777d5202e09SFariborz Jahanian } 77859486a2dSAnders Carlsson 77959486a2dSAnders Carlsson if (CXXConstructorDecl *Ctor = E->getConstructor()) { 780747eb784SDouglas Gregor // Per C++ [expr.new]p15, if we have an initializer, then we're performing 781747eb784SDouglas Gregor // direct initialization. C++ [dcl.init]p5 requires that we 782747eb784SDouglas Gregor // zero-initialize storage if there are no user-declared constructors. 783747eb784SDouglas Gregor if (E->hasInitializer() && 784747eb784SDouglas Gregor !Ctor->getParent()->hasUserDeclaredConstructor() && 785747eb784SDouglas Gregor !Ctor->getParent()->isEmpty()) 786747eb784SDouglas Gregor CGF.EmitNullInitialization(NewPtr, E->getAllocatedType()); 787747eb784SDouglas Gregor 788e11f9ce9SAnders Carlsson CGF.EmitCXXConstructorCall(Ctor, Ctor_Complete, /*ForVirtualBase=*/false, 789e11f9ce9SAnders Carlsson NewPtr, E->constructor_arg_begin(), 79059486a2dSAnders Carlsson E->constructor_arg_end()); 79159486a2dSAnders Carlsson 79259486a2dSAnders Carlsson return; 79359486a2dSAnders Carlsson } 794b66b08efSFariborz Jahanian // We have a POD type. 795b66b08efSFariborz Jahanian if (E->getNumConstructorArgs() == 0) 796b66b08efSFariborz Jahanian return; 79759486a2dSAnders Carlsson 798d5202e09SFariborz Jahanian StoreAnyExprIntoOneUnit(CGF, E, NewPtr); 79959486a2dSAnders Carlsson } 80059486a2dSAnders Carlsson 801824c2f53SJohn McCall namespace { 802824c2f53SJohn McCall /// A cleanup to call the given 'operator delete' function upon 803824c2f53SJohn McCall /// abnormal exit from a new expression. 804824c2f53SJohn McCall class CallDeleteDuringNew : public EHScopeStack::Cleanup { 805824c2f53SJohn McCall size_t NumPlacementArgs; 806824c2f53SJohn McCall const FunctionDecl *OperatorDelete; 807824c2f53SJohn McCall llvm::Value *Ptr; 808824c2f53SJohn McCall llvm::Value *AllocSize; 809824c2f53SJohn McCall 810824c2f53SJohn McCall RValue *getPlacementArgs() { return reinterpret_cast<RValue*>(this+1); } 811824c2f53SJohn McCall 812824c2f53SJohn McCall public: 813824c2f53SJohn McCall static size_t getExtraSize(size_t NumPlacementArgs) { 814824c2f53SJohn McCall return NumPlacementArgs * sizeof(RValue); 815824c2f53SJohn McCall } 816824c2f53SJohn McCall 817824c2f53SJohn McCall CallDeleteDuringNew(size_t NumPlacementArgs, 818824c2f53SJohn McCall const FunctionDecl *OperatorDelete, 819824c2f53SJohn McCall llvm::Value *Ptr, 820824c2f53SJohn McCall llvm::Value *AllocSize) 821824c2f53SJohn McCall : NumPlacementArgs(NumPlacementArgs), OperatorDelete(OperatorDelete), 822824c2f53SJohn McCall Ptr(Ptr), AllocSize(AllocSize) {} 823824c2f53SJohn McCall 824824c2f53SJohn McCall void setPlacementArg(unsigned I, RValue Arg) { 825824c2f53SJohn McCall assert(I < NumPlacementArgs && "index out of range"); 826824c2f53SJohn McCall getPlacementArgs()[I] = Arg; 827824c2f53SJohn McCall } 828824c2f53SJohn McCall 829824c2f53SJohn McCall void Emit(CodeGenFunction &CGF, bool IsForEH) { 830824c2f53SJohn McCall const FunctionProtoType *FPT 831824c2f53SJohn McCall = OperatorDelete->getType()->getAs<FunctionProtoType>(); 832824c2f53SJohn McCall assert(FPT->getNumArgs() == NumPlacementArgs + 1 || 833d441b1e6SJohn McCall (FPT->getNumArgs() == 2 && NumPlacementArgs == 0)); 834824c2f53SJohn McCall 835824c2f53SJohn McCall CallArgList DeleteArgs; 836824c2f53SJohn McCall 837824c2f53SJohn McCall // The first argument is always a void*. 838824c2f53SJohn McCall FunctionProtoType::arg_type_iterator AI = FPT->arg_type_begin(); 83943dca6a8SEli Friedman DeleteArgs.add(RValue::get(Ptr), *AI++); 840824c2f53SJohn McCall 841824c2f53SJohn McCall // A member 'operator delete' can take an extra 'size_t' argument. 842824c2f53SJohn McCall if (FPT->getNumArgs() == NumPlacementArgs + 2) 84343dca6a8SEli Friedman DeleteArgs.add(RValue::get(AllocSize), *AI++); 844824c2f53SJohn McCall 845824c2f53SJohn McCall // Pass the rest of the arguments, which must match exactly. 846824c2f53SJohn McCall for (unsigned I = 0; I != NumPlacementArgs; ++I) 84743dca6a8SEli Friedman DeleteArgs.add(getPlacementArgs()[I], *AI++); 848824c2f53SJohn McCall 849824c2f53SJohn McCall // Call 'operator delete'. 85099cc30c3STilmann Scheller CGF.EmitCall(CGF.CGM.getTypes().getFunctionInfo(DeleteArgs, FPT), 851824c2f53SJohn McCall CGF.CGM.GetAddrOfFunction(OperatorDelete), 852824c2f53SJohn McCall ReturnValueSlot(), DeleteArgs, OperatorDelete); 853824c2f53SJohn McCall } 854824c2f53SJohn McCall }; 8557f9c92a9SJohn McCall 8567f9c92a9SJohn McCall /// A cleanup to call the given 'operator delete' function upon 8577f9c92a9SJohn McCall /// abnormal exit from a new expression when the new expression is 8587f9c92a9SJohn McCall /// conditional. 8597f9c92a9SJohn McCall class CallDeleteDuringConditionalNew : public EHScopeStack::Cleanup { 8607f9c92a9SJohn McCall size_t NumPlacementArgs; 8617f9c92a9SJohn McCall const FunctionDecl *OperatorDelete; 862cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type Ptr; 863cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type AllocSize; 8647f9c92a9SJohn McCall 865cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type *getPlacementArgs() { 866cb5f77f0SJohn McCall return reinterpret_cast<DominatingValue<RValue>::saved_type*>(this+1); 8677f9c92a9SJohn McCall } 8687f9c92a9SJohn McCall 8697f9c92a9SJohn McCall public: 8707f9c92a9SJohn McCall static size_t getExtraSize(size_t NumPlacementArgs) { 871cb5f77f0SJohn McCall return NumPlacementArgs * sizeof(DominatingValue<RValue>::saved_type); 8727f9c92a9SJohn McCall } 8737f9c92a9SJohn McCall 8747f9c92a9SJohn McCall CallDeleteDuringConditionalNew(size_t NumPlacementArgs, 8757f9c92a9SJohn McCall const FunctionDecl *OperatorDelete, 876cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type Ptr, 877cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type AllocSize) 8787f9c92a9SJohn McCall : NumPlacementArgs(NumPlacementArgs), OperatorDelete(OperatorDelete), 8797f9c92a9SJohn McCall Ptr(Ptr), AllocSize(AllocSize) {} 8807f9c92a9SJohn McCall 881cb5f77f0SJohn McCall void setPlacementArg(unsigned I, DominatingValue<RValue>::saved_type Arg) { 8827f9c92a9SJohn McCall assert(I < NumPlacementArgs && "index out of range"); 8837f9c92a9SJohn McCall getPlacementArgs()[I] = Arg; 8847f9c92a9SJohn McCall } 8857f9c92a9SJohn McCall 8867f9c92a9SJohn McCall void Emit(CodeGenFunction &CGF, bool IsForEH) { 8877f9c92a9SJohn McCall const FunctionProtoType *FPT 8887f9c92a9SJohn McCall = OperatorDelete->getType()->getAs<FunctionProtoType>(); 8897f9c92a9SJohn McCall assert(FPT->getNumArgs() == NumPlacementArgs + 1 || 8907f9c92a9SJohn McCall (FPT->getNumArgs() == 2 && NumPlacementArgs == 0)); 8917f9c92a9SJohn McCall 8927f9c92a9SJohn McCall CallArgList DeleteArgs; 8937f9c92a9SJohn McCall 8947f9c92a9SJohn McCall // The first argument is always a void*. 8957f9c92a9SJohn McCall FunctionProtoType::arg_type_iterator AI = FPT->arg_type_begin(); 89643dca6a8SEli Friedman DeleteArgs.add(Ptr.restore(CGF), *AI++); 8977f9c92a9SJohn McCall 8987f9c92a9SJohn McCall // A member 'operator delete' can take an extra 'size_t' argument. 8997f9c92a9SJohn McCall if (FPT->getNumArgs() == NumPlacementArgs + 2) { 900cb5f77f0SJohn McCall RValue RV = AllocSize.restore(CGF); 90143dca6a8SEli Friedman DeleteArgs.add(RV, *AI++); 9027f9c92a9SJohn McCall } 9037f9c92a9SJohn McCall 9047f9c92a9SJohn McCall // Pass the rest of the arguments, which must match exactly. 9057f9c92a9SJohn McCall for (unsigned I = 0; I != NumPlacementArgs; ++I) { 906cb5f77f0SJohn McCall RValue RV = getPlacementArgs()[I].restore(CGF); 90743dca6a8SEli Friedman DeleteArgs.add(RV, *AI++); 9087f9c92a9SJohn McCall } 9097f9c92a9SJohn McCall 9107f9c92a9SJohn McCall // Call 'operator delete'. 91199cc30c3STilmann Scheller CGF.EmitCall(CGF.CGM.getTypes().getFunctionInfo(DeleteArgs, FPT), 9127f9c92a9SJohn McCall CGF.CGM.GetAddrOfFunction(OperatorDelete), 9137f9c92a9SJohn McCall ReturnValueSlot(), DeleteArgs, OperatorDelete); 9147f9c92a9SJohn McCall } 9157f9c92a9SJohn McCall }; 9167f9c92a9SJohn McCall } 9177f9c92a9SJohn McCall 9187f9c92a9SJohn McCall /// Enter a cleanup to call 'operator delete' if the initializer in a 9197f9c92a9SJohn McCall /// new-expression throws. 9207f9c92a9SJohn McCall static void EnterNewDeleteCleanup(CodeGenFunction &CGF, 9217f9c92a9SJohn McCall const CXXNewExpr *E, 9227f9c92a9SJohn McCall llvm::Value *NewPtr, 9237f9c92a9SJohn McCall llvm::Value *AllocSize, 9247f9c92a9SJohn McCall const CallArgList &NewArgs) { 9257f9c92a9SJohn McCall // If we're not inside a conditional branch, then the cleanup will 9267f9c92a9SJohn McCall // dominate and we can do the easier (and more efficient) thing. 9277f9c92a9SJohn McCall if (!CGF.isInConditionalBranch()) { 9287f9c92a9SJohn McCall CallDeleteDuringNew *Cleanup = CGF.EHStack 9297f9c92a9SJohn McCall .pushCleanupWithExtra<CallDeleteDuringNew>(EHCleanup, 9307f9c92a9SJohn McCall E->getNumPlacementArgs(), 9317f9c92a9SJohn McCall E->getOperatorDelete(), 9327f9c92a9SJohn McCall NewPtr, AllocSize); 9337f9c92a9SJohn McCall for (unsigned I = 0, N = E->getNumPlacementArgs(); I != N; ++I) 934*f4258eb4SEli Friedman Cleanup->setPlacementArg(I, NewArgs[I+1].RV); 9357f9c92a9SJohn McCall 9367f9c92a9SJohn McCall return; 9377f9c92a9SJohn McCall } 9387f9c92a9SJohn McCall 9397f9c92a9SJohn McCall // Otherwise, we need to save all this stuff. 940cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type SavedNewPtr = 941cb5f77f0SJohn McCall DominatingValue<RValue>::save(CGF, RValue::get(NewPtr)); 942cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type SavedAllocSize = 943cb5f77f0SJohn McCall DominatingValue<RValue>::save(CGF, RValue::get(AllocSize)); 9447f9c92a9SJohn McCall 9457f9c92a9SJohn McCall CallDeleteDuringConditionalNew *Cleanup = CGF.EHStack 9467f9c92a9SJohn McCall .pushCleanupWithExtra<CallDeleteDuringConditionalNew>(InactiveEHCleanup, 9477f9c92a9SJohn McCall E->getNumPlacementArgs(), 9487f9c92a9SJohn McCall E->getOperatorDelete(), 9497f9c92a9SJohn McCall SavedNewPtr, 9507f9c92a9SJohn McCall SavedAllocSize); 9517f9c92a9SJohn McCall for (unsigned I = 0, N = E->getNumPlacementArgs(); I != N; ++I) 952cb5f77f0SJohn McCall Cleanup->setPlacementArg(I, 953*f4258eb4SEli Friedman DominatingValue<RValue>::save(CGF, NewArgs[I+1].RV)); 9547f9c92a9SJohn McCall 9557f9c92a9SJohn McCall CGF.ActivateCleanupBlock(CGF.EHStack.stable_begin()); 956824c2f53SJohn McCall } 957824c2f53SJohn McCall 95859486a2dSAnders Carlsson llvm::Value *CodeGenFunction::EmitCXXNewExpr(const CXXNewExpr *E) { 95975f9498aSJohn McCall // The element type being allocated. 96075f9498aSJohn McCall QualType allocType = getContext().getBaseElementType(E->getAllocatedType()); 9618ed55a54SJohn McCall 96275f9498aSJohn McCall // 1. Build a call to the allocation function. 96375f9498aSJohn McCall FunctionDecl *allocator = E->getOperatorNew(); 96475f9498aSJohn McCall const FunctionProtoType *allocatorType = 96575f9498aSJohn McCall allocator->getType()->castAs<FunctionProtoType>(); 96659486a2dSAnders Carlsson 96775f9498aSJohn McCall CallArgList allocatorArgs; 96859486a2dSAnders Carlsson 96959486a2dSAnders Carlsson // The allocation size is the first argument. 97075f9498aSJohn McCall QualType sizeType = getContext().getSizeType(); 97159486a2dSAnders Carlsson 97275f9498aSJohn McCall llvm::Value *numElements = 0; 97375f9498aSJohn McCall llvm::Value *allocSizeWithoutCookie = 0; 97475f9498aSJohn McCall llvm::Value *allocSize = 97575f9498aSJohn McCall EmitCXXNewAllocSize(getContext(), *this, E, numElements, 97675f9498aSJohn McCall allocSizeWithoutCookie); 97759486a2dSAnders Carlsson 97843dca6a8SEli Friedman allocatorArgs.add(RValue::get(allocSize), sizeType); 97959486a2dSAnders Carlsson 98059486a2dSAnders Carlsson // Emit the rest of the arguments. 98159486a2dSAnders Carlsson // FIXME: Ideally, this should just use EmitCallArgs. 98275f9498aSJohn McCall CXXNewExpr::const_arg_iterator placementArg = E->placement_arg_begin(); 98359486a2dSAnders Carlsson 98459486a2dSAnders Carlsson // First, use the types from the function type. 98559486a2dSAnders Carlsson // We start at 1 here because the first argument (the allocation size) 98659486a2dSAnders Carlsson // has already been emitted. 98775f9498aSJohn McCall for (unsigned i = 1, e = allocatorType->getNumArgs(); i != e; 98875f9498aSJohn McCall ++i, ++placementArg) { 98975f9498aSJohn McCall QualType argType = allocatorType->getArgType(i); 99059486a2dSAnders Carlsson 99175f9498aSJohn McCall assert(getContext().hasSameUnqualifiedType(argType.getNonReferenceType(), 99275f9498aSJohn McCall placementArg->getType()) && 99359486a2dSAnders Carlsson "type mismatch in call argument!"); 99459486a2dSAnders Carlsson 99532ea9694SJohn McCall EmitCallArg(allocatorArgs, *placementArg, argType); 99659486a2dSAnders Carlsson } 99759486a2dSAnders Carlsson 99859486a2dSAnders Carlsson // Either we've emitted all the call args, or we have a call to a 99959486a2dSAnders Carlsson // variadic function. 100075f9498aSJohn McCall assert((placementArg == E->placement_arg_end() || 100175f9498aSJohn McCall allocatorType->isVariadic()) && 100275f9498aSJohn McCall "Extra arguments to non-variadic function!"); 100359486a2dSAnders Carlsson 100459486a2dSAnders Carlsson // If we still have any arguments, emit them using the type of the argument. 100575f9498aSJohn McCall for (CXXNewExpr::const_arg_iterator placementArgsEnd = E->placement_arg_end(); 100675f9498aSJohn McCall placementArg != placementArgsEnd; ++placementArg) { 100732ea9694SJohn McCall EmitCallArg(allocatorArgs, *placementArg, placementArg->getType()); 100859486a2dSAnders Carlsson } 100959486a2dSAnders Carlsson 101075f9498aSJohn McCall // Emit the allocation call. 101159486a2dSAnders Carlsson RValue RV = 101275f9498aSJohn McCall EmitCall(CGM.getTypes().getFunctionInfo(allocatorArgs, allocatorType), 101375f9498aSJohn McCall CGM.GetAddrOfFunction(allocator), ReturnValueSlot(), 101475f9498aSJohn McCall allocatorArgs, allocator); 101559486a2dSAnders Carlsson 101675f9498aSJohn McCall // Emit a null check on the allocation result if the allocation 101775f9498aSJohn McCall // function is allowed to return null (because it has a non-throwing 101875f9498aSJohn McCall // exception spec; for this part, we inline 101975f9498aSJohn McCall // CXXNewExpr::shouldNullCheckAllocation()) and we have an 102075f9498aSJohn McCall // interesting initializer. 102131ad754cSSebastian Redl bool nullCheck = allocatorType->isNothrow(getContext()) && 102275f9498aSJohn McCall !(allocType->isPODType() && !E->hasInitializer()); 102359486a2dSAnders Carlsson 102475f9498aSJohn McCall llvm::BasicBlock *nullCheckBB = 0; 102575f9498aSJohn McCall llvm::BasicBlock *contBB = 0; 102659486a2dSAnders Carlsson 102775f9498aSJohn McCall llvm::Value *allocation = RV.getScalarVal(); 102875f9498aSJohn McCall unsigned AS = 102975f9498aSJohn McCall cast<llvm::PointerType>(allocation->getType())->getAddressSpace(); 103059486a2dSAnders Carlsson 1031f7dcf320SJohn McCall // The null-check means that the initializer is conditionally 1032f7dcf320SJohn McCall // evaluated. 1033f7dcf320SJohn McCall ConditionalEvaluation conditional(*this); 1034f7dcf320SJohn McCall 103575f9498aSJohn McCall if (nullCheck) { 1036f7dcf320SJohn McCall conditional.begin(*this); 103775f9498aSJohn McCall 103875f9498aSJohn McCall nullCheckBB = Builder.GetInsertBlock(); 103975f9498aSJohn McCall llvm::BasicBlock *notNullBB = createBasicBlock("new.notnull"); 104075f9498aSJohn McCall contBB = createBasicBlock("new.cont"); 104175f9498aSJohn McCall 104275f9498aSJohn McCall llvm::Value *isNull = Builder.CreateIsNull(allocation, "new.isnull"); 104375f9498aSJohn McCall Builder.CreateCondBr(isNull, contBB, notNullBB); 104475f9498aSJohn McCall EmitBlock(notNullBB); 104559486a2dSAnders Carlsson } 104659486a2dSAnders Carlsson 104775f9498aSJohn McCall assert((allocSize == allocSizeWithoutCookie) == 10488ed55a54SJohn McCall CalculateCookiePadding(*this, E).isZero()); 104975f9498aSJohn McCall if (allocSize != allocSizeWithoutCookie) { 10508ed55a54SJohn McCall assert(E->isArray()); 105175f9498aSJohn McCall allocation = CGM.getCXXABI().InitializeArrayCookie(*this, allocation, 105275f9498aSJohn McCall numElements, 105375f9498aSJohn McCall E, allocType); 105459486a2dSAnders Carlsson } 105559486a2dSAnders Carlsson 1056824c2f53SJohn McCall // If there's an operator delete, enter a cleanup to call it if an 1057824c2f53SJohn McCall // exception is thrown. 105875f9498aSJohn McCall EHScopeStack::stable_iterator operatorDeleteCleanup; 1059824c2f53SJohn McCall if (E->getOperatorDelete()) { 106075f9498aSJohn McCall EnterNewDeleteCleanup(*this, E, allocation, allocSize, allocatorArgs); 106175f9498aSJohn McCall operatorDeleteCleanup = EHStack.stable_begin(); 1062824c2f53SJohn McCall } 1063824c2f53SJohn McCall 106475f9498aSJohn McCall const llvm::Type *elementPtrTy 106575f9498aSJohn McCall = ConvertTypeForMem(allocType)->getPointerTo(AS); 106675f9498aSJohn McCall llvm::Value *result = Builder.CreateBitCast(allocation, elementPtrTy); 1067824c2f53SJohn McCall 10688ed55a54SJohn McCall if (E->isArray()) { 106975f9498aSJohn McCall EmitNewInitializer(*this, E, result, numElements, allocSizeWithoutCookie); 10708ed55a54SJohn McCall 10718ed55a54SJohn McCall // NewPtr is a pointer to the base element type. If we're 10728ed55a54SJohn McCall // allocating an array of arrays, we'll need to cast back to the 10738ed55a54SJohn McCall // array pointer type. 107475f9498aSJohn McCall const llvm::Type *resultType = ConvertTypeForMem(E->getType()); 107575f9498aSJohn McCall if (result->getType() != resultType) 107675f9498aSJohn McCall result = Builder.CreateBitCast(result, resultType); 10778ed55a54SJohn McCall } else { 107875f9498aSJohn McCall EmitNewInitializer(*this, E, result, numElements, allocSizeWithoutCookie); 107947b4629bSFariborz Jahanian } 108059486a2dSAnders Carlsson 1081824c2f53SJohn McCall // Deactivate the 'operator delete' cleanup if we finished 1082824c2f53SJohn McCall // initialization. 108375f9498aSJohn McCall if (operatorDeleteCleanup.isValid()) 108475f9498aSJohn McCall DeactivateCleanupBlock(operatorDeleteCleanup); 1085824c2f53SJohn McCall 108675f9498aSJohn McCall if (nullCheck) { 1087f7dcf320SJohn McCall conditional.end(*this); 1088f7dcf320SJohn McCall 108975f9498aSJohn McCall llvm::BasicBlock *notNullBB = Builder.GetInsertBlock(); 109075f9498aSJohn McCall EmitBlock(contBB); 109159486a2dSAnders Carlsson 109220c0f02cSJay Foad llvm::PHINode *PHI = Builder.CreatePHI(result->getType(), 2); 109375f9498aSJohn McCall PHI->addIncoming(result, notNullBB); 109475f9498aSJohn McCall PHI->addIncoming(llvm::Constant::getNullValue(result->getType()), 109575f9498aSJohn McCall nullCheckBB); 109659486a2dSAnders Carlsson 109775f9498aSJohn McCall result = PHI; 109859486a2dSAnders Carlsson } 109959486a2dSAnders Carlsson 110075f9498aSJohn McCall return result; 110159486a2dSAnders Carlsson } 110259486a2dSAnders Carlsson 110359486a2dSAnders Carlsson void CodeGenFunction::EmitDeleteCall(const FunctionDecl *DeleteFD, 110459486a2dSAnders Carlsson llvm::Value *Ptr, 110559486a2dSAnders Carlsson QualType DeleteTy) { 11068ed55a54SJohn McCall assert(DeleteFD->getOverloadedOperator() == OO_Delete); 11078ed55a54SJohn McCall 110859486a2dSAnders Carlsson const FunctionProtoType *DeleteFTy = 110959486a2dSAnders Carlsson DeleteFD->getType()->getAs<FunctionProtoType>(); 111059486a2dSAnders Carlsson 111159486a2dSAnders Carlsson CallArgList DeleteArgs; 111259486a2dSAnders Carlsson 111321122cf6SAnders Carlsson // Check if we need to pass the size to the delete operator. 111421122cf6SAnders Carlsson llvm::Value *Size = 0; 111521122cf6SAnders Carlsson QualType SizeTy; 111621122cf6SAnders Carlsson if (DeleteFTy->getNumArgs() == 2) { 111721122cf6SAnders Carlsson SizeTy = DeleteFTy->getArgType(1); 11187df3cbebSKen Dyck CharUnits DeleteTypeSize = getContext().getTypeSizeInChars(DeleteTy); 11197df3cbebSKen Dyck Size = llvm::ConstantInt::get(ConvertType(SizeTy), 11207df3cbebSKen Dyck DeleteTypeSize.getQuantity()); 112121122cf6SAnders Carlsson } 112221122cf6SAnders Carlsson 112359486a2dSAnders Carlsson QualType ArgTy = DeleteFTy->getArgType(0); 112459486a2dSAnders Carlsson llvm::Value *DeletePtr = Builder.CreateBitCast(Ptr, ConvertType(ArgTy)); 112543dca6a8SEli Friedman DeleteArgs.add(RValue::get(DeletePtr), ArgTy); 112659486a2dSAnders Carlsson 112721122cf6SAnders Carlsson if (Size) 112843dca6a8SEli Friedman DeleteArgs.add(RValue::get(Size), SizeTy); 112959486a2dSAnders Carlsson 113059486a2dSAnders Carlsson // Emit the call to delete. 113199cc30c3STilmann Scheller EmitCall(CGM.getTypes().getFunctionInfo(DeleteArgs, DeleteFTy), 113261a401caSAnders Carlsson CGM.GetAddrOfFunction(DeleteFD), ReturnValueSlot(), 113359486a2dSAnders Carlsson DeleteArgs, DeleteFD); 113459486a2dSAnders Carlsson } 113559486a2dSAnders Carlsson 11368ed55a54SJohn McCall namespace { 11378ed55a54SJohn McCall /// Calls the given 'operator delete' on a single object. 11388ed55a54SJohn McCall struct CallObjectDelete : EHScopeStack::Cleanup { 11398ed55a54SJohn McCall llvm::Value *Ptr; 11408ed55a54SJohn McCall const FunctionDecl *OperatorDelete; 11418ed55a54SJohn McCall QualType ElementType; 11428ed55a54SJohn McCall 11438ed55a54SJohn McCall CallObjectDelete(llvm::Value *Ptr, 11448ed55a54SJohn McCall const FunctionDecl *OperatorDelete, 11458ed55a54SJohn McCall QualType ElementType) 11468ed55a54SJohn McCall : Ptr(Ptr), OperatorDelete(OperatorDelete), ElementType(ElementType) {} 11478ed55a54SJohn McCall 11488ed55a54SJohn McCall void Emit(CodeGenFunction &CGF, bool IsForEH) { 11498ed55a54SJohn McCall CGF.EmitDeleteCall(OperatorDelete, Ptr, ElementType); 11508ed55a54SJohn McCall } 11518ed55a54SJohn McCall }; 11528ed55a54SJohn McCall } 11538ed55a54SJohn McCall 11548ed55a54SJohn McCall /// Emit the code for deleting a single object. 11558ed55a54SJohn McCall static void EmitObjectDelete(CodeGenFunction &CGF, 11568ed55a54SJohn McCall const FunctionDecl *OperatorDelete, 11578ed55a54SJohn McCall llvm::Value *Ptr, 11588ed55a54SJohn McCall QualType ElementType) { 11598ed55a54SJohn McCall // Find the destructor for the type, if applicable. If the 11608ed55a54SJohn McCall // destructor is virtual, we'll just emit the vcall and return. 11618ed55a54SJohn McCall const CXXDestructorDecl *Dtor = 0; 11628ed55a54SJohn McCall if (const RecordType *RT = ElementType->getAs<RecordType>()) { 11638ed55a54SJohn McCall CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl()); 11648ed55a54SJohn McCall if (!RD->hasTrivialDestructor()) { 11658ed55a54SJohn McCall Dtor = RD->getDestructor(); 11668ed55a54SJohn McCall 11678ed55a54SJohn McCall if (Dtor->isVirtual()) { 11688ed55a54SJohn McCall const llvm::Type *Ty = 11690d635f53SJohn McCall CGF.getTypes().GetFunctionType(CGF.getTypes().getFunctionInfo(Dtor, 11700d635f53SJohn McCall Dtor_Complete), 11718ed55a54SJohn McCall /*isVariadic=*/false); 11728ed55a54SJohn McCall 11738ed55a54SJohn McCall llvm::Value *Callee 11748ed55a54SJohn McCall = CGF.BuildVirtualCall(Dtor, Dtor_Deleting, Ptr, Ty); 11758ed55a54SJohn McCall CGF.EmitCXXMemberCall(Dtor, Callee, ReturnValueSlot(), Ptr, /*VTT=*/0, 11768ed55a54SJohn McCall 0, 0); 11778ed55a54SJohn McCall 11788ed55a54SJohn McCall // The dtor took care of deleting the object. 11798ed55a54SJohn McCall return; 11808ed55a54SJohn McCall } 11818ed55a54SJohn McCall } 11828ed55a54SJohn McCall } 11838ed55a54SJohn McCall 11848ed55a54SJohn McCall // Make sure that we call delete even if the dtor throws. 1185e4df6c8dSJohn McCall // This doesn't have to a conditional cleanup because we're going 1186e4df6c8dSJohn McCall // to pop it off in a second. 11878ed55a54SJohn McCall CGF.EHStack.pushCleanup<CallObjectDelete>(NormalAndEHCleanup, 11888ed55a54SJohn McCall Ptr, OperatorDelete, ElementType); 11898ed55a54SJohn McCall 11908ed55a54SJohn McCall if (Dtor) 11918ed55a54SJohn McCall CGF.EmitCXXDestructorCall(Dtor, Dtor_Complete, 11928ed55a54SJohn McCall /*ForVirtualBase=*/false, Ptr); 11938ed55a54SJohn McCall 11948ed55a54SJohn McCall CGF.PopCleanupBlock(); 11958ed55a54SJohn McCall } 11968ed55a54SJohn McCall 11978ed55a54SJohn McCall namespace { 11988ed55a54SJohn McCall /// Calls the given 'operator delete' on an array of objects. 11998ed55a54SJohn McCall struct CallArrayDelete : EHScopeStack::Cleanup { 12008ed55a54SJohn McCall llvm::Value *Ptr; 12018ed55a54SJohn McCall const FunctionDecl *OperatorDelete; 12028ed55a54SJohn McCall llvm::Value *NumElements; 12038ed55a54SJohn McCall QualType ElementType; 12048ed55a54SJohn McCall CharUnits CookieSize; 12058ed55a54SJohn McCall 12068ed55a54SJohn McCall CallArrayDelete(llvm::Value *Ptr, 12078ed55a54SJohn McCall const FunctionDecl *OperatorDelete, 12088ed55a54SJohn McCall llvm::Value *NumElements, 12098ed55a54SJohn McCall QualType ElementType, 12108ed55a54SJohn McCall CharUnits CookieSize) 12118ed55a54SJohn McCall : Ptr(Ptr), OperatorDelete(OperatorDelete), NumElements(NumElements), 12128ed55a54SJohn McCall ElementType(ElementType), CookieSize(CookieSize) {} 12138ed55a54SJohn McCall 12148ed55a54SJohn McCall void Emit(CodeGenFunction &CGF, bool IsForEH) { 12158ed55a54SJohn McCall const FunctionProtoType *DeleteFTy = 12168ed55a54SJohn McCall OperatorDelete->getType()->getAs<FunctionProtoType>(); 12178ed55a54SJohn McCall assert(DeleteFTy->getNumArgs() == 1 || DeleteFTy->getNumArgs() == 2); 12188ed55a54SJohn McCall 12198ed55a54SJohn McCall CallArgList Args; 12208ed55a54SJohn McCall 12218ed55a54SJohn McCall // Pass the pointer as the first argument. 12228ed55a54SJohn McCall QualType VoidPtrTy = DeleteFTy->getArgType(0); 12238ed55a54SJohn McCall llvm::Value *DeletePtr 12248ed55a54SJohn McCall = CGF.Builder.CreateBitCast(Ptr, CGF.ConvertType(VoidPtrTy)); 122543dca6a8SEli Friedman Args.add(RValue::get(DeletePtr), VoidPtrTy); 12268ed55a54SJohn McCall 12278ed55a54SJohn McCall // Pass the original requested size as the second argument. 12288ed55a54SJohn McCall if (DeleteFTy->getNumArgs() == 2) { 12298ed55a54SJohn McCall QualType size_t = DeleteFTy->getArgType(1); 12308ed55a54SJohn McCall const llvm::IntegerType *SizeTy 12318ed55a54SJohn McCall = cast<llvm::IntegerType>(CGF.ConvertType(size_t)); 12328ed55a54SJohn McCall 12338ed55a54SJohn McCall CharUnits ElementTypeSize = 12348ed55a54SJohn McCall CGF.CGM.getContext().getTypeSizeInChars(ElementType); 12358ed55a54SJohn McCall 12368ed55a54SJohn McCall // The size of an element, multiplied by the number of elements. 12378ed55a54SJohn McCall llvm::Value *Size 12388ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, ElementTypeSize.getQuantity()); 12398ed55a54SJohn McCall Size = CGF.Builder.CreateMul(Size, NumElements); 12408ed55a54SJohn McCall 12418ed55a54SJohn McCall // Plus the size of the cookie if applicable. 12428ed55a54SJohn McCall if (!CookieSize.isZero()) { 12438ed55a54SJohn McCall llvm::Value *CookieSizeV 12448ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, CookieSize.getQuantity()); 12458ed55a54SJohn McCall Size = CGF.Builder.CreateAdd(Size, CookieSizeV); 12468ed55a54SJohn McCall } 12478ed55a54SJohn McCall 124843dca6a8SEli Friedman Args.add(RValue::get(Size), size_t); 12498ed55a54SJohn McCall } 12508ed55a54SJohn McCall 12518ed55a54SJohn McCall // Emit the call to delete. 125299cc30c3STilmann Scheller CGF.EmitCall(CGF.getTypes().getFunctionInfo(Args, DeleteFTy), 12538ed55a54SJohn McCall CGF.CGM.GetAddrOfFunction(OperatorDelete), 12548ed55a54SJohn McCall ReturnValueSlot(), Args, OperatorDelete); 12558ed55a54SJohn McCall } 12568ed55a54SJohn McCall }; 12578ed55a54SJohn McCall } 12588ed55a54SJohn McCall 12598ed55a54SJohn McCall /// Emit the code for deleting an array of objects. 12608ed55a54SJohn McCall static void EmitArrayDelete(CodeGenFunction &CGF, 1261284c48ffSJohn McCall const CXXDeleteExpr *E, 12628ed55a54SJohn McCall llvm::Value *Ptr, 12638ed55a54SJohn McCall QualType ElementType) { 12648ed55a54SJohn McCall llvm::Value *NumElements = 0; 12658ed55a54SJohn McCall llvm::Value *AllocatedPtr = 0; 12668ed55a54SJohn McCall CharUnits CookieSize; 1267284c48ffSJohn McCall CGF.CGM.getCXXABI().ReadArrayCookie(CGF, Ptr, E, ElementType, 12688ed55a54SJohn McCall NumElements, AllocatedPtr, CookieSize); 12698ed55a54SJohn McCall 12708ed55a54SJohn McCall assert(AllocatedPtr && "ReadArrayCookie didn't set AllocatedPtr"); 12718ed55a54SJohn McCall 12728ed55a54SJohn McCall // Make sure that we call delete even if one of the dtors throws. 1273284c48ffSJohn McCall const FunctionDecl *OperatorDelete = E->getOperatorDelete(); 12748ed55a54SJohn McCall CGF.EHStack.pushCleanup<CallArrayDelete>(NormalAndEHCleanup, 12758ed55a54SJohn McCall AllocatedPtr, OperatorDelete, 12768ed55a54SJohn McCall NumElements, ElementType, 12778ed55a54SJohn McCall CookieSize); 12788ed55a54SJohn McCall 12798ed55a54SJohn McCall if (const CXXRecordDecl *RD = ElementType->getAsCXXRecordDecl()) { 12808ed55a54SJohn McCall if (!RD->hasTrivialDestructor()) { 12818ed55a54SJohn McCall assert(NumElements && "ReadArrayCookie didn't find element count" 12828ed55a54SJohn McCall " for a class with destructor"); 12838ed55a54SJohn McCall CGF.EmitCXXAggrDestructorCall(RD->getDestructor(), NumElements, Ptr); 12848ed55a54SJohn McCall } 12858ed55a54SJohn McCall } 12868ed55a54SJohn McCall 12878ed55a54SJohn McCall CGF.PopCleanupBlock(); 12888ed55a54SJohn McCall } 12898ed55a54SJohn McCall 129059486a2dSAnders Carlsson void CodeGenFunction::EmitCXXDeleteExpr(const CXXDeleteExpr *E) { 129159486a2dSAnders Carlsson 129259486a2dSAnders Carlsson // Get at the argument before we performed the implicit conversion 129359486a2dSAnders Carlsson // to void*. 129459486a2dSAnders Carlsson const Expr *Arg = E->getArgument(); 129559486a2dSAnders Carlsson while (const ImplicitCastExpr *ICE = dyn_cast<ImplicitCastExpr>(Arg)) { 1296e302792bSJohn McCall if (ICE->getCastKind() != CK_UserDefinedConversion && 129759486a2dSAnders Carlsson ICE->getType()->isVoidPointerType()) 129859486a2dSAnders Carlsson Arg = ICE->getSubExpr(); 129959486a2dSAnders Carlsson else 130059486a2dSAnders Carlsson break; 130159486a2dSAnders Carlsson } 130259486a2dSAnders Carlsson 130359486a2dSAnders Carlsson llvm::Value *Ptr = EmitScalarExpr(Arg); 130459486a2dSAnders Carlsson 130559486a2dSAnders Carlsson // Null check the pointer. 130659486a2dSAnders Carlsson llvm::BasicBlock *DeleteNotNull = createBasicBlock("delete.notnull"); 130759486a2dSAnders Carlsson llvm::BasicBlock *DeleteEnd = createBasicBlock("delete.end"); 130859486a2dSAnders Carlsson 130998981b10SAnders Carlsson llvm::Value *IsNull = Builder.CreateIsNull(Ptr, "isnull"); 131059486a2dSAnders Carlsson 131159486a2dSAnders Carlsson Builder.CreateCondBr(IsNull, DeleteEnd, DeleteNotNull); 131259486a2dSAnders Carlsson EmitBlock(DeleteNotNull); 131359486a2dSAnders Carlsson 13148ed55a54SJohn McCall // We might be deleting a pointer to array. If so, GEP down to the 13158ed55a54SJohn McCall // first non-array element. 13168ed55a54SJohn McCall // (this assumes that A(*)[3][7] is converted to [3 x [7 x %A]]*) 13178ed55a54SJohn McCall QualType DeleteTy = Arg->getType()->getAs<PointerType>()->getPointeeType(); 13188ed55a54SJohn McCall if (DeleteTy->isConstantArrayType()) { 13198ed55a54SJohn McCall llvm::Value *Zero = Builder.getInt32(0); 13208ed55a54SJohn McCall llvm::SmallVector<llvm::Value*,8> GEP; 132159486a2dSAnders Carlsson 13228ed55a54SJohn McCall GEP.push_back(Zero); // point at the outermost array 13238ed55a54SJohn McCall 13248ed55a54SJohn McCall // For each layer of array type we're pointing at: 13258ed55a54SJohn McCall while (const ConstantArrayType *Arr 13268ed55a54SJohn McCall = getContext().getAsConstantArrayType(DeleteTy)) { 13278ed55a54SJohn McCall // 1. Unpeel the array type. 13288ed55a54SJohn McCall DeleteTy = Arr->getElementType(); 13298ed55a54SJohn McCall 13308ed55a54SJohn McCall // 2. GEP to the first element of the array. 13318ed55a54SJohn McCall GEP.push_back(Zero); 13328ed55a54SJohn McCall } 13338ed55a54SJohn McCall 13348ed55a54SJohn McCall Ptr = Builder.CreateInBoundsGEP(Ptr, GEP.begin(), GEP.end(), "del.first"); 13358ed55a54SJohn McCall } 13368ed55a54SJohn McCall 133704f36218SDouglas Gregor assert(ConvertTypeForMem(DeleteTy) == 133804f36218SDouglas Gregor cast<llvm::PointerType>(Ptr->getType())->getElementType()); 13398ed55a54SJohn McCall 134059486a2dSAnders Carlsson if (E->isArrayForm()) { 1341284c48ffSJohn McCall EmitArrayDelete(*this, E, Ptr, DeleteTy); 13428ed55a54SJohn McCall } else { 13438ed55a54SJohn McCall EmitObjectDelete(*this, E->getOperatorDelete(), Ptr, DeleteTy); 134459486a2dSAnders Carlsson } 134559486a2dSAnders Carlsson 134659486a2dSAnders Carlsson EmitBlock(DeleteEnd); 134759486a2dSAnders Carlsson } 134859486a2dSAnders Carlsson 13490c63350bSAnders Carlsson static llvm::Constant *getBadTypeidFn(CodeGenFunction &CGF) { 13500c63350bSAnders Carlsson // void __cxa_bad_typeid(); 13510c63350bSAnders Carlsson 13520c63350bSAnders Carlsson const llvm::Type *VoidTy = llvm::Type::getVoidTy(CGF.getLLVMContext()); 13530c63350bSAnders Carlsson const llvm::FunctionType *FTy = 13540c63350bSAnders Carlsson llvm::FunctionType::get(VoidTy, false); 13550c63350bSAnders Carlsson 13560c63350bSAnders Carlsson return CGF.CGM.CreateRuntimeFunction(FTy, "__cxa_bad_typeid"); 13570c63350bSAnders Carlsson } 13580c63350bSAnders Carlsson 13590c63350bSAnders Carlsson static void EmitBadTypeidCall(CodeGenFunction &CGF) { 1360bbe277c4SAnders Carlsson llvm::Value *Fn = getBadTypeidFn(CGF); 1361bbe277c4SAnders Carlsson CGF.EmitCallOrInvoke(Fn, 0, 0).setDoesNotReturn(); 13620c63350bSAnders Carlsson CGF.Builder.CreateUnreachable(); 13630c63350bSAnders Carlsson } 13640c63350bSAnders Carlsson 1365940f02d2SAnders Carlsson static llvm::Value *EmitTypeidFromVTable(CodeGenFunction &CGF, 1366940f02d2SAnders Carlsson const Expr *E, 1367940f02d2SAnders Carlsson const llvm::Type *StdTypeInfoPtrTy) { 1368940f02d2SAnders Carlsson // Get the vtable pointer. 1369940f02d2SAnders Carlsson llvm::Value *ThisPtr = CGF.EmitLValue(E).getAddress(); 1370940f02d2SAnders Carlsson 1371940f02d2SAnders Carlsson // C++ [expr.typeid]p2: 1372940f02d2SAnders Carlsson // If the glvalue expression is obtained by applying the unary * operator to 1373940f02d2SAnders Carlsson // a pointer and the pointer is a null pointer value, the typeid expression 1374940f02d2SAnders Carlsson // throws the std::bad_typeid exception. 1375940f02d2SAnders Carlsson if (const UnaryOperator *UO = dyn_cast<UnaryOperator>(E->IgnoreParens())) { 1376940f02d2SAnders Carlsson if (UO->getOpcode() == UO_Deref) { 1377940f02d2SAnders Carlsson llvm::BasicBlock *BadTypeidBlock = 1378940f02d2SAnders Carlsson CGF.createBasicBlock("typeid.bad_typeid"); 1379940f02d2SAnders Carlsson llvm::BasicBlock *EndBlock = 1380940f02d2SAnders Carlsson CGF.createBasicBlock("typeid.end"); 1381940f02d2SAnders Carlsson 1382940f02d2SAnders Carlsson llvm::Value *IsNull = CGF.Builder.CreateIsNull(ThisPtr); 1383940f02d2SAnders Carlsson CGF.Builder.CreateCondBr(IsNull, BadTypeidBlock, EndBlock); 1384940f02d2SAnders Carlsson 1385940f02d2SAnders Carlsson CGF.EmitBlock(BadTypeidBlock); 1386940f02d2SAnders Carlsson EmitBadTypeidCall(CGF); 1387940f02d2SAnders Carlsson CGF.EmitBlock(EndBlock); 1388940f02d2SAnders Carlsson } 1389940f02d2SAnders Carlsson } 1390940f02d2SAnders Carlsson 1391940f02d2SAnders Carlsson llvm::Value *Value = CGF.GetVTablePtr(ThisPtr, 1392940f02d2SAnders Carlsson StdTypeInfoPtrTy->getPointerTo()); 1393940f02d2SAnders Carlsson 1394940f02d2SAnders Carlsson // Load the type info. 1395940f02d2SAnders Carlsson Value = CGF.Builder.CreateConstInBoundsGEP1_64(Value, -1ULL); 1396940f02d2SAnders Carlsson return CGF.Builder.CreateLoad(Value); 1397940f02d2SAnders Carlsson } 1398940f02d2SAnders Carlsson 139959486a2dSAnders Carlsson llvm::Value *CodeGenFunction::EmitCXXTypeidExpr(const CXXTypeidExpr *E) { 1400940f02d2SAnders Carlsson const llvm::Type *StdTypeInfoPtrTy = 1401940f02d2SAnders Carlsson ConvertType(E->getType())->getPointerTo(); 1402fd7dfeb7SAnders Carlsson 14033f4336cbSAnders Carlsson if (E->isTypeOperand()) { 14043f4336cbSAnders Carlsson llvm::Constant *TypeInfo = 14053f4336cbSAnders Carlsson CGM.GetAddrOfRTTIDescriptor(E->getTypeOperand()); 1406940f02d2SAnders Carlsson return Builder.CreateBitCast(TypeInfo, StdTypeInfoPtrTy); 14073f4336cbSAnders Carlsson } 1408fd7dfeb7SAnders Carlsson 1409940f02d2SAnders Carlsson // C++ [expr.typeid]p2: 1410940f02d2SAnders Carlsson // When typeid is applied to a glvalue expression whose type is a 1411940f02d2SAnders Carlsson // polymorphic class type, the result refers to a std::type_info object 1412940f02d2SAnders Carlsson // representing the type of the most derived object (that is, the dynamic 1413940f02d2SAnders Carlsson // type) to which the glvalue refers. 1414940f02d2SAnders Carlsson if (E->getExprOperand()->isGLValue()) { 1415940f02d2SAnders Carlsson if (const RecordType *RT = 1416940f02d2SAnders Carlsson E->getExprOperand()->getType()->getAs<RecordType>()) { 141759486a2dSAnders Carlsson const CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl()); 1418940f02d2SAnders Carlsson if (RD->isPolymorphic()) 1419940f02d2SAnders Carlsson return EmitTypeidFromVTable(*this, E->getExprOperand(), 1420940f02d2SAnders Carlsson StdTypeInfoPtrTy); 142159486a2dSAnders Carlsson } 142259486a2dSAnders Carlsson } 1423940f02d2SAnders Carlsson 1424940f02d2SAnders Carlsson QualType OperandTy = E->getExprOperand()->getType(); 1425940f02d2SAnders Carlsson return Builder.CreateBitCast(CGM.GetAddrOfRTTIDescriptor(OperandTy), 1426940f02d2SAnders Carlsson StdTypeInfoPtrTy); 142759486a2dSAnders Carlsson } 142859486a2dSAnders Carlsson 1429882d790fSAnders Carlsson static llvm::Constant *getDynamicCastFn(CodeGenFunction &CGF) { 1430882d790fSAnders Carlsson // void *__dynamic_cast(const void *sub, 1431882d790fSAnders Carlsson // const abi::__class_type_info *src, 1432882d790fSAnders Carlsson // const abi::__class_type_info *dst, 1433882d790fSAnders Carlsson // std::ptrdiff_t src2dst_offset); 1434882d790fSAnders Carlsson 1435882d790fSAnders Carlsson const llvm::Type *Int8PtrTy = llvm::Type::getInt8PtrTy(CGF.getLLVMContext()); 1436882d790fSAnders Carlsson const llvm::Type *PtrDiffTy = 1437882d790fSAnders Carlsson CGF.ConvertType(CGF.getContext().getPointerDiffType()); 1438882d790fSAnders Carlsson 1439882d790fSAnders Carlsson const llvm::Type *Args[4] = { Int8PtrTy, Int8PtrTy, Int8PtrTy, PtrDiffTy }; 1440882d790fSAnders Carlsson 1441882d790fSAnders Carlsson const llvm::FunctionType *FTy = 1442882d790fSAnders Carlsson llvm::FunctionType::get(Int8PtrTy, Args, false); 1443882d790fSAnders Carlsson 1444882d790fSAnders Carlsson return CGF.CGM.CreateRuntimeFunction(FTy, "__dynamic_cast"); 1445882d790fSAnders Carlsson } 1446882d790fSAnders Carlsson 1447882d790fSAnders Carlsson static llvm::Constant *getBadCastFn(CodeGenFunction &CGF) { 1448882d790fSAnders Carlsson // void __cxa_bad_cast(); 1449882d790fSAnders Carlsson 1450882d790fSAnders Carlsson const llvm::Type *VoidTy = llvm::Type::getVoidTy(CGF.getLLVMContext()); 1451882d790fSAnders Carlsson const llvm::FunctionType *FTy = 1452882d790fSAnders Carlsson llvm::FunctionType::get(VoidTy, false); 1453882d790fSAnders Carlsson 1454882d790fSAnders Carlsson return CGF.CGM.CreateRuntimeFunction(FTy, "__cxa_bad_cast"); 1455882d790fSAnders Carlsson } 1456882d790fSAnders Carlsson 1457c1c9971cSAnders Carlsson static void EmitBadCastCall(CodeGenFunction &CGF) { 1458bbe277c4SAnders Carlsson llvm::Value *Fn = getBadCastFn(CGF); 1459bbe277c4SAnders Carlsson CGF.EmitCallOrInvoke(Fn, 0, 0).setDoesNotReturn(); 1460c1c9971cSAnders Carlsson CGF.Builder.CreateUnreachable(); 1461c1c9971cSAnders Carlsson } 1462c1c9971cSAnders Carlsson 1463882d790fSAnders Carlsson static llvm::Value * 1464882d790fSAnders Carlsson EmitDynamicCastCall(CodeGenFunction &CGF, llvm::Value *Value, 1465882d790fSAnders Carlsson QualType SrcTy, QualType DestTy, 1466882d790fSAnders Carlsson llvm::BasicBlock *CastEnd) { 1467882d790fSAnders Carlsson const llvm::Type *PtrDiffLTy = 1468882d790fSAnders Carlsson CGF.ConvertType(CGF.getContext().getPointerDiffType()); 1469882d790fSAnders Carlsson const llvm::Type *DestLTy = CGF.ConvertType(DestTy); 1470882d790fSAnders Carlsson 1471882d790fSAnders Carlsson if (const PointerType *PTy = DestTy->getAs<PointerType>()) { 1472882d790fSAnders Carlsson if (PTy->getPointeeType()->isVoidType()) { 1473882d790fSAnders Carlsson // C++ [expr.dynamic.cast]p7: 1474882d790fSAnders Carlsson // If T is "pointer to cv void," then the result is a pointer to the 1475882d790fSAnders Carlsson // most derived object pointed to by v. 1476882d790fSAnders Carlsson 1477882d790fSAnders Carlsson // Get the vtable pointer. 1478882d790fSAnders Carlsson llvm::Value *VTable = CGF.GetVTablePtr(Value, PtrDiffLTy->getPointerTo()); 1479882d790fSAnders Carlsson 1480882d790fSAnders Carlsson // Get the offset-to-top from the vtable. 1481882d790fSAnders Carlsson llvm::Value *OffsetToTop = 1482882d790fSAnders Carlsson CGF.Builder.CreateConstInBoundsGEP1_64(VTable, -2ULL); 1483882d790fSAnders Carlsson OffsetToTop = CGF.Builder.CreateLoad(OffsetToTop, "offset.to.top"); 1484882d790fSAnders Carlsson 1485882d790fSAnders Carlsson // Finally, add the offset to the pointer. 1486882d790fSAnders Carlsson Value = CGF.EmitCastToVoidPtr(Value); 1487882d790fSAnders Carlsson Value = CGF.Builder.CreateInBoundsGEP(Value, OffsetToTop); 1488882d790fSAnders Carlsson 1489882d790fSAnders Carlsson return CGF.Builder.CreateBitCast(Value, DestLTy); 1490882d790fSAnders Carlsson } 1491882d790fSAnders Carlsson } 1492882d790fSAnders Carlsson 1493882d790fSAnders Carlsson QualType SrcRecordTy; 1494882d790fSAnders Carlsson QualType DestRecordTy; 1495882d790fSAnders Carlsson 1496882d790fSAnders Carlsson if (const PointerType *DestPTy = DestTy->getAs<PointerType>()) { 1497882d790fSAnders Carlsson SrcRecordTy = SrcTy->castAs<PointerType>()->getPointeeType(); 1498882d790fSAnders Carlsson DestRecordTy = DestPTy->getPointeeType(); 1499882d790fSAnders Carlsson } else { 1500882d790fSAnders Carlsson SrcRecordTy = SrcTy; 1501882d790fSAnders Carlsson DestRecordTy = DestTy->castAs<ReferenceType>()->getPointeeType(); 1502882d790fSAnders Carlsson } 1503882d790fSAnders Carlsson 1504882d790fSAnders Carlsson assert(SrcRecordTy->isRecordType() && "source type must be a record type!"); 1505882d790fSAnders Carlsson assert(DestRecordTy->isRecordType() && "dest type must be a record type!"); 1506882d790fSAnders Carlsson 1507882d790fSAnders Carlsson llvm::Value *SrcRTTI = 1508882d790fSAnders Carlsson CGF.CGM.GetAddrOfRTTIDescriptor(SrcRecordTy.getUnqualifiedType()); 1509882d790fSAnders Carlsson llvm::Value *DestRTTI = 1510882d790fSAnders Carlsson CGF.CGM.GetAddrOfRTTIDescriptor(DestRecordTy.getUnqualifiedType()); 1511882d790fSAnders Carlsson 1512882d790fSAnders Carlsson // FIXME: Actually compute a hint here. 1513882d790fSAnders Carlsson llvm::Value *OffsetHint = llvm::ConstantInt::get(PtrDiffLTy, -1ULL); 1514882d790fSAnders Carlsson 1515882d790fSAnders Carlsson // Emit the call to __dynamic_cast. 1516882d790fSAnders Carlsson Value = CGF.EmitCastToVoidPtr(Value); 1517882d790fSAnders Carlsson Value = CGF.Builder.CreateCall4(getDynamicCastFn(CGF), Value, 1518882d790fSAnders Carlsson SrcRTTI, DestRTTI, OffsetHint); 1519882d790fSAnders Carlsson Value = CGF.Builder.CreateBitCast(Value, DestLTy); 1520882d790fSAnders Carlsson 1521882d790fSAnders Carlsson /// C++ [expr.dynamic.cast]p9: 1522882d790fSAnders Carlsson /// A failed cast to reference type throws std::bad_cast 1523882d790fSAnders Carlsson if (DestTy->isReferenceType()) { 1524882d790fSAnders Carlsson llvm::BasicBlock *BadCastBlock = 1525882d790fSAnders Carlsson CGF.createBasicBlock("dynamic_cast.bad_cast"); 1526882d790fSAnders Carlsson 1527882d790fSAnders Carlsson llvm::Value *IsNull = CGF.Builder.CreateIsNull(Value); 1528882d790fSAnders Carlsson CGF.Builder.CreateCondBr(IsNull, BadCastBlock, CastEnd); 1529882d790fSAnders Carlsson 1530882d790fSAnders Carlsson CGF.EmitBlock(BadCastBlock); 1531c1c9971cSAnders Carlsson EmitBadCastCall(CGF); 1532882d790fSAnders Carlsson } 1533882d790fSAnders Carlsson 1534882d790fSAnders Carlsson return Value; 1535882d790fSAnders Carlsson } 1536882d790fSAnders Carlsson 1537c1c9971cSAnders Carlsson static llvm::Value *EmitDynamicCastToNull(CodeGenFunction &CGF, 1538c1c9971cSAnders Carlsson QualType DestTy) { 1539c1c9971cSAnders Carlsson const llvm::Type *DestLTy = CGF.ConvertType(DestTy); 1540c1c9971cSAnders Carlsson if (DestTy->isPointerType()) 1541c1c9971cSAnders Carlsson return llvm::Constant::getNullValue(DestLTy); 1542c1c9971cSAnders Carlsson 1543c1c9971cSAnders Carlsson /// C++ [expr.dynamic.cast]p9: 1544c1c9971cSAnders Carlsson /// A failed cast to reference type throws std::bad_cast 1545c1c9971cSAnders Carlsson EmitBadCastCall(CGF); 1546c1c9971cSAnders Carlsson 1547c1c9971cSAnders Carlsson CGF.EmitBlock(CGF.createBasicBlock("dynamic_cast.end")); 1548c1c9971cSAnders Carlsson return llvm::UndefValue::get(DestLTy); 1549c1c9971cSAnders Carlsson } 1550c1c9971cSAnders Carlsson 1551882d790fSAnders Carlsson llvm::Value *CodeGenFunction::EmitDynamicCast(llvm::Value *Value, 155259486a2dSAnders Carlsson const CXXDynamicCastExpr *DCE) { 15533f4336cbSAnders Carlsson QualType DestTy = DCE->getTypeAsWritten(); 15543f4336cbSAnders Carlsson 1555c1c9971cSAnders Carlsson if (DCE->isAlwaysNull()) 1556c1c9971cSAnders Carlsson return EmitDynamicCastToNull(*this, DestTy); 1557c1c9971cSAnders Carlsson 1558c1c9971cSAnders Carlsson QualType SrcTy = DCE->getSubExpr()->getType(); 1559c1c9971cSAnders Carlsson 1560882d790fSAnders Carlsson // C++ [expr.dynamic.cast]p4: 1561882d790fSAnders Carlsson // If the value of v is a null pointer value in the pointer case, the result 1562882d790fSAnders Carlsson // is the null pointer value of type T. 1563882d790fSAnders Carlsson bool ShouldNullCheckSrcValue = SrcTy->isPointerType(); 156459486a2dSAnders Carlsson 1565882d790fSAnders Carlsson llvm::BasicBlock *CastNull = 0; 1566882d790fSAnders Carlsson llvm::BasicBlock *CastNotNull = 0; 1567882d790fSAnders Carlsson llvm::BasicBlock *CastEnd = createBasicBlock("dynamic_cast.end"); 1568fa8b4955SDouglas Gregor 1569882d790fSAnders Carlsson if (ShouldNullCheckSrcValue) { 1570882d790fSAnders Carlsson CastNull = createBasicBlock("dynamic_cast.null"); 1571882d790fSAnders Carlsson CastNotNull = createBasicBlock("dynamic_cast.notnull"); 1572882d790fSAnders Carlsson 1573882d790fSAnders Carlsson llvm::Value *IsNull = Builder.CreateIsNull(Value); 1574882d790fSAnders Carlsson Builder.CreateCondBr(IsNull, CastNull, CastNotNull); 1575882d790fSAnders Carlsson EmitBlock(CastNotNull); 157659486a2dSAnders Carlsson } 157759486a2dSAnders Carlsson 1578882d790fSAnders Carlsson Value = EmitDynamicCastCall(*this, Value, SrcTy, DestTy, CastEnd); 15793f4336cbSAnders Carlsson 1580882d790fSAnders Carlsson if (ShouldNullCheckSrcValue) { 1581882d790fSAnders Carlsson EmitBranch(CastEnd); 158259486a2dSAnders Carlsson 1583882d790fSAnders Carlsson EmitBlock(CastNull); 1584882d790fSAnders Carlsson EmitBranch(CastEnd); 158559486a2dSAnders Carlsson } 158659486a2dSAnders Carlsson 1587882d790fSAnders Carlsson EmitBlock(CastEnd); 158859486a2dSAnders Carlsson 1589882d790fSAnders Carlsson if (ShouldNullCheckSrcValue) { 1590882d790fSAnders Carlsson llvm::PHINode *PHI = Builder.CreatePHI(Value->getType(), 2); 1591882d790fSAnders Carlsson PHI->addIncoming(Value, CastNotNull); 1592882d790fSAnders Carlsson PHI->addIncoming(llvm::Constant::getNullValue(Value->getType()), CastNull); 159359486a2dSAnders Carlsson 1594882d790fSAnders Carlsson Value = PHI; 159559486a2dSAnders Carlsson } 159659486a2dSAnders Carlsson 1597882d790fSAnders Carlsson return Value; 159859486a2dSAnders Carlsson } 1599