blob: 4b8e733f4d67f830eb15f3728023d7acf49b0c9b [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"
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000023#include "llvm/ADT/StringExtras.h"
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000024using namespace clang;
25using namespace CodeGen;
26
Daniel Dunbardea59212009-02-25 19:24:29 +000027void
28CodeGenFunction::GenerateStaticCXXBlockVarDeclInit(const VarDecl &D,
29 llvm::GlobalVariable *GV) {
30 // FIXME: This should use __cxa_guard_{acquire,release}?
31
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000032 assert(!getContext().getLangOptions().ThreadsafeStatics &&
33 "thread safe statics are currently not supported!");
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000034
Anders Carlsson33e65e52009-04-13 18:03:33 +000035 llvm::SmallString<256> GuardVName;
36 llvm::raw_svector_ostream GuardVOut(GuardVName);
37 mangleGuardVariable(&D, getContext(), GuardVOut);
38
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000039 // Create the guard variable.
40 llvm::GlobalValue *GuardV =
41 new llvm::GlobalVariable(llvm::Type::Int64Ty, false,
Daniel Dunbardea59212009-02-25 19:24:29 +000042 GV->getLinkage(),
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000043 llvm::Constant::getNullValue(llvm::Type::Int64Ty),
Anders Carlsson33e65e52009-04-13 18:03:33 +000044 GuardVName.c_str(),
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000045 &CGM.getModule());
46
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000047 // Load the first byte of the guard variable.
Daniel Dunbardea59212009-02-25 19:24:29 +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.
53 llvm::Value *nullValue = llvm::Constant::getNullValue(llvm::Type::Int8Ty);
54 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
74 Builder.CreateStore(llvm::ConstantInt::get(llvm::Type::Int8Ty, 1),
75 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();
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000109 const llvm::Type *Ty =
Anders Carlssonc5223142009-04-08 20:31:57 +0000110 CGM.getTypes().GetFunctionType(CGM.getTypes().getFunctionInfo(MD),
111 FPT->isVariadic());
Chris Lattner80f39cc2009-05-12 21:21:08 +0000112 llvm::Constant *Callee = CGM.GetAddrOfFunction(GlobalDecl(MD), Ty);
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000113
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000114 llvm::Value *This;
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000115
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000116 if (ME->isArrow())
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000117 This = EmitScalarExpr(ME->getBase());
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000118 else {
119 LValue BaseLV = EmitLValue(ME->getBase());
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000120 This = BaseLV.getAddress();
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000121 }
122
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000123 return EmitCXXMemberCall(MD, Callee, This,
124 CE->arg_begin(), CE->arg_end());
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000125}
Anders Carlsson49d4a572009-04-14 16:58:56 +0000126
Anders Carlsson85eca6f2009-05-27 04:18:27 +0000127RValue
128CodeGenFunction::EmitCXXOperatorMemberCallExpr(const CXXOperatorCallExpr *E,
129 const CXXMethodDecl *MD) {
130 assert(MD->isInstance() &&
131 "Trying to emit a member call expr on a static method!");
132
133
134 const FunctionProtoType *FPT = MD->getType()->getAsFunctionProtoType();
135 const llvm::Type *Ty =
136 CGM.getTypes().GetFunctionType(CGM.getTypes().getFunctionInfo(MD),
137 FPT->isVariadic());
138 llvm::Constant *Callee = CGM.GetAddrOfFunction(GlobalDecl(MD), Ty);
139
140 llvm::Value *This = EmitLValue(E->getArg(0)).getAddress();
141
142 return EmitCXXMemberCall(MD, Callee, This,
143 E->arg_begin() + 1, E->arg_end());
144}
145
Anders Carlsson49d4a572009-04-14 16:58:56 +0000146llvm::Value *CodeGenFunction::LoadCXXThis() {
147 assert(isa<CXXMethodDecl>(CurFuncDecl) &&
148 "Must be in a C++ member function decl to load 'this'");
149 assert(cast<CXXMethodDecl>(CurFuncDecl)->isInstance() &&
150 "Must be in a C++ member function decl to load 'this'");
151
152 // FIXME: What if we're inside a block?
Mike Stumpba2cb0e2009-05-16 07:57:57 +0000153 // ans: See how CodeGenFunction::LoadObjCSelf() uses
154 // CodeGenFunction::BlockForwardSelf() for how to do this.
Anders Carlsson49d4a572009-04-14 16:58:56 +0000155 return Builder.CreateLoad(LocalDeclMap[CXXThisDecl], "this");
156}
Anders Carlsson652951a2009-04-15 15:55:24 +0000157
Anders Carlsson72f48292009-04-17 00:06:03 +0000158void
159CodeGenFunction::EmitCXXConstructorCall(const CXXConstructorDecl *D,
160 CXXCtorType Type,
161 llvm::Value *This,
162 CallExpr::const_arg_iterator ArgBeg,
163 CallExpr::const_arg_iterator ArgEnd) {
Anders Carlssonf91d9f22009-05-11 23:37:08 +0000164 llvm::Value *Callee = CGM.GetAddrOfCXXConstructor(D, Type);
165
166 EmitCXXMemberCall(D, Callee, This, ArgBeg, ArgEnd);
Anders Carlsson72f48292009-04-17 00:06:03 +0000167}
168
Anders Carlssond3f6b162009-05-29 21:03:38 +0000169void CodeGenFunction::EmitCXXDestructorCall(const CXXDestructorDecl *D,
170 CXXDtorType Type,
171 llvm::Value *This) {
172 llvm::Value *Callee = CGM.GetAddrOfCXXDestructor(D, Type);
173
174 EmitCXXMemberCall(D, Callee, This, 0, 0);
175}
176
Anders Carlsson72f48292009-04-17 00:06:03 +0000177void
Anders Carlsson342aadc2009-05-03 17:47:16 +0000178CodeGenFunction::EmitCXXConstructExpr(llvm::Value *Dest,
179 const CXXConstructExpr *E) {
Anders Carlsson72f48292009-04-17 00:06:03 +0000180 assert(Dest && "Must have a destination!");
181
182 const CXXRecordDecl *RD =
183 cast<CXXRecordDecl>(E->getType()->getAsRecordType()->getDecl());
184 if (RD->hasTrivialConstructor())
185 return;
186
187 // Call the constructor.
188 EmitCXXConstructorCall(E->getConstructor(), Ctor_Complete, Dest,
189 E->arg_begin(), E->arg_end());
190}
191
Anders Carlsson7fa1db82009-05-31 00:34:10 +0000192void CodeGenFunction::PushCXXTemporary(const CXXTemporary *Temporary,
193 llvm::Value *Ptr) {
194 LiveTemporaries.push_back(Temporary);
195
196 // Make a cleanup scope and emit the destructor.
197 {
198 CleanupScope Scope(*this);
199
200 EmitCXXDestructorCall(Temporary->getDestructor(), Dtor_Complete, Ptr);
201 }
202}
203
Anders Carlsson2af296a2009-05-30 23:23:33 +0000204RValue
205CodeGenFunction::EmitCXXExprWithTemporaries(const CXXExprWithTemporaries *E,
206 llvm::Value *AggLoc,
207 bool isAggLocVolatile) {
Anders Carlsson7fa1db82009-05-31 00:34:10 +0000208 // Keep track of the current cleanup stack depth.
209 size_t CleanupStackDepth = CleanupEntries.size();
210
211 unsigned OldNumLiveTemporaries = LiveTemporaries.size();
212
Anders Carlsson2af296a2009-05-30 23:23:33 +0000213 RValue RV = EmitAnyExpr(E->getSubExpr(), AggLoc, isAggLocVolatile);
214
Anders Carlsson7fa1db82009-05-31 00:34:10 +0000215 // Go through the temporaries backwards.
216 for (unsigned i = E->getNumTemporaries(); i != 0; --i) {
217 assert(LiveTemporaries.back() == E->getTemporary(i - 1));
218 LiveTemporaries.pop_back();
219 }
220
221 assert(OldNumLiveTemporaries == LiveTemporaries.size() &&
222 "Live temporary stack mismatch!");
Anders Carlsson2af296a2009-05-30 23:23:33 +0000223
Anders Carlsson7fa1db82009-05-31 00:34:10 +0000224 EmitCleanupBlocks(CleanupStackDepth);
225
Anders Carlsson2af296a2009-05-30 23:23:33 +0000226 return RV;
227}
228
Anders Carlsson18e88bc2009-05-31 01:40:14 +0000229llvm::Value *CodeGenFunction::EmitCXXNewExpr(const CXXNewExpr *E) {
Anders Carlssond5536972009-05-31 20:21:44 +0000230 if (E->isArray()) {
231 ErrorUnsupported(E, "new[] expression");
232 return llvm::UndefValue::get(ConvertType(E->getType()));
233 }
234
235 QualType AllocType = E->getAllocatedType();
236 FunctionDecl *NewFD = E->getOperatorNew();
237 const FunctionProtoType *NewFTy = NewFD->getType()->getAsFunctionProtoType();
238
239 CallArgList NewArgs;
240
241 // The allocation size is the first argument.
242 QualType SizeTy = getContext().getSizeType();
243 llvm::Value *AllocSize =
244 llvm::ConstantInt::get(ConvertType(SizeTy),
245 getContext().getTypeSize(AllocType) / 8);
246
247 NewArgs.push_back(std::make_pair(RValue::get(AllocSize), SizeTy));
248
249 // Emit the rest of the arguments.
250 // FIXME: Ideally, this should just use EmitCallArgs.
251 CXXNewExpr::const_arg_iterator NewArg = E->placement_arg_begin();
252
253 // First, use the types from the function type.
254 // We start at 1 here because the first argument (the allocation size)
255 // has already been emitted.
256 for (unsigned i = 1, e = NewFTy->getNumArgs(); i != e; ++i, ++NewArg) {
257 QualType ArgType = NewFTy->getArgType(i);
258
259 assert(getContext().getCanonicalType(ArgType.getNonReferenceType()).
260 getTypePtr() ==
261 getContext().getCanonicalType(NewArg->getType()).getTypePtr() &&
262 "type mismatch in call argument!");
263
264 NewArgs.push_back(std::make_pair(EmitCallArg(*NewArg, ArgType),
265 ArgType));
266
267 }
268
269 // Either we've emitted all the call args, or we have a call to a
270 // variadic function.
271 assert((NewArg == E->placement_arg_end() || NewFTy->isVariadic()) &&
272 "Extra arguments in non-variadic function!");
273
274 // If we still have any arguments, emit them using the type of the argument.
275 for (CXXNewExpr::const_arg_iterator NewArgEnd = E->placement_arg_end();
276 NewArg != NewArgEnd; ++NewArg) {
277 QualType ArgType = NewArg->getType();
278 NewArgs.push_back(std::make_pair(EmitCallArg(*NewArg, ArgType),
279 ArgType));
280 }
281
282 // Emit the call to new.
283 RValue RV =
284 EmitCall(CGM.getTypes().getFunctionInfo(NewFTy->getResultType(), NewArgs),
285 CGM.GetAddrOfFunction(GlobalDecl(NewFD)),
286 NewArgs, NewFD);
287
Anders Carlsson7c294782009-05-31 20:56:36 +0000288 llvm::Value *NewPtr = Builder.CreateBitCast(RV.getScalarVal(),
289 ConvertType(E->getType()));
Anders Carlssond5536972009-05-31 20:21:44 +0000290
Anders Carlsson7c294782009-05-31 20:56:36 +0000291 if (AllocType->isPODType()) {
292 if (E->getNumConstructorArgs() != 0) {
293 assert(E->getNumConstructorArgs() == 1 &&
294 "Can only have one argument to initializer of POD type.");
295
296 const Expr *Init = E->getConstructorArg(0);
297
298 if (!hasAggregateLLVMType(AllocType)) {
299 Builder.CreateStore(EmitScalarExpr(Init), NewPtr);
300 } else {
301 ErrorUnsupported(E, "new expression");
302 return llvm::UndefValue::get(ConvertType(E->getType()));
303 }
304 }
305
306 return NewPtr;
Anders Carlssond5536972009-05-31 20:21:44 +0000307 }
308
Anders Carlsson7c294782009-05-31 20:56:36 +0000309 ErrorUnsupported(E, "new expression with non-POD type");
310 return llvm::UndefValue::get(ConvertType(E->getType()));
Anders Carlsson18e88bc2009-05-31 01:40:14 +0000311}
312
Anders Carlsson4811c302009-04-17 01:58:57 +0000313static bool canGenerateCXXstructor(const CXXRecordDecl *RD,
314 ASTContext &Context) {
Anders Carlsson8496c692009-04-15 21:02:13 +0000315 // The class has base classes - we don't support that right now.
316 if (RD->getNumBases() > 0)
317 return false;
318
319 for (CXXRecordDecl::field_iterator I = RD->field_begin(Context),
320 E = RD->field_end(Context); I != E; ++I) {
321 // We don't support ctors for fields that aren't POD.
322 if (!I->getType()->isPODType())
323 return false;
324 }
325
326 return true;
327}
328
Anders Carlsson652951a2009-04-15 15:55:24 +0000329void CodeGenModule::EmitCXXConstructors(const CXXConstructorDecl *D) {
Anders Carlsson4811c302009-04-17 01:58:57 +0000330 if (!canGenerateCXXstructor(D->getParent(), getContext())) {
Anders Carlsson8496c692009-04-15 21:02:13 +0000331 ErrorUnsupported(D, "C++ constructor", true);
332 return;
333 }
Anders Carlsson652951a2009-04-15 15:55:24 +0000334
Anders Carlsson1764af42009-05-05 04:44:02 +0000335 EmitGlobal(GlobalDecl(D, Ctor_Complete));
336 EmitGlobal(GlobalDecl(D, Ctor_Base));
Anders Carlsson652951a2009-04-15 15:55:24 +0000337}
Anders Carlsson890a9fd2009-04-16 23:57:24 +0000338
Anders Carlsson4811c302009-04-17 01:58:57 +0000339void CodeGenModule::EmitCXXConstructor(const CXXConstructorDecl *D,
340 CXXCtorType Type) {
341
342 llvm::Function *Fn = GetAddrOfCXXConstructor(D, Type);
343
344 CodeGenFunction(*this).GenerateCode(D, Fn);
345
346 SetFunctionDefinitionAttributes(D, Fn);
347 SetLLVMFunctionAttributesForDefinition(D, Fn);
348}
349
Anders Carlsson890a9fd2009-04-16 23:57:24 +0000350llvm::Function *
351CodeGenModule::GetAddrOfCXXConstructor(const CXXConstructorDecl *D,
352 CXXCtorType Type) {
353 const llvm::FunctionType *FTy =
354 getTypes().GetFunctionType(getTypes().getFunctionInfo(D), false);
355
356 const char *Name = getMangledCXXCtorName(D, Type);
Chris Lattner80f39cc2009-05-12 21:21:08 +0000357 return cast<llvm::Function>(
358 GetOrCreateLLVMFunction(Name, FTy, GlobalDecl(D, Type)));
Anders Carlsson890a9fd2009-04-16 23:57:24 +0000359}
Anders Carlsson4811c302009-04-17 01:58:57 +0000360
361const char *CodeGenModule::getMangledCXXCtorName(const CXXConstructorDecl *D,
362 CXXCtorType Type) {
363 llvm::SmallString<256> Name;
364 llvm::raw_svector_ostream Out(Name);
365 mangleCXXCtor(D, Type, Context, Out);
366
367 Name += '\0';
368 return UniqueMangledName(Name.begin(), Name.end());
369}
370
371void CodeGenModule::EmitCXXDestructors(const CXXDestructorDecl *D) {
372 if (!canGenerateCXXstructor(D->getParent(), getContext())) {
373 ErrorUnsupported(D, "C++ destructor", true);
374 return;
375 }
376
377 EmitCXXDestructor(D, Dtor_Complete);
378 EmitCXXDestructor(D, Dtor_Base);
379}
380
381void CodeGenModule::EmitCXXDestructor(const CXXDestructorDecl *D,
382 CXXDtorType Type) {
383 llvm::Function *Fn = GetAddrOfCXXDestructor(D, Type);
384
385 CodeGenFunction(*this).GenerateCode(D, Fn);
386
387 SetFunctionDefinitionAttributes(D, Fn);
388 SetLLVMFunctionAttributesForDefinition(D, Fn);
389}
390
391llvm::Function *
392CodeGenModule::GetAddrOfCXXDestructor(const CXXDestructorDecl *D,
393 CXXDtorType Type) {
394 const llvm::FunctionType *FTy =
395 getTypes().GetFunctionType(getTypes().getFunctionInfo(D), false);
396
397 const char *Name = getMangledCXXDtorName(D, Type);
Chris Lattner80f39cc2009-05-12 21:21:08 +0000398 return cast<llvm::Function>(
399 GetOrCreateLLVMFunction(Name, FTy, GlobalDecl(D, Type)));
Anders Carlsson4811c302009-04-17 01:58:57 +0000400}
401
402const char *CodeGenModule::getMangledCXXDtorName(const CXXDestructorDecl *D,
403 CXXDtorType Type) {
404 llvm::SmallString<256> Name;
405 llvm::raw_svector_ostream Out(Name);
406 mangleCXXDtor(D, Type, Context, Out);
407
408 Name += '\0';
409 return UniqueMangledName(Name.begin(), Name.end());
410}