blob: bed6785ef18e760b77f05bd4bafa25d781ae127c [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
Anders Carlssonf2a022a2009-08-08 21:45:14 +000029CodeGenFunction::EmitCXXGlobalDtorRegistration(const CXXDestructorDecl *Dtor,
30 llvm::Constant *DeclPtr) {
31 // FIXME: This is ABI dependent and we use the Itanium ABI.
32
33 const llvm::Type *Int8PtrTy =
34 llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
35
36 std::vector<const llvm::Type *> Params;
37 Params.push_back(Int8PtrTy);
38
39 // Get the destructor function type
40 const llvm::Type *DtorFnTy =
41 llvm::FunctionType::get(llvm::Type::VoidTy, Params, false);
42 DtorFnTy = llvm::PointerType::getUnqual(DtorFnTy);
43
44 Params.clear();
45 Params.push_back(DtorFnTy);
46 Params.push_back(Int8PtrTy);
47 Params.push_back(Int8PtrTy);
48
49 // Get the __cxa_atexit function type
50 // extern "C" int __cxa_atexit ( void (*f)(void *), void *p, void *d );
51 const llvm::FunctionType *AtExitFnTy =
52 llvm::FunctionType::get(ConvertType(getContext().IntTy), Params, false);
53
54 llvm::Constant *AtExitFn = CGM.CreateRuntimeFunction(AtExitFnTy,
55 "__cxa_atexit");
56
57 llvm::Constant *Handle = CGM.CreateRuntimeVariable(Int8PtrTy,
58 "__dso_handle");
59
60 llvm::Constant *DtorFn = CGM.GetAddrOfCXXDestructor(Dtor, Dtor_Complete);
61
62 llvm::Value *Args[3] = { llvm::ConstantExpr::getBitCast(DtorFn, DtorFnTy),
63 llvm::ConstantExpr::getBitCast(DeclPtr, Int8PtrTy),
64 llvm::ConstantExpr::getBitCast(Handle, Int8PtrTy) };
65 Builder.CreateCall(AtExitFn, &Args[0], llvm::array_endof(Args));
66}
67
68void CodeGenFunction::EmitCXXGlobalVarDeclInit(const VarDecl &D,
69 llvm::Constant *DeclPtr) {
70 assert(D.hasGlobalStorage() &&
71 "VarDecl must have global storage!");
72
73 const Expr *Init = D.getInit();
74 QualType T = D.getType();
75
76 if (T->isReferenceType()) {
77 ErrorUnsupported(Init, "Global variable that binds to a reference");
78 } else if (!hasAggregateLLVMType(T)) {
79 llvm::Value *V = EmitScalarExpr(Init);
80 EmitStoreOfScalar(V, DeclPtr, T.isVolatileQualified(), T);
81 } else if (T->isAnyComplexType()) {
82 EmitComplexExprIntoAddr(Init, DeclPtr, T.isVolatileQualified());
83 } else {
84 EmitAggExpr(Init, DeclPtr, T.isVolatileQualified());
85
86 if (const RecordType *RT = T->getAs<RecordType>()) {
87 CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl());
88 if (!RD->hasTrivialDestructor())
89 EmitCXXGlobalDtorRegistration(RD->getDestructor(getContext()), DeclPtr);
90 }
91 }
92}
93
94void
95CodeGenFunction::EmitStaticCXXBlockVarDeclInit(const VarDecl &D,
96 llvm::GlobalVariable *GV) {
Daniel Dunbardea59212009-02-25 19:24:29 +000097 // FIXME: This should use __cxa_guard_{acquire,release}?
98
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000099 assert(!getContext().getLangOptions().ThreadsafeStatics &&
100 "thread safe statics are currently not supported!");
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +0000101
Anders Carlsson33e65e52009-04-13 18:03:33 +0000102 llvm::SmallString<256> GuardVName;
103 llvm::raw_svector_ostream GuardVOut(GuardVName);
104 mangleGuardVariable(&D, getContext(), GuardVOut);
105
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +0000106 // Create the guard variable.
107 llvm::GlobalValue *GuardV =
Owen Anderson94148482009-07-08 19:05:04 +0000108 new llvm::GlobalVariable(CGM.getModule(), llvm::Type::Int64Ty, false,
Daniel Dunbardea59212009-02-25 19:24:29 +0000109 GV->getLinkage(),
Owen Andersonf37b84b2009-07-31 20:28:54 +0000110 llvm::Constant::getNullValue(llvm::Type::Int64Ty),
Owen Anderson94148482009-07-08 19:05:04 +0000111 GuardVName.c_str());
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +0000112
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +0000113 // Load the first byte of the guard variable.
Owen Anderson7ec2d8f2009-07-29 22:16:19 +0000114 const llvm::Type *PtrTy = llvm::PointerType::get(llvm::Type::Int8Ty, 0);
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +0000115 llvm::Value *V = Builder.CreateLoad(Builder.CreateBitCast(GuardV, PtrTy),
116 "tmp");
117
118 // Compare it against 0.
Owen Andersonf37b84b2009-07-31 20:28:54 +0000119 llvm::Value *nullValue = llvm::Constant::getNullValue(llvm::Type::Int8Ty);
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +0000120 llvm::Value *ICmp = Builder.CreateICmpEQ(V, nullValue , "tobool");
121
Daniel Dunbar72f96552008-11-11 02:29:29 +0000122 llvm::BasicBlock *InitBlock = createBasicBlock("init");
Daniel Dunbar6e3a10c2008-11-13 01:38:36 +0000123 llvm::BasicBlock *EndBlock = createBasicBlock("init.end");
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +0000124
125 // If the guard variable is 0, jump to the initializer code.
126 Builder.CreateCondBr(ICmp, InitBlock, EndBlock);
127
128 EmitBlock(InitBlock);
129
Anders Carlssonf2a022a2009-08-08 21:45:14 +0000130 EmitCXXGlobalVarDeclInit(D, GV);
131
Owen Andersonb17ec712009-07-24 23:12:58 +0000132 Builder.CreateStore(llvm::ConstantInt::get(llvm::Type::Int8Ty, 1),
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +0000133 Builder.CreateBitCast(GuardV, PtrTy));
134
135 EmitBlock(EndBlock);
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +0000136}
137
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000138RValue CodeGenFunction::EmitCXXMemberCall(const CXXMethodDecl *MD,
139 llvm::Value *Callee,
140 llvm::Value *This,
141 CallExpr::const_arg_iterator ArgBeg,
142 CallExpr::const_arg_iterator ArgEnd) {
143 assert(MD->isInstance() &&
144 "Trying to emit a member call expr on a static method!");
145
146 const FunctionProtoType *FPT = MD->getType()->getAsFunctionProtoType();
147
148 CallArgList Args;
149
150 // Push the this ptr.
151 Args.push_back(std::make_pair(RValue::get(This),
152 MD->getThisType(getContext())));
153
154 // And the rest of the call args
155 EmitCallArgs(Args, FPT, ArgBeg, ArgEnd);
156
157 QualType ResultType = MD->getType()->getAsFunctionType()->getResultType();
158 return EmitCall(CGM.getTypes().getFunctionInfo(ResultType, Args),
159 Callee, Args, MD);
160}
161
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000162RValue CodeGenFunction::EmitCXXMemberCallExpr(const CXXMemberCallExpr *CE) {
163 const MemberExpr *ME = cast<MemberExpr>(CE->getCallee());
164 const CXXMethodDecl *MD = cast<CXXMethodDecl>(ME->getMemberDecl());
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000165
Anders Carlssonc5223142009-04-08 20:31:57 +0000166 const FunctionProtoType *FPT = MD->getType()->getAsFunctionProtoType();
Mike Stumpc37c8812009-07-30 21:47:44 +0000167
Mike Stump7e8c9932009-07-31 18:25:34 +0000168 if (MD->isVirtual()) {
Mike Stumpc37c8812009-07-30 21:47:44 +0000169 ErrorUnsupported(CE, "virtual dispatch");
170 }
171
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000172 const llvm::Type *Ty =
Anders Carlssonc5223142009-04-08 20:31:57 +0000173 CGM.getTypes().GetFunctionType(CGM.getTypes().getFunctionInfo(MD),
174 FPT->isVariadic());
Chris Lattner80f39cc2009-05-12 21:21:08 +0000175 llvm::Constant *Callee = CGM.GetAddrOfFunction(GlobalDecl(MD), Ty);
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000176
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000177 llvm::Value *This;
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000178
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000179 if (ME->isArrow())
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000180 This = EmitScalarExpr(ME->getBase());
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000181 else {
182 LValue BaseLV = EmitLValue(ME->getBase());
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000183 This = BaseLV.getAddress();
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000184 }
185
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000186 return EmitCXXMemberCall(MD, Callee, This,
187 CE->arg_begin(), CE->arg_end());
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000188}
Anders Carlsson49d4a572009-04-14 16:58:56 +0000189
Anders Carlsson85eca6f2009-05-27 04:18:27 +0000190RValue
191CodeGenFunction::EmitCXXOperatorMemberCallExpr(const CXXOperatorCallExpr *E,
192 const CXXMethodDecl *MD) {
193 assert(MD->isInstance() &&
194 "Trying to emit a member call expr on a static method!");
195
196
197 const FunctionProtoType *FPT = MD->getType()->getAsFunctionProtoType();
198 const llvm::Type *Ty =
199 CGM.getTypes().GetFunctionType(CGM.getTypes().getFunctionInfo(MD),
200 FPT->isVariadic());
201 llvm::Constant *Callee = CGM.GetAddrOfFunction(GlobalDecl(MD), Ty);
202
203 llvm::Value *This = EmitLValue(E->getArg(0)).getAddress();
204
205 return EmitCXXMemberCall(MD, Callee, This,
206 E->arg_begin() + 1, E->arg_end());
207}
208
Anders Carlsson49d4a572009-04-14 16:58:56 +0000209llvm::Value *CodeGenFunction::LoadCXXThis() {
210 assert(isa<CXXMethodDecl>(CurFuncDecl) &&
211 "Must be in a C++ member function decl to load 'this'");
212 assert(cast<CXXMethodDecl>(CurFuncDecl)->isInstance() &&
213 "Must be in a C++ member function decl to load 'this'");
214
215 // FIXME: What if we're inside a block?
Mike Stumpba2cb0e2009-05-16 07:57:57 +0000216 // ans: See how CodeGenFunction::LoadObjCSelf() uses
217 // CodeGenFunction::BlockForwardSelf() for how to do this.
Anders Carlsson49d4a572009-04-14 16:58:56 +0000218 return Builder.CreateLoad(LocalDeclMap[CXXThisDecl], "this");
219}
Anders Carlsson652951a2009-04-15 15:55:24 +0000220
Fariborz Jahanian5fe7f472009-07-30 00:10:25 +0000221static bool
222GetNestedPaths(llvm::SmallVectorImpl<const CXXRecordDecl *> &NestedBasePaths,
223 const CXXRecordDecl *ClassDecl,
224 const CXXRecordDecl *BaseClassDecl) {
Fariborz Jahanian5fe7f472009-07-30 00:10:25 +0000225 for (CXXRecordDecl::base_class_const_iterator i = ClassDecl->bases_begin(),
226 e = ClassDecl->bases_end(); i != e; ++i) {
227 if (i->isVirtual())
228 continue;
229 const CXXRecordDecl *Base =
Mike Stumpf3371782009-08-04 21:58:42 +0000230 cast<CXXRecordDecl>(i->getType()->getAs<RecordType>()->getDecl());
Fariborz Jahanian5fe7f472009-07-30 00:10:25 +0000231 if (Base == BaseClassDecl) {
232 NestedBasePaths.push_back(BaseClassDecl);
233 return true;
234 }
235 }
236 // BaseClassDecl not an immediate base of ClassDecl.
237 for (CXXRecordDecl::base_class_const_iterator i = ClassDecl->bases_begin(),
238 e = ClassDecl->bases_end(); i != e; ++i) {
239 if (i->isVirtual())
240 continue;
241 const CXXRecordDecl *Base =
242 cast<CXXRecordDecl>(i->getType()->getAs<RecordType>()->getDecl());
243 if (GetNestedPaths(NestedBasePaths, Base, BaseClassDecl)) {
244 NestedBasePaths.push_back(Base);
245 return true;
246 }
247 }
248 return false;
249}
250
Fariborz Jahaniand3f67282009-07-28 17:38:28 +0000251llvm::Value *CodeGenFunction::AddressCXXOfBaseClass(llvm::Value *BaseValue,
Fariborz Jahanian70277012009-07-28 18:09:28 +0000252 const CXXRecordDecl *ClassDecl,
253 const CXXRecordDecl *BaseClassDecl) {
Fariborz Jahaniand3f67282009-07-28 17:38:28 +0000254 if (ClassDecl == BaseClassDecl)
255 return BaseValue;
256
Fariborz Jahanian5fe7f472009-07-30 00:10:25 +0000257 llvm::Type *I8Ptr = llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
258 llvm::SmallVector<const CXXRecordDecl *, 16> NestedBasePaths;
259 GetNestedPaths(NestedBasePaths, ClassDecl, BaseClassDecl);
260 assert(NestedBasePaths.size() > 0 &&
261 "AddressCXXOfBaseClass - inheritence path failed");
262 NestedBasePaths.push_back(ClassDecl);
263 uint64_t Offset = 0;
264
Fariborz Jahaniand3f67282009-07-28 17:38:28 +0000265 // Accessing a member of the base class. Must add delata to
266 // the load of 'this'.
Fariborz Jahanian5fe7f472009-07-30 00:10:25 +0000267 for (unsigned i = NestedBasePaths.size()-1; i > 0; i--) {
268 const CXXRecordDecl *DerivedClass = NestedBasePaths[i];
269 const CXXRecordDecl *BaseClass = NestedBasePaths[i-1];
270 const ASTRecordLayout &Layout =
271 getContext().getASTRecordLayout(DerivedClass);
272 Offset += Layout.getBaseClassOffset(BaseClass) / 8;
273 }
Fariborz Jahanian83a46ed2009-07-29 15:54:56 +0000274 llvm::Value *OffsetVal =
275 llvm::ConstantInt::get(
276 CGM.getTypes().ConvertType(CGM.getContext().LongTy), Offset);
Fariborz Jahaniand3f67282009-07-28 17:38:28 +0000277 BaseValue = Builder.CreateBitCast(BaseValue, I8Ptr);
278 BaseValue = Builder.CreateGEP(BaseValue, OffsetVal, "add.ptr");
279 QualType BTy =
280 getContext().getCanonicalType(
Fariborz Jahanian70277012009-07-28 18:09:28 +0000281 getContext().getTypeDeclType(const_cast<CXXRecordDecl*>(BaseClassDecl)));
Fariborz Jahaniand3f67282009-07-28 17:38:28 +0000282 const llvm::Type *BasePtr = ConvertType(BTy);
Owen Anderson7ec2d8f2009-07-29 22:16:19 +0000283 BasePtr = llvm::PointerType::getUnqual(BasePtr);
Fariborz Jahaniand3f67282009-07-28 17:38:28 +0000284 BaseValue = Builder.CreateBitCast(BaseValue, BasePtr);
285 return BaseValue;
286}
287
Anders Carlsson72f48292009-04-17 00:06:03 +0000288void
289CodeGenFunction::EmitCXXConstructorCall(const CXXConstructorDecl *D,
290 CXXCtorType Type,
291 llvm::Value *This,
292 CallExpr::const_arg_iterator ArgBeg,
293 CallExpr::const_arg_iterator ArgEnd) {
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000294 llvm::Value *Callee = CGM.GetAddrOfCXXConstructor(D, Type);
295
296 EmitCXXMemberCall(D, Callee, This, ArgBeg, ArgEnd);
Anders Carlsson72f48292009-04-17 00:06:03 +0000297}
298
Anders Carlssond3f6b162009-05-29 21:03:38 +0000299void CodeGenFunction::EmitCXXDestructorCall(const CXXDestructorDecl *D,
300 CXXDtorType Type,
301 llvm::Value *This) {
302 llvm::Value *Callee = CGM.GetAddrOfCXXDestructor(D, Type);
303
304 EmitCXXMemberCall(D, Callee, This, 0, 0);
305}
306
Anders Carlsson72f48292009-04-17 00:06:03 +0000307void
Anders Carlsson342aadc2009-05-03 17:47:16 +0000308CodeGenFunction::EmitCXXConstructExpr(llvm::Value *Dest,
309 const CXXConstructExpr *E) {
Anders Carlsson72f48292009-04-17 00:06:03 +0000310 assert(Dest && "Must have a destination!");
311
312 const CXXRecordDecl *RD =
Ted Kremenekd00cd9e2009-07-29 21:53:49 +0000313 cast<CXXRecordDecl>(E->getType()->getAs<RecordType>()->getDecl());
Anders Carlsson72f48292009-04-17 00:06:03 +0000314 if (RD->hasTrivialConstructor())
315 return;
Fariborz Jahanian884036a2009-08-06 01:02:49 +0000316
317 // Code gen optimization to eliminate copy constructor and return
318 // its first argument instead.
Fariborz Jahanian325cdd82009-08-06 19:12:38 +0000319 if (E->isElidable()) {
Fariborz Jahanian884036a2009-08-06 01:02:49 +0000320 CXXConstructExpr::const_arg_iterator i = E->arg_begin();
Fariborz Jahanian325cdd82009-08-06 19:12:38 +0000321 EmitAggExpr((*i), Dest, false);
322 return;
Fariborz Jahanian884036a2009-08-06 01:02:49 +0000323 }
Anders Carlsson72f48292009-04-17 00:06:03 +0000324 // Call the constructor.
325 EmitCXXConstructorCall(E->getConstructor(), Ctor_Complete, Dest,
326 E->arg_begin(), E->arg_end());
327}
328
Anders Carlsson18e88bc2009-05-31 01:40:14 +0000329llvm::Value *CodeGenFunction::EmitCXXNewExpr(const CXXNewExpr *E) {
Anders Carlssond5536972009-05-31 20:21:44 +0000330 if (E->isArray()) {
331 ErrorUnsupported(E, "new[] expression");
Owen Andersone0b5eff2009-07-30 23:11:26 +0000332 return llvm::UndefValue::get(ConvertType(E->getType()));
Anders Carlssond5536972009-05-31 20:21:44 +0000333 }
334
335 QualType AllocType = E->getAllocatedType();
336 FunctionDecl *NewFD = E->getOperatorNew();
337 const FunctionProtoType *NewFTy = NewFD->getType()->getAsFunctionProtoType();
338
339 CallArgList NewArgs;
340
341 // The allocation size is the first argument.
342 QualType SizeTy = getContext().getSizeType();
343 llvm::Value *AllocSize =
Owen Andersonb17ec712009-07-24 23:12:58 +0000344 llvm::ConstantInt::get(ConvertType(SizeTy),
Anders Carlssond5536972009-05-31 20:21:44 +0000345 getContext().getTypeSize(AllocType) / 8);
346
347 NewArgs.push_back(std::make_pair(RValue::get(AllocSize), SizeTy));
348
349 // Emit the rest of the arguments.
350 // FIXME: Ideally, this should just use EmitCallArgs.
351 CXXNewExpr::const_arg_iterator NewArg = E->placement_arg_begin();
352
353 // First, use the types from the function type.
354 // We start at 1 here because the first argument (the allocation size)
355 // has already been emitted.
356 for (unsigned i = 1, e = NewFTy->getNumArgs(); i != e; ++i, ++NewArg) {
357 QualType ArgType = NewFTy->getArgType(i);
358
359 assert(getContext().getCanonicalType(ArgType.getNonReferenceType()).
360 getTypePtr() ==
361 getContext().getCanonicalType(NewArg->getType()).getTypePtr() &&
362 "type mismatch in call argument!");
363
364 NewArgs.push_back(std::make_pair(EmitCallArg(*NewArg, ArgType),
365 ArgType));
366
367 }
368
369 // Either we've emitted all the call args, or we have a call to a
370 // variadic function.
371 assert((NewArg == E->placement_arg_end() || NewFTy->isVariadic()) &&
372 "Extra arguments in non-variadic function!");
373
374 // If we still have any arguments, emit them using the type of the argument.
375 for (CXXNewExpr::const_arg_iterator NewArgEnd = E->placement_arg_end();
376 NewArg != NewArgEnd; ++NewArg) {
377 QualType ArgType = NewArg->getType();
378 NewArgs.push_back(std::make_pair(EmitCallArg(*NewArg, ArgType),
379 ArgType));
380 }
381
382 // Emit the call to new.
383 RValue RV =
384 EmitCall(CGM.getTypes().getFunctionInfo(NewFTy->getResultType(), NewArgs),
385 CGM.GetAddrOfFunction(GlobalDecl(NewFD)),
386 NewArgs, NewFD);
387
Anders Carlsson11269042009-05-31 21:53:59 +0000388 // If an allocation function is declared with an empty exception specification
389 // it returns null to indicate failure to allocate storage. [expr.new]p13.
390 // (We don't need to check for null when there's no new initializer and
391 // we're allocating a POD type).
392 bool NullCheckResult = NewFTy->hasEmptyExceptionSpec() &&
393 !(AllocType->isPODType() && !E->hasInitializer());
Anders Carlssond5536972009-05-31 20:21:44 +0000394
Anders Carlssondbee9a52009-06-01 00:05:16 +0000395 llvm::BasicBlock *NewNull = 0;
396 llvm::BasicBlock *NewNotNull = 0;
397 llvm::BasicBlock *NewEnd = 0;
398
399 llvm::Value *NewPtr = RV.getScalarVal();
400
Anders Carlsson11269042009-05-31 21:53:59 +0000401 if (NullCheckResult) {
Anders Carlssondbee9a52009-06-01 00:05:16 +0000402 NewNull = createBasicBlock("new.null");
403 NewNotNull = createBasicBlock("new.notnull");
404 NewEnd = createBasicBlock("new.end");
405
406 llvm::Value *IsNull =
407 Builder.CreateICmpEQ(NewPtr,
Owen Andersonf37b84b2009-07-31 20:28:54 +0000408 llvm::Constant::getNullValue(NewPtr->getType()),
Anders Carlssondbee9a52009-06-01 00:05:16 +0000409 "isnull");
410
411 Builder.CreateCondBr(IsNull, NewNull, NewNotNull);
412 EmitBlock(NewNotNull);
Anders Carlsson11269042009-05-31 21:53:59 +0000413 }
414
Anders Carlssondbee9a52009-06-01 00:05:16 +0000415 NewPtr = Builder.CreateBitCast(NewPtr, ConvertType(E->getType()));
Anders Carlsson11269042009-05-31 21:53:59 +0000416
Anders Carlsson7c294782009-05-31 20:56:36 +0000417 if (AllocType->isPODType()) {
Anders Carlsson26910f62009-06-01 00:26:14 +0000418 if (E->getNumConstructorArgs() > 0) {
Anders Carlsson7c294782009-05-31 20:56:36 +0000419 assert(E->getNumConstructorArgs() == 1 &&
420 "Can only have one argument to initializer of POD type.");
421
422 const Expr *Init = E->getConstructorArg(0);
423
Anders Carlsson5f93ccf2009-05-31 21:07:58 +0000424 if (!hasAggregateLLVMType(AllocType))
Anders Carlsson7c294782009-05-31 20:56:36 +0000425 Builder.CreateStore(EmitScalarExpr(Init), NewPtr);
Anders Carlsson5f93ccf2009-05-31 21:07:58 +0000426 else if (AllocType->isAnyComplexType())
427 EmitComplexExprIntoAddr(Init, NewPtr, AllocType.isVolatileQualified());
Anders Carlssoneb39b432009-05-31 21:12:26 +0000428 else
429 EmitAggExpr(Init, NewPtr, AllocType.isVolatileQualified());
Anders Carlsson7c294782009-05-31 20:56:36 +0000430 }
Anders Carlsson11269042009-05-31 21:53:59 +0000431 } else {
432 // Call the constructor.
433 CXXConstructorDecl *Ctor = E->getConstructor();
Anders Carlsson7c294782009-05-31 20:56:36 +0000434
Anders Carlsson11269042009-05-31 21:53:59 +0000435 EmitCXXConstructorCall(Ctor, Ctor_Complete, NewPtr,
436 E->constructor_arg_begin(),
437 E->constructor_arg_end());
Anders Carlssond5536972009-05-31 20:21:44 +0000438 }
Anders Carlsson11269042009-05-31 21:53:59 +0000439
Anders Carlssondbee9a52009-06-01 00:05:16 +0000440 if (NullCheckResult) {
441 Builder.CreateBr(NewEnd);
442 EmitBlock(NewNull);
443 Builder.CreateBr(NewEnd);
444 EmitBlock(NewEnd);
445
446 llvm::PHINode *PHI = Builder.CreatePHI(NewPtr->getType());
447 PHI->reserveOperandSpace(2);
448 PHI->addIncoming(NewPtr, NewNotNull);
Owen Andersonf37b84b2009-07-31 20:28:54 +0000449 PHI->addIncoming(llvm::Constant::getNullValue(NewPtr->getType()), NewNull);
Anders Carlssondbee9a52009-06-01 00:05:16 +0000450
451 NewPtr = PHI;
452 }
453
Anders Carlsson11269042009-05-31 21:53:59 +0000454 return NewPtr;
Anders Carlsson18e88bc2009-05-31 01:40:14 +0000455}
456
Anders Carlsson4811c302009-04-17 01:58:57 +0000457static bool canGenerateCXXstructor(const CXXRecordDecl *RD,
458 ASTContext &Context) {
Anders Carlsson8496c692009-04-15 21:02:13 +0000459 // The class has base classes - we don't support that right now.
460 if (RD->getNumBases() > 0)
461 return false;
462
Argiris Kirtzidisab6e38a2009-06-30 02:36:12 +0000463 for (CXXRecordDecl::field_iterator I = RD->field_begin(), E = RD->field_end();
464 I != E; ++I) {
Anders Carlsson8496c692009-04-15 21:02:13 +0000465 // We don't support ctors for fields that aren't POD.
466 if (!I->getType()->isPODType())
467 return false;
468 }
469
470 return true;
471}
472
Anders Carlsson652951a2009-04-15 15:55:24 +0000473void CodeGenModule::EmitCXXConstructors(const CXXConstructorDecl *D) {
Anders Carlsson4811c302009-04-17 01:58:57 +0000474 if (!canGenerateCXXstructor(D->getParent(), getContext())) {
Anders Carlsson8496c692009-04-15 21:02:13 +0000475 ErrorUnsupported(D, "C++ constructor", true);
476 return;
477 }
Anders Carlsson652951a2009-04-15 15:55:24 +0000478
Anders Carlsson1764af42009-05-05 04:44:02 +0000479 EmitGlobal(GlobalDecl(D, Ctor_Complete));
480 EmitGlobal(GlobalDecl(D, Ctor_Base));
Anders Carlsson652951a2009-04-15 15:55:24 +0000481}
Anders Carlsson890a9fd2009-04-16 23:57:24 +0000482
Anders Carlsson4811c302009-04-17 01:58:57 +0000483void CodeGenModule::EmitCXXConstructor(const CXXConstructorDecl *D,
484 CXXCtorType Type) {
485
486 llvm::Function *Fn = GetAddrOfCXXConstructor(D, Type);
487
488 CodeGenFunction(*this).GenerateCode(D, Fn);
489
490 SetFunctionDefinitionAttributes(D, Fn);
491 SetLLVMFunctionAttributesForDefinition(D, Fn);
492}
493
Anders Carlsson890a9fd2009-04-16 23:57:24 +0000494llvm::Function *
495CodeGenModule::GetAddrOfCXXConstructor(const CXXConstructorDecl *D,
496 CXXCtorType Type) {
497 const llvm::FunctionType *FTy =
498 getTypes().GetFunctionType(getTypes().getFunctionInfo(D), false);
499
500 const char *Name = getMangledCXXCtorName(D, Type);
Chris Lattner80f39cc2009-05-12 21:21:08 +0000501 return cast<llvm::Function>(
502 GetOrCreateLLVMFunction(Name, FTy, GlobalDecl(D, Type)));
Anders Carlsson890a9fd2009-04-16 23:57:24 +0000503}
Anders Carlsson4811c302009-04-17 01:58:57 +0000504
505const char *CodeGenModule::getMangledCXXCtorName(const CXXConstructorDecl *D,
506 CXXCtorType Type) {
507 llvm::SmallString<256> Name;
508 llvm::raw_svector_ostream Out(Name);
509 mangleCXXCtor(D, Type, Context, Out);
510
511 Name += '\0';
512 return UniqueMangledName(Name.begin(), Name.end());
513}
514
515void CodeGenModule::EmitCXXDestructors(const CXXDestructorDecl *D) {
516 if (!canGenerateCXXstructor(D->getParent(), getContext())) {
517 ErrorUnsupported(D, "C++ destructor", true);
518 return;
519 }
520
521 EmitCXXDestructor(D, Dtor_Complete);
522 EmitCXXDestructor(D, Dtor_Base);
523}
524
525void CodeGenModule::EmitCXXDestructor(const CXXDestructorDecl *D,
526 CXXDtorType Type) {
527 llvm::Function *Fn = GetAddrOfCXXDestructor(D, Type);
528
529 CodeGenFunction(*this).GenerateCode(D, Fn);
530
531 SetFunctionDefinitionAttributes(D, Fn);
532 SetLLVMFunctionAttributesForDefinition(D, Fn);
533}
534
535llvm::Function *
536CodeGenModule::GetAddrOfCXXDestructor(const CXXDestructorDecl *D,
537 CXXDtorType Type) {
538 const llvm::FunctionType *FTy =
539 getTypes().GetFunctionType(getTypes().getFunctionInfo(D), false);
540
541 const char *Name = getMangledCXXDtorName(D, Type);
Chris Lattner80f39cc2009-05-12 21:21:08 +0000542 return cast<llvm::Function>(
543 GetOrCreateLLVMFunction(Name, FTy, GlobalDecl(D, Type)));
Anders Carlsson4811c302009-04-17 01:58:57 +0000544}
545
546const char *CodeGenModule::getMangledCXXDtorName(const CXXDestructorDecl *D,
547 CXXDtorType Type) {
548 llvm::SmallString<256> Name;
549 llvm::raw_svector_ostream Out(Name);
550 mangleCXXDtor(D, Type, Context, Out);
551
552 Name += '\0';
553 return UniqueMangledName(Name.begin(), Name.end());
554}
Fariborz Jahanian5400e022009-07-20 23:18:55 +0000555
Mike Stump00df7d32009-07-31 23:15:31 +0000556llvm::Constant *CodeGenFunction::GenerateRtti(const CXXRecordDecl *RD) {
557 llvm::Type *Ptr8Ty;
558 Ptr8Ty = llvm::PointerType::get(llvm::Type::Int8Ty, 0);
Mike Stump69a12322009-08-04 20:06:48 +0000559 llvm::Constant *Rtti = llvm::Constant::getNullValue(Ptr8Ty);
Mike Stump00df7d32009-07-31 23:15:31 +0000560
561 if (!getContext().getLangOptions().Rtti)
Mike Stump69a12322009-08-04 20:06:48 +0000562 return Rtti;
Mike Stump00df7d32009-07-31 23:15:31 +0000563
564 llvm::SmallString<256> OutName;
565 llvm::raw_svector_ostream Out(OutName);
566 QualType ClassTy;
Mike Stumpe7545622009-08-07 18:05:12 +0000567 ClassTy = getContext().getTagDeclType(RD);
Mike Stump00df7d32009-07-31 23:15:31 +0000568 mangleCXXRtti(ClassTy, getContext(), Out);
569 const char *Name = OutName.c_str();
570 llvm::GlobalVariable::LinkageTypes linktype;
571 linktype = llvm::GlobalValue::WeakAnyLinkage;
572 std::vector<llvm::Constant *> info;
Mike Stump71e21302009-08-06 21:49:36 +0000573 // assert (0 && "FIXME: implement rtti descriptor");
Mike Stump00df7d32009-07-31 23:15:31 +0000574 // FIXME: descriptor
575 info.push_back(llvm::Constant::getNullValue(Ptr8Ty));
Mike Stump71e21302009-08-06 21:49:36 +0000576 // assert (0 && "FIXME: implement rtti ts");
Mike Stump00df7d32009-07-31 23:15:31 +0000577 // FIXME: TS
578 info.push_back(llvm::Constant::getNullValue(Ptr8Ty));
579
580 llvm::Constant *C;
581 llvm::ArrayType *type = llvm::ArrayType::get(Ptr8Ty, info.size());
582 C = llvm::ConstantArray::get(type, info);
Mike Stump69a12322009-08-04 20:06:48 +0000583 Rtti = new llvm::GlobalVariable(CGM.getModule(), type, true, linktype, C,
Mike Stump00df7d32009-07-31 23:15:31 +0000584 Name);
Mike Stump69a12322009-08-04 20:06:48 +0000585 Rtti = llvm::ConstantExpr::getBitCast(Rtti, Ptr8Ty);
586 return Rtti;
Mike Stump00df7d32009-07-31 23:15:31 +0000587}
588
Mike Stumpd6f22d82009-08-06 15:50:11 +0000589void CodeGenFunction::GenerateVtableForBase(const CXXRecordDecl *RD,
Mike Stump71e21302009-08-06 21:49:36 +0000590 const CXXRecordDecl *Class,
591 llvm::Constant *rtti,
592 std::vector<llvm::Constant *> &methods,
Mike Stump96599e22009-08-06 23:48:32 +0000593 bool isPrimary,
594 bool ForVirtualBase) {
Mike Stumpd6f22d82009-08-06 15:50:11 +0000595 typedef CXXRecordDecl::method_iterator meth_iter;
596 llvm::Type *Ptr8Ty;
597 Ptr8Ty = llvm::PointerType::get(llvm::Type::Int8Ty, 0);
Mike Stump71e21302009-08-06 21:49:36 +0000598 llvm::Constant *m = llvm::Constant::getNullValue(Ptr8Ty);
599
600 if (RD && !RD->isDynamicClass())
601 return;
Mike Stump96599e22009-08-06 23:48:32 +0000602
603 if (RD && ForVirtualBase)
604 for (meth_iter mi = RD->method_begin(), me = RD->method_end(); mi != me;
605 ++mi) {
606 if (mi->isVirtual()) {
607 // FIXME: vcall: offset for virtual base for this function
608 m = llvm::Constant::getNullValue(Ptr8Ty);
609 methods.push_back(m);
610 }
611 }
612 if (isPrimary && ForVirtualBase)
613 for (meth_iter mi = Class->method_begin(),
614 me = Class->method_end(); mi != me; ++mi) {
615 if (mi->isVirtual()) {
616 // FIXME: vcall: offset for virtual base for this function
617 m = llvm::Constant::getNullValue(Ptr8Ty);
618 methods.push_back(m);
619 }
620 }
621
Mike Stump71e21302009-08-06 21:49:36 +0000622 if (RD) {
623 const ASTRecordLayout &Layout = getContext().getASTRecordLayout(Class);
624 int64_t BaseOffset = -(Layout.getBaseClassOffset(RD) / 8);
625 m = llvm::ConstantInt::get(llvm::Type::Int64Ty, BaseOffset);
626 m = llvm::ConstantExpr::getIntToPtr(m, Ptr8Ty);
627 }
628 methods.push_back(m);
629 methods.push_back(rtti);
630
631 if (RD)
632 for (meth_iter mi = RD->method_begin(), me = RD->method_end(); mi != me;
633 ++mi) {
634 if (mi->isVirtual()) {
635 m = CGM.GetAddrOfFunction(GlobalDecl(*mi));
636 m = llvm::ConstantExpr::getBitCast(m, Ptr8Ty);
637 methods.push_back(m);
638 }
639 }
640 if (!isPrimary)
641 return;
642
643 // And add the virtuals for the class to the primary vtable.
Mike Stump96599e22009-08-06 23:48:32 +0000644 for (meth_iter mi = Class->method_begin(), me = Class->method_end(); mi != me;
Mike Stumpd6f22d82009-08-06 15:50:11 +0000645 ++mi) {
646 if (mi->isVirtual()) {
Mike Stumpd6f22d82009-08-06 15:50:11 +0000647 m = CGM.GetAddrOfFunction(GlobalDecl(*mi));
648 m = llvm::ConstantExpr::getBitCast(m, Ptr8Ty);
649 methods.push_back(m);
650 }
651 }
652}
653
Mike Stump7e8c9932009-07-31 18:25:34 +0000654llvm::Value *CodeGenFunction::GenerateVtable(const CXXRecordDecl *RD) {
Mike Stump7e8c9932009-07-31 18:25:34 +0000655 llvm::SmallString<256> OutName;
656 llvm::raw_svector_ostream Out(OutName);
657 QualType ClassTy;
Mike Stumpe7545622009-08-07 18:05:12 +0000658 ClassTy = getContext().getTagDeclType(RD);
Mike Stump7e8c9932009-07-31 18:25:34 +0000659 mangleCXXVtable(ClassTy, getContext(), Out);
660 const char *Name = OutName.c_str();
Mike Stumpd0672782009-07-31 21:43:43 +0000661 llvm::GlobalVariable::LinkageTypes linktype;
662 linktype = llvm::GlobalValue::WeakAnyLinkage;
663 std::vector<llvm::Constant *> methods;
Mike Stump7e8c9932009-07-31 18:25:34 +0000664 typedef CXXRecordDecl::method_iterator meth_iter;
Mike Stump7e8c9932009-07-31 18:25:34 +0000665 llvm::Type *Ptr8Ty;
666 Ptr8Ty = llvm::PointerType::get(llvm::Type::Int8Ty, 0);
Mike Stump8b82eeb2009-08-05 22:37:18 +0000667 int64_t Offset = 0;
Mike Stump71e21302009-08-06 21:49:36 +0000668 llvm::Constant *rtti = GenerateRtti(RD);
669
670 Offset += LLVMPointerWidth;
671 Offset += LLVMPointerWidth;
Mike Stump8b82eeb2009-08-05 22:37:18 +0000672
673 const ASTRecordLayout &Layout = getContext().getASTRecordLayout(RD);
674 const CXXRecordDecl *PrimaryBase = Layout.getPrimaryBase();
Mike Stump030dbfb2009-08-07 20:14:05 +0000675 const bool PrimaryBaseWasVirtual = Layout.getPrimaryBaseWasVirtual();
Mike Stumpf3371782009-08-04 21:58:42 +0000676
Mike Stump23658f32009-08-07 21:54:03 +0000677 // The virtual base offsets come first.
678 for (CXXRecordDecl::reverse_base_class_const_iterator i = RD->vbases_rbegin(),
679 e = RD->vbases_rend(); i != e; ++i) {
680 const CXXRecordDecl *Base =
681 cast<CXXRecordDecl>(i->getType()->getAs<RecordType>()->getDecl());
682 int64_t BaseOffset = Layout.getBaseClassOffset(Base) / 8;
683 llvm::Constant *m;
684 m = llvm::ConstantInt::get(llvm::Type::Int64Ty, BaseOffset);
685 m = llvm::ConstantExpr::getIntToPtr(m, Ptr8Ty);
686 methods.push_back(m);
687 }
688
Mike Stump25cbad02009-08-06 18:05:22 +0000689 // The primary base comes first.
Mike Stumpbea9cc82009-08-07 19:00:50 +0000690 GenerateVtableForBase(PrimaryBase, RD, rtti, methods, true,
691 PrimaryBaseWasVirtual);
Mike Stumpf3371782009-08-04 21:58:42 +0000692 for (CXXRecordDecl::base_class_const_iterator i = RD->bases_begin(),
693 e = RD->bases_end(); i != e; ++i) {
694 if (i->isVirtual())
695 continue;
696 const CXXRecordDecl *Base =
697 cast<CXXRecordDecl>(i->getType()->getAs<RecordType>()->getDecl());
Mike Stump8b82eeb2009-08-05 22:37:18 +0000698 if (PrimaryBase != Base) {
Mike Stump71e21302009-08-06 21:49:36 +0000699 GenerateVtableForBase(Base, RD, rtti, methods);
Mike Stump8b82eeb2009-08-05 22:37:18 +0000700 }
701 }
Mike Stump25cbad02009-08-06 18:05:22 +0000702
Mike Stumpd6f22d82009-08-06 15:50:11 +0000703 // FIXME: finish layout for virtual bases
704 // FIXME: audit indirect virtual bases
705 for (CXXRecordDecl::base_class_const_iterator i = RD->vbases_begin(),
706 e = RD->vbases_end(); i != e; ++i) {
707 const CXXRecordDecl *Base =
708 cast<CXXRecordDecl>(i->getType()->getAs<RecordType>()->getDecl());
709 if (Base != PrimaryBase)
Mike Stump96599e22009-08-06 23:48:32 +0000710 GenerateVtableForBase(Base, RD, rtti, methods, false, true);
Mike Stumpd6f22d82009-08-06 15:50:11 +0000711 }
Mike Stumpf3371782009-08-04 21:58:42 +0000712
Mike Stumpd0672782009-07-31 21:43:43 +0000713 llvm::Constant *C;
714 llvm::ArrayType *type = llvm::ArrayType::get(Ptr8Ty, methods.size());
715 C = llvm::ConstantArray::get(type, methods);
716 llvm::Value *vtable = new llvm::GlobalVariable(CGM.getModule(), type, true,
717 linktype, C, Name);
Mike Stump7e8c9932009-07-31 18:25:34 +0000718 vtable = Builder.CreateBitCast(vtable, Ptr8Ty);
Mike Stump7e8c9932009-07-31 18:25:34 +0000719 vtable = Builder.CreateGEP(vtable,
720 llvm::ConstantInt::get(llvm::Type::Int64Ty,
Mike Stump8b82eeb2009-08-05 22:37:18 +0000721 Offset/8));
Mike Stump7e8c9932009-07-31 18:25:34 +0000722 return vtable;
723}
724
Fariborz Jahanianfc27d292009-08-07 23:51:33 +0000725/// EmitClassMemberwiseCopy - This routine generates code to copy a class
726/// object from SrcValue to DestValue. Copying can be either a bitwise copy
727/// of via a copy constructor call.
728void CodeGenFunction::EmitClassMemberwiseCopy(
729 llvm::Value *DestValue, llvm::Value *SrcValue,
730 const CXXRecordDecl *ClassDecl,
731 const CXXRecordDecl *BaseClassDecl) {
732 // FIXME. Do bitwise copy of trivial copy constructors.
733 if (BaseClassDecl->hasTrivialCopyConstructor())
734 return;
Fariborz Jahanianfc27d292009-08-07 23:51:33 +0000735 if (CXXConstructorDecl *BaseCopyCtor =
Fariborz Jahanianfbe08772009-08-08 00:59:58 +0000736 BaseClassDecl->getCopyConstructor(getContext(), 0)) {
Fariborz Jahanianfc27d292009-08-07 23:51:33 +0000737 llvm::Value *Callee = CGM.GetAddrOfCXXConstructor(BaseCopyCtor,
738 Ctor_Complete);
739
Fariborz Jahanian5e778e32009-08-08 00:15:41 +0000740 llvm::Value *Dest = ClassDecl ?
741 AddressCXXOfBaseClass(DestValue, ClassDecl, BaseClassDecl) : DestValue;
Fariborz Jahanianfc27d292009-08-07 23:51:33 +0000742
743 CallArgList CallArgs;
744 // Push the this (Dest) ptr.
745 CallArgs.push_back(std::make_pair(RValue::get(Dest),
746 BaseCopyCtor->getThisType(getContext())));
747
Fariborz Jahanian5e778e32009-08-08 00:15:41 +0000748 llvm::Value *Src = ClassDecl ?
749 AddressCXXOfBaseClass(SrcValue, ClassDecl, BaseClassDecl) : SrcValue;
Fariborz Jahanianfc27d292009-08-07 23:51:33 +0000750 // Push the Src ptr.
751 CallArgs.push_back(std::make_pair(RValue::get(Src),
752 BaseCopyCtor->getThisType(getContext())));
753 QualType ResultType =
754 BaseCopyCtor->getType()->getAsFunctionType()->getResultType();
755 EmitCall(CGM.getTypes().getFunctionInfo(ResultType, CallArgs),
756 Callee, CallArgs, BaseCopyCtor);
757 }
758}
759
Fariborz Jahanianab840aa2009-08-08 19:31:03 +0000760/// SynthesizeCXXCopyConstructor - This routine implicitly defines body of a copy
Fariborz Jahanian5e050b82009-08-07 20:22:40 +0000761/// constructor, in accordance with section 12.8 (p7 and p8) of C++03
762/// The implicitly-defined copy constructor for class X performs a memberwise
763/// copy of its subobjects. The order of copying is the same as the order
764/// of initialization of bases and members in a user-defined constructor
765/// Each subobject is copied in the manner appropriate to its type:
766/// if the subobject is of class type, the copy constructor for the class is
767/// used;
768/// if the subobject is an array, each element is copied, in the manner
769/// appropriate to the element type;
770/// if the subobject is of scalar type, the built-in assignment operator is
771/// used.
772/// Virtual base class subobjects shall be copied only once by the
773/// implicitly-defined copy constructor
774
Fariborz Jahanianab840aa2009-08-08 19:31:03 +0000775void CodeGenFunction::SynthesizeCXXCopyConstructor(const CXXConstructorDecl *CD,
776 const FunctionDecl *FD,
777 llvm::Function *Fn,
Fariborz Jahanianfc27d292009-08-07 23:51:33 +0000778 const FunctionArgList &Args) {
Fariborz Jahanian5e050b82009-08-07 20:22:40 +0000779 const CXXRecordDecl *ClassDecl = cast<CXXRecordDecl>(CD->getDeclContext());
780 assert(!ClassDecl->hasUserDeclaredCopyConstructor() &&
Fariborz Jahanianab840aa2009-08-08 19:31:03 +0000781 "SynthesizeCXXCopyConstructor - copy constructor has definition already");
782 StartFunction(FD, FD->getResultType(), Fn, Args, SourceLocation());
Fariborz Jahanian5e050b82009-08-07 20:22:40 +0000783
Fariborz Jahanian5e778e32009-08-08 00:15:41 +0000784 FunctionArgList::const_iterator i = Args.begin();
785 const VarDecl *ThisArg = i->first;
786 llvm::Value *ThisObj = GetAddrOfLocalVar(ThisArg);
787 llvm::Value *LoadOfThis = Builder.CreateLoad(ThisObj, "this");
788 const VarDecl *SrcArg = (i+1)->first;
789 llvm::Value *SrcObj = GetAddrOfLocalVar(SrcArg);
790 llvm::Value *LoadOfSrc = Builder.CreateLoad(SrcObj);
791
Fariborz Jahanian5e050b82009-08-07 20:22:40 +0000792 for (CXXRecordDecl::base_class_const_iterator Base = ClassDecl->bases_begin();
793 Base != ClassDecl->bases_end(); ++Base) {
794 // FIXME. copy constrution of virtual base NYI
795 if (Base->isVirtual())
796 continue;
Fariborz Jahanianfc27d292009-08-07 23:51:33 +0000797
Fariborz Jahanian5e050b82009-08-07 20:22:40 +0000798 CXXRecordDecl *BaseClassDecl
799 = cast<CXXRecordDecl>(Base->getType()->getAs<RecordType>()->getDecl());
Fariborz Jahanianfc27d292009-08-07 23:51:33 +0000800 EmitClassMemberwiseCopy(LoadOfThis, LoadOfSrc, ClassDecl, BaseClassDecl);
Fariborz Jahanian5e050b82009-08-07 20:22:40 +0000801 }
802
Fariborz Jahanian5e778e32009-08-08 00:15:41 +0000803 for (CXXRecordDecl::field_iterator Field = ClassDecl->field_begin(),
804 FieldEnd = ClassDecl->field_end();
805 Field != FieldEnd; ++Field) {
806 QualType FieldType = getContext().getCanonicalType((*Field)->getType());
807
808 // FIXME. How about copying arrays!
809 assert(!getContext().getAsArrayType(FieldType) &&
810 "FIXME. Copying arrays NYI");
811
812 if (const RecordType *FieldClassType = FieldType->getAs<RecordType>()) {
813 CXXRecordDecl *FieldClassDecl
814 = cast<CXXRecordDecl>(FieldClassType->getDecl());
815 LValue LHS = EmitLValueForField(LoadOfThis, *Field, false, 0);
816 LValue RHS = EmitLValueForField(LoadOfSrc, *Field, false, 0);
817 EmitClassMemberwiseCopy(LHS.getAddress(), RHS.getAddress(),
818 0 /*ClassDecl*/, FieldClassDecl);
819 continue;
820 }
821 // FIXME. Do a built-in assignment of scalar data members.
822 }
Fariborz Jahanianab840aa2009-08-08 19:31:03 +0000823 FinishFunction();
Fariborz Jahanian5e050b82009-08-07 20:22:40 +0000824}
825
826
Fariborz Jahanian5400e022009-07-20 23:18:55 +0000827/// EmitCtorPrologue - This routine generates necessary code to initialize
828/// base classes and non-static data members belonging to this constructor.
829void CodeGenFunction::EmitCtorPrologue(const CXXConstructorDecl *CD) {
Fariborz Jahaniana0107de2009-07-25 21:12:28 +0000830 const CXXRecordDecl *ClassDecl = cast<CXXRecordDecl>(CD->getDeclContext());
Mike Stump05207212009-08-06 13:41:24 +0000831 // FIXME: Add vbase initialization
Mike Stump7e8c9932009-07-31 18:25:34 +0000832 llvm::Value *LoadOfThis = 0;
Fariborz Jahanian70277012009-07-28 18:09:28 +0000833
Fariborz Jahaniana0107de2009-07-25 21:12:28 +0000834 for (CXXConstructorDecl::init_const_iterator B = CD->init_begin(),
Fariborz Jahanian5400e022009-07-20 23:18:55 +0000835 E = CD->init_end();
836 B != E; ++B) {
837 CXXBaseOrMemberInitializer *Member = (*B);
838 if (Member->isBaseInitializer()) {
Mike Stump7e8c9932009-07-31 18:25:34 +0000839 LoadOfThis = LoadCXXThis();
Fariborz Jahanian70277012009-07-28 18:09:28 +0000840 Type *BaseType = Member->getBaseClass();
841 CXXRecordDecl *BaseClassDecl =
Ted Kremenekd00cd9e2009-07-29 21:53:49 +0000842 cast<CXXRecordDecl>(BaseType->getAs<RecordType>()->getDecl());
Fariborz Jahanian70277012009-07-28 18:09:28 +0000843 llvm::Value *V = AddressCXXOfBaseClass(LoadOfThis, ClassDecl,
844 BaseClassDecl);
Fariborz Jahaniana0107de2009-07-25 21:12:28 +0000845 EmitCXXConstructorCall(Member->getConstructor(),
846 Ctor_Complete, V,
847 Member->const_arg_begin(),
848 Member->const_arg_end());
Mike Stump487ce382009-07-30 22:28:39 +0000849 } else {
Fariborz Jahanian5400e022009-07-20 23:18:55 +0000850 // non-static data member initilaizers.
851 FieldDecl *Field = Member->getMember();
852 QualType FieldType = getContext().getCanonicalType((Field)->getType());
853 assert(!getContext().getAsArrayType(FieldType)
854 && "FIXME. Field arrays initialization unsupported");
Fariborz Jahanian56baceb2009-07-24 17:57:02 +0000855
Mike Stump7e8c9932009-07-31 18:25:34 +0000856 LoadOfThis = LoadCXXThis();
Fariborz Jahanian5400e022009-07-20 23:18:55 +0000857 LValue LHS = EmitLValueForField(LoadOfThis, Field, false, 0);
Ted Kremenekd00cd9e2009-07-29 21:53:49 +0000858 if (FieldType->getAs<RecordType>()) {
Fariborz Jahanian56baceb2009-07-24 17:57:02 +0000859
860 assert(Member->getConstructor() &&
861 "EmitCtorPrologue - no constructor to initialize member");
862 EmitCXXConstructorCall(Member->getConstructor(),
863 Ctor_Complete, LHS.getAddress(),
864 Member->const_arg_begin(),
865 Member->const_arg_end());
866 continue;
867 }
Fariborz Jahanian5400e022009-07-20 23:18:55 +0000868
869 assert(Member->getNumArgs() == 1 && "Initializer count must be 1 only");
Fariborz Jahanian56baceb2009-07-24 17:57:02 +0000870 Expr *RhsExpr = *Member->arg_begin();
Fariborz Jahanian5400e022009-07-20 23:18:55 +0000871 llvm::Value *RHS = EmitScalarExpr(RhsExpr, true);
872 if (LHS.isBitfield())
873 EmitStoreThroughBitfieldLValue(RValue::get(RHS), LHS, FieldType, 0);
874 else
875 EmitStoreThroughLValue(RValue::get(RHS), LHS, FieldType);
876 }
877 }
Mike Stump7e8c9932009-07-31 18:25:34 +0000878
879 // Initialize the vtable pointer
Mike Stumpeec46a72009-08-05 22:59:44 +0000880 if (ClassDecl->isDynamicClass()) {
Mike Stump7e8c9932009-07-31 18:25:34 +0000881 if (!LoadOfThis)
882 LoadOfThis = LoadCXXThis();
883 llvm::Value *VtableField;
884 llvm::Type *Ptr8Ty, *PtrPtr8Ty;
885 Ptr8Ty = llvm::PointerType::get(llvm::Type::Int8Ty, 0);
886 PtrPtr8Ty = llvm::PointerType::get(Ptr8Ty, 0);
887 VtableField = Builder.CreateBitCast(LoadOfThis, PtrPtr8Ty);
888 llvm::Value *vtable = GenerateVtable(ClassDecl);
889 Builder.CreateStore(vtable, VtableField);
890 }
Fariborz Jahanian5400e022009-07-20 23:18:55 +0000891}
Fariborz Jahanian36a0ec02009-07-30 17:49:11 +0000892
893/// EmitDtorEpilogue - Emit all code that comes at the end of class's
894/// destructor. This is to call destructors on members and base classes
895/// in reverse order of their construction.
896void CodeGenFunction::EmitDtorEpilogue(const CXXDestructorDecl *DD) {
897 const CXXRecordDecl *ClassDecl = cast<CXXRecordDecl>(DD->getDeclContext());
898 assert(!ClassDecl->isPolymorphic() &&
899 "FIXME. polymorphic destruction not supported");
900 (void)ClassDecl; // prevent warning.
901
902 for (CXXDestructorDecl::destr_const_iterator *B = DD->destr_begin(),
903 *E = DD->destr_end(); B != E; ++B) {
904 uintptr_t BaseOrMember = (*B);
905 if (DD->isMemberToDestroy(BaseOrMember)) {
906 FieldDecl *FD = DD->getMemberToDestroy(BaseOrMember);
907 QualType FieldType = getContext().getCanonicalType((FD)->getType());
908 assert(!getContext().getAsArrayType(FieldType)
909 && "FIXME. Field arrays destruction unsupported");
910 const RecordType *RT = FieldType->getAs<RecordType>();
911 CXXRecordDecl *FieldClassDecl = cast<CXXRecordDecl>(RT->getDecl());
912 if (FieldClassDecl->hasTrivialDestructor())
913 continue;
914 llvm::Value *LoadOfThis = LoadCXXThis();
915 LValue LHS = EmitLValueForField(LoadOfThis, FD, false, 0);
916 EmitCXXDestructorCall(FieldClassDecl->getDestructor(getContext()),
917 Dtor_Complete, LHS.getAddress());
Mike Stump487ce382009-07-30 22:28:39 +0000918 } else {
Fariborz Jahanian36a0ec02009-07-30 17:49:11 +0000919 const RecordType *RT =
920 DD->getAnyBaseClassToDestroy(BaseOrMember)->getAs<RecordType>();
921 CXXRecordDecl *BaseClassDecl = cast<CXXRecordDecl>(RT->getDecl());
922 if (BaseClassDecl->hasTrivialDestructor())
923 continue;
924 llvm::Value *V = AddressCXXOfBaseClass(LoadCXXThis(),
925 ClassDecl,BaseClassDecl);
926 EmitCXXDestructorCall(BaseClassDecl->getDestructor(getContext()),
927 Dtor_Complete, V);
928 }
929 }
930}