blob: dad50fcec40fa6fb48ecae373c8804ab62c55b60 [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 {
Eli Friedmanc9e8f602009-01-25 02:32:41 +000091 if (D.getInit()->isConstantInitializer(getContext()))
Anders Carlssone1b29ef2008-08-22 16:00:37 +000092 Init = CGM.EmitConstantExpr(D.getInit(), this);
93 else {
94 assert(getContext().getLangOptions().CPlusPlus &&
95 "only C++ supports non-constant static initializers!");
96 return GenerateStaticCXXBlockVarDecl(D);
97 }
Devang Patele40daa42007-10-26 17:50:58 +000098 }
99
Oliver Hunt28247232007-12-02 00:11:25 +0000100 assert(Init && "Unable to create initialiser for static decl");
Nate Begeman8bd4afe2008-04-19 04:17:09 +0000101
Chris Lattner352ffde22008-02-06 04:54:32 +0000102 std::string ContextName;
Anders Carlsson19567ee2008-08-25 01:38:19 +0000103 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(CurFuncDecl))
Chris Lattner39f34e92008-11-24 04:00:27 +0000104 ContextName = FD->getNameAsString();
Anders Carlsson19567ee2008-08-25 01:38:19 +0000105 else if (isa<ObjCMethodDecl>(CurFuncDecl))
106 ContextName = std::string(CurFn->getNameStart(),
107 CurFn->getNameStart() + CurFn->getNameLen());
Chris Lattner352ffde22008-02-06 04:54:32 +0000108 else
Anders Carlsson19567ee2008-08-25 01:38:19 +0000109 assert(0 && "Unknown context for block var decl");
Nate Begeman8bd4afe2008-04-19 04:17:09 +0000110
Eli Friedman26590522008-06-08 01:23:18 +0000111 llvm::GlobalValue *GV =
112 new llvm::GlobalVariable(Init->getType(), false,
Sanjiv Gupta45206ec2009-02-03 18:07:49 +0000113 Linkage,
Chris Lattner39f34e92008-11-24 04:00:27 +0000114 Init, ContextName + Separator +D.getNameAsString(),
Nate Begeman8bd4afe2008-04-19 04:17:09 +0000115 &CGM.getModule(), 0, Ty.getAddressSpace());
116
Chris Lattner2621fd12008-05-08 05:58:21 +0000117 return GV;
118}
119
120void CodeGenFunction::EmitStaticBlockVarDecl(const VarDecl &D) {
121
122 llvm::Value *&DMEntry = LocalDeclMap[&D];
123 assert(DMEntry == 0 && "Decl already exists in localdeclmap!");
124
Sanjiv Gupta45206ec2009-02-03 18:07:49 +0000125 llvm::GlobalValue *GV;
126 GV = GenerateStaticBlockVarDecl(D, false, ".",
127 llvm::GlobalValue::InternalLinkage);
Chris Lattner2621fd12008-05-08 05:58:21 +0000128
Nate Begeman8bd4afe2008-04-19 04:17:09 +0000129 if (const AnnotateAttr *AA = D.getAttr<AnnotateAttr>()) {
130 SourceManager &SM = CGM.getContext().getSourceManager();
131 llvm::Constant *Ann =
Chris Lattnerf7cf85b2009-01-16 07:36:28 +0000132 CGM.EmitAnnotateAttr(GV, AA,
133 SM.getInstantiationLineNumber(D.getLocation()));
Nate Begeman8bd4afe2008-04-19 04:17:09 +0000134 CGM.AddAnnotation(Ann);
135 }
136
Eli Friedman26590522008-06-08 01:23:18 +0000137 const llvm::Type *LTy = CGM.getTypes().ConvertTypeForMem(D.getType());
138 const llvm::Type *LPtrTy =
139 llvm::PointerType::get(LTy, D.getType().getAddressSpace());
140 DMEntry = llvm::ConstantExpr::getBitCast(GV, LPtrTy);
Sanjiv Gupta686226b2008-06-05 08:59:10 +0000141
142 // Emit global variable debug descriptor for static vars.
143 CGDebugInfo *DI = CGM.getDebugInfo();
144 if(DI) {
Daniel Dunbar66031a52008-10-17 16:15:48 +0000145 DI->setLocation(D.getLocation());
Sanjiv Gupta686226b2008-06-05 08:59:10 +0000146 DI->EmitGlobalVariable(static_cast<llvm::GlobalVariable *>(GV), &D);
147 }
148
Anders Carlsson1a86b332007-10-17 00:52:43 +0000149}
150
Reid Spencer5f016e22007-07-11 17:01:13 +0000151/// EmitLocalBlockVarDecl - Emit code and set up an entry in LocalDeclMap for a
152/// variable declaration with auto, register, or no storage class specifier.
Chris Lattner2621fd12008-05-08 05:58:21 +0000153/// These turn into simple stack objects, or GlobalValues depending on target.
Steve Naroff248a7532008-04-15 22:42:06 +0000154void CodeGenFunction::EmitLocalBlockVarDecl(const VarDecl &D) {
Chris Lattner8bcfc5b2008-04-06 23:10:54 +0000155 QualType Ty = D.getType();
Reid Spencer5f016e22007-07-11 17:01:13 +0000156
157 llvm::Value *DeclPtr;
Eli Friedman3c2b3172008-02-15 12:20:59 +0000158 if (Ty->isConstantSizeType()) {
Chris Lattner2621fd12008-05-08 05:58:21 +0000159 if (!Target.useGlobalsForAutomaticVariables()) {
160 // A normal fixed sized variable becomes an alloca in the entry block.
161 const llvm::Type *LTy = ConvertType(Ty);
Chris Lattner8ec03f52008-11-24 03:54:41 +0000162 llvm::AllocaInst *Alloc =
163 CreateTempAlloca(LTy, D.getIdentifier()->getName());
Eli Friedman77eedd62008-05-31 21:20:41 +0000164 unsigned align = getContext().getTypeAlign(Ty);
165 if (const AlignedAttr* AA = D.getAttr<AlignedAttr>())
166 align = std::max(align, AA->getAlignment());
167 Alloc->setAlignment(align >> 3);
168 DeclPtr = Alloc;
Chris Lattner2621fd12008-05-08 05:58:21 +0000169 } else {
170 // Targets that don't support recursion emit locals as globals.
171 const char *Class =
172 D.getStorageClass() == VarDecl::Register ? ".reg." : ".auto.";
Sanjiv Gupta45206ec2009-02-03 18:07:49 +0000173 DeclPtr = GenerateStaticBlockVarDecl(D, true, Class,
174 llvm::GlobalValue
175 ::InternalLinkage);
Chris Lattner2621fd12008-05-08 05:58:21 +0000176 }
Anders Carlsson60d35412008-12-20 20:46:34 +0000177
178 if (Ty->isVariablyModifiedType())
179 EmitVLASize(Ty);
Reid Spencer5f016e22007-07-11 17:01:13 +0000180 } else {
Anders Carlsson5ecb1b92009-02-09 20:41:50 +0000181 if (!DidCallStackSave) {
Anders Carlsson5d463152008-12-12 07:38:43 +0000182 // Save the stack.
183 const llvm::Type *LTy = llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
184 llvm::Value *Stack = CreateTempAlloca(LTy, "saved_stack");
185
186 llvm::Value *F = CGM.getIntrinsic(llvm::Intrinsic::stacksave);
187 llvm::Value *V = Builder.CreateCall(F);
188
189 Builder.CreateStore(V, Stack);
Anders Carlsson5ecb1b92009-02-09 20:41:50 +0000190
191 DidCallStackSave = true;
Anders Carlsson5d463152008-12-12 07:38:43 +0000192
Anders Carlsson5ecb1b92009-02-09 20:41:50 +0000193 {
194 // Push a cleanup block and restore the stack there.
195 CleanupScope scope(*this);
196
197 V = Builder.CreateLoad(Stack, "tmp");
198 llvm::Value *F = CGM.getIntrinsic(llvm::Intrinsic::stackrestore);
199 Builder.CreateCall(F, V);
200 }
Anders Carlsson5d463152008-12-12 07:38:43 +0000201 }
Anders Carlsson5ecb1b92009-02-09 20:41:50 +0000202
Anders Carlsson5d463152008-12-12 07:38:43 +0000203 // Get the element type.
204 const llvm::Type *LElemTy = ConvertType(Ty);
205 const llvm::Type *LElemPtrTy =
206 llvm::PointerType::get(LElemTy, D.getType().getAddressSpace());
207
Anders Carlsson60d35412008-12-20 20:46:34 +0000208 llvm::Value *VLASize = EmitVLASize(Ty);
Anders Carlsson5d463152008-12-12 07:38:43 +0000209
Anders Carlsson96f21472009-02-05 19:43:10 +0000210 // Downcast the VLA size expression
211 VLASize = Builder.CreateIntCast(VLASize, llvm::Type::Int32Ty, false, "tmp");
212
Anders Carlsson5d463152008-12-12 07:38:43 +0000213 // Allocate memory for the array.
214 llvm::Value *VLA = Builder.CreateAlloca(llvm::Type::Int8Ty, VLASize, "vla");
Eli Friedman8f39f5e2008-12-20 23:11:59 +0000215 DeclPtr = Builder.CreateBitCast(VLA, LElemPtrTy, "tmp");
Reid Spencer5f016e22007-07-11 17:01:13 +0000216 }
Eli Friedman8f39f5e2008-12-20 23:11:59 +0000217
Reid Spencer5f016e22007-07-11 17:01:13 +0000218 llvm::Value *&DMEntry = LocalDeclMap[&D];
219 assert(DMEntry == 0 && "Decl already exists in localdeclmap!");
220 DMEntry = DeclPtr;
Sanjiv Guptacc9b1632008-05-30 10:30:31 +0000221
222 // Emit debug info for local var declaration.
Chris Lattner9c85ba32008-11-10 06:08:34 +0000223 if (CGDebugInfo *DI = CGM.getDebugInfo()) {
Daniel Dunbar66031a52008-10-17 16:15:48 +0000224 DI->setLocation(D.getLocation());
Chris Lattner9c85ba32008-11-10 06:08:34 +0000225 DI->EmitDeclareOfAutoVariable(&D, DeclPtr, Builder);
Sanjiv Guptacc9b1632008-05-30 10:30:31 +0000226 }
227
Chris Lattner19785962007-07-12 00:39:48 +0000228 // If this local has an initializer, emit it now.
Chris Lattner7f02f722007-08-24 05:35:26 +0000229 if (const Expr *Init = D.getInit()) {
Chris Lattnerd31beb12007-08-26 07:29:23 +0000230 if (!hasAggregateLLVMType(Init->getType())) {
231 llvm::Value *V = EmitScalarExpr(Init);
Chris Lattner8b2f3b72007-08-26 07:30:49 +0000232 Builder.CreateStore(V, DeclPtr, D.getType().isVolatileQualified());
Chris Lattner9b2dc282008-04-04 16:54:41 +0000233 } else if (Init->getType()->isAnyComplexType()) {
Chris Lattner190dbe22007-08-26 16:22:13 +0000234 EmitComplexExprIntoAddr(Init, DeclPtr, D.getType().isVolatileQualified());
Chris Lattner9a19edf2007-08-26 05:13:54 +0000235 } else {
Chris Lattner8b2f3b72007-08-26 07:30:49 +0000236 EmitAggExpr(Init, DeclPtr, D.getType().isVolatileQualified());
Chris Lattner9a19edf2007-08-26 05:13:54 +0000237 }
Chris Lattner7f02f722007-08-24 05:35:26 +0000238 }
Anders Carlsson69c68b72009-02-07 23:51:38 +0000239
240 // Handle the cleanup attribute
241 if (const CleanupAttr *CA = D.getAttr<CleanupAttr>()) {
242 const FunctionDecl *FD = CA->getFunctionDecl();
243
244 llvm::Constant* F = CGM.GetAddrOfFunction(FD);
245 assert(F && "Could not find function!");
246
247 CleanupScope scope(*this);
248
249 CallArgList Args;
250 Args.push_back(std::make_pair(RValue::get(DeclPtr),
251 getContext().getPointerType(D.getType())));
252
253 EmitCall(CGM.getTypes().getFunctionInfo(FD), F, Args);
254 }
Reid Spencer5f016e22007-07-11 17:01:13 +0000255}
256
Chris Lattner2621fd12008-05-08 05:58:21 +0000257/// Emit an alloca (or GlobalValue depending on target)
258/// for the specified parameter and set up LocalDeclMap.
Daniel Dunbarb7ec2462008-08-16 03:19:19 +0000259void CodeGenFunction::EmitParmDecl(const VarDecl &D, llvm::Value *Arg) {
260 // FIXME: Why isn't ImplicitParamDecl a ParmVarDecl?
Sanjiv Gupta31fc07d2008-10-31 09:52:39 +0000261 assert((isa<ParmVarDecl>(D) || isa<ImplicitParamDecl>(D)) &&
Daniel Dunbarb7ec2462008-08-16 03:19:19 +0000262 "Invalid argument to EmitParmDecl");
Chris Lattner8bcfc5b2008-04-06 23:10:54 +0000263 QualType Ty = D.getType();
Reid Spencer5f016e22007-07-11 17:01:13 +0000264
265 llvm::Value *DeclPtr;
Eli Friedman3c2b3172008-02-15 12:20:59 +0000266 if (!Ty->isConstantSizeType()) {
Reid Spencer5f016e22007-07-11 17:01:13 +0000267 // Variable sized values always are passed by-reference.
268 DeclPtr = Arg;
Chris Lattner2621fd12008-05-08 05:58:21 +0000269 } else if (Target.useGlobalsForAutomaticVariables()) {
Sanjiv Gupta45206ec2009-02-03 18:07:49 +0000270 // Targets that don't have stack use global address space for parameters.
271 // Specify external linkage for such globals so that llvm optimizer do
272 // not assume there values initialized as zero.
Sanjiv Gupta193cdbe2009-02-10 04:17:25 +0000273 DeclPtr = GenerateStaticBlockVarDecl(D, true, ".auto.",
Sanjiv Gupta45206ec2009-02-03 18:07:49 +0000274 llvm::GlobalValue::ExternalLinkage);
Reid Spencer5f016e22007-07-11 17:01:13 +0000275 } else {
Dan Gohmand79a7262008-05-22 22:12:56 +0000276 // A fixed sized single-value variable becomes an alloca in the entry block.
Reid Spencer5f016e22007-07-11 17:01:13 +0000277 const llvm::Type *LTy = ConvertType(Ty);
Dan Gohmand79a7262008-05-22 22:12:56 +0000278 if (LTy->isSingleValueType()) {
Reid Spencer5f016e22007-07-11 17:01:13 +0000279 // TODO: Alignment
Chris Lattner39f34e92008-11-24 04:00:27 +0000280 std::string Name = D.getNameAsString();
Daniel Dunbar56273772008-09-17 00:51:38 +0000281 Name += ".addr";
282 DeclPtr = CreateTempAlloca(LTy, Name.c_str());
Reid Spencer5f016e22007-07-11 17:01:13 +0000283
284 // Store the initial value into the alloca.
Eli Friedman1e692ac2008-06-13 23:01:12 +0000285 Builder.CreateStore(Arg, DeclPtr,Ty.isVolatileQualified());
Reid Spencer5f016e22007-07-11 17:01:13 +0000286 } else {
287 // Otherwise, if this is an aggregate, just use the input pointer.
288 DeclPtr = Arg;
289 }
Chris Lattner39f34e92008-11-24 04:00:27 +0000290 Arg->setName(D.getNameAsString());
Reid Spencer5f016e22007-07-11 17:01:13 +0000291 }
292
293 llvm::Value *&DMEntry = LocalDeclMap[&D];
294 assert(DMEntry == 0 && "Decl already exists in localdeclmap!");
295 DMEntry = DeclPtr;
Sanjiv Guptacc9b1632008-05-30 10:30:31 +0000296
297 // Emit debug info for param declaration.
Chris Lattner9c85ba32008-11-10 06:08:34 +0000298 if (CGDebugInfo *DI = CGM.getDebugInfo()) {
Daniel Dunbar66031a52008-10-17 16:15:48 +0000299 DI->setLocation(D.getLocation());
Chris Lattner9c85ba32008-11-10 06:08:34 +0000300 DI->EmitDeclareOfArgVariable(&D, DeclPtr, Builder);
Sanjiv Guptacc9b1632008-05-30 10:30:31 +0000301 }
Reid Spencer5f016e22007-07-11 17:01:13 +0000302}
303