blob: 57d5377bc377f966f301d8841ea155d1d0777410 [file] [log] [blame]
Reid Spencer5f016e22007-07-11 17:01:13 +00001//===--- CodeGenModule.cpp - Emit LLVM Code from ASTs for a Module --------===//
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 coordinates the per-module state used while generating code.
11//
12//===----------------------------------------------------------------------===//
13
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +000014#include "CGDebugInfo.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000015#include "CodeGenModule.h"
16#include "CodeGenFunction.h"
Daniel Dunbaraf2f62c2008-08-13 00:59:25 +000017#include "CGObjCRuntime.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000018#include "clang/AST/ASTContext.h"
Daniel Dunbarc4a1dea2008-08-11 05:35:13 +000019#include "clang/AST/DeclObjC.h"
Chris Lattner2c8569d2007-12-02 07:19:18 +000020#include "clang/Basic/Diagnostic.h"
Nate Begeman8bd4afe2008-04-19 04:17:09 +000021#include "clang/Basic/SourceManager.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000022#include "clang/Basic/TargetInfo.h"
Nate Begemanec9426c2008-03-09 03:09:36 +000023#include "llvm/CallingConv.h"
Chris Lattnerbef20ac2007-08-31 04:31:45 +000024#include "llvm/Module.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000025#include "llvm/Intrinsics.h"
Anton Korobeynikov20ff3102008-06-01 14:13:53 +000026#include "llvm/Target/TargetData.h"
Chris Lattnera1945fa2008-04-30 16:05:42 +000027#include "llvm/Analysis/Verifier.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000028using namespace clang;
29using namespace CodeGen;
30
31
Chris Lattner45e8cbd2007-11-28 05:34:05 +000032CodeGenModule::CodeGenModule(ASTContext &C, const LangOptions &LO,
Chris Lattnerfb97b032007-12-02 01:40:18 +000033 llvm::Module &M, const llvm::TargetData &TD,
Daniel Dunbarf77ac862008-08-11 21:35:06 +000034 Diagnostic &diags, bool GenerateDebugInfo)
Chris Lattnerfb97b032007-12-02 01:40:18 +000035 : Context(C), Features(LO), TheModule(M), TheTargetData(TD), Diags(diags),
Daniel Dunbar208ff5e2008-08-11 18:12:00 +000036 Types(C, M, TD), Runtime(0), MemCpyFn(0), MemMoveFn(0), MemSetFn(0),
Eli Friedman0c995092008-05-26 12:59:39 +000037 CFConstantStringClassRef(0) {
Daniel Dunbar208ff5e2008-08-11 18:12:00 +000038
39 if (Features.ObjC1) {
Daniel Dunbarf77ac862008-08-11 21:35:06 +000040 if (Features.NeXTRuntime) {
Daniel Dunbar208ff5e2008-08-11 18:12:00 +000041 Runtime = CreateMacObjCRuntime(*this);
42 } else {
43 Runtime = CreateGNUObjCRuntime(*this);
44 }
Daniel Dunbarc17a4d32008-08-11 02:45:11 +000045 }
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +000046
47 // If debug info generation is enabled, create the CGDebugInfo object.
Ted Kremenek815c78f2008-08-05 18:50:11 +000048 DebugInfo = GenerateDebugInfo ? new CGDebugInfo(this) : 0;
Chris Lattner2b94fe32008-03-01 08:45:05 +000049}
50
51CodeGenModule::~CodeGenModule() {
Ted Kremenek815c78f2008-08-05 18:50:11 +000052 delete Runtime;
53 delete DebugInfo;
54}
55
56void CodeGenModule::Release() {
Anton Korobeynikov20ff3102008-06-01 14:13:53 +000057 EmitStatics();
Daniel Dunbar208ff5e2008-08-11 18:12:00 +000058 if (Runtime)
59 if (llvm::Function *ObjCInitFunction = Runtime->ModuleInitFunction())
60 AddGlobalCtor(ObjCInitFunction);
Daniel Dunbar6bfed7e2008-08-01 00:01:51 +000061 EmitCtorList(GlobalCtors, "llvm.global_ctors");
62 EmitCtorList(GlobalDtors, "llvm.global_dtors");
Nate Begeman532485c2008-04-18 23:43:57 +000063 EmitAnnotations();
Chris Lattnera1945fa2008-04-30 16:05:42 +000064 // Run the verifier to check that the generated code is consistent.
65 assert(!verifyModule(TheModule));
Chris Lattner2b94fe32008-03-01 08:45:05 +000066}
Reid Spencer5f016e22007-07-11 17:01:13 +000067
Daniel Dunbar488e9932008-08-16 00:56:44 +000068/// ErrorUnsupported - Print out an error that codegen doesn't support the
Chris Lattner2c8569d2007-12-02 07:19:18 +000069/// specified stmt yet.
Daniel Dunbar488e9932008-08-16 00:56:44 +000070void CodeGenModule::ErrorUnsupported(const Stmt *S, const char *Type) {
71 unsigned DiagID = getDiags().getCustomDiagID(Diagnostic::Error,
Chris Lattner2c8569d2007-12-02 07:19:18 +000072 "cannot codegen this %0 yet");
73 SourceRange Range = S->getSourceRange();
74 std::string Msg = Type;
Ted Kremenek9c728dc2007-12-12 22:39:36 +000075 getDiags().Report(Context.getFullLoc(S->getLocStart()), DiagID,
Ted Kremenek7a9d49f2007-12-11 21:27:55 +000076 &Msg, 1, &Range, 1);
Chris Lattner2c8569d2007-12-02 07:19:18 +000077}
Chris Lattner58c3f9e2007-12-02 06:27:33 +000078
Daniel Dunbar488e9932008-08-16 00:56:44 +000079/// ErrorUnsupported - Print out an error that codegen doesn't support the
Chris Lattnerc6fdc342008-01-12 07:05:38 +000080/// specified decl yet.
Daniel Dunbar488e9932008-08-16 00:56:44 +000081void CodeGenModule::ErrorUnsupported(const Decl *D, const char *Type) {
82 unsigned DiagID = getDiags().getCustomDiagID(Diagnostic::Error,
Chris Lattnerc6fdc342008-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 Dunbar41071de2008-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 Gohman4f8d1232008-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 Lattner6d397602008-03-14 17:18:18 +0000107/// AddGlobalCtor - Add a function to the list that will be called before
108/// main() runs.
Daniel Dunbar6bfed7e2008-08-01 00:01:51 +0000109void CodeGenModule::AddGlobalCtor(llvm::Function * Ctor, int Priority) {
Chris Lattner6d397602008-03-14 17:18:18 +0000110 // TODO: Type coercion of void()* types.
Daniel Dunbar6bfed7e2008-08-01 00:01:51 +0000111 GlobalCtors.push_back(std::make_pair(Ctor, Priority));
Chris Lattner6d397602008-03-14 17:18:18 +0000112}
113
Daniel Dunbar6bfed7e2008-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 Lattner572cf092008-03-19 05:24:56 +0000130 llvm::StructType* CtorStructTy =
Daniel Dunbar6bfed7e2008-08-01 00:01:51 +0000131 llvm::StructType::get(llvm::Type::Int32Ty,
132 llvm::PointerType::getUnqual(CtorFTy), NULL);
Chris Lattner6d397602008-03-14 17:18:18 +0000133
Daniel Dunbar6bfed7e2008-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 Lattner6d397602008-03-14 17:18:18 +0000141 }
Daniel Dunbar6bfed7e2008-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 Lattner6d397602008-03-14 17:18:18 +0000151}
152
Nate Begeman532485c2008-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 Lopesd4cbda62008-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 Dunbar41071de2008-08-15 23:26:23 +0000183 setGlobalVisibility(GV, attr->getVisibility());
Nuno Lopesd4cbda62008-06-08 15:45:52 +0000184 // FIXME: else handle -fvisibility
Daniel Dunbara735ad82008-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 Lopesd4cbda62008-06-08 15:45:52 +0000191}
192
Eli Friedmanff4a2d92008-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 Dunbarb7ec2462008-08-16 03:19:19 +0000206 bool AggregateReturn = CodeGenFunction::hasAggregateLLVMType(FD->getResultType());
Eli Friedmanff4a2d92008-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 Friedmanc134fcb2008-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 Lattnera4210072008-06-26 05:08:00 +0000218 if (ParamType->isSignedIntegerType() &&
219 ParamType->isPromotableIntegerType())
Eli Friedmanc134fcb2008-06-04 19:41:28 +0000220 ParamAttrs |= llvm::ParamAttr::SExt;
Chris Lattnera4210072008-06-26 05:08:00 +0000221 if (ParamType->isUnsignedIntegerType() &&
222 ParamType->isPromotableIntegerType())
Eli Friedmanc134fcb2008-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 Friedmanff4a2d92008-06-01 15:54:49 +0000228 }
Eli Friedmanc134fcb2008-06-04 19:41:28 +0000229
Eli Friedmanff4a2d92008-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 Lopesd4cbda62008-06-08 15:45:52 +0000237 SetGlobalValueAttributes(FD, F);
Eli Friedmanff4a2d92008-06-01 15:54:49 +0000238}
239
Nate Begeman4c13b7a2008-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 Dunbarbd012ff2008-07-29 23:18:29 +0000248 const ValueDecl *D = StaticDecls[i];
Eli Friedman6f7e2ee2008-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 Dunbar90db8822008-08-25 06:18:57 +0000253 if (!GlobalDeclMap.count(D->getIdentifier()))
Daniel Dunbara735ad82008-08-06 00:03:29 +0000254 continue;
Eli Friedman6f7e2ee2008-05-27 04:58:01 +0000255
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000256 // Emit the definition.
257 EmitGlobalDefinition(D);
258
Nate Begeman4c13b7a2008-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);
Reid Spencer5f016e22007-07-11 17:01:13 +0000269}
270
Nate Begeman8bd4afe2008-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 Dunbar3c827a72008-08-05 23:31:02 +0000274/// GlobalValue being annotated. The second field is the constant string
Nate Begeman8bd4afe2008-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 Dunbarbd012ff2008-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 Begeman4c13b7a2008-04-20 06:29:50 +0000329 return;
330 }
331
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000332 // Forward declarations are emitted lazily on first use.
333 if (!isDef)
Chris Lattner88a69ad2007-07-13 05:13:43 +0000334 return;
Daniel Dunbarbd012ff2008-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 Begeman4c13b7a2008-04-20 06:29:50 +0000345}
346
Daniel Dunbarbd012ff2008-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 Dunbar9986eab2008-07-30 16:32:24 +0000357 llvm::Constant *CodeGenModule::GetAddrOfGlobalVar(const VarDecl *D) {
Eli Friedman77ba7082008-05-30 19:50:47 +0000358 assert(D->hasGlobalStorage() && "Not a global variable");
359
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000360 QualType ASTTy = D->getType();
361 const llvm::Type *Ty = getTypes().ConvertTypeForMem(ASTTy);
Daniel Dunbar9986eab2008-07-30 16:32:24 +0000362 const llvm::Type *PTy = llvm::PointerType::get(Ty, ASTTy.getAddressSpace());
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000363
Daniel Dunbar3c827a72008-08-05 23:31:02 +0000364 // Lookup the entry, lazily creating it if necessary.
Daniel Dunbar90db8822008-08-25 06:18:57 +0000365 llvm::GlobalValue *&Entry = GlobalDeclMap[D->getIdentifier()];
Daniel Dunbar3c827a72008-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 Dunbar9986eab2008-07-30 16:32:24 +0000372 // Make sure the result is of the correct type.
373 return llvm::ConstantExpr::getBitCast(Entry, PTy);
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000374}
375
376void CodeGenModule::EmitGlobalVarDefinition(const VarDecl *D) {
Chris Lattner8f32f712007-07-14 00:23:28 +0000377 llvm::Constant *Init = 0;
Eli Friedman77ba7082008-05-30 19:50:47 +0000378 QualType ASTTy = D->getType();
379 const llvm::Type *VarTy = getTypes().ConvertTypeForMem(ASTTy);
Eli Friedman77ba7082008-05-30 19:50:47 +0000380
Chris Lattner8f32f712007-07-14 00:23:28 +0000381 if (D->getInit() == 0) {
Eli Friedmancd5f4aa2008-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 Friedman77ba7082008-05-30 19:50:47 +0000394 } else {
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000395 Init = EmitConstantExpr(D->getInit());
Eli Friedman77ba7082008-05-30 19:50:47 +0000396 }
397 const llvm::Type* InitType = Init->getType();
398
Daniel Dunbar90db8822008-08-25 06:18:57 +0000399 llvm::GlobalValue *&Entry = GlobalDeclMap[D->getIdentifier()];
Daniel Dunbar3c827a72008-08-05 23:31:02 +0000400 llvm::GlobalVariable *GV = cast_or_null<llvm::GlobalVariable>(Entry);
401
Eli Friedman77ba7082008-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 Dunbar3c827a72008-08-05 23:31:02 +0000407 } else if (GV->getType() !=
408 llvm::PointerType::get(InitType, ASTTy.getAddressSpace())) {
Eli Friedman77ba7082008-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 Friedmancd5f4aa2008-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 Friedman77ba7082008-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 Friedman77ba7082008-05-30 19:50:47 +0000438
439 // Erase the old global, since it is no longer used.
440 OldGV->eraseFromParent();
Chris Lattner8f32f712007-07-14 00:23:28 +0000441 }
Devang Patel8e53e722007-10-26 16:31:40 +0000442
Daniel Dunbar3c827a72008-08-05 23:31:02 +0000443 Entry = GV;
Devang Patel8e53e722007-10-26 16:31:40 +0000444
Nate Begeman8bd4afe2008-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 Lattner88a69ad2007-07-13 05:13:43 +0000451 GV->setInitializer(Init);
Chris Lattnerddee4232008-03-03 03:28:21 +0000452
Eli Friedmancd5f4aa2008-05-30 20:39:54 +0000453 // FIXME: This is silly; getTypeAlign should just work for incomplete arrays
454 unsigned Align;
Chris Lattnerc63a1f22008-08-04 07:31:14 +0000455 if (const IncompleteArrayType* IAT =
456 Context.getAsIncompleteArrayType(D->getType()))
Eli Friedmancd5f4aa2008-05-30 20:39:54 +0000457 Align = Context.getTypeAlign(IAT->getElementType());
458 else
459 Align = Context.getTypeAlign(D->getType());
Eli Friedman08d78022008-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 Lattnerddee4232008-03-03 03:28:21 +0000465 if (const VisibilityAttr *attr = D->getAttr<VisibilityAttr>())
Daniel Dunbar41071de2008-08-15 23:26:23 +0000466 setGlobalVisibility(GV, attr->getVisibility());
Chris Lattnerddee4232008-03-03 03:28:21 +0000467 // FIXME: else handle -fvisibility
Daniel Dunbara735ad82008-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 Lattner88a69ad2007-07-13 05:13:43 +0000474
475 // Set the llvm linkage type as appropriate.
Chris Lattner8fabd782008-05-04 01:44:26 +0000476 if (D->getStorageClass() == VarDecl::Static)
477 GV->setLinkage(llvm::Function::InternalLinkage);
478 else if (D->getAttr<DLLImportAttr>())
Chris Lattnerddee4232008-03-03 03:28:21 +0000479 GV->setLinkage(llvm::Function::DLLImportLinkage);
480 else if (D->getAttr<DLLExportAttr>())
481 GV->setLinkage(llvm::Function::DLLExportLinkage);
Chris Lattner8fabd782008-05-04 01:44:26 +0000482 else if (D->getAttr<WeakAttr>())
Chris Lattnerddee4232008-03-03 03:28:21 +0000483 GV->setLinkage(llvm::GlobalVariable::WeakLinkage);
Chris Lattner8fabd782008-05-04 01:44:26 +0000484 else {
Chris Lattnerddee4232008-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 Lattner8fabd782008-05-04 01:44:26 +0000488 case VarDecl::Static: assert(0 && "This case handled above");
Chris Lattnerddee4232008-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 Friedmana07b7642008-05-29 11:03:17 +0000494 GV->setLinkage(llvm::GlobalVariable::CommonLinkage);
Chris Lattnerddee4232008-03-03 03:28:21 +0000495 break;
496 case VarDecl::Extern:
497 case VarDecl::PrivateExtern:
498 // todo: common
499 break;
Chris Lattnerddee4232008-03-03 03:28:21 +0000500 }
Chris Lattner88a69ad2007-07-13 05:13:43 +0000501 }
Sanjiv Gupta686226b2008-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 Lattner88a69ad2007-07-13 05:13:43 +0000510}
Reid Spencer5f016e22007-07-11 17:01:13 +0000511
Daniel Dunbarbd012ff2008-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 Dunbar9986eab2008-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 Dunbar3c827a72008-08-05 23:31:02 +0000543
544 // Lookup the entry, lazily creating it if necessary.
Daniel Dunbar90db8822008-08-25 06:18:57 +0000545 llvm::GlobalValue *&Entry = GlobalDeclMap[D->getIdentifier()];
Daniel Dunbar3c827a72008-08-05 23:31:02 +0000546 if (!Entry)
547 Entry = EmitForwardFunctionDefinition(D);
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000548
Daniel Dunbar9986eab2008-07-30 16:32:24 +0000549 return llvm::ConstantExpr::getBitCast(Entry, PTy);
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000550}
551
552void CodeGenModule::EmitGlobalFunctionDefinition(const FunctionDecl *D) {
Daniel Dunbar90db8822008-08-25 06:18:57 +0000553 llvm::GlobalValue *&Entry = GlobalDeclMap[D->getIdentifier()];
Daniel Dunbar3c827a72008-08-05 23:31:02 +0000554 if (!Entry) {
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000555 Entry = EmitForwardFunctionDefinition(D);
556 } else {
Daniel Dunbar3c827a72008-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 Dunbarbd012ff2008-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 Dunbar3c827a72008-08-05 23:31:02 +0000568 llvm::GlobalValue *NewFn = EmitForwardFunctionDefinition(D);
569 NewFn->takeName(Entry);
Daniel Dunbarbd012ff2008-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 Dunbar3c827a72008-08-05 23:31:02 +0000573 llvm::ConstantExpr::getBitCast(NewFn, Entry->getType());
574 Entry->replaceAllUsesWith(NewPtrForOldDecl);
575
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000576 // Ok, delete the old function now, which is dead.
Daniel Dunbar3c827a72008-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 Dunbarbd012ff2008-07-29 23:18:29 +0000586
Daniel Dunbarbd012ff2008-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 Dunbar6bfed7e2008-08-01 00:01:51 +0000596
Daniel Dunbar6379a7a2008-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 Dunbar6bfed7e2008-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 Dunbarbd012ff2008-07-29 23:18:29 +0000608 }
609}
610
Chris Lattnerc5b88062008-02-06 05:08:19 +0000611void CodeGenModule::UpdateCompletedType(const TagDecl *TD) {
612 // Make sure that this type is translated.
613 Types.UpdateCompletedType(TD);
Chris Lattnerd86e6bc2008-02-05 08:06:13 +0000614}
615
616
Chris Lattnerbef20ac2007-08-31 04:31:45 +0000617/// getBuiltinLibFunction
618llvm::Function *CodeGenModule::getBuiltinLibFunction(unsigned BuiltinID) {
Chris Lattner1426fec2007-12-13 00:38:03 +0000619 if (BuiltinID > BuiltinFunctions.size())
620 BuiltinFunctions.resize(BuiltinID);
Chris Lattnerbef20ac2007-08-31 04:31:45 +0000621
Chris Lattner1426fec2007-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 Lattnerbef20ac2007-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 Lattnerc5e940f2007-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 Lattnerbef20ac2007-08-31 04:31:45 +0000651
652 // FIXME: param attributes for sext/zext etc.
Nate Begeman4c13b7a2008-04-20 06:29:50 +0000653 return FunctionSlot =
654 llvm::Function::Create(Ty, llvm::Function::ExternalLinkage, Name,
655 &getModule());
Chris Lattnerbef20ac2007-08-31 04:31:45 +0000656}
657
Chris Lattner7acda7c2007-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 Lattnerbef20ac2007-08-31 04:31:45 +0000663
Reid Spencer5f016e22007-07-11 17:01:13 +0000664llvm::Function *CodeGenModule::getMemCpyFn() {
665 if (MemCpyFn) return MemCpyFn;
666 llvm::Intrinsic::ID IID;
Chris Lattnerf72a4432008-03-08 08:34:58 +0000667 switch (Context.Target.getPointerWidth(0)) {
Reid Spencer5f016e22007-07-11 17:01:13 +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 Lattner7acda7c2007-12-18 00:25:38 +0000672 return MemCpyFn = getIntrinsic(IID);
Reid Spencer5f016e22007-07-11 17:01:13 +0000673}
Anders Carlssonc9e20912007-08-21 00:21:21 +0000674
Eli Friedman0c995092008-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 Venancio41ef30e2008-02-19 22:01:01 +0000686llvm::Function *CodeGenModule::getMemSetFn() {
687 if (MemSetFn) return MemSetFn;
688 llvm::Intrinsic::ID IID;
Chris Lattnerf72a4432008-03-08 08:34:58 +0000689 switch (Context.Target.getPointerWidth(0)) {
Lauro Ramos Venancio41ef30e2008-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 Lattner7acda7c2007-12-18 00:25:38 +0000696
Daniel Dunbar3e9df992008-08-23 18:37:06 +0000697// We still need to work out the details of handling UTF-16.
698// See: <rdr://2996215>
Chris Lattnerbef20ac2007-08-31 04:31:45 +0000699llvm::Constant *CodeGenModule::
700GetAddrOfConstantCFString(const std::string &str) {
Anders Carlssonc9e20912007-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 Dunbar3e9df992008-08-23 18:37:06 +0000707 llvm::Constant *Zero = llvm::Constant::getNullValue(llvm::Type::Int32Ty);
708 llvm::Constant *Zeros[] = { Zero, Zero };
Anders Carlssonc9e20912007-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 Dunbar3e9df992008-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 Carlssonc9e20912007-08-21 00:21:21 +0000720 new llvm::GlobalVariable(Ty, false,
721 llvm::GlobalVariable::ExternalLinkage, 0,
722 "__CFConstantStringClassReference",
723 &getModule());
Daniel Dunbar3e9df992008-08-23 18:37:06 +0000724
725 // Decay array -> ptr
726 CFConstantStringClassRef =
727 llvm::ConstantExpr::getGetElementPtr(GV, Zeros, 2);
Anders Carlssonc9e20912007-08-21 00:21:21 +0000728 }
729
Daniel Dunbar3e9df992008-08-23 18:37:06 +0000730 std::vector<llvm::Constant*> Fields(4);
731
Anders Carlssonc9e20912007-08-21 00:21:21 +0000732 // Class pointer.
Daniel Dunbar3e9df992008-08-23 18:37:06 +0000733 Fields[0] = CFConstantStringClassRef;
Anders Carlssonc9e20912007-08-21 00:21:21 +0000734
735 // Flags.
Daniel Dunbar3e9df992008-08-23 18:37:06 +0000736 const llvm::Type *Ty = getTypes().ConvertType(getContext().UnsignedIntTy);
737 Fields[1] = llvm::ConstantInt::get(Ty, 0x07C8);
Anders Carlssonc9e20912007-08-21 00:21:21 +0000738
739 // String pointer.
Daniel Dunbar3e9df992008-08-23 18:37:06 +0000740 llvm::Constant *C = llvm::ConstantArray::get(str);
Anders Carlssonc9e20912007-08-21 00:21:21 +0000741 C = new llvm::GlobalVariable(C->getType(), true,
742 llvm::GlobalValue::InternalLinkage,
Daniel Dunbar3e9df992008-08-23 18:37:06 +0000743 C, ".str", &getModule());
744 Fields[2] = llvm::ConstantExpr::getGetElementPtr(C, Zeros, 2);
Anders Carlssonc9e20912007-08-21 00:21:21 +0000745
746 // String length.
747 Ty = getTypes().ConvertType(getContext().LongTy);
Daniel Dunbar3e9df992008-08-23 18:37:06 +0000748 Fields[3] = llvm::ConstantInt::get(Ty, str.length());
Anders Carlssonc9e20912007-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 Carlsson0c678292007-11-01 00:41:52 +0000753 llvm::GlobalVariable *GV =
754 new llvm::GlobalVariable(C->getType(), true,
755 llvm::GlobalVariable::InternalLinkage,
756 C, "", &getModule());
Daniel Dunbar3e9df992008-08-23 18:37:06 +0000757
Anders Carlsson0c678292007-11-01 00:41:52 +0000758 GV->setSection("__DATA,__cfstring");
759 Entry.setValue(GV);
Daniel Dunbar3e9df992008-08-23 18:37:06 +0000760
Anders Carlsson0c678292007-11-01 00:41:52 +0000761 return GV;
Anders Carlssonc9e20912007-08-21 00:21:21 +0000762}
Chris Lattner45e8cbd2007-11-28 05:34:05 +0000763
Daniel Dunbar61432932008-08-13 23:20:05 +0000764/// GetStringForStringLiteral - Return the appropriate bytes for a
Daniel Dunbar1e049762008-08-10 20:25:57 +0000765/// string literal, properly padded to match the literal type.
Daniel Dunbar61432932008-08-13 23:20:05 +0000766std::string CodeGenModule::GetStringForStringLiteral(const StringLiteral *E) {
Daniel Dunbar1e049762008-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 Dunbar61432932008-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 Lattnera7ad98f2008-02-11 00:02:17 +0000792/// GenerateWritableString -- Creates storage for a string literal.
Chris Lattner45e8cbd2007-11-28 05:34:05 +0000793static llvm::Constant *GenerateStringLiteral(const std::string &str,
794 bool constant,
Chris Lattner2c8569d2007-12-02 07:19:18 +0000795 CodeGenModule &CGM) {
Daniel Dunbar61432932008-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 Lattner45e8cbd2007-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 Lattner2c8569d2007-12-02 07:19:18 +0000802 C, ".str", &CGM.getModule());
Daniel Dunbar61432932008-08-13 23:20:05 +0000803
Chris Lattner45e8cbd2007-11-28 05:34:05 +0000804 return C;
805}
806
Daniel Dunbar61432932008-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 Lattner45e8cbd2007-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 Dunbar61432932008-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 Dunbar9d9b09c2008-08-15 18:29:12 +0000836 return GetAddrOfConstantString(str + "\0");
Daniel Dunbar61432932008-08-13 23:20:05 +0000837}
Daniel Dunbar41071de2008-08-15 23:26:23 +0000838
Daniel Dunbaraf05bb92008-08-26 08:29:31 +0000839/// EmitObjCPropertyImplementations - Emit information for synthesized
840/// properties for an implementation.
841void CodeGenModule::EmitObjCPropertyImplementations(const
842 ObjCImplementationDecl *D) {
843 for (ObjCImplementationDecl::propimpl_iterator i = D->propimpl_begin(),
844 e = D->propimpl_end(); i != e; ++i) {
845 ObjCPropertyImplDecl *PID = *i;
846
847 // Dynamic is just for type-checking.
848 if (PID->getPropertyImplementation() == ObjCPropertyImplDecl::Synthesize) {
849 ObjCPropertyDecl *PD = PID->getPropertyDecl();
850
851 // Determine which methods need to be implemented, some may have
852 // been overridden. Note that ::isSynthesized is not the method
853 // we want, that just indicates if the decl came from a
854 // property. What we want to know is if the method is defined in
855 // this implementation.
856 if (!D->getInstanceMethod(PD->getGetterName()))
857 CodeGenFunction(*this).GenerateObjCGetter(PID);
858 if (!PD->isReadOnly() &&
859 !D->getInstanceMethod(PD->getSetterName()))
860 CodeGenFunction(*this).GenerateObjCSetter(PID);
861 }
862 }
863}
864
Daniel Dunbar41071de2008-08-15 23:26:23 +0000865/// EmitTopLevelDecl - Emit code for a single top level declaration.
866void CodeGenModule::EmitTopLevelDecl(Decl *D) {
867 // If an error has occurred, stop code generation, but continue
868 // parsing and semantic analysis (to ensure all warnings and errors
869 // are emitted).
870 if (Diags.hasErrorOccurred())
871 return;
872
873 switch (D->getKind()) {
874 case Decl::Function:
875 case Decl::Var:
876 EmitGlobal(cast<ValueDecl>(D));
877 break;
878
879 case Decl::Namespace:
880 assert(0 && "FIXME: Namespace unsupported");
881 break;
882
883 // Objective-C Decls
884
885 // Forward declarations, no (immediate) code generation.
886 case Decl::ObjCClass:
887 case Decl::ObjCCategory:
888 case Decl::ObjCForwardProtocol:
889 case Decl::ObjCInterface:
890 break;
891
892 case Decl::ObjCProtocol:
893 Runtime->GenerateProtocol(cast<ObjCProtocolDecl>(D));
894 break;
895
896 case Decl::ObjCCategoryImpl:
Daniel Dunbaraf05bb92008-08-26 08:29:31 +0000897 // Categories have properties but don't support synthesize so we
898 // can ignore them here.
899
Daniel Dunbar41071de2008-08-15 23:26:23 +0000900 Runtime->GenerateCategory(cast<ObjCCategoryImplDecl>(D));
901 break;
902
Daniel Dunbaraf05bb92008-08-26 08:29:31 +0000903 case Decl::ObjCImplementation: {
904 ObjCImplementationDecl *OMD = cast<ObjCImplementationDecl>(D);
905 EmitObjCPropertyImplementations(OMD);
906 Runtime->GenerateClass(OMD);
Daniel Dunbar41071de2008-08-15 23:26:23 +0000907 break;
Daniel Dunbaraf05bb92008-08-26 08:29:31 +0000908 }
Daniel Dunbar41071de2008-08-15 23:26:23 +0000909 case Decl::ObjCMethod: {
910 ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(D);
911 // If this is not a prototype, emit the body.
912 if (OMD->getBody())
913 CodeGenFunction(*this).GenerateObjCMethod(OMD);
914 break;
915 }
Daniel Dunbar41071de2008-08-15 23:26:23 +0000916 case Decl::ObjCCompatibleAlias:
917 assert(0 && "FIXME: ObjCCompatibleAlias unsupported");
918 break;
919
920 case Decl::LinkageSpec: {
921 LinkageSpecDecl *LSD = cast<LinkageSpecDecl>(D);
922 if (LSD->getLanguage() == LinkageSpecDecl::lang_cxx)
Daniel Dunbar488e9932008-08-16 00:56:44 +0000923 ErrorUnsupported(LSD, "linkage spec");
Daniel Dunbar41071de2008-08-15 23:26:23 +0000924 // FIXME: implement C++ linkage, C linkage works mostly by C
925 // language reuse already.
926 break;
927 }
928
929 case Decl::FileScopeAsm: {
930 FileScopeAsmDecl *AD = cast<FileScopeAsmDecl>(D);
931 std::string AsmString(AD->getAsmString()->getStrData(),
932 AD->getAsmString()->getByteLength());
933
934 const std::string &S = getModule().getModuleInlineAsm();
935 if (S.empty())
936 getModule().setModuleInlineAsm(AsmString);
937 else
938 getModule().setModuleInlineAsm(S + '\n' + AsmString);
939 break;
940 }
941
942 default:
943 // Make sure we handled everything we should, every other kind is
944 // a non-top-level decl. FIXME: Would be nice to have an
945 // isTopLevelDeclKind function. Need to recode Decl::Kind to do
946 // that easily.
947 assert(isa<TypeDecl>(D) && "Unsupported decl kind");
948 }
949}
950