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" 2059486a2dSAnders Carlsson using namespace clang; 2159486a2dSAnders Carlsson using namespace CodeGen; 2259486a2dSAnders Carlsson 2327da15baSAnders Carlsson RValue CodeGenFunction::EmitCXXMemberCall(const CXXMethodDecl *MD, 2427da15baSAnders Carlsson llvm::Value *Callee, 2527da15baSAnders Carlsson ReturnValueSlot ReturnValue, 2627da15baSAnders Carlsson llvm::Value *This, 27e36a6b3eSAnders Carlsson llvm::Value *VTT, 2827da15baSAnders Carlsson CallExpr::const_arg_iterator ArgBeg, 2927da15baSAnders Carlsson CallExpr::const_arg_iterator ArgEnd) { 3027da15baSAnders Carlsson assert(MD->isInstance() && 3127da15baSAnders Carlsson "Trying to emit a member call expr on a static method!"); 3227da15baSAnders Carlsson 3327da15baSAnders Carlsson const FunctionProtoType *FPT = MD->getType()->getAs<FunctionProtoType>(); 3427da15baSAnders Carlsson 3527da15baSAnders Carlsson CallArgList Args; 3627da15baSAnders Carlsson 3727da15baSAnders Carlsson // Push the this ptr. 3827da15baSAnders Carlsson Args.push_back(std::make_pair(RValue::get(This), 3927da15baSAnders Carlsson MD->getThisType(getContext()))); 4027da15baSAnders Carlsson 41e36a6b3eSAnders Carlsson // If there is a VTT parameter, emit it. 42e36a6b3eSAnders Carlsson if (VTT) { 43e36a6b3eSAnders Carlsson QualType T = getContext().getPointerType(getContext().VoidPtrTy); 44e36a6b3eSAnders Carlsson Args.push_back(std::make_pair(RValue::get(VTT), T)); 45e36a6b3eSAnders Carlsson } 46e36a6b3eSAnders Carlsson 4727da15baSAnders Carlsson // And the rest of the call args 4827da15baSAnders Carlsson EmitCallArgs(Args, FPT, ArgBeg, ArgEnd); 4927da15baSAnders Carlsson 50ab26cfa5SJohn McCall QualType ResultType = FPT->getResultType(); 51ab26cfa5SJohn McCall return EmitCall(CGM.getTypes().getFunctionInfo(ResultType, Args, 52c50c27ccSRafael Espindola FPT->getExtInfo()), 53c50c27ccSRafael Espindola Callee, ReturnValue, Args, MD); 5427da15baSAnders Carlsson } 5527da15baSAnders Carlsson 5627da15baSAnders Carlsson /// canDevirtualizeMemberFunctionCalls - Checks whether virtual calls on given 5727da15baSAnders Carlsson /// expr can be devirtualized. 58a7911fa3SAnders Carlsson static bool canDevirtualizeMemberFunctionCalls(const Expr *Base, 59a7911fa3SAnders Carlsson const CXXMethodDecl *MD) { 60a7911fa3SAnders Carlsson 61a7911fa3SAnders Carlsson // If the member function has the "final" attribute, we know that it can't be 62b00c2144SAnders Carlsson // overridden and can therefore devirtualize it. 63a7911fa3SAnders Carlsson if (MD->hasAttr<FinalAttr>()) 64a7911fa3SAnders Carlsson return true; 65a7911fa3SAnders Carlsson 66b00c2144SAnders Carlsson // Similarly, if the class itself has the "final" attribute it can't be 67b00c2144SAnders Carlsson // overridden and we can therefore devirtualize the member function call. 68b00c2144SAnders Carlsson if (MD->getParent()->hasAttr<FinalAttr>()) 69b00c2144SAnders Carlsson return true; 70b00c2144SAnders Carlsson 7127da15baSAnders Carlsson if (const DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(Base)) { 7227da15baSAnders Carlsson if (const VarDecl *VD = dyn_cast<VarDecl>(DRE->getDecl())) { 7327da15baSAnders Carlsson // This is a record decl. We know the type and can devirtualize it. 7427da15baSAnders Carlsson return VD->getType()->isRecordType(); 7527da15baSAnders Carlsson } 7627da15baSAnders Carlsson 7727da15baSAnders Carlsson return false; 7827da15baSAnders Carlsson } 7927da15baSAnders Carlsson 8027da15baSAnders Carlsson // We can always devirtualize calls on temporary object expressions. 81a682427eSEli Friedman if (isa<CXXConstructExpr>(Base)) 8227da15baSAnders Carlsson return true; 8327da15baSAnders Carlsson 8427da15baSAnders Carlsson // And calls on bound temporaries. 8527da15baSAnders Carlsson if (isa<CXXBindTemporaryExpr>(Base)) 8627da15baSAnders Carlsson return true; 8727da15baSAnders Carlsson 8827da15baSAnders Carlsson // Check if this is a call expr that returns a record type. 8927da15baSAnders Carlsson if (const CallExpr *CE = dyn_cast<CallExpr>(Base)) 9027da15baSAnders Carlsson return CE->getCallReturnType()->isRecordType(); 9127da15baSAnders Carlsson 9227da15baSAnders Carlsson // We can't devirtualize the call. 9327da15baSAnders Carlsson return false; 9427da15baSAnders Carlsson } 9527da15baSAnders Carlsson 9627da15baSAnders Carlsson RValue CodeGenFunction::EmitCXXMemberCallExpr(const CXXMemberCallExpr *CE, 9727da15baSAnders Carlsson ReturnValueSlot ReturnValue) { 9827da15baSAnders Carlsson if (isa<BinaryOperator>(CE->getCallee()->IgnoreParens())) 9927da15baSAnders Carlsson return EmitCXXMemberPointerCallExpr(CE, ReturnValue); 10027da15baSAnders Carlsson 10127da15baSAnders Carlsson const MemberExpr *ME = cast<MemberExpr>(CE->getCallee()->IgnoreParens()); 10227da15baSAnders Carlsson const CXXMethodDecl *MD = cast<CXXMethodDecl>(ME->getMemberDecl()); 10327da15baSAnders Carlsson 10491bbb554SDevang Patel CGDebugInfo *DI = getDebugInfo(); 105401c916cSDevang Patel if (DI && CGM.getCodeGenOpts().LimitDebugInfo 106401c916cSDevang Patel && !isa<CallExpr>(ME->getBase())) { 10791bbb554SDevang Patel QualType PQTy = ME->getBase()->IgnoreParenImpCasts()->getType(); 10891bbb554SDevang Patel if (const PointerType * PTy = dyn_cast<PointerType>(PQTy)) { 10991bbb554SDevang Patel DI->getOrCreateRecordType(PTy->getPointeeType(), 11091bbb554SDevang Patel MD->getParent()->getLocation()); 11191bbb554SDevang Patel } 11291bbb554SDevang Patel } 11391bbb554SDevang Patel 11427da15baSAnders Carlsson if (MD->isStatic()) { 11527da15baSAnders Carlsson // The method is static, emit it as we would a regular call. 11627da15baSAnders Carlsson llvm::Value *Callee = CGM.GetAddrOfFunction(MD); 11727da15baSAnders Carlsson return EmitCall(getContext().getPointerType(MD->getType()), Callee, 11827da15baSAnders Carlsson ReturnValue, CE->arg_begin(), CE->arg_end()); 11927da15baSAnders Carlsson } 12027da15baSAnders Carlsson 1210d635f53SJohn McCall // Compute the object pointer. 12227da15baSAnders Carlsson llvm::Value *This; 12327da15baSAnders Carlsson if (ME->isArrow()) 12427da15baSAnders Carlsson This = EmitScalarExpr(ME->getBase()); 125f93ac894SFariborz Jahanian else 126e26a872bSJohn McCall This = EmitLValue(ME->getBase()).getAddress(); 12727da15baSAnders Carlsson 1280d635f53SJohn McCall if (MD->isTrivial()) { 1290d635f53SJohn McCall if (isa<CXXDestructorDecl>(MD)) return RValue::get(0); 1300d635f53SJohn McCall 131ec3bec0cSDouglas Gregor assert(MD->isCopyAssignmentOperator() && "unknown trivial member function"); 13227da15baSAnders Carlsson // We don't like to generate the trivial copy assignment operator when 13327da15baSAnders Carlsson // it isn't necessary; just produce the proper effect here. 13427da15baSAnders Carlsson llvm::Value *RHS = EmitLValue(*CE->arg_begin()).getAddress(); 13527da15baSAnders Carlsson EmitAggregateCopy(This, RHS, CE->getType()); 13627da15baSAnders Carlsson return RValue::get(This); 13727da15baSAnders Carlsson } 13827da15baSAnders Carlsson 1390d635f53SJohn McCall // Compute the function type we're calling. 1400d635f53SJohn McCall const CGFunctionInfo &FInfo = 1410d635f53SJohn McCall (isa<CXXDestructorDecl>(MD) 1420d635f53SJohn McCall ? CGM.getTypes().getFunctionInfo(cast<CXXDestructorDecl>(MD), 1430d635f53SJohn McCall Dtor_Complete) 1440d635f53SJohn McCall : CGM.getTypes().getFunctionInfo(MD)); 1450d635f53SJohn McCall 1460d635f53SJohn McCall const FunctionProtoType *FPT = MD->getType()->getAs<FunctionProtoType>(); 1470d635f53SJohn McCall const llvm::Type *Ty 1480d635f53SJohn McCall = CGM.getTypes().GetFunctionType(FInfo, FPT->isVariadic()); 1490d635f53SJohn McCall 15027da15baSAnders Carlsson // C++ [class.virtual]p12: 15127da15baSAnders Carlsson // Explicit qualification with the scope operator (5.1) suppresses the 15227da15baSAnders Carlsson // virtual call mechanism. 15327da15baSAnders Carlsson // 15427da15baSAnders Carlsson // We also don't emit a virtual call if the base expression has a record type 15527da15baSAnders Carlsson // because then we know what the type is. 1560d635f53SJohn McCall bool UseVirtualCall = MD->isVirtual() && !ME->hasQualifier() 157a7911fa3SAnders Carlsson && !canDevirtualizeMemberFunctionCalls(ME->getBase(), MD); 1580d635f53SJohn McCall 15927da15baSAnders Carlsson llvm::Value *Callee; 1600d635f53SJohn McCall if (const CXXDestructorDecl *Dtor = dyn_cast<CXXDestructorDecl>(MD)) { 1610d635f53SJohn McCall if (UseVirtualCall) { 1620d635f53SJohn McCall Callee = BuildVirtualCall(Dtor, Dtor_Complete, This, Ty); 16327da15baSAnders Carlsson } else { 1640d635f53SJohn McCall Callee = CGM.GetAddrOfFunction(GlobalDecl(Dtor, Dtor_Complete), Ty); 16527da15baSAnders Carlsson } 1660d635f53SJohn McCall } else if (UseVirtualCall) { 16727da15baSAnders Carlsson Callee = BuildVirtualCall(MD, This, Ty); 16827da15baSAnders Carlsson } else { 16927da15baSAnders Carlsson Callee = CGM.GetAddrOfFunction(MD, Ty); 17027da15baSAnders Carlsson } 17127da15baSAnders Carlsson 172e36a6b3eSAnders Carlsson return EmitCXXMemberCall(MD, Callee, ReturnValue, This, /*VTT=*/0, 17327da15baSAnders Carlsson CE->arg_begin(), CE->arg_end()); 17427da15baSAnders Carlsson } 17527da15baSAnders Carlsson 17627da15baSAnders Carlsson RValue 17727da15baSAnders Carlsson CodeGenFunction::EmitCXXMemberPointerCallExpr(const CXXMemberCallExpr *E, 17827da15baSAnders Carlsson ReturnValueSlot ReturnValue) { 17927da15baSAnders Carlsson const BinaryOperator *BO = 18027da15baSAnders Carlsson cast<BinaryOperator>(E->getCallee()->IgnoreParens()); 18127da15baSAnders Carlsson const Expr *BaseExpr = BO->getLHS(); 18227da15baSAnders Carlsson const Expr *MemFnExpr = BO->getRHS(); 18327da15baSAnders Carlsson 18427da15baSAnders Carlsson const MemberPointerType *MPT = 18527da15baSAnders Carlsson MemFnExpr->getType()->getAs<MemberPointerType>(); 186475999dcSJohn McCall 18727da15baSAnders Carlsson const FunctionProtoType *FPT = 18827da15baSAnders Carlsson MPT->getPointeeType()->getAs<FunctionProtoType>(); 18927da15baSAnders Carlsson const CXXRecordDecl *RD = 19027da15baSAnders Carlsson cast<CXXRecordDecl>(MPT->getClass()->getAs<RecordType>()->getDecl()); 19127da15baSAnders Carlsson 19227da15baSAnders Carlsson // Get the member function pointer. 193a1dee530SJohn McCall llvm::Value *MemFnPtr = EmitScalarExpr(MemFnExpr); 19427da15baSAnders Carlsson 19527da15baSAnders Carlsson // Emit the 'this' pointer. 19627da15baSAnders Carlsson llvm::Value *This; 19727da15baSAnders Carlsson 198e302792bSJohn McCall if (BO->getOpcode() == BO_PtrMemI) 19927da15baSAnders Carlsson This = EmitScalarExpr(BaseExpr); 20027da15baSAnders Carlsson else 20127da15baSAnders Carlsson This = EmitLValue(BaseExpr).getAddress(); 20227da15baSAnders Carlsson 203475999dcSJohn McCall // Ask the ABI to load the callee. Note that This is modified. 204475999dcSJohn McCall llvm::Value *Callee = 205475999dcSJohn McCall CGM.getCXXABI().EmitLoadOfMemberFunctionPointer(CGF, This, MemFnPtr, MPT); 20627da15baSAnders Carlsson 20727da15baSAnders Carlsson CallArgList Args; 20827da15baSAnders Carlsson 20927da15baSAnders Carlsson QualType ThisType = 21027da15baSAnders Carlsson getContext().getPointerType(getContext().getTagDeclType(RD)); 21127da15baSAnders Carlsson 21227da15baSAnders Carlsson // Push the this ptr. 21327da15baSAnders Carlsson Args.push_back(std::make_pair(RValue::get(This), ThisType)); 21427da15baSAnders Carlsson 21527da15baSAnders Carlsson // And the rest of the call args 21627da15baSAnders Carlsson EmitCallArgs(Args, FPT, E->arg_begin(), E->arg_end()); 217ab26cfa5SJohn McCall const FunctionType *BO_FPT = BO->getType()->getAs<FunctionProtoType>(); 218ab26cfa5SJohn McCall return EmitCall(CGM.getTypes().getFunctionInfo(Args, BO_FPT), Callee, 21927da15baSAnders Carlsson ReturnValue, Args); 22027da15baSAnders Carlsson } 22127da15baSAnders Carlsson 22227da15baSAnders Carlsson RValue 22327da15baSAnders Carlsson CodeGenFunction::EmitCXXOperatorMemberCallExpr(const CXXOperatorCallExpr *E, 22427da15baSAnders Carlsson const CXXMethodDecl *MD, 22527da15baSAnders Carlsson ReturnValueSlot ReturnValue) { 22627da15baSAnders Carlsson assert(MD->isInstance() && 22727da15baSAnders Carlsson "Trying to emit a member call expr on a static method!"); 228e26a872bSJohn McCall LValue LV = EmitLValue(E->getArg(0)); 229e26a872bSJohn McCall llvm::Value *This = LV.getAddress(); 230e26a872bSJohn McCall 231ec3bec0cSDouglas Gregor if (MD->isCopyAssignmentOperator()) { 23227da15baSAnders Carlsson const CXXRecordDecl *ClassDecl = cast<CXXRecordDecl>(MD->getDeclContext()); 23327da15baSAnders Carlsson if (ClassDecl->hasTrivialCopyAssignment()) { 23427da15baSAnders Carlsson assert(!ClassDecl->hasUserDeclaredCopyAssignment() && 23527da15baSAnders Carlsson "EmitCXXOperatorMemberCallExpr - user declared copy assignment"); 23627da15baSAnders Carlsson llvm::Value *Src = EmitLValue(E->getArg(1)).getAddress(); 23727da15baSAnders Carlsson QualType Ty = E->getType(); 23827da15baSAnders Carlsson EmitAggregateCopy(This, Src, Ty); 23927da15baSAnders Carlsson return RValue::get(This); 24027da15baSAnders Carlsson } 24127da15baSAnders Carlsson } 24227da15baSAnders Carlsson 24327da15baSAnders Carlsson const FunctionProtoType *FPT = MD->getType()->getAs<FunctionProtoType>(); 24427da15baSAnders Carlsson const llvm::Type *Ty = 24527da15baSAnders Carlsson CGM.getTypes().GetFunctionType(CGM.getTypes().getFunctionInfo(MD), 24627da15baSAnders Carlsson FPT->isVariadic()); 24727da15baSAnders Carlsson llvm::Value *Callee; 248a7911fa3SAnders Carlsson if (MD->isVirtual() && !canDevirtualizeMemberFunctionCalls(E->getArg(0), MD)) 24927da15baSAnders Carlsson Callee = BuildVirtualCall(MD, This, Ty); 25027da15baSAnders Carlsson else 25127da15baSAnders Carlsson Callee = CGM.GetAddrOfFunction(MD, Ty); 25227da15baSAnders Carlsson 253e36a6b3eSAnders Carlsson return EmitCXXMemberCall(MD, Callee, ReturnValue, This, /*VTT=*/0, 25427da15baSAnders Carlsson E->arg_begin() + 1, E->arg_end()); 25527da15baSAnders Carlsson } 25627da15baSAnders Carlsson 25727da15baSAnders Carlsson void 2587a626f63SJohn McCall CodeGenFunction::EmitCXXConstructExpr(const CXXConstructExpr *E, 2597a626f63SJohn McCall AggValueSlot Dest) { 2607a626f63SJohn McCall assert(!Dest.isIgnored() && "Must have a destination!"); 26127da15baSAnders Carlsson const CXXConstructorDecl *CD = E->getConstructor(); 262630c76efSDouglas Gregor 263630c76efSDouglas Gregor // If we require zero initialization before (or instead of) calling the 264630c76efSDouglas Gregor // constructor, as can be the case with a non-user-provided default 265630c76efSDouglas Gregor // constructor, emit the zero initialization now. 266e3b3464dSDouglas Gregor if (E->requiresZeroInitialization()) 2677a626f63SJohn McCall EmitNullInitialization(Dest.getAddr(), E->getType()); 268630c76efSDouglas Gregor 269630c76efSDouglas Gregor // If this is a call to a trivial default constructor, do nothing. 270630c76efSDouglas Gregor if (CD->isTrivial() && CD->isDefaultConstructor()) 27127da15baSAnders Carlsson return; 272630c76efSDouglas Gregor 2738ea46b66SJohn McCall // Elide the constructor if we're constructing from a temporary. 2748ea46b66SJohn McCall // The temporary check is required because Sema sets this on NRVO 2758ea46b66SJohn McCall // returns. 27627da15baSAnders Carlsson if (getContext().getLangOptions().ElideConstructors && E->isElidable()) { 2778ea46b66SJohn McCall assert(getContext().hasSameUnqualifiedType(E->getType(), 2788ea46b66SJohn McCall E->getArg(0)->getType())); 2797a626f63SJohn McCall if (E->getArg(0)->isTemporaryObject(getContext(), CD->getParent())) { 2807a626f63SJohn McCall EmitAggExpr(E->getArg(0), Dest); 28127da15baSAnders Carlsson return; 28227da15baSAnders Carlsson } 283222cf0efSDouglas Gregor } 284630c76efSDouglas Gregor 285630c76efSDouglas Gregor const ConstantArrayType *Array 286630c76efSDouglas Gregor = getContext().getAsConstantArrayType(E->getType()); 28727da15baSAnders Carlsson if (Array) { 28827da15baSAnders Carlsson QualType BaseElementTy = getContext().getBaseElementType(Array); 28927da15baSAnders Carlsson const llvm::Type *BasePtr = ConvertType(BaseElementTy); 29027da15baSAnders Carlsson BasePtr = llvm::PointerType::getUnqual(BasePtr); 29127da15baSAnders Carlsson llvm::Value *BaseAddrPtr = 2927a626f63SJohn McCall Builder.CreateBitCast(Dest.getAddr(), BasePtr); 29327da15baSAnders Carlsson 29427da15baSAnders Carlsson EmitCXXAggrConstructorCall(CD, Array, BaseAddrPtr, 29527da15baSAnders Carlsson E->arg_begin(), E->arg_end()); 29627da15baSAnders Carlsson } 297e11f9ce9SAnders Carlsson else { 298e11f9ce9SAnders Carlsson CXXCtorType Type = 299e11f9ce9SAnders Carlsson (E->getConstructionKind() == CXXConstructExpr::CK_Complete) 300e11f9ce9SAnders Carlsson ? Ctor_Complete : Ctor_Base; 301e11f9ce9SAnders Carlsson bool ForVirtualBase = 302e11f9ce9SAnders Carlsson E->getConstructionKind() == CXXConstructExpr::CK_VirtualBase; 303e11f9ce9SAnders Carlsson 30427da15baSAnders Carlsson // Call the constructor. 3057a626f63SJohn McCall EmitCXXConstructorCall(CD, Type, ForVirtualBase, Dest.getAddr(), 30627da15baSAnders Carlsson E->arg_begin(), E->arg_end()); 30727da15baSAnders Carlsson } 308e11f9ce9SAnders Carlsson } 30927da15baSAnders Carlsson 310e988bdacSFariborz Jahanian void 311e988bdacSFariborz Jahanian CodeGenFunction::EmitSynthesizedCXXCopyCtor(llvm::Value *Dest, 312e988bdacSFariborz Jahanian llvm::Value *Src, 31350198098SFariborz Jahanian const Expr *Exp) { 3145d413781SJohn McCall if (const ExprWithCleanups *E = dyn_cast<ExprWithCleanups>(Exp)) 315e988bdacSFariborz Jahanian Exp = E->getSubExpr(); 316e988bdacSFariborz Jahanian assert(isa<CXXConstructExpr>(Exp) && 317e988bdacSFariborz Jahanian "EmitSynthesizedCXXCopyCtor - unknown copy ctor expr"); 318e988bdacSFariborz Jahanian const CXXConstructExpr* E = cast<CXXConstructExpr>(Exp); 319e988bdacSFariborz Jahanian const CXXConstructorDecl *CD = E->getConstructor(); 320e988bdacSFariborz Jahanian RunCleanupsScope Scope(*this); 321e988bdacSFariborz Jahanian 322e988bdacSFariborz Jahanian // If we require zero initialization before (or instead of) calling the 323e988bdacSFariborz Jahanian // constructor, as can be the case with a non-user-provided default 324e988bdacSFariborz Jahanian // constructor, emit the zero initialization now. 325e988bdacSFariborz Jahanian // FIXME. Do I still need this for a copy ctor synthesis? 326e988bdacSFariborz Jahanian if (E->requiresZeroInitialization()) 327e988bdacSFariborz Jahanian EmitNullInitialization(Dest, E->getType()); 328e988bdacSFariborz Jahanian 32999da11cfSChandler Carruth assert(!getContext().getAsConstantArrayType(E->getType()) 33099da11cfSChandler Carruth && "EmitSynthesizedCXXCopyCtor - Copied-in Array"); 331e988bdacSFariborz Jahanian EmitSynthesizedCXXCopyCtorCall(CD, Dest, Src, 332e988bdacSFariborz Jahanian E->arg_begin(), E->arg_end()); 333e988bdacSFariborz Jahanian } 334e988bdacSFariborz Jahanian 335aa4149a2SJohn McCall /// Check whether the given operator new[] is the global placement 336aa4149a2SJohn McCall /// operator new[]. 337aa4149a2SJohn McCall static bool IsPlacementOperatorNewArray(ASTContext &Ctx, 338aa4149a2SJohn McCall const FunctionDecl *Fn) { 339aa4149a2SJohn McCall // Must be in global scope. Note that allocation functions can't be 340aa4149a2SJohn McCall // declared in namespaces. 34150c68258SSebastian Redl if (!Fn->getDeclContext()->getRedeclContext()->isFileContext()) 342aa4149a2SJohn McCall return false; 343aa4149a2SJohn McCall 344aa4149a2SJohn McCall // Signature must be void *operator new[](size_t, void*). 345aa4149a2SJohn McCall // The size_t is common to all operator new[]s. 346aa4149a2SJohn McCall if (Fn->getNumParams() != 2) 347aa4149a2SJohn McCall return false; 348aa4149a2SJohn McCall 349aa4149a2SJohn McCall CanQualType ParamType = Ctx.getCanonicalType(Fn->getParamDecl(1)->getType()); 350aa4149a2SJohn McCall return (ParamType == Ctx.VoidPtrTy); 351aa4149a2SJohn McCall } 352aa4149a2SJohn McCall 3538ed55a54SJohn McCall static CharUnits CalculateCookiePadding(CodeGenFunction &CGF, 3548ed55a54SJohn McCall const CXXNewExpr *E) { 35521122cf6SAnders Carlsson if (!E->isArray()) 3563eb55cfeSKen Dyck return CharUnits::Zero(); 35721122cf6SAnders Carlsson 358399f499fSAnders Carlsson // No cookie is required if the new operator being used is 359399f499fSAnders Carlsson // ::operator new[](size_t, void*). 360399f499fSAnders Carlsson const FunctionDecl *OperatorNew = E->getOperatorNew(); 3618ed55a54SJohn McCall if (IsPlacementOperatorNewArray(CGF.getContext(), OperatorNew)) 3623eb55cfeSKen Dyck return CharUnits::Zero(); 363399f499fSAnders Carlsson 3648ed55a54SJohn McCall return CGF.CGM.getCXXABI().GetArrayCookieSize(E->getAllocatedType()); 36559486a2dSAnders Carlsson } 36659486a2dSAnders Carlsson 36747b4629bSFariborz Jahanian static llvm::Value *EmitCXXNewAllocSize(ASTContext &Context, 36847b4629bSFariborz Jahanian CodeGenFunction &CGF, 36959486a2dSAnders Carlsson const CXXNewExpr *E, 37005fc5be3SDouglas Gregor llvm::Value *&NumElements, 37105fc5be3SDouglas Gregor llvm::Value *&SizeWithoutCookie) { 3727648fb46SArgyrios Kyrtzidis QualType ElemType = E->getAllocatedType(); 37359486a2dSAnders Carlsson 3748ed55a54SJohn McCall const llvm::IntegerType *SizeTy = 3758ed55a54SJohn McCall cast<llvm::IntegerType>(CGF.ConvertType(CGF.getContext().getSizeType())); 3768ed55a54SJohn McCall 3777648fb46SArgyrios Kyrtzidis CharUnits TypeSize = CGF.getContext().getTypeSizeInChars(ElemType); 3788ed55a54SJohn McCall 3798ed55a54SJohn McCall if (!E->isArray()) { 38005fc5be3SDouglas Gregor SizeWithoutCookie = llvm::ConstantInt::get(SizeTy, TypeSize.getQuantity()); 38105fc5be3SDouglas Gregor return SizeWithoutCookie; 38205fc5be3SDouglas Gregor } 38359486a2dSAnders Carlsson 3848ed55a54SJohn McCall // Figure out the cookie size. 3858ed55a54SJohn McCall CharUnits CookieSize = CalculateCookiePadding(CGF, E); 3868ed55a54SJohn McCall 38759486a2dSAnders Carlsson // Emit the array size expression. 3887648fb46SArgyrios Kyrtzidis // We multiply the size of all dimensions for NumElements. 3897648fb46SArgyrios Kyrtzidis // e.g for 'int[2][3]', ElemType is 'int' and NumElements is 6. 39059486a2dSAnders Carlsson NumElements = CGF.EmitScalarExpr(E->getArraySize()); 3918ed55a54SJohn McCall assert(NumElements->getType() == SizeTy && "element count not a size_t"); 3928ed55a54SJohn McCall 3938ed55a54SJohn McCall uint64_t ArraySizeMultiplier = 1; 3947648fb46SArgyrios Kyrtzidis while (const ConstantArrayType *CAT 3957648fb46SArgyrios Kyrtzidis = CGF.getContext().getAsConstantArrayType(ElemType)) { 3967648fb46SArgyrios Kyrtzidis ElemType = CAT->getElementType(); 3978ed55a54SJohn McCall ArraySizeMultiplier *= CAT->getSize().getZExtValue(); 3987648fb46SArgyrios Kyrtzidis } 39959486a2dSAnders Carlsson 4008ed55a54SJohn McCall llvm::Value *Size; 40132ac583dSChris Lattner 40232ac583dSChris Lattner // If someone is doing 'new int[42]' there is no need to do a dynamic check. 40332ac583dSChris Lattner // Don't bloat the -O0 code. 40432ac583dSChris Lattner if (llvm::ConstantInt *NumElementsC = 40532ac583dSChris Lattner dyn_cast<llvm::ConstantInt>(NumElements)) { 40632ac583dSChris Lattner llvm::APInt NEC = NumElementsC->getValue(); 4078ed55a54SJohn McCall unsigned SizeWidth = NEC.getBitWidth(); 40832ac583dSChris Lattner 4098ed55a54SJohn McCall // Determine if there is an overflow here by doing an extended multiply. 410*6d4db0c8SJay Foad NEC = NEC.zext(SizeWidth*2); 4118ed55a54SJohn McCall llvm::APInt SC(SizeWidth*2, TypeSize.getQuantity()); 41232ac583dSChris Lattner SC *= NEC; 41332ac583dSChris Lattner 4148ed55a54SJohn McCall if (!CookieSize.isZero()) { 4158ed55a54SJohn McCall // Save the current size without a cookie. We don't care if an 4168ed55a54SJohn McCall // overflow's already happened because SizeWithoutCookie isn't 4178ed55a54SJohn McCall // used if the allocator returns null or throws, as it should 4188ed55a54SJohn McCall // always do on an overflow. 419*6d4db0c8SJay Foad llvm::APInt SWC = SC.trunc(SizeWidth); 4208ed55a54SJohn McCall SizeWithoutCookie = llvm::ConstantInt::get(SizeTy, SWC); 4218ed55a54SJohn McCall 4228ed55a54SJohn McCall // Add the cookie size. 4238ed55a54SJohn McCall SC += llvm::APInt(SizeWidth*2, CookieSize.getQuantity()); 4248ed55a54SJohn McCall } 4258ed55a54SJohn McCall 4268ed55a54SJohn McCall if (SC.countLeadingZeros() >= SizeWidth) { 427*6d4db0c8SJay Foad SC = SC.trunc(SizeWidth); 4288ed55a54SJohn McCall Size = llvm::ConstantInt::get(SizeTy, SC); 42932ac583dSChris Lattner } else { 43032ac583dSChris Lattner // On overflow, produce a -1 so operator new throws. 4318ed55a54SJohn McCall Size = llvm::Constant::getAllOnesValue(SizeTy); 43232ac583dSChris Lattner } 43332ac583dSChris Lattner 4348ed55a54SJohn McCall // Scale NumElements while we're at it. 4358ed55a54SJohn McCall uint64_t N = NEC.getZExtValue() * ArraySizeMultiplier; 4368ed55a54SJohn McCall NumElements = llvm::ConstantInt::get(SizeTy, N); 43747b4629bSFariborz Jahanian 4388ed55a54SJohn McCall // Otherwise, we don't need to do an overflow-checked multiplication if 4398ed55a54SJohn McCall // we're multiplying by one. 4408ed55a54SJohn McCall } else if (TypeSize.isOne()) { 4418ed55a54SJohn McCall assert(ArraySizeMultiplier == 1); 442f2f38701SChris Lattner 4438ed55a54SJohn McCall Size = NumElements; 444f2f38701SChris Lattner 4458ed55a54SJohn McCall // If we need a cookie, add its size in with an overflow check. 4468ed55a54SJohn McCall // This is maybe a little paranoid. 4478ed55a54SJohn McCall if (!CookieSize.isZero()) { 44805fc5be3SDouglas Gregor SizeWithoutCookie = Size; 449f2f38701SChris Lattner 4508ed55a54SJohn McCall llvm::Value *CookieSizeV 4518ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, CookieSize.getQuantity()); 4528ed55a54SJohn McCall 4538ed55a54SJohn McCall const llvm::Type *Types[] = { SizeTy }; 4548ed55a54SJohn McCall llvm::Value *UAddF 4558ed55a54SJohn McCall = CGF.CGM.getIntrinsic(llvm::Intrinsic::uadd_with_overflow, Types, 1); 4568ed55a54SJohn McCall llvm::Value *AddRes 4578ed55a54SJohn McCall = CGF.Builder.CreateCall2(UAddF, Size, CookieSizeV); 4588ed55a54SJohn McCall 4598ed55a54SJohn McCall Size = CGF.Builder.CreateExtractValue(AddRes, 0); 4608ed55a54SJohn McCall llvm::Value *DidOverflow = CGF.Builder.CreateExtractValue(AddRes, 1); 4618ed55a54SJohn McCall Size = CGF.Builder.CreateSelect(DidOverflow, 4628ed55a54SJohn McCall llvm::ConstantInt::get(SizeTy, -1), 4638ed55a54SJohn McCall Size); 4648ed55a54SJohn McCall } 4658ed55a54SJohn McCall 4668ed55a54SJohn McCall // Otherwise use the int.umul.with.overflow intrinsic. 4678ed55a54SJohn McCall } else { 4688ed55a54SJohn McCall llvm::Value *OutermostElementSize 4698ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, TypeSize.getQuantity()); 4708ed55a54SJohn McCall 4718ed55a54SJohn McCall llvm::Value *NumOutermostElements = NumElements; 4728ed55a54SJohn McCall 4738ed55a54SJohn McCall // Scale NumElements by the array size multiplier. This might 4748ed55a54SJohn McCall // overflow, but only if the multiplication below also overflows, 4758ed55a54SJohn McCall // in which case this multiplication isn't used. 4768ed55a54SJohn McCall if (ArraySizeMultiplier != 1) 4778ed55a54SJohn McCall NumElements = CGF.Builder.CreateMul(NumElements, 4788ed55a54SJohn McCall llvm::ConstantInt::get(SizeTy, ArraySizeMultiplier)); 4798ed55a54SJohn McCall 4808ed55a54SJohn McCall // The requested size of the outermost array is non-constant. 4818ed55a54SJohn McCall // Multiply that by the static size of the elements of that array; 4828ed55a54SJohn McCall // on unsigned overflow, set the size to -1 to trigger an 4838ed55a54SJohn McCall // exception from the allocation routine. This is sufficient to 4848ed55a54SJohn McCall // prevent buffer overruns from the allocator returning a 4858ed55a54SJohn McCall // seemingly valid pointer to insufficient space. This idea comes 4868ed55a54SJohn McCall // originally from MSVC, and GCC has an open bug requesting 4878ed55a54SJohn McCall // similar behavior: 4888ed55a54SJohn McCall // http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19351 4898ed55a54SJohn McCall // 4908ed55a54SJohn McCall // This will not be sufficient for C++0x, which requires a 4918ed55a54SJohn McCall // specific exception class (std::bad_array_new_length). 4928ed55a54SJohn McCall // That will require ABI support that has not yet been specified. 4938ed55a54SJohn McCall const llvm::Type *Types[] = { SizeTy }; 4948ed55a54SJohn McCall llvm::Value *UMulF 4958ed55a54SJohn McCall = CGF.CGM.getIntrinsic(llvm::Intrinsic::umul_with_overflow, Types, 1); 4968ed55a54SJohn McCall llvm::Value *MulRes = CGF.Builder.CreateCall2(UMulF, NumOutermostElements, 4978ed55a54SJohn McCall OutermostElementSize); 4988ed55a54SJohn McCall 4998ed55a54SJohn McCall // The overflow bit. 5008ed55a54SJohn McCall llvm::Value *DidOverflow = CGF.Builder.CreateExtractValue(MulRes, 1); 5018ed55a54SJohn McCall 5028ed55a54SJohn McCall // The result of the multiplication. 5038ed55a54SJohn McCall Size = CGF.Builder.CreateExtractValue(MulRes, 0); 5048ed55a54SJohn McCall 5058ed55a54SJohn McCall // If we have a cookie, we need to add that size in, too. 5068ed55a54SJohn McCall if (!CookieSize.isZero()) { 5078ed55a54SJohn McCall SizeWithoutCookie = Size; 5088ed55a54SJohn McCall 5098ed55a54SJohn McCall llvm::Value *CookieSizeV 5108ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, CookieSize.getQuantity()); 5118ed55a54SJohn McCall llvm::Value *UAddF 5128ed55a54SJohn McCall = CGF.CGM.getIntrinsic(llvm::Intrinsic::uadd_with_overflow, Types, 1); 5138ed55a54SJohn McCall llvm::Value *AddRes 5148ed55a54SJohn McCall = CGF.Builder.CreateCall2(UAddF, SizeWithoutCookie, CookieSizeV); 5158ed55a54SJohn McCall 5168ed55a54SJohn McCall Size = CGF.Builder.CreateExtractValue(AddRes, 0); 5178ed55a54SJohn McCall 5188ed55a54SJohn McCall llvm::Value *AddDidOverflow = CGF.Builder.CreateExtractValue(AddRes, 1); 5198ed55a54SJohn McCall DidOverflow = CGF.Builder.CreateAnd(DidOverflow, AddDidOverflow); 5208ed55a54SJohn McCall } 5218ed55a54SJohn McCall 5228ed55a54SJohn McCall Size = CGF.Builder.CreateSelect(DidOverflow, 5238ed55a54SJohn McCall llvm::ConstantInt::get(SizeTy, -1), 5248ed55a54SJohn McCall Size); 5258ed55a54SJohn McCall } 5268ed55a54SJohn McCall 5278ed55a54SJohn McCall if (CookieSize.isZero()) 5288ed55a54SJohn McCall SizeWithoutCookie = Size; 5298ed55a54SJohn McCall else 5308ed55a54SJohn McCall assert(SizeWithoutCookie && "didn't set SizeWithoutCookie?"); 53159486a2dSAnders Carlsson 53232ac583dSChris Lattner return Size; 53359486a2dSAnders Carlsson } 53459486a2dSAnders Carlsson 535d5202e09SFariborz Jahanian static void StoreAnyExprIntoOneUnit(CodeGenFunction &CGF, const CXXNewExpr *E, 536d5202e09SFariborz Jahanian llvm::Value *NewPtr) { 537d5202e09SFariborz Jahanian 538d5202e09SFariborz Jahanian assert(E->getNumConstructorArgs() == 1 && 539d5202e09SFariborz Jahanian "Can only have one argument to initializer of POD type."); 540d5202e09SFariborz Jahanian 541d5202e09SFariborz Jahanian const Expr *Init = E->getConstructorArg(0); 542d5202e09SFariborz Jahanian QualType AllocType = E->getAllocatedType(); 543d5202e09SFariborz Jahanian 5440381634aSDaniel Dunbar unsigned Alignment = 5450381634aSDaniel Dunbar CGF.getContext().getTypeAlignInChars(AllocType).getQuantity(); 546d5202e09SFariborz Jahanian if (!CGF.hasAggregateLLVMType(AllocType)) 547d5202e09SFariborz Jahanian CGF.EmitStoreOfScalar(CGF.EmitScalarExpr(Init), NewPtr, 5480381634aSDaniel Dunbar AllocType.isVolatileQualified(), Alignment, 5490381634aSDaniel Dunbar AllocType); 550d5202e09SFariborz Jahanian else if (AllocType->isAnyComplexType()) 551d5202e09SFariborz Jahanian CGF.EmitComplexExprIntoAddr(Init, NewPtr, 552d5202e09SFariborz Jahanian AllocType.isVolatileQualified()); 5537a626f63SJohn McCall else { 5547a626f63SJohn McCall AggValueSlot Slot 5557a626f63SJohn McCall = AggValueSlot::forAddr(NewPtr, AllocType.isVolatileQualified(), true); 5567a626f63SJohn McCall CGF.EmitAggExpr(Init, Slot); 5577a626f63SJohn McCall } 558d5202e09SFariborz Jahanian } 559d5202e09SFariborz Jahanian 560d5202e09SFariborz Jahanian void 561d5202e09SFariborz Jahanian CodeGenFunction::EmitNewArrayInitializer(const CXXNewExpr *E, 562d5202e09SFariborz Jahanian llvm::Value *NewPtr, 563d5202e09SFariborz Jahanian llvm::Value *NumElements) { 564b66b08efSFariborz Jahanian // We have a POD type. 565b66b08efSFariborz Jahanian if (E->getNumConstructorArgs() == 0) 566b66b08efSFariborz Jahanian return; 567b66b08efSFariborz Jahanian 568d5202e09SFariborz Jahanian const llvm::Type *SizeTy = ConvertType(getContext().getSizeType()); 569d5202e09SFariborz Jahanian 570d5202e09SFariborz Jahanian // Create a temporary for the loop index and initialize it with 0. 571d5202e09SFariborz Jahanian llvm::Value *IndexPtr = CreateTempAlloca(SizeTy, "loop.index"); 572d5202e09SFariborz Jahanian llvm::Value *Zero = llvm::Constant::getNullValue(SizeTy); 573d5202e09SFariborz Jahanian Builder.CreateStore(Zero, IndexPtr); 574d5202e09SFariborz Jahanian 575d5202e09SFariborz Jahanian // Start the loop with a block that tests the condition. 576d5202e09SFariborz Jahanian llvm::BasicBlock *CondBlock = createBasicBlock("for.cond"); 577d5202e09SFariborz Jahanian llvm::BasicBlock *AfterFor = createBasicBlock("for.end"); 578d5202e09SFariborz Jahanian 579d5202e09SFariborz Jahanian EmitBlock(CondBlock); 580d5202e09SFariborz Jahanian 581d5202e09SFariborz Jahanian llvm::BasicBlock *ForBody = createBasicBlock("for.body"); 582d5202e09SFariborz Jahanian 583d5202e09SFariborz Jahanian // Generate: if (loop-index < number-of-elements fall to the loop body, 584d5202e09SFariborz Jahanian // otherwise, go to the block after the for-loop. 585d5202e09SFariborz Jahanian llvm::Value *Counter = Builder.CreateLoad(IndexPtr); 586d5202e09SFariborz Jahanian llvm::Value *IsLess = Builder.CreateICmpULT(Counter, NumElements, "isless"); 587d5202e09SFariborz Jahanian // If the condition is true, execute the body. 588d5202e09SFariborz Jahanian Builder.CreateCondBr(IsLess, ForBody, AfterFor); 589d5202e09SFariborz Jahanian 590d5202e09SFariborz Jahanian EmitBlock(ForBody); 591d5202e09SFariborz Jahanian 592d5202e09SFariborz Jahanian llvm::BasicBlock *ContinueBlock = createBasicBlock("for.inc"); 593d5202e09SFariborz Jahanian // Inside the loop body, emit the constructor call on the array element. 594d5202e09SFariborz Jahanian Counter = Builder.CreateLoad(IndexPtr); 595d5202e09SFariborz Jahanian llvm::Value *Address = Builder.CreateInBoundsGEP(NewPtr, Counter, 596d5202e09SFariborz Jahanian "arrayidx"); 597d5202e09SFariborz Jahanian StoreAnyExprIntoOneUnit(*this, E, Address); 598d5202e09SFariborz Jahanian 599d5202e09SFariborz Jahanian EmitBlock(ContinueBlock); 600d5202e09SFariborz Jahanian 601d5202e09SFariborz Jahanian // Emit the increment of the loop counter. 602d5202e09SFariborz Jahanian llvm::Value *NextVal = llvm::ConstantInt::get(SizeTy, 1); 603d5202e09SFariborz Jahanian Counter = Builder.CreateLoad(IndexPtr); 604d5202e09SFariborz Jahanian NextVal = Builder.CreateAdd(Counter, NextVal, "inc"); 605d5202e09SFariborz Jahanian Builder.CreateStore(NextVal, IndexPtr); 606d5202e09SFariborz Jahanian 607d5202e09SFariborz Jahanian // Finally, branch back up to the condition for the next iteration. 608d5202e09SFariborz Jahanian EmitBranch(CondBlock); 609d5202e09SFariborz Jahanian 610d5202e09SFariborz Jahanian // Emit the fall-through block. 611d5202e09SFariborz Jahanian EmitBlock(AfterFor, true); 612d5202e09SFariborz Jahanian } 613d5202e09SFariborz Jahanian 61405fc5be3SDouglas Gregor static void EmitZeroMemSet(CodeGenFunction &CGF, QualType T, 61505fc5be3SDouglas Gregor llvm::Value *NewPtr, llvm::Value *Size) { 61605fc5be3SDouglas Gregor llvm::LLVMContext &VMContext = CGF.CGM.getLLVMContext(); 61705fc5be3SDouglas Gregor const llvm::Type *BP = llvm::Type::getInt8PtrTy(VMContext); 61805fc5be3SDouglas Gregor if (NewPtr->getType() != BP) 61905fc5be3SDouglas Gregor NewPtr = CGF.Builder.CreateBitCast(NewPtr, BP, "tmp"); 62005fc5be3SDouglas Gregor 62105fc5be3SDouglas Gregor CGF.Builder.CreateCall5(CGF.CGM.getMemSetFn(BP, CGF.IntPtrTy), NewPtr, 62205fc5be3SDouglas Gregor llvm::Constant::getNullValue(llvm::Type::getInt8Ty(VMContext)), 62305fc5be3SDouglas Gregor Size, 62405fc5be3SDouglas Gregor llvm::ConstantInt::get(CGF.Int32Ty, 62505fc5be3SDouglas Gregor CGF.getContext().getTypeAlign(T)/8), 62605fc5be3SDouglas Gregor llvm::ConstantInt::get(llvm::Type::getInt1Ty(VMContext), 62705fc5be3SDouglas Gregor 0)); 62805fc5be3SDouglas Gregor } 62905fc5be3SDouglas Gregor 63059486a2dSAnders Carlsson static void EmitNewInitializer(CodeGenFunction &CGF, const CXXNewExpr *E, 63159486a2dSAnders Carlsson llvm::Value *NewPtr, 63205fc5be3SDouglas Gregor llvm::Value *NumElements, 63305fc5be3SDouglas Gregor llvm::Value *AllocSizeWithoutCookie) { 6343a202f60SAnders Carlsson if (E->isArray()) { 635d040e6b2SAnders Carlsson if (CXXConstructorDecl *Ctor = E->getConstructor()) { 63605fc5be3SDouglas Gregor bool RequiresZeroInitialization = false; 63705fc5be3SDouglas Gregor if (Ctor->getParent()->hasTrivialConstructor()) { 63805fc5be3SDouglas Gregor // If new expression did not specify value-initialization, then there 63905fc5be3SDouglas Gregor // is no initialization. 64005fc5be3SDouglas Gregor if (!E->hasInitializer() || Ctor->getParent()->isEmpty()) 64105fc5be3SDouglas Gregor return; 64205fc5be3SDouglas Gregor 643614dbdcdSJohn McCall if (CGF.CGM.getTypes().isZeroInitializable(E->getAllocatedType())) { 64405fc5be3SDouglas Gregor // Optimization: since zero initialization will just set the memory 64505fc5be3SDouglas Gregor // to all zeroes, generate a single memset to do it in one shot. 64605fc5be3SDouglas Gregor EmitZeroMemSet(CGF, E->getAllocatedType(), NewPtr, 64705fc5be3SDouglas Gregor AllocSizeWithoutCookie); 6483a202f60SAnders Carlsson return; 6493a202f60SAnders Carlsson } 65005fc5be3SDouglas Gregor 65105fc5be3SDouglas Gregor RequiresZeroInitialization = true; 65205fc5be3SDouglas Gregor } 65305fc5be3SDouglas Gregor 65405fc5be3SDouglas Gregor CGF.EmitCXXAggrConstructorCall(Ctor, NumElements, NewPtr, 65505fc5be3SDouglas Gregor E->constructor_arg_begin(), 65605fc5be3SDouglas Gregor E->constructor_arg_end(), 65705fc5be3SDouglas Gregor RequiresZeroInitialization); 65805fc5be3SDouglas Gregor return; 65905fc5be3SDouglas Gregor } else if (E->getNumConstructorArgs() == 1 && 66005fc5be3SDouglas Gregor isa<ImplicitValueInitExpr>(E->getConstructorArg(0))) { 66105fc5be3SDouglas Gregor // Optimization: since zero initialization will just set the memory 66205fc5be3SDouglas Gregor // to all zeroes, generate a single memset to do it in one shot. 66305fc5be3SDouglas Gregor EmitZeroMemSet(CGF, E->getAllocatedType(), NewPtr, 66405fc5be3SDouglas Gregor AllocSizeWithoutCookie); 66505fc5be3SDouglas Gregor return; 66605fc5be3SDouglas Gregor } else { 667d5202e09SFariborz Jahanian CGF.EmitNewArrayInitializer(E, NewPtr, NumElements); 668d5202e09SFariborz Jahanian return; 669d040e6b2SAnders Carlsson } 670d5202e09SFariborz Jahanian } 67159486a2dSAnders Carlsson 67259486a2dSAnders Carlsson if (CXXConstructorDecl *Ctor = E->getConstructor()) { 673747eb784SDouglas Gregor // Per C++ [expr.new]p15, if we have an initializer, then we're performing 674747eb784SDouglas Gregor // direct initialization. C++ [dcl.init]p5 requires that we 675747eb784SDouglas Gregor // zero-initialize storage if there are no user-declared constructors. 676747eb784SDouglas Gregor if (E->hasInitializer() && 677747eb784SDouglas Gregor !Ctor->getParent()->hasUserDeclaredConstructor() && 678747eb784SDouglas Gregor !Ctor->getParent()->isEmpty()) 679747eb784SDouglas Gregor CGF.EmitNullInitialization(NewPtr, E->getAllocatedType()); 680747eb784SDouglas Gregor 681e11f9ce9SAnders Carlsson CGF.EmitCXXConstructorCall(Ctor, Ctor_Complete, /*ForVirtualBase=*/false, 682e11f9ce9SAnders Carlsson NewPtr, E->constructor_arg_begin(), 68359486a2dSAnders Carlsson E->constructor_arg_end()); 68459486a2dSAnders Carlsson 68559486a2dSAnders Carlsson return; 68659486a2dSAnders Carlsson } 687b66b08efSFariborz Jahanian // We have a POD type. 688b66b08efSFariborz Jahanian if (E->getNumConstructorArgs() == 0) 689b66b08efSFariborz Jahanian return; 69059486a2dSAnders Carlsson 691d5202e09SFariborz Jahanian StoreAnyExprIntoOneUnit(CGF, E, NewPtr); 69259486a2dSAnders Carlsson } 69359486a2dSAnders Carlsson 694fb5e5841SBenjamin Kramer namespace { 6957f9c92a9SJohn McCall /// A utility class for saving an rvalue. 6967f9c92a9SJohn McCall class SavedRValue { 6977f9c92a9SJohn McCall public: 6987f9c92a9SJohn McCall enum Kind { ScalarLiteral, ScalarAddress, 6997f9c92a9SJohn McCall AggregateLiteral, AggregateAddress, 7007f9c92a9SJohn McCall Complex }; 7017f9c92a9SJohn McCall 7027f9c92a9SJohn McCall private: 7037f9c92a9SJohn McCall llvm::Value *Value; 7047f9c92a9SJohn McCall Kind K; 7057f9c92a9SJohn McCall 7067f9c92a9SJohn McCall SavedRValue(llvm::Value *V, Kind K) : Value(V), K(K) {} 7077f9c92a9SJohn McCall 7087f9c92a9SJohn McCall public: 7097f9c92a9SJohn McCall SavedRValue() {} 7107f9c92a9SJohn McCall 7117f9c92a9SJohn McCall static SavedRValue forScalarLiteral(llvm::Value *V) { 7127f9c92a9SJohn McCall return SavedRValue(V, ScalarLiteral); 7137f9c92a9SJohn McCall } 7147f9c92a9SJohn McCall 7157f9c92a9SJohn McCall static SavedRValue forScalarAddress(llvm::Value *Addr) { 7167f9c92a9SJohn McCall return SavedRValue(Addr, ScalarAddress); 7177f9c92a9SJohn McCall } 7187f9c92a9SJohn McCall 7197f9c92a9SJohn McCall static SavedRValue forAggregateLiteral(llvm::Value *V) { 7207f9c92a9SJohn McCall return SavedRValue(V, AggregateLiteral); 7217f9c92a9SJohn McCall } 7227f9c92a9SJohn McCall 7237f9c92a9SJohn McCall static SavedRValue forAggregateAddress(llvm::Value *Addr) { 7247f9c92a9SJohn McCall return SavedRValue(Addr, AggregateAddress); 7257f9c92a9SJohn McCall } 7267f9c92a9SJohn McCall 7277f9c92a9SJohn McCall static SavedRValue forComplexAddress(llvm::Value *Addr) { 7287f9c92a9SJohn McCall return SavedRValue(Addr, Complex); 7297f9c92a9SJohn McCall } 7307f9c92a9SJohn McCall 7317f9c92a9SJohn McCall Kind getKind() const { return K; } 7327f9c92a9SJohn McCall llvm::Value *getValue() const { return Value; } 7337f9c92a9SJohn McCall }; 734fb5e5841SBenjamin Kramer } // end anonymous namespace 7357f9c92a9SJohn McCall 7367f9c92a9SJohn McCall /// Given an r-value, perform the code necessary to make sure that a 7377f9c92a9SJohn McCall /// future RestoreRValue will be able to load the value without 7387f9c92a9SJohn McCall /// domination concerns. 7397f9c92a9SJohn McCall static SavedRValue SaveRValue(CodeGenFunction &CGF, RValue RV) { 7407f9c92a9SJohn McCall if (RV.isScalar()) { 7417f9c92a9SJohn McCall llvm::Value *V = RV.getScalarVal(); 7427f9c92a9SJohn McCall 7437f9c92a9SJohn McCall // These automatically dominate and don't need to be saved. 7447f9c92a9SJohn McCall if (isa<llvm::Constant>(V) || isa<llvm::AllocaInst>(V)) 7457f9c92a9SJohn McCall return SavedRValue::forScalarLiteral(V); 7467f9c92a9SJohn McCall 7477f9c92a9SJohn McCall // Everything else needs an alloca. 7487f9c92a9SJohn McCall llvm::Value *Addr = CGF.CreateTempAlloca(V->getType(), "saved-rvalue"); 7497f9c92a9SJohn McCall CGF.Builder.CreateStore(V, Addr); 7507f9c92a9SJohn McCall return SavedRValue::forScalarAddress(Addr); 7517f9c92a9SJohn McCall } 7527f9c92a9SJohn McCall 7537f9c92a9SJohn McCall if (RV.isComplex()) { 7547f9c92a9SJohn McCall CodeGenFunction::ComplexPairTy V = RV.getComplexVal(); 7557f9c92a9SJohn McCall const llvm::Type *ComplexTy = 7567f9c92a9SJohn McCall llvm::StructType::get(CGF.getLLVMContext(), 7577f9c92a9SJohn McCall V.first->getType(), V.second->getType(), 7587f9c92a9SJohn McCall (void*) 0); 7597f9c92a9SJohn McCall llvm::Value *Addr = CGF.CreateTempAlloca(ComplexTy, "saved-complex"); 7607f9c92a9SJohn McCall CGF.StoreComplexToAddr(V, Addr, /*volatile*/ false); 7617f9c92a9SJohn McCall return SavedRValue::forComplexAddress(Addr); 7627f9c92a9SJohn McCall } 7637f9c92a9SJohn McCall 7647f9c92a9SJohn McCall assert(RV.isAggregate()); 7657f9c92a9SJohn McCall llvm::Value *V = RV.getAggregateAddr(); // TODO: volatile? 7667f9c92a9SJohn McCall if (isa<llvm::Constant>(V) || isa<llvm::AllocaInst>(V)) 7677f9c92a9SJohn McCall return SavedRValue::forAggregateLiteral(V); 7687f9c92a9SJohn McCall 7697f9c92a9SJohn McCall llvm::Value *Addr = CGF.CreateTempAlloca(V->getType(), "saved-rvalue"); 7707f9c92a9SJohn McCall CGF.Builder.CreateStore(V, Addr); 7717f9c92a9SJohn McCall return SavedRValue::forAggregateAddress(Addr); 7727f9c92a9SJohn McCall } 7737f9c92a9SJohn McCall 7747f9c92a9SJohn McCall /// Given a saved r-value produced by SaveRValue, perform the code 7757f9c92a9SJohn McCall /// necessary to restore it to usability at the current insertion 7767f9c92a9SJohn McCall /// point. 7777f9c92a9SJohn McCall static RValue RestoreRValue(CodeGenFunction &CGF, SavedRValue RV) { 7787f9c92a9SJohn McCall switch (RV.getKind()) { 7797f9c92a9SJohn McCall case SavedRValue::ScalarLiteral: 7807f9c92a9SJohn McCall return RValue::get(RV.getValue()); 7817f9c92a9SJohn McCall case SavedRValue::ScalarAddress: 7827f9c92a9SJohn McCall return RValue::get(CGF.Builder.CreateLoad(RV.getValue())); 7837f9c92a9SJohn McCall case SavedRValue::AggregateLiteral: 7847f9c92a9SJohn McCall return RValue::getAggregate(RV.getValue()); 7857f9c92a9SJohn McCall case SavedRValue::AggregateAddress: 7867f9c92a9SJohn McCall return RValue::getAggregate(CGF.Builder.CreateLoad(RV.getValue())); 7877f9c92a9SJohn McCall case SavedRValue::Complex: 7887f9c92a9SJohn McCall return RValue::getComplex(CGF.LoadComplexFromAddr(RV.getValue(), false)); 7897f9c92a9SJohn McCall } 7907f9c92a9SJohn McCall 7917f9c92a9SJohn McCall llvm_unreachable("bad saved r-value kind"); 7927f9c92a9SJohn McCall return RValue(); 7937f9c92a9SJohn McCall } 7947f9c92a9SJohn McCall 795824c2f53SJohn McCall namespace { 796824c2f53SJohn McCall /// A cleanup to call the given 'operator delete' function upon 797824c2f53SJohn McCall /// abnormal exit from a new expression. 798824c2f53SJohn McCall class CallDeleteDuringNew : public EHScopeStack::Cleanup { 799824c2f53SJohn McCall size_t NumPlacementArgs; 800824c2f53SJohn McCall const FunctionDecl *OperatorDelete; 801824c2f53SJohn McCall llvm::Value *Ptr; 802824c2f53SJohn McCall llvm::Value *AllocSize; 803824c2f53SJohn McCall 804824c2f53SJohn McCall RValue *getPlacementArgs() { return reinterpret_cast<RValue*>(this+1); } 805824c2f53SJohn McCall 806824c2f53SJohn McCall public: 807824c2f53SJohn McCall static size_t getExtraSize(size_t NumPlacementArgs) { 808824c2f53SJohn McCall return NumPlacementArgs * sizeof(RValue); 809824c2f53SJohn McCall } 810824c2f53SJohn McCall 811824c2f53SJohn McCall CallDeleteDuringNew(size_t NumPlacementArgs, 812824c2f53SJohn McCall const FunctionDecl *OperatorDelete, 813824c2f53SJohn McCall llvm::Value *Ptr, 814824c2f53SJohn McCall llvm::Value *AllocSize) 815824c2f53SJohn McCall : NumPlacementArgs(NumPlacementArgs), OperatorDelete(OperatorDelete), 816824c2f53SJohn McCall Ptr(Ptr), AllocSize(AllocSize) {} 817824c2f53SJohn McCall 818824c2f53SJohn McCall void setPlacementArg(unsigned I, RValue Arg) { 819824c2f53SJohn McCall assert(I < NumPlacementArgs && "index out of range"); 820824c2f53SJohn McCall getPlacementArgs()[I] = Arg; 821824c2f53SJohn McCall } 822824c2f53SJohn McCall 823824c2f53SJohn McCall void Emit(CodeGenFunction &CGF, bool IsForEH) { 824824c2f53SJohn McCall const FunctionProtoType *FPT 825824c2f53SJohn McCall = OperatorDelete->getType()->getAs<FunctionProtoType>(); 826824c2f53SJohn McCall assert(FPT->getNumArgs() == NumPlacementArgs + 1 || 827d441b1e6SJohn McCall (FPT->getNumArgs() == 2 && NumPlacementArgs == 0)); 828824c2f53SJohn McCall 829824c2f53SJohn McCall CallArgList DeleteArgs; 830824c2f53SJohn McCall 831824c2f53SJohn McCall // The first argument is always a void*. 832824c2f53SJohn McCall FunctionProtoType::arg_type_iterator AI = FPT->arg_type_begin(); 833824c2f53SJohn McCall DeleteArgs.push_back(std::make_pair(RValue::get(Ptr), *AI++)); 834824c2f53SJohn McCall 835824c2f53SJohn McCall // A member 'operator delete' can take an extra 'size_t' argument. 836824c2f53SJohn McCall if (FPT->getNumArgs() == NumPlacementArgs + 2) 837824c2f53SJohn McCall DeleteArgs.push_back(std::make_pair(RValue::get(AllocSize), *AI++)); 838824c2f53SJohn McCall 839824c2f53SJohn McCall // Pass the rest of the arguments, which must match exactly. 840824c2f53SJohn McCall for (unsigned I = 0; I != NumPlacementArgs; ++I) 841824c2f53SJohn McCall DeleteArgs.push_back(std::make_pair(getPlacementArgs()[I], *AI++)); 842824c2f53SJohn McCall 843824c2f53SJohn McCall // Call 'operator delete'. 844824c2f53SJohn McCall CGF.EmitCall(CGF.CGM.getTypes().getFunctionInfo(DeleteArgs, FPT), 845824c2f53SJohn McCall CGF.CGM.GetAddrOfFunction(OperatorDelete), 846824c2f53SJohn McCall ReturnValueSlot(), DeleteArgs, OperatorDelete); 847824c2f53SJohn McCall } 848824c2f53SJohn McCall }; 8497f9c92a9SJohn McCall 8507f9c92a9SJohn McCall /// A cleanup to call the given 'operator delete' function upon 8517f9c92a9SJohn McCall /// abnormal exit from a new expression when the new expression is 8527f9c92a9SJohn McCall /// conditional. 8537f9c92a9SJohn McCall class CallDeleteDuringConditionalNew : public EHScopeStack::Cleanup { 8547f9c92a9SJohn McCall size_t NumPlacementArgs; 8557f9c92a9SJohn McCall const FunctionDecl *OperatorDelete; 8567f9c92a9SJohn McCall SavedRValue Ptr; 8577f9c92a9SJohn McCall SavedRValue AllocSize; 8587f9c92a9SJohn McCall 8597f9c92a9SJohn McCall SavedRValue *getPlacementArgs() { 8607f9c92a9SJohn McCall return reinterpret_cast<SavedRValue*>(this+1); 8617f9c92a9SJohn McCall } 8627f9c92a9SJohn McCall 8637f9c92a9SJohn McCall public: 8647f9c92a9SJohn McCall static size_t getExtraSize(size_t NumPlacementArgs) { 8657f9c92a9SJohn McCall return NumPlacementArgs * sizeof(SavedRValue); 8667f9c92a9SJohn McCall } 8677f9c92a9SJohn McCall 8687f9c92a9SJohn McCall CallDeleteDuringConditionalNew(size_t NumPlacementArgs, 8697f9c92a9SJohn McCall const FunctionDecl *OperatorDelete, 8707f9c92a9SJohn McCall SavedRValue Ptr, 8717f9c92a9SJohn McCall SavedRValue AllocSize) 8727f9c92a9SJohn McCall : NumPlacementArgs(NumPlacementArgs), OperatorDelete(OperatorDelete), 8737f9c92a9SJohn McCall Ptr(Ptr), AllocSize(AllocSize) {} 8747f9c92a9SJohn McCall 8757f9c92a9SJohn McCall void setPlacementArg(unsigned I, SavedRValue Arg) { 8767f9c92a9SJohn McCall assert(I < NumPlacementArgs && "index out of range"); 8777f9c92a9SJohn McCall getPlacementArgs()[I] = Arg; 8787f9c92a9SJohn McCall } 8797f9c92a9SJohn McCall 8807f9c92a9SJohn McCall void Emit(CodeGenFunction &CGF, bool IsForEH) { 8817f9c92a9SJohn McCall const FunctionProtoType *FPT 8827f9c92a9SJohn McCall = OperatorDelete->getType()->getAs<FunctionProtoType>(); 8837f9c92a9SJohn McCall assert(FPT->getNumArgs() == NumPlacementArgs + 1 || 8847f9c92a9SJohn McCall (FPT->getNumArgs() == 2 && NumPlacementArgs == 0)); 8857f9c92a9SJohn McCall 8867f9c92a9SJohn McCall CallArgList DeleteArgs; 8877f9c92a9SJohn McCall 8887f9c92a9SJohn McCall // The first argument is always a void*. 8897f9c92a9SJohn McCall FunctionProtoType::arg_type_iterator AI = FPT->arg_type_begin(); 8907f9c92a9SJohn McCall DeleteArgs.push_back(std::make_pair(RestoreRValue(CGF, Ptr), *AI++)); 8917f9c92a9SJohn McCall 8927f9c92a9SJohn McCall // A member 'operator delete' can take an extra 'size_t' argument. 8937f9c92a9SJohn McCall if (FPT->getNumArgs() == NumPlacementArgs + 2) { 8947f9c92a9SJohn McCall RValue RV = RestoreRValue(CGF, AllocSize); 8957f9c92a9SJohn McCall DeleteArgs.push_back(std::make_pair(RV, *AI++)); 8967f9c92a9SJohn McCall } 8977f9c92a9SJohn McCall 8987f9c92a9SJohn McCall // Pass the rest of the arguments, which must match exactly. 8997f9c92a9SJohn McCall for (unsigned I = 0; I != NumPlacementArgs; ++I) { 9007f9c92a9SJohn McCall RValue RV = RestoreRValue(CGF, getPlacementArgs()[I]); 9017f9c92a9SJohn McCall DeleteArgs.push_back(std::make_pair(RV, *AI++)); 9027f9c92a9SJohn McCall } 9037f9c92a9SJohn McCall 9047f9c92a9SJohn McCall // Call 'operator delete'. 9057f9c92a9SJohn McCall CGF.EmitCall(CGF.CGM.getTypes().getFunctionInfo(DeleteArgs, FPT), 9067f9c92a9SJohn McCall CGF.CGM.GetAddrOfFunction(OperatorDelete), 9077f9c92a9SJohn McCall ReturnValueSlot(), DeleteArgs, OperatorDelete); 9087f9c92a9SJohn McCall } 9097f9c92a9SJohn McCall }; 9107f9c92a9SJohn McCall } 9117f9c92a9SJohn McCall 9127f9c92a9SJohn McCall /// Enter a cleanup to call 'operator delete' if the initializer in a 9137f9c92a9SJohn McCall /// new-expression throws. 9147f9c92a9SJohn McCall static void EnterNewDeleteCleanup(CodeGenFunction &CGF, 9157f9c92a9SJohn McCall const CXXNewExpr *E, 9167f9c92a9SJohn McCall llvm::Value *NewPtr, 9177f9c92a9SJohn McCall llvm::Value *AllocSize, 9187f9c92a9SJohn McCall const CallArgList &NewArgs) { 9197f9c92a9SJohn McCall // If we're not inside a conditional branch, then the cleanup will 9207f9c92a9SJohn McCall // dominate and we can do the easier (and more efficient) thing. 9217f9c92a9SJohn McCall if (!CGF.isInConditionalBranch()) { 9227f9c92a9SJohn McCall CallDeleteDuringNew *Cleanup = CGF.EHStack 9237f9c92a9SJohn McCall .pushCleanupWithExtra<CallDeleteDuringNew>(EHCleanup, 9247f9c92a9SJohn McCall E->getNumPlacementArgs(), 9257f9c92a9SJohn McCall E->getOperatorDelete(), 9267f9c92a9SJohn McCall NewPtr, AllocSize); 9277f9c92a9SJohn McCall for (unsigned I = 0, N = E->getNumPlacementArgs(); I != N; ++I) 9287f9c92a9SJohn McCall Cleanup->setPlacementArg(I, NewArgs[I+1].first); 9297f9c92a9SJohn McCall 9307f9c92a9SJohn McCall return; 9317f9c92a9SJohn McCall } 9327f9c92a9SJohn McCall 9337f9c92a9SJohn McCall // Otherwise, we need to save all this stuff. 9347f9c92a9SJohn McCall SavedRValue SavedNewPtr = SaveRValue(CGF, RValue::get(NewPtr)); 9357f9c92a9SJohn McCall SavedRValue SavedAllocSize = SaveRValue(CGF, RValue::get(AllocSize)); 9367f9c92a9SJohn McCall 9377f9c92a9SJohn McCall CallDeleteDuringConditionalNew *Cleanup = CGF.EHStack 9387f9c92a9SJohn McCall .pushCleanupWithExtra<CallDeleteDuringConditionalNew>(InactiveEHCleanup, 9397f9c92a9SJohn McCall E->getNumPlacementArgs(), 9407f9c92a9SJohn McCall E->getOperatorDelete(), 9417f9c92a9SJohn McCall SavedNewPtr, 9427f9c92a9SJohn McCall SavedAllocSize); 9437f9c92a9SJohn McCall for (unsigned I = 0, N = E->getNumPlacementArgs(); I != N; ++I) 9447f9c92a9SJohn McCall Cleanup->setPlacementArg(I, SaveRValue(CGF, NewArgs[I+1].first)); 9457f9c92a9SJohn McCall 9467f9c92a9SJohn McCall CGF.ActivateCleanupBlock(CGF.EHStack.stable_begin()); 947824c2f53SJohn McCall } 948824c2f53SJohn McCall 94959486a2dSAnders Carlsson llvm::Value *CodeGenFunction::EmitCXXNewExpr(const CXXNewExpr *E) { 95059486a2dSAnders Carlsson QualType AllocType = E->getAllocatedType(); 9518ed55a54SJohn McCall if (AllocType->isArrayType()) 9528ed55a54SJohn McCall while (const ArrayType *AType = getContext().getAsArrayType(AllocType)) 9538ed55a54SJohn McCall AllocType = AType->getElementType(); 9548ed55a54SJohn McCall 95559486a2dSAnders Carlsson FunctionDecl *NewFD = E->getOperatorNew(); 95659486a2dSAnders Carlsson const FunctionProtoType *NewFTy = NewFD->getType()->getAs<FunctionProtoType>(); 95759486a2dSAnders Carlsson 95859486a2dSAnders Carlsson CallArgList NewArgs; 95959486a2dSAnders Carlsson 96059486a2dSAnders Carlsson // The allocation size is the first argument. 96159486a2dSAnders Carlsson QualType SizeTy = getContext().getSizeType(); 96259486a2dSAnders Carlsson 96359486a2dSAnders Carlsson llvm::Value *NumElements = 0; 96405fc5be3SDouglas Gregor llvm::Value *AllocSizeWithoutCookie = 0; 96547b4629bSFariborz Jahanian llvm::Value *AllocSize = EmitCXXNewAllocSize(getContext(), 96605fc5be3SDouglas Gregor *this, E, NumElements, 96705fc5be3SDouglas Gregor AllocSizeWithoutCookie); 96859486a2dSAnders Carlsson 96959486a2dSAnders Carlsson NewArgs.push_back(std::make_pair(RValue::get(AllocSize), SizeTy)); 97059486a2dSAnders Carlsson 97159486a2dSAnders Carlsson // Emit the rest of the arguments. 97259486a2dSAnders Carlsson // FIXME: Ideally, this should just use EmitCallArgs. 97359486a2dSAnders Carlsson CXXNewExpr::const_arg_iterator NewArg = E->placement_arg_begin(); 97459486a2dSAnders Carlsson 97559486a2dSAnders Carlsson // First, use the types from the function type. 97659486a2dSAnders Carlsson // We start at 1 here because the first argument (the allocation size) 97759486a2dSAnders Carlsson // has already been emitted. 97859486a2dSAnders Carlsson for (unsigned i = 1, e = NewFTy->getNumArgs(); i != e; ++i, ++NewArg) { 97959486a2dSAnders Carlsson QualType ArgType = NewFTy->getArgType(i); 98059486a2dSAnders Carlsson 98159486a2dSAnders Carlsson assert(getContext().getCanonicalType(ArgType.getNonReferenceType()). 98259486a2dSAnders Carlsson getTypePtr() == 98359486a2dSAnders Carlsson getContext().getCanonicalType(NewArg->getType()).getTypePtr() && 98459486a2dSAnders Carlsson "type mismatch in call argument!"); 98559486a2dSAnders Carlsson 98659486a2dSAnders Carlsson NewArgs.push_back(std::make_pair(EmitCallArg(*NewArg, ArgType), 98759486a2dSAnders Carlsson ArgType)); 98859486a2dSAnders Carlsson 98959486a2dSAnders Carlsson } 99059486a2dSAnders Carlsson 99159486a2dSAnders Carlsson // Either we've emitted all the call args, or we have a call to a 99259486a2dSAnders Carlsson // variadic function. 99359486a2dSAnders Carlsson assert((NewArg == E->placement_arg_end() || NewFTy->isVariadic()) && 99459486a2dSAnders Carlsson "Extra arguments in non-variadic function!"); 99559486a2dSAnders Carlsson 99659486a2dSAnders Carlsson // If we still have any arguments, emit them using the type of the argument. 99759486a2dSAnders Carlsson for (CXXNewExpr::const_arg_iterator NewArgEnd = E->placement_arg_end(); 99859486a2dSAnders Carlsson NewArg != NewArgEnd; ++NewArg) { 99959486a2dSAnders Carlsson QualType ArgType = NewArg->getType(); 100059486a2dSAnders Carlsson NewArgs.push_back(std::make_pair(EmitCallArg(*NewArg, ArgType), 100159486a2dSAnders Carlsson ArgType)); 100259486a2dSAnders Carlsson } 100359486a2dSAnders Carlsson 100459486a2dSAnders Carlsson // Emit the call to new. 100559486a2dSAnders Carlsson RValue RV = 1006ab26cfa5SJohn McCall EmitCall(CGM.getTypes().getFunctionInfo(NewArgs, NewFTy), 100761a401caSAnders Carlsson CGM.GetAddrOfFunction(NewFD), ReturnValueSlot(), NewArgs, NewFD); 100859486a2dSAnders Carlsson 100959486a2dSAnders Carlsson // If an allocation function is declared with an empty exception specification 101059486a2dSAnders Carlsson // it returns null to indicate failure to allocate storage. [expr.new]p13. 101159486a2dSAnders Carlsson // (We don't need to check for null when there's no new initializer and 101259486a2dSAnders Carlsson // we're allocating a POD type). 101359486a2dSAnders Carlsson bool NullCheckResult = NewFTy->hasEmptyExceptionSpec() && 101459486a2dSAnders Carlsson !(AllocType->isPODType() && !E->hasInitializer()); 101559486a2dSAnders Carlsson 10168ed55a54SJohn McCall llvm::BasicBlock *NullCheckSource = 0; 101759486a2dSAnders Carlsson llvm::BasicBlock *NewNotNull = 0; 101859486a2dSAnders Carlsson llvm::BasicBlock *NewEnd = 0; 101959486a2dSAnders Carlsson 102059486a2dSAnders Carlsson llvm::Value *NewPtr = RV.getScalarVal(); 10218ed55a54SJohn McCall unsigned AS = cast<llvm::PointerType>(NewPtr->getType())->getAddressSpace(); 102259486a2dSAnders Carlsson 102359486a2dSAnders Carlsson if (NullCheckResult) { 10248ed55a54SJohn McCall NullCheckSource = Builder.GetInsertBlock(); 102559486a2dSAnders Carlsson NewNotNull = createBasicBlock("new.notnull"); 102659486a2dSAnders Carlsson NewEnd = createBasicBlock("new.end"); 102759486a2dSAnders Carlsson 10288ed55a54SJohn McCall llvm::Value *IsNull = Builder.CreateIsNull(NewPtr, "new.isnull"); 10298ed55a54SJohn McCall Builder.CreateCondBr(IsNull, NewEnd, NewNotNull); 103059486a2dSAnders Carlsson EmitBlock(NewNotNull); 103159486a2dSAnders Carlsson } 103259486a2dSAnders Carlsson 10338ed55a54SJohn McCall assert((AllocSize == AllocSizeWithoutCookie) == 10348ed55a54SJohn McCall CalculateCookiePadding(*this, E).isZero()); 10358ed55a54SJohn McCall if (AllocSize != AllocSizeWithoutCookie) { 10368ed55a54SJohn McCall assert(E->isArray()); 10378ed55a54SJohn McCall NewPtr = CGM.getCXXABI().InitializeArrayCookie(CGF, NewPtr, NumElements, 10388ed55a54SJohn McCall AllocType); 103959486a2dSAnders Carlsson } 104059486a2dSAnders Carlsson 1041824c2f53SJohn McCall // If there's an operator delete, enter a cleanup to call it if an 1042824c2f53SJohn McCall // exception is thrown. 1043824c2f53SJohn McCall EHScopeStack::stable_iterator CallOperatorDelete; 1044824c2f53SJohn McCall if (E->getOperatorDelete()) { 10457f9c92a9SJohn McCall EnterNewDeleteCleanup(*this, E, NewPtr, AllocSize, NewArgs); 1046824c2f53SJohn McCall CallOperatorDelete = EHStack.stable_begin(); 1047824c2f53SJohn McCall } 1048824c2f53SJohn McCall 1049040ad500SDouglas Gregor const llvm::Type *ElementPtrTy 1050040ad500SDouglas Gregor = ConvertTypeForMem(AllocType)->getPointerTo(AS); 10518ed55a54SJohn McCall NewPtr = Builder.CreateBitCast(NewPtr, ElementPtrTy); 1052824c2f53SJohn McCall 10538ed55a54SJohn McCall if (E->isArray()) { 105405fc5be3SDouglas Gregor EmitNewInitializer(*this, E, NewPtr, NumElements, AllocSizeWithoutCookie); 10558ed55a54SJohn McCall 10568ed55a54SJohn McCall // NewPtr is a pointer to the base element type. If we're 10578ed55a54SJohn McCall // allocating an array of arrays, we'll need to cast back to the 10588ed55a54SJohn McCall // array pointer type. 1059040ad500SDouglas Gregor const llvm::Type *ResultTy = ConvertTypeForMem(E->getType()); 10608ed55a54SJohn McCall if (NewPtr->getType() != ResultTy) 10618ed55a54SJohn McCall NewPtr = Builder.CreateBitCast(NewPtr, ResultTy); 10628ed55a54SJohn McCall } else { 106305fc5be3SDouglas Gregor EmitNewInitializer(*this, E, NewPtr, NumElements, AllocSizeWithoutCookie); 106447b4629bSFariborz Jahanian } 106559486a2dSAnders Carlsson 1066824c2f53SJohn McCall // Deactivate the 'operator delete' cleanup if we finished 1067824c2f53SJohn McCall // initialization. 1068824c2f53SJohn McCall if (CallOperatorDelete.isValid()) 1069824c2f53SJohn McCall DeactivateCleanupBlock(CallOperatorDelete); 1070824c2f53SJohn McCall 107159486a2dSAnders Carlsson if (NullCheckResult) { 107259486a2dSAnders Carlsson Builder.CreateBr(NewEnd); 10738ed55a54SJohn McCall llvm::BasicBlock *NotNullSource = Builder.GetInsertBlock(); 107459486a2dSAnders Carlsson EmitBlock(NewEnd); 107559486a2dSAnders Carlsson 107659486a2dSAnders Carlsson llvm::PHINode *PHI = Builder.CreatePHI(NewPtr->getType()); 107759486a2dSAnders Carlsson PHI->reserveOperandSpace(2); 10788ed55a54SJohn McCall PHI->addIncoming(NewPtr, NotNullSource); 10798ed55a54SJohn McCall PHI->addIncoming(llvm::Constant::getNullValue(NewPtr->getType()), 10808ed55a54SJohn McCall NullCheckSource); 108159486a2dSAnders Carlsson 108259486a2dSAnders Carlsson NewPtr = PHI; 108359486a2dSAnders Carlsson } 108459486a2dSAnders Carlsson 108559486a2dSAnders Carlsson return NewPtr; 108659486a2dSAnders Carlsson } 108759486a2dSAnders Carlsson 108859486a2dSAnders Carlsson void CodeGenFunction::EmitDeleteCall(const FunctionDecl *DeleteFD, 108959486a2dSAnders Carlsson llvm::Value *Ptr, 109059486a2dSAnders Carlsson QualType DeleteTy) { 10918ed55a54SJohn McCall assert(DeleteFD->getOverloadedOperator() == OO_Delete); 10928ed55a54SJohn McCall 109359486a2dSAnders Carlsson const FunctionProtoType *DeleteFTy = 109459486a2dSAnders Carlsson DeleteFD->getType()->getAs<FunctionProtoType>(); 109559486a2dSAnders Carlsson 109659486a2dSAnders Carlsson CallArgList DeleteArgs; 109759486a2dSAnders Carlsson 109821122cf6SAnders Carlsson // Check if we need to pass the size to the delete operator. 109921122cf6SAnders Carlsson llvm::Value *Size = 0; 110021122cf6SAnders Carlsson QualType SizeTy; 110121122cf6SAnders Carlsson if (DeleteFTy->getNumArgs() == 2) { 110221122cf6SAnders Carlsson SizeTy = DeleteFTy->getArgType(1); 11037df3cbebSKen Dyck CharUnits DeleteTypeSize = getContext().getTypeSizeInChars(DeleteTy); 11047df3cbebSKen Dyck Size = llvm::ConstantInt::get(ConvertType(SizeTy), 11057df3cbebSKen Dyck DeleteTypeSize.getQuantity()); 110621122cf6SAnders Carlsson } 110721122cf6SAnders Carlsson 110859486a2dSAnders Carlsson QualType ArgTy = DeleteFTy->getArgType(0); 110959486a2dSAnders Carlsson llvm::Value *DeletePtr = Builder.CreateBitCast(Ptr, ConvertType(ArgTy)); 111059486a2dSAnders Carlsson DeleteArgs.push_back(std::make_pair(RValue::get(DeletePtr), ArgTy)); 111159486a2dSAnders Carlsson 111221122cf6SAnders Carlsson if (Size) 111359486a2dSAnders Carlsson DeleteArgs.push_back(std::make_pair(RValue::get(Size), SizeTy)); 111459486a2dSAnders Carlsson 111559486a2dSAnders Carlsson // Emit the call to delete. 1116ab26cfa5SJohn McCall EmitCall(CGM.getTypes().getFunctionInfo(DeleteArgs, DeleteFTy), 111761a401caSAnders Carlsson CGM.GetAddrOfFunction(DeleteFD), ReturnValueSlot(), 111859486a2dSAnders Carlsson DeleteArgs, DeleteFD); 111959486a2dSAnders Carlsson } 112059486a2dSAnders Carlsson 11218ed55a54SJohn McCall namespace { 11228ed55a54SJohn McCall /// Calls the given 'operator delete' on a single object. 11238ed55a54SJohn McCall struct CallObjectDelete : EHScopeStack::Cleanup { 11248ed55a54SJohn McCall llvm::Value *Ptr; 11258ed55a54SJohn McCall const FunctionDecl *OperatorDelete; 11268ed55a54SJohn McCall QualType ElementType; 11278ed55a54SJohn McCall 11288ed55a54SJohn McCall CallObjectDelete(llvm::Value *Ptr, 11298ed55a54SJohn McCall const FunctionDecl *OperatorDelete, 11308ed55a54SJohn McCall QualType ElementType) 11318ed55a54SJohn McCall : Ptr(Ptr), OperatorDelete(OperatorDelete), ElementType(ElementType) {} 11328ed55a54SJohn McCall 11338ed55a54SJohn McCall void Emit(CodeGenFunction &CGF, bool IsForEH) { 11348ed55a54SJohn McCall CGF.EmitDeleteCall(OperatorDelete, Ptr, ElementType); 11358ed55a54SJohn McCall } 11368ed55a54SJohn McCall }; 11378ed55a54SJohn McCall } 11388ed55a54SJohn McCall 11398ed55a54SJohn McCall /// Emit the code for deleting a single object. 11408ed55a54SJohn McCall static void EmitObjectDelete(CodeGenFunction &CGF, 11418ed55a54SJohn McCall const FunctionDecl *OperatorDelete, 11428ed55a54SJohn McCall llvm::Value *Ptr, 11438ed55a54SJohn McCall QualType ElementType) { 11448ed55a54SJohn McCall // Find the destructor for the type, if applicable. If the 11458ed55a54SJohn McCall // destructor is virtual, we'll just emit the vcall and return. 11468ed55a54SJohn McCall const CXXDestructorDecl *Dtor = 0; 11478ed55a54SJohn McCall if (const RecordType *RT = ElementType->getAs<RecordType>()) { 11488ed55a54SJohn McCall CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl()); 11498ed55a54SJohn McCall if (!RD->hasTrivialDestructor()) { 11508ed55a54SJohn McCall Dtor = RD->getDestructor(); 11518ed55a54SJohn McCall 11528ed55a54SJohn McCall if (Dtor->isVirtual()) { 11538ed55a54SJohn McCall const llvm::Type *Ty = 11540d635f53SJohn McCall CGF.getTypes().GetFunctionType(CGF.getTypes().getFunctionInfo(Dtor, 11550d635f53SJohn McCall Dtor_Complete), 11568ed55a54SJohn McCall /*isVariadic=*/false); 11578ed55a54SJohn McCall 11588ed55a54SJohn McCall llvm::Value *Callee 11598ed55a54SJohn McCall = CGF.BuildVirtualCall(Dtor, Dtor_Deleting, Ptr, Ty); 11608ed55a54SJohn McCall CGF.EmitCXXMemberCall(Dtor, Callee, ReturnValueSlot(), Ptr, /*VTT=*/0, 11618ed55a54SJohn McCall 0, 0); 11628ed55a54SJohn McCall 11638ed55a54SJohn McCall // The dtor took care of deleting the object. 11648ed55a54SJohn McCall return; 11658ed55a54SJohn McCall } 11668ed55a54SJohn McCall } 11678ed55a54SJohn McCall } 11688ed55a54SJohn McCall 11698ed55a54SJohn McCall // Make sure that we call delete even if the dtor throws. 11708ed55a54SJohn McCall CGF.EHStack.pushCleanup<CallObjectDelete>(NormalAndEHCleanup, 11718ed55a54SJohn McCall Ptr, OperatorDelete, ElementType); 11728ed55a54SJohn McCall 11738ed55a54SJohn McCall if (Dtor) 11748ed55a54SJohn McCall CGF.EmitCXXDestructorCall(Dtor, Dtor_Complete, 11758ed55a54SJohn McCall /*ForVirtualBase=*/false, Ptr); 11768ed55a54SJohn McCall 11778ed55a54SJohn McCall CGF.PopCleanupBlock(); 11788ed55a54SJohn McCall } 11798ed55a54SJohn McCall 11808ed55a54SJohn McCall namespace { 11818ed55a54SJohn McCall /// Calls the given 'operator delete' on an array of objects. 11828ed55a54SJohn McCall struct CallArrayDelete : EHScopeStack::Cleanup { 11838ed55a54SJohn McCall llvm::Value *Ptr; 11848ed55a54SJohn McCall const FunctionDecl *OperatorDelete; 11858ed55a54SJohn McCall llvm::Value *NumElements; 11868ed55a54SJohn McCall QualType ElementType; 11878ed55a54SJohn McCall CharUnits CookieSize; 11888ed55a54SJohn McCall 11898ed55a54SJohn McCall CallArrayDelete(llvm::Value *Ptr, 11908ed55a54SJohn McCall const FunctionDecl *OperatorDelete, 11918ed55a54SJohn McCall llvm::Value *NumElements, 11928ed55a54SJohn McCall QualType ElementType, 11938ed55a54SJohn McCall CharUnits CookieSize) 11948ed55a54SJohn McCall : Ptr(Ptr), OperatorDelete(OperatorDelete), NumElements(NumElements), 11958ed55a54SJohn McCall ElementType(ElementType), CookieSize(CookieSize) {} 11968ed55a54SJohn McCall 11978ed55a54SJohn McCall void Emit(CodeGenFunction &CGF, bool IsForEH) { 11988ed55a54SJohn McCall const FunctionProtoType *DeleteFTy = 11998ed55a54SJohn McCall OperatorDelete->getType()->getAs<FunctionProtoType>(); 12008ed55a54SJohn McCall assert(DeleteFTy->getNumArgs() == 1 || DeleteFTy->getNumArgs() == 2); 12018ed55a54SJohn McCall 12028ed55a54SJohn McCall CallArgList Args; 12038ed55a54SJohn McCall 12048ed55a54SJohn McCall // Pass the pointer as the first argument. 12058ed55a54SJohn McCall QualType VoidPtrTy = DeleteFTy->getArgType(0); 12068ed55a54SJohn McCall llvm::Value *DeletePtr 12078ed55a54SJohn McCall = CGF.Builder.CreateBitCast(Ptr, CGF.ConvertType(VoidPtrTy)); 12088ed55a54SJohn McCall Args.push_back(std::make_pair(RValue::get(DeletePtr), VoidPtrTy)); 12098ed55a54SJohn McCall 12108ed55a54SJohn McCall // Pass the original requested size as the second argument. 12118ed55a54SJohn McCall if (DeleteFTy->getNumArgs() == 2) { 12128ed55a54SJohn McCall QualType size_t = DeleteFTy->getArgType(1); 12138ed55a54SJohn McCall const llvm::IntegerType *SizeTy 12148ed55a54SJohn McCall = cast<llvm::IntegerType>(CGF.ConvertType(size_t)); 12158ed55a54SJohn McCall 12168ed55a54SJohn McCall CharUnits ElementTypeSize = 12178ed55a54SJohn McCall CGF.CGM.getContext().getTypeSizeInChars(ElementType); 12188ed55a54SJohn McCall 12198ed55a54SJohn McCall // The size of an element, multiplied by the number of elements. 12208ed55a54SJohn McCall llvm::Value *Size 12218ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, ElementTypeSize.getQuantity()); 12228ed55a54SJohn McCall Size = CGF.Builder.CreateMul(Size, NumElements); 12238ed55a54SJohn McCall 12248ed55a54SJohn McCall // Plus the size of the cookie if applicable. 12258ed55a54SJohn McCall if (!CookieSize.isZero()) { 12268ed55a54SJohn McCall llvm::Value *CookieSizeV 12278ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, CookieSize.getQuantity()); 12288ed55a54SJohn McCall Size = CGF.Builder.CreateAdd(Size, CookieSizeV); 12298ed55a54SJohn McCall } 12308ed55a54SJohn McCall 12318ed55a54SJohn McCall Args.push_back(std::make_pair(RValue::get(Size), size_t)); 12328ed55a54SJohn McCall } 12338ed55a54SJohn McCall 12348ed55a54SJohn McCall // Emit the call to delete. 12358ed55a54SJohn McCall CGF.EmitCall(CGF.getTypes().getFunctionInfo(Args, DeleteFTy), 12368ed55a54SJohn McCall CGF.CGM.GetAddrOfFunction(OperatorDelete), 12378ed55a54SJohn McCall ReturnValueSlot(), Args, OperatorDelete); 12388ed55a54SJohn McCall } 12398ed55a54SJohn McCall }; 12408ed55a54SJohn McCall } 12418ed55a54SJohn McCall 12428ed55a54SJohn McCall /// Emit the code for deleting an array of objects. 12438ed55a54SJohn McCall static void EmitArrayDelete(CodeGenFunction &CGF, 12448ed55a54SJohn McCall const FunctionDecl *OperatorDelete, 12458ed55a54SJohn McCall llvm::Value *Ptr, 12468ed55a54SJohn McCall QualType ElementType) { 12478ed55a54SJohn McCall llvm::Value *NumElements = 0; 12488ed55a54SJohn McCall llvm::Value *AllocatedPtr = 0; 12498ed55a54SJohn McCall CharUnits CookieSize; 12508ed55a54SJohn McCall CGF.CGM.getCXXABI().ReadArrayCookie(CGF, Ptr, ElementType, 12518ed55a54SJohn McCall NumElements, AllocatedPtr, CookieSize); 12528ed55a54SJohn McCall 12538ed55a54SJohn McCall assert(AllocatedPtr && "ReadArrayCookie didn't set AllocatedPtr"); 12548ed55a54SJohn McCall 12558ed55a54SJohn McCall // Make sure that we call delete even if one of the dtors throws. 12568ed55a54SJohn McCall CGF.EHStack.pushCleanup<CallArrayDelete>(NormalAndEHCleanup, 12578ed55a54SJohn McCall AllocatedPtr, OperatorDelete, 12588ed55a54SJohn McCall NumElements, ElementType, 12598ed55a54SJohn McCall CookieSize); 12608ed55a54SJohn McCall 12618ed55a54SJohn McCall if (const CXXRecordDecl *RD = ElementType->getAsCXXRecordDecl()) { 12628ed55a54SJohn McCall if (!RD->hasTrivialDestructor()) { 12638ed55a54SJohn McCall assert(NumElements && "ReadArrayCookie didn't find element count" 12648ed55a54SJohn McCall " for a class with destructor"); 12658ed55a54SJohn McCall CGF.EmitCXXAggrDestructorCall(RD->getDestructor(), NumElements, Ptr); 12668ed55a54SJohn McCall } 12678ed55a54SJohn McCall } 12688ed55a54SJohn McCall 12698ed55a54SJohn McCall CGF.PopCleanupBlock(); 12708ed55a54SJohn McCall } 12718ed55a54SJohn McCall 127259486a2dSAnders Carlsson void CodeGenFunction::EmitCXXDeleteExpr(const CXXDeleteExpr *E) { 127359486a2dSAnders Carlsson 127459486a2dSAnders Carlsson // Get at the argument before we performed the implicit conversion 127559486a2dSAnders Carlsson // to void*. 127659486a2dSAnders Carlsson const Expr *Arg = E->getArgument(); 127759486a2dSAnders Carlsson while (const ImplicitCastExpr *ICE = dyn_cast<ImplicitCastExpr>(Arg)) { 1278e302792bSJohn McCall if (ICE->getCastKind() != CK_UserDefinedConversion && 127959486a2dSAnders Carlsson ICE->getType()->isVoidPointerType()) 128059486a2dSAnders Carlsson Arg = ICE->getSubExpr(); 128159486a2dSAnders Carlsson else 128259486a2dSAnders Carlsson break; 128359486a2dSAnders Carlsson } 128459486a2dSAnders Carlsson 128559486a2dSAnders Carlsson llvm::Value *Ptr = EmitScalarExpr(Arg); 128659486a2dSAnders Carlsson 128759486a2dSAnders Carlsson // Null check the pointer. 128859486a2dSAnders Carlsson llvm::BasicBlock *DeleteNotNull = createBasicBlock("delete.notnull"); 128959486a2dSAnders Carlsson llvm::BasicBlock *DeleteEnd = createBasicBlock("delete.end"); 129059486a2dSAnders Carlsson 129159486a2dSAnders Carlsson llvm::Value *IsNull = 129259486a2dSAnders Carlsson Builder.CreateICmpEQ(Ptr, llvm::Constant::getNullValue(Ptr->getType()), 129359486a2dSAnders Carlsson "isnull"); 129459486a2dSAnders Carlsson 129559486a2dSAnders Carlsson Builder.CreateCondBr(IsNull, DeleteEnd, DeleteNotNull); 129659486a2dSAnders Carlsson EmitBlock(DeleteNotNull); 129759486a2dSAnders Carlsson 12988ed55a54SJohn McCall // We might be deleting a pointer to array. If so, GEP down to the 12998ed55a54SJohn McCall // first non-array element. 13008ed55a54SJohn McCall // (this assumes that A(*)[3][7] is converted to [3 x [7 x %A]]*) 13018ed55a54SJohn McCall QualType DeleteTy = Arg->getType()->getAs<PointerType>()->getPointeeType(); 13028ed55a54SJohn McCall if (DeleteTy->isConstantArrayType()) { 13038ed55a54SJohn McCall llvm::Value *Zero = Builder.getInt32(0); 13048ed55a54SJohn McCall llvm::SmallVector<llvm::Value*,8> GEP; 130559486a2dSAnders Carlsson 13068ed55a54SJohn McCall GEP.push_back(Zero); // point at the outermost array 13078ed55a54SJohn McCall 13088ed55a54SJohn McCall // For each layer of array type we're pointing at: 13098ed55a54SJohn McCall while (const ConstantArrayType *Arr 13108ed55a54SJohn McCall = getContext().getAsConstantArrayType(DeleteTy)) { 13118ed55a54SJohn McCall // 1. Unpeel the array type. 13128ed55a54SJohn McCall DeleteTy = Arr->getElementType(); 13138ed55a54SJohn McCall 13148ed55a54SJohn McCall // 2. GEP to the first element of the array. 13158ed55a54SJohn McCall GEP.push_back(Zero); 13168ed55a54SJohn McCall } 13178ed55a54SJohn McCall 13188ed55a54SJohn McCall Ptr = Builder.CreateInBoundsGEP(Ptr, GEP.begin(), GEP.end(), "del.first"); 13198ed55a54SJohn McCall } 13208ed55a54SJohn McCall 132104f36218SDouglas Gregor assert(ConvertTypeForMem(DeleteTy) == 132204f36218SDouglas Gregor cast<llvm::PointerType>(Ptr->getType())->getElementType()); 13238ed55a54SJohn McCall 132459486a2dSAnders Carlsson if (E->isArrayForm()) { 13258ed55a54SJohn McCall EmitArrayDelete(*this, E->getOperatorDelete(), Ptr, DeleteTy); 13268ed55a54SJohn McCall } else { 13278ed55a54SJohn McCall EmitObjectDelete(*this, E->getOperatorDelete(), Ptr, DeleteTy); 132859486a2dSAnders Carlsson } 132959486a2dSAnders Carlsson 133059486a2dSAnders Carlsson EmitBlock(DeleteEnd); 133159486a2dSAnders Carlsson } 133259486a2dSAnders Carlsson 133359486a2dSAnders Carlsson llvm::Value * CodeGenFunction::EmitCXXTypeidExpr(const CXXTypeidExpr *E) { 133459486a2dSAnders Carlsson QualType Ty = E->getType(); 133559486a2dSAnders Carlsson const llvm::Type *LTy = ConvertType(Ty)->getPointerTo(); 1336fd7dfeb7SAnders Carlsson 13373f4336cbSAnders Carlsson if (E->isTypeOperand()) { 13383f4336cbSAnders Carlsson llvm::Constant *TypeInfo = 13393f4336cbSAnders Carlsson CGM.GetAddrOfRTTIDescriptor(E->getTypeOperand()); 13403f4336cbSAnders Carlsson return Builder.CreateBitCast(TypeInfo, LTy); 13413f4336cbSAnders Carlsson } 1342fd7dfeb7SAnders Carlsson 134359486a2dSAnders Carlsson Expr *subE = E->getExprOperand(); 134459486a2dSAnders Carlsson Ty = subE->getType(); 134559486a2dSAnders Carlsson CanQualType CanTy = CGM.getContext().getCanonicalType(Ty); 134659486a2dSAnders Carlsson Ty = CanTy.getUnqualifiedType().getNonReferenceType(); 134759486a2dSAnders Carlsson if (const RecordType *RT = Ty->getAs<RecordType>()) { 134859486a2dSAnders Carlsson const CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl()); 134959486a2dSAnders Carlsson if (RD->isPolymorphic()) { 135059486a2dSAnders Carlsson // FIXME: if subE is an lvalue do 135159486a2dSAnders Carlsson LValue Obj = EmitLValue(subE); 135259486a2dSAnders Carlsson llvm::Value *This = Obj.getAddress(); 135359486a2dSAnders Carlsson // We need to do a zero check for *p, unless it has NonNullAttr. 135459486a2dSAnders Carlsson // FIXME: PointerType->hasAttr<NonNullAttr>() 135559486a2dSAnders Carlsson bool CanBeZero = false; 135659486a2dSAnders Carlsson if (UnaryOperator *UO = dyn_cast<UnaryOperator>(subE->IgnoreParens())) 1357e302792bSJohn McCall if (UO->getOpcode() == UO_Deref) 135859486a2dSAnders Carlsson CanBeZero = true; 135959486a2dSAnders Carlsson if (CanBeZero) { 136059486a2dSAnders Carlsson llvm::BasicBlock *NonZeroBlock = createBasicBlock(); 136159486a2dSAnders Carlsson llvm::BasicBlock *ZeroBlock = createBasicBlock(); 136259486a2dSAnders Carlsson 13638fc50c29SDan Gohman llvm::Value *Zero = llvm::Constant::getNullValue(This->getType()); 13648fc50c29SDan Gohman Builder.CreateCondBr(Builder.CreateICmpNE(This, Zero), 136559486a2dSAnders Carlsson NonZeroBlock, ZeroBlock); 136659486a2dSAnders Carlsson EmitBlock(ZeroBlock); 136759486a2dSAnders Carlsson /// Call __cxa_bad_typeid 136859486a2dSAnders Carlsson const llvm::Type *ResultType = llvm::Type::getVoidTy(VMContext); 136959486a2dSAnders Carlsson const llvm::FunctionType *FTy; 137059486a2dSAnders Carlsson FTy = llvm::FunctionType::get(ResultType, false); 137159486a2dSAnders Carlsson llvm::Value *F = CGM.CreateRuntimeFunction(FTy, "__cxa_bad_typeid"); 137259486a2dSAnders Carlsson Builder.CreateCall(F)->setDoesNotReturn(); 137359486a2dSAnders Carlsson Builder.CreateUnreachable(); 137459486a2dSAnders Carlsson EmitBlock(NonZeroBlock); 137559486a2dSAnders Carlsson } 13768fc50c29SDan Gohman llvm::Value *V = GetVTablePtr(This, LTy->getPointerTo()); 137759486a2dSAnders Carlsson V = Builder.CreateConstInBoundsGEP1_64(V, -1ULL); 137859486a2dSAnders Carlsson V = Builder.CreateLoad(V); 137959486a2dSAnders Carlsson return V; 138059486a2dSAnders Carlsson } 138159486a2dSAnders Carlsson } 13823f4336cbSAnders Carlsson return Builder.CreateBitCast(CGM.GetAddrOfRTTIDescriptor(Ty), LTy); 138359486a2dSAnders Carlsson } 138459486a2dSAnders Carlsson 138559486a2dSAnders Carlsson llvm::Value *CodeGenFunction::EmitDynamicCast(llvm::Value *V, 138659486a2dSAnders Carlsson const CXXDynamicCastExpr *DCE) { 13873f4336cbSAnders Carlsson QualType SrcTy = DCE->getSubExpr()->getType(); 13883f4336cbSAnders Carlsson QualType DestTy = DCE->getTypeAsWritten(); 13893f4336cbSAnders Carlsson QualType InnerType = DestTy->getPointeeType(); 13903f4336cbSAnders Carlsson 139159486a2dSAnders Carlsson const llvm::Type *LTy = ConvertType(DCE->getType()); 139259486a2dSAnders Carlsson 139359486a2dSAnders Carlsson bool CanBeZero = false; 139459486a2dSAnders Carlsson bool ToVoid = false; 139559486a2dSAnders Carlsson bool ThrowOnBad = false; 13963f4336cbSAnders Carlsson if (DestTy->isPointerType()) { 139759486a2dSAnders Carlsson // FIXME: if PointerType->hasAttr<NonNullAttr>(), we don't set this 139859486a2dSAnders Carlsson CanBeZero = true; 139959486a2dSAnders Carlsson if (InnerType->isVoidType()) 140059486a2dSAnders Carlsson ToVoid = true; 140159486a2dSAnders Carlsson } else { 140259486a2dSAnders Carlsson LTy = LTy->getPointerTo(); 1403fa8b4955SDouglas Gregor 1404fa8b4955SDouglas Gregor // FIXME: What if exceptions are disabled? 140559486a2dSAnders Carlsson ThrowOnBad = true; 140659486a2dSAnders Carlsson } 140759486a2dSAnders Carlsson 14083f4336cbSAnders Carlsson if (SrcTy->isPointerType() || SrcTy->isReferenceType()) 14093f4336cbSAnders Carlsson SrcTy = SrcTy->getPointeeType(); 14103f4336cbSAnders Carlsson SrcTy = SrcTy.getUnqualifiedType(); 14113f4336cbSAnders Carlsson 14120087bc85SAnders Carlsson if (DestTy->isPointerType() || DestTy->isReferenceType()) 14133f4336cbSAnders Carlsson DestTy = DestTy->getPointeeType(); 14143f4336cbSAnders Carlsson DestTy = DestTy.getUnqualifiedType(); 141559486a2dSAnders Carlsson 141659486a2dSAnders Carlsson llvm::BasicBlock *ContBlock = createBasicBlock(); 141759486a2dSAnders Carlsson llvm::BasicBlock *NullBlock = 0; 141859486a2dSAnders Carlsson llvm::BasicBlock *NonZeroBlock = 0; 141959486a2dSAnders Carlsson if (CanBeZero) { 142059486a2dSAnders Carlsson NonZeroBlock = createBasicBlock(); 142159486a2dSAnders Carlsson NullBlock = createBasicBlock(); 14223f4336cbSAnders Carlsson Builder.CreateCondBr(Builder.CreateIsNotNull(V), NonZeroBlock, NullBlock); 142359486a2dSAnders Carlsson EmitBlock(NonZeroBlock); 142459486a2dSAnders Carlsson } 142559486a2dSAnders Carlsson 142659486a2dSAnders Carlsson llvm::BasicBlock *BadCastBlock = 0; 142759486a2dSAnders Carlsson 14283f4336cbSAnders Carlsson const llvm::Type *PtrDiffTy = ConvertType(getContext().getPointerDiffType()); 142959486a2dSAnders Carlsson 143059486a2dSAnders Carlsson // See if this is a dynamic_cast(void*) 143159486a2dSAnders Carlsson if (ToVoid) { 143259486a2dSAnders Carlsson llvm::Value *This = V; 14338fc50c29SDan Gohman V = GetVTablePtr(This, PtrDiffTy->getPointerTo()); 143459486a2dSAnders Carlsson V = Builder.CreateConstInBoundsGEP1_64(V, -2ULL); 143559486a2dSAnders Carlsson V = Builder.CreateLoad(V, "offset to top"); 143659486a2dSAnders Carlsson This = Builder.CreateBitCast(This, llvm::Type::getInt8PtrTy(VMContext)); 143759486a2dSAnders Carlsson V = Builder.CreateInBoundsGEP(This, V); 143859486a2dSAnders Carlsson V = Builder.CreateBitCast(V, LTy); 143959486a2dSAnders Carlsson } else { 144059486a2dSAnders Carlsson /// Call __dynamic_cast 144159486a2dSAnders Carlsson const llvm::Type *ResultType = llvm::Type::getInt8PtrTy(VMContext); 144259486a2dSAnders Carlsson const llvm::FunctionType *FTy; 144359486a2dSAnders Carlsson std::vector<const llvm::Type*> ArgTys; 144459486a2dSAnders Carlsson const llvm::Type *PtrToInt8Ty 144559486a2dSAnders Carlsson = llvm::Type::getInt8Ty(VMContext)->getPointerTo(); 144659486a2dSAnders Carlsson ArgTys.push_back(PtrToInt8Ty); 144759486a2dSAnders Carlsson ArgTys.push_back(PtrToInt8Ty); 144859486a2dSAnders Carlsson ArgTys.push_back(PtrToInt8Ty); 144959486a2dSAnders Carlsson ArgTys.push_back(PtrDiffTy); 145059486a2dSAnders Carlsson FTy = llvm::FunctionType::get(ResultType, ArgTys, false); 145159486a2dSAnders Carlsson 145259486a2dSAnders Carlsson // FIXME: Calculate better hint. 145359486a2dSAnders Carlsson llvm::Value *hint = llvm::ConstantInt::get(PtrDiffTy, -1ULL); 14543f4336cbSAnders Carlsson 14553f4336cbSAnders Carlsson assert(SrcTy->isRecordType() && "Src type must be record type!"); 14563f4336cbSAnders Carlsson assert(DestTy->isRecordType() && "Dest type must be record type!"); 14573f4336cbSAnders Carlsson 1458247894b3SDouglas Gregor llvm::Value *SrcArg 1459247894b3SDouglas Gregor = CGM.GetAddrOfRTTIDescriptor(SrcTy.getUnqualifiedType()); 1460247894b3SDouglas Gregor llvm::Value *DestArg 1461247894b3SDouglas Gregor = CGM.GetAddrOfRTTIDescriptor(DestTy.getUnqualifiedType()); 14623f4336cbSAnders Carlsson 146359486a2dSAnders Carlsson V = Builder.CreateBitCast(V, PtrToInt8Ty); 146459486a2dSAnders Carlsson V = Builder.CreateCall4(CGM.CreateRuntimeFunction(FTy, "__dynamic_cast"), 14653f4336cbSAnders Carlsson V, SrcArg, DestArg, hint); 146659486a2dSAnders Carlsson V = Builder.CreateBitCast(V, LTy); 146759486a2dSAnders Carlsson 146859486a2dSAnders Carlsson if (ThrowOnBad) { 146959486a2dSAnders Carlsson BadCastBlock = createBasicBlock(); 14703f4336cbSAnders Carlsson Builder.CreateCondBr(Builder.CreateIsNotNull(V), ContBlock, BadCastBlock); 147159486a2dSAnders Carlsson EmitBlock(BadCastBlock); 1472fa8b4955SDouglas Gregor /// Invoke __cxa_bad_cast 147359486a2dSAnders Carlsson ResultType = llvm::Type::getVoidTy(VMContext); 147459486a2dSAnders Carlsson const llvm::FunctionType *FBadTy; 147559486a2dSAnders Carlsson FBadTy = llvm::FunctionType::get(ResultType, false); 147659486a2dSAnders Carlsson llvm::Value *F = CGM.CreateRuntimeFunction(FBadTy, "__cxa_bad_cast"); 1477fa8b4955SDouglas Gregor if (llvm::BasicBlock *InvokeDest = getInvokeDest()) { 1478fa8b4955SDouglas Gregor llvm::BasicBlock *Cont = createBasicBlock("invoke.cont"); 1479fa8b4955SDouglas Gregor Builder.CreateInvoke(F, Cont, InvokeDest)->setDoesNotReturn(); 1480fa8b4955SDouglas Gregor EmitBlock(Cont); 1481fa8b4955SDouglas Gregor } else { 1482fa8b4955SDouglas Gregor // FIXME: Does this ever make sense? 148359486a2dSAnders Carlsson Builder.CreateCall(F)->setDoesNotReturn(); 1484fa8b4955SDouglas Gregor } 148559486a2dSAnders Carlsson Builder.CreateUnreachable(); 148659486a2dSAnders Carlsson } 148759486a2dSAnders Carlsson } 148859486a2dSAnders Carlsson 148959486a2dSAnders Carlsson if (CanBeZero) { 149059486a2dSAnders Carlsson Builder.CreateBr(ContBlock); 149159486a2dSAnders Carlsson EmitBlock(NullBlock); 149259486a2dSAnders Carlsson Builder.CreateBr(ContBlock); 149359486a2dSAnders Carlsson } 149459486a2dSAnders Carlsson EmitBlock(ContBlock); 149559486a2dSAnders Carlsson if (CanBeZero) { 149659486a2dSAnders Carlsson llvm::PHINode *PHI = Builder.CreatePHI(LTy); 149759486a2dSAnders Carlsson PHI->reserveOperandSpace(2); 149859486a2dSAnders Carlsson PHI->addIncoming(V, NonZeroBlock); 149959486a2dSAnders Carlsson PHI->addIncoming(llvm::Constant::getNullValue(LTy), NullBlock); 150059486a2dSAnders Carlsson V = PHI; 150159486a2dSAnders Carlsson } 150259486a2dSAnders Carlsson 150359486a2dSAnders Carlsson return V; 150459486a2dSAnders Carlsson } 1505