blob: 0ca2ad351c9a9bc94fa36633bf98855dcec125c9 [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"
Reid Spencer5f016e22007-07-11 17:01:13 +000024#include "llvm/Type.h"
25using namespace clang;
26using namespace CodeGen;
27
28
29void CodeGenFunction::EmitDecl(const Decl &D) {
Reid Spencer5f016e22007-07-11 17:01:13 +000030 switch (D.getKind()) {
31 default: assert(0 && "Unknown decl kind!");
Chris Lattneraa9fc462007-10-08 21:37:32 +000032 case Decl::ParmVar:
Reid Spencer5f016e22007-07-11 17:01:13 +000033 assert(0 && "Parmdecls should not be in declstmts!");
Reid Spencer5f016e22007-07-11 17:01:13 +000034 case Decl::Function: // void X();
Argyrios Kyrtzidis35bc0822008-10-15 00:42:39 +000035 case Decl::Record: // struct/union/class X;
Reid Spencer5f016e22007-07-11 17:01:13 +000036 case Decl::Enum: // enum X;
Daniel Dunbar662174c82008-08-29 17:28:43 +000037 case Decl::EnumConstant: // enum ? { X = ? }
Argyrios Kyrtzidis35bc0822008-10-15 00:42:39 +000038 case Decl::CXXRecord: // struct/union/class X; [C++]
Reid Spencer5f016e22007-07-11 17:01:13 +000039 // None of these decls require codegen support.
40 return;
41
Daniel Dunbar662174c82008-08-29 17:28:43 +000042 case Decl::Var: {
43 const VarDecl &VD = cast<VarDecl>(D);
44 assert(VD.isBlockVarDecl() &&
45 "Should not see file-scope variables inside a function!");
46 return EmitBlockVarDecl(VD);
Reid Spencer5f016e22007-07-11 17:01:13 +000047 }
Anders Carlssonfcdbb932008-12-20 21:51:53 +000048
49 case Decl::Typedef: { // typedef int X;
50 const TypedefDecl &TD = cast<TypedefDecl>(D);
51 QualType Ty = TD.getUnderlyingType();
52
53 if (Ty->isVariablyModifiedType())
54 EmitVLASize(Ty);
55 }
Daniel Dunbar662174c82008-08-29 17:28:43 +000056 }
Reid Spencer5f016e22007-07-11 17:01:13 +000057}
58
59/// EmitBlockVarDecl - This method handles emission of any variable declaration
60/// inside a function, including static vars etc.
Steve Naroff248a7532008-04-15 22:42:06 +000061void CodeGenFunction::EmitBlockVarDecl(const VarDecl &D) {
Reid Spencer5f016e22007-07-11 17:01:13 +000062 switch (D.getStorageClass()) {
63 case VarDecl::Static:
Anders Carlsson1a86b332007-10-17 00:52:43 +000064 return EmitStaticBlockVarDecl(D);
Reid Spencer5f016e22007-07-11 17:01:13 +000065 case VarDecl::Extern:
Lauro Ramos Venanciofea90b82008-02-16 22:30:38 +000066 // Don't emit it now, allow it to be emitted lazily on its first use.
67 return;
Reid Spencer5f016e22007-07-11 17:01:13 +000068 default:
69 assert((D.getStorageClass() == VarDecl::None ||
70 D.getStorageClass() == VarDecl::Auto ||
71 D.getStorageClass() == VarDecl::Register) &&
72 "Unknown storage class");
73 return EmitLocalBlockVarDecl(D);
74 }
75}
76
Chris Lattner2621fd12008-05-08 05:58:21 +000077llvm::GlobalValue *
78CodeGenFunction::GenerateStaticBlockVarDecl(const VarDecl &D,
79 bool NoInit,
Sanjiv Gupta45206ec2009-02-03 18:07:49 +000080 const char *Separator,
81 llvm::GlobalValue
82 ::LinkageTypes Linkage) {
Chris Lattner8bcfc5b2008-04-06 23:10:54 +000083 QualType Ty = D.getType();
Eli Friedman3c2b3172008-02-15 12:20:59 +000084 assert(Ty->isConstantSizeType() && "VLAs can't be static");
Anders Carlsson1a86b332007-10-17 00:52:43 +000085
Chris Lattner19009e62008-01-09 18:47:25 +000086 const llvm::Type *LTy = CGM.getTypes().ConvertTypeForMem(Ty);
Anders Carlsson1a86b332007-10-17 00:52:43 +000087 llvm::Constant *Init = 0;
Chris Lattner2621fd12008-05-08 05:58:21 +000088 if ((D.getInit() == 0) || NoInit) {
Anders Carlsson1a86b332007-10-17 00:52:43 +000089 Init = llvm::Constant::getNullValue(LTy);
Oliver Hunt28247232007-12-02 00:11:25 +000090 } else {
Daniel Dunbard60f2fb2009-02-17 18:43:32 +000091 Init = CGM.EmitConstantExpr(D.getInit(), this);
92
93 // If constant emission failed, then this should be a C++ static
94 // initializer.
95 if (!Init) {
96 if (!getContext().getLangOptions().CPlusPlus) {
97 CGM.ErrorUnsupported(D.getInit(), "constant l-value expression");
98 Init = llvm::Constant::getNullValue(LTy);
99 } else {
100 return GenerateStaticCXXBlockVarDecl(D);
101 }
Anders Carlssone1b29ef2008-08-22 16:00:37 +0000102 }
Devang Patele40daa42007-10-26 17:50:58 +0000103 }
104
Oliver Hunt28247232007-12-02 00:11:25 +0000105 assert(Init && "Unable to create initialiser for static decl");
Nate Begeman8bd4afe2008-04-19 04:17:09 +0000106
Chris Lattner352ffde22008-02-06 04:54:32 +0000107 std::string ContextName;
Anders Carlsson19567ee2008-08-25 01:38:19 +0000108 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(CurFuncDecl))
Douglas Gregor6ec36682009-02-18 23:53:56 +0000109 ContextName = CGM.getMangledName(FD);
Anders Carlsson19567ee2008-08-25 01:38:19 +0000110 else if (isa<ObjCMethodDecl>(CurFuncDecl))
111 ContextName = std::string(CurFn->getNameStart(),
112 CurFn->getNameStart() + CurFn->getNameLen());
Chris Lattner352ffde22008-02-06 04:54:32 +0000113 else
Anders Carlsson19567ee2008-08-25 01:38:19 +0000114 assert(0 && "Unknown context for block var decl");
Nate Begeman8bd4afe2008-04-19 04:17:09 +0000115
Eli Friedman26590522008-06-08 01:23:18 +0000116 llvm::GlobalValue *GV =
Daniel Dunbare4c92382009-02-13 22:58:39 +0000117 new llvm::GlobalVariable(Init->getType(), Ty.isConstant(getContext()),
Sanjiv Gupta45206ec2009-02-03 18:07:49 +0000118 Linkage,
Chris Lattner39f34e92008-11-24 04:00:27 +0000119 Init, ContextName + Separator +D.getNameAsString(),
Nate Begeman8bd4afe2008-04-19 04:17:09 +0000120 &CGM.getModule(), 0, Ty.getAddressSpace());
121
Chris Lattner2621fd12008-05-08 05:58:21 +0000122 return GV;
123}
124
125void CodeGenFunction::EmitStaticBlockVarDecl(const VarDecl &D) {
126
127 llvm::Value *&DMEntry = LocalDeclMap[&D];
128 assert(DMEntry == 0 && "Decl already exists in localdeclmap!");
129
Sanjiv Gupta45206ec2009-02-03 18:07:49 +0000130 llvm::GlobalValue *GV;
131 GV = GenerateStaticBlockVarDecl(D, false, ".",
132 llvm::GlobalValue::InternalLinkage);
Chris Lattner2621fd12008-05-08 05:58:21 +0000133
Daniel Dunbar30510ab2009-02-12 23:32:54 +0000134 // FIXME: Merge attribute handling.
Nate Begeman8bd4afe2008-04-19 04:17:09 +0000135 if (const AnnotateAttr *AA = D.getAttr<AnnotateAttr>()) {
136 SourceManager &SM = CGM.getContext().getSourceManager();
137 llvm::Constant *Ann =
Chris Lattnerf7cf85b2009-01-16 07:36:28 +0000138 CGM.EmitAnnotateAttr(GV, AA,
139 SM.getInstantiationLineNumber(D.getLocation()));
Nate Begeman8bd4afe2008-04-19 04:17:09 +0000140 CGM.AddAnnotation(Ann);
141 }
142
Daniel Dunbar30510ab2009-02-12 23:32:54 +0000143 if (const SectionAttr *SA = D.getAttr<SectionAttr>())
144 GV->setSection(SA->getName());
145
Daniel Dunbar5c61d972009-02-13 22:08:43 +0000146 if (D.getAttr<UsedAttr>())
147 CGM.AddUsedGlobal(GV);
148
Eli Friedman26590522008-06-08 01:23:18 +0000149 const llvm::Type *LTy = CGM.getTypes().ConvertTypeForMem(D.getType());
150 const llvm::Type *LPtrTy =
151 llvm::PointerType::get(LTy, D.getType().getAddressSpace());
152 DMEntry = llvm::ConstantExpr::getBitCast(GV, LPtrTy);
Sanjiv Gupta686226b2008-06-05 08:59:10 +0000153
154 // Emit global variable debug descriptor for static vars.
Anders Carlssone896d982009-02-13 08:11:52 +0000155 CGDebugInfo *DI = getDebugInfo();
Mike Stump4451bd92009-02-20 00:19:45 +0000156 if (DI) {
Daniel Dunbar66031a52008-10-17 16:15:48 +0000157 DI->setLocation(D.getLocation());
Sanjiv Gupta686226b2008-06-05 08:59:10 +0000158 DI->EmitGlobalVariable(static_cast<llvm::GlobalVariable *>(GV), &D);
159 }
Anders Carlsson1a86b332007-10-17 00:52:43 +0000160}
161
Reid Spencer5f016e22007-07-11 17:01:13 +0000162/// EmitLocalBlockVarDecl - Emit code and set up an entry in LocalDeclMap for a
163/// variable declaration with auto, register, or no storage class specifier.
Chris Lattner2621fd12008-05-08 05:58:21 +0000164/// These turn into simple stack objects, or GlobalValues depending on target.
Steve Naroff248a7532008-04-15 22:42:06 +0000165void CodeGenFunction::EmitLocalBlockVarDecl(const VarDecl &D) {
Chris Lattner8bcfc5b2008-04-06 23:10:54 +0000166 QualType Ty = D.getType();
Reid Spencer5f016e22007-07-11 17:01:13 +0000167
168 llvm::Value *DeclPtr;
Eli Friedman3c2b3172008-02-15 12:20:59 +0000169 if (Ty->isConstantSizeType()) {
Chris Lattner2621fd12008-05-08 05:58:21 +0000170 if (!Target.useGlobalsForAutomaticVariables()) {
171 // A normal fixed sized variable becomes an alloca in the entry block.
172 const llvm::Type *LTy = ConvertType(Ty);
Chris Lattner8ec03f52008-11-24 03:54:41 +0000173 llvm::AllocaInst *Alloc =
Douglas Gregor6ec36682009-02-18 23:53:56 +0000174 CreateTempAlloca(LTy, CGM.getMangledName(&D));
Eli Friedman9c2f06b2009-02-22 03:23:43 +0000175 Alloc->setAlignment(getContext().getDeclAlignInBytes(&D));
Eli Friedman77eedd62008-05-31 21:20:41 +0000176 DeclPtr = Alloc;
Chris Lattner2621fd12008-05-08 05:58:21 +0000177 } else {
178 // Targets that don't support recursion emit locals as globals.
179 const char *Class =
180 D.getStorageClass() == VarDecl::Register ? ".reg." : ".auto.";
Sanjiv Gupta45206ec2009-02-03 18:07:49 +0000181 DeclPtr = GenerateStaticBlockVarDecl(D, true, Class,
182 llvm::GlobalValue
183 ::InternalLinkage);
Chris Lattner2621fd12008-05-08 05:58:21 +0000184 }
Anders Carlsson60d35412008-12-20 20:46:34 +0000185
186 if (Ty->isVariablyModifiedType())
187 EmitVLASize(Ty);
Reid Spencer5f016e22007-07-11 17:01:13 +0000188 } else {
Anders Carlsson5ecb1b92009-02-09 20:41:50 +0000189 if (!DidCallStackSave) {
Anders Carlsson5d463152008-12-12 07:38:43 +0000190 // Save the stack.
191 const llvm::Type *LTy = llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
192 llvm::Value *Stack = CreateTempAlloca(LTy, "saved_stack");
193
194 llvm::Value *F = CGM.getIntrinsic(llvm::Intrinsic::stacksave);
195 llvm::Value *V = Builder.CreateCall(F);
196
197 Builder.CreateStore(V, Stack);
Anders Carlsson5ecb1b92009-02-09 20:41:50 +0000198
199 DidCallStackSave = true;
Anders Carlsson5d463152008-12-12 07:38:43 +0000200
Anders Carlsson5ecb1b92009-02-09 20:41:50 +0000201 {
202 // Push a cleanup block and restore the stack there.
203 CleanupScope scope(*this);
204
205 V = Builder.CreateLoad(Stack, "tmp");
206 llvm::Value *F = CGM.getIntrinsic(llvm::Intrinsic::stackrestore);
207 Builder.CreateCall(F, V);
208 }
Anders Carlsson5d463152008-12-12 07:38:43 +0000209 }
Anders Carlsson5ecb1b92009-02-09 20:41:50 +0000210
Anders Carlsson5d463152008-12-12 07:38:43 +0000211 // Get the element type.
212 const llvm::Type *LElemTy = ConvertType(Ty);
213 const llvm::Type *LElemPtrTy =
214 llvm::PointerType::get(LElemTy, D.getType().getAddressSpace());
215
Anders Carlsson60d35412008-12-20 20:46:34 +0000216 llvm::Value *VLASize = EmitVLASize(Ty);
Anders Carlsson5d463152008-12-12 07:38:43 +0000217
Anders Carlsson96f21472009-02-05 19:43:10 +0000218 // Downcast the VLA size expression
219 VLASize = Builder.CreateIntCast(VLASize, llvm::Type::Int32Ty, false, "tmp");
220
Anders Carlsson5d463152008-12-12 07:38:43 +0000221 // Allocate memory for the array.
222 llvm::Value *VLA = Builder.CreateAlloca(llvm::Type::Int8Ty, VLASize, "vla");
Eli Friedman8f39f5e2008-12-20 23:11:59 +0000223 DeclPtr = Builder.CreateBitCast(VLA, LElemPtrTy, "tmp");
Reid Spencer5f016e22007-07-11 17:01:13 +0000224 }
Eli Friedman8f39f5e2008-12-20 23:11:59 +0000225
Reid Spencer5f016e22007-07-11 17:01:13 +0000226 llvm::Value *&DMEntry = LocalDeclMap[&D];
227 assert(DMEntry == 0 && "Decl already exists in localdeclmap!");
228 DMEntry = DeclPtr;
Sanjiv Guptacc9b1632008-05-30 10:30:31 +0000229
230 // Emit debug info for local var declaration.
Anders Carlssone896d982009-02-13 08:11:52 +0000231 if (CGDebugInfo *DI = getDebugInfo()) {
Daniel Dunbar66031a52008-10-17 16:15:48 +0000232 DI->setLocation(D.getLocation());
Chris Lattner9c85ba32008-11-10 06:08:34 +0000233 DI->EmitDeclareOfAutoVariable(&D, DeclPtr, Builder);
Sanjiv Guptacc9b1632008-05-30 10:30:31 +0000234 }
235
Chris Lattner19785962007-07-12 00:39:48 +0000236 // If this local has an initializer, emit it now.
Chris Lattner7f02f722007-08-24 05:35:26 +0000237 if (const Expr *Init = D.getInit()) {
Chris Lattnerd31beb12007-08-26 07:29:23 +0000238 if (!hasAggregateLLVMType(Init->getType())) {
239 llvm::Value *V = EmitScalarExpr(Init);
Chris Lattner8b2f3b72007-08-26 07:30:49 +0000240 Builder.CreateStore(V, DeclPtr, D.getType().isVolatileQualified());
Chris Lattner9b2dc282008-04-04 16:54:41 +0000241 } else if (Init->getType()->isAnyComplexType()) {
Chris Lattner190dbe22007-08-26 16:22:13 +0000242 EmitComplexExprIntoAddr(Init, DeclPtr, D.getType().isVolatileQualified());
Chris Lattner9a19edf2007-08-26 05:13:54 +0000243 } else {
Chris Lattner8b2f3b72007-08-26 07:30:49 +0000244 EmitAggExpr(Init, DeclPtr, D.getType().isVolatileQualified());
Chris Lattner9a19edf2007-08-26 05:13:54 +0000245 }
Chris Lattner7f02f722007-08-24 05:35:26 +0000246 }
Anders Carlsson69c68b72009-02-07 23:51:38 +0000247
248 // Handle the cleanup attribute
249 if (const CleanupAttr *CA = D.getAttr<CleanupAttr>()) {
250 const FunctionDecl *FD = CA->getFunctionDecl();
251
252 llvm::Constant* F = CGM.GetAddrOfFunction(FD);
253 assert(F && "Could not find function!");
254
255 CleanupScope scope(*this);
256
257 CallArgList Args;
258 Args.push_back(std::make_pair(RValue::get(DeclPtr),
259 getContext().getPointerType(D.getType())));
260
261 EmitCall(CGM.getTypes().getFunctionInfo(FD), F, Args);
262 }
Reid Spencer5f016e22007-07-11 17:01:13 +0000263}
264
Chris Lattner2621fd12008-05-08 05:58:21 +0000265/// Emit an alloca (or GlobalValue depending on target)
266/// for the specified parameter and set up LocalDeclMap.
Daniel Dunbarb7ec2462008-08-16 03:19:19 +0000267void CodeGenFunction::EmitParmDecl(const VarDecl &D, llvm::Value *Arg) {
268 // FIXME: Why isn't ImplicitParamDecl a ParmVarDecl?
Sanjiv Gupta31fc07d2008-10-31 09:52:39 +0000269 assert((isa<ParmVarDecl>(D) || isa<ImplicitParamDecl>(D)) &&
Daniel Dunbarb7ec2462008-08-16 03:19:19 +0000270 "Invalid argument to EmitParmDecl");
Chris Lattner8bcfc5b2008-04-06 23:10:54 +0000271 QualType Ty = D.getType();
Reid Spencer5f016e22007-07-11 17:01:13 +0000272
273 llvm::Value *DeclPtr;
Eli Friedman3c2b3172008-02-15 12:20:59 +0000274 if (!Ty->isConstantSizeType()) {
Reid Spencer5f016e22007-07-11 17:01:13 +0000275 // Variable sized values always are passed by-reference.
276 DeclPtr = Arg;
Chris Lattner2621fd12008-05-08 05:58:21 +0000277 } else if (Target.useGlobalsForAutomaticVariables()) {
Sanjiv Gupta45206ec2009-02-03 18:07:49 +0000278 // Targets that don't have stack use global address space for parameters.
279 // Specify external linkage for such globals so that llvm optimizer do
280 // not assume there values initialized as zero.
Sanjiv Gupta193cdbe2009-02-10 04:17:25 +0000281 DeclPtr = GenerateStaticBlockVarDecl(D, true, ".auto.",
Sanjiv Gupta45206ec2009-02-03 18:07:49 +0000282 llvm::GlobalValue::ExternalLinkage);
Reid Spencer5f016e22007-07-11 17:01:13 +0000283 } else {
Dan Gohmand79a7262008-05-22 22:12:56 +0000284 // A fixed sized single-value variable becomes an alloca in the entry block.
Reid Spencer5f016e22007-07-11 17:01:13 +0000285 const llvm::Type *LTy = ConvertType(Ty);
Dan Gohmand79a7262008-05-22 22:12:56 +0000286 if (LTy->isSingleValueType()) {
Reid Spencer5f016e22007-07-11 17:01:13 +0000287 // TODO: Alignment
Chris Lattner39f34e92008-11-24 04:00:27 +0000288 std::string Name = D.getNameAsString();
Daniel Dunbar56273772008-09-17 00:51:38 +0000289 Name += ".addr";
290 DeclPtr = CreateTempAlloca(LTy, Name.c_str());
Reid Spencer5f016e22007-07-11 17:01:13 +0000291
292 // Store the initial value into the alloca.
Eli Friedman1e692ac2008-06-13 23:01:12 +0000293 Builder.CreateStore(Arg, DeclPtr,Ty.isVolatileQualified());
Reid Spencer5f016e22007-07-11 17:01:13 +0000294 } else {
295 // Otherwise, if this is an aggregate, just use the input pointer.
296 DeclPtr = Arg;
297 }
Chris Lattner39f34e92008-11-24 04:00:27 +0000298 Arg->setName(D.getNameAsString());
Reid Spencer5f016e22007-07-11 17:01:13 +0000299 }
300
301 llvm::Value *&DMEntry = LocalDeclMap[&D];
302 assert(DMEntry == 0 && "Decl already exists in localdeclmap!");
303 DMEntry = DeclPtr;
Sanjiv Guptacc9b1632008-05-30 10:30:31 +0000304
305 // Emit debug info for param declaration.
Anders Carlssone896d982009-02-13 08:11:52 +0000306 if (CGDebugInfo *DI = getDebugInfo()) {
Daniel Dunbar66031a52008-10-17 16:15:48 +0000307 DI->setLocation(D.getLocation());
Chris Lattner9c85ba32008-11-10 06:08:34 +0000308 DI->EmitDeclareOfArgVariable(&D, DeclPtr, Builder);
Sanjiv Guptacc9b1632008-05-30 10:30:31 +0000309 }
Reid Spencer5f016e22007-07-11 17:01:13 +0000310}
311