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