blob: 21cea75da471a42b1febd4b839221935c357c8d8 [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"
20#include "clang/AST/Decl.h"
Anders Carlsson7a9b2982009-04-03 22:50:24 +000021#include "clang/AST/DeclCXX.h"
Anders Carlsson4715ebb2008-08-23 19:42:54 +000022#include "clang/AST/DeclObjC.h"
Owen Anderson96bcdd42009-07-08 01:29:18 +000023#include "llvm/Module.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 Anderson96bcdd42009-07-08 01:29:18 +000042 new llvm::GlobalVariable(CGM.getModule().getContext(),
43 llvm::Type::Int64Ty, false,
Daniel Dunbardea59212009-02-25 19:24:29 +000044 GV->getLinkage(),
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000045 llvm::Constant::getNullValue(llvm::Type::Int64Ty),
Anders Carlsson33e65e52009-04-13 18:03:33 +000046 GuardVName.c_str(),
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000047 &CGM.getModule());
48
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000049 // Load the first byte of the guard variable.
Daniel Dunbardea59212009-02-25 19:24:29 +000050 const llvm::Type *PtrTy = llvm::PointerType::get(llvm::Type::Int8Ty, 0);
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000051 llvm::Value *V = Builder.CreateLoad(Builder.CreateBitCast(GuardV, PtrTy),
52 "tmp");
53
54 // Compare it against 0.
55 llvm::Value *nullValue = llvm::Constant::getNullValue(llvm::Type::Int8Ty);
56 llvm::Value *ICmp = Builder.CreateICmpEQ(V, nullValue , "tobool");
57
Daniel Dunbar72f96552008-11-11 02:29:29 +000058 llvm::BasicBlock *InitBlock = createBasicBlock("init");
Daniel Dunbar6e3a10c2008-11-13 01:38:36 +000059 llvm::BasicBlock *EndBlock = createBasicBlock("init.end");
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000060
61 // If the guard variable is 0, jump to the initializer code.
62 Builder.CreateCondBr(ICmp, InitBlock, EndBlock);
63
64 EmitBlock(InitBlock);
65
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000066 const Expr *Init = D.getInit();
67 if (!hasAggregateLLVMType(Init->getType())) {
68 llvm::Value *V = EmitScalarExpr(Init);
69 Builder.CreateStore(V, GV, D.getType().isVolatileQualified());
70 } else if (Init->getType()->isAnyComplexType()) {
71 EmitComplexExprIntoAddr(Init, GV, D.getType().isVolatileQualified());
72 } else {
73 EmitAggExpr(Init, GV, D.getType().isVolatileQualified());
74 }
75
76 Builder.CreateStore(llvm::ConstantInt::get(llvm::Type::Int8Ty, 1),
77 Builder.CreateBitCast(GuardV, PtrTy));
78
79 EmitBlock(EndBlock);
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000080}
81
Anders Carlssonf91d9f22009-05-11 23:37:08 +000082RValue CodeGenFunction::EmitCXXMemberCall(const CXXMethodDecl *MD,
83 llvm::Value *Callee,
84 llvm::Value *This,
85 CallExpr::const_arg_iterator ArgBeg,
86 CallExpr::const_arg_iterator ArgEnd) {
87 assert(MD->isInstance() &&
88 "Trying to emit a member call expr on a static method!");
89
90 const FunctionProtoType *FPT = MD->getType()->getAsFunctionProtoType();
91
92 CallArgList Args;
93
94 // Push the this ptr.
95 Args.push_back(std::make_pair(RValue::get(This),
96 MD->getThisType(getContext())));
97
98 // And the rest of the call args
99 EmitCallArgs(Args, FPT, ArgBeg, ArgEnd);
100
101 QualType ResultType = MD->getType()->getAsFunctionType()->getResultType();
102 return EmitCall(CGM.getTypes().getFunctionInfo(ResultType, Args),
103 Callee, Args, MD);
104}
105
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000106RValue CodeGenFunction::EmitCXXMemberCallExpr(const CXXMemberCallExpr *CE) {
107 const MemberExpr *ME = cast<MemberExpr>(CE->getCallee());
108 const CXXMethodDecl *MD = cast<CXXMethodDecl>(ME->getMemberDecl());
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000109
Anders Carlssonc5223142009-04-08 20:31:57 +0000110 const FunctionProtoType *FPT = MD->getType()->getAsFunctionProtoType();
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000111 const llvm::Type *Ty =
Anders Carlssonc5223142009-04-08 20:31:57 +0000112 CGM.getTypes().GetFunctionType(CGM.getTypes().getFunctionInfo(MD),
113 FPT->isVariadic());
Chris Lattner80f39cc2009-05-12 21:21:08 +0000114 llvm::Constant *Callee = CGM.GetAddrOfFunction(GlobalDecl(MD), Ty);
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000115
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000116 llvm::Value *This;
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000117
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000118 if (ME->isArrow())
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000119 This = EmitScalarExpr(ME->getBase());
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000120 else {
121 LValue BaseLV = EmitLValue(ME->getBase());
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000122 This = BaseLV.getAddress();
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000123 }
124
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000125 return EmitCXXMemberCall(MD, Callee, This,
126 CE->arg_begin(), CE->arg_end());
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000127}
Anders Carlsson49d4a572009-04-14 16:58:56 +0000128
Anders Carlsson85eca6f2009-05-27 04:18:27 +0000129RValue
130CodeGenFunction::EmitCXXOperatorMemberCallExpr(const CXXOperatorCallExpr *E,
131 const CXXMethodDecl *MD) {
132 assert(MD->isInstance() &&
133 "Trying to emit a member call expr on a static method!");
134
135
136 const FunctionProtoType *FPT = MD->getType()->getAsFunctionProtoType();
137 const llvm::Type *Ty =
138 CGM.getTypes().GetFunctionType(CGM.getTypes().getFunctionInfo(MD),
139 FPT->isVariadic());
140 llvm::Constant *Callee = CGM.GetAddrOfFunction(GlobalDecl(MD), Ty);
141
142 llvm::Value *This = EmitLValue(E->getArg(0)).getAddress();
143
144 return EmitCXXMemberCall(MD, Callee, This,
145 E->arg_begin() + 1, E->arg_end());
146}
147
Anders Carlsson49d4a572009-04-14 16:58:56 +0000148llvm::Value *CodeGenFunction::LoadCXXThis() {
149 assert(isa<CXXMethodDecl>(CurFuncDecl) &&
150 "Must be in a C++ member function decl to load 'this'");
151 assert(cast<CXXMethodDecl>(CurFuncDecl)->isInstance() &&
152 "Must be in a C++ member function decl to load 'this'");
153
154 // FIXME: What if we're inside a block?
Mike Stumpba2cb0e2009-05-16 07:57:57 +0000155 // ans: See how CodeGenFunction::LoadObjCSelf() uses
156 // CodeGenFunction::BlockForwardSelf() for how to do this.
Anders Carlsson49d4a572009-04-14 16:58:56 +0000157 return Builder.CreateLoad(LocalDeclMap[CXXThisDecl], "this");
158}
Anders Carlsson652951a2009-04-15 15:55:24 +0000159
Anders Carlsson72f48292009-04-17 00:06:03 +0000160void
161CodeGenFunction::EmitCXXConstructorCall(const CXXConstructorDecl *D,
162 CXXCtorType Type,
163 llvm::Value *This,
164 CallExpr::const_arg_iterator ArgBeg,
165 CallExpr::const_arg_iterator ArgEnd) {
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000166 llvm::Value *Callee = CGM.GetAddrOfCXXConstructor(D, Type);
167
168 EmitCXXMemberCall(D, Callee, This, ArgBeg, ArgEnd);
Anders Carlsson72f48292009-04-17 00:06:03 +0000169}
170
Anders Carlssond3f6b162009-05-29 21:03:38 +0000171void CodeGenFunction::EmitCXXDestructorCall(const CXXDestructorDecl *D,
172 CXXDtorType Type,
173 llvm::Value *This) {
174 llvm::Value *Callee = CGM.GetAddrOfCXXDestructor(D, Type);
175
176 EmitCXXMemberCall(D, Callee, This, 0, 0);
177}
178
Anders Carlsson72f48292009-04-17 00:06:03 +0000179void
Anders Carlsson342aadc2009-05-03 17:47:16 +0000180CodeGenFunction::EmitCXXConstructExpr(llvm::Value *Dest,
181 const CXXConstructExpr *E) {
Anders Carlsson72f48292009-04-17 00:06:03 +0000182 assert(Dest && "Must have a destination!");
183
184 const CXXRecordDecl *RD =
185 cast<CXXRecordDecl>(E->getType()->getAsRecordType()->getDecl());
186 if (RD->hasTrivialConstructor())
187 return;
188
189 // Call the constructor.
190 EmitCXXConstructorCall(E->getConstructor(), Ctor_Complete, Dest,
191 E->arg_begin(), E->arg_end());
192}
193
Anders Carlsson18e88bc2009-05-31 01:40:14 +0000194llvm::Value *CodeGenFunction::EmitCXXNewExpr(const CXXNewExpr *E) {
Anders Carlssond5536972009-05-31 20:21:44 +0000195 if (E->isArray()) {
196 ErrorUnsupported(E, "new[] expression");
197 return llvm::UndefValue::get(ConvertType(E->getType()));
198 }
199
200 QualType AllocType = E->getAllocatedType();
201 FunctionDecl *NewFD = E->getOperatorNew();
202 const FunctionProtoType *NewFTy = NewFD->getType()->getAsFunctionProtoType();
203
204 CallArgList NewArgs;
205
206 // The allocation size is the first argument.
207 QualType SizeTy = getContext().getSizeType();
208 llvm::Value *AllocSize =
209 llvm::ConstantInt::get(ConvertType(SizeTy),
210 getContext().getTypeSize(AllocType) / 8);
211
212 NewArgs.push_back(std::make_pair(RValue::get(AllocSize), SizeTy));
213
214 // Emit the rest of the arguments.
215 // FIXME: Ideally, this should just use EmitCallArgs.
216 CXXNewExpr::const_arg_iterator NewArg = E->placement_arg_begin();
217
218 // First, use the types from the function type.
219 // We start at 1 here because the first argument (the allocation size)
220 // has already been emitted.
221 for (unsigned i = 1, e = NewFTy->getNumArgs(); i != e; ++i, ++NewArg) {
222 QualType ArgType = NewFTy->getArgType(i);
223
224 assert(getContext().getCanonicalType(ArgType.getNonReferenceType()).
225 getTypePtr() ==
226 getContext().getCanonicalType(NewArg->getType()).getTypePtr() &&
227 "type mismatch in call argument!");
228
229 NewArgs.push_back(std::make_pair(EmitCallArg(*NewArg, ArgType),
230 ArgType));
231
232 }
233
234 // Either we've emitted all the call args, or we have a call to a
235 // variadic function.
236 assert((NewArg == E->placement_arg_end() || NewFTy->isVariadic()) &&
237 "Extra arguments in non-variadic function!");
238
239 // If we still have any arguments, emit them using the type of the argument.
240 for (CXXNewExpr::const_arg_iterator NewArgEnd = E->placement_arg_end();
241 NewArg != NewArgEnd; ++NewArg) {
242 QualType ArgType = NewArg->getType();
243 NewArgs.push_back(std::make_pair(EmitCallArg(*NewArg, ArgType),
244 ArgType));
245 }
246
247 // Emit the call to new.
248 RValue RV =
249 EmitCall(CGM.getTypes().getFunctionInfo(NewFTy->getResultType(), NewArgs),
250 CGM.GetAddrOfFunction(GlobalDecl(NewFD)),
251 NewArgs, NewFD);
252
Anders Carlsson11269042009-05-31 21:53:59 +0000253 // If an allocation function is declared with an empty exception specification
254 // it returns null to indicate failure to allocate storage. [expr.new]p13.
255 // (We don't need to check for null when there's no new initializer and
256 // we're allocating a POD type).
257 bool NullCheckResult = NewFTy->hasEmptyExceptionSpec() &&
258 !(AllocType->isPODType() && !E->hasInitializer());
Anders Carlssond5536972009-05-31 20:21:44 +0000259
Anders Carlssondbee9a52009-06-01 00:05:16 +0000260 llvm::BasicBlock *NewNull = 0;
261 llvm::BasicBlock *NewNotNull = 0;
262 llvm::BasicBlock *NewEnd = 0;
263
264 llvm::Value *NewPtr = RV.getScalarVal();
265
Anders Carlsson11269042009-05-31 21:53:59 +0000266 if (NullCheckResult) {
Anders Carlssondbee9a52009-06-01 00:05:16 +0000267 NewNull = createBasicBlock("new.null");
268 NewNotNull = createBasicBlock("new.notnull");
269 NewEnd = createBasicBlock("new.end");
270
271 llvm::Value *IsNull =
272 Builder.CreateICmpEQ(NewPtr,
273 llvm::Constant::getNullValue(NewPtr->getType()),
274 "isnull");
275
276 Builder.CreateCondBr(IsNull, NewNull, NewNotNull);
277 EmitBlock(NewNotNull);
Anders Carlsson11269042009-05-31 21:53:59 +0000278 }
279
Anders Carlssondbee9a52009-06-01 00:05:16 +0000280 NewPtr = Builder.CreateBitCast(NewPtr, ConvertType(E->getType()));
Anders Carlsson11269042009-05-31 21:53:59 +0000281
Anders Carlsson7c294782009-05-31 20:56:36 +0000282 if (AllocType->isPODType()) {
Anders Carlsson26910f62009-06-01 00:26:14 +0000283 if (E->getNumConstructorArgs() > 0) {
Anders Carlsson7c294782009-05-31 20:56:36 +0000284 assert(E->getNumConstructorArgs() == 1 &&
285 "Can only have one argument to initializer of POD type.");
286
287 const Expr *Init = E->getConstructorArg(0);
288
Anders Carlsson5f93ccf2009-05-31 21:07:58 +0000289 if (!hasAggregateLLVMType(AllocType))
Anders Carlsson7c294782009-05-31 20:56:36 +0000290 Builder.CreateStore(EmitScalarExpr(Init), NewPtr);
Anders Carlsson5f93ccf2009-05-31 21:07:58 +0000291 else if (AllocType->isAnyComplexType())
292 EmitComplexExprIntoAddr(Init, NewPtr, AllocType.isVolatileQualified());
Anders Carlssoneb39b432009-05-31 21:12:26 +0000293 else
294 EmitAggExpr(Init, NewPtr, AllocType.isVolatileQualified());
Anders Carlsson7c294782009-05-31 20:56:36 +0000295 }
Anders Carlsson11269042009-05-31 21:53:59 +0000296 } else {
297 // Call the constructor.
298 CXXConstructorDecl *Ctor = E->getConstructor();
Anders Carlsson7c294782009-05-31 20:56:36 +0000299
Anders Carlsson11269042009-05-31 21:53:59 +0000300 EmitCXXConstructorCall(Ctor, Ctor_Complete, NewPtr,
301 E->constructor_arg_begin(),
302 E->constructor_arg_end());
Anders Carlssond5536972009-05-31 20:21:44 +0000303 }
Anders Carlsson11269042009-05-31 21:53:59 +0000304
Anders Carlssondbee9a52009-06-01 00:05:16 +0000305 if (NullCheckResult) {
306 Builder.CreateBr(NewEnd);
307 EmitBlock(NewNull);
308 Builder.CreateBr(NewEnd);
309 EmitBlock(NewEnd);
310
311 llvm::PHINode *PHI = Builder.CreatePHI(NewPtr->getType());
312 PHI->reserveOperandSpace(2);
313 PHI->addIncoming(NewPtr, NewNotNull);
314 PHI->addIncoming(llvm::Constant::getNullValue(NewPtr->getType()), NewNull);
315
316 NewPtr = PHI;
317 }
318
Anders Carlsson11269042009-05-31 21:53:59 +0000319 return NewPtr;
Anders Carlsson18e88bc2009-05-31 01:40:14 +0000320}
321
Anders Carlsson4811c302009-04-17 01:58:57 +0000322static bool canGenerateCXXstructor(const CXXRecordDecl *RD,
323 ASTContext &Context) {
Anders Carlsson8496c692009-04-15 21:02:13 +0000324 // The class has base classes - we don't support that right now.
325 if (RD->getNumBases() > 0)
326 return false;
327
Argiris Kirtzidisab6e38a2009-06-30 02:36:12 +0000328 for (CXXRecordDecl::field_iterator I = RD->field_begin(), E = RD->field_end();
329 I != E; ++I) {
Anders Carlsson8496c692009-04-15 21:02:13 +0000330 // We don't support ctors for fields that aren't POD.
331 if (!I->getType()->isPODType())
332 return false;
333 }
334
335 return true;
336}
337
Anders Carlsson652951a2009-04-15 15:55:24 +0000338void CodeGenModule::EmitCXXConstructors(const CXXConstructorDecl *D) {
Anders Carlsson4811c302009-04-17 01:58:57 +0000339 if (!canGenerateCXXstructor(D->getParent(), getContext())) {
Anders Carlsson8496c692009-04-15 21:02:13 +0000340 ErrorUnsupported(D, "C++ constructor", true);
341 return;
342 }
Anders Carlsson652951a2009-04-15 15:55:24 +0000343
Anders Carlsson1764af42009-05-05 04:44:02 +0000344 EmitGlobal(GlobalDecl(D, Ctor_Complete));
345 EmitGlobal(GlobalDecl(D, Ctor_Base));
Anders Carlsson652951a2009-04-15 15:55:24 +0000346}
Anders Carlsson890a9fd2009-04-16 23:57:24 +0000347
Anders Carlsson4811c302009-04-17 01:58:57 +0000348void CodeGenModule::EmitCXXConstructor(const CXXConstructorDecl *D,
349 CXXCtorType Type) {
350
351 llvm::Function *Fn = GetAddrOfCXXConstructor(D, Type);
352
353 CodeGenFunction(*this).GenerateCode(D, Fn);
354
355 SetFunctionDefinitionAttributes(D, Fn);
356 SetLLVMFunctionAttributesForDefinition(D, Fn);
357}
358
Anders Carlsson890a9fd2009-04-16 23:57:24 +0000359llvm::Function *
360CodeGenModule::GetAddrOfCXXConstructor(const CXXConstructorDecl *D,
361 CXXCtorType Type) {
362 const llvm::FunctionType *FTy =
363 getTypes().GetFunctionType(getTypes().getFunctionInfo(D), false);
364
365 const char *Name = getMangledCXXCtorName(D, Type);
Chris Lattner80f39cc2009-05-12 21:21:08 +0000366 return cast<llvm::Function>(
367 GetOrCreateLLVMFunction(Name, FTy, GlobalDecl(D, Type)));
Anders Carlsson890a9fd2009-04-16 23:57:24 +0000368}
Anders Carlsson4811c302009-04-17 01:58:57 +0000369
370const char *CodeGenModule::getMangledCXXCtorName(const CXXConstructorDecl *D,
371 CXXCtorType Type) {
372 llvm::SmallString<256> Name;
373 llvm::raw_svector_ostream Out(Name);
374 mangleCXXCtor(D, Type, Context, Out);
375
376 Name += '\0';
377 return UniqueMangledName(Name.begin(), Name.end());
378}
379
380void CodeGenModule::EmitCXXDestructors(const CXXDestructorDecl *D) {
381 if (!canGenerateCXXstructor(D->getParent(), getContext())) {
382 ErrorUnsupported(D, "C++ destructor", true);
383 return;
384 }
385
386 EmitCXXDestructor(D, Dtor_Complete);
387 EmitCXXDestructor(D, Dtor_Base);
388}
389
390void CodeGenModule::EmitCXXDestructor(const CXXDestructorDecl *D,
391 CXXDtorType Type) {
392 llvm::Function *Fn = GetAddrOfCXXDestructor(D, Type);
393
394 CodeGenFunction(*this).GenerateCode(D, Fn);
395
396 SetFunctionDefinitionAttributes(D, Fn);
397 SetLLVMFunctionAttributesForDefinition(D, Fn);
398}
399
400llvm::Function *
401CodeGenModule::GetAddrOfCXXDestructor(const CXXDestructorDecl *D,
402 CXXDtorType Type) {
403 const llvm::FunctionType *FTy =
404 getTypes().GetFunctionType(getTypes().getFunctionInfo(D), false);
405
406 const char *Name = getMangledCXXDtorName(D, Type);
Chris Lattner80f39cc2009-05-12 21:21:08 +0000407 return cast<llvm::Function>(
408 GetOrCreateLLVMFunction(Name, FTy, GlobalDecl(D, Type)));
Anders Carlsson4811c302009-04-17 01:58:57 +0000409}
410
411const char *CodeGenModule::getMangledCXXDtorName(const CXXDestructorDecl *D,
412 CXXDtorType Type) {
413 llvm::SmallString<256> Name;
414 llvm::raw_svector_ostream Out(Name);
415 mangleCXXDtor(D, Type, Context, Out);
416
417 Name += '\0';
418 return UniqueMangledName(Name.begin(), Name.end());
419}