blob: b8b774f7f040dcc3b061dd062b1713078bd47c40 [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 Anderson73e7f802009-07-14 23:10:40 +000044 VMContext.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 Anderson73e7f802009-07-14 23:10:40 +000053 llvm::Value *nullValue = VMContext.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
110 // FIXME: It isn't just virtual as written, but all virtual functions.
111 if (MD->isVirtualAsWritten()) {
112 ErrorUnsupported(CE, "virtual dispatch");
113 }
114
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000115 const llvm::Type *Ty =
Anders Carlssonc5223142009-04-08 20:31:57 +0000116 CGM.getTypes().GetFunctionType(CGM.getTypes().getFunctionInfo(MD),
117 FPT->isVariadic());
Chris Lattner80f39cc2009-05-12 21:21:08 +0000118 llvm::Constant *Callee = CGM.GetAddrOfFunction(GlobalDecl(MD), Ty);
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000119
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000120 llvm::Value *This;
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000121
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000122 if (ME->isArrow())
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000123 This = EmitScalarExpr(ME->getBase());
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000124 else {
125 LValue BaseLV = EmitLValue(ME->getBase());
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000126 This = BaseLV.getAddress();
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000127 }
128
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000129 return EmitCXXMemberCall(MD, Callee, This,
130 CE->arg_begin(), CE->arg_end());
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000131}
Anders Carlsson49d4a572009-04-14 16:58:56 +0000132
Anders Carlsson85eca6f2009-05-27 04:18:27 +0000133RValue
134CodeGenFunction::EmitCXXOperatorMemberCallExpr(const CXXOperatorCallExpr *E,
135 const CXXMethodDecl *MD) {
136 assert(MD->isInstance() &&
137 "Trying to emit a member call expr on a static method!");
138
139
140 const FunctionProtoType *FPT = MD->getType()->getAsFunctionProtoType();
141 const llvm::Type *Ty =
142 CGM.getTypes().GetFunctionType(CGM.getTypes().getFunctionInfo(MD),
143 FPT->isVariadic());
144 llvm::Constant *Callee = CGM.GetAddrOfFunction(GlobalDecl(MD), Ty);
145
146 llvm::Value *This = EmitLValue(E->getArg(0)).getAddress();
147
148 return EmitCXXMemberCall(MD, Callee, This,
149 E->arg_begin() + 1, E->arg_end());
150}
151
Anders Carlsson49d4a572009-04-14 16:58:56 +0000152llvm::Value *CodeGenFunction::LoadCXXThis() {
153 assert(isa<CXXMethodDecl>(CurFuncDecl) &&
154 "Must be in a C++ member function decl to load 'this'");
155 assert(cast<CXXMethodDecl>(CurFuncDecl)->isInstance() &&
156 "Must be in a C++ member function decl to load 'this'");
157
158 // FIXME: What if we're inside a block?
Mike Stumpba2cb0e2009-05-16 07:57:57 +0000159 // ans: See how CodeGenFunction::LoadObjCSelf() uses
160 // CodeGenFunction::BlockForwardSelf() for how to do this.
Anders Carlsson49d4a572009-04-14 16:58:56 +0000161 return Builder.CreateLoad(LocalDeclMap[CXXThisDecl], "this");
162}
Anders Carlsson652951a2009-04-15 15:55:24 +0000163
Fariborz Jahanian5fe7f472009-07-30 00:10:25 +0000164static bool
165GetNestedPaths(llvm::SmallVectorImpl<const CXXRecordDecl *> &NestedBasePaths,
166 const CXXRecordDecl *ClassDecl,
167 const CXXRecordDecl *BaseClassDecl) {
168 assert(!ClassDecl->isPolymorphic() &&
169 "FIXME: We don't support polymorphic classes yet!");
170 for (CXXRecordDecl::base_class_const_iterator i = ClassDecl->bases_begin(),
171 e = ClassDecl->bases_end(); i != e; ++i) {
172 if (i->isVirtual())
173 continue;
174 const CXXRecordDecl *Base =
175 cast<CXXRecordDecl>(i->getType()->getAs<RecordType>()->getDecl());
176 if (Base == BaseClassDecl) {
177 NestedBasePaths.push_back(BaseClassDecl);
178 return true;
179 }
180 }
181 // BaseClassDecl not an immediate base of ClassDecl.
182 for (CXXRecordDecl::base_class_const_iterator i = ClassDecl->bases_begin(),
183 e = ClassDecl->bases_end(); i != e; ++i) {
184 if (i->isVirtual())
185 continue;
186 const CXXRecordDecl *Base =
187 cast<CXXRecordDecl>(i->getType()->getAs<RecordType>()->getDecl());
188 if (GetNestedPaths(NestedBasePaths, Base, BaseClassDecl)) {
189 NestedBasePaths.push_back(Base);
190 return true;
191 }
192 }
193 return false;
194}
195
Fariborz Jahaniand3f67282009-07-28 17:38:28 +0000196llvm::Value *CodeGenFunction::AddressCXXOfBaseClass(llvm::Value *BaseValue,
Fariborz Jahanian70277012009-07-28 18:09:28 +0000197 const CXXRecordDecl *ClassDecl,
198 const CXXRecordDecl *BaseClassDecl) {
Fariborz Jahaniand3f67282009-07-28 17:38:28 +0000199 if (ClassDecl == BaseClassDecl)
200 return BaseValue;
201
Fariborz Jahanian5fe7f472009-07-30 00:10:25 +0000202 llvm::Type *I8Ptr = llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
203 llvm::SmallVector<const CXXRecordDecl *, 16> NestedBasePaths;
204 GetNestedPaths(NestedBasePaths, ClassDecl, BaseClassDecl);
205 assert(NestedBasePaths.size() > 0 &&
206 "AddressCXXOfBaseClass - inheritence path failed");
207 NestedBasePaths.push_back(ClassDecl);
208 uint64_t Offset = 0;
209
Fariborz Jahaniand3f67282009-07-28 17:38:28 +0000210 // Accessing a member of the base class. Must add delata to
211 // the load of 'this'.
Fariborz Jahanian5fe7f472009-07-30 00:10:25 +0000212 for (unsigned i = NestedBasePaths.size()-1; i > 0; i--) {
213 const CXXRecordDecl *DerivedClass = NestedBasePaths[i];
214 const CXXRecordDecl *BaseClass = NestedBasePaths[i-1];
215 const ASTRecordLayout &Layout =
216 getContext().getASTRecordLayout(DerivedClass);
217 Offset += Layout.getBaseClassOffset(BaseClass) / 8;
218 }
Fariborz Jahanian83a46ed2009-07-29 15:54:56 +0000219 llvm::Value *OffsetVal =
220 llvm::ConstantInt::get(
221 CGM.getTypes().ConvertType(CGM.getContext().LongTy), Offset);
Fariborz Jahaniand3f67282009-07-28 17:38:28 +0000222 BaseValue = Builder.CreateBitCast(BaseValue, I8Ptr);
223 BaseValue = Builder.CreateGEP(BaseValue, OffsetVal, "add.ptr");
224 QualType BTy =
225 getContext().getCanonicalType(
Fariborz Jahanian70277012009-07-28 18:09:28 +0000226 getContext().getTypeDeclType(const_cast<CXXRecordDecl*>(BaseClassDecl)));
Fariborz Jahaniand3f67282009-07-28 17:38:28 +0000227 const llvm::Type *BasePtr = ConvertType(BTy);
Owen Anderson7ec2d8f2009-07-29 22:16:19 +0000228 BasePtr = llvm::PointerType::getUnqual(BasePtr);
Fariborz Jahaniand3f67282009-07-28 17:38:28 +0000229 BaseValue = Builder.CreateBitCast(BaseValue, BasePtr);
230 return BaseValue;
231}
232
Anders Carlsson72f48292009-04-17 00:06:03 +0000233void
234CodeGenFunction::EmitCXXConstructorCall(const CXXConstructorDecl *D,
235 CXXCtorType Type,
236 llvm::Value *This,
237 CallExpr::const_arg_iterator ArgBeg,
238 CallExpr::const_arg_iterator ArgEnd) {
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000239 llvm::Value *Callee = CGM.GetAddrOfCXXConstructor(D, Type);
240
241 EmitCXXMemberCall(D, Callee, This, ArgBeg, ArgEnd);
Anders Carlsson72f48292009-04-17 00:06:03 +0000242}
243
Anders Carlssond3f6b162009-05-29 21:03:38 +0000244void CodeGenFunction::EmitCXXDestructorCall(const CXXDestructorDecl *D,
245 CXXDtorType Type,
246 llvm::Value *This) {
247 llvm::Value *Callee = CGM.GetAddrOfCXXDestructor(D, Type);
248
249 EmitCXXMemberCall(D, Callee, This, 0, 0);
250}
251
Anders Carlsson72f48292009-04-17 00:06:03 +0000252void
Anders Carlsson342aadc2009-05-03 17:47:16 +0000253CodeGenFunction::EmitCXXConstructExpr(llvm::Value *Dest,
254 const CXXConstructExpr *E) {
Anders Carlsson72f48292009-04-17 00:06:03 +0000255 assert(Dest && "Must have a destination!");
256
257 const CXXRecordDecl *RD =
Ted Kremenekd00cd9e2009-07-29 21:53:49 +0000258 cast<CXXRecordDecl>(E->getType()->getAs<RecordType>()->getDecl());
Anders Carlsson72f48292009-04-17 00:06:03 +0000259 if (RD->hasTrivialConstructor())
260 return;
261
262 // Call the constructor.
263 EmitCXXConstructorCall(E->getConstructor(), Ctor_Complete, Dest,
264 E->arg_begin(), E->arg_end());
265}
266
Anders Carlsson18e88bc2009-05-31 01:40:14 +0000267llvm::Value *CodeGenFunction::EmitCXXNewExpr(const CXXNewExpr *E) {
Anders Carlssond5536972009-05-31 20:21:44 +0000268 if (E->isArray()) {
269 ErrorUnsupported(E, "new[] expression");
Owen Anderson73e7f802009-07-14 23:10:40 +0000270 return VMContext.getUndef(ConvertType(E->getType()));
Anders Carlssond5536972009-05-31 20:21:44 +0000271 }
272
273 QualType AllocType = E->getAllocatedType();
274 FunctionDecl *NewFD = E->getOperatorNew();
275 const FunctionProtoType *NewFTy = NewFD->getType()->getAsFunctionProtoType();
276
277 CallArgList NewArgs;
278
279 // The allocation size is the first argument.
280 QualType SizeTy = getContext().getSizeType();
281 llvm::Value *AllocSize =
Owen Andersonb17ec712009-07-24 23:12:58 +0000282 llvm::ConstantInt::get(ConvertType(SizeTy),
Anders Carlssond5536972009-05-31 20:21:44 +0000283 getContext().getTypeSize(AllocType) / 8);
284
285 NewArgs.push_back(std::make_pair(RValue::get(AllocSize), SizeTy));
286
287 // Emit the rest of the arguments.
288 // FIXME: Ideally, this should just use EmitCallArgs.
289 CXXNewExpr::const_arg_iterator NewArg = E->placement_arg_begin();
290
291 // First, use the types from the function type.
292 // We start at 1 here because the first argument (the allocation size)
293 // has already been emitted.
294 for (unsigned i = 1, e = NewFTy->getNumArgs(); i != e; ++i, ++NewArg) {
295 QualType ArgType = NewFTy->getArgType(i);
296
297 assert(getContext().getCanonicalType(ArgType.getNonReferenceType()).
298 getTypePtr() ==
299 getContext().getCanonicalType(NewArg->getType()).getTypePtr() &&
300 "type mismatch in call argument!");
301
302 NewArgs.push_back(std::make_pair(EmitCallArg(*NewArg, ArgType),
303 ArgType));
304
305 }
306
307 // Either we've emitted all the call args, or we have a call to a
308 // variadic function.
309 assert((NewArg == E->placement_arg_end() || NewFTy->isVariadic()) &&
310 "Extra arguments in non-variadic function!");
311
312 // If we still have any arguments, emit them using the type of the argument.
313 for (CXXNewExpr::const_arg_iterator NewArgEnd = E->placement_arg_end();
314 NewArg != NewArgEnd; ++NewArg) {
315 QualType ArgType = NewArg->getType();
316 NewArgs.push_back(std::make_pair(EmitCallArg(*NewArg, ArgType),
317 ArgType));
318 }
319
320 // Emit the call to new.
321 RValue RV =
322 EmitCall(CGM.getTypes().getFunctionInfo(NewFTy->getResultType(), NewArgs),
323 CGM.GetAddrOfFunction(GlobalDecl(NewFD)),
324 NewArgs, NewFD);
325
Anders Carlsson11269042009-05-31 21:53:59 +0000326 // If an allocation function is declared with an empty exception specification
327 // it returns null to indicate failure to allocate storage. [expr.new]p13.
328 // (We don't need to check for null when there's no new initializer and
329 // we're allocating a POD type).
330 bool NullCheckResult = NewFTy->hasEmptyExceptionSpec() &&
331 !(AllocType->isPODType() && !E->hasInitializer());
Anders Carlssond5536972009-05-31 20:21:44 +0000332
Anders Carlssondbee9a52009-06-01 00:05:16 +0000333 llvm::BasicBlock *NewNull = 0;
334 llvm::BasicBlock *NewNotNull = 0;
335 llvm::BasicBlock *NewEnd = 0;
336
337 llvm::Value *NewPtr = RV.getScalarVal();
338
Anders Carlsson11269042009-05-31 21:53:59 +0000339 if (NullCheckResult) {
Anders Carlssondbee9a52009-06-01 00:05:16 +0000340 NewNull = createBasicBlock("new.null");
341 NewNotNull = createBasicBlock("new.notnull");
342 NewEnd = createBasicBlock("new.end");
343
344 llvm::Value *IsNull =
345 Builder.CreateICmpEQ(NewPtr,
Owen Anderson73e7f802009-07-14 23:10:40 +0000346 VMContext.getNullValue(NewPtr->getType()),
Anders Carlssondbee9a52009-06-01 00:05:16 +0000347 "isnull");
348
349 Builder.CreateCondBr(IsNull, NewNull, NewNotNull);
350 EmitBlock(NewNotNull);
Anders Carlsson11269042009-05-31 21:53:59 +0000351 }
352
Anders Carlssondbee9a52009-06-01 00:05:16 +0000353 NewPtr = Builder.CreateBitCast(NewPtr, ConvertType(E->getType()));
Anders Carlsson11269042009-05-31 21:53:59 +0000354
Anders Carlsson7c294782009-05-31 20:56:36 +0000355 if (AllocType->isPODType()) {
Anders Carlsson26910f62009-06-01 00:26:14 +0000356 if (E->getNumConstructorArgs() > 0) {
Anders Carlsson7c294782009-05-31 20:56:36 +0000357 assert(E->getNumConstructorArgs() == 1 &&
358 "Can only have one argument to initializer of POD type.");
359
360 const Expr *Init = E->getConstructorArg(0);
361
Anders Carlsson5f93ccf2009-05-31 21:07:58 +0000362 if (!hasAggregateLLVMType(AllocType))
Anders Carlsson7c294782009-05-31 20:56:36 +0000363 Builder.CreateStore(EmitScalarExpr(Init), NewPtr);
Anders Carlsson5f93ccf2009-05-31 21:07:58 +0000364 else if (AllocType->isAnyComplexType())
365 EmitComplexExprIntoAddr(Init, NewPtr, AllocType.isVolatileQualified());
Anders Carlssoneb39b432009-05-31 21:12:26 +0000366 else
367 EmitAggExpr(Init, NewPtr, AllocType.isVolatileQualified());
Anders Carlsson7c294782009-05-31 20:56:36 +0000368 }
Anders Carlsson11269042009-05-31 21:53:59 +0000369 } else {
370 // Call the constructor.
371 CXXConstructorDecl *Ctor = E->getConstructor();
Anders Carlsson7c294782009-05-31 20:56:36 +0000372
Anders Carlsson11269042009-05-31 21:53:59 +0000373 EmitCXXConstructorCall(Ctor, Ctor_Complete, NewPtr,
374 E->constructor_arg_begin(),
375 E->constructor_arg_end());
Anders Carlssond5536972009-05-31 20:21:44 +0000376 }
Anders Carlsson11269042009-05-31 21:53:59 +0000377
Anders Carlssondbee9a52009-06-01 00:05:16 +0000378 if (NullCheckResult) {
379 Builder.CreateBr(NewEnd);
380 EmitBlock(NewNull);
381 Builder.CreateBr(NewEnd);
382 EmitBlock(NewEnd);
383
384 llvm::PHINode *PHI = Builder.CreatePHI(NewPtr->getType());
385 PHI->reserveOperandSpace(2);
386 PHI->addIncoming(NewPtr, NewNotNull);
Owen Anderson73e7f802009-07-14 23:10:40 +0000387 PHI->addIncoming(VMContext.getNullValue(NewPtr->getType()), NewNull);
Anders Carlssondbee9a52009-06-01 00:05:16 +0000388
389 NewPtr = PHI;
390 }
391
Anders Carlsson11269042009-05-31 21:53:59 +0000392 return NewPtr;
Anders Carlsson18e88bc2009-05-31 01:40:14 +0000393}
394
Anders Carlsson4811c302009-04-17 01:58:57 +0000395static bool canGenerateCXXstructor(const CXXRecordDecl *RD,
396 ASTContext &Context) {
Anders Carlsson8496c692009-04-15 21:02:13 +0000397 // The class has base classes - we don't support that right now.
398 if (RD->getNumBases() > 0)
399 return false;
400
Argiris Kirtzidisab6e38a2009-06-30 02:36:12 +0000401 for (CXXRecordDecl::field_iterator I = RD->field_begin(), E = RD->field_end();
402 I != E; ++I) {
Anders Carlsson8496c692009-04-15 21:02:13 +0000403 // We don't support ctors for fields that aren't POD.
404 if (!I->getType()->isPODType())
405 return false;
406 }
407
408 return true;
409}
410
Anders Carlsson652951a2009-04-15 15:55:24 +0000411void CodeGenModule::EmitCXXConstructors(const CXXConstructorDecl *D) {
Anders Carlsson4811c302009-04-17 01:58:57 +0000412 if (!canGenerateCXXstructor(D->getParent(), getContext())) {
Anders Carlsson8496c692009-04-15 21:02:13 +0000413 ErrorUnsupported(D, "C++ constructor", true);
414 return;
415 }
Anders Carlsson652951a2009-04-15 15:55:24 +0000416
Anders Carlsson1764af42009-05-05 04:44:02 +0000417 EmitGlobal(GlobalDecl(D, Ctor_Complete));
418 EmitGlobal(GlobalDecl(D, Ctor_Base));
Anders Carlsson652951a2009-04-15 15:55:24 +0000419}
Anders Carlsson890a9fd2009-04-16 23:57:24 +0000420
Anders Carlsson4811c302009-04-17 01:58:57 +0000421void CodeGenModule::EmitCXXConstructor(const CXXConstructorDecl *D,
422 CXXCtorType Type) {
423
424 llvm::Function *Fn = GetAddrOfCXXConstructor(D, Type);
425
426 CodeGenFunction(*this).GenerateCode(D, Fn);
427
428 SetFunctionDefinitionAttributes(D, Fn);
429 SetLLVMFunctionAttributesForDefinition(D, Fn);
430}
431
Anders Carlsson890a9fd2009-04-16 23:57:24 +0000432llvm::Function *
433CodeGenModule::GetAddrOfCXXConstructor(const CXXConstructorDecl *D,
434 CXXCtorType Type) {
435 const llvm::FunctionType *FTy =
436 getTypes().GetFunctionType(getTypes().getFunctionInfo(D), false);
437
438 const char *Name = getMangledCXXCtorName(D, Type);
Chris Lattner80f39cc2009-05-12 21:21:08 +0000439 return cast<llvm::Function>(
440 GetOrCreateLLVMFunction(Name, FTy, GlobalDecl(D, Type)));
Anders Carlsson890a9fd2009-04-16 23:57:24 +0000441}
Anders Carlsson4811c302009-04-17 01:58:57 +0000442
443const char *CodeGenModule::getMangledCXXCtorName(const CXXConstructorDecl *D,
444 CXXCtorType Type) {
445 llvm::SmallString<256> Name;
446 llvm::raw_svector_ostream Out(Name);
447 mangleCXXCtor(D, Type, Context, Out);
448
449 Name += '\0';
450 return UniqueMangledName(Name.begin(), Name.end());
451}
452
453void CodeGenModule::EmitCXXDestructors(const CXXDestructorDecl *D) {
454 if (!canGenerateCXXstructor(D->getParent(), getContext())) {
455 ErrorUnsupported(D, "C++ destructor", true);
456 return;
457 }
458
459 EmitCXXDestructor(D, Dtor_Complete);
460 EmitCXXDestructor(D, Dtor_Base);
461}
462
463void CodeGenModule::EmitCXXDestructor(const CXXDestructorDecl *D,
464 CXXDtorType Type) {
465 llvm::Function *Fn = GetAddrOfCXXDestructor(D, Type);
466
467 CodeGenFunction(*this).GenerateCode(D, Fn);
468
469 SetFunctionDefinitionAttributes(D, Fn);
470 SetLLVMFunctionAttributesForDefinition(D, Fn);
471}
472
473llvm::Function *
474CodeGenModule::GetAddrOfCXXDestructor(const CXXDestructorDecl *D,
475 CXXDtorType Type) {
476 const llvm::FunctionType *FTy =
477 getTypes().GetFunctionType(getTypes().getFunctionInfo(D), false);
478
479 const char *Name = getMangledCXXDtorName(D, Type);
Chris Lattner80f39cc2009-05-12 21:21:08 +0000480 return cast<llvm::Function>(
481 GetOrCreateLLVMFunction(Name, FTy, GlobalDecl(D, Type)));
Anders Carlsson4811c302009-04-17 01:58:57 +0000482}
483
484const char *CodeGenModule::getMangledCXXDtorName(const CXXDestructorDecl *D,
485 CXXDtorType Type) {
486 llvm::SmallString<256> Name;
487 llvm::raw_svector_ostream Out(Name);
488 mangleCXXDtor(D, Type, Context, Out);
489
490 Name += '\0';
491 return UniqueMangledName(Name.begin(), Name.end());
492}
Fariborz Jahanian5400e022009-07-20 23:18:55 +0000493
494/// EmitCtorPrologue - This routine generates necessary code to initialize
495/// base classes and non-static data members belonging to this constructor.
496void CodeGenFunction::EmitCtorPrologue(const CXXConstructorDecl *CD) {
Fariborz Jahaniana0107de2009-07-25 21:12:28 +0000497 const CXXRecordDecl *ClassDecl = cast<CXXRecordDecl>(CD->getDeclContext());
Fariborz Jahanian36a0ec02009-07-30 17:49:11 +0000498 assert(!ClassDecl->isPolymorphic()
Mike Stumpc37c8812009-07-30 21:47:44 +0000499 && "FIXME: virtual table initialization unsupported");
500 assert(ClassDecl->getNumVBases() == 0
501 && "FIXME: virtual base initialization unsupported");
Fariborz Jahanian70277012009-07-28 18:09:28 +0000502
Fariborz Jahaniana0107de2009-07-25 21:12:28 +0000503 for (CXXConstructorDecl::init_const_iterator B = CD->init_begin(),
Fariborz Jahanian5400e022009-07-20 23:18:55 +0000504 E = CD->init_end();
505 B != E; ++B) {
506 CXXBaseOrMemberInitializer *Member = (*B);
507 if (Member->isBaseInitializer()) {
Fariborz Jahaniana0107de2009-07-25 21:12:28 +0000508 llvm::Value *LoadOfThis = LoadCXXThis();
Fariborz Jahanian70277012009-07-28 18:09:28 +0000509 Type *BaseType = Member->getBaseClass();
510 CXXRecordDecl *BaseClassDecl =
Ted Kremenekd00cd9e2009-07-29 21:53:49 +0000511 cast<CXXRecordDecl>(BaseType->getAs<RecordType>()->getDecl());
Fariborz Jahanian70277012009-07-28 18:09:28 +0000512 llvm::Value *V = AddressCXXOfBaseClass(LoadOfThis, ClassDecl,
513 BaseClassDecl);
Fariborz Jahaniana0107de2009-07-25 21:12:28 +0000514 EmitCXXConstructorCall(Member->getConstructor(),
515 Ctor_Complete, V,
516 Member->const_arg_begin(),
517 Member->const_arg_end());
Mike Stump487ce382009-07-30 22:28:39 +0000518 } else {
Fariborz Jahanian5400e022009-07-20 23:18:55 +0000519 // non-static data member initilaizers.
520 FieldDecl *Field = Member->getMember();
521 QualType FieldType = getContext().getCanonicalType((Field)->getType());
522 assert(!getContext().getAsArrayType(FieldType)
523 && "FIXME. Field arrays initialization unsupported");
Fariborz Jahanian56baceb2009-07-24 17:57:02 +0000524
Fariborz Jahanian5400e022009-07-20 23:18:55 +0000525 llvm::Value *LoadOfThis = LoadCXXThis();
526 LValue LHS = EmitLValueForField(LoadOfThis, Field, false, 0);
Ted Kremenekd00cd9e2009-07-29 21:53:49 +0000527 if (FieldType->getAs<RecordType>()) {
Fariborz Jahanian56baceb2009-07-24 17:57:02 +0000528
529 assert(Member->getConstructor() &&
530 "EmitCtorPrologue - no constructor to initialize member");
531 EmitCXXConstructorCall(Member->getConstructor(),
532 Ctor_Complete, LHS.getAddress(),
533 Member->const_arg_begin(),
534 Member->const_arg_end());
535 continue;
536 }
Fariborz Jahanian5400e022009-07-20 23:18:55 +0000537
538 assert(Member->getNumArgs() == 1 && "Initializer count must be 1 only");
Fariborz Jahanian56baceb2009-07-24 17:57:02 +0000539 Expr *RhsExpr = *Member->arg_begin();
Fariborz Jahanian5400e022009-07-20 23:18:55 +0000540 llvm::Value *RHS = EmitScalarExpr(RhsExpr, true);
541 if (LHS.isBitfield())
542 EmitStoreThroughBitfieldLValue(RValue::get(RHS), LHS, FieldType, 0);
543 else
544 EmitStoreThroughLValue(RValue::get(RHS), LHS, FieldType);
545 }
546 }
547}
Fariborz Jahanian36a0ec02009-07-30 17:49:11 +0000548
549/// EmitDtorEpilogue - Emit all code that comes at the end of class's
550/// destructor. This is to call destructors on members and base classes
551/// in reverse order of their construction.
552void CodeGenFunction::EmitDtorEpilogue(const CXXDestructorDecl *DD) {
553 const CXXRecordDecl *ClassDecl = cast<CXXRecordDecl>(DD->getDeclContext());
554 assert(!ClassDecl->isPolymorphic() &&
555 "FIXME. polymorphic destruction not supported");
556 (void)ClassDecl; // prevent warning.
557
558 for (CXXDestructorDecl::destr_const_iterator *B = DD->destr_begin(),
559 *E = DD->destr_end(); B != E; ++B) {
560 uintptr_t BaseOrMember = (*B);
561 if (DD->isMemberToDestroy(BaseOrMember)) {
562 FieldDecl *FD = DD->getMemberToDestroy(BaseOrMember);
563 QualType FieldType = getContext().getCanonicalType((FD)->getType());
564 assert(!getContext().getAsArrayType(FieldType)
565 && "FIXME. Field arrays destruction unsupported");
566 const RecordType *RT = FieldType->getAs<RecordType>();
567 CXXRecordDecl *FieldClassDecl = cast<CXXRecordDecl>(RT->getDecl());
568 if (FieldClassDecl->hasTrivialDestructor())
569 continue;
570 llvm::Value *LoadOfThis = LoadCXXThis();
571 LValue LHS = EmitLValueForField(LoadOfThis, FD, false, 0);
572 EmitCXXDestructorCall(FieldClassDecl->getDestructor(getContext()),
573 Dtor_Complete, LHS.getAddress());
Mike Stump487ce382009-07-30 22:28:39 +0000574 } else {
Fariborz Jahanian36a0ec02009-07-30 17:49:11 +0000575 const RecordType *RT =
576 DD->getAnyBaseClassToDestroy(BaseOrMember)->getAs<RecordType>();
577 CXXRecordDecl *BaseClassDecl = cast<CXXRecordDecl>(RT->getDecl());
578 if (BaseClassDecl->hasTrivialDestructor())
579 continue;
580 llvm::Value *V = AddressCXXOfBaseClass(LoadCXXThis(),
581 ClassDecl,BaseClassDecl);
582 EmitCXXDestructorCall(BaseClassDecl->getDestructor(getContext()),
583 Dtor_Complete, V);
584 }
585 }
586}