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" 16fe883422SPeter Collingbourne #include "CGCUDARuntime.h" 175d865c32SJohn McCall #include "CGCXXABI.h" 1860d215b6SFariborz Jahanian #include "CGObjCRuntime.h" 1991bbb554SDevang Patel #include "CGDebugInfo.h" 2026008e07SChris Lattner #include "llvm/Intrinsics.h" 21bbe277c4SAnders Carlsson #include "llvm/Support/CallSite.h" 22bbe277c4SAnders Carlsson 2359486a2dSAnders Carlsson using namespace clang; 2459486a2dSAnders Carlsson using namespace CodeGen; 2559486a2dSAnders Carlsson 2627da15baSAnders Carlsson RValue CodeGenFunction::EmitCXXMemberCall(const CXXMethodDecl *MD, 2727da15baSAnders Carlsson llvm::Value *Callee, 2827da15baSAnders Carlsson ReturnValueSlot ReturnValue, 2927da15baSAnders Carlsson llvm::Value *This, 30e36a6b3eSAnders Carlsson llvm::Value *VTT, 3127da15baSAnders Carlsson CallExpr::const_arg_iterator ArgBeg, 3227da15baSAnders Carlsson CallExpr::const_arg_iterator ArgEnd) { 3327da15baSAnders Carlsson assert(MD->isInstance() && 3427da15baSAnders Carlsson "Trying to emit a member call expr on a static method!"); 3527da15baSAnders Carlsson 3627da15baSAnders Carlsson CallArgList Args; 3727da15baSAnders Carlsson 3827da15baSAnders Carlsson // Push the this ptr. 3943dca6a8SEli Friedman Args.add(RValue::get(This), 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); 4443dca6a8SEli Friedman Args.add(RValue::get(VTT), T); 45e36a6b3eSAnders Carlsson } 46e36a6b3eSAnders Carlsson 47a729c62bSJohn McCall const FunctionProtoType *FPT = MD->getType()->castAs<FunctionProtoType>(); 48a729c62bSJohn McCall RequiredArgs required = RequiredArgs::forPrototypePlus(FPT, Args.size()); 49a729c62bSJohn McCall 50a729c62bSJohn McCall // And the rest of the call args. 5127da15baSAnders Carlsson EmitCallArgs(Args, FPT, ArgBeg, ArgEnd); 5227da15baSAnders Carlsson 53a729c62bSJohn McCall return EmitCall(CGM.getTypes().arrangeFunctionCall(FPT->getResultType(), Args, 54a729c62bSJohn McCall FPT->getExtInfo(), 55a729c62bSJohn McCall required), 56c50c27ccSRafael Espindola Callee, ReturnValue, Args, MD); 5727da15baSAnders Carlsson } 5827da15baSAnders Carlsson 59c53d9e83SAnders Carlsson // FIXME: Ideally Expr::IgnoreParenNoopCasts should do this, but it doesn't do 60c53d9e83SAnders Carlsson // quite what we want. 61c53d9e83SAnders Carlsson static const Expr *skipNoOpCastsAndParens(const Expr *E) { 62c53d9e83SAnders Carlsson while (true) { 63c53d9e83SAnders Carlsson if (const ParenExpr *PE = dyn_cast<ParenExpr>(E)) { 64c53d9e83SAnders Carlsson E = PE->getSubExpr(); 65c53d9e83SAnders Carlsson continue; 66c53d9e83SAnders Carlsson } 67c53d9e83SAnders Carlsson 68c53d9e83SAnders Carlsson if (const CastExpr *CE = dyn_cast<CastExpr>(E)) { 69c53d9e83SAnders Carlsson if (CE->getCastKind() == CK_NoOp) { 70c53d9e83SAnders Carlsson E = CE->getSubExpr(); 71c53d9e83SAnders Carlsson continue; 72c53d9e83SAnders Carlsson } 73c53d9e83SAnders Carlsson } 74c53d9e83SAnders Carlsson if (const UnaryOperator *UO = dyn_cast<UnaryOperator>(E)) { 75c53d9e83SAnders Carlsson if (UO->getOpcode() == UO_Extension) { 76c53d9e83SAnders Carlsson E = UO->getSubExpr(); 77c53d9e83SAnders Carlsson continue; 78c53d9e83SAnders Carlsson } 79c53d9e83SAnders Carlsson } 80c53d9e83SAnders Carlsson return E; 81c53d9e83SAnders Carlsson } 82c53d9e83SAnders Carlsson } 83c53d9e83SAnders Carlsson 8427da15baSAnders Carlsson /// canDevirtualizeMemberFunctionCalls - Checks whether virtual calls on given 8527da15baSAnders Carlsson /// expr can be devirtualized. 86252a47f6SFariborz Jahanian static bool canDevirtualizeMemberFunctionCalls(ASTContext &Context, 87252a47f6SFariborz Jahanian const Expr *Base, 88a7911fa3SAnders Carlsson const CXXMethodDecl *MD) { 89a7911fa3SAnders Carlsson 901ae64c5aSAnders Carlsson // When building with -fapple-kext, all calls must go through the vtable since 911ae64c5aSAnders Carlsson // the kernel linker can do runtime patching of vtables. 92bbafb8a7SDavid Blaikie if (Context.getLangOpts().AppleKext) 93252a47f6SFariborz Jahanian return false; 94252a47f6SFariborz Jahanian 951ae64c5aSAnders Carlsson // If the most derived class is marked final, we know that no subclass can 961ae64c5aSAnders Carlsson // override this member function and so we can devirtualize it. For example: 971ae64c5aSAnders Carlsson // 981ae64c5aSAnders Carlsson // struct A { virtual void f(); } 991ae64c5aSAnders Carlsson // struct B final : A { }; 1001ae64c5aSAnders Carlsson // 1011ae64c5aSAnders Carlsson // void f(B *b) { 1021ae64c5aSAnders Carlsson // b->f(); 1031ae64c5aSAnders Carlsson // } 1041ae64c5aSAnders Carlsson // 105b7f5a9c5SRafael Espindola const CXXRecordDecl *MostDerivedClassDecl = Base->getBestDynamicClassType(); 1061ae64c5aSAnders Carlsson if (MostDerivedClassDecl->hasAttr<FinalAttr>()) 1071ae64c5aSAnders Carlsson return true; 1081ae64c5aSAnders Carlsson 10919588aa4SAnders Carlsson // If the member function is marked 'final', we know that it can't be 110b00c2144SAnders Carlsson // overridden and can therefore devirtualize it. 1111eb95961SAnders Carlsson if (MD->hasAttr<FinalAttr>()) 112a7911fa3SAnders Carlsson return true; 113a7911fa3SAnders Carlsson 11419588aa4SAnders Carlsson // Similarly, if the class itself is marked 'final' it can't be overridden 11519588aa4SAnders Carlsson // and we can therefore devirtualize the member function call. 1161eb95961SAnders Carlsson if (MD->getParent()->hasAttr<FinalAttr>()) 117b00c2144SAnders Carlsson return true; 118b00c2144SAnders Carlsson 119c53d9e83SAnders Carlsson Base = skipNoOpCastsAndParens(Base); 12027da15baSAnders Carlsson if (const DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(Base)) { 12127da15baSAnders Carlsson if (const VarDecl *VD = dyn_cast<VarDecl>(DRE->getDecl())) { 12227da15baSAnders Carlsson // This is a record decl. We know the type and can devirtualize it. 12327da15baSAnders Carlsson return VD->getType()->isRecordType(); 12427da15baSAnders Carlsson } 12527da15baSAnders Carlsson 12627da15baSAnders Carlsson return false; 12727da15baSAnders Carlsson } 12827da15baSAnders Carlsson 12927da15baSAnders Carlsson // We can always devirtualize calls on temporary object expressions. 130a682427eSEli Friedman if (isa<CXXConstructExpr>(Base)) 13127da15baSAnders Carlsson return true; 13227da15baSAnders Carlsson 13327da15baSAnders Carlsson // And calls on bound temporaries. 13427da15baSAnders Carlsson if (isa<CXXBindTemporaryExpr>(Base)) 13527da15baSAnders Carlsson return true; 13627da15baSAnders Carlsson 13727da15baSAnders Carlsson // Check if this is a call expr that returns a record type. 13827da15baSAnders Carlsson if (const CallExpr *CE = dyn_cast<CallExpr>(Base)) 13927da15baSAnders Carlsson return CE->getCallReturnType()->isRecordType(); 14027da15baSAnders Carlsson 14127da15baSAnders Carlsson // We can't devirtualize the call. 14227da15baSAnders Carlsson return false; 14327da15baSAnders Carlsson } 14427da15baSAnders Carlsson 1453b33c4ecSRafael Espindola static CXXRecordDecl *getCXXRecord(const Expr *E) { 1463b33c4ecSRafael Espindola QualType T = E->getType(); 1473b33c4ecSRafael Espindola if (const PointerType *PTy = T->getAs<PointerType>()) 1483b33c4ecSRafael Espindola T = PTy->getPointeeType(); 1493b33c4ecSRafael Espindola const RecordType *Ty = T->castAs<RecordType>(); 1503b33c4ecSRafael Espindola return cast<CXXRecordDecl>(Ty->getDecl()); 1513b33c4ecSRafael Espindola } 1523b33c4ecSRafael Espindola 15364225794SFrancois Pichet // Note: This function also emit constructor calls to support a MSVC 15464225794SFrancois Pichet // extensions allowing explicit constructor function call. 15527da15baSAnders Carlsson RValue CodeGenFunction::EmitCXXMemberCallExpr(const CXXMemberCallExpr *CE, 15627da15baSAnders Carlsson ReturnValueSlot ReturnValue) { 1572d2e8707SJohn McCall const Expr *callee = CE->getCallee()->IgnoreParens(); 1582d2e8707SJohn McCall 1592d2e8707SJohn McCall if (isa<BinaryOperator>(callee)) 16027da15baSAnders Carlsson return EmitCXXMemberPointerCallExpr(CE, ReturnValue); 16127da15baSAnders Carlsson 1622d2e8707SJohn McCall const MemberExpr *ME = cast<MemberExpr>(callee); 16327da15baSAnders Carlsson const CXXMethodDecl *MD = cast<CXXMethodDecl>(ME->getMemberDecl()); 16427da15baSAnders Carlsson 16591bbb554SDevang Patel CGDebugInfo *DI = getDebugInfo(); 166486e1fe9SAlexey Samsonov if (DI && CGM.getCodeGenOpts().DebugInfo == CodeGenOptions::LimitedDebugInfo 167401c916cSDevang Patel && !isa<CallExpr>(ME->getBase())) { 16891bbb554SDevang Patel QualType PQTy = ME->getBase()->IgnoreParenImpCasts()->getType(); 16991bbb554SDevang Patel if (const PointerType * PTy = dyn_cast<PointerType>(PQTy)) { 17091bbb554SDevang Patel DI->getOrCreateRecordType(PTy->getPointeeType(), 17191bbb554SDevang Patel MD->getParent()->getLocation()); 17291bbb554SDevang Patel } 17391bbb554SDevang Patel } 17491bbb554SDevang Patel 17527da15baSAnders Carlsson if (MD->isStatic()) { 17627da15baSAnders Carlsson // The method is static, emit it as we would a regular call. 17727da15baSAnders Carlsson llvm::Value *Callee = CGM.GetAddrOfFunction(MD); 17827da15baSAnders Carlsson return EmitCall(getContext().getPointerType(MD->getType()), Callee, 17927da15baSAnders Carlsson ReturnValue, CE->arg_begin(), CE->arg_end()); 18027da15baSAnders Carlsson } 18127da15baSAnders Carlsson 1820d635f53SJohn McCall // Compute the object pointer. 183ecbe2e97SRafael Espindola const Expr *Base = ME->getBase(); 184ecbe2e97SRafael Espindola bool CanUseVirtualCall = MD->isVirtual() && !ME->hasQualifier(); 185ecbe2e97SRafael Espindola 1863b33c4ecSRafael Espindola const CXXMethodDecl *DevirtualizedMethod = NULL; 1873b33c4ecSRafael Espindola if (CanUseVirtualCall && 1883b33c4ecSRafael Espindola canDevirtualizeMemberFunctionCalls(getContext(), Base, MD)) { 1893b33c4ecSRafael Espindola const CXXRecordDecl *BestDynamicDecl = Base->getBestDynamicClassType(); 1903b33c4ecSRafael Espindola DevirtualizedMethod = MD->getCorrespondingMethodInClass(BestDynamicDecl); 1913b33c4ecSRafael Espindola assert(DevirtualizedMethod); 1923b33c4ecSRafael Espindola const CXXRecordDecl *DevirtualizedClass = DevirtualizedMethod->getParent(); 1933b33c4ecSRafael Espindola const Expr *Inner = Base->ignoreParenBaseCasts(); 1943b33c4ecSRafael Espindola if (getCXXRecord(Inner) == DevirtualizedClass) 1953b33c4ecSRafael Espindola // If the class of the Inner expression is where the dynamic method 1963b33c4ecSRafael Espindola // is defined, build the this pointer from it. 1973b33c4ecSRafael Espindola Base = Inner; 1983b33c4ecSRafael Espindola else if (getCXXRecord(Base) != DevirtualizedClass) { 1993b33c4ecSRafael Espindola // If the method is defined in a class that is not the best dynamic 2003b33c4ecSRafael Espindola // one or the one of the full expression, we would have to build 2013b33c4ecSRafael Espindola // a derived-to-base cast to compute the correct this pointer, but 2023b33c4ecSRafael Espindola // we don't have support for that yet, so do a virtual call. 2033b33c4ecSRafael Espindola DevirtualizedMethod = NULL; 2043b33c4ecSRafael Espindola } 205*debc71ceSRafael Espindola if (DevirtualizedMethod && DevirtualizedMethod->getResultType() != 206*debc71ceSRafael Espindola MD->getResultType()) 207*debc71ceSRafael Espindola DevirtualizedMethod = NULL; 2083b33c4ecSRafael Espindola } 209ecbe2e97SRafael Espindola 21027da15baSAnders Carlsson llvm::Value *This; 21127da15baSAnders Carlsson if (ME->isArrow()) 2123b33c4ecSRafael Espindola This = EmitScalarExpr(Base); 213f93ac894SFariborz Jahanian else 2143b33c4ecSRafael Espindola This = EmitLValue(Base).getAddress(); 215ecbe2e97SRafael Espindola 21627da15baSAnders Carlsson 2170d635f53SJohn McCall if (MD->isTrivial()) { 2180d635f53SJohn McCall if (isa<CXXDestructorDecl>(MD)) return RValue::get(0); 21964225794SFrancois Pichet if (isa<CXXConstructorDecl>(MD) && 22064225794SFrancois Pichet cast<CXXConstructorDecl>(MD)->isDefaultConstructor()) 22164225794SFrancois Pichet return RValue::get(0); 2220d635f53SJohn McCall 22322653bacSSebastian Redl if (MD->isCopyAssignmentOperator() || MD->isMoveAssignmentOperator()) { 22422653bacSSebastian Redl // We don't like to generate the trivial copy/move assignment operator 22522653bacSSebastian Redl // when it isn't necessary; just produce the proper effect here. 22627da15baSAnders Carlsson llvm::Value *RHS = EmitLValue(*CE->arg_begin()).getAddress(); 22727da15baSAnders Carlsson EmitAggregateCopy(This, RHS, CE->getType()); 22827da15baSAnders Carlsson return RValue::get(This); 22927da15baSAnders Carlsson } 23027da15baSAnders Carlsson 23164225794SFrancois Pichet if (isa<CXXConstructorDecl>(MD) && 23222653bacSSebastian Redl cast<CXXConstructorDecl>(MD)->isCopyOrMoveConstructor()) { 23322653bacSSebastian Redl // Trivial move and copy ctor are the same. 23464225794SFrancois Pichet llvm::Value *RHS = EmitLValue(*CE->arg_begin()).getAddress(); 23564225794SFrancois Pichet EmitSynthesizedCXXCopyCtorCall(cast<CXXConstructorDecl>(MD), This, RHS, 23664225794SFrancois Pichet CE->arg_begin(), CE->arg_end()); 23764225794SFrancois Pichet return RValue::get(This); 23864225794SFrancois Pichet } 23964225794SFrancois Pichet llvm_unreachable("unknown trivial member function"); 24064225794SFrancois Pichet } 24164225794SFrancois Pichet 2420d635f53SJohn McCall // Compute the function type we're calling. 24364225794SFrancois Pichet const CGFunctionInfo *FInfo = 0; 24464225794SFrancois Pichet if (isa<CXXDestructorDecl>(MD)) 245a729c62bSJohn McCall FInfo = &CGM.getTypes().arrangeCXXDestructor(cast<CXXDestructorDecl>(MD), 24664225794SFrancois Pichet Dtor_Complete); 24764225794SFrancois Pichet else if (isa<CXXConstructorDecl>(MD)) 248a729c62bSJohn McCall FInfo = &CGM.getTypes().arrangeCXXConstructorDeclaration( 249a729c62bSJohn McCall cast<CXXConstructorDecl>(MD), 25064225794SFrancois Pichet Ctor_Complete); 25164225794SFrancois Pichet else 252a729c62bSJohn McCall FInfo = &CGM.getTypes().arrangeCXXMethodDeclaration(MD); 2530d635f53SJohn McCall 254a729c62bSJohn McCall llvm::Type *Ty = CGM.getTypes().GetFunctionType(*FInfo); 2550d635f53SJohn McCall 25627da15baSAnders Carlsson // C++ [class.virtual]p12: 25727da15baSAnders Carlsson // Explicit qualification with the scope operator (5.1) suppresses the 25827da15baSAnders Carlsson // virtual call mechanism. 25927da15baSAnders Carlsson // 26027da15baSAnders Carlsson // We also don't emit a virtual call if the base expression has a record type 26127da15baSAnders Carlsson // because then we know what the type is. 2623b33c4ecSRafael Espindola bool UseVirtualCall = CanUseVirtualCall && !DevirtualizedMethod; 26349e860b2SRafael Espindola 26427da15baSAnders Carlsson llvm::Value *Callee; 2650d635f53SJohn McCall if (const CXXDestructorDecl *Dtor = dyn_cast<CXXDestructorDecl>(MD)) { 2660d635f53SJohn McCall if (UseVirtualCall) { 2670d635f53SJohn McCall Callee = BuildVirtualCall(Dtor, Dtor_Complete, This, Ty); 26827da15baSAnders Carlsson } else { 269bbafb8a7SDavid Blaikie if (getContext().getLangOpts().AppleKext && 270265c325eSFariborz Jahanian MD->isVirtual() && 271265c325eSFariborz Jahanian ME->hasQualifier()) 2727f6f81baSFariborz Jahanian Callee = BuildAppleKextVirtualCall(MD, ME->getQualifier(), Ty); 2733b33c4ecSRafael Espindola else if (!DevirtualizedMethod) 274727a771aSRafael Espindola Callee = CGM.GetAddrOfFunction(GlobalDecl(Dtor, Dtor_Complete), Ty); 27549e860b2SRafael Espindola else { 2763b33c4ecSRafael Espindola const CXXDestructorDecl *DDtor = 2773b33c4ecSRafael Espindola cast<CXXDestructorDecl>(DevirtualizedMethod); 27849e860b2SRafael Espindola Callee = CGM.GetAddrOfFunction(GlobalDecl(DDtor, Dtor_Complete), Ty); 27949e860b2SRafael Espindola } 28027da15baSAnders Carlsson } 28164225794SFrancois Pichet } else if (const CXXConstructorDecl *Ctor = 28264225794SFrancois Pichet dyn_cast<CXXConstructorDecl>(MD)) { 28364225794SFrancois Pichet Callee = CGM.GetAddrOfFunction(GlobalDecl(Ctor, Ctor_Complete), Ty); 2840d635f53SJohn McCall } else if (UseVirtualCall) { 28527da15baSAnders Carlsson Callee = BuildVirtualCall(MD, This, Ty); 28627da15baSAnders Carlsson } else { 287bbafb8a7SDavid Blaikie if (getContext().getLangOpts().AppleKext && 2889f9438b3SFariborz Jahanian MD->isVirtual() && 289252a47f6SFariborz Jahanian ME->hasQualifier()) 2907f6f81baSFariborz Jahanian Callee = BuildAppleKextVirtualCall(MD, ME->getQualifier(), Ty); 2913b33c4ecSRafael Espindola else if (!DevirtualizedMethod) 292727a771aSRafael Espindola Callee = CGM.GetAddrOfFunction(MD, Ty); 29349e860b2SRafael Espindola else { 2943b33c4ecSRafael Espindola Callee = CGM.GetAddrOfFunction(DevirtualizedMethod, Ty); 29549e860b2SRafael Espindola } 29627da15baSAnders Carlsson } 29727da15baSAnders Carlsson 298e36a6b3eSAnders Carlsson return EmitCXXMemberCall(MD, Callee, ReturnValue, This, /*VTT=*/0, 29927da15baSAnders Carlsson CE->arg_begin(), CE->arg_end()); 30027da15baSAnders Carlsson } 30127da15baSAnders Carlsson 30227da15baSAnders Carlsson RValue 30327da15baSAnders Carlsson CodeGenFunction::EmitCXXMemberPointerCallExpr(const CXXMemberCallExpr *E, 30427da15baSAnders Carlsson ReturnValueSlot ReturnValue) { 30527da15baSAnders Carlsson const BinaryOperator *BO = 30627da15baSAnders Carlsson cast<BinaryOperator>(E->getCallee()->IgnoreParens()); 30727da15baSAnders Carlsson const Expr *BaseExpr = BO->getLHS(); 30827da15baSAnders Carlsson const Expr *MemFnExpr = BO->getRHS(); 30927da15baSAnders Carlsson 31027da15baSAnders Carlsson const MemberPointerType *MPT = 3110009fcc3SJohn McCall MemFnExpr->getType()->castAs<MemberPointerType>(); 312475999dcSJohn McCall 31327da15baSAnders Carlsson const FunctionProtoType *FPT = 3140009fcc3SJohn McCall MPT->getPointeeType()->castAs<FunctionProtoType>(); 31527da15baSAnders Carlsson const CXXRecordDecl *RD = 31627da15baSAnders Carlsson cast<CXXRecordDecl>(MPT->getClass()->getAs<RecordType>()->getDecl()); 31727da15baSAnders Carlsson 31827da15baSAnders Carlsson // Get the member function pointer. 319a1dee530SJohn McCall llvm::Value *MemFnPtr = EmitScalarExpr(MemFnExpr); 32027da15baSAnders Carlsson 32127da15baSAnders Carlsson // Emit the 'this' pointer. 32227da15baSAnders Carlsson llvm::Value *This; 32327da15baSAnders Carlsson 324e302792bSJohn McCall if (BO->getOpcode() == BO_PtrMemI) 32527da15baSAnders Carlsson This = EmitScalarExpr(BaseExpr); 32627da15baSAnders Carlsson else 32727da15baSAnders Carlsson This = EmitLValue(BaseExpr).getAddress(); 32827da15baSAnders Carlsson 329475999dcSJohn McCall // Ask the ABI to load the callee. Note that This is modified. 330475999dcSJohn McCall llvm::Value *Callee = 331ad7c5c16SJohn McCall CGM.getCXXABI().EmitLoadOfMemberFunctionPointer(*this, This, MemFnPtr, MPT); 33227da15baSAnders Carlsson 33327da15baSAnders Carlsson CallArgList Args; 33427da15baSAnders Carlsson 33527da15baSAnders Carlsson QualType ThisType = 33627da15baSAnders Carlsson getContext().getPointerType(getContext().getTagDeclType(RD)); 33727da15baSAnders Carlsson 33827da15baSAnders Carlsson // Push the this ptr. 33943dca6a8SEli Friedman Args.add(RValue::get(This), ThisType); 34027da15baSAnders Carlsson 34127da15baSAnders Carlsson // And the rest of the call args 34227da15baSAnders Carlsson EmitCallArgs(Args, FPT, E->arg_begin(), E->arg_end()); 343a729c62bSJohn McCall return EmitCall(CGM.getTypes().arrangeFunctionCall(Args, FPT), Callee, 34499cc30c3STilmann Scheller ReturnValue, Args); 34527da15baSAnders Carlsson } 34627da15baSAnders Carlsson 34727da15baSAnders Carlsson RValue 34827da15baSAnders Carlsson CodeGenFunction::EmitCXXOperatorMemberCallExpr(const CXXOperatorCallExpr *E, 34927da15baSAnders Carlsson const CXXMethodDecl *MD, 35027da15baSAnders Carlsson ReturnValueSlot ReturnValue) { 35127da15baSAnders Carlsson assert(MD->isInstance() && 35227da15baSAnders Carlsson "Trying to emit a member call expr on a static method!"); 353e26a872bSJohn McCall LValue LV = EmitLValue(E->getArg(0)); 354e26a872bSJohn McCall llvm::Value *This = LV.getAddress(); 355e26a872bSJohn McCall 356146b8e9aSDouglas Gregor if ((MD->isCopyAssignmentOperator() || MD->isMoveAssignmentOperator()) && 357146b8e9aSDouglas Gregor MD->isTrivial()) { 35827da15baSAnders Carlsson llvm::Value *Src = EmitLValue(E->getArg(1)).getAddress(); 35927da15baSAnders Carlsson QualType Ty = E->getType(); 36027da15baSAnders Carlsson EmitAggregateCopy(This, Src, Ty); 36127da15baSAnders Carlsson return RValue::get(This); 36227da15baSAnders Carlsson } 36327da15baSAnders Carlsson 364c36783e8SAnders Carlsson llvm::Value *Callee = EmitCXXOperatorMemberCallee(E, MD, This); 365e36a6b3eSAnders Carlsson return EmitCXXMemberCall(MD, Callee, ReturnValue, This, /*VTT=*/0, 36627da15baSAnders Carlsson E->arg_begin() + 1, E->arg_end()); 36727da15baSAnders Carlsson } 36827da15baSAnders Carlsson 369fe883422SPeter Collingbourne RValue CodeGenFunction::EmitCUDAKernelCallExpr(const CUDAKernelCallExpr *E, 370fe883422SPeter Collingbourne ReturnValueSlot ReturnValue) { 371fe883422SPeter Collingbourne return CGM.getCUDARuntime().EmitCUDAKernelCallExpr(*this, E, ReturnValue); 372fe883422SPeter Collingbourne } 373fe883422SPeter Collingbourne 374fde961dbSEli Friedman static void EmitNullBaseClassInitialization(CodeGenFunction &CGF, 375fde961dbSEli Friedman llvm::Value *DestPtr, 376fde961dbSEli Friedman const CXXRecordDecl *Base) { 377fde961dbSEli Friedman if (Base->isEmpty()) 378fde961dbSEli Friedman return; 379fde961dbSEli Friedman 380fde961dbSEli Friedman DestPtr = CGF.EmitCastToVoidPtr(DestPtr); 381fde961dbSEli Friedman 382fde961dbSEli Friedman const ASTRecordLayout &Layout = CGF.getContext().getASTRecordLayout(Base); 383fde961dbSEli Friedman CharUnits Size = Layout.getNonVirtualSize(); 384fde961dbSEli Friedman CharUnits Align = Layout.getNonVirtualAlign(); 385fde961dbSEli Friedman 386fde961dbSEli Friedman llvm::Value *SizeVal = CGF.CGM.getSize(Size); 387fde961dbSEli Friedman 388fde961dbSEli Friedman // If the type contains a pointer to data member we can't memset it to zero. 389fde961dbSEli Friedman // Instead, create a null constant and copy it to the destination. 390fde961dbSEli Friedman // TODO: there are other patterns besides zero that we can usefully memset, 391fde961dbSEli Friedman // like -1, which happens to be the pattern used by member-pointers. 392fde961dbSEli Friedman // TODO: isZeroInitializable can be over-conservative in the case where a 393fde961dbSEli Friedman // virtual base contains a member pointer. 394fde961dbSEli Friedman if (!CGF.CGM.getTypes().isZeroInitializable(Base)) { 395fde961dbSEli Friedman llvm::Constant *NullConstant = CGF.CGM.EmitNullConstantForBase(Base); 396fde961dbSEli Friedman 397fde961dbSEli Friedman llvm::GlobalVariable *NullVariable = 398fde961dbSEli Friedman new llvm::GlobalVariable(CGF.CGM.getModule(), NullConstant->getType(), 399fde961dbSEli Friedman /*isConstant=*/true, 400fde961dbSEli Friedman llvm::GlobalVariable::PrivateLinkage, 401fde961dbSEli Friedman NullConstant, Twine()); 402fde961dbSEli Friedman NullVariable->setAlignment(Align.getQuantity()); 403fde961dbSEli Friedman llvm::Value *SrcPtr = CGF.EmitCastToVoidPtr(NullVariable); 404fde961dbSEli Friedman 405fde961dbSEli Friedman // Get and call the appropriate llvm.memcpy overload. 406fde961dbSEli Friedman CGF.Builder.CreateMemCpy(DestPtr, SrcPtr, SizeVal, Align.getQuantity()); 407fde961dbSEli Friedman return; 408fde961dbSEli Friedman } 409fde961dbSEli Friedman 410fde961dbSEli Friedman // Otherwise, just memset the whole thing to zero. This is legal 411fde961dbSEli Friedman // because in LLVM, all default initializers (other than the ones we just 412fde961dbSEli Friedman // handled above) are guaranteed to have a bit pattern of all zeros. 413fde961dbSEli Friedman CGF.Builder.CreateMemSet(DestPtr, CGF.Builder.getInt8(0), SizeVal, 414fde961dbSEli Friedman Align.getQuantity()); 415fde961dbSEli Friedman } 416fde961dbSEli Friedman 41727da15baSAnders Carlsson void 4187a626f63SJohn McCall CodeGenFunction::EmitCXXConstructExpr(const CXXConstructExpr *E, 4197a626f63SJohn McCall AggValueSlot Dest) { 4207a626f63SJohn McCall assert(!Dest.isIgnored() && "Must have a destination!"); 42127da15baSAnders Carlsson const CXXConstructorDecl *CD = E->getConstructor(); 422630c76efSDouglas Gregor 423630c76efSDouglas Gregor // If we require zero initialization before (or instead of) calling the 424630c76efSDouglas Gregor // constructor, as can be the case with a non-user-provided default 42503535265SArgyrios Kyrtzidis // constructor, emit the zero initialization now, unless destination is 42603535265SArgyrios Kyrtzidis // already zeroed. 427fde961dbSEli Friedman if (E->requiresZeroInitialization() && !Dest.isZeroed()) { 428fde961dbSEli Friedman switch (E->getConstructionKind()) { 429fde961dbSEli Friedman case CXXConstructExpr::CK_Delegating: 430fde961dbSEli Friedman case CXXConstructExpr::CK_Complete: 4317a626f63SJohn McCall EmitNullInitialization(Dest.getAddr(), E->getType()); 432fde961dbSEli Friedman break; 433fde961dbSEli Friedman case CXXConstructExpr::CK_VirtualBase: 434fde961dbSEli Friedman case CXXConstructExpr::CK_NonVirtualBase: 435fde961dbSEli Friedman EmitNullBaseClassInitialization(*this, Dest.getAddr(), CD->getParent()); 436fde961dbSEli Friedman break; 437fde961dbSEli Friedman } 438fde961dbSEli Friedman } 439630c76efSDouglas Gregor 440630c76efSDouglas Gregor // If this is a call to a trivial default constructor, do nothing. 441630c76efSDouglas Gregor if (CD->isTrivial() && CD->isDefaultConstructor()) 44227da15baSAnders Carlsson return; 443630c76efSDouglas Gregor 4448ea46b66SJohn McCall // Elide the constructor if we're constructing from a temporary. 4458ea46b66SJohn McCall // The temporary check is required because Sema sets this on NRVO 4468ea46b66SJohn McCall // returns. 447bbafb8a7SDavid Blaikie if (getContext().getLangOpts().ElideConstructors && E->isElidable()) { 4488ea46b66SJohn McCall assert(getContext().hasSameUnqualifiedType(E->getType(), 4498ea46b66SJohn McCall E->getArg(0)->getType())); 4507a626f63SJohn McCall if (E->getArg(0)->isTemporaryObject(getContext(), CD->getParent())) { 4517a626f63SJohn McCall EmitAggExpr(E->getArg(0), Dest); 45227da15baSAnders Carlsson return; 45327da15baSAnders Carlsson } 454222cf0efSDouglas Gregor } 455630c76efSDouglas Gregor 456f677a8e9SJohn McCall if (const ConstantArrayType *arrayType 457f677a8e9SJohn McCall = getContext().getAsConstantArrayType(E->getType())) { 458f677a8e9SJohn McCall EmitCXXAggrConstructorCall(CD, arrayType, Dest.getAddr(), 45927da15baSAnders Carlsson E->arg_begin(), E->arg_end()); 460f677a8e9SJohn McCall } else { 461bceca20aSCameron Esfahani CXXCtorType Type = Ctor_Complete; 462271c3681SAlexis Hunt bool ForVirtualBase = false; 463271c3681SAlexis Hunt 464271c3681SAlexis Hunt switch (E->getConstructionKind()) { 465271c3681SAlexis Hunt case CXXConstructExpr::CK_Delegating: 46661bc1737SAlexis Hunt // We should be emitting a constructor; GlobalDecl will assert this 46761bc1737SAlexis Hunt Type = CurGD.getCtorType(); 468271c3681SAlexis Hunt break; 46961bc1737SAlexis Hunt 470271c3681SAlexis Hunt case CXXConstructExpr::CK_Complete: 471271c3681SAlexis Hunt Type = Ctor_Complete; 472271c3681SAlexis Hunt break; 473271c3681SAlexis Hunt 474271c3681SAlexis Hunt case CXXConstructExpr::CK_VirtualBase: 475271c3681SAlexis Hunt ForVirtualBase = true; 476271c3681SAlexis Hunt // fall-through 477271c3681SAlexis Hunt 478271c3681SAlexis Hunt case CXXConstructExpr::CK_NonVirtualBase: 479271c3681SAlexis Hunt Type = Ctor_Base; 480271c3681SAlexis Hunt } 481e11f9ce9SAnders Carlsson 48227da15baSAnders Carlsson // Call the constructor. 4837a626f63SJohn McCall EmitCXXConstructorCall(CD, Type, ForVirtualBase, Dest.getAddr(), 48427da15baSAnders Carlsson E->arg_begin(), E->arg_end()); 48527da15baSAnders Carlsson } 486e11f9ce9SAnders Carlsson } 48727da15baSAnders Carlsson 488e988bdacSFariborz Jahanian void 489e988bdacSFariborz Jahanian CodeGenFunction::EmitSynthesizedCXXCopyCtor(llvm::Value *Dest, 490e988bdacSFariborz Jahanian llvm::Value *Src, 49150198098SFariborz Jahanian const Expr *Exp) { 4925d413781SJohn McCall if (const ExprWithCleanups *E = dyn_cast<ExprWithCleanups>(Exp)) 493e988bdacSFariborz Jahanian Exp = E->getSubExpr(); 494e988bdacSFariborz Jahanian assert(isa<CXXConstructExpr>(Exp) && 495e988bdacSFariborz Jahanian "EmitSynthesizedCXXCopyCtor - unknown copy ctor expr"); 496e988bdacSFariborz Jahanian const CXXConstructExpr* E = cast<CXXConstructExpr>(Exp); 497e988bdacSFariborz Jahanian const CXXConstructorDecl *CD = E->getConstructor(); 498e988bdacSFariborz Jahanian RunCleanupsScope Scope(*this); 499e988bdacSFariborz Jahanian 500e988bdacSFariborz Jahanian // If we require zero initialization before (or instead of) calling the 501e988bdacSFariborz Jahanian // constructor, as can be the case with a non-user-provided default 502e988bdacSFariborz Jahanian // constructor, emit the zero initialization now. 503e988bdacSFariborz Jahanian // FIXME. Do I still need this for a copy ctor synthesis? 504e988bdacSFariborz Jahanian if (E->requiresZeroInitialization()) 505e988bdacSFariborz Jahanian EmitNullInitialization(Dest, E->getType()); 506e988bdacSFariborz Jahanian 50799da11cfSChandler Carruth assert(!getContext().getAsConstantArrayType(E->getType()) 50899da11cfSChandler Carruth && "EmitSynthesizedCXXCopyCtor - Copied-in Array"); 509e988bdacSFariborz Jahanian EmitSynthesizedCXXCopyCtorCall(CD, Dest, Src, 510e988bdacSFariborz Jahanian E->arg_begin(), E->arg_end()); 511e988bdacSFariborz Jahanian } 512e988bdacSFariborz Jahanian 5138ed55a54SJohn McCall static CharUnits CalculateCookiePadding(CodeGenFunction &CGF, 5148ed55a54SJohn McCall const CXXNewExpr *E) { 51521122cf6SAnders Carlsson if (!E->isArray()) 5163eb55cfeSKen Dyck return CharUnits::Zero(); 51721122cf6SAnders Carlsson 5187ec4b434SJohn McCall // No cookie is required if the operator new[] being used is the 5197ec4b434SJohn McCall // reserved placement operator new[]. 5207ec4b434SJohn McCall if (E->getOperatorNew()->isReservedGlobalPlacementOperator()) 5213eb55cfeSKen Dyck return CharUnits::Zero(); 522399f499fSAnders Carlsson 523284c48ffSJohn McCall return CGF.CGM.getCXXABI().GetArrayCookieSize(E); 52459486a2dSAnders Carlsson } 52559486a2dSAnders Carlsson 526036f2f6bSJohn McCall static llvm::Value *EmitCXXNewAllocSize(CodeGenFunction &CGF, 527036f2f6bSJohn McCall const CXXNewExpr *e, 528f862eb6aSSebastian Redl unsigned minElements, 529036f2f6bSJohn McCall llvm::Value *&numElements, 530036f2f6bSJohn McCall llvm::Value *&sizeWithoutCookie) { 531036f2f6bSJohn McCall QualType type = e->getAllocatedType(); 53259486a2dSAnders Carlsson 533036f2f6bSJohn McCall if (!e->isArray()) { 534036f2f6bSJohn McCall CharUnits typeSize = CGF.getContext().getTypeSizeInChars(type); 535036f2f6bSJohn McCall sizeWithoutCookie 536036f2f6bSJohn McCall = llvm::ConstantInt::get(CGF.SizeTy, typeSize.getQuantity()); 537036f2f6bSJohn McCall return sizeWithoutCookie; 53805fc5be3SDouglas Gregor } 53959486a2dSAnders Carlsson 540036f2f6bSJohn McCall // The width of size_t. 541036f2f6bSJohn McCall unsigned sizeWidth = CGF.SizeTy->getBitWidth(); 542036f2f6bSJohn McCall 5438ed55a54SJohn McCall // Figure out the cookie size. 544036f2f6bSJohn McCall llvm::APInt cookieSize(sizeWidth, 545036f2f6bSJohn McCall CalculateCookiePadding(CGF, e).getQuantity()); 5468ed55a54SJohn McCall 54759486a2dSAnders Carlsson // Emit the array size expression. 5487648fb46SArgyrios Kyrtzidis // We multiply the size of all dimensions for NumElements. 5497648fb46SArgyrios Kyrtzidis // e.g for 'int[2][3]', ElemType is 'int' and NumElements is 6. 550036f2f6bSJohn McCall numElements = CGF.EmitScalarExpr(e->getArraySize()); 551036f2f6bSJohn McCall assert(isa<llvm::IntegerType>(numElements->getType())); 5528ed55a54SJohn McCall 553036f2f6bSJohn McCall // The number of elements can be have an arbitrary integer type; 554036f2f6bSJohn McCall // essentially, we need to multiply it by a constant factor, add a 555036f2f6bSJohn McCall // cookie size, and verify that the result is representable as a 556036f2f6bSJohn McCall // size_t. That's just a gloss, though, and it's wrong in one 557036f2f6bSJohn McCall // important way: if the count is negative, it's an error even if 558036f2f6bSJohn McCall // the cookie size would bring the total size >= 0. 5596ab2fa8fSDouglas Gregor bool isSigned 5606ab2fa8fSDouglas Gregor = e->getArraySize()->getType()->isSignedIntegerOrEnumerationType(); 5612192fe50SChris Lattner llvm::IntegerType *numElementsType 562036f2f6bSJohn McCall = cast<llvm::IntegerType>(numElements->getType()); 563036f2f6bSJohn McCall unsigned numElementsWidth = numElementsType->getBitWidth(); 564036f2f6bSJohn McCall 565036f2f6bSJohn McCall // Compute the constant factor. 566036f2f6bSJohn McCall llvm::APInt arraySizeMultiplier(sizeWidth, 1); 5677648fb46SArgyrios Kyrtzidis while (const ConstantArrayType *CAT 568036f2f6bSJohn McCall = CGF.getContext().getAsConstantArrayType(type)) { 569036f2f6bSJohn McCall type = CAT->getElementType(); 570036f2f6bSJohn McCall arraySizeMultiplier *= CAT->getSize(); 5717648fb46SArgyrios Kyrtzidis } 57259486a2dSAnders Carlsson 573036f2f6bSJohn McCall CharUnits typeSize = CGF.getContext().getTypeSizeInChars(type); 574036f2f6bSJohn McCall llvm::APInt typeSizeMultiplier(sizeWidth, typeSize.getQuantity()); 575036f2f6bSJohn McCall typeSizeMultiplier *= arraySizeMultiplier; 576036f2f6bSJohn McCall 577036f2f6bSJohn McCall // This will be a size_t. 578036f2f6bSJohn McCall llvm::Value *size; 57932ac583dSChris Lattner 58032ac583dSChris Lattner // If someone is doing 'new int[42]' there is no need to do a dynamic check. 58132ac583dSChris Lattner // Don't bloat the -O0 code. 582036f2f6bSJohn McCall if (llvm::ConstantInt *numElementsC = 583036f2f6bSJohn McCall dyn_cast<llvm::ConstantInt>(numElements)) { 584036f2f6bSJohn McCall const llvm::APInt &count = numElementsC->getValue(); 58532ac583dSChris Lattner 586036f2f6bSJohn McCall bool hasAnyOverflow = false; 58732ac583dSChris Lattner 588036f2f6bSJohn McCall // If 'count' was a negative number, it's an overflow. 589036f2f6bSJohn McCall if (isSigned && count.isNegative()) 590036f2f6bSJohn McCall hasAnyOverflow = true; 5918ed55a54SJohn McCall 592036f2f6bSJohn McCall // We want to do all this arithmetic in size_t. If numElements is 593036f2f6bSJohn McCall // wider than that, check whether it's already too big, and if so, 594036f2f6bSJohn McCall // overflow. 595036f2f6bSJohn McCall else if (numElementsWidth > sizeWidth && 596036f2f6bSJohn McCall numElementsWidth - sizeWidth > count.countLeadingZeros()) 597036f2f6bSJohn McCall hasAnyOverflow = true; 598036f2f6bSJohn McCall 599036f2f6bSJohn McCall // Okay, compute a count at the right width. 600036f2f6bSJohn McCall llvm::APInt adjustedCount = count.zextOrTrunc(sizeWidth); 601036f2f6bSJohn McCall 602f862eb6aSSebastian Redl // If there is a brace-initializer, we cannot allocate fewer elements than 603f862eb6aSSebastian Redl // there are initializers. If we do, that's treated like an overflow. 604f862eb6aSSebastian Redl if (adjustedCount.ult(minElements)) 605f862eb6aSSebastian Redl hasAnyOverflow = true; 606f862eb6aSSebastian Redl 607036f2f6bSJohn McCall // Scale numElements by that. This might overflow, but we don't 608036f2f6bSJohn McCall // care because it only overflows if allocationSize does, too, and 609036f2f6bSJohn McCall // if that overflows then we shouldn't use this. 610036f2f6bSJohn McCall numElements = llvm::ConstantInt::get(CGF.SizeTy, 611036f2f6bSJohn McCall adjustedCount * arraySizeMultiplier); 612036f2f6bSJohn McCall 613036f2f6bSJohn McCall // Compute the size before cookie, and track whether it overflowed. 614036f2f6bSJohn McCall bool overflow; 615036f2f6bSJohn McCall llvm::APInt allocationSize 616036f2f6bSJohn McCall = adjustedCount.umul_ov(typeSizeMultiplier, overflow); 617036f2f6bSJohn McCall hasAnyOverflow |= overflow; 618036f2f6bSJohn McCall 619036f2f6bSJohn McCall // Add in the cookie, and check whether it's overflowed. 620036f2f6bSJohn McCall if (cookieSize != 0) { 621036f2f6bSJohn McCall // Save the current size without a cookie. This shouldn't be 622036f2f6bSJohn McCall // used if there was overflow. 623036f2f6bSJohn McCall sizeWithoutCookie = llvm::ConstantInt::get(CGF.SizeTy, allocationSize); 624036f2f6bSJohn McCall 625036f2f6bSJohn McCall allocationSize = allocationSize.uadd_ov(cookieSize, overflow); 626036f2f6bSJohn McCall hasAnyOverflow |= overflow; 6278ed55a54SJohn McCall } 6288ed55a54SJohn McCall 629036f2f6bSJohn McCall // On overflow, produce a -1 so operator new will fail. 630036f2f6bSJohn McCall if (hasAnyOverflow) { 631036f2f6bSJohn McCall size = llvm::Constant::getAllOnesValue(CGF.SizeTy); 63232ac583dSChris Lattner } else { 633036f2f6bSJohn McCall size = llvm::ConstantInt::get(CGF.SizeTy, allocationSize); 63432ac583dSChris Lattner } 63532ac583dSChris Lattner 636036f2f6bSJohn McCall // Otherwise, we might need to use the overflow intrinsics. 6378ed55a54SJohn McCall } else { 638f862eb6aSSebastian Redl // There are up to five conditions we need to test for: 639036f2f6bSJohn McCall // 1) if isSigned, we need to check whether numElements is negative; 640036f2f6bSJohn McCall // 2) if numElementsWidth > sizeWidth, we need to check whether 641036f2f6bSJohn McCall // numElements is larger than something representable in size_t; 642f862eb6aSSebastian Redl // 3) if minElements > 0, we need to check whether numElements is smaller 643f862eb6aSSebastian Redl // than that. 644f862eb6aSSebastian Redl // 4) we need to compute 645036f2f6bSJohn McCall // sizeWithoutCookie := numElements * typeSizeMultiplier 646036f2f6bSJohn McCall // and check whether it overflows; and 647f862eb6aSSebastian Redl // 5) if we need a cookie, we need to compute 648036f2f6bSJohn McCall // size := sizeWithoutCookie + cookieSize 649036f2f6bSJohn McCall // and check whether it overflows. 6508ed55a54SJohn McCall 651036f2f6bSJohn McCall llvm::Value *hasOverflow = 0; 6528ed55a54SJohn McCall 653036f2f6bSJohn McCall // If numElementsWidth > sizeWidth, then one way or another, we're 654036f2f6bSJohn McCall // going to have to do a comparison for (2), and this happens to 655036f2f6bSJohn McCall // take care of (1), too. 656036f2f6bSJohn McCall if (numElementsWidth > sizeWidth) { 657036f2f6bSJohn McCall llvm::APInt threshold(numElementsWidth, 1); 658036f2f6bSJohn McCall threshold <<= sizeWidth; 6598ed55a54SJohn McCall 660036f2f6bSJohn McCall llvm::Value *thresholdV 661036f2f6bSJohn McCall = llvm::ConstantInt::get(numElementsType, threshold); 662036f2f6bSJohn McCall 663036f2f6bSJohn McCall hasOverflow = CGF.Builder.CreateICmpUGE(numElements, thresholdV); 664036f2f6bSJohn McCall numElements = CGF.Builder.CreateTrunc(numElements, CGF.SizeTy); 665036f2f6bSJohn McCall 666036f2f6bSJohn McCall // Otherwise, if we're signed, we want to sext up to size_t. 667036f2f6bSJohn McCall } else if (isSigned) { 668036f2f6bSJohn McCall if (numElementsWidth < sizeWidth) 669036f2f6bSJohn McCall numElements = CGF.Builder.CreateSExt(numElements, CGF.SizeTy); 670036f2f6bSJohn McCall 671036f2f6bSJohn McCall // If there's a non-1 type size multiplier, then we can do the 672036f2f6bSJohn McCall // signedness check at the same time as we do the multiply 673036f2f6bSJohn McCall // because a negative number times anything will cause an 674f862eb6aSSebastian Redl // unsigned overflow. Otherwise, we have to do it here. But at least 675f862eb6aSSebastian Redl // in this case, we can subsume the >= minElements check. 676036f2f6bSJohn McCall if (typeSizeMultiplier == 1) 677036f2f6bSJohn McCall hasOverflow = CGF.Builder.CreateICmpSLT(numElements, 678f862eb6aSSebastian Redl llvm::ConstantInt::get(CGF.SizeTy, minElements)); 679036f2f6bSJohn McCall 680036f2f6bSJohn McCall // Otherwise, zext up to size_t if necessary. 681036f2f6bSJohn McCall } else if (numElementsWidth < sizeWidth) { 682036f2f6bSJohn McCall numElements = CGF.Builder.CreateZExt(numElements, CGF.SizeTy); 683036f2f6bSJohn McCall } 684036f2f6bSJohn McCall 685036f2f6bSJohn McCall assert(numElements->getType() == CGF.SizeTy); 686036f2f6bSJohn McCall 687f862eb6aSSebastian Redl if (minElements) { 688f862eb6aSSebastian Redl // Don't allow allocation of fewer elements than we have initializers. 689f862eb6aSSebastian Redl if (!hasOverflow) { 690f862eb6aSSebastian Redl hasOverflow = CGF.Builder.CreateICmpULT(numElements, 691f862eb6aSSebastian Redl llvm::ConstantInt::get(CGF.SizeTy, minElements)); 692f862eb6aSSebastian Redl } else if (numElementsWidth > sizeWidth) { 693f862eb6aSSebastian Redl // The other existing overflow subsumes this check. 694f862eb6aSSebastian Redl // We do an unsigned comparison, since any signed value < -1 is 695f862eb6aSSebastian Redl // taken care of either above or below. 696f862eb6aSSebastian Redl hasOverflow = CGF.Builder.CreateOr(hasOverflow, 697f862eb6aSSebastian Redl CGF.Builder.CreateICmpULT(numElements, 698f862eb6aSSebastian Redl llvm::ConstantInt::get(CGF.SizeTy, minElements))); 699f862eb6aSSebastian Redl } 700f862eb6aSSebastian Redl } 701f862eb6aSSebastian Redl 702036f2f6bSJohn McCall size = numElements; 703036f2f6bSJohn McCall 704036f2f6bSJohn McCall // Multiply by the type size if necessary. This multiplier 705036f2f6bSJohn McCall // includes all the factors for nested arrays. 7068ed55a54SJohn McCall // 707036f2f6bSJohn McCall // This step also causes numElements to be scaled up by the 708036f2f6bSJohn McCall // nested-array factor if necessary. Overflow on this computation 709036f2f6bSJohn McCall // can be ignored because the result shouldn't be used if 710036f2f6bSJohn McCall // allocation fails. 711036f2f6bSJohn McCall if (typeSizeMultiplier != 1) { 712036f2f6bSJohn McCall llvm::Value *umul_with_overflow 7138d375cefSBenjamin Kramer = CGF.CGM.getIntrinsic(llvm::Intrinsic::umul_with_overflow, CGF.SizeTy); 7148ed55a54SJohn McCall 715036f2f6bSJohn McCall llvm::Value *tsmV = 716036f2f6bSJohn McCall llvm::ConstantInt::get(CGF.SizeTy, typeSizeMultiplier); 717036f2f6bSJohn McCall llvm::Value *result = 718036f2f6bSJohn McCall CGF.Builder.CreateCall2(umul_with_overflow, size, tsmV); 7198ed55a54SJohn McCall 720036f2f6bSJohn McCall llvm::Value *overflowed = CGF.Builder.CreateExtractValue(result, 1); 721036f2f6bSJohn McCall if (hasOverflow) 722036f2f6bSJohn McCall hasOverflow = CGF.Builder.CreateOr(hasOverflow, overflowed); 7238ed55a54SJohn McCall else 724036f2f6bSJohn McCall hasOverflow = overflowed; 72559486a2dSAnders Carlsson 726036f2f6bSJohn McCall size = CGF.Builder.CreateExtractValue(result, 0); 727036f2f6bSJohn McCall 728036f2f6bSJohn McCall // Also scale up numElements by the array size multiplier. 729036f2f6bSJohn McCall if (arraySizeMultiplier != 1) { 730036f2f6bSJohn McCall // If the base element type size is 1, then we can re-use the 731036f2f6bSJohn McCall // multiply we just did. 732036f2f6bSJohn McCall if (typeSize.isOne()) { 733036f2f6bSJohn McCall assert(arraySizeMultiplier == typeSizeMultiplier); 734036f2f6bSJohn McCall numElements = size; 735036f2f6bSJohn McCall 736036f2f6bSJohn McCall // Otherwise we need a separate multiply. 737036f2f6bSJohn McCall } else { 738036f2f6bSJohn McCall llvm::Value *asmV = 739036f2f6bSJohn McCall llvm::ConstantInt::get(CGF.SizeTy, arraySizeMultiplier); 740036f2f6bSJohn McCall numElements = CGF.Builder.CreateMul(numElements, asmV); 741036f2f6bSJohn McCall } 742036f2f6bSJohn McCall } 743036f2f6bSJohn McCall } else { 744036f2f6bSJohn McCall // numElements doesn't need to be scaled. 745036f2f6bSJohn McCall assert(arraySizeMultiplier == 1); 746036f2f6bSJohn McCall } 747036f2f6bSJohn McCall 748036f2f6bSJohn McCall // Add in the cookie size if necessary. 749036f2f6bSJohn McCall if (cookieSize != 0) { 750036f2f6bSJohn McCall sizeWithoutCookie = size; 751036f2f6bSJohn McCall 752036f2f6bSJohn McCall llvm::Value *uadd_with_overflow 7538d375cefSBenjamin Kramer = CGF.CGM.getIntrinsic(llvm::Intrinsic::uadd_with_overflow, CGF.SizeTy); 754036f2f6bSJohn McCall 755036f2f6bSJohn McCall llvm::Value *cookieSizeV = llvm::ConstantInt::get(CGF.SizeTy, cookieSize); 756036f2f6bSJohn McCall llvm::Value *result = 757036f2f6bSJohn McCall CGF.Builder.CreateCall2(uadd_with_overflow, size, cookieSizeV); 758036f2f6bSJohn McCall 759036f2f6bSJohn McCall llvm::Value *overflowed = CGF.Builder.CreateExtractValue(result, 1); 760036f2f6bSJohn McCall if (hasOverflow) 761036f2f6bSJohn McCall hasOverflow = CGF.Builder.CreateOr(hasOverflow, overflowed); 762036f2f6bSJohn McCall else 763036f2f6bSJohn McCall hasOverflow = overflowed; 764036f2f6bSJohn McCall 765036f2f6bSJohn McCall size = CGF.Builder.CreateExtractValue(result, 0); 766036f2f6bSJohn McCall } 767036f2f6bSJohn McCall 768036f2f6bSJohn McCall // If we had any possibility of dynamic overflow, make a select to 769036f2f6bSJohn McCall // overwrite 'size' with an all-ones value, which should cause 770036f2f6bSJohn McCall // operator new to throw. 771036f2f6bSJohn McCall if (hasOverflow) 772036f2f6bSJohn McCall size = CGF.Builder.CreateSelect(hasOverflow, 773036f2f6bSJohn McCall llvm::Constant::getAllOnesValue(CGF.SizeTy), 774036f2f6bSJohn McCall size); 775036f2f6bSJohn McCall } 776036f2f6bSJohn McCall 777036f2f6bSJohn McCall if (cookieSize == 0) 778036f2f6bSJohn McCall sizeWithoutCookie = size; 779036f2f6bSJohn McCall else 780036f2f6bSJohn McCall assert(sizeWithoutCookie && "didn't set sizeWithoutCookie?"); 781036f2f6bSJohn McCall 782036f2f6bSJohn McCall return size; 78359486a2dSAnders Carlsson } 78459486a2dSAnders Carlsson 785f862eb6aSSebastian Redl static void StoreAnyExprIntoOneUnit(CodeGenFunction &CGF, const Expr *Init, 786f862eb6aSSebastian Redl QualType AllocType, llvm::Value *NewPtr) { 787d5202e09SFariborz Jahanian 78838cd36dbSEli Friedman CharUnits Alignment = CGF.getContext().getTypeAlignInChars(AllocType); 789d5202e09SFariborz Jahanian if (!CGF.hasAggregateLLVMType(AllocType)) 79038cd36dbSEli Friedman CGF.EmitScalarInit(Init, 0, CGF.MakeAddrLValue(NewPtr, AllocType, 791a0544d6fSEli Friedman Alignment), 7921553b190SJohn McCall false); 793d5202e09SFariborz Jahanian else if (AllocType->isAnyComplexType()) 794d5202e09SFariborz Jahanian CGF.EmitComplexExprIntoAddr(Init, NewPtr, 795d5202e09SFariborz Jahanian AllocType.isVolatileQualified()); 7967a626f63SJohn McCall else { 7977a626f63SJohn McCall AggValueSlot Slot 798c1d85b93SEli Friedman = AggValueSlot::forAddr(NewPtr, Alignment, AllocType.getQualifiers(), 7998d6fc958SJohn McCall AggValueSlot::IsDestructed, 80046759f4fSJohn McCall AggValueSlot::DoesNotNeedGCBarriers, 801615ed1a3SChad Rosier AggValueSlot::IsNotAliased); 8027a626f63SJohn McCall CGF.EmitAggExpr(Init, Slot); 803d026dc49SSebastian Redl 804d026dc49SSebastian Redl CGF.MaybeEmitStdInitializerListCleanup(NewPtr, Init); 8057a626f63SJohn McCall } 806d5202e09SFariborz Jahanian } 807d5202e09SFariborz Jahanian 808d5202e09SFariborz Jahanian void 809d5202e09SFariborz Jahanian CodeGenFunction::EmitNewArrayInitializer(const CXXNewExpr *E, 81099210dc9SJohn McCall QualType elementType, 81199210dc9SJohn McCall llvm::Value *beginPtr, 81299210dc9SJohn McCall llvm::Value *numElements) { 8136047f07eSSebastian Redl if (!E->hasInitializer()) 8146047f07eSSebastian Redl return; // We have a POD type. 815b66b08efSFariborz Jahanian 816f862eb6aSSebastian Redl llvm::Value *explicitPtr = beginPtr; 81799210dc9SJohn McCall // Find the end of the array, hoisted out of the loop. 81899210dc9SJohn McCall llvm::Value *endPtr = 81999210dc9SJohn McCall Builder.CreateInBoundsGEP(beginPtr, numElements, "array.end"); 820d5202e09SFariborz Jahanian 821f862eb6aSSebastian Redl unsigned initializerElements = 0; 822f862eb6aSSebastian Redl 823f862eb6aSSebastian Redl const Expr *Init = E->getInitializer(); 824f62290a1SChad Rosier llvm::AllocaInst *endOfInit = 0; 825f62290a1SChad Rosier QualType::DestructionKind dtorKind = elementType.isDestructedType(); 826f62290a1SChad Rosier EHScopeStack::stable_iterator cleanup; 827f62290a1SChad Rosier llvm::Instruction *cleanupDominator = 0; 828f862eb6aSSebastian Redl // If the initializer is an initializer list, first do the explicit elements. 829f862eb6aSSebastian Redl if (const InitListExpr *ILE = dyn_cast<InitListExpr>(Init)) { 830f862eb6aSSebastian Redl initializerElements = ILE->getNumInits(); 831f62290a1SChad Rosier 832f62290a1SChad Rosier // Enter a partial-destruction cleanup if necessary. 833f62290a1SChad Rosier if (needsEHCleanup(dtorKind)) { 834f62290a1SChad Rosier // In principle we could tell the cleanup where we are more 835f62290a1SChad Rosier // directly, but the control flow can get so varied here that it 836f62290a1SChad Rosier // would actually be quite complex. Therefore we go through an 837f62290a1SChad Rosier // alloca. 838f62290a1SChad Rosier endOfInit = CreateTempAlloca(beginPtr->getType(), "array.endOfInit"); 839f62290a1SChad Rosier cleanupDominator = Builder.CreateStore(beginPtr, endOfInit); 840f62290a1SChad Rosier pushIrregularPartialArrayCleanup(beginPtr, endOfInit, elementType, 841f62290a1SChad Rosier getDestroyer(dtorKind)); 842f62290a1SChad Rosier cleanup = EHStack.stable_begin(); 843f62290a1SChad Rosier } 844f62290a1SChad Rosier 845f862eb6aSSebastian Redl for (unsigned i = 0, e = ILE->getNumInits(); i != e; ++i) { 846f62290a1SChad Rosier // Tell the cleanup that it needs to destroy up to this 847f62290a1SChad Rosier // element. TODO: some of these stores can be trivially 848f62290a1SChad Rosier // observed to be unnecessary. 849f62290a1SChad Rosier if (endOfInit) Builder.CreateStore(explicitPtr, endOfInit); 850f862eb6aSSebastian Redl StoreAnyExprIntoOneUnit(*this, ILE->getInit(i), elementType, explicitPtr); 851f862eb6aSSebastian Redl explicitPtr =Builder.CreateConstGEP1_32(explicitPtr, 1, "array.exp.next"); 852f862eb6aSSebastian Redl } 853f862eb6aSSebastian Redl 854f862eb6aSSebastian Redl // The remaining elements are filled with the array filler expression. 855f862eb6aSSebastian Redl Init = ILE->getArrayFiller(); 856f862eb6aSSebastian Redl } 857f862eb6aSSebastian Redl 85899210dc9SJohn McCall // Create the continuation block. 85999210dc9SJohn McCall llvm::BasicBlock *contBB = createBasicBlock("new.loop.end"); 860d5202e09SFariborz Jahanian 861f862eb6aSSebastian Redl // If the number of elements isn't constant, we have to now check if there is 862f862eb6aSSebastian Redl // anything left to initialize. 863f862eb6aSSebastian Redl if (llvm::ConstantInt *constNum = dyn_cast<llvm::ConstantInt>(numElements)) { 864f862eb6aSSebastian Redl // If all elements have already been initialized, skip the whole loop. 865f62290a1SChad Rosier if (constNum->getZExtValue() <= initializerElements) { 866f62290a1SChad Rosier // If there was a cleanup, deactivate it. 867f62290a1SChad Rosier if (cleanupDominator) 868f62290a1SChad Rosier DeactivateCleanupBlock(cleanup, cleanupDominator);; 869f62290a1SChad Rosier return; 870f62290a1SChad Rosier } 871f862eb6aSSebastian Redl } else { 87299210dc9SJohn McCall llvm::BasicBlock *nonEmptyBB = createBasicBlock("new.loop.nonempty"); 873f862eb6aSSebastian Redl llvm::Value *isEmpty = Builder.CreateICmpEQ(explicitPtr, endPtr, 87499210dc9SJohn McCall "array.isempty"); 87599210dc9SJohn McCall Builder.CreateCondBr(isEmpty, contBB, nonEmptyBB); 87699210dc9SJohn McCall EmitBlock(nonEmptyBB); 87799210dc9SJohn McCall } 878d5202e09SFariborz Jahanian 87999210dc9SJohn McCall // Enter the loop. 88099210dc9SJohn McCall llvm::BasicBlock *entryBB = Builder.GetInsertBlock(); 88199210dc9SJohn McCall llvm::BasicBlock *loopBB = createBasicBlock("new.loop"); 882d5202e09SFariborz Jahanian 88399210dc9SJohn McCall EmitBlock(loopBB); 884d5202e09SFariborz Jahanian 88599210dc9SJohn McCall // Set up the current-element phi. 88699210dc9SJohn McCall llvm::PHINode *curPtr = 887f862eb6aSSebastian Redl Builder.CreatePHI(explicitPtr->getType(), 2, "array.cur"); 888f862eb6aSSebastian Redl curPtr->addIncoming(explicitPtr, entryBB); 889d5202e09SFariborz Jahanian 890f62290a1SChad Rosier // Store the new cleanup position for irregular cleanups. 891f62290a1SChad Rosier if (endOfInit) Builder.CreateStore(curPtr, endOfInit); 892f62290a1SChad Rosier 89399210dc9SJohn McCall // Enter a partial-destruction cleanup if necessary. 894f62290a1SChad Rosier if (!cleanupDominator && needsEHCleanup(dtorKind)) { 89599210dc9SJohn McCall pushRegularPartialArrayCleanup(beginPtr, curPtr, elementType, 89699210dc9SJohn McCall getDestroyer(dtorKind)); 89799210dc9SJohn McCall cleanup = EHStack.stable_begin(); 898f4beacd0SJohn McCall cleanupDominator = Builder.CreateUnreachable(); 89999210dc9SJohn McCall } 900d5202e09SFariborz Jahanian 90199210dc9SJohn McCall // Emit the initializer into this element. 902f862eb6aSSebastian Redl StoreAnyExprIntoOneUnit(*this, Init, E->getAllocatedType(), curPtr); 903d5202e09SFariborz Jahanian 90499210dc9SJohn McCall // Leave the cleanup if we entered one. 905de6a86b4SEli Friedman if (cleanupDominator) { 906f4beacd0SJohn McCall DeactivateCleanupBlock(cleanup, cleanupDominator); 907f4beacd0SJohn McCall cleanupDominator->eraseFromParent(); 908f4beacd0SJohn McCall } 909d5202e09SFariborz Jahanian 91099210dc9SJohn McCall // Advance to the next element. 91199210dc9SJohn McCall llvm::Value *nextPtr = Builder.CreateConstGEP1_32(curPtr, 1, "array.next"); 91299210dc9SJohn McCall 91399210dc9SJohn McCall // Check whether we've gotten to the end of the array and, if so, 91499210dc9SJohn McCall // exit the loop. 91599210dc9SJohn McCall llvm::Value *isEnd = Builder.CreateICmpEQ(nextPtr, endPtr, "array.atend"); 91699210dc9SJohn McCall Builder.CreateCondBr(isEnd, contBB, loopBB); 91799210dc9SJohn McCall curPtr->addIncoming(nextPtr, Builder.GetInsertBlock()); 91899210dc9SJohn McCall 91999210dc9SJohn McCall EmitBlock(contBB); 920d5202e09SFariborz Jahanian } 921d5202e09SFariborz Jahanian 92205fc5be3SDouglas Gregor static void EmitZeroMemSet(CodeGenFunction &CGF, QualType T, 92305fc5be3SDouglas Gregor llvm::Value *NewPtr, llvm::Value *Size) { 924ad7c5c16SJohn McCall CGF.EmitCastToVoidPtr(NewPtr); 925705ba07eSKen Dyck CharUnits Alignment = CGF.getContext().getTypeAlignInChars(T); 926acc6b4e2SBenjamin Kramer CGF.Builder.CreateMemSet(NewPtr, CGF.Builder.getInt8(0), Size, 927705ba07eSKen Dyck Alignment.getQuantity(), false); 92805fc5be3SDouglas Gregor } 92905fc5be3SDouglas Gregor 93059486a2dSAnders Carlsson static void EmitNewInitializer(CodeGenFunction &CGF, const CXXNewExpr *E, 93199210dc9SJohn McCall QualType ElementType, 93259486a2dSAnders Carlsson llvm::Value *NewPtr, 93305fc5be3SDouglas Gregor llvm::Value *NumElements, 93405fc5be3SDouglas Gregor llvm::Value *AllocSizeWithoutCookie) { 9356047f07eSSebastian Redl const Expr *Init = E->getInitializer(); 9363a202f60SAnders Carlsson if (E->isArray()) { 9376047f07eSSebastian Redl if (const CXXConstructExpr *CCE = dyn_cast_or_null<CXXConstructExpr>(Init)){ 9386047f07eSSebastian Redl CXXConstructorDecl *Ctor = CCE->getConstructor(); 93905fc5be3SDouglas Gregor bool RequiresZeroInitialization = false; 940d153103cSDouglas Gregor if (Ctor->isTrivial()) { 94105fc5be3SDouglas Gregor // If new expression did not specify value-initialization, then there 94205fc5be3SDouglas Gregor // is no initialization. 9436047f07eSSebastian Redl if (!CCE->requiresZeroInitialization() || Ctor->getParent()->isEmpty()) 94405fc5be3SDouglas Gregor return; 94505fc5be3SDouglas Gregor 94699210dc9SJohn McCall if (CGF.CGM.getTypes().isZeroInitializable(ElementType)) { 94705fc5be3SDouglas Gregor // Optimization: since zero initialization will just set the memory 94805fc5be3SDouglas Gregor // to all zeroes, generate a single memset to do it in one shot. 94999210dc9SJohn McCall EmitZeroMemSet(CGF, ElementType, NewPtr, AllocSizeWithoutCookie); 9503a202f60SAnders Carlsson return; 9513a202f60SAnders Carlsson } 95205fc5be3SDouglas Gregor 95305fc5be3SDouglas Gregor RequiresZeroInitialization = true; 95405fc5be3SDouglas Gregor } 95505fc5be3SDouglas Gregor 95605fc5be3SDouglas Gregor CGF.EmitCXXAggrConstructorCall(Ctor, NumElements, NewPtr, 9576047f07eSSebastian Redl CCE->arg_begin(), CCE->arg_end(), 95805fc5be3SDouglas Gregor RequiresZeroInitialization); 95905fc5be3SDouglas Gregor return; 9606047f07eSSebastian Redl } else if (Init && isa<ImplicitValueInitExpr>(Init) && 961de6a86b4SEli Friedman CGF.CGM.getTypes().isZeroInitializable(ElementType)) { 96205fc5be3SDouglas Gregor // Optimization: since zero initialization will just set the memory 96305fc5be3SDouglas Gregor // to all zeroes, generate a single memset to do it in one shot. 96499210dc9SJohn McCall EmitZeroMemSet(CGF, ElementType, NewPtr, AllocSizeWithoutCookie); 96505fc5be3SDouglas Gregor return; 9666047f07eSSebastian Redl } 96799210dc9SJohn McCall CGF.EmitNewArrayInitializer(E, ElementType, NewPtr, NumElements); 968d5202e09SFariborz Jahanian return; 969d040e6b2SAnders Carlsson } 97059486a2dSAnders Carlsson 9716047f07eSSebastian Redl if (!Init) 972b66b08efSFariborz Jahanian return; 97359486a2dSAnders Carlsson 974f862eb6aSSebastian Redl StoreAnyExprIntoOneUnit(CGF, Init, E->getAllocatedType(), NewPtr); 97559486a2dSAnders Carlsson } 97659486a2dSAnders Carlsson 977824c2f53SJohn McCall namespace { 978824c2f53SJohn McCall /// A cleanup to call the given 'operator delete' function upon 979824c2f53SJohn McCall /// abnormal exit from a new expression. 980824c2f53SJohn McCall class CallDeleteDuringNew : public EHScopeStack::Cleanup { 981824c2f53SJohn McCall size_t NumPlacementArgs; 982824c2f53SJohn McCall const FunctionDecl *OperatorDelete; 983824c2f53SJohn McCall llvm::Value *Ptr; 984824c2f53SJohn McCall llvm::Value *AllocSize; 985824c2f53SJohn McCall 986824c2f53SJohn McCall RValue *getPlacementArgs() { return reinterpret_cast<RValue*>(this+1); } 987824c2f53SJohn McCall 988824c2f53SJohn McCall public: 989824c2f53SJohn McCall static size_t getExtraSize(size_t NumPlacementArgs) { 990824c2f53SJohn McCall return NumPlacementArgs * sizeof(RValue); 991824c2f53SJohn McCall } 992824c2f53SJohn McCall 993824c2f53SJohn McCall CallDeleteDuringNew(size_t NumPlacementArgs, 994824c2f53SJohn McCall const FunctionDecl *OperatorDelete, 995824c2f53SJohn McCall llvm::Value *Ptr, 996824c2f53SJohn McCall llvm::Value *AllocSize) 997824c2f53SJohn McCall : NumPlacementArgs(NumPlacementArgs), OperatorDelete(OperatorDelete), 998824c2f53SJohn McCall Ptr(Ptr), AllocSize(AllocSize) {} 999824c2f53SJohn McCall 1000824c2f53SJohn McCall void setPlacementArg(unsigned I, RValue Arg) { 1001824c2f53SJohn McCall assert(I < NumPlacementArgs && "index out of range"); 1002824c2f53SJohn McCall getPlacementArgs()[I] = Arg; 1003824c2f53SJohn McCall } 1004824c2f53SJohn McCall 100530317fdaSJohn McCall void Emit(CodeGenFunction &CGF, Flags flags) { 1006824c2f53SJohn McCall const FunctionProtoType *FPT 1007824c2f53SJohn McCall = OperatorDelete->getType()->getAs<FunctionProtoType>(); 1008824c2f53SJohn McCall assert(FPT->getNumArgs() == NumPlacementArgs + 1 || 1009d441b1e6SJohn McCall (FPT->getNumArgs() == 2 && NumPlacementArgs == 0)); 1010824c2f53SJohn McCall 1011824c2f53SJohn McCall CallArgList DeleteArgs; 1012824c2f53SJohn McCall 1013824c2f53SJohn McCall // The first argument is always a void*. 1014824c2f53SJohn McCall FunctionProtoType::arg_type_iterator AI = FPT->arg_type_begin(); 101543dca6a8SEli Friedman DeleteArgs.add(RValue::get(Ptr), *AI++); 1016824c2f53SJohn McCall 1017824c2f53SJohn McCall // A member 'operator delete' can take an extra 'size_t' argument. 1018824c2f53SJohn McCall if (FPT->getNumArgs() == NumPlacementArgs + 2) 101943dca6a8SEli Friedman DeleteArgs.add(RValue::get(AllocSize), *AI++); 1020824c2f53SJohn McCall 1021824c2f53SJohn McCall // Pass the rest of the arguments, which must match exactly. 1022824c2f53SJohn McCall for (unsigned I = 0; I != NumPlacementArgs; ++I) 102343dca6a8SEli Friedman DeleteArgs.add(getPlacementArgs()[I], *AI++); 1024824c2f53SJohn McCall 1025824c2f53SJohn McCall // Call 'operator delete'. 1026a729c62bSJohn McCall CGF.EmitCall(CGF.CGM.getTypes().arrangeFunctionCall(DeleteArgs, FPT), 1027824c2f53SJohn McCall CGF.CGM.GetAddrOfFunction(OperatorDelete), 1028824c2f53SJohn McCall ReturnValueSlot(), DeleteArgs, OperatorDelete); 1029824c2f53SJohn McCall } 1030824c2f53SJohn McCall }; 10317f9c92a9SJohn McCall 10327f9c92a9SJohn McCall /// A cleanup to call the given 'operator delete' function upon 10337f9c92a9SJohn McCall /// abnormal exit from a new expression when the new expression is 10347f9c92a9SJohn McCall /// conditional. 10357f9c92a9SJohn McCall class CallDeleteDuringConditionalNew : public EHScopeStack::Cleanup { 10367f9c92a9SJohn McCall size_t NumPlacementArgs; 10377f9c92a9SJohn McCall const FunctionDecl *OperatorDelete; 1038cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type Ptr; 1039cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type AllocSize; 10407f9c92a9SJohn McCall 1041cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type *getPlacementArgs() { 1042cb5f77f0SJohn McCall return reinterpret_cast<DominatingValue<RValue>::saved_type*>(this+1); 10437f9c92a9SJohn McCall } 10447f9c92a9SJohn McCall 10457f9c92a9SJohn McCall public: 10467f9c92a9SJohn McCall static size_t getExtraSize(size_t NumPlacementArgs) { 1047cb5f77f0SJohn McCall return NumPlacementArgs * sizeof(DominatingValue<RValue>::saved_type); 10487f9c92a9SJohn McCall } 10497f9c92a9SJohn McCall 10507f9c92a9SJohn McCall CallDeleteDuringConditionalNew(size_t NumPlacementArgs, 10517f9c92a9SJohn McCall const FunctionDecl *OperatorDelete, 1052cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type Ptr, 1053cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type AllocSize) 10547f9c92a9SJohn McCall : NumPlacementArgs(NumPlacementArgs), OperatorDelete(OperatorDelete), 10557f9c92a9SJohn McCall Ptr(Ptr), AllocSize(AllocSize) {} 10567f9c92a9SJohn McCall 1057cb5f77f0SJohn McCall void setPlacementArg(unsigned I, DominatingValue<RValue>::saved_type Arg) { 10587f9c92a9SJohn McCall assert(I < NumPlacementArgs && "index out of range"); 10597f9c92a9SJohn McCall getPlacementArgs()[I] = Arg; 10607f9c92a9SJohn McCall } 10617f9c92a9SJohn McCall 106230317fdaSJohn McCall void Emit(CodeGenFunction &CGF, Flags flags) { 10637f9c92a9SJohn McCall const FunctionProtoType *FPT 10647f9c92a9SJohn McCall = OperatorDelete->getType()->getAs<FunctionProtoType>(); 10657f9c92a9SJohn McCall assert(FPT->getNumArgs() == NumPlacementArgs + 1 || 10667f9c92a9SJohn McCall (FPT->getNumArgs() == 2 && NumPlacementArgs == 0)); 10677f9c92a9SJohn McCall 10687f9c92a9SJohn McCall CallArgList DeleteArgs; 10697f9c92a9SJohn McCall 10707f9c92a9SJohn McCall // The first argument is always a void*. 10717f9c92a9SJohn McCall FunctionProtoType::arg_type_iterator AI = FPT->arg_type_begin(); 107243dca6a8SEli Friedman DeleteArgs.add(Ptr.restore(CGF), *AI++); 10737f9c92a9SJohn McCall 10747f9c92a9SJohn McCall // A member 'operator delete' can take an extra 'size_t' argument. 10757f9c92a9SJohn McCall if (FPT->getNumArgs() == NumPlacementArgs + 2) { 1076cb5f77f0SJohn McCall RValue RV = AllocSize.restore(CGF); 107743dca6a8SEli Friedman DeleteArgs.add(RV, *AI++); 10787f9c92a9SJohn McCall } 10797f9c92a9SJohn McCall 10807f9c92a9SJohn McCall // Pass the rest of the arguments, which must match exactly. 10817f9c92a9SJohn McCall for (unsigned I = 0; I != NumPlacementArgs; ++I) { 1082cb5f77f0SJohn McCall RValue RV = getPlacementArgs()[I].restore(CGF); 108343dca6a8SEli Friedman DeleteArgs.add(RV, *AI++); 10847f9c92a9SJohn McCall } 10857f9c92a9SJohn McCall 10867f9c92a9SJohn McCall // Call 'operator delete'. 1087a729c62bSJohn McCall CGF.EmitCall(CGF.CGM.getTypes().arrangeFunctionCall(DeleteArgs, FPT), 10887f9c92a9SJohn McCall CGF.CGM.GetAddrOfFunction(OperatorDelete), 10897f9c92a9SJohn McCall ReturnValueSlot(), DeleteArgs, OperatorDelete); 10907f9c92a9SJohn McCall } 10917f9c92a9SJohn McCall }; 10927f9c92a9SJohn McCall } 10937f9c92a9SJohn McCall 10947f9c92a9SJohn McCall /// Enter a cleanup to call 'operator delete' if the initializer in a 10957f9c92a9SJohn McCall /// new-expression throws. 10967f9c92a9SJohn McCall static void EnterNewDeleteCleanup(CodeGenFunction &CGF, 10977f9c92a9SJohn McCall const CXXNewExpr *E, 10987f9c92a9SJohn McCall llvm::Value *NewPtr, 10997f9c92a9SJohn McCall llvm::Value *AllocSize, 11007f9c92a9SJohn McCall const CallArgList &NewArgs) { 11017f9c92a9SJohn McCall // If we're not inside a conditional branch, then the cleanup will 11027f9c92a9SJohn McCall // dominate and we can do the easier (and more efficient) thing. 11037f9c92a9SJohn McCall if (!CGF.isInConditionalBranch()) { 11047f9c92a9SJohn McCall CallDeleteDuringNew *Cleanup = CGF.EHStack 11057f9c92a9SJohn McCall .pushCleanupWithExtra<CallDeleteDuringNew>(EHCleanup, 11067f9c92a9SJohn McCall E->getNumPlacementArgs(), 11077f9c92a9SJohn McCall E->getOperatorDelete(), 11087f9c92a9SJohn McCall NewPtr, AllocSize); 11097f9c92a9SJohn McCall for (unsigned I = 0, N = E->getNumPlacementArgs(); I != N; ++I) 1110f4258eb4SEli Friedman Cleanup->setPlacementArg(I, NewArgs[I+1].RV); 11117f9c92a9SJohn McCall 11127f9c92a9SJohn McCall return; 11137f9c92a9SJohn McCall } 11147f9c92a9SJohn McCall 11157f9c92a9SJohn McCall // Otherwise, we need to save all this stuff. 1116cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type SavedNewPtr = 1117cb5f77f0SJohn McCall DominatingValue<RValue>::save(CGF, RValue::get(NewPtr)); 1118cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type SavedAllocSize = 1119cb5f77f0SJohn McCall DominatingValue<RValue>::save(CGF, RValue::get(AllocSize)); 11207f9c92a9SJohn McCall 11217f9c92a9SJohn McCall CallDeleteDuringConditionalNew *Cleanup = CGF.EHStack 1122f4beacd0SJohn McCall .pushCleanupWithExtra<CallDeleteDuringConditionalNew>(EHCleanup, 11237f9c92a9SJohn McCall E->getNumPlacementArgs(), 11247f9c92a9SJohn McCall E->getOperatorDelete(), 11257f9c92a9SJohn McCall SavedNewPtr, 11267f9c92a9SJohn McCall SavedAllocSize); 11277f9c92a9SJohn McCall for (unsigned I = 0, N = E->getNumPlacementArgs(); I != N; ++I) 1128cb5f77f0SJohn McCall Cleanup->setPlacementArg(I, 1129f4258eb4SEli Friedman DominatingValue<RValue>::save(CGF, NewArgs[I+1].RV)); 11307f9c92a9SJohn McCall 1131f4beacd0SJohn McCall CGF.initFullExprCleanup(); 1132824c2f53SJohn McCall } 1133824c2f53SJohn McCall 113459486a2dSAnders Carlsson llvm::Value *CodeGenFunction::EmitCXXNewExpr(const CXXNewExpr *E) { 113575f9498aSJohn McCall // The element type being allocated. 113675f9498aSJohn McCall QualType allocType = getContext().getBaseElementType(E->getAllocatedType()); 11378ed55a54SJohn McCall 113875f9498aSJohn McCall // 1. Build a call to the allocation function. 113975f9498aSJohn McCall FunctionDecl *allocator = E->getOperatorNew(); 114075f9498aSJohn McCall const FunctionProtoType *allocatorType = 114175f9498aSJohn McCall allocator->getType()->castAs<FunctionProtoType>(); 114259486a2dSAnders Carlsson 114375f9498aSJohn McCall CallArgList allocatorArgs; 114459486a2dSAnders Carlsson 114559486a2dSAnders Carlsson // The allocation size is the first argument. 114675f9498aSJohn McCall QualType sizeType = getContext().getSizeType(); 114759486a2dSAnders Carlsson 1148f862eb6aSSebastian Redl // If there is a brace-initializer, cannot allocate fewer elements than inits. 1149f862eb6aSSebastian Redl unsigned minElements = 0; 1150f862eb6aSSebastian Redl if (E->isArray() && E->hasInitializer()) { 1151f862eb6aSSebastian Redl if (const InitListExpr *ILE = dyn_cast<InitListExpr>(E->getInitializer())) 1152f862eb6aSSebastian Redl minElements = ILE->getNumInits(); 1153f862eb6aSSebastian Redl } 1154f862eb6aSSebastian Redl 115575f9498aSJohn McCall llvm::Value *numElements = 0; 115675f9498aSJohn McCall llvm::Value *allocSizeWithoutCookie = 0; 115775f9498aSJohn McCall llvm::Value *allocSize = 1158f862eb6aSSebastian Redl EmitCXXNewAllocSize(*this, E, minElements, numElements, 1159f862eb6aSSebastian Redl allocSizeWithoutCookie); 116059486a2dSAnders Carlsson 116143dca6a8SEli Friedman allocatorArgs.add(RValue::get(allocSize), sizeType); 116259486a2dSAnders Carlsson 116359486a2dSAnders Carlsson // Emit the rest of the arguments. 116459486a2dSAnders Carlsson // FIXME: Ideally, this should just use EmitCallArgs. 116575f9498aSJohn McCall CXXNewExpr::const_arg_iterator placementArg = E->placement_arg_begin(); 116659486a2dSAnders Carlsson 116759486a2dSAnders Carlsson // First, use the types from the function type. 116859486a2dSAnders Carlsson // We start at 1 here because the first argument (the allocation size) 116959486a2dSAnders Carlsson // has already been emitted. 117075f9498aSJohn McCall for (unsigned i = 1, e = allocatorType->getNumArgs(); i != e; 117175f9498aSJohn McCall ++i, ++placementArg) { 117275f9498aSJohn McCall QualType argType = allocatorType->getArgType(i); 117359486a2dSAnders Carlsson 117475f9498aSJohn McCall assert(getContext().hasSameUnqualifiedType(argType.getNonReferenceType(), 117575f9498aSJohn McCall placementArg->getType()) && 117659486a2dSAnders Carlsson "type mismatch in call argument!"); 117759486a2dSAnders Carlsson 117832ea9694SJohn McCall EmitCallArg(allocatorArgs, *placementArg, argType); 117959486a2dSAnders Carlsson } 118059486a2dSAnders Carlsson 118159486a2dSAnders Carlsson // Either we've emitted all the call args, or we have a call to a 118259486a2dSAnders Carlsson // variadic function. 118375f9498aSJohn McCall assert((placementArg == E->placement_arg_end() || 118475f9498aSJohn McCall allocatorType->isVariadic()) && 118575f9498aSJohn McCall "Extra arguments to non-variadic function!"); 118659486a2dSAnders Carlsson 118759486a2dSAnders Carlsson // If we still have any arguments, emit them using the type of the argument. 118875f9498aSJohn McCall for (CXXNewExpr::const_arg_iterator placementArgsEnd = E->placement_arg_end(); 118975f9498aSJohn McCall placementArg != placementArgsEnd; ++placementArg) { 119032ea9694SJohn McCall EmitCallArg(allocatorArgs, *placementArg, placementArg->getType()); 119159486a2dSAnders Carlsson } 119259486a2dSAnders Carlsson 11937ec4b434SJohn McCall // Emit the allocation call. If the allocator is a global placement 11947ec4b434SJohn McCall // operator, just "inline" it directly. 11957ec4b434SJohn McCall RValue RV; 11967ec4b434SJohn McCall if (allocator->isReservedGlobalPlacementOperator()) { 11977ec4b434SJohn McCall assert(allocatorArgs.size() == 2); 11987ec4b434SJohn McCall RV = allocatorArgs[1].RV; 11997ec4b434SJohn McCall // TODO: kill any unnecessary computations done for the size 12007ec4b434SJohn McCall // argument. 12017ec4b434SJohn McCall } else { 1202a729c62bSJohn McCall RV = EmitCall(CGM.getTypes().arrangeFunctionCall(allocatorArgs, 1203a729c62bSJohn McCall allocatorType), 120475f9498aSJohn McCall CGM.GetAddrOfFunction(allocator), ReturnValueSlot(), 120575f9498aSJohn McCall allocatorArgs, allocator); 12067ec4b434SJohn McCall } 120759486a2dSAnders Carlsson 120875f9498aSJohn McCall // Emit a null check on the allocation result if the allocation 120975f9498aSJohn McCall // function is allowed to return null (because it has a non-throwing 121075f9498aSJohn McCall // exception spec; for this part, we inline 121175f9498aSJohn McCall // CXXNewExpr::shouldNullCheckAllocation()) and we have an 121275f9498aSJohn McCall // interesting initializer. 121331ad754cSSebastian Redl bool nullCheck = allocatorType->isNothrow(getContext()) && 12146047f07eSSebastian Redl (!allocType.isPODType(getContext()) || E->hasInitializer()); 121559486a2dSAnders Carlsson 121675f9498aSJohn McCall llvm::BasicBlock *nullCheckBB = 0; 121775f9498aSJohn McCall llvm::BasicBlock *contBB = 0; 121859486a2dSAnders Carlsson 121975f9498aSJohn McCall llvm::Value *allocation = RV.getScalarVal(); 122075f9498aSJohn McCall unsigned AS = 122175f9498aSJohn McCall cast<llvm::PointerType>(allocation->getType())->getAddressSpace(); 122259486a2dSAnders Carlsson 1223f7dcf320SJohn McCall // The null-check means that the initializer is conditionally 1224f7dcf320SJohn McCall // evaluated. 1225f7dcf320SJohn McCall ConditionalEvaluation conditional(*this); 1226f7dcf320SJohn McCall 122775f9498aSJohn McCall if (nullCheck) { 1228f7dcf320SJohn McCall conditional.begin(*this); 122975f9498aSJohn McCall 123075f9498aSJohn McCall nullCheckBB = Builder.GetInsertBlock(); 123175f9498aSJohn McCall llvm::BasicBlock *notNullBB = createBasicBlock("new.notnull"); 123275f9498aSJohn McCall contBB = createBasicBlock("new.cont"); 123375f9498aSJohn McCall 123475f9498aSJohn McCall llvm::Value *isNull = Builder.CreateIsNull(allocation, "new.isnull"); 123575f9498aSJohn McCall Builder.CreateCondBr(isNull, contBB, notNullBB); 123675f9498aSJohn McCall EmitBlock(notNullBB); 123759486a2dSAnders Carlsson } 123859486a2dSAnders Carlsson 1239824c2f53SJohn McCall // If there's an operator delete, enter a cleanup to call it if an 1240824c2f53SJohn McCall // exception is thrown. 124175f9498aSJohn McCall EHScopeStack::stable_iterator operatorDeleteCleanup; 1242f4beacd0SJohn McCall llvm::Instruction *cleanupDominator = 0; 12437ec4b434SJohn McCall if (E->getOperatorDelete() && 12447ec4b434SJohn McCall !E->getOperatorDelete()->isReservedGlobalPlacementOperator()) { 124575f9498aSJohn McCall EnterNewDeleteCleanup(*this, E, allocation, allocSize, allocatorArgs); 124675f9498aSJohn McCall operatorDeleteCleanup = EHStack.stable_begin(); 1247f4beacd0SJohn McCall cleanupDominator = Builder.CreateUnreachable(); 1248824c2f53SJohn McCall } 1249824c2f53SJohn McCall 1250cf9b1f65SEli Friedman assert((allocSize == allocSizeWithoutCookie) == 1251cf9b1f65SEli Friedman CalculateCookiePadding(*this, E).isZero()); 1252cf9b1f65SEli Friedman if (allocSize != allocSizeWithoutCookie) { 1253cf9b1f65SEli Friedman assert(E->isArray()); 1254cf9b1f65SEli Friedman allocation = CGM.getCXXABI().InitializeArrayCookie(*this, allocation, 1255cf9b1f65SEli Friedman numElements, 1256cf9b1f65SEli Friedman E, allocType); 1257cf9b1f65SEli Friedman } 1258cf9b1f65SEli Friedman 12592192fe50SChris Lattner llvm::Type *elementPtrTy 126075f9498aSJohn McCall = ConvertTypeForMem(allocType)->getPointerTo(AS); 126175f9498aSJohn McCall llvm::Value *result = Builder.CreateBitCast(allocation, elementPtrTy); 1262824c2f53SJohn McCall 126399210dc9SJohn McCall EmitNewInitializer(*this, E, allocType, result, numElements, 126499210dc9SJohn McCall allocSizeWithoutCookie); 12658ed55a54SJohn McCall if (E->isArray()) { 12668ed55a54SJohn McCall // NewPtr is a pointer to the base element type. If we're 12678ed55a54SJohn McCall // allocating an array of arrays, we'll need to cast back to the 12688ed55a54SJohn McCall // array pointer type. 12692192fe50SChris Lattner llvm::Type *resultType = ConvertTypeForMem(E->getType()); 127075f9498aSJohn McCall if (result->getType() != resultType) 127175f9498aSJohn McCall result = Builder.CreateBitCast(result, resultType); 127247b4629bSFariborz Jahanian } 127359486a2dSAnders Carlsson 1274824c2f53SJohn McCall // Deactivate the 'operator delete' cleanup if we finished 1275824c2f53SJohn McCall // initialization. 1276f4beacd0SJohn McCall if (operatorDeleteCleanup.isValid()) { 1277f4beacd0SJohn McCall DeactivateCleanupBlock(operatorDeleteCleanup, cleanupDominator); 1278f4beacd0SJohn McCall cleanupDominator->eraseFromParent(); 1279f4beacd0SJohn McCall } 1280824c2f53SJohn McCall 128175f9498aSJohn McCall if (nullCheck) { 1282f7dcf320SJohn McCall conditional.end(*this); 1283f7dcf320SJohn McCall 128475f9498aSJohn McCall llvm::BasicBlock *notNullBB = Builder.GetInsertBlock(); 128575f9498aSJohn McCall EmitBlock(contBB); 128659486a2dSAnders Carlsson 128720c0f02cSJay Foad llvm::PHINode *PHI = Builder.CreatePHI(result->getType(), 2); 128875f9498aSJohn McCall PHI->addIncoming(result, notNullBB); 128975f9498aSJohn McCall PHI->addIncoming(llvm::Constant::getNullValue(result->getType()), 129075f9498aSJohn McCall nullCheckBB); 129159486a2dSAnders Carlsson 129275f9498aSJohn McCall result = PHI; 129359486a2dSAnders Carlsson } 129459486a2dSAnders Carlsson 129575f9498aSJohn McCall return result; 129659486a2dSAnders Carlsson } 129759486a2dSAnders Carlsson 129859486a2dSAnders Carlsson void CodeGenFunction::EmitDeleteCall(const FunctionDecl *DeleteFD, 129959486a2dSAnders Carlsson llvm::Value *Ptr, 130059486a2dSAnders Carlsson QualType DeleteTy) { 13018ed55a54SJohn McCall assert(DeleteFD->getOverloadedOperator() == OO_Delete); 13028ed55a54SJohn McCall 130359486a2dSAnders Carlsson const FunctionProtoType *DeleteFTy = 130459486a2dSAnders Carlsson DeleteFD->getType()->getAs<FunctionProtoType>(); 130559486a2dSAnders Carlsson 130659486a2dSAnders Carlsson CallArgList DeleteArgs; 130759486a2dSAnders Carlsson 130821122cf6SAnders Carlsson // Check if we need to pass the size to the delete operator. 130921122cf6SAnders Carlsson llvm::Value *Size = 0; 131021122cf6SAnders Carlsson QualType SizeTy; 131121122cf6SAnders Carlsson if (DeleteFTy->getNumArgs() == 2) { 131221122cf6SAnders Carlsson SizeTy = DeleteFTy->getArgType(1); 13137df3cbebSKen Dyck CharUnits DeleteTypeSize = getContext().getTypeSizeInChars(DeleteTy); 13147df3cbebSKen Dyck Size = llvm::ConstantInt::get(ConvertType(SizeTy), 13157df3cbebSKen Dyck DeleteTypeSize.getQuantity()); 131621122cf6SAnders Carlsson } 131721122cf6SAnders Carlsson 131859486a2dSAnders Carlsson QualType ArgTy = DeleteFTy->getArgType(0); 131959486a2dSAnders Carlsson llvm::Value *DeletePtr = Builder.CreateBitCast(Ptr, ConvertType(ArgTy)); 132043dca6a8SEli Friedman DeleteArgs.add(RValue::get(DeletePtr), ArgTy); 132159486a2dSAnders Carlsson 132221122cf6SAnders Carlsson if (Size) 132343dca6a8SEli Friedman DeleteArgs.add(RValue::get(Size), SizeTy); 132459486a2dSAnders Carlsson 132559486a2dSAnders Carlsson // Emit the call to delete. 1326a729c62bSJohn McCall EmitCall(CGM.getTypes().arrangeFunctionCall(DeleteArgs, DeleteFTy), 132761a401caSAnders Carlsson CGM.GetAddrOfFunction(DeleteFD), ReturnValueSlot(), 132859486a2dSAnders Carlsson DeleteArgs, DeleteFD); 132959486a2dSAnders Carlsson } 133059486a2dSAnders Carlsson 13318ed55a54SJohn McCall namespace { 13328ed55a54SJohn McCall /// Calls the given 'operator delete' on a single object. 13338ed55a54SJohn McCall struct CallObjectDelete : EHScopeStack::Cleanup { 13348ed55a54SJohn McCall llvm::Value *Ptr; 13358ed55a54SJohn McCall const FunctionDecl *OperatorDelete; 13368ed55a54SJohn McCall QualType ElementType; 13378ed55a54SJohn McCall 13388ed55a54SJohn McCall CallObjectDelete(llvm::Value *Ptr, 13398ed55a54SJohn McCall const FunctionDecl *OperatorDelete, 13408ed55a54SJohn McCall QualType ElementType) 13418ed55a54SJohn McCall : Ptr(Ptr), OperatorDelete(OperatorDelete), ElementType(ElementType) {} 13428ed55a54SJohn McCall 134330317fdaSJohn McCall void Emit(CodeGenFunction &CGF, Flags flags) { 13448ed55a54SJohn McCall CGF.EmitDeleteCall(OperatorDelete, Ptr, ElementType); 13458ed55a54SJohn McCall } 13468ed55a54SJohn McCall }; 13478ed55a54SJohn McCall } 13488ed55a54SJohn McCall 13498ed55a54SJohn McCall /// Emit the code for deleting a single object. 13508ed55a54SJohn McCall static void EmitObjectDelete(CodeGenFunction &CGF, 13518ed55a54SJohn McCall const FunctionDecl *OperatorDelete, 13528ed55a54SJohn McCall llvm::Value *Ptr, 13531c2e20d7SDouglas Gregor QualType ElementType, 13541c2e20d7SDouglas Gregor bool UseGlobalDelete) { 13558ed55a54SJohn McCall // Find the destructor for the type, if applicable. If the 13568ed55a54SJohn McCall // destructor is virtual, we'll just emit the vcall and return. 13578ed55a54SJohn McCall const CXXDestructorDecl *Dtor = 0; 13588ed55a54SJohn McCall if (const RecordType *RT = ElementType->getAs<RecordType>()) { 13598ed55a54SJohn McCall CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl()); 1360b23533dbSEli Friedman if (RD->hasDefinition() && !RD->hasTrivialDestructor()) { 13618ed55a54SJohn McCall Dtor = RD->getDestructor(); 13628ed55a54SJohn McCall 13638ed55a54SJohn McCall if (Dtor->isVirtual()) { 13641c2e20d7SDouglas Gregor if (UseGlobalDelete) { 13651c2e20d7SDouglas Gregor // If we're supposed to call the global delete, make sure we do so 13661c2e20d7SDouglas Gregor // even if the destructor throws. 13671c2e20d7SDouglas Gregor CGF.EHStack.pushCleanup<CallObjectDelete>(NormalAndEHCleanup, 13681c2e20d7SDouglas Gregor Ptr, OperatorDelete, 13691c2e20d7SDouglas Gregor ElementType); 13701c2e20d7SDouglas Gregor } 13711c2e20d7SDouglas Gregor 13722192fe50SChris Lattner llvm::Type *Ty = 1373a729c62bSJohn McCall CGF.getTypes().GetFunctionType( 1374a729c62bSJohn McCall CGF.getTypes().arrangeCXXDestructor(Dtor, Dtor_Complete)); 13758ed55a54SJohn McCall 13768ed55a54SJohn McCall llvm::Value *Callee 13771c2e20d7SDouglas Gregor = CGF.BuildVirtualCall(Dtor, 13781c2e20d7SDouglas Gregor UseGlobalDelete? Dtor_Complete : Dtor_Deleting, 13791c2e20d7SDouglas Gregor Ptr, Ty); 13808ed55a54SJohn McCall CGF.EmitCXXMemberCall(Dtor, Callee, ReturnValueSlot(), Ptr, /*VTT=*/0, 13818ed55a54SJohn McCall 0, 0); 13828ed55a54SJohn McCall 13831c2e20d7SDouglas Gregor if (UseGlobalDelete) { 13841c2e20d7SDouglas Gregor CGF.PopCleanupBlock(); 13851c2e20d7SDouglas Gregor } 13861c2e20d7SDouglas Gregor 13878ed55a54SJohn McCall return; 13888ed55a54SJohn McCall } 13898ed55a54SJohn McCall } 13908ed55a54SJohn McCall } 13918ed55a54SJohn McCall 13928ed55a54SJohn McCall // Make sure that we call delete even if the dtor throws. 1393e4df6c8dSJohn McCall // This doesn't have to a conditional cleanup because we're going 1394e4df6c8dSJohn McCall // to pop it off in a second. 13958ed55a54SJohn McCall CGF.EHStack.pushCleanup<CallObjectDelete>(NormalAndEHCleanup, 13968ed55a54SJohn McCall Ptr, OperatorDelete, ElementType); 13978ed55a54SJohn McCall 13988ed55a54SJohn McCall if (Dtor) 13998ed55a54SJohn McCall CGF.EmitCXXDestructorCall(Dtor, Dtor_Complete, 14008ed55a54SJohn McCall /*ForVirtualBase=*/false, Ptr); 1401bbafb8a7SDavid Blaikie else if (CGF.getLangOpts().ObjCAutoRefCount && 140231168b07SJohn McCall ElementType->isObjCLifetimeType()) { 140331168b07SJohn McCall switch (ElementType.getObjCLifetime()) { 140431168b07SJohn McCall case Qualifiers::OCL_None: 140531168b07SJohn McCall case Qualifiers::OCL_ExplicitNone: 140631168b07SJohn McCall case Qualifiers::OCL_Autoreleasing: 140731168b07SJohn McCall break; 140831168b07SJohn McCall 140931168b07SJohn McCall case Qualifiers::OCL_Strong: { 141031168b07SJohn McCall // Load the pointer value. 141131168b07SJohn McCall llvm::Value *PtrValue = CGF.Builder.CreateLoad(Ptr, 141231168b07SJohn McCall ElementType.isVolatileQualified()); 141331168b07SJohn McCall 141431168b07SJohn McCall CGF.EmitARCRelease(PtrValue, /*precise*/ true); 141531168b07SJohn McCall break; 141631168b07SJohn McCall } 141731168b07SJohn McCall 141831168b07SJohn McCall case Qualifiers::OCL_Weak: 141931168b07SJohn McCall CGF.EmitARCDestroyWeak(Ptr); 142031168b07SJohn McCall break; 142131168b07SJohn McCall } 142231168b07SJohn McCall } 14238ed55a54SJohn McCall 14248ed55a54SJohn McCall CGF.PopCleanupBlock(); 14258ed55a54SJohn McCall } 14268ed55a54SJohn McCall 14278ed55a54SJohn McCall namespace { 14288ed55a54SJohn McCall /// Calls the given 'operator delete' on an array of objects. 14298ed55a54SJohn McCall struct CallArrayDelete : EHScopeStack::Cleanup { 14308ed55a54SJohn McCall llvm::Value *Ptr; 14318ed55a54SJohn McCall const FunctionDecl *OperatorDelete; 14328ed55a54SJohn McCall llvm::Value *NumElements; 14338ed55a54SJohn McCall QualType ElementType; 14348ed55a54SJohn McCall CharUnits CookieSize; 14358ed55a54SJohn McCall 14368ed55a54SJohn McCall CallArrayDelete(llvm::Value *Ptr, 14378ed55a54SJohn McCall const FunctionDecl *OperatorDelete, 14388ed55a54SJohn McCall llvm::Value *NumElements, 14398ed55a54SJohn McCall QualType ElementType, 14408ed55a54SJohn McCall CharUnits CookieSize) 14418ed55a54SJohn McCall : Ptr(Ptr), OperatorDelete(OperatorDelete), NumElements(NumElements), 14428ed55a54SJohn McCall ElementType(ElementType), CookieSize(CookieSize) {} 14438ed55a54SJohn McCall 144430317fdaSJohn McCall void Emit(CodeGenFunction &CGF, Flags flags) { 14458ed55a54SJohn McCall const FunctionProtoType *DeleteFTy = 14468ed55a54SJohn McCall OperatorDelete->getType()->getAs<FunctionProtoType>(); 14478ed55a54SJohn McCall assert(DeleteFTy->getNumArgs() == 1 || DeleteFTy->getNumArgs() == 2); 14488ed55a54SJohn McCall 14498ed55a54SJohn McCall CallArgList Args; 14508ed55a54SJohn McCall 14518ed55a54SJohn McCall // Pass the pointer as the first argument. 14528ed55a54SJohn McCall QualType VoidPtrTy = DeleteFTy->getArgType(0); 14538ed55a54SJohn McCall llvm::Value *DeletePtr 14548ed55a54SJohn McCall = CGF.Builder.CreateBitCast(Ptr, CGF.ConvertType(VoidPtrTy)); 145543dca6a8SEli Friedman Args.add(RValue::get(DeletePtr), VoidPtrTy); 14568ed55a54SJohn McCall 14578ed55a54SJohn McCall // Pass the original requested size as the second argument. 14588ed55a54SJohn McCall if (DeleteFTy->getNumArgs() == 2) { 14598ed55a54SJohn McCall QualType size_t = DeleteFTy->getArgType(1); 14602192fe50SChris Lattner llvm::IntegerType *SizeTy 14618ed55a54SJohn McCall = cast<llvm::IntegerType>(CGF.ConvertType(size_t)); 14628ed55a54SJohn McCall 14638ed55a54SJohn McCall CharUnits ElementTypeSize = 14648ed55a54SJohn McCall CGF.CGM.getContext().getTypeSizeInChars(ElementType); 14658ed55a54SJohn McCall 14668ed55a54SJohn McCall // The size of an element, multiplied by the number of elements. 14678ed55a54SJohn McCall llvm::Value *Size 14688ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, ElementTypeSize.getQuantity()); 14698ed55a54SJohn McCall Size = CGF.Builder.CreateMul(Size, NumElements); 14708ed55a54SJohn McCall 14718ed55a54SJohn McCall // Plus the size of the cookie if applicable. 14728ed55a54SJohn McCall if (!CookieSize.isZero()) { 14738ed55a54SJohn McCall llvm::Value *CookieSizeV 14748ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, CookieSize.getQuantity()); 14758ed55a54SJohn McCall Size = CGF.Builder.CreateAdd(Size, CookieSizeV); 14768ed55a54SJohn McCall } 14778ed55a54SJohn McCall 147843dca6a8SEli Friedman Args.add(RValue::get(Size), size_t); 14798ed55a54SJohn McCall } 14808ed55a54SJohn McCall 14818ed55a54SJohn McCall // Emit the call to delete. 1482a729c62bSJohn McCall CGF.EmitCall(CGF.getTypes().arrangeFunctionCall(Args, DeleteFTy), 14838ed55a54SJohn McCall CGF.CGM.GetAddrOfFunction(OperatorDelete), 14848ed55a54SJohn McCall ReturnValueSlot(), Args, OperatorDelete); 14858ed55a54SJohn McCall } 14868ed55a54SJohn McCall }; 14878ed55a54SJohn McCall } 14888ed55a54SJohn McCall 14898ed55a54SJohn McCall /// Emit the code for deleting an array of objects. 14908ed55a54SJohn McCall static void EmitArrayDelete(CodeGenFunction &CGF, 1491284c48ffSJohn McCall const CXXDeleteExpr *E, 1492ca2c56f2SJohn McCall llvm::Value *deletedPtr, 1493ca2c56f2SJohn McCall QualType elementType) { 1494ca2c56f2SJohn McCall llvm::Value *numElements = 0; 1495ca2c56f2SJohn McCall llvm::Value *allocatedPtr = 0; 1496ca2c56f2SJohn McCall CharUnits cookieSize; 1497ca2c56f2SJohn McCall CGF.CGM.getCXXABI().ReadArrayCookie(CGF, deletedPtr, E, elementType, 1498ca2c56f2SJohn McCall numElements, allocatedPtr, cookieSize); 14998ed55a54SJohn McCall 1500ca2c56f2SJohn McCall assert(allocatedPtr && "ReadArrayCookie didn't set allocated pointer"); 15018ed55a54SJohn McCall 15028ed55a54SJohn McCall // Make sure that we call delete even if one of the dtors throws. 1503ca2c56f2SJohn McCall const FunctionDecl *operatorDelete = E->getOperatorDelete(); 15048ed55a54SJohn McCall CGF.EHStack.pushCleanup<CallArrayDelete>(NormalAndEHCleanup, 1505ca2c56f2SJohn McCall allocatedPtr, operatorDelete, 1506ca2c56f2SJohn McCall numElements, elementType, 1507ca2c56f2SJohn McCall cookieSize); 15088ed55a54SJohn McCall 1509ca2c56f2SJohn McCall // Destroy the elements. 1510ca2c56f2SJohn McCall if (QualType::DestructionKind dtorKind = elementType.isDestructedType()) { 1511ca2c56f2SJohn McCall assert(numElements && "no element count for a type with a destructor!"); 151231168b07SJohn McCall 1513ca2c56f2SJohn McCall llvm::Value *arrayEnd = 1514ca2c56f2SJohn McCall CGF.Builder.CreateInBoundsGEP(deletedPtr, numElements, "delete.end"); 151597eab0a2SJohn McCall 151697eab0a2SJohn McCall // Note that it is legal to allocate a zero-length array, and we 151797eab0a2SJohn McCall // can never fold the check away because the length should always 151897eab0a2SJohn McCall // come from a cookie. 1519ca2c56f2SJohn McCall CGF.emitArrayDestroy(deletedPtr, arrayEnd, elementType, 1520ca2c56f2SJohn McCall CGF.getDestroyer(dtorKind), 152197eab0a2SJohn McCall /*checkZeroLength*/ true, 1522ca2c56f2SJohn McCall CGF.needsEHCleanup(dtorKind)); 15238ed55a54SJohn McCall } 15248ed55a54SJohn McCall 1525ca2c56f2SJohn McCall // Pop the cleanup block. 15268ed55a54SJohn McCall CGF.PopCleanupBlock(); 15278ed55a54SJohn McCall } 15288ed55a54SJohn McCall 152959486a2dSAnders Carlsson void CodeGenFunction::EmitCXXDeleteExpr(const CXXDeleteExpr *E) { 153059486a2dSAnders Carlsson 153159486a2dSAnders Carlsson // Get at the argument before we performed the implicit conversion 153259486a2dSAnders Carlsson // to void*. 153359486a2dSAnders Carlsson const Expr *Arg = E->getArgument(); 153459486a2dSAnders Carlsson while (const ImplicitCastExpr *ICE = dyn_cast<ImplicitCastExpr>(Arg)) { 1535e302792bSJohn McCall if (ICE->getCastKind() != CK_UserDefinedConversion && 153659486a2dSAnders Carlsson ICE->getType()->isVoidPointerType()) 153759486a2dSAnders Carlsson Arg = ICE->getSubExpr(); 153859486a2dSAnders Carlsson else 153959486a2dSAnders Carlsson break; 154059486a2dSAnders Carlsson } 154159486a2dSAnders Carlsson 154259486a2dSAnders Carlsson llvm::Value *Ptr = EmitScalarExpr(Arg); 154359486a2dSAnders Carlsson 154459486a2dSAnders Carlsson // Null check the pointer. 154559486a2dSAnders Carlsson llvm::BasicBlock *DeleteNotNull = createBasicBlock("delete.notnull"); 154659486a2dSAnders Carlsson llvm::BasicBlock *DeleteEnd = createBasicBlock("delete.end"); 154759486a2dSAnders Carlsson 154898981b10SAnders Carlsson llvm::Value *IsNull = Builder.CreateIsNull(Ptr, "isnull"); 154959486a2dSAnders Carlsson 155059486a2dSAnders Carlsson Builder.CreateCondBr(IsNull, DeleteEnd, DeleteNotNull); 155159486a2dSAnders Carlsson EmitBlock(DeleteNotNull); 155259486a2dSAnders Carlsson 15538ed55a54SJohn McCall // We might be deleting a pointer to array. If so, GEP down to the 15548ed55a54SJohn McCall // first non-array element. 15558ed55a54SJohn McCall // (this assumes that A(*)[3][7] is converted to [3 x [7 x %A]]*) 15568ed55a54SJohn McCall QualType DeleteTy = Arg->getType()->getAs<PointerType>()->getPointeeType(); 15578ed55a54SJohn McCall if (DeleteTy->isConstantArrayType()) { 15588ed55a54SJohn McCall llvm::Value *Zero = Builder.getInt32(0); 15590e62c1ccSChris Lattner SmallVector<llvm::Value*,8> GEP; 156059486a2dSAnders Carlsson 15618ed55a54SJohn McCall GEP.push_back(Zero); // point at the outermost array 15628ed55a54SJohn McCall 15638ed55a54SJohn McCall // For each layer of array type we're pointing at: 15648ed55a54SJohn McCall while (const ConstantArrayType *Arr 15658ed55a54SJohn McCall = getContext().getAsConstantArrayType(DeleteTy)) { 15668ed55a54SJohn McCall // 1. Unpeel the array type. 15678ed55a54SJohn McCall DeleteTy = Arr->getElementType(); 15688ed55a54SJohn McCall 15698ed55a54SJohn McCall // 2. GEP to the first element of the array. 15708ed55a54SJohn McCall GEP.push_back(Zero); 15718ed55a54SJohn McCall } 15728ed55a54SJohn McCall 1573040dd82fSJay Foad Ptr = Builder.CreateInBoundsGEP(Ptr, GEP, "del.first"); 15748ed55a54SJohn McCall } 15758ed55a54SJohn McCall 157604f36218SDouglas Gregor assert(ConvertTypeForMem(DeleteTy) == 157704f36218SDouglas Gregor cast<llvm::PointerType>(Ptr->getType())->getElementType()); 15788ed55a54SJohn McCall 157959486a2dSAnders Carlsson if (E->isArrayForm()) { 1580284c48ffSJohn McCall EmitArrayDelete(*this, E, Ptr, DeleteTy); 15818ed55a54SJohn McCall } else { 15821c2e20d7SDouglas Gregor EmitObjectDelete(*this, E->getOperatorDelete(), Ptr, DeleteTy, 15831c2e20d7SDouglas Gregor E->isGlobalDelete()); 158459486a2dSAnders Carlsson } 158559486a2dSAnders Carlsson 158659486a2dSAnders Carlsson EmitBlock(DeleteEnd); 158759486a2dSAnders Carlsson } 158859486a2dSAnders Carlsson 15890c63350bSAnders Carlsson static llvm::Constant *getBadTypeidFn(CodeGenFunction &CGF) { 15900c63350bSAnders Carlsson // void __cxa_bad_typeid(); 1591ece0409aSChris Lattner llvm::FunctionType *FTy = llvm::FunctionType::get(CGF.VoidTy, false); 15920c63350bSAnders Carlsson 15930c63350bSAnders Carlsson return CGF.CGM.CreateRuntimeFunction(FTy, "__cxa_bad_typeid"); 15940c63350bSAnders Carlsson } 15950c63350bSAnders Carlsson 15960c63350bSAnders Carlsson static void EmitBadTypeidCall(CodeGenFunction &CGF) { 1597bbe277c4SAnders Carlsson llvm::Value *Fn = getBadTypeidFn(CGF); 15985bd375a6SJay Foad CGF.EmitCallOrInvoke(Fn).setDoesNotReturn(); 15990c63350bSAnders Carlsson CGF.Builder.CreateUnreachable(); 16000c63350bSAnders Carlsson } 16010c63350bSAnders Carlsson 1602940f02d2SAnders Carlsson static llvm::Value *EmitTypeidFromVTable(CodeGenFunction &CGF, 1603940f02d2SAnders Carlsson const Expr *E, 16042192fe50SChris Lattner llvm::Type *StdTypeInfoPtrTy) { 1605940f02d2SAnders Carlsson // Get the vtable pointer. 1606940f02d2SAnders Carlsson llvm::Value *ThisPtr = CGF.EmitLValue(E).getAddress(); 1607940f02d2SAnders Carlsson 1608940f02d2SAnders Carlsson // C++ [expr.typeid]p2: 1609940f02d2SAnders Carlsson // If the glvalue expression is obtained by applying the unary * operator to 1610940f02d2SAnders Carlsson // a pointer and the pointer is a null pointer value, the typeid expression 1611940f02d2SAnders Carlsson // throws the std::bad_typeid exception. 1612940f02d2SAnders Carlsson if (const UnaryOperator *UO = dyn_cast<UnaryOperator>(E->IgnoreParens())) { 1613940f02d2SAnders Carlsson if (UO->getOpcode() == UO_Deref) { 1614940f02d2SAnders Carlsson llvm::BasicBlock *BadTypeidBlock = 1615940f02d2SAnders Carlsson CGF.createBasicBlock("typeid.bad_typeid"); 1616940f02d2SAnders Carlsson llvm::BasicBlock *EndBlock = 1617940f02d2SAnders Carlsson CGF.createBasicBlock("typeid.end"); 1618940f02d2SAnders Carlsson 1619940f02d2SAnders Carlsson llvm::Value *IsNull = CGF.Builder.CreateIsNull(ThisPtr); 1620940f02d2SAnders Carlsson CGF.Builder.CreateCondBr(IsNull, BadTypeidBlock, EndBlock); 1621940f02d2SAnders Carlsson 1622940f02d2SAnders Carlsson CGF.EmitBlock(BadTypeidBlock); 1623940f02d2SAnders Carlsson EmitBadTypeidCall(CGF); 1624940f02d2SAnders Carlsson CGF.EmitBlock(EndBlock); 1625940f02d2SAnders Carlsson } 1626940f02d2SAnders Carlsson } 1627940f02d2SAnders Carlsson 1628940f02d2SAnders Carlsson llvm::Value *Value = CGF.GetVTablePtr(ThisPtr, 1629940f02d2SAnders Carlsson StdTypeInfoPtrTy->getPointerTo()); 1630940f02d2SAnders Carlsson 1631940f02d2SAnders Carlsson // Load the type info. 1632940f02d2SAnders Carlsson Value = CGF.Builder.CreateConstInBoundsGEP1_64(Value, -1ULL); 1633940f02d2SAnders Carlsson return CGF.Builder.CreateLoad(Value); 1634940f02d2SAnders Carlsson } 1635940f02d2SAnders Carlsson 163659486a2dSAnders Carlsson llvm::Value *CodeGenFunction::EmitCXXTypeidExpr(const CXXTypeidExpr *E) { 16372192fe50SChris Lattner llvm::Type *StdTypeInfoPtrTy = 1638940f02d2SAnders Carlsson ConvertType(E->getType())->getPointerTo(); 1639fd7dfeb7SAnders Carlsson 16403f4336cbSAnders Carlsson if (E->isTypeOperand()) { 16413f4336cbSAnders Carlsson llvm::Constant *TypeInfo = 16423f4336cbSAnders Carlsson CGM.GetAddrOfRTTIDescriptor(E->getTypeOperand()); 1643940f02d2SAnders Carlsson return Builder.CreateBitCast(TypeInfo, StdTypeInfoPtrTy); 16443f4336cbSAnders Carlsson } 1645fd7dfeb7SAnders Carlsson 1646940f02d2SAnders Carlsson // C++ [expr.typeid]p2: 1647940f02d2SAnders Carlsson // When typeid is applied to a glvalue expression whose type is a 1648940f02d2SAnders Carlsson // polymorphic class type, the result refers to a std::type_info object 1649940f02d2SAnders Carlsson // representing the type of the most derived object (that is, the dynamic 1650940f02d2SAnders Carlsson // type) to which the glvalue refers. 1651940f02d2SAnders Carlsson if (E->getExprOperand()->isGLValue()) { 1652940f02d2SAnders Carlsson if (const RecordType *RT = 1653940f02d2SAnders Carlsson E->getExprOperand()->getType()->getAs<RecordType>()) { 165459486a2dSAnders Carlsson const CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl()); 1655940f02d2SAnders Carlsson if (RD->isPolymorphic()) 1656940f02d2SAnders Carlsson return EmitTypeidFromVTable(*this, E->getExprOperand(), 1657940f02d2SAnders Carlsson StdTypeInfoPtrTy); 165859486a2dSAnders Carlsson } 165959486a2dSAnders Carlsson } 1660940f02d2SAnders Carlsson 1661940f02d2SAnders Carlsson QualType OperandTy = E->getExprOperand()->getType(); 1662940f02d2SAnders Carlsson return Builder.CreateBitCast(CGM.GetAddrOfRTTIDescriptor(OperandTy), 1663940f02d2SAnders Carlsson StdTypeInfoPtrTy); 166459486a2dSAnders Carlsson } 166559486a2dSAnders Carlsson 1666882d790fSAnders Carlsson static llvm::Constant *getDynamicCastFn(CodeGenFunction &CGF) { 1667882d790fSAnders Carlsson // void *__dynamic_cast(const void *sub, 1668882d790fSAnders Carlsson // const abi::__class_type_info *src, 1669882d790fSAnders Carlsson // const abi::__class_type_info *dst, 1670882d790fSAnders Carlsson // std::ptrdiff_t src2dst_offset); 1671882d790fSAnders Carlsson 1672ece0409aSChris Lattner llvm::Type *Int8PtrTy = CGF.Int8PtrTy; 1673a5f58b05SChris Lattner llvm::Type *PtrDiffTy = 1674882d790fSAnders Carlsson CGF.ConvertType(CGF.getContext().getPointerDiffType()); 1675882d790fSAnders Carlsson 1676a5f58b05SChris Lattner llvm::Type *Args[4] = { Int8PtrTy, Int8PtrTy, Int8PtrTy, PtrDiffTy }; 1677882d790fSAnders Carlsson 16782192fe50SChris Lattner llvm::FunctionType *FTy = 1679882d790fSAnders Carlsson llvm::FunctionType::get(Int8PtrTy, Args, false); 1680882d790fSAnders Carlsson 1681882d790fSAnders Carlsson return CGF.CGM.CreateRuntimeFunction(FTy, "__dynamic_cast"); 1682882d790fSAnders Carlsson } 1683882d790fSAnders Carlsson 1684882d790fSAnders Carlsson static llvm::Constant *getBadCastFn(CodeGenFunction &CGF) { 1685882d790fSAnders Carlsson // void __cxa_bad_cast(); 1686ece0409aSChris Lattner llvm::FunctionType *FTy = llvm::FunctionType::get(CGF.VoidTy, false); 1687882d790fSAnders Carlsson return CGF.CGM.CreateRuntimeFunction(FTy, "__cxa_bad_cast"); 1688882d790fSAnders Carlsson } 1689882d790fSAnders Carlsson 1690c1c9971cSAnders Carlsson static void EmitBadCastCall(CodeGenFunction &CGF) { 1691bbe277c4SAnders Carlsson llvm::Value *Fn = getBadCastFn(CGF); 16925bd375a6SJay Foad CGF.EmitCallOrInvoke(Fn).setDoesNotReturn(); 1693c1c9971cSAnders Carlsson CGF.Builder.CreateUnreachable(); 1694c1c9971cSAnders Carlsson } 1695c1c9971cSAnders Carlsson 1696882d790fSAnders Carlsson static llvm::Value * 1697882d790fSAnders Carlsson EmitDynamicCastCall(CodeGenFunction &CGF, llvm::Value *Value, 1698882d790fSAnders Carlsson QualType SrcTy, QualType DestTy, 1699882d790fSAnders Carlsson llvm::BasicBlock *CastEnd) { 17002192fe50SChris Lattner llvm::Type *PtrDiffLTy = 1701882d790fSAnders Carlsson CGF.ConvertType(CGF.getContext().getPointerDiffType()); 17022192fe50SChris Lattner llvm::Type *DestLTy = CGF.ConvertType(DestTy); 1703882d790fSAnders Carlsson 1704882d790fSAnders Carlsson if (const PointerType *PTy = DestTy->getAs<PointerType>()) { 1705882d790fSAnders Carlsson if (PTy->getPointeeType()->isVoidType()) { 1706882d790fSAnders Carlsson // C++ [expr.dynamic.cast]p7: 1707882d790fSAnders Carlsson // If T is "pointer to cv void," then the result is a pointer to the 1708882d790fSAnders Carlsson // most derived object pointed to by v. 1709882d790fSAnders Carlsson 1710882d790fSAnders Carlsson // Get the vtable pointer. 1711882d790fSAnders Carlsson llvm::Value *VTable = CGF.GetVTablePtr(Value, PtrDiffLTy->getPointerTo()); 1712882d790fSAnders Carlsson 1713882d790fSAnders Carlsson // Get the offset-to-top from the vtable. 1714882d790fSAnders Carlsson llvm::Value *OffsetToTop = 1715882d790fSAnders Carlsson CGF.Builder.CreateConstInBoundsGEP1_64(VTable, -2ULL); 1716882d790fSAnders Carlsson OffsetToTop = CGF.Builder.CreateLoad(OffsetToTop, "offset.to.top"); 1717882d790fSAnders Carlsson 1718882d790fSAnders Carlsson // Finally, add the offset to the pointer. 1719882d790fSAnders Carlsson Value = CGF.EmitCastToVoidPtr(Value); 1720882d790fSAnders Carlsson Value = CGF.Builder.CreateInBoundsGEP(Value, OffsetToTop); 1721882d790fSAnders Carlsson 1722882d790fSAnders Carlsson return CGF.Builder.CreateBitCast(Value, DestLTy); 1723882d790fSAnders Carlsson } 1724882d790fSAnders Carlsson } 1725882d790fSAnders Carlsson 1726882d790fSAnders Carlsson QualType SrcRecordTy; 1727882d790fSAnders Carlsson QualType DestRecordTy; 1728882d790fSAnders Carlsson 1729882d790fSAnders Carlsson if (const PointerType *DestPTy = DestTy->getAs<PointerType>()) { 1730882d790fSAnders Carlsson SrcRecordTy = SrcTy->castAs<PointerType>()->getPointeeType(); 1731882d790fSAnders Carlsson DestRecordTy = DestPTy->getPointeeType(); 1732882d790fSAnders Carlsson } else { 1733882d790fSAnders Carlsson SrcRecordTy = SrcTy; 1734882d790fSAnders Carlsson DestRecordTy = DestTy->castAs<ReferenceType>()->getPointeeType(); 1735882d790fSAnders Carlsson } 1736882d790fSAnders Carlsson 1737882d790fSAnders Carlsson assert(SrcRecordTy->isRecordType() && "source type must be a record type!"); 1738882d790fSAnders Carlsson assert(DestRecordTy->isRecordType() && "dest type must be a record type!"); 1739882d790fSAnders Carlsson 1740882d790fSAnders Carlsson llvm::Value *SrcRTTI = 1741882d790fSAnders Carlsson CGF.CGM.GetAddrOfRTTIDescriptor(SrcRecordTy.getUnqualifiedType()); 1742882d790fSAnders Carlsson llvm::Value *DestRTTI = 1743882d790fSAnders Carlsson CGF.CGM.GetAddrOfRTTIDescriptor(DestRecordTy.getUnqualifiedType()); 1744882d790fSAnders Carlsson 1745882d790fSAnders Carlsson // FIXME: Actually compute a hint here. 1746882d790fSAnders Carlsson llvm::Value *OffsetHint = llvm::ConstantInt::get(PtrDiffLTy, -1ULL); 1747882d790fSAnders Carlsson 1748882d790fSAnders Carlsson // Emit the call to __dynamic_cast. 1749882d790fSAnders Carlsson Value = CGF.EmitCastToVoidPtr(Value); 1750882d790fSAnders Carlsson Value = CGF.Builder.CreateCall4(getDynamicCastFn(CGF), Value, 1751882d790fSAnders Carlsson SrcRTTI, DestRTTI, OffsetHint); 1752882d790fSAnders Carlsson Value = CGF.Builder.CreateBitCast(Value, DestLTy); 1753882d790fSAnders Carlsson 1754882d790fSAnders Carlsson /// C++ [expr.dynamic.cast]p9: 1755882d790fSAnders Carlsson /// A failed cast to reference type throws std::bad_cast 1756882d790fSAnders Carlsson if (DestTy->isReferenceType()) { 1757882d790fSAnders Carlsson llvm::BasicBlock *BadCastBlock = 1758882d790fSAnders Carlsson CGF.createBasicBlock("dynamic_cast.bad_cast"); 1759882d790fSAnders Carlsson 1760882d790fSAnders Carlsson llvm::Value *IsNull = CGF.Builder.CreateIsNull(Value); 1761882d790fSAnders Carlsson CGF.Builder.CreateCondBr(IsNull, BadCastBlock, CastEnd); 1762882d790fSAnders Carlsson 1763882d790fSAnders Carlsson CGF.EmitBlock(BadCastBlock); 1764c1c9971cSAnders Carlsson EmitBadCastCall(CGF); 1765882d790fSAnders Carlsson } 1766882d790fSAnders Carlsson 1767882d790fSAnders Carlsson return Value; 1768882d790fSAnders Carlsson } 1769882d790fSAnders Carlsson 1770c1c9971cSAnders Carlsson static llvm::Value *EmitDynamicCastToNull(CodeGenFunction &CGF, 1771c1c9971cSAnders Carlsson QualType DestTy) { 17722192fe50SChris Lattner llvm::Type *DestLTy = CGF.ConvertType(DestTy); 1773c1c9971cSAnders Carlsson if (DestTy->isPointerType()) 1774c1c9971cSAnders Carlsson return llvm::Constant::getNullValue(DestLTy); 1775c1c9971cSAnders Carlsson 1776c1c9971cSAnders Carlsson /// C++ [expr.dynamic.cast]p9: 1777c1c9971cSAnders Carlsson /// A failed cast to reference type throws std::bad_cast 1778c1c9971cSAnders Carlsson EmitBadCastCall(CGF); 1779c1c9971cSAnders Carlsson 1780c1c9971cSAnders Carlsson CGF.EmitBlock(CGF.createBasicBlock("dynamic_cast.end")); 1781c1c9971cSAnders Carlsson return llvm::UndefValue::get(DestLTy); 1782c1c9971cSAnders Carlsson } 1783c1c9971cSAnders Carlsson 1784882d790fSAnders Carlsson llvm::Value *CodeGenFunction::EmitDynamicCast(llvm::Value *Value, 178559486a2dSAnders Carlsson const CXXDynamicCastExpr *DCE) { 17863f4336cbSAnders Carlsson QualType DestTy = DCE->getTypeAsWritten(); 17873f4336cbSAnders Carlsson 1788c1c9971cSAnders Carlsson if (DCE->isAlwaysNull()) 1789c1c9971cSAnders Carlsson return EmitDynamicCastToNull(*this, DestTy); 1790c1c9971cSAnders Carlsson 1791c1c9971cSAnders Carlsson QualType SrcTy = DCE->getSubExpr()->getType(); 1792c1c9971cSAnders Carlsson 1793882d790fSAnders Carlsson // C++ [expr.dynamic.cast]p4: 1794882d790fSAnders Carlsson // If the value of v is a null pointer value in the pointer case, the result 1795882d790fSAnders Carlsson // is the null pointer value of type T. 1796882d790fSAnders Carlsson bool ShouldNullCheckSrcValue = SrcTy->isPointerType(); 179759486a2dSAnders Carlsson 1798882d790fSAnders Carlsson llvm::BasicBlock *CastNull = 0; 1799882d790fSAnders Carlsson llvm::BasicBlock *CastNotNull = 0; 1800882d790fSAnders Carlsson llvm::BasicBlock *CastEnd = createBasicBlock("dynamic_cast.end"); 1801fa8b4955SDouglas Gregor 1802882d790fSAnders Carlsson if (ShouldNullCheckSrcValue) { 1803882d790fSAnders Carlsson CastNull = createBasicBlock("dynamic_cast.null"); 1804882d790fSAnders Carlsson CastNotNull = createBasicBlock("dynamic_cast.notnull"); 1805882d790fSAnders Carlsson 1806882d790fSAnders Carlsson llvm::Value *IsNull = Builder.CreateIsNull(Value); 1807882d790fSAnders Carlsson Builder.CreateCondBr(IsNull, CastNull, CastNotNull); 1808882d790fSAnders Carlsson EmitBlock(CastNotNull); 180959486a2dSAnders Carlsson } 181059486a2dSAnders Carlsson 1811882d790fSAnders Carlsson Value = EmitDynamicCastCall(*this, Value, SrcTy, DestTy, CastEnd); 18123f4336cbSAnders Carlsson 1813882d790fSAnders Carlsson if (ShouldNullCheckSrcValue) { 1814882d790fSAnders Carlsson EmitBranch(CastEnd); 181559486a2dSAnders Carlsson 1816882d790fSAnders Carlsson EmitBlock(CastNull); 1817882d790fSAnders Carlsson EmitBranch(CastEnd); 181859486a2dSAnders Carlsson } 181959486a2dSAnders Carlsson 1820882d790fSAnders Carlsson EmitBlock(CastEnd); 182159486a2dSAnders Carlsson 1822882d790fSAnders Carlsson if (ShouldNullCheckSrcValue) { 1823882d790fSAnders Carlsson llvm::PHINode *PHI = Builder.CreatePHI(Value->getType(), 2); 1824882d790fSAnders Carlsson PHI->addIncoming(Value, CastNotNull); 1825882d790fSAnders Carlsson PHI->addIncoming(llvm::Constant::getNullValue(Value->getType()), CastNull); 182659486a2dSAnders Carlsson 1827882d790fSAnders Carlsson Value = PHI; 182859486a2dSAnders Carlsson } 182959486a2dSAnders Carlsson 1830882d790fSAnders Carlsson return Value; 183159486a2dSAnders Carlsson } 1832c370a7eeSEli Friedman 1833c370a7eeSEli Friedman void CodeGenFunction::EmitLambdaExpr(const LambdaExpr *E, AggValueSlot Slot) { 18348631f3e8SEli Friedman RunCleanupsScope Scope(*this); 18357f1ff600SEli Friedman LValue SlotLV = MakeAddrLValue(Slot.getAddr(), E->getType(), 18367f1ff600SEli Friedman Slot.getAlignment()); 18378631f3e8SEli Friedman 1838c370a7eeSEli Friedman CXXRecordDecl::field_iterator CurField = E->getLambdaClass()->field_begin(); 1839c370a7eeSEli Friedman for (LambdaExpr::capture_init_iterator i = E->capture_init_begin(), 1840c370a7eeSEli Friedman e = E->capture_init_end(); 1841c370a7eeSEli Friedman i != e; ++i, ++CurField) { 1842c370a7eeSEli Friedman // Emit initialization 18437f1ff600SEli Friedman 184440ed2973SDavid Blaikie LValue LV = EmitLValueForFieldInitialization(SlotLV, *CurField); 18455f1a04ffSEli Friedman ArrayRef<VarDecl *> ArrayIndexes; 18465f1a04ffSEli Friedman if (CurField->getType()->isArrayType()) 18475f1a04ffSEli Friedman ArrayIndexes = E->getCaptureInitIndexVars(i); 184840ed2973SDavid Blaikie EmitInitializerForField(*CurField, LV, *i, ArrayIndexes); 1849c370a7eeSEli Friedman } 1850c370a7eeSEli Friedman } 1851