blob: a1ea6bf76a475498e00d1676b237db2071efc266 [file] [log] [blame]
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +00001//===--- CGDecl.cpp - Emit LLVM Code for declarations ---------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This contains code dealing with C++ code generation.
11//
12//===----------------------------------------------------------------------===//
13
14// We might split this into multiple files if it gets too unwieldy
15
16#include "CodeGenFunction.h"
17#include "CodeGenModule.h"
Anders Carlsson33e65e52009-04-13 18:03:33 +000018#include "Mangle.h"
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000019#include "clang/AST/ASTContext.h"
Fariborz Jahaniana0107de2009-07-25 21:12:28 +000020#include "clang/AST/RecordLayout.h"
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000021#include "clang/AST/Decl.h"
Anders Carlsson7a9b2982009-04-03 22:50:24 +000022#include "clang/AST/DeclCXX.h"
Anders Carlsson4715ebb2008-08-23 19:42:54 +000023#include "clang/AST/DeclObjC.h"
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000024#include "llvm/ADT/StringExtras.h"
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000025using namespace clang;
26using namespace CodeGen;
27
Daniel Dunbardea59212009-02-25 19:24:29 +000028void
29CodeGenFunction::GenerateStaticCXXBlockVarDeclInit(const VarDecl &D,
30 llvm::GlobalVariable *GV) {
31 // FIXME: This should use __cxa_guard_{acquire,release}?
32
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000033 assert(!getContext().getLangOptions().ThreadsafeStatics &&
34 "thread safe statics are currently not supported!");
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000035
Anders Carlsson33e65e52009-04-13 18:03:33 +000036 llvm::SmallString<256> GuardVName;
37 llvm::raw_svector_ostream GuardVOut(GuardVName);
38 mangleGuardVariable(&D, getContext(), GuardVOut);
39
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000040 // Create the guard variable.
41 llvm::GlobalValue *GuardV =
Owen Anderson94148482009-07-08 19:05:04 +000042 new llvm::GlobalVariable(CGM.getModule(), llvm::Type::Int64Ty, false,
Daniel Dunbardea59212009-02-25 19:24:29 +000043 GV->getLinkage(),
Owen Andersonf37b84b2009-07-31 20:28:54 +000044 llvm::Constant::getNullValue(llvm::Type::Int64Ty),
Owen Anderson94148482009-07-08 19:05:04 +000045 GuardVName.c_str());
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000046
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000047 // Load the first byte of the guard variable.
Owen Anderson7ec2d8f2009-07-29 22:16:19 +000048 const llvm::Type *PtrTy = llvm::PointerType::get(llvm::Type::Int8Ty, 0);
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000049 llvm::Value *V = Builder.CreateLoad(Builder.CreateBitCast(GuardV, PtrTy),
50 "tmp");
51
52 // Compare it against 0.
Owen Andersonf37b84b2009-07-31 20:28:54 +000053 llvm::Value *nullValue = llvm::Constant::getNullValue(llvm::Type::Int8Ty);
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000054 llvm::Value *ICmp = Builder.CreateICmpEQ(V, nullValue , "tobool");
55
Daniel Dunbar72f96552008-11-11 02:29:29 +000056 llvm::BasicBlock *InitBlock = createBasicBlock("init");
Daniel Dunbar6e3a10c2008-11-13 01:38:36 +000057 llvm::BasicBlock *EndBlock = createBasicBlock("init.end");
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000058
59 // If the guard variable is 0, jump to the initializer code.
60 Builder.CreateCondBr(ICmp, InitBlock, EndBlock);
61
62 EmitBlock(InitBlock);
63
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000064 const Expr *Init = D.getInit();
65 if (!hasAggregateLLVMType(Init->getType())) {
66 llvm::Value *V = EmitScalarExpr(Init);
67 Builder.CreateStore(V, GV, D.getType().isVolatileQualified());
68 } else if (Init->getType()->isAnyComplexType()) {
69 EmitComplexExprIntoAddr(Init, GV, D.getType().isVolatileQualified());
70 } else {
71 EmitAggExpr(Init, GV, D.getType().isVolatileQualified());
72 }
73
Owen Andersonb17ec712009-07-24 23:12:58 +000074 Builder.CreateStore(llvm::ConstantInt::get(llvm::Type::Int8Ty, 1),
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000075 Builder.CreateBitCast(GuardV, PtrTy));
76
77 EmitBlock(EndBlock);
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000078}
79
Anders Carlssonf91d9f22009-05-11 23:37:08 +000080RValue CodeGenFunction::EmitCXXMemberCall(const CXXMethodDecl *MD,
81 llvm::Value *Callee,
82 llvm::Value *This,
83 CallExpr::const_arg_iterator ArgBeg,
84 CallExpr::const_arg_iterator ArgEnd) {
85 assert(MD->isInstance() &&
86 "Trying to emit a member call expr on a static method!");
87
88 const FunctionProtoType *FPT = MD->getType()->getAsFunctionProtoType();
89
90 CallArgList Args;
91
92 // Push the this ptr.
93 Args.push_back(std::make_pair(RValue::get(This),
94 MD->getThisType(getContext())));
95
96 // And the rest of the call args
97 EmitCallArgs(Args, FPT, ArgBeg, ArgEnd);
98
99 QualType ResultType = MD->getType()->getAsFunctionType()->getResultType();
100 return EmitCall(CGM.getTypes().getFunctionInfo(ResultType, Args),
101 Callee, Args, MD);
102}
103
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000104RValue CodeGenFunction::EmitCXXMemberCallExpr(const CXXMemberCallExpr *CE) {
105 const MemberExpr *ME = cast<MemberExpr>(CE->getCallee());
106 const CXXMethodDecl *MD = cast<CXXMethodDecl>(ME->getMemberDecl());
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000107
Anders Carlssonc5223142009-04-08 20:31:57 +0000108 const FunctionProtoType *FPT = MD->getType()->getAsFunctionProtoType();
Mike Stumpc37c8812009-07-30 21:47:44 +0000109
Mike Stump7e8c9932009-07-31 18:25:34 +0000110 if (MD->isVirtual()) {
Mike Stumpc37c8812009-07-30 21:47:44 +0000111 ErrorUnsupported(CE, "virtual dispatch");
112 }
113
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000114 const llvm::Type *Ty =
Anders Carlssonc5223142009-04-08 20:31:57 +0000115 CGM.getTypes().GetFunctionType(CGM.getTypes().getFunctionInfo(MD),
116 FPT->isVariadic());
Chris Lattner80f39cc2009-05-12 21:21:08 +0000117 llvm::Constant *Callee = CGM.GetAddrOfFunction(GlobalDecl(MD), Ty);
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000118
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000119 llvm::Value *This;
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000120
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000121 if (ME->isArrow())
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000122 This = EmitScalarExpr(ME->getBase());
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000123 else {
124 LValue BaseLV = EmitLValue(ME->getBase());
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000125 This = BaseLV.getAddress();
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000126 }
127
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000128 return EmitCXXMemberCall(MD, Callee, This,
129 CE->arg_begin(), CE->arg_end());
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000130}
Anders Carlsson49d4a572009-04-14 16:58:56 +0000131
Anders Carlsson85eca6f2009-05-27 04:18:27 +0000132RValue
133CodeGenFunction::EmitCXXOperatorMemberCallExpr(const CXXOperatorCallExpr *E,
134 const CXXMethodDecl *MD) {
135 assert(MD->isInstance() &&
136 "Trying to emit a member call expr on a static method!");
137
138
139 const FunctionProtoType *FPT = MD->getType()->getAsFunctionProtoType();
140 const llvm::Type *Ty =
141 CGM.getTypes().GetFunctionType(CGM.getTypes().getFunctionInfo(MD),
142 FPT->isVariadic());
143 llvm::Constant *Callee = CGM.GetAddrOfFunction(GlobalDecl(MD), Ty);
144
145 llvm::Value *This = EmitLValue(E->getArg(0)).getAddress();
146
147 return EmitCXXMemberCall(MD, Callee, This,
148 E->arg_begin() + 1, E->arg_end());
149}
150
Anders Carlsson49d4a572009-04-14 16:58:56 +0000151llvm::Value *CodeGenFunction::LoadCXXThis() {
152 assert(isa<CXXMethodDecl>(CurFuncDecl) &&
153 "Must be in a C++ member function decl to load 'this'");
154 assert(cast<CXXMethodDecl>(CurFuncDecl)->isInstance() &&
155 "Must be in a C++ member function decl to load 'this'");
156
157 // FIXME: What if we're inside a block?
Mike Stumpba2cb0e2009-05-16 07:57:57 +0000158 // ans: See how CodeGenFunction::LoadObjCSelf() uses
159 // CodeGenFunction::BlockForwardSelf() for how to do this.
Anders Carlsson49d4a572009-04-14 16:58:56 +0000160 return Builder.CreateLoad(LocalDeclMap[CXXThisDecl], "this");
161}
Anders Carlsson652951a2009-04-15 15:55:24 +0000162
Fariborz Jahanian5fe7f472009-07-30 00:10:25 +0000163static bool
164GetNestedPaths(llvm::SmallVectorImpl<const CXXRecordDecl *> &NestedBasePaths,
165 const CXXRecordDecl *ClassDecl,
166 const CXXRecordDecl *BaseClassDecl) {
Fariborz Jahanian5fe7f472009-07-30 00:10:25 +0000167 for (CXXRecordDecl::base_class_const_iterator i = ClassDecl->bases_begin(),
168 e = ClassDecl->bases_end(); i != e; ++i) {
169 if (i->isVirtual())
170 continue;
171 const CXXRecordDecl *Base =
Mike Stumpf3371782009-08-04 21:58:42 +0000172 cast<CXXRecordDecl>(i->getType()->getAs<RecordType>()->getDecl());
Fariborz Jahanian5fe7f472009-07-30 00:10:25 +0000173 if (Base == BaseClassDecl) {
174 NestedBasePaths.push_back(BaseClassDecl);
175 return true;
176 }
177 }
178 // BaseClassDecl not an immediate base of ClassDecl.
179 for (CXXRecordDecl::base_class_const_iterator i = ClassDecl->bases_begin(),
180 e = ClassDecl->bases_end(); i != e; ++i) {
181 if (i->isVirtual())
182 continue;
183 const CXXRecordDecl *Base =
184 cast<CXXRecordDecl>(i->getType()->getAs<RecordType>()->getDecl());
185 if (GetNestedPaths(NestedBasePaths, Base, BaseClassDecl)) {
186 NestedBasePaths.push_back(Base);
187 return true;
188 }
189 }
190 return false;
191}
192
Fariborz Jahaniand3f67282009-07-28 17:38:28 +0000193llvm::Value *CodeGenFunction::AddressCXXOfBaseClass(llvm::Value *BaseValue,
Fariborz Jahanian70277012009-07-28 18:09:28 +0000194 const CXXRecordDecl *ClassDecl,
195 const CXXRecordDecl *BaseClassDecl) {
Fariborz Jahaniand3f67282009-07-28 17:38:28 +0000196 if (ClassDecl == BaseClassDecl)
197 return BaseValue;
198
Fariborz Jahanian5fe7f472009-07-30 00:10:25 +0000199 llvm::Type *I8Ptr = llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
200 llvm::SmallVector<const CXXRecordDecl *, 16> NestedBasePaths;
201 GetNestedPaths(NestedBasePaths, ClassDecl, BaseClassDecl);
202 assert(NestedBasePaths.size() > 0 &&
203 "AddressCXXOfBaseClass - inheritence path failed");
204 NestedBasePaths.push_back(ClassDecl);
205 uint64_t Offset = 0;
206
Fariborz Jahaniand3f67282009-07-28 17:38:28 +0000207 // Accessing a member of the base class. Must add delata to
208 // the load of 'this'.
Fariborz Jahanian5fe7f472009-07-30 00:10:25 +0000209 for (unsigned i = NestedBasePaths.size()-1; i > 0; i--) {
210 const CXXRecordDecl *DerivedClass = NestedBasePaths[i];
211 const CXXRecordDecl *BaseClass = NestedBasePaths[i-1];
212 const ASTRecordLayout &Layout =
213 getContext().getASTRecordLayout(DerivedClass);
214 Offset += Layout.getBaseClassOffset(BaseClass) / 8;
215 }
Fariborz Jahanian83a46ed2009-07-29 15:54:56 +0000216 llvm::Value *OffsetVal =
217 llvm::ConstantInt::get(
218 CGM.getTypes().ConvertType(CGM.getContext().LongTy), Offset);
Fariborz Jahaniand3f67282009-07-28 17:38:28 +0000219 BaseValue = Builder.CreateBitCast(BaseValue, I8Ptr);
220 BaseValue = Builder.CreateGEP(BaseValue, OffsetVal, "add.ptr");
221 QualType BTy =
222 getContext().getCanonicalType(
Fariborz Jahanian70277012009-07-28 18:09:28 +0000223 getContext().getTypeDeclType(const_cast<CXXRecordDecl*>(BaseClassDecl)));
Fariborz Jahaniand3f67282009-07-28 17:38:28 +0000224 const llvm::Type *BasePtr = ConvertType(BTy);
Owen Anderson7ec2d8f2009-07-29 22:16:19 +0000225 BasePtr = llvm::PointerType::getUnqual(BasePtr);
Fariborz Jahaniand3f67282009-07-28 17:38:28 +0000226 BaseValue = Builder.CreateBitCast(BaseValue, BasePtr);
227 return BaseValue;
228}
229
Anders Carlsson72f48292009-04-17 00:06:03 +0000230void
231CodeGenFunction::EmitCXXConstructorCall(const CXXConstructorDecl *D,
232 CXXCtorType Type,
233 llvm::Value *This,
234 CallExpr::const_arg_iterator ArgBeg,
235 CallExpr::const_arg_iterator ArgEnd) {
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000236 llvm::Value *Callee = CGM.GetAddrOfCXXConstructor(D, Type);
237
238 EmitCXXMemberCall(D, Callee, This, ArgBeg, ArgEnd);
Anders Carlsson72f48292009-04-17 00:06:03 +0000239}
240
Anders Carlssond3f6b162009-05-29 21:03:38 +0000241void CodeGenFunction::EmitCXXDestructorCall(const CXXDestructorDecl *D,
242 CXXDtorType Type,
243 llvm::Value *This) {
244 llvm::Value *Callee = CGM.GetAddrOfCXXDestructor(D, Type);
245
246 EmitCXXMemberCall(D, Callee, This, 0, 0);
247}
248
Anders Carlsson72f48292009-04-17 00:06:03 +0000249void
Anders Carlsson342aadc2009-05-03 17:47:16 +0000250CodeGenFunction::EmitCXXConstructExpr(llvm::Value *Dest,
251 const CXXConstructExpr *E) {
Anders Carlsson72f48292009-04-17 00:06:03 +0000252 assert(Dest && "Must have a destination!");
253
254 const CXXRecordDecl *RD =
Ted Kremenekd00cd9e2009-07-29 21:53:49 +0000255 cast<CXXRecordDecl>(E->getType()->getAs<RecordType>()->getDecl());
Anders Carlsson72f48292009-04-17 00:06:03 +0000256 if (RD->hasTrivialConstructor())
257 return;
Fariborz Jahanian884036a2009-08-06 01:02:49 +0000258
259 // Code gen optimization to eliminate copy constructor and return
260 // its first argument instead.
Fariborz Jahanian325cdd82009-08-06 19:12:38 +0000261 if (E->isElidable()) {
Fariborz Jahanian884036a2009-08-06 01:02:49 +0000262 CXXConstructExpr::const_arg_iterator i = E->arg_begin();
Fariborz Jahanian325cdd82009-08-06 19:12:38 +0000263 EmitAggExpr((*i), Dest, false);
264 return;
Fariborz Jahanian884036a2009-08-06 01:02:49 +0000265 }
Anders Carlsson72f48292009-04-17 00:06:03 +0000266 // Call the constructor.
267 EmitCXXConstructorCall(E->getConstructor(), Ctor_Complete, Dest,
268 E->arg_begin(), E->arg_end());
269}
270
Anders Carlsson18e88bc2009-05-31 01:40:14 +0000271llvm::Value *CodeGenFunction::EmitCXXNewExpr(const CXXNewExpr *E) {
Anders Carlssond5536972009-05-31 20:21:44 +0000272 if (E->isArray()) {
273 ErrorUnsupported(E, "new[] expression");
Owen Andersone0b5eff2009-07-30 23:11:26 +0000274 return llvm::UndefValue::get(ConvertType(E->getType()));
Anders Carlssond5536972009-05-31 20:21:44 +0000275 }
276
277 QualType AllocType = E->getAllocatedType();
278 FunctionDecl *NewFD = E->getOperatorNew();
279 const FunctionProtoType *NewFTy = NewFD->getType()->getAsFunctionProtoType();
280
281 CallArgList NewArgs;
282
283 // The allocation size is the first argument.
284 QualType SizeTy = getContext().getSizeType();
285 llvm::Value *AllocSize =
Owen Andersonb17ec712009-07-24 23:12:58 +0000286 llvm::ConstantInt::get(ConvertType(SizeTy),
Anders Carlssond5536972009-05-31 20:21:44 +0000287 getContext().getTypeSize(AllocType) / 8);
288
289 NewArgs.push_back(std::make_pair(RValue::get(AllocSize), SizeTy));
290
291 // Emit the rest of the arguments.
292 // FIXME: Ideally, this should just use EmitCallArgs.
293 CXXNewExpr::const_arg_iterator NewArg = E->placement_arg_begin();
294
295 // First, use the types from the function type.
296 // We start at 1 here because the first argument (the allocation size)
297 // has already been emitted.
298 for (unsigned i = 1, e = NewFTy->getNumArgs(); i != e; ++i, ++NewArg) {
299 QualType ArgType = NewFTy->getArgType(i);
300
301 assert(getContext().getCanonicalType(ArgType.getNonReferenceType()).
302 getTypePtr() ==
303 getContext().getCanonicalType(NewArg->getType()).getTypePtr() &&
304 "type mismatch in call argument!");
305
306 NewArgs.push_back(std::make_pair(EmitCallArg(*NewArg, ArgType),
307 ArgType));
308
309 }
310
311 // Either we've emitted all the call args, or we have a call to a
312 // variadic function.
313 assert((NewArg == E->placement_arg_end() || NewFTy->isVariadic()) &&
314 "Extra arguments in non-variadic function!");
315
316 // If we still have any arguments, emit them using the type of the argument.
317 for (CXXNewExpr::const_arg_iterator NewArgEnd = E->placement_arg_end();
318 NewArg != NewArgEnd; ++NewArg) {
319 QualType ArgType = NewArg->getType();
320 NewArgs.push_back(std::make_pair(EmitCallArg(*NewArg, ArgType),
321 ArgType));
322 }
323
324 // Emit the call to new.
325 RValue RV =
326 EmitCall(CGM.getTypes().getFunctionInfo(NewFTy->getResultType(), NewArgs),
327 CGM.GetAddrOfFunction(GlobalDecl(NewFD)),
328 NewArgs, NewFD);
329
Anders Carlsson11269042009-05-31 21:53:59 +0000330 // If an allocation function is declared with an empty exception specification
331 // it returns null to indicate failure to allocate storage. [expr.new]p13.
332 // (We don't need to check for null when there's no new initializer and
333 // we're allocating a POD type).
334 bool NullCheckResult = NewFTy->hasEmptyExceptionSpec() &&
335 !(AllocType->isPODType() && !E->hasInitializer());
Anders Carlssond5536972009-05-31 20:21:44 +0000336
Anders Carlssondbee9a52009-06-01 00:05:16 +0000337 llvm::BasicBlock *NewNull = 0;
338 llvm::BasicBlock *NewNotNull = 0;
339 llvm::BasicBlock *NewEnd = 0;
340
341 llvm::Value *NewPtr = RV.getScalarVal();
342
Anders Carlsson11269042009-05-31 21:53:59 +0000343 if (NullCheckResult) {
Anders Carlssondbee9a52009-06-01 00:05:16 +0000344 NewNull = createBasicBlock("new.null");
345 NewNotNull = createBasicBlock("new.notnull");
346 NewEnd = createBasicBlock("new.end");
347
348 llvm::Value *IsNull =
349 Builder.CreateICmpEQ(NewPtr,
Owen Andersonf37b84b2009-07-31 20:28:54 +0000350 llvm::Constant::getNullValue(NewPtr->getType()),
Anders Carlssondbee9a52009-06-01 00:05:16 +0000351 "isnull");
352
353 Builder.CreateCondBr(IsNull, NewNull, NewNotNull);
354 EmitBlock(NewNotNull);
Anders Carlsson11269042009-05-31 21:53:59 +0000355 }
356
Anders Carlssondbee9a52009-06-01 00:05:16 +0000357 NewPtr = Builder.CreateBitCast(NewPtr, ConvertType(E->getType()));
Anders Carlsson11269042009-05-31 21:53:59 +0000358
Anders Carlsson7c294782009-05-31 20:56:36 +0000359 if (AllocType->isPODType()) {
Anders Carlsson26910f62009-06-01 00:26:14 +0000360 if (E->getNumConstructorArgs() > 0) {
Anders Carlsson7c294782009-05-31 20:56:36 +0000361 assert(E->getNumConstructorArgs() == 1 &&
362 "Can only have one argument to initializer of POD type.");
363
364 const Expr *Init = E->getConstructorArg(0);
365
Anders Carlsson5f93ccf2009-05-31 21:07:58 +0000366 if (!hasAggregateLLVMType(AllocType))
Anders Carlsson7c294782009-05-31 20:56:36 +0000367 Builder.CreateStore(EmitScalarExpr(Init), NewPtr);
Anders Carlsson5f93ccf2009-05-31 21:07:58 +0000368 else if (AllocType->isAnyComplexType())
369 EmitComplexExprIntoAddr(Init, NewPtr, AllocType.isVolatileQualified());
Anders Carlssoneb39b432009-05-31 21:12:26 +0000370 else
371 EmitAggExpr(Init, NewPtr, AllocType.isVolatileQualified());
Anders Carlsson7c294782009-05-31 20:56:36 +0000372 }
Anders Carlsson11269042009-05-31 21:53:59 +0000373 } else {
374 // Call the constructor.
375 CXXConstructorDecl *Ctor = E->getConstructor();
Anders Carlsson7c294782009-05-31 20:56:36 +0000376
Anders Carlsson11269042009-05-31 21:53:59 +0000377 EmitCXXConstructorCall(Ctor, Ctor_Complete, NewPtr,
378 E->constructor_arg_begin(),
379 E->constructor_arg_end());
Anders Carlssond5536972009-05-31 20:21:44 +0000380 }
Anders Carlsson11269042009-05-31 21:53:59 +0000381
Anders Carlssondbee9a52009-06-01 00:05:16 +0000382 if (NullCheckResult) {
383 Builder.CreateBr(NewEnd);
384 EmitBlock(NewNull);
385 Builder.CreateBr(NewEnd);
386 EmitBlock(NewEnd);
387
388 llvm::PHINode *PHI = Builder.CreatePHI(NewPtr->getType());
389 PHI->reserveOperandSpace(2);
390 PHI->addIncoming(NewPtr, NewNotNull);
Owen Andersonf37b84b2009-07-31 20:28:54 +0000391 PHI->addIncoming(llvm::Constant::getNullValue(NewPtr->getType()), NewNull);
Anders Carlssondbee9a52009-06-01 00:05:16 +0000392
393 NewPtr = PHI;
394 }
395
Anders Carlsson11269042009-05-31 21:53:59 +0000396 return NewPtr;
Anders Carlsson18e88bc2009-05-31 01:40:14 +0000397}
398
Anders Carlsson4811c302009-04-17 01:58:57 +0000399static bool canGenerateCXXstructor(const CXXRecordDecl *RD,
400 ASTContext &Context) {
Anders Carlsson8496c692009-04-15 21:02:13 +0000401 // The class has base classes - we don't support that right now.
402 if (RD->getNumBases() > 0)
403 return false;
404
Argiris Kirtzidisab6e38a2009-06-30 02:36:12 +0000405 for (CXXRecordDecl::field_iterator I = RD->field_begin(), E = RD->field_end();
406 I != E; ++I) {
Anders Carlsson8496c692009-04-15 21:02:13 +0000407 // We don't support ctors for fields that aren't POD.
408 if (!I->getType()->isPODType())
409 return false;
410 }
411
412 return true;
413}
414
Anders Carlsson652951a2009-04-15 15:55:24 +0000415void CodeGenModule::EmitCXXConstructors(const CXXConstructorDecl *D) {
Anders Carlsson4811c302009-04-17 01:58:57 +0000416 if (!canGenerateCXXstructor(D->getParent(), getContext())) {
Anders Carlsson8496c692009-04-15 21:02:13 +0000417 ErrorUnsupported(D, "C++ constructor", true);
418 return;
419 }
Anders Carlsson652951a2009-04-15 15:55:24 +0000420
Anders Carlsson1764af42009-05-05 04:44:02 +0000421 EmitGlobal(GlobalDecl(D, Ctor_Complete));
422 EmitGlobal(GlobalDecl(D, Ctor_Base));
Anders Carlsson652951a2009-04-15 15:55:24 +0000423}
Anders Carlsson890a9fd2009-04-16 23:57:24 +0000424
Anders Carlsson4811c302009-04-17 01:58:57 +0000425void CodeGenModule::EmitCXXConstructor(const CXXConstructorDecl *D,
426 CXXCtorType Type) {
427
428 llvm::Function *Fn = GetAddrOfCXXConstructor(D, Type);
429
430 CodeGenFunction(*this).GenerateCode(D, Fn);
431
432 SetFunctionDefinitionAttributes(D, Fn);
433 SetLLVMFunctionAttributesForDefinition(D, Fn);
434}
435
Anders Carlsson890a9fd2009-04-16 23:57:24 +0000436llvm::Function *
437CodeGenModule::GetAddrOfCXXConstructor(const CXXConstructorDecl *D,
438 CXXCtorType Type) {
439 const llvm::FunctionType *FTy =
440 getTypes().GetFunctionType(getTypes().getFunctionInfo(D), false);
441
442 const char *Name = getMangledCXXCtorName(D, Type);
Chris Lattner80f39cc2009-05-12 21:21:08 +0000443 return cast<llvm::Function>(
444 GetOrCreateLLVMFunction(Name, FTy, GlobalDecl(D, Type)));
Anders Carlsson890a9fd2009-04-16 23:57:24 +0000445}
Anders Carlsson4811c302009-04-17 01:58:57 +0000446
447const char *CodeGenModule::getMangledCXXCtorName(const CXXConstructorDecl *D,
448 CXXCtorType Type) {
449 llvm::SmallString<256> Name;
450 llvm::raw_svector_ostream Out(Name);
451 mangleCXXCtor(D, Type, Context, Out);
452
453 Name += '\0';
454 return UniqueMangledName(Name.begin(), Name.end());
455}
456
457void CodeGenModule::EmitCXXDestructors(const CXXDestructorDecl *D) {
458 if (!canGenerateCXXstructor(D->getParent(), getContext())) {
459 ErrorUnsupported(D, "C++ destructor", true);
460 return;
461 }
462
463 EmitCXXDestructor(D, Dtor_Complete);
464 EmitCXXDestructor(D, Dtor_Base);
465}
466
467void CodeGenModule::EmitCXXDestructor(const CXXDestructorDecl *D,
468 CXXDtorType Type) {
469 llvm::Function *Fn = GetAddrOfCXXDestructor(D, Type);
470
471 CodeGenFunction(*this).GenerateCode(D, Fn);
472
473 SetFunctionDefinitionAttributes(D, Fn);
474 SetLLVMFunctionAttributesForDefinition(D, Fn);
475}
476
477llvm::Function *
478CodeGenModule::GetAddrOfCXXDestructor(const CXXDestructorDecl *D,
479 CXXDtorType Type) {
480 const llvm::FunctionType *FTy =
481 getTypes().GetFunctionType(getTypes().getFunctionInfo(D), false);
482
483 const char *Name = getMangledCXXDtorName(D, Type);
Chris Lattner80f39cc2009-05-12 21:21:08 +0000484 return cast<llvm::Function>(
485 GetOrCreateLLVMFunction(Name, FTy, GlobalDecl(D, Type)));
Anders Carlsson4811c302009-04-17 01:58:57 +0000486}
487
488const char *CodeGenModule::getMangledCXXDtorName(const CXXDestructorDecl *D,
489 CXXDtorType Type) {
490 llvm::SmallString<256> Name;
491 llvm::raw_svector_ostream Out(Name);
492 mangleCXXDtor(D, Type, Context, Out);
493
494 Name += '\0';
495 return UniqueMangledName(Name.begin(), Name.end());
496}
Fariborz Jahanian5400e022009-07-20 23:18:55 +0000497
Mike Stump00df7d32009-07-31 23:15:31 +0000498llvm::Constant *CodeGenFunction::GenerateRtti(const CXXRecordDecl *RD) {
499 llvm::Type *Ptr8Ty;
500 Ptr8Ty = llvm::PointerType::get(llvm::Type::Int8Ty, 0);
Mike Stump69a12322009-08-04 20:06:48 +0000501 llvm::Constant *Rtti = llvm::Constant::getNullValue(Ptr8Ty);
Mike Stump00df7d32009-07-31 23:15:31 +0000502
503 if (!getContext().getLangOptions().Rtti)
Mike Stump69a12322009-08-04 20:06:48 +0000504 return Rtti;
Mike Stump00df7d32009-07-31 23:15:31 +0000505
506 llvm::SmallString<256> OutName;
507 llvm::raw_svector_ostream Out(OutName);
508 QualType ClassTy;
Mike Stumpe7545622009-08-07 18:05:12 +0000509 ClassTy = getContext().getTagDeclType(RD);
Mike Stump00df7d32009-07-31 23:15:31 +0000510 mangleCXXRtti(ClassTy, getContext(), Out);
511 const char *Name = OutName.c_str();
512 llvm::GlobalVariable::LinkageTypes linktype;
513 linktype = llvm::GlobalValue::WeakAnyLinkage;
514 std::vector<llvm::Constant *> info;
Mike Stump71e21302009-08-06 21:49:36 +0000515 // assert (0 && "FIXME: implement rtti descriptor");
Mike Stump00df7d32009-07-31 23:15:31 +0000516 // FIXME: descriptor
517 info.push_back(llvm::Constant::getNullValue(Ptr8Ty));
Mike Stump71e21302009-08-06 21:49:36 +0000518 // assert (0 && "FIXME: implement rtti ts");
Mike Stump00df7d32009-07-31 23:15:31 +0000519 // FIXME: TS
520 info.push_back(llvm::Constant::getNullValue(Ptr8Ty));
521
522 llvm::Constant *C;
523 llvm::ArrayType *type = llvm::ArrayType::get(Ptr8Ty, info.size());
524 C = llvm::ConstantArray::get(type, info);
Mike Stump69a12322009-08-04 20:06:48 +0000525 Rtti = new llvm::GlobalVariable(CGM.getModule(), type, true, linktype, C,
Mike Stump00df7d32009-07-31 23:15:31 +0000526 Name);
Mike Stump69a12322009-08-04 20:06:48 +0000527 Rtti = llvm::ConstantExpr::getBitCast(Rtti, Ptr8Ty);
528 return Rtti;
Mike Stump00df7d32009-07-31 23:15:31 +0000529}
530
Mike Stumpd6f22d82009-08-06 15:50:11 +0000531void CodeGenFunction::GenerateVtableForBase(const CXXRecordDecl *RD,
Mike Stump71e21302009-08-06 21:49:36 +0000532 const CXXRecordDecl *Class,
533 llvm::Constant *rtti,
534 std::vector<llvm::Constant *> &methods,
Mike Stump96599e22009-08-06 23:48:32 +0000535 bool isPrimary,
536 bool ForVirtualBase) {
Mike Stumpd6f22d82009-08-06 15:50:11 +0000537 typedef CXXRecordDecl::method_iterator meth_iter;
538 llvm::Type *Ptr8Ty;
539 Ptr8Ty = llvm::PointerType::get(llvm::Type::Int8Ty, 0);
Mike Stump71e21302009-08-06 21:49:36 +0000540 llvm::Constant *m = llvm::Constant::getNullValue(Ptr8Ty);
541
542 if (RD && !RD->isDynamicClass())
543 return;
Mike Stump96599e22009-08-06 23:48:32 +0000544
545 if (RD && ForVirtualBase)
546 for (meth_iter mi = RD->method_begin(), me = RD->method_end(); mi != me;
547 ++mi) {
548 if (mi->isVirtual()) {
549 // FIXME: vcall: offset for virtual base for this function
550 m = llvm::Constant::getNullValue(Ptr8Ty);
551 methods.push_back(m);
552 }
553 }
554 if (isPrimary && ForVirtualBase)
555 for (meth_iter mi = Class->method_begin(),
556 me = Class->method_end(); mi != me; ++mi) {
557 if (mi->isVirtual()) {
558 // FIXME: vcall: offset for virtual base for this function
559 m = llvm::Constant::getNullValue(Ptr8Ty);
560 methods.push_back(m);
561 }
562 }
563
Mike Stump71e21302009-08-06 21:49:36 +0000564 if (RD) {
565 const ASTRecordLayout &Layout = getContext().getASTRecordLayout(Class);
566 int64_t BaseOffset = -(Layout.getBaseClassOffset(RD) / 8);
567 m = llvm::ConstantInt::get(llvm::Type::Int64Ty, BaseOffset);
568 m = llvm::ConstantExpr::getIntToPtr(m, Ptr8Ty);
569 }
570 methods.push_back(m);
571 methods.push_back(rtti);
572
573 if (RD)
574 for (meth_iter mi = RD->method_begin(), me = RD->method_end(); mi != me;
575 ++mi) {
576 if (mi->isVirtual()) {
577 m = CGM.GetAddrOfFunction(GlobalDecl(*mi));
578 m = llvm::ConstantExpr::getBitCast(m, Ptr8Ty);
579 methods.push_back(m);
580 }
581 }
582 if (!isPrimary)
583 return;
584
585 // And add the virtuals for the class to the primary vtable.
Mike Stump96599e22009-08-06 23:48:32 +0000586 for (meth_iter mi = Class->method_begin(), me = Class->method_end(); mi != me;
Mike Stumpd6f22d82009-08-06 15:50:11 +0000587 ++mi) {
588 if (mi->isVirtual()) {
Mike Stumpd6f22d82009-08-06 15:50:11 +0000589 m = CGM.GetAddrOfFunction(GlobalDecl(*mi));
590 m = llvm::ConstantExpr::getBitCast(m, Ptr8Ty);
591 methods.push_back(m);
592 }
593 }
594}
595
Mike Stump7e8c9932009-07-31 18:25:34 +0000596llvm::Value *CodeGenFunction::GenerateVtable(const CXXRecordDecl *RD) {
Mike Stump7e8c9932009-07-31 18:25:34 +0000597 llvm::SmallString<256> OutName;
598 llvm::raw_svector_ostream Out(OutName);
599 QualType ClassTy;
Mike Stumpe7545622009-08-07 18:05:12 +0000600 ClassTy = getContext().getTagDeclType(RD);
Mike Stump7e8c9932009-07-31 18:25:34 +0000601 mangleCXXVtable(ClassTy, getContext(), Out);
602 const char *Name = OutName.c_str();
Mike Stumpd0672782009-07-31 21:43:43 +0000603 llvm::GlobalVariable::LinkageTypes linktype;
604 linktype = llvm::GlobalValue::WeakAnyLinkage;
605 std::vector<llvm::Constant *> methods;
Mike Stump7e8c9932009-07-31 18:25:34 +0000606 typedef CXXRecordDecl::method_iterator meth_iter;
Mike Stump7e8c9932009-07-31 18:25:34 +0000607 llvm::Type *Ptr8Ty;
608 Ptr8Ty = llvm::PointerType::get(llvm::Type::Int8Ty, 0);
Mike Stump8b82eeb2009-08-05 22:37:18 +0000609 int64_t Offset = 0;
Mike Stump71e21302009-08-06 21:49:36 +0000610 llvm::Constant *rtti = GenerateRtti(RD);
611
612 Offset += LLVMPointerWidth;
613 Offset += LLVMPointerWidth;
Mike Stump8b82eeb2009-08-05 22:37:18 +0000614
615 const ASTRecordLayout &Layout = getContext().getASTRecordLayout(RD);
616 const CXXRecordDecl *PrimaryBase = Layout.getPrimaryBase();
Mike Stump030dbfb2009-08-07 20:14:05 +0000617 const bool PrimaryBaseWasVirtual = Layout.getPrimaryBaseWasVirtual();
Mike Stumpf3371782009-08-04 21:58:42 +0000618
Mike Stump23658f32009-08-07 21:54:03 +0000619 // The virtual base offsets come first.
620 for (CXXRecordDecl::reverse_base_class_const_iterator i = RD->vbases_rbegin(),
621 e = RD->vbases_rend(); i != e; ++i) {
622 const CXXRecordDecl *Base =
623 cast<CXXRecordDecl>(i->getType()->getAs<RecordType>()->getDecl());
624 int64_t BaseOffset = Layout.getBaseClassOffset(Base) / 8;
625 llvm::Constant *m;
626 m = llvm::ConstantInt::get(llvm::Type::Int64Ty, BaseOffset);
627 m = llvm::ConstantExpr::getIntToPtr(m, Ptr8Ty);
628 methods.push_back(m);
629 }
630
Mike Stump25cbad02009-08-06 18:05:22 +0000631 // The primary base comes first.
Mike Stumpbea9cc82009-08-07 19:00:50 +0000632 GenerateVtableForBase(PrimaryBase, RD, rtti, methods, true,
633 PrimaryBaseWasVirtual);
Mike Stumpf3371782009-08-04 21:58:42 +0000634 for (CXXRecordDecl::base_class_const_iterator i = RD->bases_begin(),
635 e = RD->bases_end(); i != e; ++i) {
636 if (i->isVirtual())
637 continue;
638 const CXXRecordDecl *Base =
639 cast<CXXRecordDecl>(i->getType()->getAs<RecordType>()->getDecl());
Mike Stump8b82eeb2009-08-05 22:37:18 +0000640 if (PrimaryBase != Base) {
Mike Stump71e21302009-08-06 21:49:36 +0000641 GenerateVtableForBase(Base, RD, rtti, methods);
Mike Stump8b82eeb2009-08-05 22:37:18 +0000642 }
643 }
Mike Stump25cbad02009-08-06 18:05:22 +0000644
Mike Stumpd6f22d82009-08-06 15:50:11 +0000645 // FIXME: finish layout for virtual bases
646 // FIXME: audit indirect virtual bases
647 for (CXXRecordDecl::base_class_const_iterator i = RD->vbases_begin(),
648 e = RD->vbases_end(); i != e; ++i) {
649 const CXXRecordDecl *Base =
650 cast<CXXRecordDecl>(i->getType()->getAs<RecordType>()->getDecl());
651 if (Base != PrimaryBase)
Mike Stump96599e22009-08-06 23:48:32 +0000652 GenerateVtableForBase(Base, RD, rtti, methods, false, true);
Mike Stumpd6f22d82009-08-06 15:50:11 +0000653 }
Mike Stumpf3371782009-08-04 21:58:42 +0000654
Mike Stumpd0672782009-07-31 21:43:43 +0000655 llvm::Constant *C;
656 llvm::ArrayType *type = llvm::ArrayType::get(Ptr8Ty, methods.size());
657 C = llvm::ConstantArray::get(type, methods);
658 llvm::Value *vtable = new llvm::GlobalVariable(CGM.getModule(), type, true,
659 linktype, C, Name);
Mike Stump7e8c9932009-07-31 18:25:34 +0000660 vtable = Builder.CreateBitCast(vtable, Ptr8Ty);
Mike Stump7e8c9932009-07-31 18:25:34 +0000661 vtable = Builder.CreateGEP(vtable,
662 llvm::ConstantInt::get(llvm::Type::Int64Ty,
Mike Stump8b82eeb2009-08-05 22:37:18 +0000663 Offset/8));
Mike Stump7e8c9932009-07-31 18:25:34 +0000664 return vtable;
665}
666
Fariborz Jahanianfc27d292009-08-07 23:51:33 +0000667/// EmitClassMemberwiseCopy - This routine generates code to copy a class
668/// object from SrcValue to DestValue. Copying can be either a bitwise copy
669/// of via a copy constructor call.
670void CodeGenFunction::EmitClassMemberwiseCopy(
671 llvm::Value *DestValue, llvm::Value *SrcValue,
672 const CXXRecordDecl *ClassDecl,
673 const CXXRecordDecl *BaseClassDecl) {
674 // FIXME. Do bitwise copy of trivial copy constructors.
675 if (BaseClassDecl->hasTrivialCopyConstructor())
676 return;
Fariborz Jahanianfc27d292009-08-07 23:51:33 +0000677 if (CXXConstructorDecl *BaseCopyCtor =
Fariborz Jahanianfbe08772009-08-08 00:59:58 +0000678 BaseClassDecl->getCopyConstructor(getContext(), 0)) {
Fariborz Jahanianfc27d292009-08-07 23:51:33 +0000679 llvm::Value *Callee = CGM.GetAddrOfCXXConstructor(BaseCopyCtor,
680 Ctor_Complete);
681
Fariborz Jahanian5e778e32009-08-08 00:15:41 +0000682 llvm::Value *Dest = ClassDecl ?
683 AddressCXXOfBaseClass(DestValue, ClassDecl, BaseClassDecl) : DestValue;
Fariborz Jahanianfc27d292009-08-07 23:51:33 +0000684
685 CallArgList CallArgs;
686 // Push the this (Dest) ptr.
687 CallArgs.push_back(std::make_pair(RValue::get(Dest),
688 BaseCopyCtor->getThisType(getContext())));
689
Fariborz Jahanian5e778e32009-08-08 00:15:41 +0000690 llvm::Value *Src = ClassDecl ?
691 AddressCXXOfBaseClass(SrcValue, ClassDecl, BaseClassDecl) : SrcValue;
Fariborz Jahanianfc27d292009-08-07 23:51:33 +0000692 // Push the Src ptr.
693 CallArgs.push_back(std::make_pair(RValue::get(Src),
694 BaseCopyCtor->getThisType(getContext())));
695 QualType ResultType =
696 BaseCopyCtor->getType()->getAsFunctionType()->getResultType();
697 EmitCall(CGM.getTypes().getFunctionInfo(ResultType, CallArgs),
698 Callee, CallArgs, BaseCopyCtor);
699 }
700}
701
Fariborz Jahanianab840aa2009-08-08 19:31:03 +0000702/// SynthesizeCXXCopyConstructor - This routine implicitly defines body of a copy
Fariborz Jahanian5e050b82009-08-07 20:22:40 +0000703/// constructor, in accordance with section 12.8 (p7 and p8) of C++03
704/// The implicitly-defined copy constructor for class X performs a memberwise
705/// copy of its subobjects. The order of copying is the same as the order
706/// of initialization of bases and members in a user-defined constructor
707/// Each subobject is copied in the manner appropriate to its type:
708/// if the subobject is of class type, the copy constructor for the class is
709/// used;
710/// if the subobject is an array, each element is copied, in the manner
711/// appropriate to the element type;
712/// if the subobject is of scalar type, the built-in assignment operator is
713/// used.
714/// Virtual base class subobjects shall be copied only once by the
715/// implicitly-defined copy constructor
716
Fariborz Jahanianab840aa2009-08-08 19:31:03 +0000717void CodeGenFunction::SynthesizeCXXCopyConstructor(const CXXConstructorDecl *CD,
718 const FunctionDecl *FD,
719 llvm::Function *Fn,
Fariborz Jahanianfc27d292009-08-07 23:51:33 +0000720 const FunctionArgList &Args) {
Fariborz Jahanian5e050b82009-08-07 20:22:40 +0000721 const CXXRecordDecl *ClassDecl = cast<CXXRecordDecl>(CD->getDeclContext());
722 assert(!ClassDecl->hasUserDeclaredCopyConstructor() &&
Fariborz Jahanianab840aa2009-08-08 19:31:03 +0000723 "SynthesizeCXXCopyConstructor - copy constructor has definition already");
724 StartFunction(FD, FD->getResultType(), Fn, Args, SourceLocation());
Fariborz Jahanian5e050b82009-08-07 20:22:40 +0000725
Fariborz Jahanian5e778e32009-08-08 00:15:41 +0000726 FunctionArgList::const_iterator i = Args.begin();
727 const VarDecl *ThisArg = i->first;
728 llvm::Value *ThisObj = GetAddrOfLocalVar(ThisArg);
729 llvm::Value *LoadOfThis = Builder.CreateLoad(ThisObj, "this");
730 const VarDecl *SrcArg = (i+1)->first;
731 llvm::Value *SrcObj = GetAddrOfLocalVar(SrcArg);
732 llvm::Value *LoadOfSrc = Builder.CreateLoad(SrcObj);
733
Fariborz Jahanian5e050b82009-08-07 20:22:40 +0000734 for (CXXRecordDecl::base_class_const_iterator Base = ClassDecl->bases_begin();
735 Base != ClassDecl->bases_end(); ++Base) {
736 // FIXME. copy constrution of virtual base NYI
737 if (Base->isVirtual())
738 continue;
Fariborz Jahanianfc27d292009-08-07 23:51:33 +0000739
Fariborz Jahanian5e050b82009-08-07 20:22:40 +0000740 CXXRecordDecl *BaseClassDecl
741 = cast<CXXRecordDecl>(Base->getType()->getAs<RecordType>()->getDecl());
Fariborz Jahanianfc27d292009-08-07 23:51:33 +0000742 EmitClassMemberwiseCopy(LoadOfThis, LoadOfSrc, ClassDecl, BaseClassDecl);
Fariborz Jahanian5e050b82009-08-07 20:22:40 +0000743 }
744
Fariborz Jahanian5e778e32009-08-08 00:15:41 +0000745 for (CXXRecordDecl::field_iterator Field = ClassDecl->field_begin(),
746 FieldEnd = ClassDecl->field_end();
747 Field != FieldEnd; ++Field) {
748 QualType FieldType = getContext().getCanonicalType((*Field)->getType());
749
750 // FIXME. How about copying arrays!
751 assert(!getContext().getAsArrayType(FieldType) &&
752 "FIXME. Copying arrays NYI");
753
754 if (const RecordType *FieldClassType = FieldType->getAs<RecordType>()) {
755 CXXRecordDecl *FieldClassDecl
756 = cast<CXXRecordDecl>(FieldClassType->getDecl());
757 LValue LHS = EmitLValueForField(LoadOfThis, *Field, false, 0);
758 LValue RHS = EmitLValueForField(LoadOfSrc, *Field, false, 0);
759 EmitClassMemberwiseCopy(LHS.getAddress(), RHS.getAddress(),
760 0 /*ClassDecl*/, FieldClassDecl);
761 continue;
762 }
763 // FIXME. Do a built-in assignment of scalar data members.
764 }
Fariborz Jahanianab840aa2009-08-08 19:31:03 +0000765 FinishFunction();
Fariborz Jahanian5e050b82009-08-07 20:22:40 +0000766}
767
768
Fariborz Jahanian5400e022009-07-20 23:18:55 +0000769/// EmitCtorPrologue - This routine generates necessary code to initialize
770/// base classes and non-static data members belonging to this constructor.
771void CodeGenFunction::EmitCtorPrologue(const CXXConstructorDecl *CD) {
Fariborz Jahaniana0107de2009-07-25 21:12:28 +0000772 const CXXRecordDecl *ClassDecl = cast<CXXRecordDecl>(CD->getDeclContext());
Mike Stump05207212009-08-06 13:41:24 +0000773 // FIXME: Add vbase initialization
Mike Stump7e8c9932009-07-31 18:25:34 +0000774 llvm::Value *LoadOfThis = 0;
Fariborz Jahanian70277012009-07-28 18:09:28 +0000775
Fariborz Jahaniana0107de2009-07-25 21:12:28 +0000776 for (CXXConstructorDecl::init_const_iterator B = CD->init_begin(),
Fariborz Jahanian5400e022009-07-20 23:18:55 +0000777 E = CD->init_end();
778 B != E; ++B) {
779 CXXBaseOrMemberInitializer *Member = (*B);
780 if (Member->isBaseInitializer()) {
Mike Stump7e8c9932009-07-31 18:25:34 +0000781 LoadOfThis = LoadCXXThis();
Fariborz Jahanian70277012009-07-28 18:09:28 +0000782 Type *BaseType = Member->getBaseClass();
783 CXXRecordDecl *BaseClassDecl =
Ted Kremenekd00cd9e2009-07-29 21:53:49 +0000784 cast<CXXRecordDecl>(BaseType->getAs<RecordType>()->getDecl());
Fariborz Jahanian70277012009-07-28 18:09:28 +0000785 llvm::Value *V = AddressCXXOfBaseClass(LoadOfThis, ClassDecl,
786 BaseClassDecl);
Fariborz Jahaniana0107de2009-07-25 21:12:28 +0000787 EmitCXXConstructorCall(Member->getConstructor(),
788 Ctor_Complete, V,
789 Member->const_arg_begin(),
790 Member->const_arg_end());
Mike Stump487ce382009-07-30 22:28:39 +0000791 } else {
Fariborz Jahanian5400e022009-07-20 23:18:55 +0000792 // non-static data member initilaizers.
793 FieldDecl *Field = Member->getMember();
794 QualType FieldType = getContext().getCanonicalType((Field)->getType());
795 assert(!getContext().getAsArrayType(FieldType)
796 && "FIXME. Field arrays initialization unsupported");
Fariborz Jahanian56baceb2009-07-24 17:57:02 +0000797
Mike Stump7e8c9932009-07-31 18:25:34 +0000798 LoadOfThis = LoadCXXThis();
Fariborz Jahanian5400e022009-07-20 23:18:55 +0000799 LValue LHS = EmitLValueForField(LoadOfThis, Field, false, 0);
Ted Kremenekd00cd9e2009-07-29 21:53:49 +0000800 if (FieldType->getAs<RecordType>()) {
Fariborz Jahanian56baceb2009-07-24 17:57:02 +0000801
802 assert(Member->getConstructor() &&
803 "EmitCtorPrologue - no constructor to initialize member");
804 EmitCXXConstructorCall(Member->getConstructor(),
805 Ctor_Complete, LHS.getAddress(),
806 Member->const_arg_begin(),
807 Member->const_arg_end());
808 continue;
809 }
Fariborz Jahanian5400e022009-07-20 23:18:55 +0000810
811 assert(Member->getNumArgs() == 1 && "Initializer count must be 1 only");
Fariborz Jahanian56baceb2009-07-24 17:57:02 +0000812 Expr *RhsExpr = *Member->arg_begin();
Fariborz Jahanian5400e022009-07-20 23:18:55 +0000813 llvm::Value *RHS = EmitScalarExpr(RhsExpr, true);
814 if (LHS.isBitfield())
815 EmitStoreThroughBitfieldLValue(RValue::get(RHS), LHS, FieldType, 0);
816 else
817 EmitStoreThroughLValue(RValue::get(RHS), LHS, FieldType);
818 }
819 }
Mike Stump7e8c9932009-07-31 18:25:34 +0000820
821 // Initialize the vtable pointer
Mike Stumpeec46a72009-08-05 22:59:44 +0000822 if (ClassDecl->isDynamicClass()) {
Mike Stump7e8c9932009-07-31 18:25:34 +0000823 if (!LoadOfThis)
824 LoadOfThis = LoadCXXThis();
825 llvm::Value *VtableField;
826 llvm::Type *Ptr8Ty, *PtrPtr8Ty;
827 Ptr8Ty = llvm::PointerType::get(llvm::Type::Int8Ty, 0);
828 PtrPtr8Ty = llvm::PointerType::get(Ptr8Ty, 0);
829 VtableField = Builder.CreateBitCast(LoadOfThis, PtrPtr8Ty);
830 llvm::Value *vtable = GenerateVtable(ClassDecl);
831 Builder.CreateStore(vtable, VtableField);
832 }
Fariborz Jahanian5400e022009-07-20 23:18:55 +0000833}
Fariborz Jahanian36a0ec02009-07-30 17:49:11 +0000834
835/// EmitDtorEpilogue - Emit all code that comes at the end of class's
836/// destructor. This is to call destructors on members and base classes
837/// in reverse order of their construction.
838void CodeGenFunction::EmitDtorEpilogue(const CXXDestructorDecl *DD) {
839 const CXXRecordDecl *ClassDecl = cast<CXXRecordDecl>(DD->getDeclContext());
840 assert(!ClassDecl->isPolymorphic() &&
841 "FIXME. polymorphic destruction not supported");
842 (void)ClassDecl; // prevent warning.
843
844 for (CXXDestructorDecl::destr_const_iterator *B = DD->destr_begin(),
845 *E = DD->destr_end(); B != E; ++B) {
846 uintptr_t BaseOrMember = (*B);
847 if (DD->isMemberToDestroy(BaseOrMember)) {
848 FieldDecl *FD = DD->getMemberToDestroy(BaseOrMember);
849 QualType FieldType = getContext().getCanonicalType((FD)->getType());
850 assert(!getContext().getAsArrayType(FieldType)
851 && "FIXME. Field arrays destruction unsupported");
852 const RecordType *RT = FieldType->getAs<RecordType>();
853 CXXRecordDecl *FieldClassDecl = cast<CXXRecordDecl>(RT->getDecl());
854 if (FieldClassDecl->hasTrivialDestructor())
855 continue;
856 llvm::Value *LoadOfThis = LoadCXXThis();
857 LValue LHS = EmitLValueForField(LoadOfThis, FD, false, 0);
858 EmitCXXDestructorCall(FieldClassDecl->getDestructor(getContext()),
859 Dtor_Complete, LHS.getAddress());
Mike Stump487ce382009-07-30 22:28:39 +0000860 } else {
Fariborz Jahanian36a0ec02009-07-30 17:49:11 +0000861 const RecordType *RT =
862 DD->getAnyBaseClassToDestroy(BaseOrMember)->getAs<RecordType>();
863 CXXRecordDecl *BaseClassDecl = cast<CXXRecordDecl>(RT->getDecl());
864 if (BaseClassDecl->hasTrivialDestructor())
865 continue;
866 llvm::Value *V = AddressCXXOfBaseClass(LoadCXXThis(),
867 ClassDecl,BaseClassDecl);
868 EmitCXXDestructorCall(BaseClassDecl->getDestructor(getContext()),
869 Dtor_Complete, V);
870 }
871 }
872}