159486a2dSAnders Carlsson //===--- CGExprCXX.cpp - Emit LLVM Code for C++ expressions ---------------===// 259486a2dSAnders Carlsson // 359486a2dSAnders Carlsson // The LLVM Compiler Infrastructure 459486a2dSAnders Carlsson // 559486a2dSAnders Carlsson // This file is distributed under the University of Illinois Open Source 659486a2dSAnders Carlsson // License. See LICENSE.TXT for details. 759486a2dSAnders Carlsson // 859486a2dSAnders Carlsson //===----------------------------------------------------------------------===// 959486a2dSAnders Carlsson // 1059486a2dSAnders Carlsson // This contains code dealing with code generation of C++ expressions 1159486a2dSAnders Carlsson // 1259486a2dSAnders Carlsson //===----------------------------------------------------------------------===// 1359486a2dSAnders Carlsson 1491bbb554SDevang Patel #include "clang/Frontend/CodeGenOptions.h" 1559486a2dSAnders Carlsson #include "CodeGenFunction.h" 165d865c32SJohn McCall #include "CGCXXABI.h" 1760d215b6SFariborz Jahanian #include "CGObjCRuntime.h" 1891bbb554SDevang Patel #include "CGDebugInfo.h" 1926008e07SChris Lattner #include "llvm/Intrinsics.h" 2059486a2dSAnders Carlsson using namespace clang; 2159486a2dSAnders Carlsson using namespace CodeGen; 2259486a2dSAnders Carlsson 2327da15baSAnders Carlsson RValue CodeGenFunction::EmitCXXMemberCall(const CXXMethodDecl *MD, 2427da15baSAnders Carlsson llvm::Value *Callee, 2527da15baSAnders Carlsson ReturnValueSlot ReturnValue, 2627da15baSAnders Carlsson llvm::Value *This, 27e36a6b3eSAnders Carlsson llvm::Value *VTT, 2827da15baSAnders Carlsson CallExpr::const_arg_iterator ArgBeg, 2927da15baSAnders Carlsson CallExpr::const_arg_iterator ArgEnd) { 3027da15baSAnders Carlsson assert(MD->isInstance() && 3127da15baSAnders Carlsson "Trying to emit a member call expr on a static method!"); 3227da15baSAnders Carlsson 3327da15baSAnders Carlsson const FunctionProtoType *FPT = MD->getType()->getAs<FunctionProtoType>(); 3427da15baSAnders Carlsson 3527da15baSAnders Carlsson CallArgList Args; 3627da15baSAnders Carlsson 3727da15baSAnders Carlsson // Push the this ptr. 3827da15baSAnders Carlsson Args.push_back(std::make_pair(RValue::get(This), 3927da15baSAnders Carlsson MD->getThisType(getContext()))); 4027da15baSAnders Carlsson 41e36a6b3eSAnders Carlsson // If there is a VTT parameter, emit it. 42e36a6b3eSAnders Carlsson if (VTT) { 43e36a6b3eSAnders Carlsson QualType T = getContext().getPointerType(getContext().VoidPtrTy); 44e36a6b3eSAnders Carlsson Args.push_back(std::make_pair(RValue::get(VTT), T)); 45e36a6b3eSAnders Carlsson } 46e36a6b3eSAnders Carlsson 4727da15baSAnders Carlsson // And the rest of the call args 4827da15baSAnders Carlsson EmitCallArgs(Args, FPT, ArgBeg, ArgEnd); 4927da15baSAnders Carlsson 50ab26cfa5SJohn McCall QualType ResultType = FPT->getResultType(); 51ab26cfa5SJohn McCall return EmitCall(CGM.getTypes().getFunctionInfo(ResultType, Args, 52c50c27ccSRafael Espindola FPT->getExtInfo()), 53c50c27ccSRafael Espindola Callee, ReturnValue, Args, MD); 5427da15baSAnders Carlsson } 5527da15baSAnders Carlsson 561ae64c5aSAnders Carlsson static const CXXRecordDecl *getMostDerivedClassDecl(const Expr *Base) { 57*6b3afd7dSAnders Carlsson const Expr *E = Base; 58*6b3afd7dSAnders Carlsson 59*6b3afd7dSAnders Carlsson while (true) { 60*6b3afd7dSAnders Carlsson E = E->IgnoreParens(); 61*6b3afd7dSAnders Carlsson if (const CastExpr *CE = dyn_cast<CastExpr>(E)) { 62*6b3afd7dSAnders Carlsson if (CE->getCastKind() == CK_DerivedToBase || 63*6b3afd7dSAnders Carlsson CE->getCastKind() == CK_UncheckedDerivedToBase || 64*6b3afd7dSAnders Carlsson CE->getCastKind() == CK_NoOp) { 65*6b3afd7dSAnders Carlsson E = CE->getSubExpr(); 66*6b3afd7dSAnders Carlsson continue; 67*6b3afd7dSAnders Carlsson } 68*6b3afd7dSAnders Carlsson } 69*6b3afd7dSAnders Carlsson 70*6b3afd7dSAnders Carlsson break; 71*6b3afd7dSAnders Carlsson } 72*6b3afd7dSAnders Carlsson 73*6b3afd7dSAnders Carlsson QualType DerivedType = E->getType(); 741ae64c5aSAnders Carlsson if (const PointerType *PTy = DerivedType->getAs<PointerType>()) 751ae64c5aSAnders Carlsson DerivedType = PTy->getPointeeType(); 761ae64c5aSAnders Carlsson 771ae64c5aSAnders Carlsson return cast<CXXRecordDecl>(DerivedType->castAs<RecordType>()->getDecl()); 781ae64c5aSAnders Carlsson } 791ae64c5aSAnders Carlsson 8027da15baSAnders Carlsson /// canDevirtualizeMemberFunctionCalls - Checks whether virtual calls on given 8127da15baSAnders Carlsson /// expr can be devirtualized. 82252a47f6SFariborz Jahanian static bool canDevirtualizeMemberFunctionCalls(ASTContext &Context, 83252a47f6SFariborz Jahanian const Expr *Base, 84a7911fa3SAnders Carlsson const CXXMethodDecl *MD) { 85a7911fa3SAnders Carlsson 861ae64c5aSAnders Carlsson // When building with -fapple-kext, all calls must go through the vtable since 871ae64c5aSAnders Carlsson // the kernel linker can do runtime patching of vtables. 88252a47f6SFariborz Jahanian if (Context.getLangOptions().AppleKext) 89252a47f6SFariborz Jahanian return false; 90252a47f6SFariborz Jahanian 911ae64c5aSAnders Carlsson // If the most derived class is marked final, we know that no subclass can 921ae64c5aSAnders Carlsson // override this member function and so we can devirtualize it. For example: 931ae64c5aSAnders Carlsson // 941ae64c5aSAnders Carlsson // struct A { virtual void f(); } 951ae64c5aSAnders Carlsson // struct B final : A { }; 961ae64c5aSAnders Carlsson // 971ae64c5aSAnders Carlsson // void f(B *b) { 981ae64c5aSAnders Carlsson // b->f(); 991ae64c5aSAnders Carlsson // } 1001ae64c5aSAnders Carlsson // 1011ae64c5aSAnders Carlsson const CXXRecordDecl *MostDerivedClassDecl = getMostDerivedClassDecl(Base); 1021ae64c5aSAnders Carlsson if (MostDerivedClassDecl->hasAttr<FinalAttr>()) 1031ae64c5aSAnders Carlsson return true; 1041ae64c5aSAnders Carlsson 10519588aa4SAnders Carlsson // If the member function is marked 'final', we know that it can't be 106b00c2144SAnders Carlsson // overridden and can therefore devirtualize it. 1071eb95961SAnders Carlsson if (MD->hasAttr<FinalAttr>()) 108a7911fa3SAnders Carlsson return true; 109a7911fa3SAnders Carlsson 11019588aa4SAnders Carlsson // Similarly, if the class itself is marked 'final' it can't be overridden 11119588aa4SAnders Carlsson // and we can therefore devirtualize the member function call. 1121eb95961SAnders Carlsson if (MD->getParent()->hasAttr<FinalAttr>()) 113b00c2144SAnders Carlsson return true; 114b00c2144SAnders Carlsson 11527da15baSAnders Carlsson if (const DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(Base)) { 11627da15baSAnders Carlsson if (const VarDecl *VD = dyn_cast<VarDecl>(DRE->getDecl())) { 11727da15baSAnders Carlsson // This is a record decl. We know the type and can devirtualize it. 11827da15baSAnders Carlsson return VD->getType()->isRecordType(); 11927da15baSAnders Carlsson } 12027da15baSAnders Carlsson 12127da15baSAnders Carlsson return false; 12227da15baSAnders Carlsson } 12327da15baSAnders Carlsson 12427da15baSAnders Carlsson // We can always devirtualize calls on temporary object expressions. 125a682427eSEli Friedman if (isa<CXXConstructExpr>(Base)) 12627da15baSAnders Carlsson return true; 12727da15baSAnders Carlsson 12827da15baSAnders Carlsson // And calls on bound temporaries. 12927da15baSAnders Carlsson if (isa<CXXBindTemporaryExpr>(Base)) 13027da15baSAnders Carlsson return true; 13127da15baSAnders Carlsson 13227da15baSAnders Carlsson // Check if this is a call expr that returns a record type. 13327da15baSAnders Carlsson if (const CallExpr *CE = dyn_cast<CallExpr>(Base)) 13427da15baSAnders Carlsson return CE->getCallReturnType()->isRecordType(); 13527da15baSAnders Carlsson 13627da15baSAnders Carlsson // We can't devirtualize the call. 13727da15baSAnders Carlsson return false; 13827da15baSAnders Carlsson } 13927da15baSAnders Carlsson 14064225794SFrancois Pichet // Note: This function also emit constructor calls to support a MSVC 14164225794SFrancois Pichet // extensions allowing explicit constructor function call. 14227da15baSAnders Carlsson RValue CodeGenFunction::EmitCXXMemberCallExpr(const CXXMemberCallExpr *CE, 14327da15baSAnders Carlsson ReturnValueSlot ReturnValue) { 14427da15baSAnders Carlsson if (isa<BinaryOperator>(CE->getCallee()->IgnoreParens())) 14527da15baSAnders Carlsson return EmitCXXMemberPointerCallExpr(CE, ReturnValue); 14627da15baSAnders Carlsson 14727da15baSAnders Carlsson const MemberExpr *ME = cast<MemberExpr>(CE->getCallee()->IgnoreParens()); 14827da15baSAnders Carlsson const CXXMethodDecl *MD = cast<CXXMethodDecl>(ME->getMemberDecl()); 14927da15baSAnders Carlsson 15091bbb554SDevang Patel CGDebugInfo *DI = getDebugInfo(); 151401c916cSDevang Patel if (DI && CGM.getCodeGenOpts().LimitDebugInfo 152401c916cSDevang Patel && !isa<CallExpr>(ME->getBase())) { 15391bbb554SDevang Patel QualType PQTy = ME->getBase()->IgnoreParenImpCasts()->getType(); 15491bbb554SDevang Patel if (const PointerType * PTy = dyn_cast<PointerType>(PQTy)) { 15591bbb554SDevang Patel DI->getOrCreateRecordType(PTy->getPointeeType(), 15691bbb554SDevang Patel MD->getParent()->getLocation()); 15791bbb554SDevang Patel } 15891bbb554SDevang Patel } 15991bbb554SDevang Patel 16027da15baSAnders Carlsson if (MD->isStatic()) { 16127da15baSAnders Carlsson // The method is static, emit it as we would a regular call. 16227da15baSAnders Carlsson llvm::Value *Callee = CGM.GetAddrOfFunction(MD); 16327da15baSAnders Carlsson return EmitCall(getContext().getPointerType(MD->getType()), Callee, 16427da15baSAnders Carlsson ReturnValue, CE->arg_begin(), CE->arg_end()); 16527da15baSAnders Carlsson } 16627da15baSAnders Carlsson 1670d635f53SJohn McCall // Compute the object pointer. 16827da15baSAnders Carlsson llvm::Value *This; 16927da15baSAnders Carlsson if (ME->isArrow()) 17027da15baSAnders Carlsson This = EmitScalarExpr(ME->getBase()); 171f93ac894SFariborz Jahanian else 172e26a872bSJohn McCall This = EmitLValue(ME->getBase()).getAddress(); 17327da15baSAnders Carlsson 1740d635f53SJohn McCall if (MD->isTrivial()) { 1750d635f53SJohn McCall if (isa<CXXDestructorDecl>(MD)) return RValue::get(0); 17664225794SFrancois Pichet if (isa<CXXConstructorDecl>(MD) && 17764225794SFrancois Pichet cast<CXXConstructorDecl>(MD)->isDefaultConstructor()) 17864225794SFrancois Pichet return RValue::get(0); 1790d635f53SJohn McCall 18064225794SFrancois Pichet if (MD->isCopyAssignmentOperator()) { 18127da15baSAnders Carlsson // We don't like to generate the trivial copy assignment operator when 18227da15baSAnders Carlsson // it isn't necessary; just produce the proper effect here. 18327da15baSAnders Carlsson llvm::Value *RHS = EmitLValue(*CE->arg_begin()).getAddress(); 18427da15baSAnders Carlsson EmitAggregateCopy(This, RHS, CE->getType()); 18527da15baSAnders Carlsson return RValue::get(This); 18627da15baSAnders Carlsson } 18727da15baSAnders Carlsson 18864225794SFrancois Pichet if (isa<CXXConstructorDecl>(MD) && 18964225794SFrancois Pichet cast<CXXConstructorDecl>(MD)->isCopyConstructor()) { 19064225794SFrancois Pichet llvm::Value *RHS = EmitLValue(*CE->arg_begin()).getAddress(); 19164225794SFrancois Pichet EmitSynthesizedCXXCopyCtorCall(cast<CXXConstructorDecl>(MD), This, RHS, 19264225794SFrancois Pichet CE->arg_begin(), CE->arg_end()); 19364225794SFrancois Pichet return RValue::get(This); 19464225794SFrancois Pichet } 19564225794SFrancois Pichet llvm_unreachable("unknown trivial member function"); 19664225794SFrancois Pichet } 19764225794SFrancois Pichet 1980d635f53SJohn McCall // Compute the function type we're calling. 19964225794SFrancois Pichet const CGFunctionInfo *FInfo = 0; 20064225794SFrancois Pichet if (isa<CXXDestructorDecl>(MD)) 20164225794SFrancois Pichet FInfo = &CGM.getTypes().getFunctionInfo(cast<CXXDestructorDecl>(MD), 20264225794SFrancois Pichet Dtor_Complete); 20364225794SFrancois Pichet else if (isa<CXXConstructorDecl>(MD)) 20464225794SFrancois Pichet FInfo = &CGM.getTypes().getFunctionInfo(cast<CXXConstructorDecl>(MD), 20564225794SFrancois Pichet Ctor_Complete); 20664225794SFrancois Pichet else 20764225794SFrancois Pichet FInfo = &CGM.getTypes().getFunctionInfo(MD); 2080d635f53SJohn McCall 2090d635f53SJohn McCall const FunctionProtoType *FPT = MD->getType()->getAs<FunctionProtoType>(); 2100d635f53SJohn McCall const llvm::Type *Ty 21164225794SFrancois Pichet = CGM.getTypes().GetFunctionType(*FInfo, FPT->isVariadic()); 2120d635f53SJohn McCall 21327da15baSAnders Carlsson // C++ [class.virtual]p12: 21427da15baSAnders Carlsson // Explicit qualification with the scope operator (5.1) suppresses the 21527da15baSAnders Carlsson // virtual call mechanism. 21627da15baSAnders Carlsson // 21727da15baSAnders Carlsson // We also don't emit a virtual call if the base expression has a record type 21827da15baSAnders Carlsson // because then we know what the type is. 21947609b08SFariborz Jahanian bool UseVirtualCall; 22047609b08SFariborz Jahanian UseVirtualCall = MD->isVirtual() && !ME->hasQualifier() 221252a47f6SFariborz Jahanian && !canDevirtualizeMemberFunctionCalls(getContext(), 222252a47f6SFariborz Jahanian ME->getBase(), MD); 22327da15baSAnders Carlsson llvm::Value *Callee; 2240d635f53SJohn McCall if (const CXXDestructorDecl *Dtor = dyn_cast<CXXDestructorDecl>(MD)) { 2250d635f53SJohn McCall if (UseVirtualCall) { 2260d635f53SJohn McCall Callee = BuildVirtualCall(Dtor, Dtor_Complete, This, Ty); 22727da15baSAnders Carlsson } else { 2280d635f53SJohn McCall Callee = CGM.GetAddrOfFunction(GlobalDecl(Dtor, Dtor_Complete), Ty); 22927da15baSAnders Carlsson } 23064225794SFrancois Pichet } else if (const CXXConstructorDecl *Ctor = 23164225794SFrancois Pichet dyn_cast<CXXConstructorDecl>(MD)) { 23264225794SFrancois Pichet Callee = CGM.GetAddrOfFunction(GlobalDecl(Ctor, Ctor_Complete), Ty); 2330d635f53SJohn McCall } else if (UseVirtualCall) { 23427da15baSAnders Carlsson Callee = BuildVirtualCall(MD, This, Ty); 23527da15baSAnders Carlsson } else { 236252a47f6SFariborz Jahanian if (getContext().getLangOptions().AppleKext && 2379f9438b3SFariborz Jahanian MD->isVirtual() && 238252a47f6SFariborz Jahanian ME->hasQualifier()) 239252a47f6SFariborz Jahanian Callee = BuildAppleKextVirtualCall(MD, ME->getQualifier(), This, Ty); 240252a47f6SFariborz Jahanian else 24127da15baSAnders Carlsson Callee = CGM.GetAddrOfFunction(MD, Ty); 24227da15baSAnders Carlsson } 24327da15baSAnders Carlsson 244e36a6b3eSAnders Carlsson return EmitCXXMemberCall(MD, Callee, ReturnValue, This, /*VTT=*/0, 24527da15baSAnders Carlsson CE->arg_begin(), CE->arg_end()); 24627da15baSAnders Carlsson } 24727da15baSAnders Carlsson 24827da15baSAnders Carlsson RValue 24927da15baSAnders Carlsson CodeGenFunction::EmitCXXMemberPointerCallExpr(const CXXMemberCallExpr *E, 25027da15baSAnders Carlsson ReturnValueSlot ReturnValue) { 25127da15baSAnders Carlsson const BinaryOperator *BO = 25227da15baSAnders Carlsson cast<BinaryOperator>(E->getCallee()->IgnoreParens()); 25327da15baSAnders Carlsson const Expr *BaseExpr = BO->getLHS(); 25427da15baSAnders Carlsson const Expr *MemFnExpr = BO->getRHS(); 25527da15baSAnders Carlsson 25627da15baSAnders Carlsson const MemberPointerType *MPT = 25727da15baSAnders Carlsson MemFnExpr->getType()->getAs<MemberPointerType>(); 258475999dcSJohn McCall 25927da15baSAnders Carlsson const FunctionProtoType *FPT = 26027da15baSAnders Carlsson MPT->getPointeeType()->getAs<FunctionProtoType>(); 26127da15baSAnders Carlsson const CXXRecordDecl *RD = 26227da15baSAnders Carlsson cast<CXXRecordDecl>(MPT->getClass()->getAs<RecordType>()->getDecl()); 26327da15baSAnders Carlsson 26427da15baSAnders Carlsson // Get the member function pointer. 265a1dee530SJohn McCall llvm::Value *MemFnPtr = EmitScalarExpr(MemFnExpr); 26627da15baSAnders Carlsson 26727da15baSAnders Carlsson // Emit the 'this' pointer. 26827da15baSAnders Carlsson llvm::Value *This; 26927da15baSAnders Carlsson 270e302792bSJohn McCall if (BO->getOpcode() == BO_PtrMemI) 27127da15baSAnders Carlsson This = EmitScalarExpr(BaseExpr); 27227da15baSAnders Carlsson else 27327da15baSAnders Carlsson This = EmitLValue(BaseExpr).getAddress(); 27427da15baSAnders Carlsson 275475999dcSJohn McCall // Ask the ABI to load the callee. Note that This is modified. 276475999dcSJohn McCall llvm::Value *Callee = 277475999dcSJohn McCall CGM.getCXXABI().EmitLoadOfMemberFunctionPointer(CGF, This, MemFnPtr, MPT); 27827da15baSAnders Carlsson 27927da15baSAnders Carlsson CallArgList Args; 28027da15baSAnders Carlsson 28127da15baSAnders Carlsson QualType ThisType = 28227da15baSAnders Carlsson getContext().getPointerType(getContext().getTagDeclType(RD)); 28327da15baSAnders Carlsson 28427da15baSAnders Carlsson // Push the this ptr. 28527da15baSAnders Carlsson Args.push_back(std::make_pair(RValue::get(This), ThisType)); 28627da15baSAnders Carlsson 28727da15baSAnders Carlsson // And the rest of the call args 28827da15baSAnders Carlsson EmitCallArgs(Args, FPT, E->arg_begin(), E->arg_end()); 289ab26cfa5SJohn McCall const FunctionType *BO_FPT = BO->getType()->getAs<FunctionProtoType>(); 290ab26cfa5SJohn McCall return EmitCall(CGM.getTypes().getFunctionInfo(Args, BO_FPT), Callee, 29127da15baSAnders Carlsson ReturnValue, Args); 29227da15baSAnders Carlsson } 29327da15baSAnders Carlsson 29427da15baSAnders Carlsson RValue 29527da15baSAnders Carlsson CodeGenFunction::EmitCXXOperatorMemberCallExpr(const CXXOperatorCallExpr *E, 29627da15baSAnders Carlsson const CXXMethodDecl *MD, 29727da15baSAnders Carlsson ReturnValueSlot ReturnValue) { 29827da15baSAnders Carlsson assert(MD->isInstance() && 29927da15baSAnders Carlsson "Trying to emit a member call expr on a static method!"); 300e26a872bSJohn McCall LValue LV = EmitLValue(E->getArg(0)); 301e26a872bSJohn McCall llvm::Value *This = LV.getAddress(); 302e26a872bSJohn McCall 303ec3bec0cSDouglas Gregor if (MD->isCopyAssignmentOperator()) { 30427da15baSAnders Carlsson const CXXRecordDecl *ClassDecl = cast<CXXRecordDecl>(MD->getDeclContext()); 30527da15baSAnders Carlsson if (ClassDecl->hasTrivialCopyAssignment()) { 30627da15baSAnders Carlsson assert(!ClassDecl->hasUserDeclaredCopyAssignment() && 30727da15baSAnders Carlsson "EmitCXXOperatorMemberCallExpr - user declared copy assignment"); 30827da15baSAnders Carlsson llvm::Value *Src = EmitLValue(E->getArg(1)).getAddress(); 30927da15baSAnders Carlsson QualType Ty = E->getType(); 31027da15baSAnders Carlsson EmitAggregateCopy(This, Src, Ty); 31127da15baSAnders Carlsson return RValue::get(This); 31227da15baSAnders Carlsson } 31327da15baSAnders Carlsson } 31427da15baSAnders Carlsson 31527da15baSAnders Carlsson const FunctionProtoType *FPT = MD->getType()->getAs<FunctionProtoType>(); 31627da15baSAnders Carlsson const llvm::Type *Ty = 31727da15baSAnders Carlsson CGM.getTypes().GetFunctionType(CGM.getTypes().getFunctionInfo(MD), 31827da15baSAnders Carlsson FPT->isVariadic()); 31927da15baSAnders Carlsson llvm::Value *Callee; 32047609b08SFariborz Jahanian if (MD->isVirtual() && 321252a47f6SFariborz Jahanian !canDevirtualizeMemberFunctionCalls(getContext(), 322252a47f6SFariborz Jahanian E->getArg(0), MD)) 32327da15baSAnders Carlsson Callee = BuildVirtualCall(MD, This, Ty); 32427da15baSAnders Carlsson else 32527da15baSAnders Carlsson Callee = CGM.GetAddrOfFunction(MD, Ty); 32627da15baSAnders Carlsson 327e36a6b3eSAnders Carlsson return EmitCXXMemberCall(MD, Callee, ReturnValue, This, /*VTT=*/0, 32827da15baSAnders Carlsson E->arg_begin() + 1, E->arg_end()); 32927da15baSAnders Carlsson } 33027da15baSAnders Carlsson 33127da15baSAnders Carlsson void 3327a626f63SJohn McCall CodeGenFunction::EmitCXXConstructExpr(const CXXConstructExpr *E, 3337a626f63SJohn McCall AggValueSlot Dest) { 3347a626f63SJohn McCall assert(!Dest.isIgnored() && "Must have a destination!"); 33527da15baSAnders Carlsson const CXXConstructorDecl *CD = E->getConstructor(); 336630c76efSDouglas Gregor 337630c76efSDouglas Gregor // If we require zero initialization before (or instead of) calling the 338630c76efSDouglas Gregor // constructor, as can be the case with a non-user-provided default 339630c76efSDouglas Gregor // constructor, emit the zero initialization now. 340e3b3464dSDouglas Gregor if (E->requiresZeroInitialization()) 3417a626f63SJohn McCall EmitNullInitialization(Dest.getAddr(), E->getType()); 342630c76efSDouglas Gregor 343630c76efSDouglas Gregor // If this is a call to a trivial default constructor, do nothing. 344630c76efSDouglas Gregor if (CD->isTrivial() && CD->isDefaultConstructor()) 34527da15baSAnders Carlsson return; 346630c76efSDouglas Gregor 3478ea46b66SJohn McCall // Elide the constructor if we're constructing from a temporary. 3488ea46b66SJohn McCall // The temporary check is required because Sema sets this on NRVO 3498ea46b66SJohn McCall // returns. 35027da15baSAnders Carlsson if (getContext().getLangOptions().ElideConstructors && E->isElidable()) { 3518ea46b66SJohn McCall assert(getContext().hasSameUnqualifiedType(E->getType(), 3528ea46b66SJohn McCall E->getArg(0)->getType())); 3537a626f63SJohn McCall if (E->getArg(0)->isTemporaryObject(getContext(), CD->getParent())) { 3547a626f63SJohn McCall EmitAggExpr(E->getArg(0), Dest); 35527da15baSAnders Carlsson return; 35627da15baSAnders Carlsson } 357222cf0efSDouglas Gregor } 358630c76efSDouglas Gregor 359630c76efSDouglas Gregor const ConstantArrayType *Array 360630c76efSDouglas Gregor = getContext().getAsConstantArrayType(E->getType()); 36127da15baSAnders Carlsson if (Array) { 36227da15baSAnders Carlsson QualType BaseElementTy = getContext().getBaseElementType(Array); 36327da15baSAnders Carlsson const llvm::Type *BasePtr = ConvertType(BaseElementTy); 36427da15baSAnders Carlsson BasePtr = llvm::PointerType::getUnqual(BasePtr); 36527da15baSAnders Carlsson llvm::Value *BaseAddrPtr = 3667a626f63SJohn McCall Builder.CreateBitCast(Dest.getAddr(), BasePtr); 36727da15baSAnders Carlsson 36827da15baSAnders Carlsson EmitCXXAggrConstructorCall(CD, Array, BaseAddrPtr, 36927da15baSAnders Carlsson E->arg_begin(), E->arg_end()); 37027da15baSAnders Carlsson } 371e11f9ce9SAnders Carlsson else { 372e11f9ce9SAnders Carlsson CXXCtorType Type = 373e11f9ce9SAnders Carlsson (E->getConstructionKind() == CXXConstructExpr::CK_Complete) 374e11f9ce9SAnders Carlsson ? Ctor_Complete : Ctor_Base; 375e11f9ce9SAnders Carlsson bool ForVirtualBase = 376e11f9ce9SAnders Carlsson E->getConstructionKind() == CXXConstructExpr::CK_VirtualBase; 377e11f9ce9SAnders Carlsson 37827da15baSAnders Carlsson // Call the constructor. 3797a626f63SJohn McCall EmitCXXConstructorCall(CD, Type, ForVirtualBase, Dest.getAddr(), 38027da15baSAnders Carlsson E->arg_begin(), E->arg_end()); 38127da15baSAnders Carlsson } 382e11f9ce9SAnders Carlsson } 38327da15baSAnders Carlsson 384e988bdacSFariborz Jahanian void 385e988bdacSFariborz Jahanian CodeGenFunction::EmitSynthesizedCXXCopyCtor(llvm::Value *Dest, 386e988bdacSFariborz Jahanian llvm::Value *Src, 38750198098SFariborz Jahanian const Expr *Exp) { 3885d413781SJohn McCall if (const ExprWithCleanups *E = dyn_cast<ExprWithCleanups>(Exp)) 389e988bdacSFariborz Jahanian Exp = E->getSubExpr(); 390e988bdacSFariborz Jahanian assert(isa<CXXConstructExpr>(Exp) && 391e988bdacSFariborz Jahanian "EmitSynthesizedCXXCopyCtor - unknown copy ctor expr"); 392e988bdacSFariborz Jahanian const CXXConstructExpr* E = cast<CXXConstructExpr>(Exp); 393e988bdacSFariborz Jahanian const CXXConstructorDecl *CD = E->getConstructor(); 394e988bdacSFariborz Jahanian RunCleanupsScope Scope(*this); 395e988bdacSFariborz Jahanian 396e988bdacSFariborz Jahanian // If we require zero initialization before (or instead of) calling the 397e988bdacSFariborz Jahanian // constructor, as can be the case with a non-user-provided default 398e988bdacSFariborz Jahanian // constructor, emit the zero initialization now. 399e988bdacSFariborz Jahanian // FIXME. Do I still need this for a copy ctor synthesis? 400e988bdacSFariborz Jahanian if (E->requiresZeroInitialization()) 401e988bdacSFariborz Jahanian EmitNullInitialization(Dest, E->getType()); 402e988bdacSFariborz Jahanian 40399da11cfSChandler Carruth assert(!getContext().getAsConstantArrayType(E->getType()) 40499da11cfSChandler Carruth && "EmitSynthesizedCXXCopyCtor - Copied-in Array"); 405e988bdacSFariborz Jahanian EmitSynthesizedCXXCopyCtorCall(CD, Dest, Src, 406e988bdacSFariborz Jahanian E->arg_begin(), E->arg_end()); 407e988bdacSFariborz Jahanian } 408e988bdacSFariborz Jahanian 409aa4149a2SJohn McCall /// Check whether the given operator new[] is the global placement 410aa4149a2SJohn McCall /// operator new[]. 411aa4149a2SJohn McCall static bool IsPlacementOperatorNewArray(ASTContext &Ctx, 412aa4149a2SJohn McCall const FunctionDecl *Fn) { 413aa4149a2SJohn McCall // Must be in global scope. Note that allocation functions can't be 414aa4149a2SJohn McCall // declared in namespaces. 41550c68258SSebastian Redl if (!Fn->getDeclContext()->getRedeclContext()->isFileContext()) 416aa4149a2SJohn McCall return false; 417aa4149a2SJohn McCall 418aa4149a2SJohn McCall // Signature must be void *operator new[](size_t, void*). 419aa4149a2SJohn McCall // The size_t is common to all operator new[]s. 420aa4149a2SJohn McCall if (Fn->getNumParams() != 2) 421aa4149a2SJohn McCall return false; 422aa4149a2SJohn McCall 423aa4149a2SJohn McCall CanQualType ParamType = Ctx.getCanonicalType(Fn->getParamDecl(1)->getType()); 424aa4149a2SJohn McCall return (ParamType == Ctx.VoidPtrTy); 425aa4149a2SJohn McCall } 426aa4149a2SJohn McCall 4278ed55a54SJohn McCall static CharUnits CalculateCookiePadding(CodeGenFunction &CGF, 4288ed55a54SJohn McCall const CXXNewExpr *E) { 42921122cf6SAnders Carlsson if (!E->isArray()) 4303eb55cfeSKen Dyck return CharUnits::Zero(); 43121122cf6SAnders Carlsson 432399f499fSAnders Carlsson // No cookie is required if the new operator being used is 433399f499fSAnders Carlsson // ::operator new[](size_t, void*). 434399f499fSAnders Carlsson const FunctionDecl *OperatorNew = E->getOperatorNew(); 4358ed55a54SJohn McCall if (IsPlacementOperatorNewArray(CGF.getContext(), OperatorNew)) 4363eb55cfeSKen Dyck return CharUnits::Zero(); 437399f499fSAnders Carlsson 438284c48ffSJohn McCall return CGF.CGM.getCXXABI().GetArrayCookieSize(E); 43959486a2dSAnders Carlsson } 44059486a2dSAnders Carlsson 44147b4629bSFariborz Jahanian static llvm::Value *EmitCXXNewAllocSize(ASTContext &Context, 44247b4629bSFariborz Jahanian CodeGenFunction &CGF, 44359486a2dSAnders Carlsson const CXXNewExpr *E, 44405fc5be3SDouglas Gregor llvm::Value *&NumElements, 44505fc5be3SDouglas Gregor llvm::Value *&SizeWithoutCookie) { 4467648fb46SArgyrios Kyrtzidis QualType ElemType = E->getAllocatedType(); 44759486a2dSAnders Carlsson 4488ed55a54SJohn McCall const llvm::IntegerType *SizeTy = 4498ed55a54SJohn McCall cast<llvm::IntegerType>(CGF.ConvertType(CGF.getContext().getSizeType())); 4508ed55a54SJohn McCall 4517648fb46SArgyrios Kyrtzidis CharUnits TypeSize = CGF.getContext().getTypeSizeInChars(ElemType); 4528ed55a54SJohn McCall 4538ed55a54SJohn McCall if (!E->isArray()) { 45405fc5be3SDouglas Gregor SizeWithoutCookie = llvm::ConstantInt::get(SizeTy, TypeSize.getQuantity()); 45505fc5be3SDouglas Gregor return SizeWithoutCookie; 45605fc5be3SDouglas Gregor } 45759486a2dSAnders Carlsson 4588ed55a54SJohn McCall // Figure out the cookie size. 4598ed55a54SJohn McCall CharUnits CookieSize = CalculateCookiePadding(CGF, E); 4608ed55a54SJohn McCall 46159486a2dSAnders Carlsson // Emit the array size expression. 4627648fb46SArgyrios Kyrtzidis // We multiply the size of all dimensions for NumElements. 4637648fb46SArgyrios Kyrtzidis // e.g for 'int[2][3]', ElemType is 'int' and NumElements is 6. 46459486a2dSAnders Carlsson NumElements = CGF.EmitScalarExpr(E->getArraySize()); 4658ed55a54SJohn McCall assert(NumElements->getType() == SizeTy && "element count not a size_t"); 4668ed55a54SJohn McCall 4678ed55a54SJohn McCall uint64_t ArraySizeMultiplier = 1; 4687648fb46SArgyrios Kyrtzidis while (const ConstantArrayType *CAT 4697648fb46SArgyrios Kyrtzidis = CGF.getContext().getAsConstantArrayType(ElemType)) { 4707648fb46SArgyrios Kyrtzidis ElemType = CAT->getElementType(); 4718ed55a54SJohn McCall ArraySizeMultiplier *= CAT->getSize().getZExtValue(); 4727648fb46SArgyrios Kyrtzidis } 47359486a2dSAnders Carlsson 4748ed55a54SJohn McCall llvm::Value *Size; 47532ac583dSChris Lattner 47632ac583dSChris Lattner // If someone is doing 'new int[42]' there is no need to do a dynamic check. 47732ac583dSChris Lattner // Don't bloat the -O0 code. 47832ac583dSChris Lattner if (llvm::ConstantInt *NumElementsC = 47932ac583dSChris Lattner dyn_cast<llvm::ConstantInt>(NumElements)) { 48032ac583dSChris Lattner llvm::APInt NEC = NumElementsC->getValue(); 4818ed55a54SJohn McCall unsigned SizeWidth = NEC.getBitWidth(); 48232ac583dSChris Lattner 4838ed55a54SJohn McCall // Determine if there is an overflow here by doing an extended multiply. 4846d4db0c8SJay Foad NEC = NEC.zext(SizeWidth*2); 4858ed55a54SJohn McCall llvm::APInt SC(SizeWidth*2, TypeSize.getQuantity()); 48632ac583dSChris Lattner SC *= NEC; 48732ac583dSChris Lattner 4888ed55a54SJohn McCall if (!CookieSize.isZero()) { 4898ed55a54SJohn McCall // Save the current size without a cookie. We don't care if an 4908ed55a54SJohn McCall // overflow's already happened because SizeWithoutCookie isn't 4918ed55a54SJohn McCall // used if the allocator returns null or throws, as it should 4928ed55a54SJohn McCall // always do on an overflow. 4936d4db0c8SJay Foad llvm::APInt SWC = SC.trunc(SizeWidth); 4948ed55a54SJohn McCall SizeWithoutCookie = llvm::ConstantInt::get(SizeTy, SWC); 4958ed55a54SJohn McCall 4968ed55a54SJohn McCall // Add the cookie size. 4978ed55a54SJohn McCall SC += llvm::APInt(SizeWidth*2, CookieSize.getQuantity()); 4988ed55a54SJohn McCall } 4998ed55a54SJohn McCall 5008ed55a54SJohn McCall if (SC.countLeadingZeros() >= SizeWidth) { 5016d4db0c8SJay Foad SC = SC.trunc(SizeWidth); 5028ed55a54SJohn McCall Size = llvm::ConstantInt::get(SizeTy, SC); 50332ac583dSChris Lattner } else { 50432ac583dSChris Lattner // On overflow, produce a -1 so operator new throws. 5058ed55a54SJohn McCall Size = llvm::Constant::getAllOnesValue(SizeTy); 50632ac583dSChris Lattner } 50732ac583dSChris Lattner 5088ed55a54SJohn McCall // Scale NumElements while we're at it. 5098ed55a54SJohn McCall uint64_t N = NEC.getZExtValue() * ArraySizeMultiplier; 5108ed55a54SJohn McCall NumElements = llvm::ConstantInt::get(SizeTy, N); 51147b4629bSFariborz Jahanian 5128ed55a54SJohn McCall // Otherwise, we don't need to do an overflow-checked multiplication if 5138ed55a54SJohn McCall // we're multiplying by one. 5148ed55a54SJohn McCall } else if (TypeSize.isOne()) { 5158ed55a54SJohn McCall assert(ArraySizeMultiplier == 1); 516f2f38701SChris Lattner 5178ed55a54SJohn McCall Size = NumElements; 518f2f38701SChris Lattner 5198ed55a54SJohn McCall // If we need a cookie, add its size in with an overflow check. 5208ed55a54SJohn McCall // This is maybe a little paranoid. 5218ed55a54SJohn McCall if (!CookieSize.isZero()) { 52205fc5be3SDouglas Gregor SizeWithoutCookie = Size; 523f2f38701SChris Lattner 5248ed55a54SJohn McCall llvm::Value *CookieSizeV 5258ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, CookieSize.getQuantity()); 5268ed55a54SJohn McCall 5278ed55a54SJohn McCall const llvm::Type *Types[] = { SizeTy }; 5288ed55a54SJohn McCall llvm::Value *UAddF 5298ed55a54SJohn McCall = CGF.CGM.getIntrinsic(llvm::Intrinsic::uadd_with_overflow, Types, 1); 5308ed55a54SJohn McCall llvm::Value *AddRes 5318ed55a54SJohn McCall = CGF.Builder.CreateCall2(UAddF, Size, CookieSizeV); 5328ed55a54SJohn McCall 5338ed55a54SJohn McCall Size = CGF.Builder.CreateExtractValue(AddRes, 0); 5348ed55a54SJohn McCall llvm::Value *DidOverflow = CGF.Builder.CreateExtractValue(AddRes, 1); 5358ed55a54SJohn McCall Size = CGF.Builder.CreateSelect(DidOverflow, 5368ed55a54SJohn McCall llvm::ConstantInt::get(SizeTy, -1), 5378ed55a54SJohn McCall Size); 5388ed55a54SJohn McCall } 5398ed55a54SJohn McCall 5408ed55a54SJohn McCall // Otherwise use the int.umul.with.overflow intrinsic. 5418ed55a54SJohn McCall } else { 5428ed55a54SJohn McCall llvm::Value *OutermostElementSize 5438ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, TypeSize.getQuantity()); 5448ed55a54SJohn McCall 5458ed55a54SJohn McCall llvm::Value *NumOutermostElements = NumElements; 5468ed55a54SJohn McCall 5478ed55a54SJohn McCall // Scale NumElements by the array size multiplier. This might 5488ed55a54SJohn McCall // overflow, but only if the multiplication below also overflows, 5498ed55a54SJohn McCall // in which case this multiplication isn't used. 5508ed55a54SJohn McCall if (ArraySizeMultiplier != 1) 5518ed55a54SJohn McCall NumElements = CGF.Builder.CreateMul(NumElements, 5528ed55a54SJohn McCall llvm::ConstantInt::get(SizeTy, ArraySizeMultiplier)); 5538ed55a54SJohn McCall 5548ed55a54SJohn McCall // The requested size of the outermost array is non-constant. 5558ed55a54SJohn McCall // Multiply that by the static size of the elements of that array; 5568ed55a54SJohn McCall // on unsigned overflow, set the size to -1 to trigger an 5578ed55a54SJohn McCall // exception from the allocation routine. This is sufficient to 5588ed55a54SJohn McCall // prevent buffer overruns from the allocator returning a 5598ed55a54SJohn McCall // seemingly valid pointer to insufficient space. This idea comes 5608ed55a54SJohn McCall // originally from MSVC, and GCC has an open bug requesting 5618ed55a54SJohn McCall // similar behavior: 5628ed55a54SJohn McCall // http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19351 5638ed55a54SJohn McCall // 5648ed55a54SJohn McCall // This will not be sufficient for C++0x, which requires a 5658ed55a54SJohn McCall // specific exception class (std::bad_array_new_length). 5668ed55a54SJohn McCall // That will require ABI support that has not yet been specified. 5678ed55a54SJohn McCall const llvm::Type *Types[] = { SizeTy }; 5688ed55a54SJohn McCall llvm::Value *UMulF 5698ed55a54SJohn McCall = CGF.CGM.getIntrinsic(llvm::Intrinsic::umul_with_overflow, Types, 1); 5708ed55a54SJohn McCall llvm::Value *MulRes = CGF.Builder.CreateCall2(UMulF, NumOutermostElements, 5718ed55a54SJohn McCall OutermostElementSize); 5728ed55a54SJohn McCall 5738ed55a54SJohn McCall // The overflow bit. 5748ed55a54SJohn McCall llvm::Value *DidOverflow = CGF.Builder.CreateExtractValue(MulRes, 1); 5758ed55a54SJohn McCall 5768ed55a54SJohn McCall // The result of the multiplication. 5778ed55a54SJohn McCall Size = CGF.Builder.CreateExtractValue(MulRes, 0); 5788ed55a54SJohn McCall 5798ed55a54SJohn McCall // If we have a cookie, we need to add that size in, too. 5808ed55a54SJohn McCall if (!CookieSize.isZero()) { 5818ed55a54SJohn McCall SizeWithoutCookie = Size; 5828ed55a54SJohn McCall 5838ed55a54SJohn McCall llvm::Value *CookieSizeV 5848ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, CookieSize.getQuantity()); 5858ed55a54SJohn McCall llvm::Value *UAddF 5868ed55a54SJohn McCall = CGF.CGM.getIntrinsic(llvm::Intrinsic::uadd_with_overflow, Types, 1); 5878ed55a54SJohn McCall llvm::Value *AddRes 5888ed55a54SJohn McCall = CGF.Builder.CreateCall2(UAddF, SizeWithoutCookie, CookieSizeV); 5898ed55a54SJohn McCall 5908ed55a54SJohn McCall Size = CGF.Builder.CreateExtractValue(AddRes, 0); 5918ed55a54SJohn McCall 5928ed55a54SJohn McCall llvm::Value *AddDidOverflow = CGF.Builder.CreateExtractValue(AddRes, 1); 5938ed55a54SJohn McCall DidOverflow = CGF.Builder.CreateAnd(DidOverflow, AddDidOverflow); 5948ed55a54SJohn McCall } 5958ed55a54SJohn McCall 5968ed55a54SJohn McCall Size = CGF.Builder.CreateSelect(DidOverflow, 5978ed55a54SJohn McCall llvm::ConstantInt::get(SizeTy, -1), 5988ed55a54SJohn McCall Size); 5998ed55a54SJohn McCall } 6008ed55a54SJohn McCall 6018ed55a54SJohn McCall if (CookieSize.isZero()) 6028ed55a54SJohn McCall SizeWithoutCookie = Size; 6038ed55a54SJohn McCall else 6048ed55a54SJohn McCall assert(SizeWithoutCookie && "didn't set SizeWithoutCookie?"); 60559486a2dSAnders Carlsson 60632ac583dSChris Lattner return Size; 60759486a2dSAnders Carlsson } 60859486a2dSAnders Carlsson 609d5202e09SFariborz Jahanian static void StoreAnyExprIntoOneUnit(CodeGenFunction &CGF, const CXXNewExpr *E, 610d5202e09SFariborz Jahanian llvm::Value *NewPtr) { 611d5202e09SFariborz Jahanian 612d5202e09SFariborz Jahanian assert(E->getNumConstructorArgs() == 1 && 613d5202e09SFariborz Jahanian "Can only have one argument to initializer of POD type."); 614d5202e09SFariborz Jahanian 615d5202e09SFariborz Jahanian const Expr *Init = E->getConstructorArg(0); 616d5202e09SFariborz Jahanian QualType AllocType = E->getAllocatedType(); 617d5202e09SFariborz Jahanian 6180381634aSDaniel Dunbar unsigned Alignment = 6190381634aSDaniel Dunbar CGF.getContext().getTypeAlignInChars(AllocType).getQuantity(); 620d5202e09SFariborz Jahanian if (!CGF.hasAggregateLLVMType(AllocType)) 621d5202e09SFariborz Jahanian CGF.EmitStoreOfScalar(CGF.EmitScalarExpr(Init), NewPtr, 6220381634aSDaniel Dunbar AllocType.isVolatileQualified(), Alignment, 6230381634aSDaniel Dunbar AllocType); 624d5202e09SFariborz Jahanian else if (AllocType->isAnyComplexType()) 625d5202e09SFariborz Jahanian CGF.EmitComplexExprIntoAddr(Init, NewPtr, 626d5202e09SFariborz Jahanian AllocType.isVolatileQualified()); 6277a626f63SJohn McCall else { 6287a626f63SJohn McCall AggValueSlot Slot 6297a626f63SJohn McCall = AggValueSlot::forAddr(NewPtr, AllocType.isVolatileQualified(), true); 6307a626f63SJohn McCall CGF.EmitAggExpr(Init, Slot); 6317a626f63SJohn McCall } 632d5202e09SFariborz Jahanian } 633d5202e09SFariborz Jahanian 634d5202e09SFariborz Jahanian void 635d5202e09SFariborz Jahanian CodeGenFunction::EmitNewArrayInitializer(const CXXNewExpr *E, 636d5202e09SFariborz Jahanian llvm::Value *NewPtr, 637d5202e09SFariborz Jahanian llvm::Value *NumElements) { 638b66b08efSFariborz Jahanian // We have a POD type. 639b66b08efSFariborz Jahanian if (E->getNumConstructorArgs() == 0) 640b66b08efSFariborz Jahanian return; 641b66b08efSFariborz Jahanian 642d5202e09SFariborz Jahanian const llvm::Type *SizeTy = ConvertType(getContext().getSizeType()); 643d5202e09SFariborz Jahanian 644d5202e09SFariborz Jahanian // Create a temporary for the loop index and initialize it with 0. 645d5202e09SFariborz Jahanian llvm::Value *IndexPtr = CreateTempAlloca(SizeTy, "loop.index"); 646d5202e09SFariborz Jahanian llvm::Value *Zero = llvm::Constant::getNullValue(SizeTy); 647d5202e09SFariborz Jahanian Builder.CreateStore(Zero, IndexPtr); 648d5202e09SFariborz Jahanian 649d5202e09SFariborz Jahanian // Start the loop with a block that tests the condition. 650d5202e09SFariborz Jahanian llvm::BasicBlock *CondBlock = createBasicBlock("for.cond"); 651d5202e09SFariborz Jahanian llvm::BasicBlock *AfterFor = createBasicBlock("for.end"); 652d5202e09SFariborz Jahanian 653d5202e09SFariborz Jahanian EmitBlock(CondBlock); 654d5202e09SFariborz Jahanian 655d5202e09SFariborz Jahanian llvm::BasicBlock *ForBody = createBasicBlock("for.body"); 656d5202e09SFariborz Jahanian 657d5202e09SFariborz Jahanian // Generate: if (loop-index < number-of-elements fall to the loop body, 658d5202e09SFariborz Jahanian // otherwise, go to the block after the for-loop. 659d5202e09SFariborz Jahanian llvm::Value *Counter = Builder.CreateLoad(IndexPtr); 660d5202e09SFariborz Jahanian llvm::Value *IsLess = Builder.CreateICmpULT(Counter, NumElements, "isless"); 661d5202e09SFariborz Jahanian // If the condition is true, execute the body. 662d5202e09SFariborz Jahanian Builder.CreateCondBr(IsLess, ForBody, AfterFor); 663d5202e09SFariborz Jahanian 664d5202e09SFariborz Jahanian EmitBlock(ForBody); 665d5202e09SFariborz Jahanian 666d5202e09SFariborz Jahanian llvm::BasicBlock *ContinueBlock = createBasicBlock("for.inc"); 667d5202e09SFariborz Jahanian // Inside the loop body, emit the constructor call on the array element. 668d5202e09SFariborz Jahanian Counter = Builder.CreateLoad(IndexPtr); 669d5202e09SFariborz Jahanian llvm::Value *Address = Builder.CreateInBoundsGEP(NewPtr, Counter, 670d5202e09SFariborz Jahanian "arrayidx"); 671d5202e09SFariborz Jahanian StoreAnyExprIntoOneUnit(*this, E, Address); 672d5202e09SFariborz Jahanian 673d5202e09SFariborz Jahanian EmitBlock(ContinueBlock); 674d5202e09SFariborz Jahanian 675d5202e09SFariborz Jahanian // Emit the increment of the loop counter. 676d5202e09SFariborz Jahanian llvm::Value *NextVal = llvm::ConstantInt::get(SizeTy, 1); 677d5202e09SFariborz Jahanian Counter = Builder.CreateLoad(IndexPtr); 678d5202e09SFariborz Jahanian NextVal = Builder.CreateAdd(Counter, NextVal, "inc"); 679d5202e09SFariborz Jahanian Builder.CreateStore(NextVal, IndexPtr); 680d5202e09SFariborz Jahanian 681d5202e09SFariborz Jahanian // Finally, branch back up to the condition for the next iteration. 682d5202e09SFariborz Jahanian EmitBranch(CondBlock); 683d5202e09SFariborz Jahanian 684d5202e09SFariborz Jahanian // Emit the fall-through block. 685d5202e09SFariborz Jahanian EmitBlock(AfterFor, true); 686d5202e09SFariborz Jahanian } 687d5202e09SFariborz Jahanian 68805fc5be3SDouglas Gregor static void EmitZeroMemSet(CodeGenFunction &CGF, QualType T, 68905fc5be3SDouglas Gregor llvm::Value *NewPtr, llvm::Value *Size) { 69005fc5be3SDouglas Gregor llvm::LLVMContext &VMContext = CGF.CGM.getLLVMContext(); 69105fc5be3SDouglas Gregor const llvm::Type *BP = llvm::Type::getInt8PtrTy(VMContext); 69205fc5be3SDouglas Gregor if (NewPtr->getType() != BP) 69305fc5be3SDouglas Gregor NewPtr = CGF.Builder.CreateBitCast(NewPtr, BP, "tmp"); 69405fc5be3SDouglas Gregor 695705ba07eSKen Dyck CharUnits Alignment = CGF.getContext().getTypeAlignInChars(T); 696acc6b4e2SBenjamin Kramer CGF.Builder.CreateMemSet(NewPtr, CGF.Builder.getInt8(0), Size, 697705ba07eSKen Dyck Alignment.getQuantity(), false); 69805fc5be3SDouglas Gregor } 69905fc5be3SDouglas Gregor 70059486a2dSAnders Carlsson static void EmitNewInitializer(CodeGenFunction &CGF, const CXXNewExpr *E, 70159486a2dSAnders Carlsson llvm::Value *NewPtr, 70205fc5be3SDouglas Gregor llvm::Value *NumElements, 70305fc5be3SDouglas Gregor llvm::Value *AllocSizeWithoutCookie) { 7043a202f60SAnders Carlsson if (E->isArray()) { 705d040e6b2SAnders Carlsson if (CXXConstructorDecl *Ctor = E->getConstructor()) { 70605fc5be3SDouglas Gregor bool RequiresZeroInitialization = false; 70705fc5be3SDouglas Gregor if (Ctor->getParent()->hasTrivialConstructor()) { 70805fc5be3SDouglas Gregor // If new expression did not specify value-initialization, then there 70905fc5be3SDouglas Gregor // is no initialization. 71005fc5be3SDouglas Gregor if (!E->hasInitializer() || Ctor->getParent()->isEmpty()) 71105fc5be3SDouglas Gregor return; 71205fc5be3SDouglas Gregor 713614dbdcdSJohn McCall if (CGF.CGM.getTypes().isZeroInitializable(E->getAllocatedType())) { 71405fc5be3SDouglas Gregor // Optimization: since zero initialization will just set the memory 71505fc5be3SDouglas Gregor // to all zeroes, generate a single memset to do it in one shot. 71605fc5be3SDouglas Gregor EmitZeroMemSet(CGF, E->getAllocatedType(), NewPtr, 71705fc5be3SDouglas Gregor AllocSizeWithoutCookie); 7183a202f60SAnders Carlsson return; 7193a202f60SAnders Carlsson } 72005fc5be3SDouglas Gregor 72105fc5be3SDouglas Gregor RequiresZeroInitialization = true; 72205fc5be3SDouglas Gregor } 72305fc5be3SDouglas Gregor 72405fc5be3SDouglas Gregor CGF.EmitCXXAggrConstructorCall(Ctor, NumElements, NewPtr, 72505fc5be3SDouglas Gregor E->constructor_arg_begin(), 72605fc5be3SDouglas Gregor E->constructor_arg_end(), 72705fc5be3SDouglas Gregor RequiresZeroInitialization); 72805fc5be3SDouglas Gregor return; 72905fc5be3SDouglas Gregor } else if (E->getNumConstructorArgs() == 1 && 73005fc5be3SDouglas Gregor isa<ImplicitValueInitExpr>(E->getConstructorArg(0))) { 73105fc5be3SDouglas Gregor // Optimization: since zero initialization will just set the memory 73205fc5be3SDouglas Gregor // to all zeroes, generate a single memset to do it in one shot. 73305fc5be3SDouglas Gregor EmitZeroMemSet(CGF, E->getAllocatedType(), NewPtr, 73405fc5be3SDouglas Gregor AllocSizeWithoutCookie); 73505fc5be3SDouglas Gregor return; 73605fc5be3SDouglas Gregor } else { 737d5202e09SFariborz Jahanian CGF.EmitNewArrayInitializer(E, NewPtr, NumElements); 738d5202e09SFariborz Jahanian return; 739d040e6b2SAnders Carlsson } 740d5202e09SFariborz Jahanian } 74159486a2dSAnders Carlsson 74259486a2dSAnders Carlsson if (CXXConstructorDecl *Ctor = E->getConstructor()) { 743747eb784SDouglas Gregor // Per C++ [expr.new]p15, if we have an initializer, then we're performing 744747eb784SDouglas Gregor // direct initialization. C++ [dcl.init]p5 requires that we 745747eb784SDouglas Gregor // zero-initialize storage if there are no user-declared constructors. 746747eb784SDouglas Gregor if (E->hasInitializer() && 747747eb784SDouglas Gregor !Ctor->getParent()->hasUserDeclaredConstructor() && 748747eb784SDouglas Gregor !Ctor->getParent()->isEmpty()) 749747eb784SDouglas Gregor CGF.EmitNullInitialization(NewPtr, E->getAllocatedType()); 750747eb784SDouglas Gregor 751e11f9ce9SAnders Carlsson CGF.EmitCXXConstructorCall(Ctor, Ctor_Complete, /*ForVirtualBase=*/false, 752e11f9ce9SAnders Carlsson NewPtr, E->constructor_arg_begin(), 75359486a2dSAnders Carlsson E->constructor_arg_end()); 75459486a2dSAnders Carlsson 75559486a2dSAnders Carlsson return; 75659486a2dSAnders Carlsson } 757b66b08efSFariborz Jahanian // We have a POD type. 758b66b08efSFariborz Jahanian if (E->getNumConstructorArgs() == 0) 759b66b08efSFariborz Jahanian return; 76059486a2dSAnders Carlsson 761d5202e09SFariborz Jahanian StoreAnyExprIntoOneUnit(CGF, E, NewPtr); 76259486a2dSAnders Carlsson } 76359486a2dSAnders Carlsson 764824c2f53SJohn McCall namespace { 765824c2f53SJohn McCall /// A cleanup to call the given 'operator delete' function upon 766824c2f53SJohn McCall /// abnormal exit from a new expression. 767824c2f53SJohn McCall class CallDeleteDuringNew : public EHScopeStack::Cleanup { 768824c2f53SJohn McCall size_t NumPlacementArgs; 769824c2f53SJohn McCall const FunctionDecl *OperatorDelete; 770824c2f53SJohn McCall llvm::Value *Ptr; 771824c2f53SJohn McCall llvm::Value *AllocSize; 772824c2f53SJohn McCall 773824c2f53SJohn McCall RValue *getPlacementArgs() { return reinterpret_cast<RValue*>(this+1); } 774824c2f53SJohn McCall 775824c2f53SJohn McCall public: 776824c2f53SJohn McCall static size_t getExtraSize(size_t NumPlacementArgs) { 777824c2f53SJohn McCall return NumPlacementArgs * sizeof(RValue); 778824c2f53SJohn McCall } 779824c2f53SJohn McCall 780824c2f53SJohn McCall CallDeleteDuringNew(size_t NumPlacementArgs, 781824c2f53SJohn McCall const FunctionDecl *OperatorDelete, 782824c2f53SJohn McCall llvm::Value *Ptr, 783824c2f53SJohn McCall llvm::Value *AllocSize) 784824c2f53SJohn McCall : NumPlacementArgs(NumPlacementArgs), OperatorDelete(OperatorDelete), 785824c2f53SJohn McCall Ptr(Ptr), AllocSize(AllocSize) {} 786824c2f53SJohn McCall 787824c2f53SJohn McCall void setPlacementArg(unsigned I, RValue Arg) { 788824c2f53SJohn McCall assert(I < NumPlacementArgs && "index out of range"); 789824c2f53SJohn McCall getPlacementArgs()[I] = Arg; 790824c2f53SJohn McCall } 791824c2f53SJohn McCall 792824c2f53SJohn McCall void Emit(CodeGenFunction &CGF, bool IsForEH) { 793824c2f53SJohn McCall const FunctionProtoType *FPT 794824c2f53SJohn McCall = OperatorDelete->getType()->getAs<FunctionProtoType>(); 795824c2f53SJohn McCall assert(FPT->getNumArgs() == NumPlacementArgs + 1 || 796d441b1e6SJohn McCall (FPT->getNumArgs() == 2 && NumPlacementArgs == 0)); 797824c2f53SJohn McCall 798824c2f53SJohn McCall CallArgList DeleteArgs; 799824c2f53SJohn McCall 800824c2f53SJohn McCall // The first argument is always a void*. 801824c2f53SJohn McCall FunctionProtoType::arg_type_iterator AI = FPT->arg_type_begin(); 802824c2f53SJohn McCall DeleteArgs.push_back(std::make_pair(RValue::get(Ptr), *AI++)); 803824c2f53SJohn McCall 804824c2f53SJohn McCall // A member 'operator delete' can take an extra 'size_t' argument. 805824c2f53SJohn McCall if (FPT->getNumArgs() == NumPlacementArgs + 2) 806824c2f53SJohn McCall DeleteArgs.push_back(std::make_pair(RValue::get(AllocSize), *AI++)); 807824c2f53SJohn McCall 808824c2f53SJohn McCall // Pass the rest of the arguments, which must match exactly. 809824c2f53SJohn McCall for (unsigned I = 0; I != NumPlacementArgs; ++I) 810824c2f53SJohn McCall DeleteArgs.push_back(std::make_pair(getPlacementArgs()[I], *AI++)); 811824c2f53SJohn McCall 812824c2f53SJohn McCall // Call 'operator delete'. 813824c2f53SJohn McCall CGF.EmitCall(CGF.CGM.getTypes().getFunctionInfo(DeleteArgs, FPT), 814824c2f53SJohn McCall CGF.CGM.GetAddrOfFunction(OperatorDelete), 815824c2f53SJohn McCall ReturnValueSlot(), DeleteArgs, OperatorDelete); 816824c2f53SJohn McCall } 817824c2f53SJohn McCall }; 8187f9c92a9SJohn McCall 8197f9c92a9SJohn McCall /// A cleanup to call the given 'operator delete' function upon 8207f9c92a9SJohn McCall /// abnormal exit from a new expression when the new expression is 8217f9c92a9SJohn McCall /// conditional. 8227f9c92a9SJohn McCall class CallDeleteDuringConditionalNew : public EHScopeStack::Cleanup { 8237f9c92a9SJohn McCall size_t NumPlacementArgs; 8247f9c92a9SJohn McCall const FunctionDecl *OperatorDelete; 825cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type Ptr; 826cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type AllocSize; 8277f9c92a9SJohn McCall 828cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type *getPlacementArgs() { 829cb5f77f0SJohn McCall return reinterpret_cast<DominatingValue<RValue>::saved_type*>(this+1); 8307f9c92a9SJohn McCall } 8317f9c92a9SJohn McCall 8327f9c92a9SJohn McCall public: 8337f9c92a9SJohn McCall static size_t getExtraSize(size_t NumPlacementArgs) { 834cb5f77f0SJohn McCall return NumPlacementArgs * sizeof(DominatingValue<RValue>::saved_type); 8357f9c92a9SJohn McCall } 8367f9c92a9SJohn McCall 8377f9c92a9SJohn McCall CallDeleteDuringConditionalNew(size_t NumPlacementArgs, 8387f9c92a9SJohn McCall const FunctionDecl *OperatorDelete, 839cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type Ptr, 840cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type AllocSize) 8417f9c92a9SJohn McCall : NumPlacementArgs(NumPlacementArgs), OperatorDelete(OperatorDelete), 8427f9c92a9SJohn McCall Ptr(Ptr), AllocSize(AllocSize) {} 8437f9c92a9SJohn McCall 844cb5f77f0SJohn McCall void setPlacementArg(unsigned I, DominatingValue<RValue>::saved_type Arg) { 8457f9c92a9SJohn McCall assert(I < NumPlacementArgs && "index out of range"); 8467f9c92a9SJohn McCall getPlacementArgs()[I] = Arg; 8477f9c92a9SJohn McCall } 8487f9c92a9SJohn McCall 8497f9c92a9SJohn McCall void Emit(CodeGenFunction &CGF, bool IsForEH) { 8507f9c92a9SJohn McCall const FunctionProtoType *FPT 8517f9c92a9SJohn McCall = OperatorDelete->getType()->getAs<FunctionProtoType>(); 8527f9c92a9SJohn McCall assert(FPT->getNumArgs() == NumPlacementArgs + 1 || 8537f9c92a9SJohn McCall (FPT->getNumArgs() == 2 && NumPlacementArgs == 0)); 8547f9c92a9SJohn McCall 8557f9c92a9SJohn McCall CallArgList DeleteArgs; 8567f9c92a9SJohn McCall 8577f9c92a9SJohn McCall // The first argument is always a void*. 8587f9c92a9SJohn McCall FunctionProtoType::arg_type_iterator AI = FPT->arg_type_begin(); 859cb5f77f0SJohn McCall DeleteArgs.push_back(std::make_pair(Ptr.restore(CGF), *AI++)); 8607f9c92a9SJohn McCall 8617f9c92a9SJohn McCall // A member 'operator delete' can take an extra 'size_t' argument. 8627f9c92a9SJohn McCall if (FPT->getNumArgs() == NumPlacementArgs + 2) { 863cb5f77f0SJohn McCall RValue RV = AllocSize.restore(CGF); 8647f9c92a9SJohn McCall DeleteArgs.push_back(std::make_pair(RV, *AI++)); 8657f9c92a9SJohn McCall } 8667f9c92a9SJohn McCall 8677f9c92a9SJohn McCall // Pass the rest of the arguments, which must match exactly. 8687f9c92a9SJohn McCall for (unsigned I = 0; I != NumPlacementArgs; ++I) { 869cb5f77f0SJohn McCall RValue RV = getPlacementArgs()[I].restore(CGF); 8707f9c92a9SJohn McCall DeleteArgs.push_back(std::make_pair(RV, *AI++)); 8717f9c92a9SJohn McCall } 8727f9c92a9SJohn McCall 8737f9c92a9SJohn McCall // Call 'operator delete'. 8747f9c92a9SJohn McCall CGF.EmitCall(CGF.CGM.getTypes().getFunctionInfo(DeleteArgs, FPT), 8757f9c92a9SJohn McCall CGF.CGM.GetAddrOfFunction(OperatorDelete), 8767f9c92a9SJohn McCall ReturnValueSlot(), DeleteArgs, OperatorDelete); 8777f9c92a9SJohn McCall } 8787f9c92a9SJohn McCall }; 8797f9c92a9SJohn McCall } 8807f9c92a9SJohn McCall 8817f9c92a9SJohn McCall /// Enter a cleanup to call 'operator delete' if the initializer in a 8827f9c92a9SJohn McCall /// new-expression throws. 8837f9c92a9SJohn McCall static void EnterNewDeleteCleanup(CodeGenFunction &CGF, 8847f9c92a9SJohn McCall const CXXNewExpr *E, 8857f9c92a9SJohn McCall llvm::Value *NewPtr, 8867f9c92a9SJohn McCall llvm::Value *AllocSize, 8877f9c92a9SJohn McCall const CallArgList &NewArgs) { 8887f9c92a9SJohn McCall // If we're not inside a conditional branch, then the cleanup will 8897f9c92a9SJohn McCall // dominate and we can do the easier (and more efficient) thing. 8907f9c92a9SJohn McCall if (!CGF.isInConditionalBranch()) { 8917f9c92a9SJohn McCall CallDeleteDuringNew *Cleanup = CGF.EHStack 8927f9c92a9SJohn McCall .pushCleanupWithExtra<CallDeleteDuringNew>(EHCleanup, 8937f9c92a9SJohn McCall E->getNumPlacementArgs(), 8947f9c92a9SJohn McCall E->getOperatorDelete(), 8957f9c92a9SJohn McCall NewPtr, AllocSize); 8967f9c92a9SJohn McCall for (unsigned I = 0, N = E->getNumPlacementArgs(); I != N; ++I) 8977f9c92a9SJohn McCall Cleanup->setPlacementArg(I, NewArgs[I+1].first); 8987f9c92a9SJohn McCall 8997f9c92a9SJohn McCall return; 9007f9c92a9SJohn McCall } 9017f9c92a9SJohn McCall 9027f9c92a9SJohn McCall // Otherwise, we need to save all this stuff. 903cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type SavedNewPtr = 904cb5f77f0SJohn McCall DominatingValue<RValue>::save(CGF, RValue::get(NewPtr)); 905cb5f77f0SJohn McCall DominatingValue<RValue>::saved_type SavedAllocSize = 906cb5f77f0SJohn McCall DominatingValue<RValue>::save(CGF, RValue::get(AllocSize)); 9077f9c92a9SJohn McCall 9087f9c92a9SJohn McCall CallDeleteDuringConditionalNew *Cleanup = CGF.EHStack 9097f9c92a9SJohn McCall .pushCleanupWithExtra<CallDeleteDuringConditionalNew>(InactiveEHCleanup, 9107f9c92a9SJohn McCall E->getNumPlacementArgs(), 9117f9c92a9SJohn McCall E->getOperatorDelete(), 9127f9c92a9SJohn McCall SavedNewPtr, 9137f9c92a9SJohn McCall SavedAllocSize); 9147f9c92a9SJohn McCall for (unsigned I = 0, N = E->getNumPlacementArgs(); I != N; ++I) 915cb5f77f0SJohn McCall Cleanup->setPlacementArg(I, 916cb5f77f0SJohn McCall DominatingValue<RValue>::save(CGF, NewArgs[I+1].first)); 9177f9c92a9SJohn McCall 9187f9c92a9SJohn McCall CGF.ActivateCleanupBlock(CGF.EHStack.stable_begin()); 919824c2f53SJohn McCall } 920824c2f53SJohn McCall 92159486a2dSAnders Carlsson llvm::Value *CodeGenFunction::EmitCXXNewExpr(const CXXNewExpr *E) { 92259486a2dSAnders Carlsson QualType AllocType = E->getAllocatedType(); 9238ed55a54SJohn McCall if (AllocType->isArrayType()) 9248ed55a54SJohn McCall while (const ArrayType *AType = getContext().getAsArrayType(AllocType)) 9258ed55a54SJohn McCall AllocType = AType->getElementType(); 9268ed55a54SJohn McCall 92759486a2dSAnders Carlsson FunctionDecl *NewFD = E->getOperatorNew(); 92859486a2dSAnders Carlsson const FunctionProtoType *NewFTy = NewFD->getType()->getAs<FunctionProtoType>(); 92959486a2dSAnders Carlsson 93059486a2dSAnders Carlsson CallArgList NewArgs; 93159486a2dSAnders Carlsson 93259486a2dSAnders Carlsson // The allocation size is the first argument. 93359486a2dSAnders Carlsson QualType SizeTy = getContext().getSizeType(); 93459486a2dSAnders Carlsson 93559486a2dSAnders Carlsson llvm::Value *NumElements = 0; 93605fc5be3SDouglas Gregor llvm::Value *AllocSizeWithoutCookie = 0; 93747b4629bSFariborz Jahanian llvm::Value *AllocSize = EmitCXXNewAllocSize(getContext(), 93805fc5be3SDouglas Gregor *this, E, NumElements, 93905fc5be3SDouglas Gregor AllocSizeWithoutCookie); 94059486a2dSAnders Carlsson 94159486a2dSAnders Carlsson NewArgs.push_back(std::make_pair(RValue::get(AllocSize), SizeTy)); 94259486a2dSAnders Carlsson 94359486a2dSAnders Carlsson // Emit the rest of the arguments. 94459486a2dSAnders Carlsson // FIXME: Ideally, this should just use EmitCallArgs. 94559486a2dSAnders Carlsson CXXNewExpr::const_arg_iterator NewArg = E->placement_arg_begin(); 94659486a2dSAnders Carlsson 94759486a2dSAnders Carlsson // First, use the types from the function type. 94859486a2dSAnders Carlsson // We start at 1 here because the first argument (the allocation size) 94959486a2dSAnders Carlsson // has already been emitted. 95059486a2dSAnders Carlsson for (unsigned i = 1, e = NewFTy->getNumArgs(); i != e; ++i, ++NewArg) { 95159486a2dSAnders Carlsson QualType ArgType = NewFTy->getArgType(i); 95259486a2dSAnders Carlsson 95359486a2dSAnders Carlsson assert(getContext().getCanonicalType(ArgType.getNonReferenceType()). 95459486a2dSAnders Carlsson getTypePtr() == 95559486a2dSAnders Carlsson getContext().getCanonicalType(NewArg->getType()).getTypePtr() && 95659486a2dSAnders Carlsson "type mismatch in call argument!"); 95759486a2dSAnders Carlsson 95859486a2dSAnders Carlsson NewArgs.push_back(std::make_pair(EmitCallArg(*NewArg, ArgType), 95959486a2dSAnders Carlsson ArgType)); 96059486a2dSAnders Carlsson 96159486a2dSAnders Carlsson } 96259486a2dSAnders Carlsson 96359486a2dSAnders Carlsson // Either we've emitted all the call args, or we have a call to a 96459486a2dSAnders Carlsson // variadic function. 96559486a2dSAnders Carlsson assert((NewArg == E->placement_arg_end() || NewFTy->isVariadic()) && 96659486a2dSAnders Carlsson "Extra arguments in non-variadic function!"); 96759486a2dSAnders Carlsson 96859486a2dSAnders Carlsson // If we still have any arguments, emit them using the type of the argument. 96959486a2dSAnders Carlsson for (CXXNewExpr::const_arg_iterator NewArgEnd = E->placement_arg_end(); 97059486a2dSAnders Carlsson NewArg != NewArgEnd; ++NewArg) { 97159486a2dSAnders Carlsson QualType ArgType = NewArg->getType(); 97259486a2dSAnders Carlsson NewArgs.push_back(std::make_pair(EmitCallArg(*NewArg, ArgType), 97359486a2dSAnders Carlsson ArgType)); 97459486a2dSAnders Carlsson } 97559486a2dSAnders Carlsson 97659486a2dSAnders Carlsson // Emit the call to new. 97759486a2dSAnders Carlsson RValue RV = 978ab26cfa5SJohn McCall EmitCall(CGM.getTypes().getFunctionInfo(NewArgs, NewFTy), 97961a401caSAnders Carlsson CGM.GetAddrOfFunction(NewFD), ReturnValueSlot(), NewArgs, NewFD); 98059486a2dSAnders Carlsson 98159486a2dSAnders Carlsson // If an allocation function is declared with an empty exception specification 98259486a2dSAnders Carlsson // it returns null to indicate failure to allocate storage. [expr.new]p13. 98359486a2dSAnders Carlsson // (We don't need to check for null when there's no new initializer and 98459486a2dSAnders Carlsson // we're allocating a POD type). 98559486a2dSAnders Carlsson bool NullCheckResult = NewFTy->hasEmptyExceptionSpec() && 98659486a2dSAnders Carlsson !(AllocType->isPODType() && !E->hasInitializer()); 98759486a2dSAnders Carlsson 9888ed55a54SJohn McCall llvm::BasicBlock *NullCheckSource = 0; 98959486a2dSAnders Carlsson llvm::BasicBlock *NewNotNull = 0; 99059486a2dSAnders Carlsson llvm::BasicBlock *NewEnd = 0; 99159486a2dSAnders Carlsson 99259486a2dSAnders Carlsson llvm::Value *NewPtr = RV.getScalarVal(); 9938ed55a54SJohn McCall unsigned AS = cast<llvm::PointerType>(NewPtr->getType())->getAddressSpace(); 99459486a2dSAnders Carlsson 99559486a2dSAnders Carlsson if (NullCheckResult) { 9968ed55a54SJohn McCall NullCheckSource = Builder.GetInsertBlock(); 99759486a2dSAnders Carlsson NewNotNull = createBasicBlock("new.notnull"); 99859486a2dSAnders Carlsson NewEnd = createBasicBlock("new.end"); 99959486a2dSAnders Carlsson 10008ed55a54SJohn McCall llvm::Value *IsNull = Builder.CreateIsNull(NewPtr, "new.isnull"); 10018ed55a54SJohn McCall Builder.CreateCondBr(IsNull, NewEnd, NewNotNull); 100259486a2dSAnders Carlsson EmitBlock(NewNotNull); 100359486a2dSAnders Carlsson } 100459486a2dSAnders Carlsson 10058ed55a54SJohn McCall assert((AllocSize == AllocSizeWithoutCookie) == 10068ed55a54SJohn McCall CalculateCookiePadding(*this, E).isZero()); 10078ed55a54SJohn McCall if (AllocSize != AllocSizeWithoutCookie) { 10088ed55a54SJohn McCall assert(E->isArray()); 10098ed55a54SJohn McCall NewPtr = CGM.getCXXABI().InitializeArrayCookie(CGF, NewPtr, NumElements, 1010284c48ffSJohn McCall E, AllocType); 101159486a2dSAnders Carlsson } 101259486a2dSAnders Carlsson 1013824c2f53SJohn McCall // If there's an operator delete, enter a cleanup to call it if an 1014824c2f53SJohn McCall // exception is thrown. 1015824c2f53SJohn McCall EHScopeStack::stable_iterator CallOperatorDelete; 1016824c2f53SJohn McCall if (E->getOperatorDelete()) { 10177f9c92a9SJohn McCall EnterNewDeleteCleanup(*this, E, NewPtr, AllocSize, NewArgs); 1018824c2f53SJohn McCall CallOperatorDelete = EHStack.stable_begin(); 1019824c2f53SJohn McCall } 1020824c2f53SJohn McCall 1021040ad500SDouglas Gregor const llvm::Type *ElementPtrTy 1022040ad500SDouglas Gregor = ConvertTypeForMem(AllocType)->getPointerTo(AS); 10238ed55a54SJohn McCall NewPtr = Builder.CreateBitCast(NewPtr, ElementPtrTy); 1024824c2f53SJohn McCall 10258ed55a54SJohn McCall if (E->isArray()) { 102605fc5be3SDouglas Gregor EmitNewInitializer(*this, E, NewPtr, NumElements, AllocSizeWithoutCookie); 10278ed55a54SJohn McCall 10288ed55a54SJohn McCall // NewPtr is a pointer to the base element type. If we're 10298ed55a54SJohn McCall // allocating an array of arrays, we'll need to cast back to the 10308ed55a54SJohn McCall // array pointer type. 1031040ad500SDouglas Gregor const llvm::Type *ResultTy = ConvertTypeForMem(E->getType()); 10328ed55a54SJohn McCall if (NewPtr->getType() != ResultTy) 10338ed55a54SJohn McCall NewPtr = Builder.CreateBitCast(NewPtr, ResultTy); 10348ed55a54SJohn McCall } else { 103505fc5be3SDouglas Gregor EmitNewInitializer(*this, E, NewPtr, NumElements, AllocSizeWithoutCookie); 103647b4629bSFariborz Jahanian } 103759486a2dSAnders Carlsson 1038824c2f53SJohn McCall // Deactivate the 'operator delete' cleanup if we finished 1039824c2f53SJohn McCall // initialization. 1040824c2f53SJohn McCall if (CallOperatorDelete.isValid()) 1041824c2f53SJohn McCall DeactivateCleanupBlock(CallOperatorDelete); 1042824c2f53SJohn McCall 104359486a2dSAnders Carlsson if (NullCheckResult) { 104459486a2dSAnders Carlsson Builder.CreateBr(NewEnd); 10458ed55a54SJohn McCall llvm::BasicBlock *NotNullSource = Builder.GetInsertBlock(); 104659486a2dSAnders Carlsson EmitBlock(NewEnd); 104759486a2dSAnders Carlsson 104859486a2dSAnders Carlsson llvm::PHINode *PHI = Builder.CreatePHI(NewPtr->getType()); 104959486a2dSAnders Carlsson PHI->reserveOperandSpace(2); 10508ed55a54SJohn McCall PHI->addIncoming(NewPtr, NotNullSource); 10518ed55a54SJohn McCall PHI->addIncoming(llvm::Constant::getNullValue(NewPtr->getType()), 10528ed55a54SJohn McCall NullCheckSource); 105359486a2dSAnders Carlsson 105459486a2dSAnders Carlsson NewPtr = PHI; 105559486a2dSAnders Carlsson } 105659486a2dSAnders Carlsson 105759486a2dSAnders Carlsson return NewPtr; 105859486a2dSAnders Carlsson } 105959486a2dSAnders Carlsson 106059486a2dSAnders Carlsson void CodeGenFunction::EmitDeleteCall(const FunctionDecl *DeleteFD, 106159486a2dSAnders Carlsson llvm::Value *Ptr, 106259486a2dSAnders Carlsson QualType DeleteTy) { 10638ed55a54SJohn McCall assert(DeleteFD->getOverloadedOperator() == OO_Delete); 10648ed55a54SJohn McCall 106559486a2dSAnders Carlsson const FunctionProtoType *DeleteFTy = 106659486a2dSAnders Carlsson DeleteFD->getType()->getAs<FunctionProtoType>(); 106759486a2dSAnders Carlsson 106859486a2dSAnders Carlsson CallArgList DeleteArgs; 106959486a2dSAnders Carlsson 107021122cf6SAnders Carlsson // Check if we need to pass the size to the delete operator. 107121122cf6SAnders Carlsson llvm::Value *Size = 0; 107221122cf6SAnders Carlsson QualType SizeTy; 107321122cf6SAnders Carlsson if (DeleteFTy->getNumArgs() == 2) { 107421122cf6SAnders Carlsson SizeTy = DeleteFTy->getArgType(1); 10757df3cbebSKen Dyck CharUnits DeleteTypeSize = getContext().getTypeSizeInChars(DeleteTy); 10767df3cbebSKen Dyck Size = llvm::ConstantInt::get(ConvertType(SizeTy), 10777df3cbebSKen Dyck DeleteTypeSize.getQuantity()); 107821122cf6SAnders Carlsson } 107921122cf6SAnders Carlsson 108059486a2dSAnders Carlsson QualType ArgTy = DeleteFTy->getArgType(0); 108159486a2dSAnders Carlsson llvm::Value *DeletePtr = Builder.CreateBitCast(Ptr, ConvertType(ArgTy)); 108259486a2dSAnders Carlsson DeleteArgs.push_back(std::make_pair(RValue::get(DeletePtr), ArgTy)); 108359486a2dSAnders Carlsson 108421122cf6SAnders Carlsson if (Size) 108559486a2dSAnders Carlsson DeleteArgs.push_back(std::make_pair(RValue::get(Size), SizeTy)); 108659486a2dSAnders Carlsson 108759486a2dSAnders Carlsson // Emit the call to delete. 1088ab26cfa5SJohn McCall EmitCall(CGM.getTypes().getFunctionInfo(DeleteArgs, DeleteFTy), 108961a401caSAnders Carlsson CGM.GetAddrOfFunction(DeleteFD), ReturnValueSlot(), 109059486a2dSAnders Carlsson DeleteArgs, DeleteFD); 109159486a2dSAnders Carlsson } 109259486a2dSAnders Carlsson 10938ed55a54SJohn McCall namespace { 10948ed55a54SJohn McCall /// Calls the given 'operator delete' on a single object. 10958ed55a54SJohn McCall struct CallObjectDelete : EHScopeStack::Cleanup { 10968ed55a54SJohn McCall llvm::Value *Ptr; 10978ed55a54SJohn McCall const FunctionDecl *OperatorDelete; 10988ed55a54SJohn McCall QualType ElementType; 10998ed55a54SJohn McCall 11008ed55a54SJohn McCall CallObjectDelete(llvm::Value *Ptr, 11018ed55a54SJohn McCall const FunctionDecl *OperatorDelete, 11028ed55a54SJohn McCall QualType ElementType) 11038ed55a54SJohn McCall : Ptr(Ptr), OperatorDelete(OperatorDelete), ElementType(ElementType) {} 11048ed55a54SJohn McCall 11058ed55a54SJohn McCall void Emit(CodeGenFunction &CGF, bool IsForEH) { 11068ed55a54SJohn McCall CGF.EmitDeleteCall(OperatorDelete, Ptr, ElementType); 11078ed55a54SJohn McCall } 11088ed55a54SJohn McCall }; 11098ed55a54SJohn McCall } 11108ed55a54SJohn McCall 11118ed55a54SJohn McCall /// Emit the code for deleting a single object. 11128ed55a54SJohn McCall static void EmitObjectDelete(CodeGenFunction &CGF, 11138ed55a54SJohn McCall const FunctionDecl *OperatorDelete, 11148ed55a54SJohn McCall llvm::Value *Ptr, 11158ed55a54SJohn McCall QualType ElementType) { 11168ed55a54SJohn McCall // Find the destructor for the type, if applicable. If the 11178ed55a54SJohn McCall // destructor is virtual, we'll just emit the vcall and return. 11188ed55a54SJohn McCall const CXXDestructorDecl *Dtor = 0; 11198ed55a54SJohn McCall if (const RecordType *RT = ElementType->getAs<RecordType>()) { 11208ed55a54SJohn McCall CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl()); 11218ed55a54SJohn McCall if (!RD->hasTrivialDestructor()) { 11228ed55a54SJohn McCall Dtor = RD->getDestructor(); 11238ed55a54SJohn McCall 11248ed55a54SJohn McCall if (Dtor->isVirtual()) { 11258ed55a54SJohn McCall const llvm::Type *Ty = 11260d635f53SJohn McCall CGF.getTypes().GetFunctionType(CGF.getTypes().getFunctionInfo(Dtor, 11270d635f53SJohn McCall Dtor_Complete), 11288ed55a54SJohn McCall /*isVariadic=*/false); 11298ed55a54SJohn McCall 11308ed55a54SJohn McCall llvm::Value *Callee 11318ed55a54SJohn McCall = CGF.BuildVirtualCall(Dtor, Dtor_Deleting, Ptr, Ty); 11328ed55a54SJohn McCall CGF.EmitCXXMemberCall(Dtor, Callee, ReturnValueSlot(), Ptr, /*VTT=*/0, 11338ed55a54SJohn McCall 0, 0); 11348ed55a54SJohn McCall 11358ed55a54SJohn McCall // The dtor took care of deleting the object. 11368ed55a54SJohn McCall return; 11378ed55a54SJohn McCall } 11388ed55a54SJohn McCall } 11398ed55a54SJohn McCall } 11408ed55a54SJohn McCall 11418ed55a54SJohn McCall // Make sure that we call delete even if the dtor throws. 1142e4df6c8dSJohn McCall // This doesn't have to a conditional cleanup because we're going 1143e4df6c8dSJohn McCall // to pop it off in a second. 11448ed55a54SJohn McCall CGF.EHStack.pushCleanup<CallObjectDelete>(NormalAndEHCleanup, 11458ed55a54SJohn McCall Ptr, OperatorDelete, ElementType); 11468ed55a54SJohn McCall 11478ed55a54SJohn McCall if (Dtor) 11488ed55a54SJohn McCall CGF.EmitCXXDestructorCall(Dtor, Dtor_Complete, 11498ed55a54SJohn McCall /*ForVirtualBase=*/false, Ptr); 11508ed55a54SJohn McCall 11518ed55a54SJohn McCall CGF.PopCleanupBlock(); 11528ed55a54SJohn McCall } 11538ed55a54SJohn McCall 11548ed55a54SJohn McCall namespace { 11558ed55a54SJohn McCall /// Calls the given 'operator delete' on an array of objects. 11568ed55a54SJohn McCall struct CallArrayDelete : EHScopeStack::Cleanup { 11578ed55a54SJohn McCall llvm::Value *Ptr; 11588ed55a54SJohn McCall const FunctionDecl *OperatorDelete; 11598ed55a54SJohn McCall llvm::Value *NumElements; 11608ed55a54SJohn McCall QualType ElementType; 11618ed55a54SJohn McCall CharUnits CookieSize; 11628ed55a54SJohn McCall 11638ed55a54SJohn McCall CallArrayDelete(llvm::Value *Ptr, 11648ed55a54SJohn McCall const FunctionDecl *OperatorDelete, 11658ed55a54SJohn McCall llvm::Value *NumElements, 11668ed55a54SJohn McCall QualType ElementType, 11678ed55a54SJohn McCall CharUnits CookieSize) 11688ed55a54SJohn McCall : Ptr(Ptr), OperatorDelete(OperatorDelete), NumElements(NumElements), 11698ed55a54SJohn McCall ElementType(ElementType), CookieSize(CookieSize) {} 11708ed55a54SJohn McCall 11718ed55a54SJohn McCall void Emit(CodeGenFunction &CGF, bool IsForEH) { 11728ed55a54SJohn McCall const FunctionProtoType *DeleteFTy = 11738ed55a54SJohn McCall OperatorDelete->getType()->getAs<FunctionProtoType>(); 11748ed55a54SJohn McCall assert(DeleteFTy->getNumArgs() == 1 || DeleteFTy->getNumArgs() == 2); 11758ed55a54SJohn McCall 11768ed55a54SJohn McCall CallArgList Args; 11778ed55a54SJohn McCall 11788ed55a54SJohn McCall // Pass the pointer as the first argument. 11798ed55a54SJohn McCall QualType VoidPtrTy = DeleteFTy->getArgType(0); 11808ed55a54SJohn McCall llvm::Value *DeletePtr 11818ed55a54SJohn McCall = CGF.Builder.CreateBitCast(Ptr, CGF.ConvertType(VoidPtrTy)); 11828ed55a54SJohn McCall Args.push_back(std::make_pair(RValue::get(DeletePtr), VoidPtrTy)); 11838ed55a54SJohn McCall 11848ed55a54SJohn McCall // Pass the original requested size as the second argument. 11858ed55a54SJohn McCall if (DeleteFTy->getNumArgs() == 2) { 11868ed55a54SJohn McCall QualType size_t = DeleteFTy->getArgType(1); 11878ed55a54SJohn McCall const llvm::IntegerType *SizeTy 11888ed55a54SJohn McCall = cast<llvm::IntegerType>(CGF.ConvertType(size_t)); 11898ed55a54SJohn McCall 11908ed55a54SJohn McCall CharUnits ElementTypeSize = 11918ed55a54SJohn McCall CGF.CGM.getContext().getTypeSizeInChars(ElementType); 11928ed55a54SJohn McCall 11938ed55a54SJohn McCall // The size of an element, multiplied by the number of elements. 11948ed55a54SJohn McCall llvm::Value *Size 11958ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, ElementTypeSize.getQuantity()); 11968ed55a54SJohn McCall Size = CGF.Builder.CreateMul(Size, NumElements); 11978ed55a54SJohn McCall 11988ed55a54SJohn McCall // Plus the size of the cookie if applicable. 11998ed55a54SJohn McCall if (!CookieSize.isZero()) { 12008ed55a54SJohn McCall llvm::Value *CookieSizeV 12018ed55a54SJohn McCall = llvm::ConstantInt::get(SizeTy, CookieSize.getQuantity()); 12028ed55a54SJohn McCall Size = CGF.Builder.CreateAdd(Size, CookieSizeV); 12038ed55a54SJohn McCall } 12048ed55a54SJohn McCall 12058ed55a54SJohn McCall Args.push_back(std::make_pair(RValue::get(Size), size_t)); 12068ed55a54SJohn McCall } 12078ed55a54SJohn McCall 12088ed55a54SJohn McCall // Emit the call to delete. 12098ed55a54SJohn McCall CGF.EmitCall(CGF.getTypes().getFunctionInfo(Args, DeleteFTy), 12108ed55a54SJohn McCall CGF.CGM.GetAddrOfFunction(OperatorDelete), 12118ed55a54SJohn McCall ReturnValueSlot(), Args, OperatorDelete); 12128ed55a54SJohn McCall } 12138ed55a54SJohn McCall }; 12148ed55a54SJohn McCall } 12158ed55a54SJohn McCall 12168ed55a54SJohn McCall /// Emit the code for deleting an array of objects. 12178ed55a54SJohn McCall static void EmitArrayDelete(CodeGenFunction &CGF, 1218284c48ffSJohn McCall const CXXDeleteExpr *E, 12198ed55a54SJohn McCall llvm::Value *Ptr, 12208ed55a54SJohn McCall QualType ElementType) { 12218ed55a54SJohn McCall llvm::Value *NumElements = 0; 12228ed55a54SJohn McCall llvm::Value *AllocatedPtr = 0; 12238ed55a54SJohn McCall CharUnits CookieSize; 1224284c48ffSJohn McCall CGF.CGM.getCXXABI().ReadArrayCookie(CGF, Ptr, E, ElementType, 12258ed55a54SJohn McCall NumElements, AllocatedPtr, CookieSize); 12268ed55a54SJohn McCall 12278ed55a54SJohn McCall assert(AllocatedPtr && "ReadArrayCookie didn't set AllocatedPtr"); 12288ed55a54SJohn McCall 12298ed55a54SJohn McCall // Make sure that we call delete even if one of the dtors throws. 1230284c48ffSJohn McCall const FunctionDecl *OperatorDelete = E->getOperatorDelete(); 12318ed55a54SJohn McCall CGF.EHStack.pushCleanup<CallArrayDelete>(NormalAndEHCleanup, 12328ed55a54SJohn McCall AllocatedPtr, OperatorDelete, 12338ed55a54SJohn McCall NumElements, ElementType, 12348ed55a54SJohn McCall CookieSize); 12358ed55a54SJohn McCall 12368ed55a54SJohn McCall if (const CXXRecordDecl *RD = ElementType->getAsCXXRecordDecl()) { 12378ed55a54SJohn McCall if (!RD->hasTrivialDestructor()) { 12388ed55a54SJohn McCall assert(NumElements && "ReadArrayCookie didn't find element count" 12398ed55a54SJohn McCall " for a class with destructor"); 12408ed55a54SJohn McCall CGF.EmitCXXAggrDestructorCall(RD->getDestructor(), NumElements, Ptr); 12418ed55a54SJohn McCall } 12428ed55a54SJohn McCall } 12438ed55a54SJohn McCall 12448ed55a54SJohn McCall CGF.PopCleanupBlock(); 12458ed55a54SJohn McCall } 12468ed55a54SJohn McCall 124759486a2dSAnders Carlsson void CodeGenFunction::EmitCXXDeleteExpr(const CXXDeleteExpr *E) { 124859486a2dSAnders Carlsson 124959486a2dSAnders Carlsson // Get at the argument before we performed the implicit conversion 125059486a2dSAnders Carlsson // to void*. 125159486a2dSAnders Carlsson const Expr *Arg = E->getArgument(); 125259486a2dSAnders Carlsson while (const ImplicitCastExpr *ICE = dyn_cast<ImplicitCastExpr>(Arg)) { 1253e302792bSJohn McCall if (ICE->getCastKind() != CK_UserDefinedConversion && 125459486a2dSAnders Carlsson ICE->getType()->isVoidPointerType()) 125559486a2dSAnders Carlsson Arg = ICE->getSubExpr(); 125659486a2dSAnders Carlsson else 125759486a2dSAnders Carlsson break; 125859486a2dSAnders Carlsson } 125959486a2dSAnders Carlsson 126059486a2dSAnders Carlsson llvm::Value *Ptr = EmitScalarExpr(Arg); 126159486a2dSAnders Carlsson 126259486a2dSAnders Carlsson // Null check the pointer. 126359486a2dSAnders Carlsson llvm::BasicBlock *DeleteNotNull = createBasicBlock("delete.notnull"); 126459486a2dSAnders Carlsson llvm::BasicBlock *DeleteEnd = createBasicBlock("delete.end"); 126559486a2dSAnders Carlsson 126659486a2dSAnders Carlsson llvm::Value *IsNull = 126759486a2dSAnders Carlsson Builder.CreateICmpEQ(Ptr, llvm::Constant::getNullValue(Ptr->getType()), 126859486a2dSAnders Carlsson "isnull"); 126959486a2dSAnders Carlsson 127059486a2dSAnders Carlsson Builder.CreateCondBr(IsNull, DeleteEnd, DeleteNotNull); 127159486a2dSAnders Carlsson EmitBlock(DeleteNotNull); 127259486a2dSAnders Carlsson 12738ed55a54SJohn McCall // We might be deleting a pointer to array. If so, GEP down to the 12748ed55a54SJohn McCall // first non-array element. 12758ed55a54SJohn McCall // (this assumes that A(*)[3][7] is converted to [3 x [7 x %A]]*) 12768ed55a54SJohn McCall QualType DeleteTy = Arg->getType()->getAs<PointerType>()->getPointeeType(); 12778ed55a54SJohn McCall if (DeleteTy->isConstantArrayType()) { 12788ed55a54SJohn McCall llvm::Value *Zero = Builder.getInt32(0); 12798ed55a54SJohn McCall llvm::SmallVector<llvm::Value*,8> GEP; 128059486a2dSAnders Carlsson 12818ed55a54SJohn McCall GEP.push_back(Zero); // point at the outermost array 12828ed55a54SJohn McCall 12838ed55a54SJohn McCall // For each layer of array type we're pointing at: 12848ed55a54SJohn McCall while (const ConstantArrayType *Arr 12858ed55a54SJohn McCall = getContext().getAsConstantArrayType(DeleteTy)) { 12868ed55a54SJohn McCall // 1. Unpeel the array type. 12878ed55a54SJohn McCall DeleteTy = Arr->getElementType(); 12888ed55a54SJohn McCall 12898ed55a54SJohn McCall // 2. GEP to the first element of the array. 12908ed55a54SJohn McCall GEP.push_back(Zero); 12918ed55a54SJohn McCall } 12928ed55a54SJohn McCall 12938ed55a54SJohn McCall Ptr = Builder.CreateInBoundsGEP(Ptr, GEP.begin(), GEP.end(), "del.first"); 12948ed55a54SJohn McCall } 12958ed55a54SJohn McCall 129604f36218SDouglas Gregor assert(ConvertTypeForMem(DeleteTy) == 129704f36218SDouglas Gregor cast<llvm::PointerType>(Ptr->getType())->getElementType()); 12988ed55a54SJohn McCall 129959486a2dSAnders Carlsson if (E->isArrayForm()) { 1300284c48ffSJohn McCall EmitArrayDelete(*this, E, Ptr, DeleteTy); 13018ed55a54SJohn McCall } else { 13028ed55a54SJohn McCall EmitObjectDelete(*this, E->getOperatorDelete(), Ptr, DeleteTy); 130359486a2dSAnders Carlsson } 130459486a2dSAnders Carlsson 130559486a2dSAnders Carlsson EmitBlock(DeleteEnd); 130659486a2dSAnders Carlsson } 130759486a2dSAnders Carlsson 130859486a2dSAnders Carlsson llvm::Value *CodeGenFunction::EmitCXXTypeidExpr(const CXXTypeidExpr *E) { 130959486a2dSAnders Carlsson QualType Ty = E->getType(); 131059486a2dSAnders Carlsson const llvm::Type *LTy = ConvertType(Ty)->getPointerTo(); 1311fd7dfeb7SAnders Carlsson 13123f4336cbSAnders Carlsson if (E->isTypeOperand()) { 13133f4336cbSAnders Carlsson llvm::Constant *TypeInfo = 13143f4336cbSAnders Carlsson CGM.GetAddrOfRTTIDescriptor(E->getTypeOperand()); 13153f4336cbSAnders Carlsson return Builder.CreateBitCast(TypeInfo, LTy); 13163f4336cbSAnders Carlsson } 1317fd7dfeb7SAnders Carlsson 131859486a2dSAnders Carlsson Expr *subE = E->getExprOperand(); 131959486a2dSAnders Carlsson Ty = subE->getType(); 132059486a2dSAnders Carlsson CanQualType CanTy = CGM.getContext().getCanonicalType(Ty); 132159486a2dSAnders Carlsson Ty = CanTy.getUnqualifiedType().getNonReferenceType(); 132259486a2dSAnders Carlsson if (const RecordType *RT = Ty->getAs<RecordType>()) { 132359486a2dSAnders Carlsson const CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl()); 132459486a2dSAnders Carlsson if (RD->isPolymorphic()) { 132559486a2dSAnders Carlsson // FIXME: if subE is an lvalue do 132659486a2dSAnders Carlsson LValue Obj = EmitLValue(subE); 132759486a2dSAnders Carlsson llvm::Value *This = Obj.getAddress(); 132859486a2dSAnders Carlsson // We need to do a zero check for *p, unless it has NonNullAttr. 132959486a2dSAnders Carlsson // FIXME: PointerType->hasAttr<NonNullAttr>() 133059486a2dSAnders Carlsson bool CanBeZero = false; 133159486a2dSAnders Carlsson if (UnaryOperator *UO = dyn_cast<UnaryOperator>(subE->IgnoreParens())) 1332e302792bSJohn McCall if (UO->getOpcode() == UO_Deref) 133359486a2dSAnders Carlsson CanBeZero = true; 133459486a2dSAnders Carlsson if (CanBeZero) { 133559486a2dSAnders Carlsson llvm::BasicBlock *NonZeroBlock = createBasicBlock(); 133659486a2dSAnders Carlsson llvm::BasicBlock *ZeroBlock = createBasicBlock(); 133759486a2dSAnders Carlsson 13388fc50c29SDan Gohman llvm::Value *Zero = llvm::Constant::getNullValue(This->getType()); 13398fc50c29SDan Gohman Builder.CreateCondBr(Builder.CreateICmpNE(This, Zero), 134059486a2dSAnders Carlsson NonZeroBlock, ZeroBlock); 134159486a2dSAnders Carlsson EmitBlock(ZeroBlock); 134259486a2dSAnders Carlsson /// Call __cxa_bad_typeid 134359486a2dSAnders Carlsson const llvm::Type *ResultType = llvm::Type::getVoidTy(VMContext); 134459486a2dSAnders Carlsson const llvm::FunctionType *FTy; 134559486a2dSAnders Carlsson FTy = llvm::FunctionType::get(ResultType, false); 134659486a2dSAnders Carlsson llvm::Value *F = CGM.CreateRuntimeFunction(FTy, "__cxa_bad_typeid"); 134759486a2dSAnders Carlsson Builder.CreateCall(F)->setDoesNotReturn(); 134859486a2dSAnders Carlsson Builder.CreateUnreachable(); 134959486a2dSAnders Carlsson EmitBlock(NonZeroBlock); 135059486a2dSAnders Carlsson } 13518fc50c29SDan Gohman llvm::Value *V = GetVTablePtr(This, LTy->getPointerTo()); 135259486a2dSAnders Carlsson V = Builder.CreateConstInBoundsGEP1_64(V, -1ULL); 135359486a2dSAnders Carlsson V = Builder.CreateLoad(V); 135459486a2dSAnders Carlsson return V; 135559486a2dSAnders Carlsson } 135659486a2dSAnders Carlsson } 13573f4336cbSAnders Carlsson return Builder.CreateBitCast(CGM.GetAddrOfRTTIDescriptor(Ty), LTy); 135859486a2dSAnders Carlsson } 135959486a2dSAnders Carlsson 136059486a2dSAnders Carlsson llvm::Value *CodeGenFunction::EmitDynamicCast(llvm::Value *V, 136159486a2dSAnders Carlsson const CXXDynamicCastExpr *DCE) { 13623f4336cbSAnders Carlsson QualType SrcTy = DCE->getSubExpr()->getType(); 13633f4336cbSAnders Carlsson QualType DestTy = DCE->getTypeAsWritten(); 13643f4336cbSAnders Carlsson QualType InnerType = DestTy->getPointeeType(); 13653f4336cbSAnders Carlsson 136659486a2dSAnders Carlsson const llvm::Type *LTy = ConvertType(DCE->getType()); 136759486a2dSAnders Carlsson 136859486a2dSAnders Carlsson bool CanBeZero = false; 136959486a2dSAnders Carlsson bool ToVoid = false; 137059486a2dSAnders Carlsson bool ThrowOnBad = false; 13713f4336cbSAnders Carlsson if (DestTy->isPointerType()) { 137259486a2dSAnders Carlsson // FIXME: if PointerType->hasAttr<NonNullAttr>(), we don't set this 137359486a2dSAnders Carlsson CanBeZero = true; 137459486a2dSAnders Carlsson if (InnerType->isVoidType()) 137559486a2dSAnders Carlsson ToVoid = true; 137659486a2dSAnders Carlsson } else { 137759486a2dSAnders Carlsson LTy = LTy->getPointerTo(); 1378fa8b4955SDouglas Gregor 1379fa8b4955SDouglas Gregor // FIXME: What if exceptions are disabled? 138059486a2dSAnders Carlsson ThrowOnBad = true; 138159486a2dSAnders Carlsson } 138259486a2dSAnders Carlsson 13833f4336cbSAnders Carlsson if (SrcTy->isPointerType() || SrcTy->isReferenceType()) 13843f4336cbSAnders Carlsson SrcTy = SrcTy->getPointeeType(); 13853f4336cbSAnders Carlsson SrcTy = SrcTy.getUnqualifiedType(); 13863f4336cbSAnders Carlsson 13870087bc85SAnders Carlsson if (DestTy->isPointerType() || DestTy->isReferenceType()) 13883f4336cbSAnders Carlsson DestTy = DestTy->getPointeeType(); 13893f4336cbSAnders Carlsson DestTy = DestTy.getUnqualifiedType(); 139059486a2dSAnders Carlsson 139159486a2dSAnders Carlsson llvm::BasicBlock *ContBlock = createBasicBlock(); 139259486a2dSAnders Carlsson llvm::BasicBlock *NullBlock = 0; 139359486a2dSAnders Carlsson llvm::BasicBlock *NonZeroBlock = 0; 139459486a2dSAnders Carlsson if (CanBeZero) { 139559486a2dSAnders Carlsson NonZeroBlock = createBasicBlock(); 139659486a2dSAnders Carlsson NullBlock = createBasicBlock(); 13973f4336cbSAnders Carlsson Builder.CreateCondBr(Builder.CreateIsNotNull(V), NonZeroBlock, NullBlock); 139859486a2dSAnders Carlsson EmitBlock(NonZeroBlock); 139959486a2dSAnders Carlsson } 140059486a2dSAnders Carlsson 140159486a2dSAnders Carlsson llvm::BasicBlock *BadCastBlock = 0; 140259486a2dSAnders Carlsson 14033f4336cbSAnders Carlsson const llvm::Type *PtrDiffTy = ConvertType(getContext().getPointerDiffType()); 140459486a2dSAnders Carlsson 140559486a2dSAnders Carlsson // See if this is a dynamic_cast(void*) 140659486a2dSAnders Carlsson if (ToVoid) { 140759486a2dSAnders Carlsson llvm::Value *This = V; 14088fc50c29SDan Gohman V = GetVTablePtr(This, PtrDiffTy->getPointerTo()); 140959486a2dSAnders Carlsson V = Builder.CreateConstInBoundsGEP1_64(V, -2ULL); 141059486a2dSAnders Carlsson V = Builder.CreateLoad(V, "offset to top"); 141159486a2dSAnders Carlsson This = Builder.CreateBitCast(This, llvm::Type::getInt8PtrTy(VMContext)); 141259486a2dSAnders Carlsson V = Builder.CreateInBoundsGEP(This, V); 141359486a2dSAnders Carlsson V = Builder.CreateBitCast(V, LTy); 141459486a2dSAnders Carlsson } else { 141559486a2dSAnders Carlsson /// Call __dynamic_cast 141659486a2dSAnders Carlsson const llvm::Type *ResultType = llvm::Type::getInt8PtrTy(VMContext); 141759486a2dSAnders Carlsson const llvm::FunctionType *FTy; 141859486a2dSAnders Carlsson std::vector<const llvm::Type*> ArgTys; 141959486a2dSAnders Carlsson const llvm::Type *PtrToInt8Ty 142059486a2dSAnders Carlsson = llvm::Type::getInt8Ty(VMContext)->getPointerTo(); 142159486a2dSAnders Carlsson ArgTys.push_back(PtrToInt8Ty); 142259486a2dSAnders Carlsson ArgTys.push_back(PtrToInt8Ty); 142359486a2dSAnders Carlsson ArgTys.push_back(PtrToInt8Ty); 142459486a2dSAnders Carlsson ArgTys.push_back(PtrDiffTy); 142559486a2dSAnders Carlsson FTy = llvm::FunctionType::get(ResultType, ArgTys, false); 142659486a2dSAnders Carlsson 142759486a2dSAnders Carlsson // FIXME: Calculate better hint. 142859486a2dSAnders Carlsson llvm::Value *hint = llvm::ConstantInt::get(PtrDiffTy, -1ULL); 14293f4336cbSAnders Carlsson 14303f4336cbSAnders Carlsson assert(SrcTy->isRecordType() && "Src type must be record type!"); 14313f4336cbSAnders Carlsson assert(DestTy->isRecordType() && "Dest type must be record type!"); 14323f4336cbSAnders Carlsson 1433247894b3SDouglas Gregor llvm::Value *SrcArg 1434247894b3SDouglas Gregor = CGM.GetAddrOfRTTIDescriptor(SrcTy.getUnqualifiedType()); 1435247894b3SDouglas Gregor llvm::Value *DestArg 1436247894b3SDouglas Gregor = CGM.GetAddrOfRTTIDescriptor(DestTy.getUnqualifiedType()); 14373f4336cbSAnders Carlsson 143859486a2dSAnders Carlsson V = Builder.CreateBitCast(V, PtrToInt8Ty); 143959486a2dSAnders Carlsson V = Builder.CreateCall4(CGM.CreateRuntimeFunction(FTy, "__dynamic_cast"), 14403f4336cbSAnders Carlsson V, SrcArg, DestArg, hint); 144159486a2dSAnders Carlsson V = Builder.CreateBitCast(V, LTy); 144259486a2dSAnders Carlsson 144359486a2dSAnders Carlsson if (ThrowOnBad) { 144459486a2dSAnders Carlsson BadCastBlock = createBasicBlock(); 14453f4336cbSAnders Carlsson Builder.CreateCondBr(Builder.CreateIsNotNull(V), ContBlock, BadCastBlock); 144659486a2dSAnders Carlsson EmitBlock(BadCastBlock); 1447fa8b4955SDouglas Gregor /// Invoke __cxa_bad_cast 144859486a2dSAnders Carlsson ResultType = llvm::Type::getVoidTy(VMContext); 144959486a2dSAnders Carlsson const llvm::FunctionType *FBadTy; 145059486a2dSAnders Carlsson FBadTy = llvm::FunctionType::get(ResultType, false); 145159486a2dSAnders Carlsson llvm::Value *F = CGM.CreateRuntimeFunction(FBadTy, "__cxa_bad_cast"); 1452fa8b4955SDouglas Gregor if (llvm::BasicBlock *InvokeDest = getInvokeDest()) { 1453fa8b4955SDouglas Gregor llvm::BasicBlock *Cont = createBasicBlock("invoke.cont"); 1454fa8b4955SDouglas Gregor Builder.CreateInvoke(F, Cont, InvokeDest)->setDoesNotReturn(); 1455fa8b4955SDouglas Gregor EmitBlock(Cont); 1456fa8b4955SDouglas Gregor } else { 1457fa8b4955SDouglas Gregor // FIXME: Does this ever make sense? 145859486a2dSAnders Carlsson Builder.CreateCall(F)->setDoesNotReturn(); 1459fa8b4955SDouglas Gregor } 146059486a2dSAnders Carlsson Builder.CreateUnreachable(); 146159486a2dSAnders Carlsson } 146259486a2dSAnders Carlsson } 146359486a2dSAnders Carlsson 146459486a2dSAnders Carlsson if (CanBeZero) { 146559486a2dSAnders Carlsson Builder.CreateBr(ContBlock); 146659486a2dSAnders Carlsson EmitBlock(NullBlock); 146759486a2dSAnders Carlsson Builder.CreateBr(ContBlock); 146859486a2dSAnders Carlsson } 146959486a2dSAnders Carlsson EmitBlock(ContBlock); 147059486a2dSAnders Carlsson if (CanBeZero) { 147159486a2dSAnders Carlsson llvm::PHINode *PHI = Builder.CreatePHI(LTy); 147259486a2dSAnders Carlsson PHI->reserveOperandSpace(2); 147359486a2dSAnders Carlsson PHI->addIncoming(V, NonZeroBlock); 147459486a2dSAnders Carlsson PHI->addIncoming(llvm::Constant::getNullValue(LTy), NullBlock); 147559486a2dSAnders Carlsson V = PHI; 147659486a2dSAnders Carlsson } 147759486a2dSAnders Carlsson 147859486a2dSAnders Carlsson return V; 147959486a2dSAnders Carlsson } 1480