blob: 3c3814c70d39c3e681fea20571b66ea57e9190ee [file] [log] [blame]
Reid Spencer5f016e22007-07-11 17:01:13 +00001//===--- CGDecl.cpp - Emit LLVM Code for declarations ---------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner0bc735f2007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Reid Spencer5f016e22007-07-11 17:01:13 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This contains code to emit Decl nodes as LLVM code.
11//
12//===----------------------------------------------------------------------===//
13
Sanjiv Guptacc9b1632008-05-30 10:30:31 +000014#include "CGDebugInfo.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000015#include "CodeGenFunction.h"
Anders Carlsson1a86b332007-10-17 00:52:43 +000016#include "CodeGenModule.h"
Daniel Dunbarde7fb842008-08-11 05:00:27 +000017#include "clang/AST/ASTContext.h"
Daniel Dunbarc4a1dea2008-08-11 05:35:13 +000018#include "clang/AST/Decl.h"
Anders Carlsson19567ee2008-08-25 01:38:19 +000019#include "clang/AST/DeclObjC.h"
Nate Begeman8bd4afe2008-04-19 04:17:09 +000020#include "clang/Basic/SourceManager.h"
Chris Lattner2621fd12008-05-08 05:58:21 +000021#include "clang/Basic/TargetInfo.h"
Anders Carlsson1a86b332007-10-17 00:52:43 +000022#include "llvm/GlobalVariable.h"
Anders Carlsson5d463152008-12-12 07:38:43 +000023#include "llvm/Intrinsics.h"
Mike Stumpdab514f2009-03-04 03:23:46 +000024#include "llvm/Target/TargetData.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000025#include "llvm/Type.h"
26using namespace clang;
27using namespace CodeGen;
28
29
30void CodeGenFunction::EmitDecl(const Decl &D) {
Reid Spencer5f016e22007-07-11 17:01:13 +000031 switch (D.getKind()) {
32 default: assert(0 && "Unknown decl kind!");
Chris Lattneraa9fc462007-10-08 21:37:32 +000033 case Decl::ParmVar:
Reid Spencer5f016e22007-07-11 17:01:13 +000034 assert(0 && "Parmdecls should not be in declstmts!");
Reid Spencer5f016e22007-07-11 17:01:13 +000035 case Decl::Function: // void X();
Argyrios Kyrtzidis35bc0822008-10-15 00:42:39 +000036 case Decl::Record: // struct/union/class X;
Reid Spencer5f016e22007-07-11 17:01:13 +000037 case Decl::Enum: // enum X;
Daniel Dunbar662174c82008-08-29 17:28:43 +000038 case Decl::EnumConstant: // enum ? { X = ? }
Argyrios Kyrtzidis35bc0822008-10-15 00:42:39 +000039 case Decl::CXXRecord: // struct/union/class X; [C++]
Reid Spencer5f016e22007-07-11 17:01:13 +000040 // None of these decls require codegen support.
41 return;
42
Daniel Dunbar662174c82008-08-29 17:28:43 +000043 case Decl::Var: {
44 const VarDecl &VD = cast<VarDecl>(D);
45 assert(VD.isBlockVarDecl() &&
46 "Should not see file-scope variables inside a function!");
47 return EmitBlockVarDecl(VD);
Reid Spencer5f016e22007-07-11 17:01:13 +000048 }
Anders Carlssonfcdbb932008-12-20 21:51:53 +000049
50 case Decl::Typedef: { // typedef int X;
51 const TypedefDecl &TD = cast<TypedefDecl>(D);
52 QualType Ty = TD.getUnderlyingType();
53
54 if (Ty->isVariablyModifiedType())
55 EmitVLASize(Ty);
56 }
Daniel Dunbar662174c82008-08-29 17:28:43 +000057 }
Reid Spencer5f016e22007-07-11 17:01:13 +000058}
59
60/// EmitBlockVarDecl - This method handles emission of any variable declaration
61/// inside a function, including static vars etc.
Steve Naroff248a7532008-04-15 22:42:06 +000062void CodeGenFunction::EmitBlockVarDecl(const VarDecl &D) {
Argyrios Kyrtzidis40b598e2009-06-30 02:34:44 +000063 if (D.hasAttr<AsmLabelAttr>())
Fariborz Jahanianba8639d2009-03-30 20:32:06 +000064 CGM.ErrorUnsupported(&D, "__asm__");
65
Reid Spencer5f016e22007-07-11 17:01:13 +000066 switch (D.getStorageClass()) {
Daniel Dunbar5466c7b2009-04-14 02:25:56 +000067 case VarDecl::None:
68 case VarDecl::Auto:
69 case VarDecl::Register:
70 return EmitLocalBlockVarDecl(D);
Reid Spencer5f016e22007-07-11 17:01:13 +000071 case VarDecl::Static:
Anders Carlsson1a86b332007-10-17 00:52:43 +000072 return EmitStaticBlockVarDecl(D);
Reid Spencer5f016e22007-07-11 17:01:13 +000073 case VarDecl::Extern:
Daniel Dunbar5466c7b2009-04-14 02:25:56 +000074 case VarDecl::PrivateExtern:
Lauro Ramos Venanciofea90b82008-02-16 22:30:38 +000075 // Don't emit it now, allow it to be emitted lazily on its first use.
76 return;
Reid Spencer5f016e22007-07-11 17:01:13 +000077 }
Daniel Dunbar5466c7b2009-04-14 02:25:56 +000078
79 assert(0 && "Unknown storage class");
Reid Spencer5f016e22007-07-11 17:01:13 +000080}
81
Daniel Dunbar0096acf2009-02-25 19:24:29 +000082llvm::GlobalVariable *
83CodeGenFunction::CreateStaticBlockVarDecl(const VarDecl &D,
84 const char *Separator,
85 llvm::GlobalValue::LinkageTypes
86 Linkage) {
Chris Lattner8bcfc5b2008-04-06 23:10:54 +000087 QualType Ty = D.getType();
Eli Friedman3c2b3172008-02-15 12:20:59 +000088 assert(Ty->isConstantSizeType() && "VLAs can't be static");
Nate Begeman8bd4afe2008-04-19 04:17:09 +000089
Anders Carlsson17c35ac2009-04-02 03:29:47 +000090 std::string Name;
91 if (getContext().getLangOptions().CPlusPlus) {
92 Name = CGM.getMangledName(&D);
93 } else {
94 std::string ContextName;
95 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(CurFuncDecl))
96 ContextName = CGM.getMangledName(FD);
97 else if (isa<ObjCMethodDecl>(CurFuncDecl))
Daniel Dunbar0d9c54c2009-07-26 08:32:30 +000098 ContextName = CurFn->getName();
Anders Carlsson17c35ac2009-04-02 03:29:47 +000099 else
100 assert(0 && "Unknown context for block var decl");
101
102 Name = ContextName + Separator + D.getNameAsString();
103 }
Nate Begeman8bd4afe2008-04-19 04:17:09 +0000104
Daniel Dunbar0096acf2009-02-25 19:24:29 +0000105 const llvm::Type *LTy = CGM.getTypes().ConvertTypeForMem(Ty);
Owen Anderson1c431b32009-07-08 19:05:04 +0000106 return new llvm::GlobalVariable(CGM.getModule(), LTy,
107 Ty.isConstant(getContext()), Linkage,
Owen Andersona1cf15f2009-07-14 23:10:40 +0000108 VMContext.getNullValue(LTy), Name,
Owen Anderson1c431b32009-07-08 19:05:04 +0000109 0, D.isThreadSpecified(),
Eli Friedman56ebe502009-04-19 21:05:03 +0000110 Ty.getAddressSpace());
Daniel Dunbar0096acf2009-02-25 19:24:29 +0000111}
112
Daniel Dunbara985b312009-02-25 19:45:19 +0000113void CodeGenFunction::EmitStaticBlockVarDecl(const VarDecl &D) {
Daniel Dunbara985b312009-02-25 19:45:19 +0000114 llvm::Value *&DMEntry = LocalDeclMap[&D];
115 assert(DMEntry == 0 && "Decl already exists in localdeclmap!");
116
117 llvm::GlobalVariable *GV =
118 CreateStaticBlockVarDecl(D, ".", llvm::GlobalValue::InternalLinkage);
119
Daniel Dunbare5731f82009-02-25 20:08:33 +0000120 // Store into LocalDeclMap before generating initializer to handle
121 // circular references.
122 DMEntry = GV;
123
Eli Friedmanc62aad82009-04-20 03:54:15 +0000124 // Make sure to evaluate VLA bounds now so that we have them for later.
Daniel Dunbard286f052009-07-19 06:58:07 +0000125 //
126 // FIXME: Can this happen?
Eli Friedmanc62aad82009-04-20 03:54:15 +0000127 if (D.getType()->isVariablyModifiedType())
128 EmitVLASize(D.getType());
129
Anders Carlssoncc0e3542009-05-18 19:55:29 +0000130 if (D.getType()->isReferenceType()) {
131 CGM.ErrorUnsupported(&D, "static declaration with reference type");
132 return;
133 }
134
Daniel Dunbara985b312009-02-25 19:45:19 +0000135 if (D.getInit()) {
Anders Carlssone9352cc2009-04-08 04:48:15 +0000136 llvm::Constant *Init = CGM.EmitConstantExpr(D.getInit(), D.getType(), this);
Daniel Dunbar0096acf2009-02-25 19:24:29 +0000137
138 // If constant emission failed, then this should be a C++ static
139 // initializer.
140 if (!Init) {
141 if (!getContext().getLangOptions().CPlusPlus)
142 CGM.ErrorUnsupported(D.getInit(), "constant l-value expression");
143 else
144 GenerateStaticCXXBlockVarDeclInit(D, GV);
145 } else {
146 // The initializer may differ in type from the global. Rewrite
Eli Friedman074dda62009-03-04 04:22:58 +0000147 // the global to match the initializer. (We have to do this
148 // because some types, like unions, can't be completely represented
149 // in the LLVM type system.)
Daniel Dunbar0096acf2009-02-25 19:24:29 +0000150 if (GV->getType() != Init->getType()) {
151 llvm::GlobalVariable *OldGV = GV;
152
Owen Anderson1c431b32009-07-08 19:05:04 +0000153 GV = new llvm::GlobalVariable(CGM.getModule(), Init->getType(),
154 OldGV->isConstant(),
Daniel Dunbar0096acf2009-02-25 19:24:29 +0000155 OldGV->getLinkage(), Init, "",
Owen Anderson1c431b32009-07-08 19:05:04 +0000156 0, D.isThreadSpecified(),
Daniel Dunbar0096acf2009-02-25 19:24:29 +0000157 D.getType().getAddressSpace());
158
159 // Steal the name of the old global
160 GV->takeName(OldGV);
161
162 // Replace all uses of the old global with the new global
163 llvm::Constant *NewPtrForOldDecl =
Owen Anderson3c4972d2009-07-29 18:54:39 +0000164 llvm::ConstantExpr::getBitCast(GV, OldGV->getType());
Daniel Dunbar0096acf2009-02-25 19:24:29 +0000165 OldGV->replaceAllUsesWith(NewPtrForOldDecl);
166
167 // Erase the old global, since it is no longer used.
168 OldGV->eraseFromParent();
169 }
170
171 GV->setInitializer(Init);
172 }
173 }
Nate Begeman8bd4afe2008-04-19 04:17:09 +0000174
Daniel Dunbar30510ab2009-02-12 23:32:54 +0000175 // FIXME: Merge attribute handling.
Argyrios Kyrtzidis40b598e2009-06-30 02:34:44 +0000176 if (const AnnotateAttr *AA = D.getAttr<AnnotateAttr>()) {
Nate Begeman8bd4afe2008-04-19 04:17:09 +0000177 SourceManager &SM = CGM.getContext().getSourceManager();
178 llvm::Constant *Ann =
Chris Lattnerf7cf85b2009-01-16 07:36:28 +0000179 CGM.EmitAnnotateAttr(GV, AA,
180 SM.getInstantiationLineNumber(D.getLocation()));
Nate Begeman8bd4afe2008-04-19 04:17:09 +0000181 CGM.AddAnnotation(Ann);
182 }
183
Argyrios Kyrtzidis40b598e2009-06-30 02:34:44 +0000184 if (const SectionAttr *SA = D.getAttr<SectionAttr>())
Daniel Dunbar30510ab2009-02-12 23:32:54 +0000185 GV->setSection(SA->getName());
186
Argyrios Kyrtzidis40b598e2009-06-30 02:34:44 +0000187 if (D.hasAttr<UsedAttr>())
Daniel Dunbar5c61d972009-02-13 22:08:43 +0000188 CGM.AddUsedGlobal(GV);
189
Daniel Dunbare5731f82009-02-25 20:08:33 +0000190 // We may have to cast the constant because of the initializer
191 // mismatch above.
192 //
193 // FIXME: It is really dangerous to store this in the map; if anyone
194 // RAUW's the GV uses of this constant will be invalid.
Eli Friedman26590522008-06-08 01:23:18 +0000195 const llvm::Type *LTy = CGM.getTypes().ConvertTypeForMem(D.getType());
196 const llvm::Type *LPtrTy =
Owen Anderson96e0fc72009-07-29 22:16:19 +0000197 llvm::PointerType::get(LTy, D.getType().getAddressSpace());
Owen Anderson3c4972d2009-07-29 18:54:39 +0000198 DMEntry = llvm::ConstantExpr::getBitCast(GV, LPtrTy);
Sanjiv Gupta686226b2008-06-05 08:59:10 +0000199
200 // Emit global variable debug descriptor for static vars.
Anders Carlssone896d982009-02-13 08:11:52 +0000201 CGDebugInfo *DI = getDebugInfo();
Mike Stump4451bd92009-02-20 00:19:45 +0000202 if (DI) {
Daniel Dunbar66031a52008-10-17 16:15:48 +0000203 DI->setLocation(D.getLocation());
Sanjiv Gupta686226b2008-06-05 08:59:10 +0000204 DI->EmitGlobalVariable(static_cast<llvm::GlobalVariable *>(GV), &D);
205 }
Anders Carlsson1a86b332007-10-17 00:52:43 +0000206}
207
Mike Stumpdab514f2009-03-04 03:23:46 +0000208/// BuildByRefType - This routine changes a __block variable declared as T x
209/// into:
210///
211/// struct {
212/// void *__isa;
213/// void *__forwarding;
214/// int32_t __flags;
215/// int32_t __size;
216/// void *__copy_helper;
217/// void *__destroy_helper;
218/// T x;
219/// } x
220///
221/// Align is the alignment needed in bytes for x.
222const llvm::Type *CodeGenFunction::BuildByRefType(QualType Ty,
223 uint64_t Align) {
224 const llvm::Type *LTy = ConvertType(Ty);
225 bool needsCopyDispose = BlockRequiresCopying(Ty);
226 std::vector<const llvm::Type *> Types(needsCopyDispose*2+5);
227 const llvm::PointerType *PtrToInt8Ty
Owen Anderson96e0fc72009-07-29 22:16:19 +0000228 = llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
Mike Stumpdab514f2009-03-04 03:23:46 +0000229 Types[0] = PtrToInt8Ty;
230 Types[1] = PtrToInt8Ty;
231 Types[2] = llvm::Type::Int32Ty;
232 Types[3] = llvm::Type::Int32Ty;
233 if (needsCopyDispose) {
234 Types[4] = PtrToInt8Ty;
235 Types[5] = PtrToInt8Ty;
236 }
Mike Stump3899a7f2009-06-05 23:26:36 +0000237 // FIXME: Align this on at least an Align boundary, assert if we can't.
238 assert((Align <= unsigned(Target.getPointerAlign(0))/8)
Devang Patelbd0fec92009-06-26 18:33:42 +0000239 && "Can't align more than pointer yet");
Mike Stumpdab514f2009-03-04 03:23:46 +0000240 Types[needsCopyDispose*2 + 4] = LTy;
Owen Anderson96e0fc72009-07-29 22:16:19 +0000241 return llvm::StructType::get(Types, false);
Mike Stumpdab514f2009-03-04 03:23:46 +0000242}
243
Reid Spencer5f016e22007-07-11 17:01:13 +0000244/// EmitLocalBlockVarDecl - Emit code and set up an entry in LocalDeclMap for a
245/// variable declaration with auto, register, or no storage class specifier.
Chris Lattner2621fd12008-05-08 05:58:21 +0000246/// These turn into simple stack objects, or GlobalValues depending on target.
Steve Naroff248a7532008-04-15 22:42:06 +0000247void CodeGenFunction::EmitLocalBlockVarDecl(const VarDecl &D) {
Chris Lattner8bcfc5b2008-04-06 23:10:54 +0000248 QualType Ty = D.getType();
Argyrios Kyrtzidis40b598e2009-06-30 02:34:44 +0000249 bool isByRef = D.hasAttr<BlocksAttr>();
Mike Stump797b6322009-03-05 01:23:13 +0000250 bool needsDispose = false;
Mike Stump3899a7f2009-06-05 23:26:36 +0000251 unsigned Align = 0;
Reid Spencer5f016e22007-07-11 17:01:13 +0000252
253 llvm::Value *DeclPtr;
Eli Friedman3c2b3172008-02-15 12:20:59 +0000254 if (Ty->isConstantSizeType()) {
Chris Lattner2621fd12008-05-08 05:58:21 +0000255 if (!Target.useGlobalsForAutomaticVariables()) {
256 // A normal fixed sized variable becomes an alloca in the entry block.
Eli Friedmana3460ac2009-03-04 04:25:14 +0000257 const llvm::Type *LTy = ConvertTypeForMem(Ty);
Mike Stump3899a7f2009-06-05 23:26:36 +0000258 Align = getContext().getDeclAlignInBytes(&D);
Mike Stumpdab514f2009-03-04 03:23:46 +0000259 if (isByRef)
Mike Stump3899a7f2009-06-05 23:26:36 +0000260 LTy = BuildByRefType(Ty, Align);
Chris Lattnerf1466842009-03-22 00:24:14 +0000261 llvm::AllocaInst *Alloc = CreateTempAlloca(LTy);
262 Alloc->setName(D.getNameAsString().c_str());
263
Mike Stumpdab514f2009-03-04 03:23:46 +0000264 if (isByRef)
Mike Stump3899a7f2009-06-05 23:26:36 +0000265 Align = std::max(Align, unsigned(Target.getPointerAlign(0) / 8));
266 Alloc->setAlignment(Align);
Eli Friedman77eedd62008-05-31 21:20:41 +0000267 DeclPtr = Alloc;
Chris Lattner2621fd12008-05-08 05:58:21 +0000268 } else {
269 // Targets that don't support recursion emit locals as globals.
270 const char *Class =
271 D.getStorageClass() == VarDecl::Register ? ".reg." : ".auto.";
Daniel Dunbara985b312009-02-25 19:45:19 +0000272 DeclPtr = CreateStaticBlockVarDecl(D, Class,
273 llvm::GlobalValue
274 ::InternalLinkage);
Chris Lattner2621fd12008-05-08 05:58:21 +0000275 }
Anders Carlsson60d35412008-12-20 20:46:34 +0000276
Daniel Dunbard286f052009-07-19 06:58:07 +0000277 // FIXME: Can this happen?
Anders Carlsson60d35412008-12-20 20:46:34 +0000278 if (Ty->isVariablyModifiedType())
279 EmitVLASize(Ty);
Reid Spencer5f016e22007-07-11 17:01:13 +0000280 } else {
Daniel Dunbard286f052009-07-19 06:58:07 +0000281 EnsureInsertPoint();
282
Anders Carlsson5ecb1b92009-02-09 20:41:50 +0000283 if (!DidCallStackSave) {
Anders Carlsson5d463152008-12-12 07:38:43 +0000284 // Save the stack.
Owen Andersona1cf15f2009-07-14 23:10:40 +0000285 const llvm::Type *LTy =
Owen Anderson96e0fc72009-07-29 22:16:19 +0000286 llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
Anders Carlsson5d463152008-12-12 07:38:43 +0000287 llvm::Value *Stack = CreateTempAlloca(LTy, "saved_stack");
288
289 llvm::Value *F = CGM.getIntrinsic(llvm::Intrinsic::stacksave);
290 llvm::Value *V = Builder.CreateCall(F);
291
292 Builder.CreateStore(V, Stack);
Anders Carlsson5ecb1b92009-02-09 20:41:50 +0000293
294 DidCallStackSave = true;
Anders Carlsson5d463152008-12-12 07:38:43 +0000295
Anders Carlsson5ecb1b92009-02-09 20:41:50 +0000296 {
297 // Push a cleanup block and restore the stack there.
298 CleanupScope scope(*this);
299
300 V = Builder.CreateLoad(Stack, "tmp");
301 llvm::Value *F = CGM.getIntrinsic(llvm::Intrinsic::stackrestore);
302 Builder.CreateCall(F, V);
303 }
Anders Carlsson5d463152008-12-12 07:38:43 +0000304 }
Anders Carlsson5ecb1b92009-02-09 20:41:50 +0000305
Anders Carlsson5d463152008-12-12 07:38:43 +0000306 // Get the element type.
Eli Friedmana3460ac2009-03-04 04:25:14 +0000307 const llvm::Type *LElemTy = ConvertTypeForMem(Ty);
Anders Carlsson5d463152008-12-12 07:38:43 +0000308 const llvm::Type *LElemPtrTy =
Owen Anderson96e0fc72009-07-29 22:16:19 +0000309 llvm::PointerType::get(LElemTy, D.getType().getAddressSpace());
Anders Carlsson5d463152008-12-12 07:38:43 +0000310
Anders Carlsson60d35412008-12-20 20:46:34 +0000311 llvm::Value *VLASize = EmitVLASize(Ty);
Anders Carlsson5d463152008-12-12 07:38:43 +0000312
Anders Carlsson96f21472009-02-05 19:43:10 +0000313 // Downcast the VLA size expression
314 VLASize = Builder.CreateIntCast(VLASize, llvm::Type::Int32Ty, false, "tmp");
315
Anders Carlsson5d463152008-12-12 07:38:43 +0000316 // Allocate memory for the array.
317 llvm::Value *VLA = Builder.CreateAlloca(llvm::Type::Int8Ty, VLASize, "vla");
Eli Friedman8f39f5e2008-12-20 23:11:59 +0000318 DeclPtr = Builder.CreateBitCast(VLA, LElemPtrTy, "tmp");
Reid Spencer5f016e22007-07-11 17:01:13 +0000319 }
Eli Friedman8f39f5e2008-12-20 23:11:59 +0000320
Reid Spencer5f016e22007-07-11 17:01:13 +0000321 llvm::Value *&DMEntry = LocalDeclMap[&D];
322 assert(DMEntry == 0 && "Decl already exists in localdeclmap!");
323 DMEntry = DeclPtr;
Sanjiv Guptacc9b1632008-05-30 10:30:31 +0000324
325 // Emit debug info for local var declaration.
Anders Carlssone896d982009-02-13 08:11:52 +0000326 if (CGDebugInfo *DI = getDebugInfo()) {
Daniel Dunbar25b6ebf2009-07-19 07:03:11 +0000327 assert(HaveInsertPoint() && "Unexpected unreachable point!");
Daniel Dunbard286f052009-07-19 06:58:07 +0000328
Daniel Dunbar66031a52008-10-17 16:15:48 +0000329 DI->setLocation(D.getLocation());
Sanjiv Gupta4381d4b2009-05-22 13:54:25 +0000330 if (Target.useGlobalsForAutomaticVariables()) {
331 DI->EmitGlobalVariable(static_cast<llvm::GlobalVariable *>(DeclPtr), &D);
332 }
333 else if (isByRef) {
Mike Stumpdab514f2009-03-04 03:23:46 +0000334 llvm::Value *Loc;
335 bool needsCopyDispose = BlockRequiresCopying(Ty);
Mike Stumpfd0e6282009-05-15 00:29:54 +0000336 Loc = Builder.CreateStructGEP(DeclPtr, 1, "forwarding");
337 Loc = Builder.CreateLoad(Loc, false);
338 Loc = Builder.CreateBitCast(Loc, DeclPtr->getType());
339 Loc = Builder.CreateStructGEP(Loc, needsCopyDispose*2+4, "x");
Mike Stumpdab514f2009-03-04 03:23:46 +0000340 DI->EmitDeclareOfAutoVariable(&D, Loc, Builder);
341 } else
342 DI->EmitDeclareOfAutoVariable(&D, DeclPtr, Builder);
Sanjiv Guptacc9b1632008-05-30 10:30:31 +0000343 }
344
Chris Lattner19785962007-07-12 00:39:48 +0000345 // If this local has an initializer, emit it now.
Daniel Dunbard286f052009-07-19 06:58:07 +0000346 const Expr *Init = D.getInit();
347
348 // If we are at an unreachable point, we don't need to emit the initializer
349 // unless it contains a label.
350 if (!HaveInsertPoint()) {
351 if (!ContainsLabel(Init))
352 Init = 0;
353 else
354 EnsureInsertPoint();
355 }
356
357 if (Init) {
Mike Stumpdab514f2009-03-04 03:23:46 +0000358 llvm::Value *Loc = DeclPtr;
359 if (isByRef) {
360 bool needsCopyDispose = BlockRequiresCopying(Ty);
361 Loc = Builder.CreateStructGEP(DeclPtr, needsCopyDispose*2+4, "x");
362 }
Eli Friedman4a187842009-05-27 05:39:06 +0000363 if (Ty->isReferenceType()) {
364 llvm::Value *V = EmitReferenceBindingToExpr(Init, Ty).getScalarVal();
365 EmitStoreOfScalar(V, Loc, false, Ty);
366 } else if (!hasAggregateLLVMType(Init->getType())) {
Chris Lattnerd31beb12007-08-26 07:29:23 +0000367 llvm::Value *V = EmitScalarExpr(Init);
Anders Carlssonb4aa4662009-05-19 18:50:41 +0000368 EmitStoreOfScalar(V, Loc, D.getType().isVolatileQualified(),
369 D.getType());
Chris Lattner9b2dc282008-04-04 16:54:41 +0000370 } else if (Init->getType()->isAnyComplexType()) {
Mike Stumpdab514f2009-03-04 03:23:46 +0000371 EmitComplexExprIntoAddr(Init, Loc, D.getType().isVolatileQualified());
Chris Lattner9a19edf2007-08-26 05:13:54 +0000372 } else {
Mike Stumpdab514f2009-03-04 03:23:46 +0000373 EmitAggExpr(Init, Loc, D.getType().isVolatileQualified());
374 }
375 }
Daniel Dunbard286f052009-07-19 06:58:07 +0000376
Mike Stumpdab514f2009-03-04 03:23:46 +0000377 if (isByRef) {
378 const llvm::PointerType *PtrToInt8Ty
Owen Anderson96e0fc72009-07-29 22:16:19 +0000379 = llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
Mike Stumpdab514f2009-03-04 03:23:46 +0000380
Daniel Dunbard286f052009-07-19 06:58:07 +0000381 EnsureInsertPoint();
Mike Stumpdab514f2009-03-04 03:23:46 +0000382 llvm::Value *isa_field = Builder.CreateStructGEP(DeclPtr, 0);
383 llvm::Value *forwarding_field = Builder.CreateStructGEP(DeclPtr, 1);
384 llvm::Value *flags_field = Builder.CreateStructGEP(DeclPtr, 2);
385 llvm::Value *size_field = Builder.CreateStructGEP(DeclPtr, 3);
386 llvm::Value *V;
387 int flag = 0;
388 int flags = 0;
389
Mike Stumpf4bc3122009-03-07 06:04:31 +0000390 needsDispose = true;
Mike Stump00470a12009-03-05 08:32:30 +0000391
Mike Stumpdab514f2009-03-04 03:23:46 +0000392 if (Ty->isBlockPointerType()) {
393 flag |= BLOCK_FIELD_IS_BLOCK;
394 flags |= BLOCK_HAS_COPY_DISPOSE;
395 } else if (BlockRequiresCopying(Ty)) {
Mike Stumpdab514f2009-03-04 03:23:46 +0000396 flag |= BLOCK_FIELD_IS_OBJECT;
Mike Stump1851b682009-03-06 04:53:30 +0000397 flags |= BLOCK_HAS_COPY_DISPOSE;
Mike Stumpdab514f2009-03-04 03:23:46 +0000398 }
Mike Stumpf4bc3122009-03-07 06:04:31 +0000399
400 // FIXME: Someone double check this.
401 if (Ty.isObjCGCWeak())
402 flag |= BLOCK_FIELD_IS_WEAK;
Mike Stumpdab514f2009-03-04 03:23:46 +0000403
404 int isa = 0;
405 if (flag&BLOCK_FIELD_IS_WEAK)
406 isa = 1;
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000407 V = llvm::ConstantInt::get(llvm::Type::Int32Ty, isa);
Mike Stumpa4f668f2009-03-06 01:33:24 +0000408 V = Builder.CreateIntToPtr(V, PtrToInt8Ty, "isa");
Mike Stumpdab514f2009-03-04 03:23:46 +0000409 Builder.CreateStore(V, isa_field);
410
Mike Stumpa4f668f2009-03-06 01:33:24 +0000411 V = Builder.CreateBitCast(DeclPtr, PtrToInt8Ty, "forwarding");
Mike Stumpdab514f2009-03-04 03:23:46 +0000412 Builder.CreateStore(V, forwarding_field);
413
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000414 V = llvm::ConstantInt::get(llvm::Type::Int32Ty, flags);
Mike Stumpdab514f2009-03-04 03:23:46 +0000415 Builder.CreateStore(V, flags_field);
416
Mike Stump00470a12009-03-05 08:32:30 +0000417 const llvm::Type *V1;
418 V1 = cast<llvm::PointerType>(DeclPtr->getType())->getElementType();
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000419 V = llvm::ConstantInt::get(llvm::Type::Int32Ty,
Mike Stump00470a12009-03-05 08:32:30 +0000420 (CGM.getTargetData().getTypeStoreSizeInBits(V1)
421 / 8));
Mike Stumpdab514f2009-03-04 03:23:46 +0000422 Builder.CreateStore(V, size_field);
423
424 if (flags & BLOCK_HAS_COPY_DISPOSE) {
Mike Stump00470a12009-03-05 08:32:30 +0000425 BlockHasCopyDispose = true;
Mike Stumpdab514f2009-03-04 03:23:46 +0000426 llvm::Value *copy_helper = Builder.CreateStructGEP(DeclPtr, 4);
Mike Stump3899a7f2009-06-05 23:26:36 +0000427 Builder.CreateStore(BuildbyrefCopyHelper(DeclPtr->getType(), flag, Align),
Mike Stumpee094222009-03-06 06:12:24 +0000428 copy_helper);
Mike Stumpdab514f2009-03-04 03:23:46 +0000429
Mike Stump1851b682009-03-06 04:53:30 +0000430 llvm::Value *destroy_helper = Builder.CreateStructGEP(DeclPtr, 5);
Mike Stump3899a7f2009-06-05 23:26:36 +0000431 Builder.CreateStore(BuildbyrefDestroyHelper(DeclPtr->getType(), flag,
432 Align),
Mike Stump1851b682009-03-06 04:53:30 +0000433 destroy_helper);
Chris Lattner9a19edf2007-08-26 05:13:54 +0000434 }
Chris Lattner7f02f722007-08-24 05:35:26 +0000435 }
Anders Carlsson69c68b72009-02-07 23:51:38 +0000436
437 // Handle the cleanup attribute
Argyrios Kyrtzidis40b598e2009-06-30 02:34:44 +0000438 if (const CleanupAttr *CA = D.getAttr<CleanupAttr>()) {
Anders Carlsson69c68b72009-02-07 23:51:38 +0000439 const FunctionDecl *FD = CA->getFunctionDecl();
440
Chris Lattnerb4880ba2009-05-12 21:21:08 +0000441 llvm::Constant* F = CGM.GetAddrOfFunction(GlobalDecl(FD));
Anders Carlsson69c68b72009-02-07 23:51:38 +0000442 assert(F && "Could not find function!");
443
444 CleanupScope scope(*this);
445
Anders Carlssoncabec032009-04-26 00:34:20 +0000446 const CGFunctionInfo &Info = CGM.getTypes().getFunctionInfo(FD);
447
448 // In some cases, the type of the function argument will be different from
449 // the type of the pointer. An example of this is
450 // void f(void* arg);
451 // __attribute__((cleanup(f))) void *g;
452 //
453 // To fix this we insert a bitcast here.
454 QualType ArgTy = Info.arg_begin()->type;
455 DeclPtr = Builder.CreateBitCast(DeclPtr, ConvertType(ArgTy));
456
Anders Carlsson69c68b72009-02-07 23:51:38 +0000457 CallArgList Args;
458 Args.push_back(std::make_pair(RValue::get(DeclPtr),
459 getContext().getPointerType(D.getType())));
Anders Carlssoncabec032009-04-26 00:34:20 +0000460
461 EmitCall(Info, F, Args);
Anders Carlsson69c68b72009-02-07 23:51:38 +0000462 }
Mike Stump797b6322009-03-05 01:23:13 +0000463
Mike Stumpd9e0fae2009-03-05 02:34:38 +0000464 if (needsDispose && CGM.getLangOptions().getGCMode() != LangOptions::GCOnly) {
Mike Stump797b6322009-03-05 01:23:13 +0000465 CleanupScope scope(*this);
Mike Stump1851b682009-03-06 04:53:30 +0000466 llvm::Value *V = Builder.CreateStructGEP(DeclPtr, 1, "forwarding");
467 V = Builder.CreateLoad(V, false);
468 BuildBlockRelease(V);
Mike Stump797b6322009-03-05 01:23:13 +0000469 }
Reid Spencer5f016e22007-07-11 17:01:13 +0000470}
471
Chris Lattner2621fd12008-05-08 05:58:21 +0000472/// Emit an alloca (or GlobalValue depending on target)
473/// for the specified parameter and set up LocalDeclMap.
Daniel Dunbarb7ec2462008-08-16 03:19:19 +0000474void CodeGenFunction::EmitParmDecl(const VarDecl &D, llvm::Value *Arg) {
475 // FIXME: Why isn't ImplicitParamDecl a ParmVarDecl?
Sanjiv Gupta31fc07d2008-10-31 09:52:39 +0000476 assert((isa<ParmVarDecl>(D) || isa<ImplicitParamDecl>(D)) &&
Daniel Dunbarb7ec2462008-08-16 03:19:19 +0000477 "Invalid argument to EmitParmDecl");
Chris Lattner8bcfc5b2008-04-06 23:10:54 +0000478 QualType Ty = D.getType();
Reid Spencer5f016e22007-07-11 17:01:13 +0000479
480 llvm::Value *DeclPtr;
Eli Friedman3c2b3172008-02-15 12:20:59 +0000481 if (!Ty->isConstantSizeType()) {
Reid Spencer5f016e22007-07-11 17:01:13 +0000482 // Variable sized values always are passed by-reference.
483 DeclPtr = Arg;
Reid Spencer5f016e22007-07-11 17:01:13 +0000484 } else {
Dan Gohmand79a7262008-05-22 22:12:56 +0000485 // A fixed sized single-value variable becomes an alloca in the entry block.
Eli Friedmana3460ac2009-03-04 04:25:14 +0000486 const llvm::Type *LTy = ConvertTypeForMem(Ty);
Dan Gohmand79a7262008-05-22 22:12:56 +0000487 if (LTy->isSingleValueType()) {
Reid Spencer5f016e22007-07-11 17:01:13 +0000488 // TODO: Alignment
Chris Lattner39f34e92008-11-24 04:00:27 +0000489 std::string Name = D.getNameAsString();
Daniel Dunbar56273772008-09-17 00:51:38 +0000490 Name += ".addr";
Chris Lattnerf1466842009-03-22 00:24:14 +0000491 DeclPtr = CreateTempAlloca(LTy);
492 DeclPtr->setName(Name.c_str());
Reid Spencer5f016e22007-07-11 17:01:13 +0000493
494 // Store the initial value into the alloca.
Anders Carlssonb4aa4662009-05-19 18:50:41 +0000495 EmitStoreOfScalar(Arg, DeclPtr, Ty.isVolatileQualified(), Ty);
Reid Spencer5f016e22007-07-11 17:01:13 +0000496 } else {
497 // Otherwise, if this is an aggregate, just use the input pointer.
498 DeclPtr = Arg;
499 }
Chris Lattner39f34e92008-11-24 04:00:27 +0000500 Arg->setName(D.getNameAsString());
Reid Spencer5f016e22007-07-11 17:01:13 +0000501 }
502
503 llvm::Value *&DMEntry = LocalDeclMap[&D];
504 assert(DMEntry == 0 && "Decl already exists in localdeclmap!");
505 DMEntry = DeclPtr;
Sanjiv Guptacc9b1632008-05-30 10:30:31 +0000506
507 // Emit debug info for param declaration.
Anders Carlssone896d982009-02-13 08:11:52 +0000508 if (CGDebugInfo *DI = getDebugInfo()) {
Daniel Dunbar66031a52008-10-17 16:15:48 +0000509 DI->setLocation(D.getLocation());
Chris Lattner9c85ba32008-11-10 06:08:34 +0000510 DI->EmitDeclareOfArgVariable(&D, DeclPtr, Builder);
Sanjiv Guptacc9b1632008-05-30 10:30:31 +0000511 }
Reid Spencer5f016e22007-07-11 17:01:13 +0000512}
513