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 1459486a2dSAnders Carlsson #include "CodeGenFunction.h" 155d865c32SJohn McCall #include "CGCXXABI.h" 1660d215b6SFariborz Jahanian #include "CGObjCRuntime.h" 1726008e07SChris Lattner #include "llvm/Intrinsics.h" 1859486a2dSAnders Carlsson using namespace clang; 1959486a2dSAnders Carlsson using namespace CodeGen; 2059486a2dSAnders Carlsson 2127da15baSAnders Carlsson RValue CodeGenFunction::EmitCXXMemberCall(const CXXMethodDecl *MD, 2227da15baSAnders Carlsson llvm::Value *Callee, 2327da15baSAnders Carlsson ReturnValueSlot ReturnValue, 2427da15baSAnders Carlsson llvm::Value *This, 25e36a6b3eSAnders Carlsson llvm::Value *VTT, 2627da15baSAnders Carlsson CallExpr::const_arg_iterator ArgBeg, 2727da15baSAnders Carlsson CallExpr::const_arg_iterator ArgEnd) { 2827da15baSAnders Carlsson assert(MD->isInstance() && 2927da15baSAnders Carlsson "Trying to emit a member call expr on a static method!"); 3027da15baSAnders Carlsson 3127da15baSAnders Carlsson const FunctionProtoType *FPT = MD->getType()->getAs<FunctionProtoType>(); 3227da15baSAnders Carlsson 3327da15baSAnders Carlsson CallArgList Args; 3427da15baSAnders Carlsson 3527da15baSAnders Carlsson // Push the this ptr. 3627da15baSAnders Carlsson Args.push_back(std::make_pair(RValue::get(This), 3727da15baSAnders Carlsson MD->getThisType(getContext()))); 3827da15baSAnders Carlsson 39e36a6b3eSAnders Carlsson // If there is a VTT parameter, emit it. 40e36a6b3eSAnders Carlsson if (VTT) { 41e36a6b3eSAnders Carlsson QualType T = getContext().getPointerType(getContext().VoidPtrTy); 42e36a6b3eSAnders Carlsson Args.push_back(std::make_pair(RValue::get(VTT), T)); 43e36a6b3eSAnders Carlsson } 44e36a6b3eSAnders Carlsson 4527da15baSAnders Carlsson // And the rest of the call args 4627da15baSAnders Carlsson EmitCallArgs(Args, FPT, ArgBeg, ArgEnd); 4727da15baSAnders Carlsson 48ab26cfa5SJohn McCall QualType ResultType = FPT->getResultType(); 49ab26cfa5SJohn McCall return EmitCall(CGM.getTypes().getFunctionInfo(ResultType, Args, 50c50c27ccSRafael Espindola FPT->getExtInfo()), 51c50c27ccSRafael Espindola Callee, ReturnValue, Args, MD); 5227da15baSAnders Carlsson } 5327da15baSAnders Carlsson 5427da15baSAnders Carlsson /// canDevirtualizeMemberFunctionCalls - Checks whether virtual calls on given 5527da15baSAnders Carlsson /// expr can be devirtualized. 5627da15baSAnders Carlsson static bool canDevirtualizeMemberFunctionCalls(const Expr *Base) { 5727da15baSAnders Carlsson if (const DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(Base)) { 5827da15baSAnders Carlsson if (const VarDecl *VD = dyn_cast<VarDecl>(DRE->getDecl())) { 5927da15baSAnders Carlsson // This is a record decl. We know the type and can devirtualize it. 6027da15baSAnders Carlsson return VD->getType()->isRecordType(); 6127da15baSAnders Carlsson } 6227da15baSAnders Carlsson 6327da15baSAnders Carlsson return false; 6427da15baSAnders Carlsson } 6527da15baSAnders Carlsson 6627da15baSAnders Carlsson // We can always devirtualize calls on temporary object expressions. 67a682427eSEli Friedman if (isa<CXXConstructExpr>(Base)) 6827da15baSAnders Carlsson return true; 6927da15baSAnders Carlsson 7027da15baSAnders Carlsson // And calls on bound temporaries. 7127da15baSAnders Carlsson if (isa<CXXBindTemporaryExpr>(Base)) 7227da15baSAnders Carlsson return true; 7327da15baSAnders Carlsson 7427da15baSAnders Carlsson // Check if this is a call expr that returns a record type. 7527da15baSAnders Carlsson if (const CallExpr *CE = dyn_cast<CallExpr>(Base)) 7627da15baSAnders Carlsson return CE->getCallReturnType()->isRecordType(); 7727da15baSAnders Carlsson 7827da15baSAnders Carlsson // We can't devirtualize the call. 7927da15baSAnders Carlsson return false; 8027da15baSAnders Carlsson } 8127da15baSAnders Carlsson 8227da15baSAnders Carlsson RValue CodeGenFunction::EmitCXXMemberCallExpr(const CXXMemberCallExpr *CE, 8327da15baSAnders Carlsson ReturnValueSlot ReturnValue) { 8427da15baSAnders Carlsson if (isa<BinaryOperator>(CE->getCallee()->IgnoreParens())) 8527da15baSAnders Carlsson return EmitCXXMemberPointerCallExpr(CE, ReturnValue); 8627da15baSAnders Carlsson 8727da15baSAnders Carlsson const MemberExpr *ME = cast<MemberExpr>(CE->getCallee()->IgnoreParens()); 8827da15baSAnders Carlsson const CXXMethodDecl *MD = cast<CXXMethodDecl>(ME->getMemberDecl()); 8927da15baSAnders Carlsson 9027da15baSAnders Carlsson if (MD->isStatic()) { 9127da15baSAnders Carlsson // The method is static, emit it as we would a regular call. 9227da15baSAnders Carlsson llvm::Value *Callee = CGM.GetAddrOfFunction(MD); 9327da15baSAnders Carlsson return EmitCall(getContext().getPointerType(MD->getType()), Callee, 9427da15baSAnders Carlsson ReturnValue, CE->arg_begin(), CE->arg_end()); 9527da15baSAnders Carlsson } 9627da15baSAnders Carlsson 9727da15baSAnders Carlsson const FunctionProtoType *FPT = MD->getType()->getAs<FunctionProtoType>(); 9827da15baSAnders Carlsson 9927da15baSAnders Carlsson const llvm::Type *Ty = 10027da15baSAnders Carlsson CGM.getTypes().GetFunctionType(CGM.getTypes().getFunctionInfo(MD), 10127da15baSAnders Carlsson FPT->isVariadic()); 10227da15baSAnders Carlsson llvm::Value *This; 10327da15baSAnders Carlsson 10427da15baSAnders Carlsson if (ME->isArrow()) 10527da15baSAnders Carlsson This = EmitScalarExpr(ME->getBase()); 10627da15baSAnders Carlsson else { 10727da15baSAnders Carlsson LValue BaseLV = EmitLValue(ME->getBase()); 10827da15baSAnders Carlsson This = BaseLV.getAddress(); 10927da15baSAnders Carlsson } 11027da15baSAnders Carlsson 11127da15baSAnders Carlsson if (MD->isCopyAssignment() && MD->isTrivial()) { 11227da15baSAnders Carlsson // We don't like to generate the trivial copy assignment operator when 11327da15baSAnders Carlsson // it isn't necessary; just produce the proper effect here. 11427da15baSAnders Carlsson llvm::Value *RHS = EmitLValue(*CE->arg_begin()).getAddress(); 11527da15baSAnders Carlsson EmitAggregateCopy(This, RHS, CE->getType()); 11627da15baSAnders Carlsson return RValue::get(This); 11727da15baSAnders Carlsson } 11827da15baSAnders Carlsson 11927da15baSAnders Carlsson // C++ [class.virtual]p12: 12027da15baSAnders Carlsson // Explicit qualification with the scope operator (5.1) suppresses the 12127da15baSAnders Carlsson // virtual call mechanism. 12227da15baSAnders Carlsson // 12327da15baSAnders Carlsson // We also don't emit a virtual call if the base expression has a record type 12427da15baSAnders Carlsson // because then we know what the type is. 12527da15baSAnders Carlsson llvm::Value *Callee; 12627da15baSAnders Carlsson if (const CXXDestructorDecl *Destructor 12727da15baSAnders Carlsson = dyn_cast<CXXDestructorDecl>(MD)) { 12827da15baSAnders Carlsson if (Destructor->isTrivial()) 12927da15baSAnders Carlsson return RValue::get(0); 13027da15baSAnders Carlsson if (MD->isVirtual() && !ME->hasQualifier() && 13127da15baSAnders Carlsson !canDevirtualizeMemberFunctionCalls(ME->getBase())) { 13227da15baSAnders Carlsson Callee = BuildVirtualCall(Destructor, Dtor_Complete, This, Ty); 13327da15baSAnders Carlsson } else { 13427da15baSAnders Carlsson Callee = CGM.GetAddrOfFunction(GlobalDecl(Destructor, Dtor_Complete), Ty); 13527da15baSAnders Carlsson } 13627da15baSAnders Carlsson } else if (MD->isVirtual() && !ME->hasQualifier() && 13727da15baSAnders Carlsson !canDevirtualizeMemberFunctionCalls(ME->getBase())) { 13827da15baSAnders Carlsson Callee = BuildVirtualCall(MD, This, Ty); 13927da15baSAnders Carlsson } else { 14027da15baSAnders Carlsson Callee = CGM.GetAddrOfFunction(MD, Ty); 14127da15baSAnders Carlsson } 14227da15baSAnders Carlsson 143e36a6b3eSAnders Carlsson return EmitCXXMemberCall(MD, Callee, ReturnValue, This, /*VTT=*/0, 14427da15baSAnders Carlsson CE->arg_begin(), CE->arg_end()); 14527da15baSAnders Carlsson } 14627da15baSAnders Carlsson 14727da15baSAnders Carlsson RValue 14827da15baSAnders Carlsson CodeGenFunction::EmitCXXMemberPointerCallExpr(const CXXMemberCallExpr *E, 14927da15baSAnders Carlsson ReturnValueSlot ReturnValue) { 15027da15baSAnders Carlsson const BinaryOperator *BO = 15127da15baSAnders Carlsson cast<BinaryOperator>(E->getCallee()->IgnoreParens()); 15227da15baSAnders Carlsson const Expr *BaseExpr = BO->getLHS(); 15327da15baSAnders Carlsson const Expr *MemFnExpr = BO->getRHS(); 15427da15baSAnders Carlsson 15527da15baSAnders Carlsson const MemberPointerType *MPT = 15627da15baSAnders Carlsson MemFnExpr->getType()->getAs<MemberPointerType>(); 157475999dcSJohn McCall 15827da15baSAnders Carlsson const FunctionProtoType *FPT = 15927da15baSAnders Carlsson MPT->getPointeeType()->getAs<FunctionProtoType>(); 16027da15baSAnders Carlsson const CXXRecordDecl *RD = 16127da15baSAnders Carlsson cast<CXXRecordDecl>(MPT->getClass()->getAs<RecordType>()->getDecl()); 16227da15baSAnders Carlsson 16327da15baSAnders Carlsson // Get the member function pointer. 164a1dee530SJohn McCall llvm::Value *MemFnPtr = EmitScalarExpr(MemFnExpr); 16527da15baSAnders Carlsson 16627da15baSAnders Carlsson // Emit the 'this' pointer. 16727da15baSAnders Carlsson llvm::Value *This; 16827da15baSAnders Carlsson 169e302792bSJohn McCall if (BO->getOpcode() == BO_PtrMemI) 17027da15baSAnders Carlsson This = EmitScalarExpr(BaseExpr); 17127da15baSAnders Carlsson else 17227da15baSAnders Carlsson This = EmitLValue(BaseExpr).getAddress(); 17327da15baSAnders Carlsson 174475999dcSJohn McCall // Ask the ABI to load the callee. Note that This is modified. 175475999dcSJohn McCall llvm::Value *Callee = 176475999dcSJohn McCall CGM.getCXXABI().EmitLoadOfMemberFunctionPointer(CGF, This, MemFnPtr, MPT); 17727da15baSAnders Carlsson 17827da15baSAnders Carlsson CallArgList Args; 17927da15baSAnders Carlsson 18027da15baSAnders Carlsson QualType ThisType = 18127da15baSAnders Carlsson getContext().getPointerType(getContext().getTagDeclType(RD)); 18227da15baSAnders Carlsson 18327da15baSAnders Carlsson // Push the this ptr. 18427da15baSAnders Carlsson Args.push_back(std::make_pair(RValue::get(This), ThisType)); 18527da15baSAnders Carlsson 18627da15baSAnders Carlsson // And the rest of the call args 18727da15baSAnders Carlsson EmitCallArgs(Args, FPT, E->arg_begin(), E->arg_end()); 188ab26cfa5SJohn McCall const FunctionType *BO_FPT = BO->getType()->getAs<FunctionProtoType>(); 189ab26cfa5SJohn McCall return EmitCall(CGM.getTypes().getFunctionInfo(Args, BO_FPT), Callee, 19027da15baSAnders Carlsson ReturnValue, Args); 19127da15baSAnders Carlsson } 19227da15baSAnders Carlsson 19327da15baSAnders Carlsson RValue 19427da15baSAnders Carlsson CodeGenFunction::EmitCXXOperatorMemberCallExpr(const CXXOperatorCallExpr *E, 19527da15baSAnders Carlsson const CXXMethodDecl *MD, 19627da15baSAnders Carlsson ReturnValueSlot ReturnValue) { 19727da15baSAnders Carlsson assert(MD->isInstance() && 19827da15baSAnders Carlsson "Trying to emit a member call expr on a static method!"); 19927da15baSAnders Carlsson if (MD->isCopyAssignment()) { 20027da15baSAnders Carlsson const CXXRecordDecl *ClassDecl = cast<CXXRecordDecl>(MD->getDeclContext()); 20127da15baSAnders Carlsson if (ClassDecl->hasTrivialCopyAssignment()) { 20227da15baSAnders Carlsson assert(!ClassDecl->hasUserDeclaredCopyAssignment() && 20327da15baSAnders Carlsson "EmitCXXOperatorMemberCallExpr - user declared copy assignment"); 20443a40f93SFariborz Jahanian LValue LV = EmitLValue(E->getArg(0)); 20543a40f93SFariborz Jahanian llvm::Value *This; 20661a31241SFariborz Jahanian if (LV.isPropertyRef() || LV.isKVCRef()) { 2071b8b8bf2SFariborz Jahanian llvm::Value *AggLoc = CreateMemTemp(E->getArg(1)->getType()); 208e1b45a5eSFariborz Jahanian EmitAggExpr(E->getArg(1), AggLoc, false /*VolatileDest*/); 20961a31241SFariborz Jahanian if (LV.isPropertyRef()) 210e1b45a5eSFariborz Jahanian EmitObjCPropertySet(LV.getPropertyRefExpr(), 21161a31241SFariborz Jahanian RValue::getAggregate(AggLoc, 21261a31241SFariborz Jahanian false /*VolatileDest*/)); 21361a31241SFariborz Jahanian else 21461a31241SFariborz Jahanian EmitObjCPropertySet(LV.getKVCRefExpr(), 21561a31241SFariborz Jahanian RValue::getAggregate(AggLoc, 21661a31241SFariborz Jahanian false /*VolatileDest*/)); 217e1b45a5eSFariborz Jahanian return RValue::getAggregate(0, false); 21843a40f93SFariborz Jahanian } 21943a40f93SFariborz Jahanian else 22043a40f93SFariborz Jahanian This = LV.getAddress(); 22143a40f93SFariborz Jahanian 22227da15baSAnders Carlsson llvm::Value *Src = EmitLValue(E->getArg(1)).getAddress(); 22327da15baSAnders Carlsson QualType Ty = E->getType(); 22427da15baSAnders Carlsson EmitAggregateCopy(This, Src, Ty); 22527da15baSAnders Carlsson return RValue::get(This); 22627da15baSAnders Carlsson } 22727da15baSAnders Carlsson } 22827da15baSAnders Carlsson 22927da15baSAnders Carlsson const FunctionProtoType *FPT = MD->getType()->getAs<FunctionProtoType>(); 23027da15baSAnders Carlsson const llvm::Type *Ty = 23127da15baSAnders Carlsson CGM.getTypes().GetFunctionType(CGM.getTypes().getFunctionInfo(MD), 23227da15baSAnders Carlsson FPT->isVariadic()); 233fdf474b0SFariborz Jahanian LValue LV = EmitLValue(E->getArg(0)); 234fdf474b0SFariborz Jahanian llvm::Value *This; 23561a31241SFariborz Jahanian if (LV.isPropertyRef() || LV.isKVCRef()) { 23661a31241SFariborz Jahanian QualType QT = E->getArg(0)->getType(); 23761a31241SFariborz Jahanian RValue RV = 23861a31241SFariborz Jahanian LV.isPropertyRef() ? EmitLoadOfPropertyRefLValue(LV, QT) 23961a31241SFariborz Jahanian : EmitLoadOfKVCRefLValue(LV, QT); 2406855ba2cSFariborz Jahanian assert (!RV.isScalar() && "EmitCXXOperatorMemberCallExpr"); 2416855ba2cSFariborz Jahanian This = RV.getAggregateAddr(); 242fdf474b0SFariborz Jahanian } 243fdf474b0SFariborz Jahanian else 244fdf474b0SFariborz Jahanian This = LV.getAddress(); 24527da15baSAnders Carlsson 24627da15baSAnders Carlsson llvm::Value *Callee; 24727da15baSAnders Carlsson if (MD->isVirtual() && !canDevirtualizeMemberFunctionCalls(E->getArg(0))) 24827da15baSAnders Carlsson Callee = BuildVirtualCall(MD, This, Ty); 24927da15baSAnders Carlsson else 25027da15baSAnders Carlsson Callee = CGM.GetAddrOfFunction(MD, Ty); 25127da15baSAnders Carlsson 252e36a6b3eSAnders Carlsson return EmitCXXMemberCall(MD, Callee, ReturnValue, This, /*VTT=*/0, 25327da15baSAnders Carlsson E->arg_begin() + 1, E->arg_end()); 25427da15baSAnders Carlsson } 25527da15baSAnders Carlsson 25627da15baSAnders Carlsson void 25727da15baSAnders Carlsson CodeGenFunction::EmitCXXConstructExpr(llvm::Value *Dest, 25827da15baSAnders Carlsson const CXXConstructExpr *E) { 25927da15baSAnders Carlsson assert(Dest && "Must have a destination!"); 26027da15baSAnders Carlsson const CXXConstructorDecl *CD = E->getConstructor(); 261630c76efSDouglas Gregor 262630c76efSDouglas Gregor // If we require zero initialization before (or instead of) calling the 263630c76efSDouglas Gregor // constructor, as can be the case with a non-user-provided default 264630c76efSDouglas Gregor // constructor, emit the zero initialization now. 265e3b3464dSDouglas Gregor if (E->requiresZeroInitialization()) 266e3b3464dSDouglas Gregor EmitNullInitialization(Dest, E->getType()); 267e3b3464dSDouglas Gregor 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 27327da15baSAnders Carlsson // Code gen optimization to eliminate copy constructor and return 274222cf0efSDouglas Gregor // its first argument instead, if in fact that argument is a temporary 275222cf0efSDouglas Gregor // object. 27627da15baSAnders Carlsson if (getContext().getLangOptions().ElideConstructors && E->isElidable()) { 277222cf0efSDouglas Gregor if (const Expr *Arg = E->getArg(0)->getTemporaryObject()) { 27827da15baSAnders Carlsson EmitAggExpr(Arg, Dest, false); 27927da15baSAnders Carlsson return; 28027da15baSAnders Carlsson } 281222cf0efSDouglas Gregor } 282630c76efSDouglas Gregor 283630c76efSDouglas Gregor const ConstantArrayType *Array 284630c76efSDouglas Gregor = getContext().getAsConstantArrayType(E->getType()); 28527da15baSAnders Carlsson if (Array) { 28627da15baSAnders Carlsson QualType BaseElementTy = getContext().getBaseElementType(Array); 28727da15baSAnders Carlsson const llvm::Type *BasePtr = ConvertType(BaseElementTy); 28827da15baSAnders Carlsson BasePtr = llvm::PointerType::getUnqual(BasePtr); 28927da15baSAnders Carlsson llvm::Value *BaseAddrPtr = 29027da15baSAnders Carlsson Builder.CreateBitCast(Dest, BasePtr); 29127da15baSAnders Carlsson 29227da15baSAnders Carlsson EmitCXXAggrConstructorCall(CD, Array, BaseAddrPtr, 29327da15baSAnders Carlsson E->arg_begin(), E->arg_end()); 29427da15baSAnders Carlsson } 295e11f9ce9SAnders Carlsson else { 296e11f9ce9SAnders Carlsson CXXCtorType Type = 297e11f9ce9SAnders Carlsson (E->getConstructionKind() == CXXConstructExpr::CK_Complete) 298e11f9ce9SAnders Carlsson ? Ctor_Complete : Ctor_Base; 299e11f9ce9SAnders Carlsson bool ForVirtualBase = 300e11f9ce9SAnders Carlsson E->getConstructionKind() == CXXConstructExpr::CK_VirtualBase; 301e11f9ce9SAnders Carlsson 30227da15baSAnders Carlsson // Call the constructor. 303e11f9ce9SAnders Carlsson EmitCXXConstructorCall(CD, Type, ForVirtualBase, Dest, 30427da15baSAnders Carlsson E->arg_begin(), E->arg_end()); 30527da15baSAnders Carlsson } 306e11f9ce9SAnders Carlsson } 30727da15baSAnders Carlsson 308aa4149a2SJohn McCall /// Check whether the given operator new[] is the global placement 309aa4149a2SJohn McCall /// operator new[]. 310aa4149a2SJohn McCall static bool IsPlacementOperatorNewArray(ASTContext &Ctx, 311aa4149a2SJohn McCall const FunctionDecl *Fn) { 312aa4149a2SJohn McCall // Must be in global scope. Note that allocation functions can't be 313aa4149a2SJohn McCall // declared in namespaces. 31450c68258SSebastian Redl if (!Fn->getDeclContext()->getRedeclContext()->isFileContext()) 315aa4149a2SJohn McCall return false; 316aa4149a2SJohn McCall 317aa4149a2SJohn McCall // Signature must be void *operator new[](size_t, void*). 318aa4149a2SJohn McCall // The size_t is common to all operator new[]s. 319aa4149a2SJohn McCall if (Fn->getNumParams() != 2) 320aa4149a2SJohn McCall return false; 321aa4149a2SJohn McCall 322aa4149a2SJohn McCall CanQualType ParamType = Ctx.getCanonicalType(Fn->getParamDecl(1)->getType()); 323aa4149a2SJohn McCall return (ParamType == Ctx.VoidPtrTy); 324aa4149a2SJohn McCall } 325aa4149a2SJohn McCall 3268ed55a54SJohn McCall static CharUnits CalculateCookiePadding(CodeGenFunction &CGF, 3278ed55a54SJohn McCall const CXXNewExpr *E) { 32821122cf6SAnders Carlsson if (!E->isArray()) 3293eb55cfeSKen Dyck return CharUnits::Zero(); 33021122cf6SAnders Carlsson 331399f499fSAnders Carlsson // No cookie is required if the new operator being used is 332399f499fSAnders Carlsson // ::operator new[](size_t, void*). 333399f499fSAnders Carlsson const FunctionDecl *OperatorNew = E->getOperatorNew(); 3348ed55a54SJohn McCall if (IsPlacementOperatorNewArray(CGF.getContext(), OperatorNew)) 3353eb55cfeSKen Dyck return CharUnits::Zero(); 336399f499fSAnders Carlsson 3378ed55a54SJohn McCall return CGF.CGM.getCXXABI().GetArrayCookieSize(E->getAllocatedType()); 33859486a2dSAnders Carlsson } 33959486a2dSAnders Carlsson 34047b4629bSFariborz Jahanian static llvm::Value *EmitCXXNewAllocSize(ASTContext &Context, 34147b4629bSFariborz Jahanian CodeGenFunction &CGF, 34259486a2dSAnders Carlsson const CXXNewExpr *E, 34305fc5be3SDouglas Gregor llvm::Value *&NumElements, 34405fc5be3SDouglas Gregor llvm::Value *&SizeWithoutCookie) { 3457648fb46SArgyrios Kyrtzidis QualType ElemType = E->getAllocatedType(); 34659486a2dSAnders Carlsson 3478ed55a54SJohn McCall const llvm::IntegerType *SizeTy = 3488ed55a54SJohn McCall cast<llvm::IntegerType>(CGF.ConvertType(CGF.getContext().getSizeType())); 3498ed55a54SJohn McCall 3507648fb46SArgyrios Kyrtzidis CharUnits TypeSize = CGF.getContext().getTypeSizeInChars(ElemType); 3518ed55a54SJohn McCall 3528ed55a54SJohn McCall if (!E->isArray()) { 35305fc5be3SDouglas Gregor SizeWithoutCookie = llvm::ConstantInt::get(SizeTy, TypeSize.getQuantity()); 35405fc5be3SDouglas Gregor return SizeWithoutCookie; 35505fc5be3SDouglas Gregor } 35659486a2dSAnders Carlsson 3578ed55a54SJohn McCall // Figure out the cookie size. 3588ed55a54SJohn McCall CharUnits CookieSize = CalculateCookiePadding(CGF, E); 3598ed55a54SJohn McCall 36059486a2dSAnders Carlsson // Emit the array size expression. 3617648fb46SArgyrios Kyrtzidis // We multiply the size of all dimensions for NumElements. 3627648fb46SArgyrios Kyrtzidis // e.g for 'int[2][3]', ElemType is 'int' and NumElements is 6. 36359486a2dSAnders Carlsson NumElements = CGF.EmitScalarExpr(E->getArraySize()); 3648ed55a54SJohn McCall assert(NumElements->getType() == SizeTy && "element count not a size_t"); 3658ed55a54SJohn McCall 3668ed55a54SJohn McCall uint64_t ArraySizeMultiplier = 1; 3677648fb46SArgyrios Kyrtzidis while (const ConstantArrayType *CAT 3687648fb46SArgyrios Kyrtzidis = CGF.getContext().getAsConstantArrayType(ElemType)) { 3697648fb46SArgyrios Kyrtzidis ElemType = CAT->getElementType(); 3708ed55a54SJohn McCall ArraySizeMultiplier *= CAT->getSize().getZExtValue(); 3717648fb46SArgyrios Kyrtzidis } 37259486a2dSAnders Carlsson 3738ed55a54SJohn McCall llvm::Value *Size; 37432ac583dSChris Lattner 37532ac583dSChris Lattner // If someone is doing 'new int[42]' there is no need to do a dynamic check. 37632ac583dSChris Lattner // Don't bloat the -O0 code. 37732ac583dSChris Lattner if (llvm::ConstantInt *NumElementsC = 37832ac583dSChris Lattner dyn_cast<llvm::ConstantInt>(NumElements)) { 37932ac583dSChris Lattner llvm::APInt NEC = NumElementsC->getValue(); 3808ed55a54SJohn McCall unsigned SizeWidth = NEC.getBitWidth(); 38132ac583dSChris Lattner 3828ed55a54SJohn McCall // Determine if there is an overflow here by doing an extended multiply. 3838ed55a54SJohn McCall NEC.zext(SizeWidth*2); 3848ed55a54SJohn McCall llvm::APInt SC(SizeWidth*2, TypeSize.getQuantity()); 38532ac583dSChris Lattner SC *= NEC; 38632ac583dSChris Lattner 3878ed55a54SJohn McCall if (!CookieSize.isZero()) { 3888ed55a54SJohn McCall // Save the current size without a cookie. We don't care if an 3898ed55a54SJohn McCall // overflow's already happened because SizeWithoutCookie isn't 3908ed55a54SJohn McCall // used if the allocator returns null or throws, as it should 3918ed55a54SJohn McCall // always do on an overflow. 3928ed55a54SJohn McCall llvm::APInt SWC = SC; 3938ed55a54SJohn McCall SWC.trunc(SizeWidth); 3948ed55a54SJohn McCall SizeWithoutCookie = llvm::ConstantInt::get(SizeTy, SWC); 3958ed55a54SJohn McCall 3968ed55a54SJohn McCall // Add the cookie size. 3978ed55a54SJohn McCall SC += llvm::APInt(SizeWidth*2, CookieSize.getQuantity()); 3988ed55a54SJohn McCall } 3998ed55a54SJohn McCall 4008ed55a54SJohn McCall if (SC.countLeadingZeros() >= SizeWidth) { 4018ed55a54SJohn McCall SC.trunc(SizeWidth); 4028ed55a54SJohn McCall Size = llvm::ConstantInt::get(SizeTy, SC); 40332ac583dSChris Lattner } else { 40432ac583dSChris Lattner // On overflow, produce a -1 so operator new throws. 4058ed55a54SJohn McCall Size = llvm::Constant::getAllOnesValue(SizeTy); 40632ac583dSChris Lattner } 40732ac583dSChris Lattner 4088ed55a54SJohn McCall // Scale NumElements while we're at it. 4098ed55a54SJohn McCall uint64_t N = NEC.getZExtValue() * ArraySizeMultiplier; 4108ed55a54SJohn McCall NumElements = llvm::ConstantInt::get(SizeTy, N); 41147b4629bSFariborz Jahanian 4128ed55a54SJohn McCall // Otherwise, we don't need to do an overflow-checked multiplication if 4138ed55a54SJohn McCall // we're multiplying by one. 4148ed55a54SJohn McCall } else if (TypeSize.isOne()) { 4158ed55a54SJohn McCall assert(ArraySizeMultiplier == 1); 416f2f38701SChris Lattner 4178ed55a54SJohn McCall Size = NumElements; 418f2f38701SChris Lattner 4198ed55a54SJohn McCall // If we need a cookie, add its size in with an overflow check. 4208ed55a54SJohn McCall // This is maybe a little paranoid. 4218ed55a54SJohn McCall if (!CookieSize.isZero()) { 42205fc5be3SDouglas Gregor SizeWithoutCookie = Size; 423f2f38701SChris Lattner 4248ed55a54SJohn McCall llvm::Value *CookieSizeV 4258ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, CookieSize.getQuantity()); 4268ed55a54SJohn McCall 4278ed55a54SJohn McCall const llvm::Type *Types[] = { SizeTy }; 4288ed55a54SJohn McCall llvm::Value *UAddF 4298ed55a54SJohn McCall = CGF.CGM.getIntrinsic(llvm::Intrinsic::uadd_with_overflow, Types, 1); 4308ed55a54SJohn McCall llvm::Value *AddRes 4318ed55a54SJohn McCall = CGF.Builder.CreateCall2(UAddF, Size, CookieSizeV); 4328ed55a54SJohn McCall 4338ed55a54SJohn McCall Size = CGF.Builder.CreateExtractValue(AddRes, 0); 4348ed55a54SJohn McCall llvm::Value *DidOverflow = CGF.Builder.CreateExtractValue(AddRes, 1); 4358ed55a54SJohn McCall Size = CGF.Builder.CreateSelect(DidOverflow, 4368ed55a54SJohn McCall llvm::ConstantInt::get(SizeTy, -1), 4378ed55a54SJohn McCall Size); 4388ed55a54SJohn McCall } 4398ed55a54SJohn McCall 4408ed55a54SJohn McCall // Otherwise use the int.umul.with.overflow intrinsic. 4418ed55a54SJohn McCall } else { 4428ed55a54SJohn McCall llvm::Value *OutermostElementSize 4438ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, TypeSize.getQuantity()); 4448ed55a54SJohn McCall 4458ed55a54SJohn McCall llvm::Value *NumOutermostElements = NumElements; 4468ed55a54SJohn McCall 4478ed55a54SJohn McCall // Scale NumElements by the array size multiplier. This might 4488ed55a54SJohn McCall // overflow, but only if the multiplication below also overflows, 4498ed55a54SJohn McCall // in which case this multiplication isn't used. 4508ed55a54SJohn McCall if (ArraySizeMultiplier != 1) 4518ed55a54SJohn McCall NumElements = CGF.Builder.CreateMul(NumElements, 4528ed55a54SJohn McCall llvm::ConstantInt::get(SizeTy, ArraySizeMultiplier)); 4538ed55a54SJohn McCall 4548ed55a54SJohn McCall // The requested size of the outermost array is non-constant. 4558ed55a54SJohn McCall // Multiply that by the static size of the elements of that array; 4568ed55a54SJohn McCall // on unsigned overflow, set the size to -1 to trigger an 4578ed55a54SJohn McCall // exception from the allocation routine. This is sufficient to 4588ed55a54SJohn McCall // prevent buffer overruns from the allocator returning a 4598ed55a54SJohn McCall // seemingly valid pointer to insufficient space. This idea comes 4608ed55a54SJohn McCall // originally from MSVC, and GCC has an open bug requesting 4618ed55a54SJohn McCall // similar behavior: 4628ed55a54SJohn McCall // http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19351 4638ed55a54SJohn McCall // 4648ed55a54SJohn McCall // This will not be sufficient for C++0x, which requires a 4658ed55a54SJohn McCall // specific exception class (std::bad_array_new_length). 4668ed55a54SJohn McCall // That will require ABI support that has not yet been specified. 4678ed55a54SJohn McCall const llvm::Type *Types[] = { SizeTy }; 4688ed55a54SJohn McCall llvm::Value *UMulF 4698ed55a54SJohn McCall = CGF.CGM.getIntrinsic(llvm::Intrinsic::umul_with_overflow, Types, 1); 4708ed55a54SJohn McCall llvm::Value *MulRes = CGF.Builder.CreateCall2(UMulF, NumOutermostElements, 4718ed55a54SJohn McCall OutermostElementSize); 4728ed55a54SJohn McCall 4738ed55a54SJohn McCall // The overflow bit. 4748ed55a54SJohn McCall llvm::Value *DidOverflow = CGF.Builder.CreateExtractValue(MulRes, 1); 4758ed55a54SJohn McCall 4768ed55a54SJohn McCall // The result of the multiplication. 4778ed55a54SJohn McCall Size = CGF.Builder.CreateExtractValue(MulRes, 0); 4788ed55a54SJohn McCall 4798ed55a54SJohn McCall // If we have a cookie, we need to add that size in, too. 4808ed55a54SJohn McCall if (!CookieSize.isZero()) { 4818ed55a54SJohn McCall SizeWithoutCookie = Size; 4828ed55a54SJohn McCall 4838ed55a54SJohn McCall llvm::Value *CookieSizeV 4848ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, CookieSize.getQuantity()); 4858ed55a54SJohn McCall llvm::Value *UAddF 4868ed55a54SJohn McCall = CGF.CGM.getIntrinsic(llvm::Intrinsic::uadd_with_overflow, Types, 1); 4878ed55a54SJohn McCall llvm::Value *AddRes 4888ed55a54SJohn McCall = CGF.Builder.CreateCall2(UAddF, SizeWithoutCookie, CookieSizeV); 4898ed55a54SJohn McCall 4908ed55a54SJohn McCall Size = CGF.Builder.CreateExtractValue(AddRes, 0); 4918ed55a54SJohn McCall 4928ed55a54SJohn McCall llvm::Value *AddDidOverflow = CGF.Builder.CreateExtractValue(AddRes, 1); 4938ed55a54SJohn McCall DidOverflow = CGF.Builder.CreateAnd(DidOverflow, AddDidOverflow); 4948ed55a54SJohn McCall } 4958ed55a54SJohn McCall 4968ed55a54SJohn McCall Size = CGF.Builder.CreateSelect(DidOverflow, 4978ed55a54SJohn McCall llvm::ConstantInt::get(SizeTy, -1), 4988ed55a54SJohn McCall Size); 4998ed55a54SJohn McCall } 5008ed55a54SJohn McCall 5018ed55a54SJohn McCall if (CookieSize.isZero()) 5028ed55a54SJohn McCall SizeWithoutCookie = Size; 5038ed55a54SJohn McCall else 5048ed55a54SJohn McCall assert(SizeWithoutCookie && "didn't set SizeWithoutCookie?"); 50559486a2dSAnders Carlsson 50632ac583dSChris Lattner return Size; 50759486a2dSAnders Carlsson } 50859486a2dSAnders Carlsson 509d5202e09SFariborz Jahanian static void StoreAnyExprIntoOneUnit(CodeGenFunction &CGF, const CXXNewExpr *E, 510d5202e09SFariborz Jahanian llvm::Value *NewPtr) { 511d5202e09SFariborz Jahanian 512d5202e09SFariborz Jahanian assert(E->getNumConstructorArgs() == 1 && 513d5202e09SFariborz Jahanian "Can only have one argument to initializer of POD type."); 514d5202e09SFariborz Jahanian 515d5202e09SFariborz Jahanian const Expr *Init = E->getConstructorArg(0); 516d5202e09SFariborz Jahanian QualType AllocType = E->getAllocatedType(); 517d5202e09SFariborz Jahanian 5180381634aSDaniel Dunbar unsigned Alignment = 5190381634aSDaniel Dunbar CGF.getContext().getTypeAlignInChars(AllocType).getQuantity(); 520d5202e09SFariborz Jahanian if (!CGF.hasAggregateLLVMType(AllocType)) 521d5202e09SFariborz Jahanian CGF.EmitStoreOfScalar(CGF.EmitScalarExpr(Init), NewPtr, 5220381634aSDaniel Dunbar AllocType.isVolatileQualified(), Alignment, 5230381634aSDaniel Dunbar AllocType); 524d5202e09SFariborz Jahanian else if (AllocType->isAnyComplexType()) 525d5202e09SFariborz Jahanian CGF.EmitComplexExprIntoAddr(Init, NewPtr, 526d5202e09SFariborz Jahanian AllocType.isVolatileQualified()); 527d5202e09SFariborz Jahanian else 528d5202e09SFariborz Jahanian CGF.EmitAggExpr(Init, NewPtr, AllocType.isVolatileQualified()); 529d5202e09SFariborz Jahanian } 530d5202e09SFariborz Jahanian 531d5202e09SFariborz Jahanian void 532d5202e09SFariborz Jahanian CodeGenFunction::EmitNewArrayInitializer(const CXXNewExpr *E, 533d5202e09SFariborz Jahanian llvm::Value *NewPtr, 534d5202e09SFariborz Jahanian llvm::Value *NumElements) { 535b66b08efSFariborz Jahanian // We have a POD type. 536b66b08efSFariborz Jahanian if (E->getNumConstructorArgs() == 0) 537b66b08efSFariborz Jahanian return; 538b66b08efSFariborz Jahanian 539d5202e09SFariborz Jahanian const llvm::Type *SizeTy = ConvertType(getContext().getSizeType()); 540d5202e09SFariborz Jahanian 541d5202e09SFariborz Jahanian // Create a temporary for the loop index and initialize it with 0. 542d5202e09SFariborz Jahanian llvm::Value *IndexPtr = CreateTempAlloca(SizeTy, "loop.index"); 543d5202e09SFariborz Jahanian llvm::Value *Zero = llvm::Constant::getNullValue(SizeTy); 544d5202e09SFariborz Jahanian Builder.CreateStore(Zero, IndexPtr); 545d5202e09SFariborz Jahanian 546d5202e09SFariborz Jahanian // Start the loop with a block that tests the condition. 547d5202e09SFariborz Jahanian llvm::BasicBlock *CondBlock = createBasicBlock("for.cond"); 548d5202e09SFariborz Jahanian llvm::BasicBlock *AfterFor = createBasicBlock("for.end"); 549d5202e09SFariborz Jahanian 550d5202e09SFariborz Jahanian EmitBlock(CondBlock); 551d5202e09SFariborz Jahanian 552d5202e09SFariborz Jahanian llvm::BasicBlock *ForBody = createBasicBlock("for.body"); 553d5202e09SFariborz Jahanian 554d5202e09SFariborz Jahanian // Generate: if (loop-index < number-of-elements fall to the loop body, 555d5202e09SFariborz Jahanian // otherwise, go to the block after the for-loop. 556d5202e09SFariborz Jahanian llvm::Value *Counter = Builder.CreateLoad(IndexPtr); 557d5202e09SFariborz Jahanian llvm::Value *IsLess = Builder.CreateICmpULT(Counter, NumElements, "isless"); 558d5202e09SFariborz Jahanian // If the condition is true, execute the body. 559d5202e09SFariborz Jahanian Builder.CreateCondBr(IsLess, ForBody, AfterFor); 560d5202e09SFariborz Jahanian 561d5202e09SFariborz Jahanian EmitBlock(ForBody); 562d5202e09SFariborz Jahanian 563d5202e09SFariborz Jahanian llvm::BasicBlock *ContinueBlock = createBasicBlock("for.inc"); 564d5202e09SFariborz Jahanian // Inside the loop body, emit the constructor call on the array element. 565d5202e09SFariborz Jahanian Counter = Builder.CreateLoad(IndexPtr); 566d5202e09SFariborz Jahanian llvm::Value *Address = Builder.CreateInBoundsGEP(NewPtr, Counter, 567d5202e09SFariborz Jahanian "arrayidx"); 568d5202e09SFariborz Jahanian StoreAnyExprIntoOneUnit(*this, E, Address); 569d5202e09SFariborz Jahanian 570d5202e09SFariborz Jahanian EmitBlock(ContinueBlock); 571d5202e09SFariborz Jahanian 572d5202e09SFariborz Jahanian // Emit the increment of the loop counter. 573d5202e09SFariborz Jahanian llvm::Value *NextVal = llvm::ConstantInt::get(SizeTy, 1); 574d5202e09SFariborz Jahanian Counter = Builder.CreateLoad(IndexPtr); 575d5202e09SFariborz Jahanian NextVal = Builder.CreateAdd(Counter, NextVal, "inc"); 576d5202e09SFariborz Jahanian Builder.CreateStore(NextVal, IndexPtr); 577d5202e09SFariborz Jahanian 578d5202e09SFariborz Jahanian // Finally, branch back up to the condition for the next iteration. 579d5202e09SFariborz Jahanian EmitBranch(CondBlock); 580d5202e09SFariborz Jahanian 581d5202e09SFariborz Jahanian // Emit the fall-through block. 582d5202e09SFariborz Jahanian EmitBlock(AfterFor, true); 583d5202e09SFariborz Jahanian } 584d5202e09SFariborz Jahanian 58505fc5be3SDouglas Gregor static void EmitZeroMemSet(CodeGenFunction &CGF, QualType T, 58605fc5be3SDouglas Gregor llvm::Value *NewPtr, llvm::Value *Size) { 58705fc5be3SDouglas Gregor llvm::LLVMContext &VMContext = CGF.CGM.getLLVMContext(); 58805fc5be3SDouglas Gregor const llvm::Type *BP = llvm::Type::getInt8PtrTy(VMContext); 58905fc5be3SDouglas Gregor if (NewPtr->getType() != BP) 59005fc5be3SDouglas Gregor NewPtr = CGF.Builder.CreateBitCast(NewPtr, BP, "tmp"); 59105fc5be3SDouglas Gregor 59205fc5be3SDouglas Gregor CGF.Builder.CreateCall5(CGF.CGM.getMemSetFn(BP, CGF.IntPtrTy), NewPtr, 59305fc5be3SDouglas Gregor llvm::Constant::getNullValue(llvm::Type::getInt8Ty(VMContext)), 59405fc5be3SDouglas Gregor Size, 59505fc5be3SDouglas Gregor llvm::ConstantInt::get(CGF.Int32Ty, 59605fc5be3SDouglas Gregor CGF.getContext().getTypeAlign(T)/8), 59705fc5be3SDouglas Gregor llvm::ConstantInt::get(llvm::Type::getInt1Ty(VMContext), 59805fc5be3SDouglas Gregor 0)); 59905fc5be3SDouglas Gregor } 60005fc5be3SDouglas Gregor 60159486a2dSAnders Carlsson static void EmitNewInitializer(CodeGenFunction &CGF, const CXXNewExpr *E, 60259486a2dSAnders Carlsson llvm::Value *NewPtr, 60305fc5be3SDouglas Gregor llvm::Value *NumElements, 60405fc5be3SDouglas Gregor llvm::Value *AllocSizeWithoutCookie) { 6053a202f60SAnders Carlsson if (E->isArray()) { 606d040e6b2SAnders Carlsson if (CXXConstructorDecl *Ctor = E->getConstructor()) { 60705fc5be3SDouglas Gregor bool RequiresZeroInitialization = false; 60805fc5be3SDouglas Gregor if (Ctor->getParent()->hasTrivialConstructor()) { 60905fc5be3SDouglas Gregor // If new expression did not specify value-initialization, then there 61005fc5be3SDouglas Gregor // is no initialization. 61105fc5be3SDouglas Gregor if (!E->hasInitializer() || Ctor->getParent()->isEmpty()) 61205fc5be3SDouglas Gregor return; 61305fc5be3SDouglas Gregor 614614dbdcdSJohn McCall if (CGF.CGM.getTypes().isZeroInitializable(E->getAllocatedType())) { 61505fc5be3SDouglas Gregor // Optimization: since zero initialization will just set the memory 61605fc5be3SDouglas Gregor // to all zeroes, generate a single memset to do it in one shot. 61705fc5be3SDouglas Gregor EmitZeroMemSet(CGF, E->getAllocatedType(), NewPtr, 61805fc5be3SDouglas Gregor AllocSizeWithoutCookie); 6193a202f60SAnders Carlsson return; 6203a202f60SAnders Carlsson } 62105fc5be3SDouglas Gregor 62205fc5be3SDouglas Gregor RequiresZeroInitialization = true; 62305fc5be3SDouglas Gregor } 62405fc5be3SDouglas Gregor 62505fc5be3SDouglas Gregor CGF.EmitCXXAggrConstructorCall(Ctor, NumElements, NewPtr, 62605fc5be3SDouglas Gregor E->constructor_arg_begin(), 62705fc5be3SDouglas Gregor E->constructor_arg_end(), 62805fc5be3SDouglas Gregor RequiresZeroInitialization); 62905fc5be3SDouglas Gregor return; 63005fc5be3SDouglas Gregor } else if (E->getNumConstructorArgs() == 1 && 63105fc5be3SDouglas Gregor isa<ImplicitValueInitExpr>(E->getConstructorArg(0))) { 63205fc5be3SDouglas Gregor // Optimization: since zero initialization will just set the memory 63305fc5be3SDouglas Gregor // to all zeroes, generate a single memset to do it in one shot. 63405fc5be3SDouglas Gregor EmitZeroMemSet(CGF, E->getAllocatedType(), NewPtr, 63505fc5be3SDouglas Gregor AllocSizeWithoutCookie); 63605fc5be3SDouglas Gregor return; 63705fc5be3SDouglas Gregor } else { 638d5202e09SFariborz Jahanian CGF.EmitNewArrayInitializer(E, NewPtr, NumElements); 639d5202e09SFariborz Jahanian return; 640d040e6b2SAnders Carlsson } 641d5202e09SFariborz Jahanian } 64259486a2dSAnders Carlsson 64359486a2dSAnders Carlsson if (CXXConstructorDecl *Ctor = E->getConstructor()) { 644747eb784SDouglas Gregor // Per C++ [expr.new]p15, if we have an initializer, then we're performing 645747eb784SDouglas Gregor // direct initialization. C++ [dcl.init]p5 requires that we 646747eb784SDouglas Gregor // zero-initialize storage if there are no user-declared constructors. 647747eb784SDouglas Gregor if (E->hasInitializer() && 648747eb784SDouglas Gregor !Ctor->getParent()->hasUserDeclaredConstructor() && 649747eb784SDouglas Gregor !Ctor->getParent()->isEmpty()) 650747eb784SDouglas Gregor CGF.EmitNullInitialization(NewPtr, E->getAllocatedType()); 651747eb784SDouglas Gregor 652e11f9ce9SAnders Carlsson CGF.EmitCXXConstructorCall(Ctor, Ctor_Complete, /*ForVirtualBase=*/false, 653e11f9ce9SAnders Carlsson NewPtr, E->constructor_arg_begin(), 65459486a2dSAnders Carlsson E->constructor_arg_end()); 65559486a2dSAnders Carlsson 65659486a2dSAnders Carlsson return; 65759486a2dSAnders Carlsson } 658b66b08efSFariborz Jahanian // We have a POD type. 659b66b08efSFariborz Jahanian if (E->getNumConstructorArgs() == 0) 660b66b08efSFariborz Jahanian return; 66159486a2dSAnders Carlsson 662d5202e09SFariborz Jahanian StoreAnyExprIntoOneUnit(CGF, E, NewPtr); 66359486a2dSAnders Carlsson } 66459486a2dSAnders Carlsson 66559486a2dSAnders Carlsson llvm::Value *CodeGenFunction::EmitCXXNewExpr(const CXXNewExpr *E) { 66659486a2dSAnders Carlsson QualType AllocType = E->getAllocatedType(); 6678ed55a54SJohn McCall if (AllocType->isArrayType()) 6688ed55a54SJohn McCall while (const ArrayType *AType = getContext().getAsArrayType(AllocType)) 6698ed55a54SJohn McCall AllocType = AType->getElementType(); 6708ed55a54SJohn McCall 67159486a2dSAnders Carlsson FunctionDecl *NewFD = E->getOperatorNew(); 67259486a2dSAnders Carlsson const FunctionProtoType *NewFTy = NewFD->getType()->getAs<FunctionProtoType>(); 67359486a2dSAnders Carlsson 67459486a2dSAnders Carlsson CallArgList NewArgs; 67559486a2dSAnders Carlsson 67659486a2dSAnders Carlsson // The allocation size is the first argument. 67759486a2dSAnders Carlsson QualType SizeTy = getContext().getSizeType(); 67859486a2dSAnders Carlsson 67959486a2dSAnders Carlsson llvm::Value *NumElements = 0; 68005fc5be3SDouglas Gregor llvm::Value *AllocSizeWithoutCookie = 0; 68147b4629bSFariborz Jahanian llvm::Value *AllocSize = EmitCXXNewAllocSize(getContext(), 68205fc5be3SDouglas Gregor *this, E, NumElements, 68305fc5be3SDouglas Gregor AllocSizeWithoutCookie); 68459486a2dSAnders Carlsson 68559486a2dSAnders Carlsson NewArgs.push_back(std::make_pair(RValue::get(AllocSize), SizeTy)); 68659486a2dSAnders Carlsson 68759486a2dSAnders Carlsson // Emit the rest of the arguments. 68859486a2dSAnders Carlsson // FIXME: Ideally, this should just use EmitCallArgs. 68959486a2dSAnders Carlsson CXXNewExpr::const_arg_iterator NewArg = E->placement_arg_begin(); 69059486a2dSAnders Carlsson 69159486a2dSAnders Carlsson // First, use the types from the function type. 69259486a2dSAnders Carlsson // We start at 1 here because the first argument (the allocation size) 69359486a2dSAnders Carlsson // has already been emitted. 69459486a2dSAnders Carlsson for (unsigned i = 1, e = NewFTy->getNumArgs(); i != e; ++i, ++NewArg) { 69559486a2dSAnders Carlsson QualType ArgType = NewFTy->getArgType(i); 69659486a2dSAnders Carlsson 69759486a2dSAnders Carlsson assert(getContext().getCanonicalType(ArgType.getNonReferenceType()). 69859486a2dSAnders Carlsson getTypePtr() == 69959486a2dSAnders Carlsson getContext().getCanonicalType(NewArg->getType()).getTypePtr() && 70059486a2dSAnders Carlsson "type mismatch in call argument!"); 70159486a2dSAnders Carlsson 70259486a2dSAnders Carlsson NewArgs.push_back(std::make_pair(EmitCallArg(*NewArg, ArgType), 70359486a2dSAnders Carlsson ArgType)); 70459486a2dSAnders Carlsson 70559486a2dSAnders Carlsson } 70659486a2dSAnders Carlsson 70759486a2dSAnders Carlsson // Either we've emitted all the call args, or we have a call to a 70859486a2dSAnders Carlsson // variadic function. 70959486a2dSAnders Carlsson assert((NewArg == E->placement_arg_end() || NewFTy->isVariadic()) && 71059486a2dSAnders Carlsson "Extra arguments in non-variadic function!"); 71159486a2dSAnders Carlsson 71259486a2dSAnders Carlsson // If we still have any arguments, emit them using the type of the argument. 71359486a2dSAnders Carlsson for (CXXNewExpr::const_arg_iterator NewArgEnd = E->placement_arg_end(); 71459486a2dSAnders Carlsson NewArg != NewArgEnd; ++NewArg) { 71559486a2dSAnders Carlsson QualType ArgType = NewArg->getType(); 71659486a2dSAnders Carlsson NewArgs.push_back(std::make_pair(EmitCallArg(*NewArg, ArgType), 71759486a2dSAnders Carlsson ArgType)); 71859486a2dSAnders Carlsson } 71959486a2dSAnders Carlsson 72059486a2dSAnders Carlsson // Emit the call to new. 72159486a2dSAnders Carlsson RValue RV = 722ab26cfa5SJohn McCall EmitCall(CGM.getTypes().getFunctionInfo(NewArgs, NewFTy), 72361a401caSAnders Carlsson CGM.GetAddrOfFunction(NewFD), ReturnValueSlot(), NewArgs, NewFD); 72459486a2dSAnders Carlsson 72559486a2dSAnders Carlsson // If an allocation function is declared with an empty exception specification 72659486a2dSAnders Carlsson // it returns null to indicate failure to allocate storage. [expr.new]p13. 72759486a2dSAnders Carlsson // (We don't need to check for null when there's no new initializer and 72859486a2dSAnders Carlsson // we're allocating a POD type). 72959486a2dSAnders Carlsson bool NullCheckResult = NewFTy->hasEmptyExceptionSpec() && 73059486a2dSAnders Carlsson !(AllocType->isPODType() && !E->hasInitializer()); 73159486a2dSAnders Carlsson 7328ed55a54SJohn McCall llvm::BasicBlock *NullCheckSource = 0; 73359486a2dSAnders Carlsson llvm::BasicBlock *NewNotNull = 0; 73459486a2dSAnders Carlsson llvm::BasicBlock *NewEnd = 0; 73559486a2dSAnders Carlsson 73659486a2dSAnders Carlsson llvm::Value *NewPtr = RV.getScalarVal(); 7378ed55a54SJohn McCall unsigned AS = cast<llvm::PointerType>(NewPtr->getType())->getAddressSpace(); 73859486a2dSAnders Carlsson 73959486a2dSAnders Carlsson if (NullCheckResult) { 7408ed55a54SJohn McCall NullCheckSource = Builder.GetInsertBlock(); 74159486a2dSAnders Carlsson NewNotNull = createBasicBlock("new.notnull"); 74259486a2dSAnders Carlsson NewEnd = createBasicBlock("new.end"); 74359486a2dSAnders Carlsson 7448ed55a54SJohn McCall llvm::Value *IsNull = Builder.CreateIsNull(NewPtr, "new.isnull"); 7458ed55a54SJohn McCall Builder.CreateCondBr(IsNull, NewEnd, NewNotNull); 74659486a2dSAnders Carlsson EmitBlock(NewNotNull); 74759486a2dSAnders Carlsson } 74859486a2dSAnders Carlsson 7498ed55a54SJohn McCall assert((AllocSize == AllocSizeWithoutCookie) == 7508ed55a54SJohn McCall CalculateCookiePadding(*this, E).isZero()); 7518ed55a54SJohn McCall if (AllocSize != AllocSizeWithoutCookie) { 7528ed55a54SJohn McCall assert(E->isArray()); 7538ed55a54SJohn McCall NewPtr = CGM.getCXXABI().InitializeArrayCookie(CGF, NewPtr, NumElements, 7548ed55a54SJohn McCall AllocType); 75559486a2dSAnders Carlsson } 75659486a2dSAnders Carlsson 757*040ad500SDouglas Gregor const llvm::Type *ElementPtrTy 758*040ad500SDouglas Gregor = ConvertTypeForMem(AllocType)->getPointerTo(AS); 7598ed55a54SJohn McCall NewPtr = Builder.CreateBitCast(NewPtr, ElementPtrTy); 7608ed55a54SJohn McCall if (E->isArray()) { 76105fc5be3SDouglas Gregor EmitNewInitializer(*this, E, NewPtr, NumElements, AllocSizeWithoutCookie); 7628ed55a54SJohn McCall 7638ed55a54SJohn McCall // NewPtr is a pointer to the base element type. If we're 7648ed55a54SJohn McCall // allocating an array of arrays, we'll need to cast back to the 7658ed55a54SJohn McCall // array pointer type. 766*040ad500SDouglas Gregor const llvm::Type *ResultTy = ConvertTypeForMem(E->getType()); 7678ed55a54SJohn McCall if (NewPtr->getType() != ResultTy) 7688ed55a54SJohn McCall NewPtr = Builder.CreateBitCast(NewPtr, ResultTy); 7698ed55a54SJohn McCall } else { 77005fc5be3SDouglas Gregor EmitNewInitializer(*this, E, NewPtr, NumElements, AllocSizeWithoutCookie); 77147b4629bSFariborz Jahanian } 77259486a2dSAnders Carlsson 77359486a2dSAnders Carlsson if (NullCheckResult) { 77459486a2dSAnders Carlsson Builder.CreateBr(NewEnd); 7758ed55a54SJohn McCall llvm::BasicBlock *NotNullSource = Builder.GetInsertBlock(); 77659486a2dSAnders Carlsson EmitBlock(NewEnd); 77759486a2dSAnders Carlsson 77859486a2dSAnders Carlsson llvm::PHINode *PHI = Builder.CreatePHI(NewPtr->getType()); 77959486a2dSAnders Carlsson PHI->reserveOperandSpace(2); 7808ed55a54SJohn McCall PHI->addIncoming(NewPtr, NotNullSource); 7818ed55a54SJohn McCall PHI->addIncoming(llvm::Constant::getNullValue(NewPtr->getType()), 7828ed55a54SJohn McCall NullCheckSource); 78359486a2dSAnders Carlsson 78459486a2dSAnders Carlsson NewPtr = PHI; 78559486a2dSAnders Carlsson } 78659486a2dSAnders Carlsson 78759486a2dSAnders Carlsson return NewPtr; 78859486a2dSAnders Carlsson } 78959486a2dSAnders Carlsson 79059486a2dSAnders Carlsson void CodeGenFunction::EmitDeleteCall(const FunctionDecl *DeleteFD, 79159486a2dSAnders Carlsson llvm::Value *Ptr, 79259486a2dSAnders Carlsson QualType DeleteTy) { 7938ed55a54SJohn McCall assert(DeleteFD->getOverloadedOperator() == OO_Delete); 7948ed55a54SJohn McCall 79559486a2dSAnders Carlsson const FunctionProtoType *DeleteFTy = 79659486a2dSAnders Carlsson DeleteFD->getType()->getAs<FunctionProtoType>(); 79759486a2dSAnders Carlsson 79859486a2dSAnders Carlsson CallArgList DeleteArgs; 79959486a2dSAnders Carlsson 80021122cf6SAnders Carlsson // Check if we need to pass the size to the delete operator. 80121122cf6SAnders Carlsson llvm::Value *Size = 0; 80221122cf6SAnders Carlsson QualType SizeTy; 80321122cf6SAnders Carlsson if (DeleteFTy->getNumArgs() == 2) { 80421122cf6SAnders Carlsson SizeTy = DeleteFTy->getArgType(1); 8057df3cbebSKen Dyck CharUnits DeleteTypeSize = getContext().getTypeSizeInChars(DeleteTy); 8067df3cbebSKen Dyck Size = llvm::ConstantInt::get(ConvertType(SizeTy), 8077df3cbebSKen Dyck DeleteTypeSize.getQuantity()); 80821122cf6SAnders Carlsson } 80921122cf6SAnders Carlsson 81059486a2dSAnders Carlsson QualType ArgTy = DeleteFTy->getArgType(0); 81159486a2dSAnders Carlsson llvm::Value *DeletePtr = Builder.CreateBitCast(Ptr, ConvertType(ArgTy)); 81259486a2dSAnders Carlsson DeleteArgs.push_back(std::make_pair(RValue::get(DeletePtr), ArgTy)); 81359486a2dSAnders Carlsson 81421122cf6SAnders Carlsson if (Size) 81559486a2dSAnders Carlsson DeleteArgs.push_back(std::make_pair(RValue::get(Size), SizeTy)); 81659486a2dSAnders Carlsson 81759486a2dSAnders Carlsson // Emit the call to delete. 818ab26cfa5SJohn McCall EmitCall(CGM.getTypes().getFunctionInfo(DeleteArgs, DeleteFTy), 81961a401caSAnders Carlsson CGM.GetAddrOfFunction(DeleteFD), ReturnValueSlot(), 82059486a2dSAnders Carlsson DeleteArgs, DeleteFD); 82159486a2dSAnders Carlsson } 82259486a2dSAnders Carlsson 8238ed55a54SJohn McCall namespace { 8248ed55a54SJohn McCall /// Calls the given 'operator delete' on a single object. 8258ed55a54SJohn McCall struct CallObjectDelete : EHScopeStack::Cleanup { 8268ed55a54SJohn McCall llvm::Value *Ptr; 8278ed55a54SJohn McCall const FunctionDecl *OperatorDelete; 8288ed55a54SJohn McCall QualType ElementType; 8298ed55a54SJohn McCall 8308ed55a54SJohn McCall CallObjectDelete(llvm::Value *Ptr, 8318ed55a54SJohn McCall const FunctionDecl *OperatorDelete, 8328ed55a54SJohn McCall QualType ElementType) 8338ed55a54SJohn McCall : Ptr(Ptr), OperatorDelete(OperatorDelete), ElementType(ElementType) {} 8348ed55a54SJohn McCall 8358ed55a54SJohn McCall void Emit(CodeGenFunction &CGF, bool IsForEH) { 8368ed55a54SJohn McCall CGF.EmitDeleteCall(OperatorDelete, Ptr, ElementType); 8378ed55a54SJohn McCall } 8388ed55a54SJohn McCall }; 8398ed55a54SJohn McCall } 8408ed55a54SJohn McCall 8418ed55a54SJohn McCall /// Emit the code for deleting a single object. 8428ed55a54SJohn McCall static void EmitObjectDelete(CodeGenFunction &CGF, 8438ed55a54SJohn McCall const FunctionDecl *OperatorDelete, 8448ed55a54SJohn McCall llvm::Value *Ptr, 8458ed55a54SJohn McCall QualType ElementType) { 8468ed55a54SJohn McCall // Find the destructor for the type, if applicable. If the 8478ed55a54SJohn McCall // destructor is virtual, we'll just emit the vcall and return. 8488ed55a54SJohn McCall const CXXDestructorDecl *Dtor = 0; 8498ed55a54SJohn McCall if (const RecordType *RT = ElementType->getAs<RecordType>()) { 8508ed55a54SJohn McCall CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl()); 8518ed55a54SJohn McCall if (!RD->hasTrivialDestructor()) { 8528ed55a54SJohn McCall Dtor = RD->getDestructor(); 8538ed55a54SJohn McCall 8548ed55a54SJohn McCall if (Dtor->isVirtual()) { 8558ed55a54SJohn McCall const llvm::Type *Ty = 8568ed55a54SJohn McCall CGF.getTypes().GetFunctionType(CGF.getTypes().getFunctionInfo(Dtor), 8578ed55a54SJohn McCall /*isVariadic=*/false); 8588ed55a54SJohn McCall 8598ed55a54SJohn McCall llvm::Value *Callee 8608ed55a54SJohn McCall = CGF.BuildVirtualCall(Dtor, Dtor_Deleting, Ptr, Ty); 8618ed55a54SJohn McCall CGF.EmitCXXMemberCall(Dtor, Callee, ReturnValueSlot(), Ptr, /*VTT=*/0, 8628ed55a54SJohn McCall 0, 0); 8638ed55a54SJohn McCall 8648ed55a54SJohn McCall // The dtor took care of deleting the object. 8658ed55a54SJohn McCall return; 8668ed55a54SJohn McCall } 8678ed55a54SJohn McCall } 8688ed55a54SJohn McCall } 8698ed55a54SJohn McCall 8708ed55a54SJohn McCall // Make sure that we call delete even if the dtor throws. 8718ed55a54SJohn McCall CGF.EHStack.pushCleanup<CallObjectDelete>(NormalAndEHCleanup, 8728ed55a54SJohn McCall Ptr, OperatorDelete, ElementType); 8738ed55a54SJohn McCall 8748ed55a54SJohn McCall if (Dtor) 8758ed55a54SJohn McCall CGF.EmitCXXDestructorCall(Dtor, Dtor_Complete, 8768ed55a54SJohn McCall /*ForVirtualBase=*/false, Ptr); 8778ed55a54SJohn McCall 8788ed55a54SJohn McCall CGF.PopCleanupBlock(); 8798ed55a54SJohn McCall } 8808ed55a54SJohn McCall 8818ed55a54SJohn McCall namespace { 8828ed55a54SJohn McCall /// Calls the given 'operator delete' on an array of objects. 8838ed55a54SJohn McCall struct CallArrayDelete : EHScopeStack::Cleanup { 8848ed55a54SJohn McCall llvm::Value *Ptr; 8858ed55a54SJohn McCall const FunctionDecl *OperatorDelete; 8868ed55a54SJohn McCall llvm::Value *NumElements; 8878ed55a54SJohn McCall QualType ElementType; 8888ed55a54SJohn McCall CharUnits CookieSize; 8898ed55a54SJohn McCall 8908ed55a54SJohn McCall CallArrayDelete(llvm::Value *Ptr, 8918ed55a54SJohn McCall const FunctionDecl *OperatorDelete, 8928ed55a54SJohn McCall llvm::Value *NumElements, 8938ed55a54SJohn McCall QualType ElementType, 8948ed55a54SJohn McCall CharUnits CookieSize) 8958ed55a54SJohn McCall : Ptr(Ptr), OperatorDelete(OperatorDelete), NumElements(NumElements), 8968ed55a54SJohn McCall ElementType(ElementType), CookieSize(CookieSize) {} 8978ed55a54SJohn McCall 8988ed55a54SJohn McCall void Emit(CodeGenFunction &CGF, bool IsForEH) { 8998ed55a54SJohn McCall const FunctionProtoType *DeleteFTy = 9008ed55a54SJohn McCall OperatorDelete->getType()->getAs<FunctionProtoType>(); 9018ed55a54SJohn McCall assert(DeleteFTy->getNumArgs() == 1 || DeleteFTy->getNumArgs() == 2); 9028ed55a54SJohn McCall 9038ed55a54SJohn McCall CallArgList Args; 9048ed55a54SJohn McCall 9058ed55a54SJohn McCall // Pass the pointer as the first argument. 9068ed55a54SJohn McCall QualType VoidPtrTy = DeleteFTy->getArgType(0); 9078ed55a54SJohn McCall llvm::Value *DeletePtr 9088ed55a54SJohn McCall = CGF.Builder.CreateBitCast(Ptr, CGF.ConvertType(VoidPtrTy)); 9098ed55a54SJohn McCall Args.push_back(std::make_pair(RValue::get(DeletePtr), VoidPtrTy)); 9108ed55a54SJohn McCall 9118ed55a54SJohn McCall // Pass the original requested size as the second argument. 9128ed55a54SJohn McCall if (DeleteFTy->getNumArgs() == 2) { 9138ed55a54SJohn McCall QualType size_t = DeleteFTy->getArgType(1); 9148ed55a54SJohn McCall const llvm::IntegerType *SizeTy 9158ed55a54SJohn McCall = cast<llvm::IntegerType>(CGF.ConvertType(size_t)); 9168ed55a54SJohn McCall 9178ed55a54SJohn McCall CharUnits ElementTypeSize = 9188ed55a54SJohn McCall CGF.CGM.getContext().getTypeSizeInChars(ElementType); 9198ed55a54SJohn McCall 9208ed55a54SJohn McCall // The size of an element, multiplied by the number of elements. 9218ed55a54SJohn McCall llvm::Value *Size 9228ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, ElementTypeSize.getQuantity()); 9238ed55a54SJohn McCall Size = CGF.Builder.CreateMul(Size, NumElements); 9248ed55a54SJohn McCall 9258ed55a54SJohn McCall // Plus the size of the cookie if applicable. 9268ed55a54SJohn McCall if (!CookieSize.isZero()) { 9278ed55a54SJohn McCall llvm::Value *CookieSizeV 9288ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, CookieSize.getQuantity()); 9298ed55a54SJohn McCall Size = CGF.Builder.CreateAdd(Size, CookieSizeV); 9308ed55a54SJohn McCall } 9318ed55a54SJohn McCall 9328ed55a54SJohn McCall Args.push_back(std::make_pair(RValue::get(Size), size_t)); 9338ed55a54SJohn McCall } 9348ed55a54SJohn McCall 9358ed55a54SJohn McCall // Emit the call to delete. 9368ed55a54SJohn McCall CGF.EmitCall(CGF.getTypes().getFunctionInfo(Args, DeleteFTy), 9378ed55a54SJohn McCall CGF.CGM.GetAddrOfFunction(OperatorDelete), 9388ed55a54SJohn McCall ReturnValueSlot(), Args, OperatorDelete); 9398ed55a54SJohn McCall } 9408ed55a54SJohn McCall }; 9418ed55a54SJohn McCall } 9428ed55a54SJohn McCall 9438ed55a54SJohn McCall /// Emit the code for deleting an array of objects. 9448ed55a54SJohn McCall static void EmitArrayDelete(CodeGenFunction &CGF, 9458ed55a54SJohn McCall const FunctionDecl *OperatorDelete, 9468ed55a54SJohn McCall llvm::Value *Ptr, 9478ed55a54SJohn McCall QualType ElementType) { 9488ed55a54SJohn McCall llvm::Value *NumElements = 0; 9498ed55a54SJohn McCall llvm::Value *AllocatedPtr = 0; 9508ed55a54SJohn McCall CharUnits CookieSize; 9518ed55a54SJohn McCall CGF.CGM.getCXXABI().ReadArrayCookie(CGF, Ptr, ElementType, 9528ed55a54SJohn McCall NumElements, AllocatedPtr, CookieSize); 9538ed55a54SJohn McCall 9548ed55a54SJohn McCall assert(AllocatedPtr && "ReadArrayCookie didn't set AllocatedPtr"); 9558ed55a54SJohn McCall 9568ed55a54SJohn McCall // Make sure that we call delete even if one of the dtors throws. 9578ed55a54SJohn McCall CGF.EHStack.pushCleanup<CallArrayDelete>(NormalAndEHCleanup, 9588ed55a54SJohn McCall AllocatedPtr, OperatorDelete, 9598ed55a54SJohn McCall NumElements, ElementType, 9608ed55a54SJohn McCall CookieSize); 9618ed55a54SJohn McCall 9628ed55a54SJohn McCall if (const CXXRecordDecl *RD = ElementType->getAsCXXRecordDecl()) { 9638ed55a54SJohn McCall if (!RD->hasTrivialDestructor()) { 9648ed55a54SJohn McCall assert(NumElements && "ReadArrayCookie didn't find element count" 9658ed55a54SJohn McCall " for a class with destructor"); 9668ed55a54SJohn McCall CGF.EmitCXXAggrDestructorCall(RD->getDestructor(), NumElements, Ptr); 9678ed55a54SJohn McCall } 9688ed55a54SJohn McCall } 9698ed55a54SJohn McCall 9708ed55a54SJohn McCall CGF.PopCleanupBlock(); 9718ed55a54SJohn McCall } 9728ed55a54SJohn McCall 97359486a2dSAnders Carlsson void CodeGenFunction::EmitCXXDeleteExpr(const CXXDeleteExpr *E) { 97459486a2dSAnders Carlsson 97559486a2dSAnders Carlsson // Get at the argument before we performed the implicit conversion 97659486a2dSAnders Carlsson // to void*. 97759486a2dSAnders Carlsson const Expr *Arg = E->getArgument(); 97859486a2dSAnders Carlsson while (const ImplicitCastExpr *ICE = dyn_cast<ImplicitCastExpr>(Arg)) { 979e302792bSJohn McCall if (ICE->getCastKind() != CK_UserDefinedConversion && 98059486a2dSAnders Carlsson ICE->getType()->isVoidPointerType()) 98159486a2dSAnders Carlsson Arg = ICE->getSubExpr(); 98259486a2dSAnders Carlsson else 98359486a2dSAnders Carlsson break; 98459486a2dSAnders Carlsson } 98559486a2dSAnders Carlsson 98659486a2dSAnders Carlsson llvm::Value *Ptr = EmitScalarExpr(Arg); 98759486a2dSAnders Carlsson 98859486a2dSAnders Carlsson // Null check the pointer. 98959486a2dSAnders Carlsson llvm::BasicBlock *DeleteNotNull = createBasicBlock("delete.notnull"); 99059486a2dSAnders Carlsson llvm::BasicBlock *DeleteEnd = createBasicBlock("delete.end"); 99159486a2dSAnders Carlsson 99259486a2dSAnders Carlsson llvm::Value *IsNull = 99359486a2dSAnders Carlsson Builder.CreateICmpEQ(Ptr, llvm::Constant::getNullValue(Ptr->getType()), 99459486a2dSAnders Carlsson "isnull"); 99559486a2dSAnders Carlsson 99659486a2dSAnders Carlsson Builder.CreateCondBr(IsNull, DeleteEnd, DeleteNotNull); 99759486a2dSAnders Carlsson EmitBlock(DeleteNotNull); 99859486a2dSAnders Carlsson 9998ed55a54SJohn McCall // We might be deleting a pointer to array. If so, GEP down to the 10008ed55a54SJohn McCall // first non-array element. 10018ed55a54SJohn McCall // (this assumes that A(*)[3][7] is converted to [3 x [7 x %A]]*) 10028ed55a54SJohn McCall QualType DeleteTy = Arg->getType()->getAs<PointerType>()->getPointeeType(); 10038ed55a54SJohn McCall if (DeleteTy->isConstantArrayType()) { 10048ed55a54SJohn McCall llvm::Value *Zero = Builder.getInt32(0); 10058ed55a54SJohn McCall llvm::SmallVector<llvm::Value*,8> GEP; 100659486a2dSAnders Carlsson 10078ed55a54SJohn McCall GEP.push_back(Zero); // point at the outermost array 10088ed55a54SJohn McCall 10098ed55a54SJohn McCall // For each layer of array type we're pointing at: 10108ed55a54SJohn McCall while (const ConstantArrayType *Arr 10118ed55a54SJohn McCall = getContext().getAsConstantArrayType(DeleteTy)) { 10128ed55a54SJohn McCall // 1. Unpeel the array type. 10138ed55a54SJohn McCall DeleteTy = Arr->getElementType(); 10148ed55a54SJohn McCall 10158ed55a54SJohn McCall // 2. GEP to the first element of the array. 10168ed55a54SJohn McCall GEP.push_back(Zero); 10178ed55a54SJohn McCall } 10188ed55a54SJohn McCall 10198ed55a54SJohn McCall Ptr = Builder.CreateInBoundsGEP(Ptr, GEP.begin(), GEP.end(), "del.first"); 10208ed55a54SJohn McCall } 10218ed55a54SJohn McCall 102204f36218SDouglas Gregor assert(ConvertTypeForMem(DeleteTy) == 102304f36218SDouglas Gregor cast<llvm::PointerType>(Ptr->getType())->getElementType()); 10248ed55a54SJohn McCall 102559486a2dSAnders Carlsson if (E->isArrayForm()) { 10268ed55a54SJohn McCall EmitArrayDelete(*this, E->getOperatorDelete(), Ptr, DeleteTy); 10278ed55a54SJohn McCall } else { 10288ed55a54SJohn McCall EmitObjectDelete(*this, E->getOperatorDelete(), Ptr, DeleteTy); 102959486a2dSAnders Carlsson } 103059486a2dSAnders Carlsson 103159486a2dSAnders Carlsson EmitBlock(DeleteEnd); 103259486a2dSAnders Carlsson } 103359486a2dSAnders Carlsson 103459486a2dSAnders Carlsson llvm::Value * CodeGenFunction::EmitCXXTypeidExpr(const CXXTypeidExpr *E) { 103559486a2dSAnders Carlsson QualType Ty = E->getType(); 103659486a2dSAnders Carlsson const llvm::Type *LTy = ConvertType(Ty)->getPointerTo(); 1037fd7dfeb7SAnders Carlsson 10383f4336cbSAnders Carlsson if (E->isTypeOperand()) { 10393f4336cbSAnders Carlsson llvm::Constant *TypeInfo = 10403f4336cbSAnders Carlsson CGM.GetAddrOfRTTIDescriptor(E->getTypeOperand()); 10413f4336cbSAnders Carlsson return Builder.CreateBitCast(TypeInfo, LTy); 10423f4336cbSAnders Carlsson } 1043fd7dfeb7SAnders Carlsson 104459486a2dSAnders Carlsson Expr *subE = E->getExprOperand(); 104559486a2dSAnders Carlsson Ty = subE->getType(); 104659486a2dSAnders Carlsson CanQualType CanTy = CGM.getContext().getCanonicalType(Ty); 104759486a2dSAnders Carlsson Ty = CanTy.getUnqualifiedType().getNonReferenceType(); 104859486a2dSAnders Carlsson if (const RecordType *RT = Ty->getAs<RecordType>()) { 104959486a2dSAnders Carlsson const CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl()); 105059486a2dSAnders Carlsson if (RD->isPolymorphic()) { 105159486a2dSAnders Carlsson // FIXME: if subE is an lvalue do 105259486a2dSAnders Carlsson LValue Obj = EmitLValue(subE); 105359486a2dSAnders Carlsson llvm::Value *This = Obj.getAddress(); 105459486a2dSAnders Carlsson LTy = LTy->getPointerTo()->getPointerTo(); 105559486a2dSAnders Carlsson llvm::Value *V = Builder.CreateBitCast(This, LTy); 105659486a2dSAnders Carlsson // We need to do a zero check for *p, unless it has NonNullAttr. 105759486a2dSAnders Carlsson // FIXME: PointerType->hasAttr<NonNullAttr>() 105859486a2dSAnders Carlsson bool CanBeZero = false; 105959486a2dSAnders Carlsson if (UnaryOperator *UO = dyn_cast<UnaryOperator>(subE->IgnoreParens())) 1060e302792bSJohn McCall if (UO->getOpcode() == UO_Deref) 106159486a2dSAnders Carlsson CanBeZero = true; 106259486a2dSAnders Carlsson if (CanBeZero) { 106359486a2dSAnders Carlsson llvm::BasicBlock *NonZeroBlock = createBasicBlock(); 106459486a2dSAnders Carlsson llvm::BasicBlock *ZeroBlock = createBasicBlock(); 106559486a2dSAnders Carlsson 106659486a2dSAnders Carlsson llvm::Value *Zero = llvm::Constant::getNullValue(LTy); 106759486a2dSAnders Carlsson Builder.CreateCondBr(Builder.CreateICmpNE(V, Zero), 106859486a2dSAnders Carlsson NonZeroBlock, ZeroBlock); 106959486a2dSAnders Carlsson EmitBlock(ZeroBlock); 107059486a2dSAnders Carlsson /// Call __cxa_bad_typeid 107159486a2dSAnders Carlsson const llvm::Type *ResultType = llvm::Type::getVoidTy(VMContext); 107259486a2dSAnders Carlsson const llvm::FunctionType *FTy; 107359486a2dSAnders Carlsson FTy = llvm::FunctionType::get(ResultType, false); 107459486a2dSAnders Carlsson llvm::Value *F = CGM.CreateRuntimeFunction(FTy, "__cxa_bad_typeid"); 107559486a2dSAnders Carlsson Builder.CreateCall(F)->setDoesNotReturn(); 107659486a2dSAnders Carlsson Builder.CreateUnreachable(); 107759486a2dSAnders Carlsson EmitBlock(NonZeroBlock); 107859486a2dSAnders Carlsson } 107959486a2dSAnders Carlsson V = Builder.CreateLoad(V, "vtable"); 108059486a2dSAnders Carlsson V = Builder.CreateConstInBoundsGEP1_64(V, -1ULL); 108159486a2dSAnders Carlsson V = Builder.CreateLoad(V); 108259486a2dSAnders Carlsson return V; 108359486a2dSAnders Carlsson } 108459486a2dSAnders Carlsson } 10853f4336cbSAnders Carlsson return Builder.CreateBitCast(CGM.GetAddrOfRTTIDescriptor(Ty), LTy); 108659486a2dSAnders Carlsson } 108759486a2dSAnders Carlsson 108859486a2dSAnders Carlsson llvm::Value *CodeGenFunction::EmitDynamicCast(llvm::Value *V, 108959486a2dSAnders Carlsson const CXXDynamicCastExpr *DCE) { 10903f4336cbSAnders Carlsson QualType SrcTy = DCE->getSubExpr()->getType(); 10913f4336cbSAnders Carlsson QualType DestTy = DCE->getTypeAsWritten(); 10923f4336cbSAnders Carlsson QualType InnerType = DestTy->getPointeeType(); 10933f4336cbSAnders Carlsson 109459486a2dSAnders Carlsson const llvm::Type *LTy = ConvertType(DCE->getType()); 109559486a2dSAnders Carlsson 109659486a2dSAnders Carlsson bool CanBeZero = false; 109759486a2dSAnders Carlsson bool ToVoid = false; 109859486a2dSAnders Carlsson bool ThrowOnBad = false; 10993f4336cbSAnders Carlsson if (DestTy->isPointerType()) { 110059486a2dSAnders Carlsson // FIXME: if PointerType->hasAttr<NonNullAttr>(), we don't set this 110159486a2dSAnders Carlsson CanBeZero = true; 110259486a2dSAnders Carlsson if (InnerType->isVoidType()) 110359486a2dSAnders Carlsson ToVoid = true; 110459486a2dSAnders Carlsson } else { 110559486a2dSAnders Carlsson LTy = LTy->getPointerTo(); 1106fa8b4955SDouglas Gregor 1107fa8b4955SDouglas Gregor // FIXME: What if exceptions are disabled? 110859486a2dSAnders Carlsson ThrowOnBad = true; 110959486a2dSAnders Carlsson } 111059486a2dSAnders Carlsson 11113f4336cbSAnders Carlsson if (SrcTy->isPointerType() || SrcTy->isReferenceType()) 11123f4336cbSAnders Carlsson SrcTy = SrcTy->getPointeeType(); 11133f4336cbSAnders Carlsson SrcTy = SrcTy.getUnqualifiedType(); 11143f4336cbSAnders Carlsson 11150087bc85SAnders Carlsson if (DestTy->isPointerType() || DestTy->isReferenceType()) 11163f4336cbSAnders Carlsson DestTy = DestTy->getPointeeType(); 11173f4336cbSAnders Carlsson DestTy = DestTy.getUnqualifiedType(); 111859486a2dSAnders Carlsson 111959486a2dSAnders Carlsson llvm::BasicBlock *ContBlock = createBasicBlock(); 112059486a2dSAnders Carlsson llvm::BasicBlock *NullBlock = 0; 112159486a2dSAnders Carlsson llvm::BasicBlock *NonZeroBlock = 0; 112259486a2dSAnders Carlsson if (CanBeZero) { 112359486a2dSAnders Carlsson NonZeroBlock = createBasicBlock(); 112459486a2dSAnders Carlsson NullBlock = createBasicBlock(); 11253f4336cbSAnders Carlsson Builder.CreateCondBr(Builder.CreateIsNotNull(V), NonZeroBlock, NullBlock); 112659486a2dSAnders Carlsson EmitBlock(NonZeroBlock); 112759486a2dSAnders Carlsson } 112859486a2dSAnders Carlsson 112959486a2dSAnders Carlsson llvm::BasicBlock *BadCastBlock = 0; 113059486a2dSAnders Carlsson 11313f4336cbSAnders Carlsson const llvm::Type *PtrDiffTy = ConvertType(getContext().getPointerDiffType()); 113259486a2dSAnders Carlsson 113359486a2dSAnders Carlsson // See if this is a dynamic_cast(void*) 113459486a2dSAnders Carlsson if (ToVoid) { 113559486a2dSAnders Carlsson llvm::Value *This = V; 113659486a2dSAnders Carlsson V = Builder.CreateBitCast(This, PtrDiffTy->getPointerTo()->getPointerTo()); 113759486a2dSAnders Carlsson V = Builder.CreateLoad(V, "vtable"); 113859486a2dSAnders Carlsson V = Builder.CreateConstInBoundsGEP1_64(V, -2ULL); 113959486a2dSAnders Carlsson V = Builder.CreateLoad(V, "offset to top"); 114059486a2dSAnders Carlsson This = Builder.CreateBitCast(This, llvm::Type::getInt8PtrTy(VMContext)); 114159486a2dSAnders Carlsson V = Builder.CreateInBoundsGEP(This, V); 114259486a2dSAnders Carlsson V = Builder.CreateBitCast(V, LTy); 114359486a2dSAnders Carlsson } else { 114459486a2dSAnders Carlsson /// Call __dynamic_cast 114559486a2dSAnders Carlsson const llvm::Type *ResultType = llvm::Type::getInt8PtrTy(VMContext); 114659486a2dSAnders Carlsson const llvm::FunctionType *FTy; 114759486a2dSAnders Carlsson std::vector<const llvm::Type*> ArgTys; 114859486a2dSAnders Carlsson const llvm::Type *PtrToInt8Ty 114959486a2dSAnders Carlsson = llvm::Type::getInt8Ty(VMContext)->getPointerTo(); 115059486a2dSAnders Carlsson ArgTys.push_back(PtrToInt8Ty); 115159486a2dSAnders Carlsson ArgTys.push_back(PtrToInt8Ty); 115259486a2dSAnders Carlsson ArgTys.push_back(PtrToInt8Ty); 115359486a2dSAnders Carlsson ArgTys.push_back(PtrDiffTy); 115459486a2dSAnders Carlsson FTy = llvm::FunctionType::get(ResultType, ArgTys, false); 115559486a2dSAnders Carlsson 115659486a2dSAnders Carlsson // FIXME: Calculate better hint. 115759486a2dSAnders Carlsson llvm::Value *hint = llvm::ConstantInt::get(PtrDiffTy, -1ULL); 11583f4336cbSAnders Carlsson 11593f4336cbSAnders Carlsson assert(SrcTy->isRecordType() && "Src type must be record type!"); 11603f4336cbSAnders Carlsson assert(DestTy->isRecordType() && "Dest type must be record type!"); 11613f4336cbSAnders Carlsson 1162247894b3SDouglas Gregor llvm::Value *SrcArg 1163247894b3SDouglas Gregor = CGM.GetAddrOfRTTIDescriptor(SrcTy.getUnqualifiedType()); 1164247894b3SDouglas Gregor llvm::Value *DestArg 1165247894b3SDouglas Gregor = CGM.GetAddrOfRTTIDescriptor(DestTy.getUnqualifiedType()); 11663f4336cbSAnders Carlsson 116759486a2dSAnders Carlsson V = Builder.CreateBitCast(V, PtrToInt8Ty); 116859486a2dSAnders Carlsson V = Builder.CreateCall4(CGM.CreateRuntimeFunction(FTy, "__dynamic_cast"), 11693f4336cbSAnders Carlsson V, SrcArg, DestArg, hint); 117059486a2dSAnders Carlsson V = Builder.CreateBitCast(V, LTy); 117159486a2dSAnders Carlsson 117259486a2dSAnders Carlsson if (ThrowOnBad) { 117359486a2dSAnders Carlsson BadCastBlock = createBasicBlock(); 11743f4336cbSAnders Carlsson Builder.CreateCondBr(Builder.CreateIsNotNull(V), ContBlock, BadCastBlock); 117559486a2dSAnders Carlsson EmitBlock(BadCastBlock); 1176fa8b4955SDouglas Gregor /// Invoke __cxa_bad_cast 117759486a2dSAnders Carlsson ResultType = llvm::Type::getVoidTy(VMContext); 117859486a2dSAnders Carlsson const llvm::FunctionType *FBadTy; 117959486a2dSAnders Carlsson FBadTy = llvm::FunctionType::get(ResultType, false); 118059486a2dSAnders Carlsson llvm::Value *F = CGM.CreateRuntimeFunction(FBadTy, "__cxa_bad_cast"); 1181fa8b4955SDouglas Gregor if (llvm::BasicBlock *InvokeDest = getInvokeDest()) { 1182fa8b4955SDouglas Gregor llvm::BasicBlock *Cont = createBasicBlock("invoke.cont"); 1183fa8b4955SDouglas Gregor Builder.CreateInvoke(F, Cont, InvokeDest)->setDoesNotReturn(); 1184fa8b4955SDouglas Gregor EmitBlock(Cont); 1185fa8b4955SDouglas Gregor } else { 1186fa8b4955SDouglas Gregor // FIXME: Does this ever make sense? 118759486a2dSAnders Carlsson Builder.CreateCall(F)->setDoesNotReturn(); 1188fa8b4955SDouglas Gregor } 118959486a2dSAnders Carlsson Builder.CreateUnreachable(); 119059486a2dSAnders Carlsson } 119159486a2dSAnders Carlsson } 119259486a2dSAnders Carlsson 119359486a2dSAnders Carlsson if (CanBeZero) { 119459486a2dSAnders Carlsson Builder.CreateBr(ContBlock); 119559486a2dSAnders Carlsson EmitBlock(NullBlock); 119659486a2dSAnders Carlsson Builder.CreateBr(ContBlock); 119759486a2dSAnders Carlsson } 119859486a2dSAnders Carlsson EmitBlock(ContBlock); 119959486a2dSAnders Carlsson if (CanBeZero) { 120059486a2dSAnders Carlsson llvm::PHINode *PHI = Builder.CreatePHI(LTy); 120159486a2dSAnders Carlsson PHI->reserveOperandSpace(2); 120259486a2dSAnders Carlsson PHI->addIncoming(V, NonZeroBlock); 120359486a2dSAnders Carlsson PHI->addIncoming(llvm::Constant::getNullValue(LTy), NullBlock); 120459486a2dSAnders Carlsson V = PHI; 120559486a2dSAnders Carlsson } 120659486a2dSAnders Carlsson 120759486a2dSAnders Carlsson return V; 120859486a2dSAnders Carlsson } 1209