blob: 51428c07ac81f0654f4c97c955c2621918ad5806 [file] [log] [blame]
Chris Lattner4b009652007-07-25 00:24:17 +00001//===--- CodeGenModule.cpp - Emit LLVM Code from ASTs for a Module --------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner959e5be2007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Chris Lattner4b009652007-07-25 00:24:17 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This coordinates the per-module state used while generating code.
11//
12//===----------------------------------------------------------------------===//
13
Sanjiv Gupta40e56a12008-05-08 08:54:20 +000014#include "CGDebugInfo.h"
Chris Lattner4b009652007-07-25 00:24:17 +000015#include "CodeGenModule.h"
16#include "CodeGenFunction.h"
Daniel Dunbar84bb85f2008-08-13 00:59:25 +000017#include "CGObjCRuntime.h"
Chris Lattner4b009652007-07-25 00:24:17 +000018#include "clang/AST/ASTContext.h"
Daniel Dunbar64789f82008-08-11 05:35:13 +000019#include "clang/AST/DeclObjC.h"
Chris Lattnercf9c9d02007-12-02 07:19:18 +000020#include "clang/Basic/Diagnostic.h"
Nate Begeman8a704172008-04-19 04:17:09 +000021#include "clang/Basic/SourceManager.h"
Chris Lattner4b009652007-07-25 00:24:17 +000022#include "clang/Basic/TargetInfo.h"
Nate Begemandc6262e2008-03-09 03:09:36 +000023#include "llvm/CallingConv.h"
Chris Lattnerab862cc2007-08-31 04:31:45 +000024#include "llvm/Module.h"
Chris Lattner4b009652007-07-25 00:24:17 +000025#include "llvm/Intrinsics.h"
Anton Korobeynikovcd5d08d2008-06-01 14:13:53 +000026#include "llvm/Target/TargetData.h"
Chris Lattnerb033c4a2008-04-30 16:05:42 +000027#include "llvm/Analysis/Verifier.h"
Chris Lattner4b009652007-07-25 00:24:17 +000028using namespace clang;
29using namespace CodeGen;
30
31
Chris Lattnerdb6be562007-11-28 05:34:05 +000032CodeGenModule::CodeGenModule(ASTContext &C, const LangOptions &LO,
Chris Lattner22595b82007-12-02 01:40:18 +000033 llvm::Module &M, const llvm::TargetData &TD,
Daniel Dunbar1be1df32008-08-11 21:35:06 +000034 Diagnostic &diags, bool GenerateDebugInfo)
Chris Lattner22595b82007-12-02 01:40:18 +000035 : Context(C), Features(LO), TheModule(M), TheTargetData(TD), Diags(diags),
Daniel Dunbarfc69bde2008-08-11 18:12:00 +000036 Types(C, M, TD), Runtime(0), MemCpyFn(0), MemMoveFn(0), MemSetFn(0),
Eli Friedman8f08a252008-05-26 12:59:39 +000037 CFConstantStringClassRef(0) {
Daniel Dunbarfc69bde2008-08-11 18:12:00 +000038
39 if (Features.ObjC1) {
Daniel Dunbar1be1df32008-08-11 21:35:06 +000040 if (Features.NeXTRuntime) {
Daniel Dunbarfc69bde2008-08-11 18:12:00 +000041 Runtime = CreateMacObjCRuntime(*this);
42 } else {
43 Runtime = CreateGNUObjCRuntime(*this);
44 }
Daniel Dunbar8c85fac2008-08-11 02:45:11 +000045 }
Sanjiv Gupta40e56a12008-05-08 08:54:20 +000046
47 // If debug info generation is enabled, create the CGDebugInfo object.
Ted Kremenek7c65b6c2008-08-05 18:50:11 +000048 DebugInfo = GenerateDebugInfo ? new CGDebugInfo(this) : 0;
Chris Lattnercbfb5512008-03-01 08:45:05 +000049}
50
51CodeGenModule::~CodeGenModule() {
Ted Kremenek7c65b6c2008-08-05 18:50:11 +000052 delete Runtime;
53 delete DebugInfo;
54}
55
56void CodeGenModule::Release() {
Anton Korobeynikovcd5d08d2008-06-01 14:13:53 +000057 EmitStatics();
Daniel Dunbarfc69bde2008-08-11 18:12:00 +000058 if (Runtime)
59 if (llvm::Function *ObjCInitFunction = Runtime->ModuleInitFunction())
60 AddGlobalCtor(ObjCInitFunction);
Daniel Dunbardd2e9ca2008-08-01 00:01:51 +000061 EmitCtorList(GlobalCtors, "llvm.global_ctors");
62 EmitCtorList(GlobalDtors, "llvm.global_dtors");
Nate Begeman52da5c72008-04-18 23:43:57 +000063 EmitAnnotations();
Chris Lattnerb033c4a2008-04-30 16:05:42 +000064 // Run the verifier to check that the generated code is consistent.
65 assert(!verifyModule(TheModule));
Chris Lattnercbfb5512008-03-01 08:45:05 +000066}
Chris Lattner4b009652007-07-25 00:24:17 +000067
Daniel Dunbar9503b782008-08-16 00:56:44 +000068/// ErrorUnsupported - Print out an error that codegen doesn't support the
Chris Lattnercf9c9d02007-12-02 07:19:18 +000069/// specified stmt yet.
Daniel Dunbar9503b782008-08-16 00:56:44 +000070void CodeGenModule::ErrorUnsupported(const Stmt *S, const char *Type) {
71 unsigned DiagID = getDiags().getCustomDiagID(Diagnostic::Error,
Chris Lattnercf9c9d02007-12-02 07:19:18 +000072 "cannot codegen this %0 yet");
73 SourceRange Range = S->getSourceRange();
74 std::string Msg = Type;
Ted Kremenekd7f64cd2007-12-12 22:39:36 +000075 getDiags().Report(Context.getFullLoc(S->getLocStart()), DiagID,
Ted Kremenekb3ee1932007-12-11 21:27:55 +000076 &Msg, 1, &Range, 1);
Chris Lattnercf9c9d02007-12-02 07:19:18 +000077}
Chris Lattner0e4755d2007-12-02 06:27:33 +000078
Daniel Dunbar9503b782008-08-16 00:56:44 +000079/// ErrorUnsupported - Print out an error that codegen doesn't support the
Chris Lattner806a5f52008-01-12 07:05:38 +000080/// specified decl yet.
Daniel Dunbar9503b782008-08-16 00:56:44 +000081void CodeGenModule::ErrorUnsupported(const Decl *D, const char *Type) {
82 unsigned DiagID = getDiags().getCustomDiagID(Diagnostic::Error,
Chris Lattner806a5f52008-01-12 07:05:38 +000083 "cannot codegen this %0 yet");
84 std::string Msg = Type;
85 getDiags().Report(Context.getFullLoc(D->getLocation()), DiagID,
86 &Msg, 1);
87}
88
Daniel Dunbar27250d32008-08-15 23:26:23 +000089/// setGlobalVisibility - Set the visibility for the given LLVM
90/// GlobalValue according to the given clang AST visibility value.
91static void setGlobalVisibility(llvm::GlobalValue *GV,
92 VisibilityAttr::VisibilityTypes Vis) {
Dan Gohman4751a3a2008-05-22 00:50:06 +000093 switch (Vis) {
94 default: assert(0 && "Unknown visibility!");
95 case VisibilityAttr::DefaultVisibility:
96 GV->setVisibility(llvm::GlobalValue::DefaultVisibility);
97 break;
98 case VisibilityAttr::HiddenVisibility:
99 GV->setVisibility(llvm::GlobalValue::HiddenVisibility);
100 break;
101 case VisibilityAttr::ProtectedVisibility:
102 GV->setVisibility(llvm::GlobalValue::ProtectedVisibility);
103 break;
104 }
105}
106
Chris Lattner753d2592008-03-14 17:18:18 +0000107/// AddGlobalCtor - Add a function to the list that will be called before
108/// main() runs.
Daniel Dunbardd2e9ca2008-08-01 00:01:51 +0000109void CodeGenModule::AddGlobalCtor(llvm::Function * Ctor, int Priority) {
Chris Lattner753d2592008-03-14 17:18:18 +0000110 // TODO: Type coercion of void()* types.
Daniel Dunbardd2e9ca2008-08-01 00:01:51 +0000111 GlobalCtors.push_back(std::make_pair(Ctor, Priority));
Chris Lattner753d2592008-03-14 17:18:18 +0000112}
113
Daniel Dunbardd2e9ca2008-08-01 00:01:51 +0000114/// AddGlobalDtor - Add a function to the list that will be called
115/// when the module is unloaded.
116void CodeGenModule::AddGlobalDtor(llvm::Function * Dtor, int Priority) {
117 // TODO: Type coercion of void()* types.
118 GlobalDtors.push_back(std::make_pair(Dtor, Priority));
119}
120
121void CodeGenModule::EmitCtorList(const CtorList &Fns, const char *GlobalName) {
122 // Ctor function type is void()*.
123 llvm::FunctionType* CtorFTy =
124 llvm::FunctionType::get(llvm::Type::VoidTy,
125 std::vector<const llvm::Type*>(),
126 false);
127 llvm::Type *CtorPFTy = llvm::PointerType::getUnqual(CtorFTy);
128
129 // Get the type of a ctor entry, { i32, void ()* }.
Chris Lattnera18c12e2008-03-19 05:24:56 +0000130 llvm::StructType* CtorStructTy =
Daniel Dunbardd2e9ca2008-08-01 00:01:51 +0000131 llvm::StructType::get(llvm::Type::Int32Ty,
132 llvm::PointerType::getUnqual(CtorFTy), NULL);
Chris Lattner753d2592008-03-14 17:18:18 +0000133
Daniel Dunbardd2e9ca2008-08-01 00:01:51 +0000134 // Construct the constructor and destructor arrays.
135 std::vector<llvm::Constant*> Ctors;
136 for (CtorList::const_iterator I = Fns.begin(), E = Fns.end(); I != E; ++I) {
137 std::vector<llvm::Constant*> S;
138 S.push_back(llvm::ConstantInt::get(llvm::Type::Int32Ty, I->second, false));
139 S.push_back(llvm::ConstantExpr::getBitCast(I->first, CtorPFTy));
140 Ctors.push_back(llvm::ConstantStruct::get(CtorStructTy, S));
Chris Lattner753d2592008-03-14 17:18:18 +0000141 }
Daniel Dunbardd2e9ca2008-08-01 00:01:51 +0000142
143 if (!Ctors.empty()) {
144 llvm::ArrayType *AT = llvm::ArrayType::get(CtorStructTy, Ctors.size());
145 new llvm::GlobalVariable(AT, false,
146 llvm::GlobalValue::AppendingLinkage,
147 llvm::ConstantArray::get(AT, Ctors),
148 GlobalName,
149 &TheModule);
150 }
Chris Lattner753d2592008-03-14 17:18:18 +0000151}
152
Nate Begeman52da5c72008-04-18 23:43:57 +0000153void CodeGenModule::EmitAnnotations() {
154 if (Annotations.empty())
155 return;
156
157 // Create a new global variable for the ConstantStruct in the Module.
158 llvm::Constant *Array =
159 llvm::ConstantArray::get(llvm::ArrayType::get(Annotations[0]->getType(),
160 Annotations.size()),
161 Annotations);
162 llvm::GlobalValue *gv =
163 new llvm::GlobalVariable(Array->getType(), false,
164 llvm::GlobalValue::AppendingLinkage, Array,
165 "llvm.global.annotations", &TheModule);
166 gv->setSection("llvm.metadata");
167}
168
Nuno Lopes78534382008-06-08 15:45:52 +0000169void CodeGenModule::SetGlobalValueAttributes(const FunctionDecl *FD,
170 llvm::GlobalValue *GV) {
171 // TODO: Set up linkage and many other things. Note, this is a simple
172 // approximation of what we really want.
173 if (FD->getStorageClass() == FunctionDecl::Static)
174 GV->setLinkage(llvm::Function::InternalLinkage);
175 else if (FD->getAttr<DLLImportAttr>())
176 GV->setLinkage(llvm::Function::DLLImportLinkage);
177 else if (FD->getAttr<DLLExportAttr>())
178 GV->setLinkage(llvm::Function::DLLExportLinkage);
179 else if (FD->getAttr<WeakAttr>() || FD->isInline())
180 GV->setLinkage(llvm::Function::WeakLinkage);
181
182 if (const VisibilityAttr *attr = FD->getAttr<VisibilityAttr>())
Daniel Dunbar27250d32008-08-15 23:26:23 +0000183 setGlobalVisibility(GV, attr->getVisibility());
Nuno Lopes78534382008-06-08 15:45:52 +0000184 // FIXME: else handle -fvisibility
Daniel Dunbarced89142008-08-06 00:03:29 +0000185
186 if (const AsmLabelAttr *ALA = FD->getAttr<AsmLabelAttr>()) {
187 // Prefaced with special LLVM marker to indicate that the name
188 // should not be munged.
189 GV->setName("\01" + ALA->getLabel());
190 }
Nuno Lopes78534382008-06-08 15:45:52 +0000191}
192
Eli Friedman9be42212008-06-01 15:54:49 +0000193void CodeGenModule::SetFunctionAttributes(const FunctionDecl *FD,
194 llvm::Function *F,
195 const llvm::FunctionType *FTy) {
196 unsigned FuncAttrs = 0;
197 if (FD->getAttr<NoThrowAttr>())
198 FuncAttrs |= llvm::ParamAttr::NoUnwind;
199 if (FD->getAttr<NoReturnAttr>())
200 FuncAttrs |= llvm::ParamAttr::NoReturn;
201
202 llvm::SmallVector<llvm::ParamAttrsWithIndex, 8> ParamAttrList;
203 if (FuncAttrs)
204 ParamAttrList.push_back(llvm::ParamAttrsWithIndex::get(0, FuncAttrs));
205 // Note that there is parallel code in CodeGenFunction::EmitCallExpr
Daniel Dunbarace33292008-08-16 03:19:19 +0000206 bool AggregateReturn = CodeGenFunction::hasAggregateLLVMType(FD->getResultType());
Eli Friedman9be42212008-06-01 15:54:49 +0000207 if (AggregateReturn)
208 ParamAttrList.push_back(
209 llvm::ParamAttrsWithIndex::get(1, llvm::ParamAttr::StructRet));
210 unsigned increment = AggregateReturn ? 2 : 1;
Eli Friedmanfa94dff2008-06-04 19:41:28 +0000211 const FunctionTypeProto* FTP = dyn_cast<FunctionTypeProto>(FD->getType());
212 if (FTP) {
213 for (unsigned i = 0; i < FTP->getNumArgs(); i++) {
214 QualType ParamType = FTP->getArgType(i);
215 unsigned ParamAttrs = 0;
216 if (ParamType->isRecordType())
217 ParamAttrs |= llvm::ParamAttr::ByVal;
Chris Lattner578279d2008-06-26 05:08:00 +0000218 if (ParamType->isSignedIntegerType() &&
219 ParamType->isPromotableIntegerType())
Eli Friedmanfa94dff2008-06-04 19:41:28 +0000220 ParamAttrs |= llvm::ParamAttr::SExt;
Chris Lattner578279d2008-06-26 05:08:00 +0000221 if (ParamType->isUnsignedIntegerType() &&
222 ParamType->isPromotableIntegerType())
Eli Friedmanfa94dff2008-06-04 19:41:28 +0000223 ParamAttrs |= llvm::ParamAttr::ZExt;
224 if (ParamAttrs)
225 ParamAttrList.push_back(llvm::ParamAttrsWithIndex::get(i + increment,
226 ParamAttrs));
227 }
Eli Friedman9be42212008-06-01 15:54:49 +0000228 }
Eli Friedmanfa94dff2008-06-04 19:41:28 +0000229
Eli Friedman9be42212008-06-01 15:54:49 +0000230 F->setParamAttrs(llvm::PAListPtr::get(ParamAttrList.begin(),
231 ParamAttrList.size()));
232
233 // Set the appropriate calling convention for the Function.
234 if (FD->getAttr<FastCallAttr>())
235 F->setCallingConv(llvm::CallingConv::Fast);
236
Nuno Lopes78534382008-06-08 15:45:52 +0000237 SetGlobalValueAttributes(FD, F);
Eli Friedman9be42212008-06-01 15:54:49 +0000238}
239
Nate Begemanad320b62008-04-20 06:29:50 +0000240void CodeGenModule::EmitStatics() {
241 // Emit code for each used static decl encountered. Since a previously unused
242 // static decl may become used during the generation of code for a static
243 // function, iterate until no changes are made.
244 bool Changed;
245 do {
246 Changed = false;
247 for (unsigned i = 0, e = StaticDecls.size(); i != e; ++i) {
Daniel Dunbar7bf5b3d2008-07-29 23:18:29 +0000248 const ValueDecl *D = StaticDecls[i];
Eli Friedmana4d4e2f2008-05-27 04:58:01 +0000249
250 // Check if we have used a decl with the same name
251 // FIXME: The AST should have some sort of aggregate decls or
252 // global symbol map.
Daniel Dunbarad30be42008-08-25 06:18:57 +0000253 if (!GlobalDeclMap.count(D->getIdentifier()))
Daniel Dunbarced89142008-08-06 00:03:29 +0000254 continue;
Eli Friedmana4d4e2f2008-05-27 04:58:01 +0000255
Daniel Dunbar7bf5b3d2008-07-29 23:18:29 +0000256 // Emit the definition.
257 EmitGlobalDefinition(D);
258
Nate Begemanad320b62008-04-20 06:29:50 +0000259 // Erase the used decl from the list.
260 StaticDecls[i] = StaticDecls.back();
261 StaticDecls.pop_back();
262 --i;
263 --e;
264
265 // Remember that we made a change.
266 Changed = true;
267 }
268 } while (Changed);
Chris Lattner4b009652007-07-25 00:24:17 +0000269}
270
Nate Begeman8a704172008-04-19 04:17:09 +0000271/// EmitAnnotateAttr - Generate the llvm::ConstantStruct which contains the
272/// annotation information for a given GlobalValue. The annotation struct is
273/// {i8 *, i8 *, i8 *, i32}. The first field is a constant expression, the
Daniel Dunbara31eaf72008-08-05 23:31:02 +0000274/// GlobalValue being annotated. The second field is the constant string
Nate Begeman8a704172008-04-19 04:17:09 +0000275/// created from the AnnotateAttr's annotation. The third field is a constant
276/// string containing the name of the translation unit. The fourth field is
277/// the line number in the file of the annotated value declaration.
278///
279/// FIXME: this does not unique the annotation string constants, as llvm-gcc
280/// appears to.
281///
282llvm::Constant *CodeGenModule::EmitAnnotateAttr(llvm::GlobalValue *GV,
283 const AnnotateAttr *AA,
284 unsigned LineNo) {
285 llvm::Module *M = &getModule();
286
287 // get [N x i8] constants for the annotation string, and the filename string
288 // which are the 2nd and 3rd elements of the global annotation structure.
289 const llvm::Type *SBP = llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
290 llvm::Constant *anno = llvm::ConstantArray::get(AA->getAnnotation(), true);
291 llvm::Constant *unit = llvm::ConstantArray::get(M->getModuleIdentifier(),
292 true);
293
294 // Get the two global values corresponding to the ConstantArrays we just
295 // created to hold the bytes of the strings.
296 llvm::GlobalValue *annoGV =
297 new llvm::GlobalVariable(anno->getType(), false,
298 llvm::GlobalValue::InternalLinkage, anno,
299 GV->getName() + ".str", M);
300 // translation unit name string, emitted into the llvm.metadata section.
301 llvm::GlobalValue *unitGV =
302 new llvm::GlobalVariable(unit->getType(), false,
303 llvm::GlobalValue::InternalLinkage, unit, ".str", M);
304
305 // Create the ConstantStruct that is the global annotion.
306 llvm::Constant *Fields[4] = {
307 llvm::ConstantExpr::getBitCast(GV, SBP),
308 llvm::ConstantExpr::getBitCast(annoGV, SBP),
309 llvm::ConstantExpr::getBitCast(unitGV, SBP),
310 llvm::ConstantInt::get(llvm::Type::Int32Ty, LineNo)
311 };
312 return llvm::ConstantStruct::get(Fields, 4, false);
313}
314
Daniel Dunbar7bf5b3d2008-07-29 23:18:29 +0000315void CodeGenModule::EmitGlobal(const ValueDecl *Global) {
316 bool isDef, isStatic;
317
318 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(Global)) {
319 isDef = (FD->isThisDeclarationADefinition() ||
320 FD->getAttr<AliasAttr>());
321 isStatic = FD->getStorageClass() == FunctionDecl::Static;
322 } else if (const VarDecl *VD = cast<VarDecl>(Global)) {
323 assert(VD->isFileVarDecl() && "Cannot emit local var decl as global.");
324
325 isDef = !(VD->getStorageClass() == VarDecl::Extern && VD->getInit() == 0);
326 isStatic = VD->getStorageClass() == VarDecl::Static;
327 } else {
328 assert(0 && "Invalid argument to EmitGlobal");
Nate Begemanad320b62008-04-20 06:29:50 +0000329 return;
330 }
331
Daniel Dunbar7bf5b3d2008-07-29 23:18:29 +0000332 // Forward declarations are emitted lazily on first use.
333 if (!isDef)
Chris Lattner4b009652007-07-25 00:24:17 +0000334 return;
Daniel Dunbar7bf5b3d2008-07-29 23:18:29 +0000335
336 // If the global is a static, defer code generation until later so
337 // we can easily omit unused statics.
338 if (isStatic) {
339 StaticDecls.push_back(Global);
340 return;
341 }
342
343 // Otherwise emit the definition.
344 EmitGlobalDefinition(Global);
Nate Begemanad320b62008-04-20 06:29:50 +0000345}
346
Daniel Dunbar7bf5b3d2008-07-29 23:18:29 +0000347void CodeGenModule::EmitGlobalDefinition(const ValueDecl *D) {
348 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
349 EmitGlobalFunctionDefinition(FD);
350 } else if (const VarDecl *VD = dyn_cast<VarDecl>(D)) {
351 EmitGlobalVarDefinition(VD);
352 } else {
353 assert(0 && "Invalid argument to EmitGlobalDefinition()");
354 }
355}
356
Daniel Dunbar2188c532008-07-30 16:32:24 +0000357 llvm::Constant *CodeGenModule::GetAddrOfGlobalVar(const VarDecl *D) {
Eli Friedman43a0ce82008-05-30 19:50:47 +0000358 assert(D->hasGlobalStorage() && "Not a global variable");
359
Daniel Dunbar7bf5b3d2008-07-29 23:18:29 +0000360 QualType ASTTy = D->getType();
361 const llvm::Type *Ty = getTypes().ConvertTypeForMem(ASTTy);
Daniel Dunbar2188c532008-07-30 16:32:24 +0000362 const llvm::Type *PTy = llvm::PointerType::get(Ty, ASTTy.getAddressSpace());
Daniel Dunbar7bf5b3d2008-07-29 23:18:29 +0000363
Daniel Dunbara31eaf72008-08-05 23:31:02 +0000364 // Lookup the entry, lazily creating it if necessary.
Daniel Dunbarad30be42008-08-25 06:18:57 +0000365 llvm::GlobalValue *&Entry = GlobalDeclMap[D->getIdentifier()];
Daniel Dunbara31eaf72008-08-05 23:31:02 +0000366 if (!Entry)
367 Entry = new llvm::GlobalVariable(Ty, false,
368 llvm::GlobalValue::ExternalLinkage,
369 0, D->getName(), &getModule(), 0,
370 ASTTy.getAddressSpace());
371
Daniel Dunbar2188c532008-07-30 16:32:24 +0000372 // Make sure the result is of the correct type.
373 return llvm::ConstantExpr::getBitCast(Entry, PTy);
Daniel Dunbar7bf5b3d2008-07-29 23:18:29 +0000374}
375
376void CodeGenModule::EmitGlobalVarDefinition(const VarDecl *D) {
Chris Lattner4b009652007-07-25 00:24:17 +0000377 llvm::Constant *Init = 0;
Eli Friedman43a0ce82008-05-30 19:50:47 +0000378 QualType ASTTy = D->getType();
379 const llvm::Type *VarTy = getTypes().ConvertTypeForMem(ASTTy);
Eli Friedman43a0ce82008-05-30 19:50:47 +0000380
Chris Lattner4b009652007-07-25 00:24:17 +0000381 if (D->getInit() == 0) {
Eli Friedman7008e9a2008-05-30 20:39:54 +0000382 // This is a tentative definition; tentative definitions are
383 // implicitly initialized with { 0 }
384 const llvm::Type* InitTy;
385 if (ASTTy->isIncompleteArrayType()) {
386 // An incomplete array is normally [ TYPE x 0 ], but we need
387 // to fix it to [ TYPE x 1 ].
388 const llvm::ArrayType* ATy = cast<llvm::ArrayType>(VarTy);
389 InitTy = llvm::ArrayType::get(ATy->getElementType(), 1);
390 } else {
391 InitTy = VarTy;
392 }
393 Init = llvm::Constant::getNullValue(InitTy);
Eli Friedman43a0ce82008-05-30 19:50:47 +0000394 } else {
Daniel Dunbar7bf5b3d2008-07-29 23:18:29 +0000395 Init = EmitConstantExpr(D->getInit());
Eli Friedman43a0ce82008-05-30 19:50:47 +0000396 }
397 const llvm::Type* InitType = Init->getType();
398
Daniel Dunbarad30be42008-08-25 06:18:57 +0000399 llvm::GlobalValue *&Entry = GlobalDeclMap[D->getIdentifier()];
Daniel Dunbara31eaf72008-08-05 23:31:02 +0000400 llvm::GlobalVariable *GV = cast_or_null<llvm::GlobalVariable>(Entry);
401
Eli Friedman43a0ce82008-05-30 19:50:47 +0000402 if (!GV) {
403 GV = new llvm::GlobalVariable(InitType, false,
404 llvm::GlobalValue::ExternalLinkage,
405 0, D->getName(), &getModule(), 0,
406 ASTTy.getAddressSpace());
Daniel Dunbara31eaf72008-08-05 23:31:02 +0000407 } else if (GV->getType() !=
408 llvm::PointerType::get(InitType, ASTTy.getAddressSpace())) {
Eli Friedman43a0ce82008-05-30 19:50:47 +0000409 // We have a definition after a prototype with the wrong type.
410 // We must make a new GlobalVariable* and update everything that used OldGV
411 // (a declaration or tentative definition) with the new GlobalVariable*
412 // (which will be a definition).
413 //
414 // This happens if there is a prototype for a global (e.g. "extern int x[];")
415 // and then a definition of a different type (e.g. "int x[10];"). This also
416 // happens when an initializer has a different type from the type of the
417 // global (this happens with unions).
Eli Friedman7008e9a2008-05-30 20:39:54 +0000418 //
419 // FIXME: This also ends up happening if there's a definition followed by
420 // a tentative definition! (Although Sema rejects that construct
421 // at the moment.)
Eli Friedman43a0ce82008-05-30 19:50:47 +0000422
423 // Save the old global
424 llvm::GlobalVariable *OldGV = GV;
425
426 // Make a new global with the correct type
427 GV = new llvm::GlobalVariable(InitType, false,
428 llvm::GlobalValue::ExternalLinkage,
429 0, D->getName(), &getModule(), 0,
430 ASTTy.getAddressSpace());
431 // Steal the name of the old global
432 GV->takeName(OldGV);
433
434 // Replace all uses of the old global with the new global
435 llvm::Constant *NewPtrForOldDecl =
436 llvm::ConstantExpr::getBitCast(GV, OldGV->getType());
437 OldGV->replaceAllUsesWith(NewPtrForOldDecl);
Eli Friedman43a0ce82008-05-30 19:50:47 +0000438
439 // Erase the old global, since it is no longer used.
440 OldGV->eraseFromParent();
Chris Lattner4b009652007-07-25 00:24:17 +0000441 }
Devang Patel8b5f5302007-10-26 16:31:40 +0000442
Daniel Dunbara31eaf72008-08-05 23:31:02 +0000443 Entry = GV;
Devang Patel8b5f5302007-10-26 16:31:40 +0000444
Nate Begeman8a704172008-04-19 04:17:09 +0000445 if (const AnnotateAttr *AA = D->getAttr<AnnotateAttr>()) {
446 SourceManager &SM = Context.getSourceManager();
447 AddAnnotation(EmitAnnotateAttr(GV, AA,
448 SM.getLogicalLineNumber(D->getLocation())));
449 }
450
Chris Lattner4b009652007-07-25 00:24:17 +0000451 GV->setInitializer(Init);
Chris Lattner402b3372008-03-03 03:28:21 +0000452
Eli Friedman7008e9a2008-05-30 20:39:54 +0000453 // FIXME: This is silly; getTypeAlign should just work for incomplete arrays
454 unsigned Align;
Chris Lattnera1923f62008-08-04 07:31:14 +0000455 if (const IncompleteArrayType* IAT =
456 Context.getAsIncompleteArrayType(D->getType()))
Eli Friedman7008e9a2008-05-30 20:39:54 +0000457 Align = Context.getTypeAlign(IAT->getElementType());
458 else
459 Align = Context.getTypeAlign(D->getType());
Eli Friedmanb232e992008-05-29 11:10:27 +0000460 if (const AlignedAttr* AA = D->getAttr<AlignedAttr>()) {
461 Align = std::max(Align, AA->getAlignment());
462 }
463 GV->setAlignment(Align / 8);
464
Chris Lattner402b3372008-03-03 03:28:21 +0000465 if (const VisibilityAttr *attr = D->getAttr<VisibilityAttr>())
Daniel Dunbar27250d32008-08-15 23:26:23 +0000466 setGlobalVisibility(GV, attr->getVisibility());
Chris Lattner402b3372008-03-03 03:28:21 +0000467 // FIXME: else handle -fvisibility
Daniel Dunbarced89142008-08-06 00:03:29 +0000468
469 if (const AsmLabelAttr *ALA = D->getAttr<AsmLabelAttr>()) {
470 // Prefaced with special LLVM marker to indicate that the name
471 // should not be munged.
472 GV->setName("\01" + ALA->getLabel());
473 }
Chris Lattner4b009652007-07-25 00:24:17 +0000474
475 // Set the llvm linkage type as appropriate.
Chris Lattner25094a42008-05-04 01:44:26 +0000476 if (D->getStorageClass() == VarDecl::Static)
477 GV->setLinkage(llvm::Function::InternalLinkage);
478 else if (D->getAttr<DLLImportAttr>())
Chris Lattner402b3372008-03-03 03:28:21 +0000479 GV->setLinkage(llvm::Function::DLLImportLinkage);
480 else if (D->getAttr<DLLExportAttr>())
481 GV->setLinkage(llvm::Function::DLLExportLinkage);
Chris Lattner25094a42008-05-04 01:44:26 +0000482 else if (D->getAttr<WeakAttr>())
Chris Lattner402b3372008-03-03 03:28:21 +0000483 GV->setLinkage(llvm::GlobalVariable::WeakLinkage);
Chris Lattner25094a42008-05-04 01:44:26 +0000484 else {
Chris Lattner402b3372008-03-03 03:28:21 +0000485 // FIXME: This isn't right. This should handle common linkage and other
486 // stuff.
487 switch (D->getStorageClass()) {
Chris Lattner25094a42008-05-04 01:44:26 +0000488 case VarDecl::Static: assert(0 && "This case handled above");
Chris Lattner402b3372008-03-03 03:28:21 +0000489 case VarDecl::Auto:
490 case VarDecl::Register:
491 assert(0 && "Can't have auto or register globals");
492 case VarDecl::None:
493 if (!D->getInit())
Eli Friedmana7f46332008-05-29 11:03:17 +0000494 GV->setLinkage(llvm::GlobalVariable::CommonLinkage);
Chris Lattner402b3372008-03-03 03:28:21 +0000495 break;
496 case VarDecl::Extern:
497 case VarDecl::PrivateExtern:
498 // todo: common
499 break;
Chris Lattner402b3372008-03-03 03:28:21 +0000500 }
Chris Lattner4b009652007-07-25 00:24:17 +0000501 }
Sanjiv Gupta54d97542008-06-05 08:59:10 +0000502
503 // Emit global variable debug information.
504 CGDebugInfo *DI = getDebugInfo();
505 if(DI) {
506 if(D->getLocation().isValid())
507 DI->setLocation(D->getLocation());
508 DI->EmitGlobalVariable(GV, D);
509 }
Chris Lattner4b009652007-07-25 00:24:17 +0000510}
511
Daniel Dunbar7bf5b3d2008-07-29 23:18:29 +0000512llvm::GlobalValue *
513CodeGenModule::EmitForwardFunctionDefinition(const FunctionDecl *D) {
514 // FIXME: param attributes for sext/zext etc.
515 if (const AliasAttr *AA = D->getAttr<AliasAttr>()) {
516 assert(!D->getBody() && "Unexpected alias attr on function with body.");
517
518 const std::string& aliaseeName = AA->getAliasee();
519 llvm::Function *aliasee = getModule().getFunction(aliaseeName);
520 llvm::GlobalValue *alias = new llvm::GlobalAlias(aliasee->getType(),
521 llvm::Function::ExternalLinkage,
522 D->getName(),
523 aliasee,
524 &getModule());
525 SetGlobalValueAttributes(D, alias);
526 return alias;
527 } else {
528 const llvm::Type *Ty = getTypes().ConvertType(D->getType());
529 const llvm::FunctionType *FTy = cast<llvm::FunctionType>(Ty);
530 llvm::Function *F = llvm::Function::Create(FTy,
531 llvm::Function::ExternalLinkage,
532 D->getName(), &getModule());
533
534 SetFunctionAttributes(D, F, FTy);
535 return F;
536 }
537}
538
539llvm::Constant *CodeGenModule::GetAddrOfFunction(const FunctionDecl *D) {
Daniel Dunbar2188c532008-07-30 16:32:24 +0000540 QualType ASTTy = D->getType();
541 const llvm::Type *Ty = getTypes().ConvertTypeForMem(ASTTy);
542 const llvm::Type *PTy = llvm::PointerType::get(Ty, ASTTy.getAddressSpace());
Daniel Dunbara31eaf72008-08-05 23:31:02 +0000543
544 // Lookup the entry, lazily creating it if necessary.
Daniel Dunbarad30be42008-08-25 06:18:57 +0000545 llvm::GlobalValue *&Entry = GlobalDeclMap[D->getIdentifier()];
Daniel Dunbara31eaf72008-08-05 23:31:02 +0000546 if (!Entry)
547 Entry = EmitForwardFunctionDefinition(D);
Daniel Dunbar7bf5b3d2008-07-29 23:18:29 +0000548
Daniel Dunbar2188c532008-07-30 16:32:24 +0000549 return llvm::ConstantExpr::getBitCast(Entry, PTy);
Daniel Dunbar7bf5b3d2008-07-29 23:18:29 +0000550}
551
552void CodeGenModule::EmitGlobalFunctionDefinition(const FunctionDecl *D) {
Daniel Dunbarad30be42008-08-25 06:18:57 +0000553 llvm::GlobalValue *&Entry = GlobalDeclMap[D->getIdentifier()];
Daniel Dunbara31eaf72008-08-05 23:31:02 +0000554 if (!Entry) {
Daniel Dunbar7bf5b3d2008-07-29 23:18:29 +0000555 Entry = EmitForwardFunctionDefinition(D);
556 } else {
Daniel Dunbara31eaf72008-08-05 23:31:02 +0000557 // If the types mismatch then we have to rewrite the definition.
558 const llvm::Type *Ty = getTypes().ConvertType(D->getType());
559 if (Entry->getType() != llvm::PointerType::getUnqual(Ty)) {
Daniel Dunbar7bf5b3d2008-07-29 23:18:29 +0000560 // Otherwise, we have a definition after a prototype with the wrong type.
561 // F is the Function* for the one with the wrong type, we must make a new
562 // Function* and update everything that used F (a declaration) with the new
563 // Function* (which will be a definition).
564 //
565 // This happens if there is a prototype for a function (e.g. "int f()") and
566 // then a definition of a different type (e.g. "int f(int x)"). Start by
567 // making a new function of the correct type, RAUW, then steal the name.
Daniel Dunbara31eaf72008-08-05 23:31:02 +0000568 llvm::GlobalValue *NewFn = EmitForwardFunctionDefinition(D);
569 NewFn->takeName(Entry);
Daniel Dunbar7bf5b3d2008-07-29 23:18:29 +0000570
571 // Replace uses of F with the Function we will endow with a body.
572 llvm::Constant *NewPtrForOldDecl =
Daniel Dunbara31eaf72008-08-05 23:31:02 +0000573 llvm::ConstantExpr::getBitCast(NewFn, Entry->getType());
574 Entry->replaceAllUsesWith(NewPtrForOldDecl);
575
Daniel Dunbar7bf5b3d2008-07-29 23:18:29 +0000576 // Ok, delete the old function now, which is dead.
Daniel Dunbara31eaf72008-08-05 23:31:02 +0000577 // FIXME: Add GlobalValue->eraseFromParent().
578 assert(Entry->isDeclaration() && "Shouldn't replace non-declaration");
579 if (llvm::Function *F = dyn_cast<llvm::Function>(Entry)) {
580 F->eraseFromParent();
581 } else if (llvm::GlobalAlias *GA = dyn_cast<llvm::GlobalAlias>(Entry)) {
582 GA->eraseFromParent();
583 } else {
584 assert(0 && "Invalid global variable type.");
585 }
Daniel Dunbar7bf5b3d2008-07-29 23:18:29 +0000586
Daniel Dunbar7bf5b3d2008-07-29 23:18:29 +0000587 Entry = NewFn;
588 }
589 }
590
591 if (D->getAttr<AliasAttr>()) {
592 ;
593 } else {
594 llvm::Function *Fn = cast<llvm::Function>(Entry);
595 CodeGenFunction(*this).GenerateCode(D, Fn);
Daniel Dunbardd2e9ca2008-08-01 00:01:51 +0000596
Daniel Dunbar91692d92008-08-11 17:36:14 +0000597 // Set attributes specific to definition.
598 // FIXME: This needs to be cleaned up by clearly emitting the
599 // declaration / definition at separate times.
600 if (!Features.Exceptions)
601 Fn->addParamAttr(0, llvm::ParamAttr::NoUnwind);
602
Daniel Dunbardd2e9ca2008-08-01 00:01:51 +0000603 if (const ConstructorAttr *CA = D->getAttr<ConstructorAttr>()) {
604 AddGlobalCtor(Fn, CA->getPriority());
605 } else if (const DestructorAttr *DA = D->getAttr<DestructorAttr>()) {
606 AddGlobalDtor(Fn, DA->getPriority());
607 }
Daniel Dunbar7bf5b3d2008-07-29 23:18:29 +0000608 }
609}
610
Chris Lattner9ec3ca22008-02-06 05:08:19 +0000611void CodeGenModule::UpdateCompletedType(const TagDecl *TD) {
612 // Make sure that this type is translated.
613 Types.UpdateCompletedType(TD);
Chris Lattner1b22f8b2008-02-05 08:06:13 +0000614}
615
616
Chris Lattnerab862cc2007-08-31 04:31:45 +0000617/// getBuiltinLibFunction
618llvm::Function *CodeGenModule::getBuiltinLibFunction(unsigned BuiltinID) {
Chris Lattner9f2d6892007-12-13 00:38:03 +0000619 if (BuiltinID > BuiltinFunctions.size())
620 BuiltinFunctions.resize(BuiltinID);
Chris Lattnerab862cc2007-08-31 04:31:45 +0000621
Chris Lattner9f2d6892007-12-13 00:38:03 +0000622 // Cache looked up functions. Since builtin id #0 is invalid we don't reserve
623 // a slot for it.
624 assert(BuiltinID && "Invalid Builtin ID");
625 llvm::Function *&FunctionSlot = BuiltinFunctions[BuiltinID-1];
Chris Lattnerab862cc2007-08-31 04:31:45 +0000626 if (FunctionSlot)
627 return FunctionSlot;
628
629 assert(Context.BuiltinInfo.isLibFunction(BuiltinID) && "isn't a lib fn");
630
631 // Get the name, skip over the __builtin_ prefix.
632 const char *Name = Context.BuiltinInfo.GetName(BuiltinID)+10;
633
634 // Get the type for the builtin.
635 QualType Type = Context.BuiltinInfo.GetBuiltinType(BuiltinID, Context);
636 const llvm::FunctionType *Ty =
637 cast<llvm::FunctionType>(getTypes().ConvertType(Type));
638
639 // FIXME: This has a serious problem with code like this:
640 // void abs() {}
641 // ... __builtin_abs(x);
642 // The two versions of abs will collide. The fix is for the builtin to win,
643 // and for the existing one to be turned into a constantexpr cast of the
644 // builtin. In the case where the existing one is a static function, it
645 // should just be renamed.
Chris Lattner02c60f52007-08-31 04:44:06 +0000646 if (llvm::Function *Existing = getModule().getFunction(Name)) {
647 if (Existing->getFunctionType() == Ty && Existing->hasExternalLinkage())
648 return FunctionSlot = Existing;
649 assert(Existing == 0 && "FIXME: Name collision");
650 }
Chris Lattnerab862cc2007-08-31 04:31:45 +0000651
652 // FIXME: param attributes for sext/zext etc.
Nate Begemanad320b62008-04-20 06:29:50 +0000653 return FunctionSlot =
654 llvm::Function::Create(Ty, llvm::Function::ExternalLinkage, Name,
655 &getModule());
Chris Lattnerab862cc2007-08-31 04:31:45 +0000656}
657
Chris Lattner4b23f942007-12-18 00:25:38 +0000658llvm::Function *CodeGenModule::getIntrinsic(unsigned IID,const llvm::Type **Tys,
659 unsigned NumTys) {
660 return llvm::Intrinsic::getDeclaration(&getModule(),
661 (llvm::Intrinsic::ID)IID, Tys, NumTys);
662}
Chris Lattnerab862cc2007-08-31 04:31:45 +0000663
Chris Lattner4b009652007-07-25 00:24:17 +0000664llvm::Function *CodeGenModule::getMemCpyFn() {
665 if (MemCpyFn) return MemCpyFn;
666 llvm::Intrinsic::ID IID;
Chris Lattner461a6c52008-03-08 08:34:58 +0000667 switch (Context.Target.getPointerWidth(0)) {
Chris Lattner4b009652007-07-25 00:24:17 +0000668 default: assert(0 && "Unknown ptr width");
669 case 32: IID = llvm::Intrinsic::memcpy_i32; break;
670 case 64: IID = llvm::Intrinsic::memcpy_i64; break;
671 }
Chris Lattner4b23f942007-12-18 00:25:38 +0000672 return MemCpyFn = getIntrinsic(IID);
Chris Lattner4b009652007-07-25 00:24:17 +0000673}
Anders Carlsson36a04872007-08-21 00:21:21 +0000674
Eli Friedman8f08a252008-05-26 12:59:39 +0000675llvm::Function *CodeGenModule::getMemMoveFn() {
676 if (MemMoveFn) return MemMoveFn;
677 llvm::Intrinsic::ID IID;
678 switch (Context.Target.getPointerWidth(0)) {
679 default: assert(0 && "Unknown ptr width");
680 case 32: IID = llvm::Intrinsic::memmove_i32; break;
681 case 64: IID = llvm::Intrinsic::memmove_i64; break;
682 }
683 return MemMoveFn = getIntrinsic(IID);
684}
685
Lauro Ramos Venancioe5bef732008-02-19 22:01:01 +0000686llvm::Function *CodeGenModule::getMemSetFn() {
687 if (MemSetFn) return MemSetFn;
688 llvm::Intrinsic::ID IID;
Chris Lattner461a6c52008-03-08 08:34:58 +0000689 switch (Context.Target.getPointerWidth(0)) {
Lauro Ramos Venancioe5bef732008-02-19 22:01:01 +0000690 default: assert(0 && "Unknown ptr width");
691 case 32: IID = llvm::Intrinsic::memset_i32; break;
692 case 64: IID = llvm::Intrinsic::memset_i64; break;
693 }
694 return MemSetFn = getIntrinsic(IID);
695}
Chris Lattner4b23f942007-12-18 00:25:38 +0000696
Daniel Dunbardbdb9512008-08-23 18:37:06 +0000697// We still need to work out the details of handling UTF-16.
698// See: <rdr://2996215>
Chris Lattnerab862cc2007-08-31 04:31:45 +0000699llvm::Constant *CodeGenModule::
700GetAddrOfConstantCFString(const std::string &str) {
Anders Carlsson36a04872007-08-21 00:21:21 +0000701 llvm::StringMapEntry<llvm::Constant *> &Entry =
702 CFConstantStringMap.GetOrCreateValue(&str[0], &str[str.length()]);
703
704 if (Entry.getValue())
705 return Entry.getValue();
706
Daniel Dunbardbdb9512008-08-23 18:37:06 +0000707 llvm::Constant *Zero = llvm::Constant::getNullValue(llvm::Type::Int32Ty);
708 llvm::Constant *Zeros[] = { Zero, Zero };
Anders Carlsson36a04872007-08-21 00:21:21 +0000709
710 if (!CFConstantStringClassRef) {
711 const llvm::Type *Ty = getTypes().ConvertType(getContext().IntTy);
712 Ty = llvm::ArrayType::get(Ty, 0);
Daniel Dunbardbdb9512008-08-23 18:37:06 +0000713
714 // FIXME: This is fairly broken if
715 // __CFConstantStringClassReference is already defined, in that it
716 // will get renamed and the user will most likely see an opaque
717 // error message. This is a general issue with relying on
718 // particular names.
719 llvm::GlobalVariable *GV =
Anders Carlsson36a04872007-08-21 00:21:21 +0000720 new llvm::GlobalVariable(Ty, false,
721 llvm::GlobalVariable::ExternalLinkage, 0,
722 "__CFConstantStringClassReference",
723 &getModule());
Daniel Dunbardbdb9512008-08-23 18:37:06 +0000724
725 // Decay array -> ptr
726 CFConstantStringClassRef =
727 llvm::ConstantExpr::getGetElementPtr(GV, Zeros, 2);
Anders Carlsson36a04872007-08-21 00:21:21 +0000728 }
729
Daniel Dunbardbdb9512008-08-23 18:37:06 +0000730 std::vector<llvm::Constant*> Fields(4);
731
Anders Carlsson36a04872007-08-21 00:21:21 +0000732 // Class pointer.
Daniel Dunbardbdb9512008-08-23 18:37:06 +0000733 Fields[0] = CFConstantStringClassRef;
Anders Carlsson36a04872007-08-21 00:21:21 +0000734
735 // Flags.
Daniel Dunbardbdb9512008-08-23 18:37:06 +0000736 const llvm::Type *Ty = getTypes().ConvertType(getContext().UnsignedIntTy);
737 Fields[1] = llvm::ConstantInt::get(Ty, 0x07C8);
Anders Carlsson36a04872007-08-21 00:21:21 +0000738
739 // String pointer.
Daniel Dunbardbdb9512008-08-23 18:37:06 +0000740 llvm::Constant *C = llvm::ConstantArray::get(str);
Anders Carlsson36a04872007-08-21 00:21:21 +0000741 C = new llvm::GlobalVariable(C->getType(), true,
742 llvm::GlobalValue::InternalLinkage,
Daniel Dunbardbdb9512008-08-23 18:37:06 +0000743 C, ".str", &getModule());
744 Fields[2] = llvm::ConstantExpr::getGetElementPtr(C, Zeros, 2);
Anders Carlsson36a04872007-08-21 00:21:21 +0000745
746 // String length.
747 Ty = getTypes().ConvertType(getContext().LongTy);
Daniel Dunbardbdb9512008-08-23 18:37:06 +0000748 Fields[3] = llvm::ConstantInt::get(Ty, str.length());
Anders Carlsson36a04872007-08-21 00:21:21 +0000749
750 // The struct.
751 Ty = getTypes().ConvertType(getContext().getCFConstantStringType());
752 C = llvm::ConstantStruct::get(cast<llvm::StructType>(Ty), Fields);
Anders Carlsson9be009e2007-11-01 00:41:52 +0000753 llvm::GlobalVariable *GV =
754 new llvm::GlobalVariable(C->getType(), true,
755 llvm::GlobalVariable::InternalLinkage,
756 C, "", &getModule());
Daniel Dunbardbdb9512008-08-23 18:37:06 +0000757
Anders Carlsson9be009e2007-11-01 00:41:52 +0000758 GV->setSection("__DATA,__cfstring");
759 Entry.setValue(GV);
Daniel Dunbardbdb9512008-08-23 18:37:06 +0000760
Anders Carlsson9be009e2007-11-01 00:41:52 +0000761 return GV;
Anders Carlsson36a04872007-08-21 00:21:21 +0000762}
Chris Lattnerdb6be562007-11-28 05:34:05 +0000763
Daniel Dunbar31fe9c32008-08-13 23:20:05 +0000764/// GetStringForStringLiteral - Return the appropriate bytes for a
Daniel Dunbar3c670e12008-08-10 20:25:57 +0000765/// string literal, properly padded to match the literal type.
Daniel Dunbar31fe9c32008-08-13 23:20:05 +0000766std::string CodeGenModule::GetStringForStringLiteral(const StringLiteral *E) {
Daniel Dunbar3c670e12008-08-10 20:25:57 +0000767 assert(!E->isWide() && "FIXME: Wide strings not supported yet!");
768 const char *StrData = E->getStrData();
769 unsigned Len = E->getByteLength();
770
771 const ConstantArrayType *CAT =
772 getContext().getAsConstantArrayType(E->getType());
773 assert(CAT && "String isn't pointer or array!");
774
775 // Resize the string to the right size
776 // FIXME: What about wchar_t strings?
777 std::string Str(StrData, StrData+Len);
778 uint64_t RealLen = CAT->getSize().getZExtValue();
779 Str.resize(RealLen, '\0');
780
781 return Str;
782}
783
Daniel Dunbar31fe9c32008-08-13 23:20:05 +0000784/// GetAddrOfConstantStringFromLiteral - Return a pointer to a
785/// constant array for the given string literal.
786llvm::Constant *
787CodeGenModule::GetAddrOfConstantStringFromLiteral(const StringLiteral *S) {
788 // FIXME: This can be more efficient.
789 return GetAddrOfConstantString(GetStringForStringLiteral(S));
790}
791
Chris Lattnera6dcce32008-02-11 00:02:17 +0000792/// GenerateWritableString -- Creates storage for a string literal.
Chris Lattnerdb6be562007-11-28 05:34:05 +0000793static llvm::Constant *GenerateStringLiteral(const std::string &str,
794 bool constant,
Chris Lattnercf9c9d02007-12-02 07:19:18 +0000795 CodeGenModule &CGM) {
Daniel Dunbar31fe9c32008-08-13 23:20:05 +0000796 // Create Constant for this string literal. Don't add a '\0'.
797 llvm::Constant *C = llvm::ConstantArray::get(str, false);
Chris Lattnerdb6be562007-11-28 05:34:05 +0000798
799 // Create a global variable for this string
800 C = new llvm::GlobalVariable(C->getType(), constant,
801 llvm::GlobalValue::InternalLinkage,
Chris Lattnercf9c9d02007-12-02 07:19:18 +0000802 C, ".str", &CGM.getModule());
Daniel Dunbar31fe9c32008-08-13 23:20:05 +0000803
Chris Lattnerdb6be562007-11-28 05:34:05 +0000804 return C;
805}
806
Daniel Dunbar31fe9c32008-08-13 23:20:05 +0000807/// GetAddrOfConstantString - Returns a pointer to a character array
808/// containing the literal. This contents are exactly that of the
809/// given string, i.e. it will not be null terminated automatically;
810/// see GetAddrOfConstantCString. Note that whether the result is
811/// actually a pointer to an LLVM constant depends on
812/// Feature.WriteableStrings.
813///
814/// The result has pointer to array type.
Chris Lattnerdb6be562007-11-28 05:34:05 +0000815llvm::Constant *CodeGenModule::GetAddrOfConstantString(const std::string &str) {
816 // Don't share any string literals if writable-strings is turned on.
817 if (Features.WritableStrings)
818 return GenerateStringLiteral(str, false, *this);
819
820 llvm::StringMapEntry<llvm::Constant *> &Entry =
821 ConstantStringMap.GetOrCreateValue(&str[0], &str[str.length()]);
822
823 if (Entry.getValue())
824 return Entry.getValue();
825
826 // Create a global variable for this.
827 llvm::Constant *C = GenerateStringLiteral(str, true, *this);
828 Entry.setValue(C);
829 return C;
830}
Daniel Dunbar31fe9c32008-08-13 23:20:05 +0000831
832/// GetAddrOfConstantCString - Returns a pointer to a character
833/// array containing the literal and a terminating '\-'
834/// character. The result has pointer to array type.
835llvm::Constant *CodeGenModule::GetAddrOfConstantCString(const std::string &str) {
Daniel Dunbarb4278222008-08-15 18:29:12 +0000836 return GetAddrOfConstantString(str + "\0");
Daniel Dunbar31fe9c32008-08-13 23:20:05 +0000837}
Daniel Dunbar27250d32008-08-15 23:26:23 +0000838
839/// EmitTopLevelDecl - Emit code for a single top level declaration.
840void CodeGenModule::EmitTopLevelDecl(Decl *D) {
841 // If an error has occurred, stop code generation, but continue
842 // parsing and semantic analysis (to ensure all warnings and errors
843 // are emitted).
844 if (Diags.hasErrorOccurred())
845 return;
846
847 switch (D->getKind()) {
848 case Decl::Function:
849 case Decl::Var:
850 EmitGlobal(cast<ValueDecl>(D));
851 break;
852
853 case Decl::Namespace:
854 assert(0 && "FIXME: Namespace unsupported");
855 break;
856
857 // Objective-C Decls
858
859 // Forward declarations, no (immediate) code generation.
860 case Decl::ObjCClass:
861 case Decl::ObjCCategory:
862 case Decl::ObjCForwardProtocol:
863 case Decl::ObjCInterface:
864 break;
865
866 case Decl::ObjCProtocol:
867 Runtime->GenerateProtocol(cast<ObjCProtocolDecl>(D));
868 break;
869
870 case Decl::ObjCCategoryImpl:
871 Runtime->GenerateCategory(cast<ObjCCategoryImplDecl>(D));
872 break;
873
874 case Decl::ObjCImplementation:
875 Runtime->GenerateClass(cast<ObjCImplementationDecl>(D));
876 break;
877
878 case Decl::ObjCMethod: {
879 ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(D);
880 // If this is not a prototype, emit the body.
881 if (OMD->getBody())
882 CodeGenFunction(*this).GenerateObjCMethod(OMD);
883 break;
884 }
885 case Decl::ObjCPropertyImpl:
886 assert(0 && "FIXME: ObjCPropertyImpl unsupported");
887 break;
888 case Decl::ObjCCompatibleAlias:
889 assert(0 && "FIXME: ObjCCompatibleAlias unsupported");
890 break;
891
892 case Decl::LinkageSpec: {
893 LinkageSpecDecl *LSD = cast<LinkageSpecDecl>(D);
894 if (LSD->getLanguage() == LinkageSpecDecl::lang_cxx)
Daniel Dunbar9503b782008-08-16 00:56:44 +0000895 ErrorUnsupported(LSD, "linkage spec");
Daniel Dunbar27250d32008-08-15 23:26:23 +0000896 // FIXME: implement C++ linkage, C linkage works mostly by C
897 // language reuse already.
898 break;
899 }
900
901 case Decl::FileScopeAsm: {
902 FileScopeAsmDecl *AD = cast<FileScopeAsmDecl>(D);
903 std::string AsmString(AD->getAsmString()->getStrData(),
904 AD->getAsmString()->getByteLength());
905
906 const std::string &S = getModule().getModuleInlineAsm();
907 if (S.empty())
908 getModule().setModuleInlineAsm(AsmString);
909 else
910 getModule().setModuleInlineAsm(S + '\n' + AsmString);
911 break;
912 }
913
914 default:
915 // Make sure we handled everything we should, every other kind is
916 // a non-top-level decl. FIXME: Would be nice to have an
917 // isTopLevelDeclKind function. Need to recode Decl::Kind to do
918 // that easily.
919 assert(isa<TypeDecl>(D) && "Unsupported decl kind");
920 }
921}
922