blob: a812ba9352b235f70208ec4e56a2075b41cbdf40 [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 Dunbar0dbe2272008-09-08 21:33:45 +000017#include "CGCall.h"
Daniel Dunbaraf2f62c2008-08-13 00:59:25 +000018#include "CGObjCRuntime.h"
Douglas Gregor5f2bfd42009-02-13 00:10:09 +000019#include "Mangle.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000020#include "clang/AST/ASTContext.h"
Daniel Dunbarc4a1dea2008-08-11 05:35:13 +000021#include "clang/AST/DeclObjC.h"
Chris Lattner21ef7ae2008-11-04 16:51:42 +000022#include "clang/AST/DeclCXX.h"
Chris Lattner2c8569d2007-12-02 07:19:18 +000023#include "clang/Basic/Diagnostic.h"
Nate Begeman8bd4afe2008-04-19 04:17:09 +000024#include "clang/Basic/SourceManager.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000025#include "clang/Basic/TargetInfo.h"
Nate Begemanec9426c2008-03-09 03:09:36 +000026#include "llvm/CallingConv.h"
Chris Lattnerbef20ac2007-08-31 04:31:45 +000027#include "llvm/Module.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000028#include "llvm/Intrinsics.h"
Anton Korobeynikov20ff3102008-06-01 14:13:53 +000029#include "llvm/Target/TargetData.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000030using namespace clang;
31using namespace CodeGen;
32
33
Chris Lattner45e8cbd2007-11-28 05:34:05 +000034CodeGenModule::CodeGenModule(ASTContext &C, const LangOptions &LO,
Chris Lattnerfb97b032007-12-02 01:40:18 +000035 llvm::Module &M, const llvm::TargetData &TD,
Daniel Dunbarf77ac862008-08-11 21:35:06 +000036 Diagnostic &diags, bool GenerateDebugInfo)
Chris Lattnerfb97b032007-12-02 01:40:18 +000037 : Context(C), Features(LO), TheModule(M), TheTargetData(TD), Diags(diags),
Daniel Dunbar208ff5e2008-08-11 18:12:00 +000038 Types(C, M, TD), Runtime(0), MemCpyFn(0), MemMoveFn(0), MemSetFn(0),
Mike Stumpab695142009-02-13 15:16:56 +000039 CFConstantStringClassRef(0), NSConcreteGlobalBlock(0),
Mike Stump9b8a7972009-02-13 15:25:34 +000040 BlockDescriptorType(0), GenericBlockLiteralType(0) {
Daniel Dunbar208ff5e2008-08-11 18:12:00 +000041
42 if (Features.ObjC1) {
Daniel Dunbarf77ac862008-08-11 21:35:06 +000043 if (Features.NeXTRuntime) {
Fariborz Jahanian30bc5712009-01-22 23:02:58 +000044 Runtime = Features.ObjCNonFragileABI ? CreateMacNonFragileABIObjCRuntime(*this)
Fariborz Jahanianee0af742009-01-21 22:04:16 +000045 : CreateMacObjCRuntime(*this);
Daniel Dunbar208ff5e2008-08-11 18:12:00 +000046 } else {
47 Runtime = CreateGNUObjCRuntime(*this);
48 }
Daniel Dunbarc17a4d32008-08-11 02:45:11 +000049 }
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +000050
51 // If debug info generation is enabled, create the CGDebugInfo object.
Mike Stump26efc332009-02-13 18:36:05 +000052 DebugInfo = GenerateDebugInfo ? new CGDebugInfo(this) : 0;
53
54 Block.GlobalUniqueCount = 0;
Chris Lattner2b94fe32008-03-01 08:45:05 +000055}
56
57CodeGenModule::~CodeGenModule() {
Ted Kremenek815c78f2008-08-05 18:50:11 +000058 delete Runtime;
59 delete DebugInfo;
60}
61
62void CodeGenModule::Release() {
Daniel Dunbar02698712009-02-13 20:29:50 +000063 EmitDeferred();
Daniel Dunbar219df662008-09-08 23:44:31 +000064 EmitAliases();
Daniel Dunbar208ff5e2008-08-11 18:12:00 +000065 if (Runtime)
66 if (llvm::Function *ObjCInitFunction = Runtime->ModuleInitFunction())
67 AddGlobalCtor(ObjCInitFunction);
Daniel Dunbar6bfed7e2008-08-01 00:01:51 +000068 EmitCtorList(GlobalCtors, "llvm.global_ctors");
69 EmitCtorList(GlobalDtors, "llvm.global_dtors");
Nate Begeman532485c2008-04-18 23:43:57 +000070 EmitAnnotations();
Daniel Dunbar02698712009-02-13 20:29:50 +000071 EmitLLVMUsed();
Daniel Dunbarf1968f22008-10-01 00:49:24 +000072 BindRuntimeFunctions();
Chris Lattner2b94fe32008-03-01 08:45:05 +000073}
Reid Spencer5f016e22007-07-11 17:01:13 +000074
Daniel Dunbarf1968f22008-10-01 00:49:24 +000075void CodeGenModule::BindRuntimeFunctions() {
76 // Deal with protecting runtime function names.
77 for (unsigned i = 0, e = RuntimeFunctions.size(); i < e; ++i) {
78 llvm::Function *Fn = RuntimeFunctions[i].first;
79 const std::string &Name = RuntimeFunctions[i].second;
80
Daniel Dunbar0293d542008-11-19 06:15:35 +000081 // Discard unused runtime functions.
82 if (Fn->use_empty()) {
83 Fn->eraseFromParent();
84 continue;
85 }
86
Daniel Dunbarf1968f22008-10-01 00:49:24 +000087 // See if there is a conflict against a function.
88 llvm::Function *Conflict = TheModule.getFunction(Name);
89 if (Conflict) {
90 // Decide which version to take. If the conflict is a definition
91 // we are forced to take that, otherwise assume the runtime
92 // knows best.
93 if (!Conflict->isDeclaration()) {
94 llvm::Value *Casted =
95 llvm::ConstantExpr::getBitCast(Conflict, Fn->getType());
96 Fn->replaceAllUsesWith(Casted);
97 Fn->eraseFromParent();
98 } else {
99 Fn->takeName(Conflict);
100 llvm::Value *Casted =
101 llvm::ConstantExpr::getBitCast(Fn, Conflict->getType());
102 Conflict->replaceAllUsesWith(Casted);
103 Conflict->eraseFromParent();
104 }
105 } else {
106 // FIXME: There still may be conflicts with aliases and
107 // variables.
108 Fn->setName(Name);
109 }
110 }
111}
112
Daniel Dunbar488e9932008-08-16 00:56:44 +0000113/// ErrorUnsupported - Print out an error that codegen doesn't support the
Chris Lattner2c8569d2007-12-02 07:19:18 +0000114/// specified stmt yet.
Daniel Dunbar90df4b62008-09-04 03:43:08 +0000115void CodeGenModule::ErrorUnsupported(const Stmt *S, const char *Type,
116 bool OmitOnError) {
117 if (OmitOnError && getDiags().hasErrorOccurred())
118 return;
Daniel Dunbar488e9932008-08-16 00:56:44 +0000119 unsigned DiagID = getDiags().getCustomDiagID(Diagnostic::Error,
Daniel Dunbar56b80012009-02-06 19:18:03 +0000120 "cannot compile this %0 yet");
Chris Lattner2c8569d2007-12-02 07:19:18 +0000121 std::string Msg = Type;
Chris Lattner0a14eee2008-11-18 07:04:44 +0000122 getDiags().Report(Context.getFullLoc(S->getLocStart()), DiagID)
123 << Msg << S->getSourceRange();
Chris Lattner2c8569d2007-12-02 07:19:18 +0000124}
Chris Lattner58c3f9e2007-12-02 06:27:33 +0000125
Daniel Dunbar488e9932008-08-16 00:56:44 +0000126/// ErrorUnsupported - Print out an error that codegen doesn't support the
Chris Lattnerc6fdc342008-01-12 07:05:38 +0000127/// specified decl yet.
Daniel Dunbar90df4b62008-09-04 03:43:08 +0000128void CodeGenModule::ErrorUnsupported(const Decl *D, const char *Type,
129 bool OmitOnError) {
130 if (OmitOnError && getDiags().hasErrorOccurred())
131 return;
Daniel Dunbar488e9932008-08-16 00:56:44 +0000132 unsigned DiagID = getDiags().getCustomDiagID(Diagnostic::Error,
Daniel Dunbar56b80012009-02-06 19:18:03 +0000133 "cannot compile this %0 yet");
Chris Lattnerc6fdc342008-01-12 07:05:38 +0000134 std::string Msg = Type;
Chris Lattner0a14eee2008-11-18 07:04:44 +0000135 getDiags().Report(Context.getFullLoc(D->getLocation()), DiagID) << Msg;
Chris Lattnerc6fdc342008-01-12 07:05:38 +0000136}
137
Daniel Dunbar41071de2008-08-15 23:26:23 +0000138/// setGlobalVisibility - Set the visibility for the given LLVM
139/// GlobalValue according to the given clang AST visibility value.
140static void setGlobalVisibility(llvm::GlobalValue *GV,
141 VisibilityAttr::VisibilityTypes Vis) {
Dan Gohman4f8d1232008-05-22 00:50:06 +0000142 switch (Vis) {
143 default: assert(0 && "Unknown visibility!");
144 case VisibilityAttr::DefaultVisibility:
145 GV->setVisibility(llvm::GlobalValue::DefaultVisibility);
146 break;
147 case VisibilityAttr::HiddenVisibility:
148 GV->setVisibility(llvm::GlobalValue::HiddenVisibility);
149 break;
150 case VisibilityAttr::ProtectedVisibility:
151 GV->setVisibility(llvm::GlobalValue::ProtectedVisibility);
152 break;
153 }
154}
155
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000156/// \brief Retrieves the mangled name for the given declaration.
157///
158/// If the given declaration requires a mangled name, returns an
159/// IdentifierInfo* containing the mangled name. Otherwise, returns
160/// the name of the declaration as an identifier.
161///
162/// FIXME: Returning an IdentifierInfo* here is a total hack. We
163/// really need some kind of string abstraction that either stores a
164/// mangled name or stores an IdentifierInfo*. This will require
Daniel Dunbarb5da3e92009-02-18 22:52:09 +0000165/// changes to the GlobalDeclMap, too. (I disagree, I think what we
166/// actually need is for Sema to provide some notion of which Decls
167/// refer to the same semantic decl. We shouldn't need to mangle the
168/// names and see what comes out the same to figure this out. - DWD)
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000169///
170/// FIXME: Performance here is going to be terribly until we start
171/// caching mangled names. However, we should fix the problem above
172/// first.
Douglas Gregor6ec36682009-02-18 23:53:56 +0000173const char *CodeGenModule::getMangledName(const NamedDecl *ND) {
174 llvm::SmallString<256> Name;
175 llvm::raw_svector_ostream Out(Name);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000176 if (!mangleName(ND, Context, Out))
Douglas Gregor6ec36682009-02-18 23:53:56 +0000177 return ND->getIdentifier()->getName();
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000178
Douglas Gregor6ec36682009-02-18 23:53:56 +0000179 Name += '\0';
180 return MangledNames.GetOrCreateValue(Name.begin(), Name.end())
181 .getKeyData();
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000182}
183
Chris Lattner6d397602008-03-14 17:18:18 +0000184/// AddGlobalCtor - Add a function to the list that will be called before
185/// main() runs.
Daniel Dunbar6bfed7e2008-08-01 00:01:51 +0000186void CodeGenModule::AddGlobalCtor(llvm::Function * Ctor, int Priority) {
Daniel Dunbar49988882009-01-13 02:25:00 +0000187 // FIXME: Type coercion of void()* types.
Daniel Dunbar6bfed7e2008-08-01 00:01:51 +0000188 GlobalCtors.push_back(std::make_pair(Ctor, Priority));
Chris Lattner6d397602008-03-14 17:18:18 +0000189}
190
Daniel Dunbar6bfed7e2008-08-01 00:01:51 +0000191/// AddGlobalDtor - Add a function to the list that will be called
192/// when the module is unloaded.
193void CodeGenModule::AddGlobalDtor(llvm::Function * Dtor, int Priority) {
Daniel Dunbar49988882009-01-13 02:25:00 +0000194 // FIXME: Type coercion of void()* types.
Daniel Dunbar6bfed7e2008-08-01 00:01:51 +0000195 GlobalDtors.push_back(std::make_pair(Dtor, Priority));
196}
197
198void CodeGenModule::EmitCtorList(const CtorList &Fns, const char *GlobalName) {
199 // Ctor function type is void()*.
200 llvm::FunctionType* CtorFTy =
201 llvm::FunctionType::get(llvm::Type::VoidTy,
202 std::vector<const llvm::Type*>(),
203 false);
204 llvm::Type *CtorPFTy = llvm::PointerType::getUnqual(CtorFTy);
205
206 // Get the type of a ctor entry, { i32, void ()* }.
Chris Lattner572cf092008-03-19 05:24:56 +0000207 llvm::StructType* CtorStructTy =
Daniel Dunbar6bfed7e2008-08-01 00:01:51 +0000208 llvm::StructType::get(llvm::Type::Int32Ty,
209 llvm::PointerType::getUnqual(CtorFTy), NULL);
Chris Lattner6d397602008-03-14 17:18:18 +0000210
Daniel Dunbar6bfed7e2008-08-01 00:01:51 +0000211 // Construct the constructor and destructor arrays.
212 std::vector<llvm::Constant*> Ctors;
213 for (CtorList::const_iterator I = Fns.begin(), E = Fns.end(); I != E; ++I) {
214 std::vector<llvm::Constant*> S;
215 S.push_back(llvm::ConstantInt::get(llvm::Type::Int32Ty, I->second, false));
216 S.push_back(llvm::ConstantExpr::getBitCast(I->first, CtorPFTy));
217 Ctors.push_back(llvm::ConstantStruct::get(CtorStructTy, S));
Chris Lattner6d397602008-03-14 17:18:18 +0000218 }
Daniel Dunbar6bfed7e2008-08-01 00:01:51 +0000219
220 if (!Ctors.empty()) {
221 llvm::ArrayType *AT = llvm::ArrayType::get(CtorStructTy, Ctors.size());
222 new llvm::GlobalVariable(AT, false,
223 llvm::GlobalValue::AppendingLinkage,
224 llvm::ConstantArray::get(AT, Ctors),
225 GlobalName,
226 &TheModule);
227 }
Chris Lattner6d397602008-03-14 17:18:18 +0000228}
229
Nate Begeman532485c2008-04-18 23:43:57 +0000230void CodeGenModule::EmitAnnotations() {
231 if (Annotations.empty())
232 return;
233
234 // Create a new global variable for the ConstantStruct in the Module.
235 llvm::Constant *Array =
236 llvm::ConstantArray::get(llvm::ArrayType::get(Annotations[0]->getType(),
237 Annotations.size()),
238 Annotations);
239 llvm::GlobalValue *gv =
240 new llvm::GlobalVariable(Array->getType(), false,
241 llvm::GlobalValue::AppendingLinkage, Array,
242 "llvm.global.annotations", &TheModule);
243 gv->setSection("llvm.metadata");
244}
245
Daniel Dunbar5c61d972009-02-13 22:08:43 +0000246void CodeGenModule::SetGlobalValueAttributes(const Decl *D,
247 bool IsInternal,
248 bool IsInline,
249 llvm::GlobalValue *GV,
250 bool ForDefinition) {
Daniel Dunbar49988882009-01-13 02:25:00 +0000251 // FIXME: Set up linkage and many other things. Note, this is a simple
Nuno Lopesd4cbda62008-06-08 15:45:52 +0000252 // approximation of what we really want.
Daniel Dunbar219df662008-09-08 23:44:31 +0000253 if (!ForDefinition) {
254 // Only a few attributes are set on declarations.
Anton Korobeynikov2f402702008-12-26 00:52:02 +0000255 if (D->getAttr<DLLImportAttr>()) {
256 // The dllimport attribute is overridden by a subsequent declaration as
257 // dllexport.
Sebastian Redl3ef5db62009-01-05 20:53:53 +0000258 if (!D->getAttr<DLLExportAttr>()) {
Anton Korobeynikov2f402702008-12-26 00:52:02 +0000259 // dllimport attribute can be applied only to function decls, not to
260 // definitions.
261 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
262 if (!FD->getBody())
263 GV->setLinkage(llvm::Function::DLLImportLinkage);
264 } else
265 GV->setLinkage(llvm::Function::DLLImportLinkage);
Sebastian Redl3ef5db62009-01-05 20:53:53 +0000266 }
Daniel Dunbareda9a5e2009-02-21 00:24:10 +0000267 } else if (D->getAttr<WeakAttr>())
268 GV->setLinkage(llvm::Function::ExternalWeakLinkage);
Daniel Dunbar219df662008-09-08 23:44:31 +0000269 } else {
270 if (IsInternal) {
271 GV->setLinkage(llvm::Function::InternalLinkage);
272 } else {
Anton Korobeynikov2f402702008-12-26 00:52:02 +0000273 if (D->getAttr<DLLExportAttr>()) {
274 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
275 // The dllexport attribute is ignored for undefined symbols.
276 if (FD->getBody())
277 GV->setLinkage(llvm::Function::DLLExportLinkage);
278 } else
279 GV->setLinkage(llvm::Function::DLLExportLinkage);
280 } else if (D->getAttr<WeakAttr>() || IsInline)
Daniel Dunbar219df662008-09-08 23:44:31 +0000281 GV->setLinkage(llvm::Function::WeakLinkage);
282 }
Daniel Dunbar0dbe2272008-09-08 21:33:45 +0000283 }
Nuno Lopesd4cbda62008-06-08 15:45:52 +0000284
Daniel Dunbar49988882009-01-13 02:25:00 +0000285 // FIXME: Figure out the relative priority of the attribute,
286 // -fvisibility, and private_extern.
Daniel Dunbar0dbe2272008-09-08 21:33:45 +0000287 if (const VisibilityAttr *attr = D->getAttr<VisibilityAttr>())
Daniel Dunbar41071de2008-08-15 23:26:23 +0000288 setGlobalVisibility(GV, attr->getVisibility());
Nuno Lopesd4cbda62008-06-08 15:45:52 +0000289 // FIXME: else handle -fvisibility
Daniel Dunbara735ad82008-08-06 00:03:29 +0000290
Daniel Dunbareda9a5e2009-02-21 00:24:10 +0000291 // Prefaced with special LLVM marker to indicate that the name
292 // should not be munged.
293 if (const AsmLabelAttr *ALA = D->getAttr<AsmLabelAttr>())
Daniel Dunbara735ad82008-08-06 00:03:29 +0000294 GV->setName("\01" + ALA->getLabel());
Daniel Dunbar17f194f2009-02-12 17:28:23 +0000295
296 if (const SectionAttr *SA = D->getAttr<SectionAttr>())
297 GV->setSection(SA->getName());
Daniel Dunbar5c61d972009-02-13 22:08:43 +0000298
299 // Only add to llvm.used when we see a definition, otherwise we
300 // might add multiple times or risk the value being replaced by a
301 // subsequent RAUW.
302 if (ForDefinition) {
303 if (D->getAttr<UsedAttr>())
304 AddUsedGlobal(GV);
305 }
Nuno Lopesd4cbda62008-06-08 15:45:52 +0000306}
307
Devang Patel761d7f72008-09-25 21:02:23 +0000308void CodeGenModule::SetFunctionAttributes(const Decl *D,
Daniel Dunbar45c25ba2008-09-10 04:01:49 +0000309 const CGFunctionInfo &Info,
Daniel Dunbarb7688072008-09-10 00:41:16 +0000310 llvm::Function *F) {
Devang Patel761d7f72008-09-25 21:02:23 +0000311 AttributeListType AttributeList;
Daniel Dunbar88b53962009-02-02 22:03:45 +0000312 ConstructAttributeList(Info, D, AttributeList);
Eli Friedmanc134fcb2008-06-04 19:41:28 +0000313
Devang Patel761d7f72008-09-25 21:02:23 +0000314 F->setAttributes(llvm::AttrListPtr::get(AttributeList.begin(),
315 AttributeList.size()));
Eli Friedmanff4a2d92008-06-01 15:54:49 +0000316
317 // Set the appropriate calling convention for the Function.
Daniel Dunbar45c25ba2008-09-10 04:01:49 +0000318 if (D->getAttr<FastCallAttr>())
Anton Korobeynikovf1c9c092008-11-11 20:21:14 +0000319 F->setCallingConv(llvm::CallingConv::X86_FastCall);
320
321 if (D->getAttr<StdCallAttr>())
322 F->setCallingConv(llvm::CallingConv::X86_StdCall);
Daniel Dunbarf80519b2008-09-04 23:41:35 +0000323}
324
325/// SetFunctionAttributesForDefinition - Set function attributes
326/// specific to a function definition.
Daniel Dunbar219df662008-09-08 23:44:31 +0000327void CodeGenModule::SetFunctionAttributesForDefinition(const Decl *D,
328 llvm::Function *F) {
329 if (isa<ObjCMethodDecl>(D)) {
330 SetGlobalValueAttributes(D, true, false, F, true);
331 } else {
332 const FunctionDecl *FD = cast<FunctionDecl>(D);
333 SetGlobalValueAttributes(FD, FD->getStorageClass() == FunctionDecl::Static,
334 FD->isInline(), F, true);
335 }
336
Daniel Dunbarf80519b2008-09-04 23:41:35 +0000337 if (!Features.Exceptions)
Daniel Dunbarf93349f2008-09-27 07:16:42 +0000338 F->addFnAttr(llvm::Attribute::NoUnwind);
Daniel Dunbaraf668b02008-10-28 00:17:57 +0000339
340 if (D->getAttr<AlwaysInlineAttr>())
341 F->addFnAttr(llvm::Attribute::AlwaysInline);
Anders Carlsson81ebbde2009-02-19 19:22:11 +0000342
343 if (D->getAttr<NoinlineAttr>())
344 F->addFnAttr(llvm::Attribute::NoInline);
Daniel Dunbarf80519b2008-09-04 23:41:35 +0000345}
346
347void CodeGenModule::SetMethodAttributes(const ObjCMethodDecl *MD,
348 llvm::Function *F) {
Daniel Dunbar541b63b2009-02-02 23:23:47 +0000349 SetFunctionAttributes(MD, getTypes().getFunctionInfo(MD), F);
Daniel Dunbarf80519b2008-09-04 23:41:35 +0000350
Daniel Dunbar219df662008-09-08 23:44:31 +0000351 SetFunctionAttributesForDefinition(MD, F);
Daniel Dunbarf80519b2008-09-04 23:41:35 +0000352}
353
354void CodeGenModule::SetFunctionAttributes(const FunctionDecl *FD,
355 llvm::Function *F) {
Daniel Dunbar541b63b2009-02-02 23:23:47 +0000356 SetFunctionAttributes(FD, getTypes().getFunctionInfo(FD), F);
Daniel Dunbar45c25ba2008-09-10 04:01:49 +0000357
Daniel Dunbar219df662008-09-08 23:44:31 +0000358 SetGlobalValueAttributes(FD, FD->getStorageClass() == FunctionDecl::Static,
359 FD->isInline(), F, false);
360}
361
Daniel Dunbar45c25ba2008-09-10 04:01:49 +0000362
Daniel Dunbar219df662008-09-08 23:44:31 +0000363void CodeGenModule::EmitAliases() {
364 for (unsigned i = 0, e = Aliases.size(); i != e; ++i) {
365 const FunctionDecl *D = Aliases[i];
366 const AliasAttr *AA = D->getAttr<AliasAttr>();
367
368 // This is something of a hack, if the FunctionDecl got overridden
369 // then its attributes will be moved to the new declaration. In
370 // this case the current decl has no alias attribute, but we will
371 // eventually see it.
372 if (!AA)
373 continue;
374
375 const std::string& aliaseeName = AA->getAliasee();
376 llvm::Function *aliasee = getModule().getFunction(aliaseeName);
377 if (!aliasee) {
378 // FIXME: This isn't unsupported, this is just an error, which
379 // sema should catch, but...
380 ErrorUnsupported(D, "alias referencing a missing function");
381 continue;
382 }
383
384 llvm::GlobalValue *GA =
385 new llvm::GlobalAlias(aliasee->getType(),
386 llvm::Function::ExternalLinkage,
Douglas Gregor6ec36682009-02-18 23:53:56 +0000387 getMangledName(D), aliasee,
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000388 &getModule());
Daniel Dunbar219df662008-09-08 23:44:31 +0000389
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000390 llvm::GlobalValue *&Entry = GlobalDeclMap[getMangledName(D)];
Daniel Dunbar219df662008-09-08 23:44:31 +0000391 if (Entry) {
392 // If we created a dummy function for this then replace it.
393 GA->takeName(Entry);
394
395 llvm::Value *Casted =
396 llvm::ConstantExpr::getBitCast(GA, Entry->getType());
397 Entry->replaceAllUsesWith(Casted);
398 Entry->eraseFromParent();
399
400 Entry = GA;
401 }
402
403 // Alias should never be internal or inline.
404 SetGlobalValueAttributes(D, false, false, GA, true);
405 }
Eli Friedmanff4a2d92008-06-01 15:54:49 +0000406}
407
Daniel Dunbar02698712009-02-13 20:29:50 +0000408void CodeGenModule::AddUsedGlobal(llvm::GlobalValue *GV) {
409 assert(!GV->isDeclaration() &&
410 "Only globals with definition can force usage.");
411 llvm::Type *i8PTy = llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
412 LLVMUsed.push_back(llvm::ConstantExpr::getBitCast(GV, i8PTy));
413}
414
415void CodeGenModule::EmitLLVMUsed() {
416 // Don't create llvm.used if there is no need.
417 if (LLVMUsed.empty())
418 return;
419
420 llvm::ArrayType *ATy = llvm::ArrayType::get(LLVMUsed[0]->getType(),
421 LLVMUsed.size());
422 llvm::GlobalVariable *GV =
423 new llvm::GlobalVariable(ATy, false,
424 llvm::GlobalValue::AppendingLinkage,
425 llvm::ConstantArray::get(ATy, LLVMUsed),
426 "llvm.used", &getModule());
427
428 GV->setSection("llvm.metadata");
429}
430
431void CodeGenModule::EmitDeferred() {
432 // Emit code for any deferred decl which was used. Since a
433 // previously unused static decl may become used during the
434 // generation of code for a static function, iterate until no
435 // changes are made.
Nate Begeman4c13b7a2008-04-20 06:29:50 +0000436 bool Changed;
437 do {
438 Changed = false;
Anders Carlssonb723f752009-01-04 02:08:04 +0000439
Daniel Dunbar02698712009-02-13 20:29:50 +0000440 for (std::list<const ValueDecl*>::iterator i = DeferredDecls.begin(),
441 e = DeferredDecls.end(); i != e; ) {
Anders Carlssonb723f752009-01-04 02:08:04 +0000442 const ValueDecl *D = *i;
443
Eli Friedman6f7e2ee2008-05-27 04:58:01 +0000444 // Check if we have used a decl with the same name
445 // FIXME: The AST should have some sort of aggregate decls or
446 // global symbol map.
Daniel Dunbar219df662008-09-08 23:44:31 +0000447 // FIXME: This is missing some important cases. For example, we
Daniel Dunbar73241df2009-02-13 21:18:01 +0000448 // need to check for uses in an alias.
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000449 if (!GlobalDeclMap.count(getMangledName(D))) {
Daniel Dunbar232350d2009-02-19 05:36:41 +0000450 ++i;
Daniel Dunbara735ad82008-08-06 00:03:29 +0000451 continue;
Anders Carlssonb723f752009-01-04 02:08:04 +0000452 }
453
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000454 // Emit the definition.
455 EmitGlobalDefinition(D);
456
Nate Begeman4c13b7a2008-04-20 06:29:50 +0000457 // Erase the used decl from the list.
Daniel Dunbar02698712009-02-13 20:29:50 +0000458 i = DeferredDecls.erase(i);
Anders Carlssonb723f752009-01-04 02:08:04 +0000459
Nate Begeman4c13b7a2008-04-20 06:29:50 +0000460 // Remember that we made a change.
461 Changed = true;
462 }
463 } while (Changed);
Reid Spencer5f016e22007-07-11 17:01:13 +0000464}
465
Nate Begeman8bd4afe2008-04-19 04:17:09 +0000466/// EmitAnnotateAttr - Generate the llvm::ConstantStruct which contains the
467/// annotation information for a given GlobalValue. The annotation struct is
468/// {i8 *, i8 *, i8 *, i32}. The first field is a constant expression, the
Daniel Dunbar3c827a72008-08-05 23:31:02 +0000469/// GlobalValue being annotated. The second field is the constant string
Nate Begeman8bd4afe2008-04-19 04:17:09 +0000470/// created from the AnnotateAttr's annotation. The third field is a constant
471/// string containing the name of the translation unit. The fourth field is
472/// the line number in the file of the annotated value declaration.
473///
474/// FIXME: this does not unique the annotation string constants, as llvm-gcc
475/// appears to.
476///
477llvm::Constant *CodeGenModule::EmitAnnotateAttr(llvm::GlobalValue *GV,
478 const AnnotateAttr *AA,
479 unsigned LineNo) {
480 llvm::Module *M = &getModule();
481
482 // get [N x i8] constants for the annotation string, and the filename string
483 // which are the 2nd and 3rd elements of the global annotation structure.
484 const llvm::Type *SBP = llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
485 llvm::Constant *anno = llvm::ConstantArray::get(AA->getAnnotation(), true);
486 llvm::Constant *unit = llvm::ConstantArray::get(M->getModuleIdentifier(),
487 true);
488
489 // Get the two global values corresponding to the ConstantArrays we just
490 // created to hold the bytes of the strings.
491 llvm::GlobalValue *annoGV =
492 new llvm::GlobalVariable(anno->getType(), false,
493 llvm::GlobalValue::InternalLinkage, anno,
494 GV->getName() + ".str", M);
495 // translation unit name string, emitted into the llvm.metadata section.
496 llvm::GlobalValue *unitGV =
497 new llvm::GlobalVariable(unit->getType(), false,
498 llvm::GlobalValue::InternalLinkage, unit, ".str", M);
499
500 // Create the ConstantStruct that is the global annotion.
501 llvm::Constant *Fields[4] = {
502 llvm::ConstantExpr::getBitCast(GV, SBP),
503 llvm::ConstantExpr::getBitCast(annoGV, SBP),
504 llvm::ConstantExpr::getBitCast(unitGV, SBP),
505 llvm::ConstantInt::get(llvm::Type::Int32Ty, LineNo)
506 };
507 return llvm::ConstantStruct::get(Fields, 4, false);
508}
509
Daniel Dunbar73241df2009-02-13 21:18:01 +0000510bool CodeGenModule::MayDeferGeneration(const ValueDecl *Global) {
Daniel Dunbar5c61d972009-02-13 22:08:43 +0000511 // Never defer when EmitAllDecls is specified or the decl has
512 // attribute used.
513 if (Features.EmitAllDecls || Global->getAttr<UsedAttr>())
Daniel Dunbar73241df2009-02-13 21:18:01 +0000514 return false;
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000515
516 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(Global)) {
Daniel Dunbar73241df2009-02-13 21:18:01 +0000517 // Constructors and destructors should never be deferred.
518 if (FD->getAttr<ConstructorAttr>() || FD->getAttr<DestructorAttr>())
519 return false;
520
521 if (FD->getStorageClass() != FunctionDecl::Static)
522 return false;
523 } else {
524 const VarDecl *VD = cast<VarDecl>(Global);
525 assert(VD->isFileVarDecl() && "Invalid decl.");
526
527 if (VD->getStorageClass() != VarDecl::Static)
528 return false;
529 }
530
531 return true;
532}
533
534void CodeGenModule::EmitGlobal(const ValueDecl *Global) {
535 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(Global)) {
Daniel Dunbar219df662008-09-08 23:44:31 +0000536 // Aliases are deferred until code for everything else has been
537 // emitted.
538 if (FD->getAttr<AliasAttr>()) {
539 assert(!FD->isThisDeclarationADefinition() &&
540 "Function alias cannot have a definition!");
541 Aliases.push_back(FD);
542 return;
543 }
544
Daniel Dunbar73241df2009-02-13 21:18:01 +0000545 // Forward declarations are emitted lazily on first use.
546 if (!FD->isThisDeclarationADefinition())
547 return;
Daniel Dunbar02698712009-02-13 20:29:50 +0000548 } else {
549 const VarDecl *VD = cast<VarDecl>(Global);
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000550 assert(VD->isFileVarDecl() && "Cannot emit local var decl as global.");
551
Daniel Dunbar73241df2009-02-13 21:18:01 +0000552 // Forward declarations are emitted lazily on first use.
Daniel Dunbar7542bca2009-02-13 22:49:13 +0000553 if (!VD->getInit() && VD->hasExternalStorage())
Daniel Dunbar73241df2009-02-13 21:18:01 +0000554 return;
Nate Begeman4c13b7a2008-04-20 06:29:50 +0000555 }
556
Daniel Dunbar73241df2009-02-13 21:18:01 +0000557 // Defer code generation when possible.
558 if (MayDeferGeneration(Global)) {
Daniel Dunbar02698712009-02-13 20:29:50 +0000559 DeferredDecls.push_back(Global);
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000560 return;
561 }
562
563 // Otherwise emit the definition.
564 EmitGlobalDefinition(Global);
Nate Begeman4c13b7a2008-04-20 06:29:50 +0000565}
566
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000567void CodeGenModule::EmitGlobalDefinition(const ValueDecl *D) {
568 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
569 EmitGlobalFunctionDefinition(FD);
570 } else if (const VarDecl *VD = dyn_cast<VarDecl>(D)) {
571 EmitGlobalVarDefinition(VD);
572 } else {
573 assert(0 && "Invalid argument to EmitGlobalDefinition()");
574 }
575}
576
Daniel Dunbar9986eab2008-07-30 16:32:24 +0000577 llvm::Constant *CodeGenModule::GetAddrOfGlobalVar(const VarDecl *D) {
Eli Friedman77ba7082008-05-30 19:50:47 +0000578 assert(D->hasGlobalStorage() && "Not a global variable");
579
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000580 QualType ASTTy = D->getType();
581 const llvm::Type *Ty = getTypes().ConvertTypeForMem(ASTTy);
Daniel Dunbar9986eab2008-07-30 16:32:24 +0000582 const llvm::Type *PTy = llvm::PointerType::get(Ty, ASTTy.getAddressSpace());
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000583
Daniel Dunbar3c827a72008-08-05 23:31:02 +0000584 // Lookup the entry, lazily creating it if necessary.
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000585 llvm::GlobalValue *&Entry = GlobalDeclMap[getMangledName(D)];
Daniel Dunbar49988882009-01-13 02:25:00 +0000586 if (!Entry) {
587 llvm::GlobalVariable *GV =
588 new llvm::GlobalVariable(Ty, false,
589 llvm::GlobalValue::ExternalLinkage,
Douglas Gregor6ec36682009-02-18 23:53:56 +0000590 0, getMangledName(D), &getModule(),
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000591 0, ASTTy.getAddressSpace());
Daniel Dunbar49988882009-01-13 02:25:00 +0000592 Entry = GV;
593
594 // Handle things which are present even on external declarations.
595
596 // FIXME: This code is overly simple and should be merged with
597 // other global handling.
598
599 GV->setConstant(D->getType().isConstant(Context));
600
Daniel Dunbareda9a5e2009-02-21 00:24:10 +0000601 // FIXME: Merge with other attribute handling code.
602
Daniel Dunbar49988882009-01-13 02:25:00 +0000603 if (D->getStorageClass() == VarDecl::PrivateExtern)
604 setGlobalVisibility(GV, VisibilityAttr::HiddenVisibility);
Daniel Dunbareda9a5e2009-02-21 00:24:10 +0000605
606 if (D->getAttr<WeakAttr>())
607 GV->setLinkage(llvm::GlobalValue::ExternalWeakLinkage);
Daniel Dunbar49988882009-01-13 02:25:00 +0000608 }
Daniel Dunbar3c827a72008-08-05 23:31:02 +0000609
Daniel Dunbar9986eab2008-07-30 16:32:24 +0000610 // Make sure the result is of the correct type.
611 return llvm::ConstantExpr::getBitCast(Entry, PTy);
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000612}
613
614void CodeGenModule::EmitGlobalVarDefinition(const VarDecl *D) {
Chris Lattner8f32f712007-07-14 00:23:28 +0000615 llvm::Constant *Init = 0;
Eli Friedman77ba7082008-05-30 19:50:47 +0000616 QualType ASTTy = D->getType();
617 const llvm::Type *VarTy = getTypes().ConvertTypeForMem(ASTTy);
Eli Friedman77ba7082008-05-30 19:50:47 +0000618
Chris Lattner8f32f712007-07-14 00:23:28 +0000619 if (D->getInit() == 0) {
Eli Friedmancd5f4aa2008-05-30 20:39:54 +0000620 // This is a tentative definition; tentative definitions are
621 // implicitly initialized with { 0 }
622 const llvm::Type* InitTy;
623 if (ASTTy->isIncompleteArrayType()) {
624 // An incomplete array is normally [ TYPE x 0 ], but we need
625 // to fix it to [ TYPE x 1 ].
626 const llvm::ArrayType* ATy = cast<llvm::ArrayType>(VarTy);
627 InitTy = llvm::ArrayType::get(ATy->getElementType(), 1);
628 } else {
629 InitTy = VarTy;
630 }
631 Init = llvm::Constant::getNullValue(InitTy);
Eli Friedman77ba7082008-05-30 19:50:47 +0000632 } else {
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000633 Init = EmitConstantExpr(D->getInit());
Eli Friedman6e656f42009-02-20 01:18:21 +0000634 if (!Init) {
Daniel Dunbar232350d2009-02-19 05:36:41 +0000635 ErrorUnsupported(D, "static initializer");
Eli Friedman6e656f42009-02-20 01:18:21 +0000636 QualType T = D->getInit()->getType();
637 Init = llvm::UndefValue::get(getTypes().ConvertType(T));
638 }
Eli Friedman77ba7082008-05-30 19:50:47 +0000639 }
640 const llvm::Type* InitType = Init->getType();
641
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000642 llvm::GlobalValue *&Entry = GlobalDeclMap[getMangledName(D)];
Daniel Dunbar3c827a72008-08-05 23:31:02 +0000643 llvm::GlobalVariable *GV = cast_or_null<llvm::GlobalVariable>(Entry);
644
Eli Friedman77ba7082008-05-30 19:50:47 +0000645 if (!GV) {
646 GV = new llvm::GlobalVariable(InitType, false,
647 llvm::GlobalValue::ExternalLinkage,
Douglas Gregor6ec36682009-02-18 23:53:56 +0000648 0, getMangledName(D),
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000649 &getModule(), 0, ASTTy.getAddressSpace());
Daniel Dunbar232350d2009-02-19 05:36:41 +0000650
651 } else if (GV->hasInitializer() && !GV->getInitializer()->isNullValue()) {
652 // If we already have this global and it has an initializer, then
653 // we are in the rare situation where we emitted the defining
654 // declaration of the global and are now being asked to emit a
655 // definition which would be common. This occurs, for example, in
656 // the following situation because statics can be emitted out of
657 // order:
658 //
659 // static int x;
660 // static int *y = &x;
661 // static int x = 10;
662 // int **z = &y;
663 //
664 // Bail here so we don't blow away the definition. Note that if we
665 // can't distinguish here if we emitted a definition with a null
666 // initializer, but this case is safe.
667 assert(!D->getInit() && "Emitting multiple definitions of a decl!");
668 return;
669
Daniel Dunbar3c827a72008-08-05 23:31:02 +0000670 } else if (GV->getType() !=
671 llvm::PointerType::get(InitType, ASTTy.getAddressSpace())) {
Eli Friedman77ba7082008-05-30 19:50:47 +0000672 // We have a definition after a prototype with the wrong type.
673 // We must make a new GlobalVariable* and update everything that used OldGV
674 // (a declaration or tentative definition) with the new GlobalVariable*
675 // (which will be a definition).
676 //
677 // This happens if there is a prototype for a global (e.g. "extern int x[];")
678 // and then a definition of a different type (e.g. "int x[10];"). This also
679 // happens when an initializer has a different type from the type of the
680 // global (this happens with unions).
Eli Friedmancd5f4aa2008-05-30 20:39:54 +0000681 //
682 // FIXME: This also ends up happening if there's a definition followed by
683 // a tentative definition! (Although Sema rejects that construct
684 // at the moment.)
Eli Friedman77ba7082008-05-30 19:50:47 +0000685
686 // Save the old global
687 llvm::GlobalVariable *OldGV = GV;
688
689 // Make a new global with the correct type
690 GV = new llvm::GlobalVariable(InitType, false,
691 llvm::GlobalValue::ExternalLinkage,
Douglas Gregor6ec36682009-02-18 23:53:56 +0000692 0, getMangledName(D),
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000693 &getModule(), 0, ASTTy.getAddressSpace());
Eli Friedman77ba7082008-05-30 19:50:47 +0000694 // Steal the name of the old global
695 GV->takeName(OldGV);
696
697 // Replace all uses of the old global with the new global
698 llvm::Constant *NewPtrForOldDecl =
699 llvm::ConstantExpr::getBitCast(GV, OldGV->getType());
700 OldGV->replaceAllUsesWith(NewPtrForOldDecl);
Eli Friedman77ba7082008-05-30 19:50:47 +0000701
702 // Erase the old global, since it is no longer used.
703 OldGV->eraseFromParent();
Chris Lattner8f32f712007-07-14 00:23:28 +0000704 }
Devang Patel8e53e722007-10-26 16:31:40 +0000705
Daniel Dunbar3c827a72008-08-05 23:31:02 +0000706 Entry = GV;
Devang Patel8e53e722007-10-26 16:31:40 +0000707
Nate Begeman8bd4afe2008-04-19 04:17:09 +0000708 if (const AnnotateAttr *AA = D->getAttr<AnnotateAttr>()) {
709 SourceManager &SM = Context.getSourceManager();
710 AddAnnotation(EmitAnnotateAttr(GV, AA,
Chris Lattnerf7cf85b2009-01-16 07:36:28 +0000711 SM.getInstantiationLineNumber(D->getLocation())));
Nate Begeman8bd4afe2008-04-19 04:17:09 +0000712 }
713
Chris Lattner88a69ad2007-07-13 05:13:43 +0000714 GV->setInitializer(Init);
Nuno Lopesb381aac2008-09-01 11:33:04 +0000715 GV->setConstant(D->getType().isConstant(Context));
Eli Friedman0de40af2009-02-27 04:11:37 +0000716 GV->setAlignment(getContext().getDeclAlignInBytes(D));
Eli Friedman08d78022008-05-29 11:10:27 +0000717
Chris Lattnerddee4232008-03-03 03:28:21 +0000718 if (const VisibilityAttr *attr = D->getAttr<VisibilityAttr>())
Daniel Dunbar41071de2008-08-15 23:26:23 +0000719 setGlobalVisibility(GV, attr->getVisibility());
Chris Lattnerddee4232008-03-03 03:28:21 +0000720 // FIXME: else handle -fvisibility
Daniel Dunbara735ad82008-08-06 00:03:29 +0000721
722 if (const AsmLabelAttr *ALA = D->getAttr<AsmLabelAttr>()) {
723 // Prefaced with special LLVM marker to indicate that the name
724 // should not be munged.
725 GV->setName("\01" + ALA->getLabel());
726 }
Chris Lattner88a69ad2007-07-13 05:13:43 +0000727
728 // Set the llvm linkage type as appropriate.
Chris Lattner8fabd782008-05-04 01:44:26 +0000729 if (D->getStorageClass() == VarDecl::Static)
730 GV->setLinkage(llvm::Function::InternalLinkage);
731 else if (D->getAttr<DLLImportAttr>())
Chris Lattnerddee4232008-03-03 03:28:21 +0000732 GV->setLinkage(llvm::Function::DLLImportLinkage);
733 else if (D->getAttr<DLLExportAttr>())
734 GV->setLinkage(llvm::Function::DLLExportLinkage);
Chris Lattner8fabd782008-05-04 01:44:26 +0000735 else if (D->getAttr<WeakAttr>())
Chris Lattnerddee4232008-03-03 03:28:21 +0000736 GV->setLinkage(llvm::GlobalVariable::WeakLinkage);
Chris Lattner8fabd782008-05-04 01:44:26 +0000737 else {
Chris Lattnerddee4232008-03-03 03:28:21 +0000738 // FIXME: This isn't right. This should handle common linkage and other
739 // stuff.
740 switch (D->getStorageClass()) {
Chris Lattner8fabd782008-05-04 01:44:26 +0000741 case VarDecl::Static: assert(0 && "This case handled above");
Chris Lattnerddee4232008-03-03 03:28:21 +0000742 case VarDecl::Auto:
743 case VarDecl::Register:
744 assert(0 && "Can't have auto or register globals");
745 case VarDecl::None:
746 if (!D->getInit())
Eli Friedmana07b7642008-05-29 11:03:17 +0000747 GV->setLinkage(llvm::GlobalVariable::CommonLinkage);
Anders Carlsson98883e12008-12-03 05:51:23 +0000748 else
749 GV->setLinkage(llvm::GlobalVariable::ExternalLinkage);
Chris Lattnerddee4232008-03-03 03:28:21 +0000750 break;
751 case VarDecl::Extern:
Daniel Dunbar49988882009-01-13 02:25:00 +0000752 // FIXME: common
753 break;
754
Chris Lattnerddee4232008-03-03 03:28:21 +0000755 case VarDecl::PrivateExtern:
Daniel Dunbar49988882009-01-13 02:25:00 +0000756 GV->setVisibility(llvm::GlobalValue::HiddenVisibility);
757 // FIXME: common
Chris Lattnerddee4232008-03-03 03:28:21 +0000758 break;
Chris Lattnerddee4232008-03-03 03:28:21 +0000759 }
Chris Lattner88a69ad2007-07-13 05:13:43 +0000760 }
Sanjiv Gupta686226b2008-06-05 08:59:10 +0000761
Daniel Dunbar17f194f2009-02-12 17:28:23 +0000762 if (const SectionAttr *SA = D->getAttr<SectionAttr>())
763 GV->setSection(SA->getName());
764
Daniel Dunbar5c61d972009-02-13 22:08:43 +0000765 if (D->getAttr<UsedAttr>())
766 AddUsedGlobal(GV);
767
Sanjiv Gupta686226b2008-06-05 08:59:10 +0000768 // Emit global variable debug information.
769 CGDebugInfo *DI = getDebugInfo();
770 if(DI) {
Daniel Dunbar66031a52008-10-17 16:15:48 +0000771 DI->setLocation(D->getLocation());
Sanjiv Gupta686226b2008-06-05 08:59:10 +0000772 DI->EmitGlobalVariable(GV, D);
773 }
Chris Lattner88a69ad2007-07-13 05:13:43 +0000774}
Reid Spencer5f016e22007-07-11 17:01:13 +0000775
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000776llvm::GlobalValue *
Daniel Dunbard5d31802009-02-19 07:15:39 +0000777CodeGenModule::EmitForwardFunctionDefinition(const FunctionDecl *D,
778 const llvm::Type *Ty) {
779 if (!Ty)
780 Ty = getTypes().ConvertType(D->getType());
Daniel Dunbar219df662008-09-08 23:44:31 +0000781 llvm::Function *F = llvm::Function::Create(cast<llvm::FunctionType>(Ty),
782 llvm::Function::ExternalLinkage,
Douglas Gregor6ec36682009-02-18 23:53:56 +0000783 getMangledName(D),
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000784 &getModule());
Daniel Dunbar219df662008-09-08 23:44:31 +0000785 SetFunctionAttributes(D, F);
786 return F;
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000787}
788
789llvm::Constant *CodeGenModule::GetAddrOfFunction(const FunctionDecl *D) {
Daniel Dunbar9986eab2008-07-30 16:32:24 +0000790 QualType ASTTy = D->getType();
791 const llvm::Type *Ty = getTypes().ConvertTypeForMem(ASTTy);
792 const llvm::Type *PTy = llvm::PointerType::get(Ty, ASTTy.getAddressSpace());
Daniel Dunbar3c827a72008-08-05 23:31:02 +0000793
794 // Lookup the entry, lazily creating it if necessary.
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000795 llvm::GlobalValue *&Entry = GlobalDeclMap[getMangledName(D)];
Daniel Dunbar3c827a72008-08-05 23:31:02 +0000796 if (!Entry)
Mike Stumpc136e6c2009-02-27 22:42:30 +0000797 Entry = getModule().getFunction(getMangledName(D));
798 if (!Entry)
Daniel Dunbard5d31802009-02-19 07:15:39 +0000799 Entry = EmitForwardFunctionDefinition(D, 0);
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000800
Daniel Dunbar9986eab2008-07-30 16:32:24 +0000801 return llvm::ConstantExpr::getBitCast(Entry, PTy);
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000802}
803
804void CodeGenModule::EmitGlobalFunctionDefinition(const FunctionDecl *D) {
Daniel Dunbard5d31802009-02-19 07:15:39 +0000805 const llvm::FunctionType *Ty =
806 cast<llvm::FunctionType>(getTypes().ConvertType(D->getType()));
807
808 // As a special case, make sure that definitions of K&R function
809 // "type foo()" aren't declared as varargs (which forces the backend
810 // to do unnecessary work).
811 if (Ty->isVarArg() && Ty->getNumParams() == 0 && Ty->isVarArg())
812 Ty = llvm::FunctionType::get(Ty->getReturnType(),
813 std::vector<const llvm::Type*>(),
814 false);
815
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000816 llvm::GlobalValue *&Entry = GlobalDeclMap[getMangledName(D)];
Daniel Dunbar3c827a72008-08-05 23:31:02 +0000817 if (!Entry) {
Daniel Dunbard5d31802009-02-19 07:15:39 +0000818 Entry = EmitForwardFunctionDefinition(D, Ty);
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000819 } else {
Daniel Dunbar3c827a72008-08-05 23:31:02 +0000820 // If the types mismatch then we have to rewrite the definition.
Daniel Dunbar3c827a72008-08-05 23:31:02 +0000821 if (Entry->getType() != llvm::PointerType::getUnqual(Ty)) {
Daniel Dunbard5d31802009-02-19 07:15:39 +0000822 // Otherwise, we have a definition after a prototype with the
823 // wrong type. F is the Function* for the one with the wrong
824 // type, we must make a new Function* and update everything that
825 // used F (a declaration) with the new Function* (which will be
826 // a definition).
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000827 //
Daniel Dunbard5d31802009-02-19 07:15:39 +0000828 // This happens if there is a prototype for a function
829 // (e.g. "int f()") and then a definition of a different type
830 // (e.g. "int f(int x)"). Start by making a new function of the
831 // correct type, RAUW, then steal the name.
832 llvm::GlobalValue *NewFn = EmitForwardFunctionDefinition(D, Ty);
Daniel Dunbar3c827a72008-08-05 23:31:02 +0000833 NewFn->takeName(Entry);
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000834
835 // Replace uses of F with the Function we will endow with a body.
836 llvm::Constant *NewPtrForOldDecl =
Daniel Dunbar3c827a72008-08-05 23:31:02 +0000837 llvm::ConstantExpr::getBitCast(NewFn, Entry->getType());
838 Entry->replaceAllUsesWith(NewPtrForOldDecl);
839
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000840 // Ok, delete the old function now, which is dead.
Daniel Dunbar3c827a72008-08-05 23:31:02 +0000841 assert(Entry->isDeclaration() && "Shouldn't replace non-declaration");
Daniel Dunbar219df662008-09-08 23:44:31 +0000842 Entry->eraseFromParent();
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000843
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000844 Entry = NewFn;
845 }
846 }
847
Daniel Dunbar219df662008-09-08 23:44:31 +0000848 llvm::Function *Fn = cast<llvm::Function>(Entry);
849 CodeGenFunction(*this).GenerateCode(D, Fn);
Daniel Dunbar6bfed7e2008-08-01 00:01:51 +0000850
Daniel Dunbar219df662008-09-08 23:44:31 +0000851 SetFunctionAttributesForDefinition(D, Fn);
852
853 if (const ConstructorAttr *CA = D->getAttr<ConstructorAttr>()) {
854 AddGlobalCtor(Fn, CA->getPriority());
855 } else if (const DestructorAttr *DA = D->getAttr<DestructorAttr>()) {
856 AddGlobalDtor(Fn, DA->getPriority());
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000857 }
858}
859
Daniel Dunbarf1968f22008-10-01 00:49:24 +0000860llvm::Function *
861CodeGenModule::CreateRuntimeFunction(const llvm::FunctionType *FTy,
862 const std::string &Name) {
863 llvm::Function *Fn = llvm::Function::Create(FTy,
864 llvm::Function::ExternalLinkage,
865 "", &TheModule);
866 RuntimeFunctions.push_back(std::make_pair(Fn, Name));
867 return Fn;
868}
869
Chris Lattnerc5b88062008-02-06 05:08:19 +0000870void CodeGenModule::UpdateCompletedType(const TagDecl *TD) {
871 // Make sure that this type is translated.
872 Types.UpdateCompletedType(TD);
Chris Lattnerd86e6bc2008-02-05 08:06:13 +0000873}
874
875
Chris Lattnerbef20ac2007-08-31 04:31:45 +0000876/// getBuiltinLibFunction
Mike Stumpc136e6c2009-02-27 22:42:30 +0000877llvm::Value *CodeGenModule::getBuiltinLibFunction(unsigned BuiltinID) {
Chris Lattner1426fec2007-12-13 00:38:03 +0000878 if (BuiltinID > BuiltinFunctions.size())
879 BuiltinFunctions.resize(BuiltinID);
Chris Lattnerbef20ac2007-08-31 04:31:45 +0000880
Chris Lattner1426fec2007-12-13 00:38:03 +0000881 // Cache looked up functions. Since builtin id #0 is invalid we don't reserve
882 // a slot for it.
883 assert(BuiltinID && "Invalid Builtin ID");
Mike Stumpc136e6c2009-02-27 22:42:30 +0000884 llvm::Value *&FunctionSlot = BuiltinFunctions[BuiltinID-1];
Chris Lattnerbef20ac2007-08-31 04:31:45 +0000885 if (FunctionSlot)
886 return FunctionSlot;
887
Douglas Gregor3e41d602009-02-13 23:20:09 +0000888 assert((Context.BuiltinInfo.isLibFunction(BuiltinID) ||
889 Context.BuiltinInfo.isPredefinedLibFunction(BuiltinID)) &&
890 "isn't a lib fn");
Chris Lattnerbef20ac2007-08-31 04:31:45 +0000891
Douglas Gregor3e41d602009-02-13 23:20:09 +0000892 // Get the name, skip over the __builtin_ prefix (if necessary).
893 const char *Name = Context.BuiltinInfo.GetName(BuiltinID);
894 if (Context.BuiltinInfo.isLibFunction(BuiltinID))
895 Name += 10;
Chris Lattnerbef20ac2007-08-31 04:31:45 +0000896
897 // Get the type for the builtin.
Douglas Gregor370ab3f2009-02-14 01:52:53 +0000898 Builtin::Context::GetBuiltinTypeError Error;
899 QualType Type = Context.BuiltinInfo.GetBuiltinType(BuiltinID, Context, Error);
900 assert(Error == Builtin::Context::GE_None && "Can't get builtin type");
901
Chris Lattnerbef20ac2007-08-31 04:31:45 +0000902 const llvm::FunctionType *Ty =
903 cast<llvm::FunctionType>(getTypes().ConvertType(Type));
904
905 // FIXME: This has a serious problem with code like this:
906 // void abs() {}
907 // ... __builtin_abs(x);
908 // The two versions of abs will collide. The fix is for the builtin to win,
909 // and for the existing one to be turned into a constantexpr cast of the
910 // builtin. In the case where the existing one is a static function, it
911 // should just be renamed.
Chris Lattnerc5e940f2007-08-31 04:44:06 +0000912 if (llvm::Function *Existing = getModule().getFunction(Name)) {
913 if (Existing->getFunctionType() == Ty && Existing->hasExternalLinkage())
914 return FunctionSlot = Existing;
915 assert(Existing == 0 && "FIXME: Name collision");
916 }
Chris Lattnerbef20ac2007-08-31 04:31:45 +0000917
Mike Stumpc136e6c2009-02-27 22:42:30 +0000918 llvm::GlobalValue *&ExitingFn = GlobalDeclMap[getContext().Idents.get(Name).getName()];
919 if (ExitingFn) {
920 llvm::Function *Fn = dyn_cast<llvm::Function>(ExitingFn);
921 assert(Fn && "builting mixing with non-function");
922 return FunctionSlot = llvm::ConstantExpr::getBitCast(Fn, Ty);
923 }
924
Chris Lattnerbef20ac2007-08-31 04:31:45 +0000925 // FIXME: param attributes for sext/zext etc.
Mike Stumpc136e6c2009-02-27 22:42:30 +0000926 return FunctionSlot = ExitingFn =
Nate Begeman4c13b7a2008-04-20 06:29:50 +0000927 llvm::Function::Create(Ty, llvm::Function::ExternalLinkage, Name,
928 &getModule());
Chris Lattnerbef20ac2007-08-31 04:31:45 +0000929}
930
Chris Lattner7acda7c2007-12-18 00:25:38 +0000931llvm::Function *CodeGenModule::getIntrinsic(unsigned IID,const llvm::Type **Tys,
932 unsigned NumTys) {
933 return llvm::Intrinsic::getDeclaration(&getModule(),
934 (llvm::Intrinsic::ID)IID, Tys, NumTys);
935}
Chris Lattnerbef20ac2007-08-31 04:31:45 +0000936
Reid Spencer5f016e22007-07-11 17:01:13 +0000937llvm::Function *CodeGenModule::getMemCpyFn() {
938 if (MemCpyFn) return MemCpyFn;
Chris Lattner4e8a9e82008-11-21 16:43:15 +0000939 const llvm::Type *IntPtr = TheTargetData.getIntPtrType();
940 return MemCpyFn = getIntrinsic(llvm::Intrinsic::memcpy, &IntPtr, 1);
Reid Spencer5f016e22007-07-11 17:01:13 +0000941}
Anders Carlssonc9e20912007-08-21 00:21:21 +0000942
Eli Friedman0c995092008-05-26 12:59:39 +0000943llvm::Function *CodeGenModule::getMemMoveFn() {
944 if (MemMoveFn) return MemMoveFn;
Chris Lattner4e8a9e82008-11-21 16:43:15 +0000945 const llvm::Type *IntPtr = TheTargetData.getIntPtrType();
946 return MemMoveFn = getIntrinsic(llvm::Intrinsic::memmove, &IntPtr, 1);
Eli Friedman0c995092008-05-26 12:59:39 +0000947}
948
Lauro Ramos Venancio41ef30e2008-02-19 22:01:01 +0000949llvm::Function *CodeGenModule::getMemSetFn() {
950 if (MemSetFn) return MemSetFn;
Chris Lattner4e8a9e82008-11-21 16:43:15 +0000951 const llvm::Type *IntPtr = TheTargetData.getIntPtrType();
952 return MemSetFn = getIntrinsic(llvm::Intrinsic::memset, &IntPtr, 1);
Lauro Ramos Venancio41ef30e2008-02-19 22:01:01 +0000953}
Chris Lattner7acda7c2007-12-18 00:25:38 +0000954
Anders Carlssone3daa762008-11-15 18:54:24 +0000955static void appendFieldAndPadding(CodeGenModule &CGM,
956 std::vector<llvm::Constant*>& Fields,
Douglas Gregor44b43212008-12-11 16:49:14 +0000957 FieldDecl *FieldD, FieldDecl *NextFieldD,
958 llvm::Constant* Field,
Anders Carlssone3daa762008-11-15 18:54:24 +0000959 RecordDecl* RD, const llvm::StructType *STy)
960{
961 // Append the field.
962 Fields.push_back(Field);
963
Douglas Gregor44b43212008-12-11 16:49:14 +0000964 int StructFieldNo = CGM.getTypes().getLLVMFieldNo(FieldD);
Anders Carlssone3daa762008-11-15 18:54:24 +0000965
966 int NextStructFieldNo;
Douglas Gregor44b43212008-12-11 16:49:14 +0000967 if (!NextFieldD) {
Anders Carlssone3daa762008-11-15 18:54:24 +0000968 NextStructFieldNo = STy->getNumElements();
969 } else {
Douglas Gregor44b43212008-12-11 16:49:14 +0000970 NextStructFieldNo = CGM.getTypes().getLLVMFieldNo(NextFieldD);
Anders Carlssone3daa762008-11-15 18:54:24 +0000971 }
972
973 // Append padding
974 for (int i = StructFieldNo + 1; i < NextStructFieldNo; i++) {
975 llvm::Constant *C =
976 llvm::Constant::getNullValue(STy->getElementType(StructFieldNo + 1));
977
978 Fields.push_back(C);
979 }
980}
981
Daniel Dunbar3e9df992008-08-23 18:37:06 +0000982// We still need to work out the details of handling UTF-16.
983// See: <rdr://2996215>
Chris Lattnerbef20ac2007-08-31 04:31:45 +0000984llvm::Constant *CodeGenModule::
985GetAddrOfConstantCFString(const std::string &str) {
Anders Carlssonc9e20912007-08-21 00:21:21 +0000986 llvm::StringMapEntry<llvm::Constant *> &Entry =
987 CFConstantStringMap.GetOrCreateValue(&str[0], &str[str.length()]);
988
989 if (Entry.getValue())
990 return Entry.getValue();
991
Daniel Dunbar3e9df992008-08-23 18:37:06 +0000992 llvm::Constant *Zero = llvm::Constant::getNullValue(llvm::Type::Int32Ty);
993 llvm::Constant *Zeros[] = { Zero, Zero };
Anders Carlssonc9e20912007-08-21 00:21:21 +0000994
995 if (!CFConstantStringClassRef) {
996 const llvm::Type *Ty = getTypes().ConvertType(getContext().IntTy);
997 Ty = llvm::ArrayType::get(Ty, 0);
Daniel Dunbar3e9df992008-08-23 18:37:06 +0000998
999 // FIXME: This is fairly broken if
1000 // __CFConstantStringClassReference is already defined, in that it
1001 // will get renamed and the user will most likely see an opaque
1002 // error message. This is a general issue with relying on
1003 // particular names.
1004 llvm::GlobalVariable *GV =
Anders Carlssonc9e20912007-08-21 00:21:21 +00001005 new llvm::GlobalVariable(Ty, false,
1006 llvm::GlobalVariable::ExternalLinkage, 0,
1007 "__CFConstantStringClassReference",
1008 &getModule());
Daniel Dunbar3e9df992008-08-23 18:37:06 +00001009
1010 // Decay array -> ptr
1011 CFConstantStringClassRef =
1012 llvm::ConstantExpr::getGetElementPtr(GV, Zeros, 2);
Anders Carlssonc9e20912007-08-21 00:21:21 +00001013 }
1014
Anders Carlssone3daa762008-11-15 18:54:24 +00001015 QualType CFTy = getContext().getCFConstantStringType();
1016 RecordDecl *CFRD = CFTy->getAsRecordType()->getDecl();
Daniel Dunbar3e9df992008-08-23 18:37:06 +00001017
Anders Carlssone3daa762008-11-15 18:54:24 +00001018 const llvm::StructType *STy =
1019 cast<llvm::StructType>(getTypes().ConvertType(CFTy));
1020
1021 std::vector<llvm::Constant*> Fields;
Douglas Gregor44b43212008-12-11 16:49:14 +00001022 RecordDecl::field_iterator Field = CFRD->field_begin();
1023
Anders Carlssonc9e20912007-08-21 00:21:21 +00001024 // Class pointer.
Douglas Gregor44b43212008-12-11 16:49:14 +00001025 FieldDecl *CurField = *Field++;
1026 FieldDecl *NextField = *Field++;
1027 appendFieldAndPadding(*this, Fields, CurField, NextField,
1028 CFConstantStringClassRef, CFRD, STy);
Anders Carlssonc9e20912007-08-21 00:21:21 +00001029
1030 // Flags.
Douglas Gregor44b43212008-12-11 16:49:14 +00001031 CurField = NextField;
1032 NextField = *Field++;
Daniel Dunbar3e9df992008-08-23 18:37:06 +00001033 const llvm::Type *Ty = getTypes().ConvertType(getContext().UnsignedIntTy);
Douglas Gregor44b43212008-12-11 16:49:14 +00001034 appendFieldAndPadding(*this, Fields, CurField, NextField,
1035 llvm::ConstantInt::get(Ty, 0x07C8), CFRD, STy);
Anders Carlssonc9e20912007-08-21 00:21:21 +00001036
1037 // String pointer.
Douglas Gregor44b43212008-12-11 16:49:14 +00001038 CurField = NextField;
1039 NextField = *Field++;
Daniel Dunbar3e9df992008-08-23 18:37:06 +00001040 llvm::Constant *C = llvm::ConstantArray::get(str);
Anders Carlssonc9e20912007-08-21 00:21:21 +00001041 C = new llvm::GlobalVariable(C->getType(), true,
1042 llvm::GlobalValue::InternalLinkage,
Anders Carlssone3daa762008-11-15 18:54:24 +00001043 C, ".str", &getModule());
Douglas Gregor44b43212008-12-11 16:49:14 +00001044 appendFieldAndPadding(*this, Fields, CurField, NextField,
Anders Carlssone3daa762008-11-15 18:54:24 +00001045 llvm::ConstantExpr::getGetElementPtr(C, Zeros, 2),
1046 CFRD, STy);
Anders Carlssonc9e20912007-08-21 00:21:21 +00001047
1048 // String length.
Douglas Gregor44b43212008-12-11 16:49:14 +00001049 CurField = NextField;
1050 NextField = 0;
Anders Carlssonc9e20912007-08-21 00:21:21 +00001051 Ty = getTypes().ConvertType(getContext().LongTy);
Douglas Gregor44b43212008-12-11 16:49:14 +00001052 appendFieldAndPadding(*this, Fields, CurField, NextField,
1053 llvm::ConstantInt::get(Ty, str.length()), CFRD, STy);
Anders Carlssonc9e20912007-08-21 00:21:21 +00001054
1055 // The struct.
Anders Carlssone3daa762008-11-15 18:54:24 +00001056 C = llvm::ConstantStruct::get(STy, Fields);
Anders Carlsson0c678292007-11-01 00:41:52 +00001057 llvm::GlobalVariable *GV =
1058 new llvm::GlobalVariable(C->getType(), true,
1059 llvm::GlobalVariable::InternalLinkage,
1060 C, "", &getModule());
Daniel Dunbar3e9df992008-08-23 18:37:06 +00001061
Anders Carlsson0c678292007-11-01 00:41:52 +00001062 GV->setSection("__DATA,__cfstring");
1063 Entry.setValue(GV);
Daniel Dunbar3e9df992008-08-23 18:37:06 +00001064
Anders Carlsson0c678292007-11-01 00:41:52 +00001065 return GV;
Anders Carlssonc9e20912007-08-21 00:21:21 +00001066}
Chris Lattner45e8cbd2007-11-28 05:34:05 +00001067
Daniel Dunbar61432932008-08-13 23:20:05 +00001068/// GetStringForStringLiteral - Return the appropriate bytes for a
Daniel Dunbar1e049762008-08-10 20:25:57 +00001069/// string literal, properly padded to match the literal type.
Daniel Dunbar61432932008-08-13 23:20:05 +00001070std::string CodeGenModule::GetStringForStringLiteral(const StringLiteral *E) {
Daniel Dunbar1e049762008-08-10 20:25:57 +00001071 const char *StrData = E->getStrData();
1072 unsigned Len = E->getByteLength();
1073
1074 const ConstantArrayType *CAT =
1075 getContext().getAsConstantArrayType(E->getType());
1076 assert(CAT && "String isn't pointer or array!");
1077
Chris Lattnerdbb1ecc2009-02-26 23:01:51 +00001078 // Resize the string to the right size.
Daniel Dunbar1e049762008-08-10 20:25:57 +00001079 std::string Str(StrData, StrData+Len);
1080 uint64_t RealLen = CAT->getSize().getZExtValue();
Chris Lattnerdbb1ecc2009-02-26 23:01:51 +00001081
1082 if (E->isWide())
1083 RealLen *= getContext().Target.getWCharWidth()/8;
1084
Daniel Dunbar1e049762008-08-10 20:25:57 +00001085 Str.resize(RealLen, '\0');
1086
1087 return Str;
1088}
1089
Daniel Dunbar61432932008-08-13 23:20:05 +00001090/// GetAddrOfConstantStringFromLiteral - Return a pointer to a
1091/// constant array for the given string literal.
1092llvm::Constant *
1093CodeGenModule::GetAddrOfConstantStringFromLiteral(const StringLiteral *S) {
1094 // FIXME: This can be more efficient.
1095 return GetAddrOfConstantString(GetStringForStringLiteral(S));
1096}
1097
Chris Lattnereaf2bb82009-02-24 22:18:39 +00001098/// GetAddrOfConstantStringFromObjCEncode - Return a pointer to a constant
1099/// array for the given ObjCEncodeExpr node.
1100llvm::Constant *
1101CodeGenModule::GetAddrOfConstantStringFromObjCEncode(const ObjCEncodeExpr *E) {
1102 std::string Str;
1103 getContext().getObjCEncodingForType(E->getEncodedType(), Str);
1104
1105 llvm::Constant *C = llvm::ConstantArray::get(Str);
1106 C = new llvm::GlobalVariable(C->getType(), true,
1107 llvm::GlobalValue::InternalLinkage,
1108 C, ".str", &getModule());
1109 return C;
1110}
1111
1112
Chris Lattnera7ad98f2008-02-11 00:02:17 +00001113/// GenerateWritableString -- Creates storage for a string literal.
Chris Lattner45e8cbd2007-11-28 05:34:05 +00001114static llvm::Constant *GenerateStringLiteral(const std::string &str,
1115 bool constant,
Daniel Dunbar5fabf9d2008-10-17 21:56:50 +00001116 CodeGenModule &CGM,
1117 const char *GlobalName) {
Daniel Dunbar61432932008-08-13 23:20:05 +00001118 // Create Constant for this string literal. Don't add a '\0'.
1119 llvm::Constant *C = llvm::ConstantArray::get(str, false);
Chris Lattner45e8cbd2007-11-28 05:34:05 +00001120
1121 // Create a global variable for this string
Chris Lattnereaf2bb82009-02-24 22:18:39 +00001122 return new llvm::GlobalVariable(C->getType(), constant,
1123 llvm::GlobalValue::InternalLinkage,
1124 C, GlobalName ? GlobalName : ".str",
1125 &CGM.getModule());
Chris Lattner45e8cbd2007-11-28 05:34:05 +00001126}
1127
Daniel Dunbar61432932008-08-13 23:20:05 +00001128/// GetAddrOfConstantString - Returns a pointer to a character array
1129/// containing the literal. This contents are exactly that of the
1130/// given string, i.e. it will not be null terminated automatically;
1131/// see GetAddrOfConstantCString. Note that whether the result is
1132/// actually a pointer to an LLVM constant depends on
1133/// Feature.WriteableStrings.
1134///
1135/// The result has pointer to array type.
Daniel Dunbar5fabf9d2008-10-17 21:56:50 +00001136llvm::Constant *CodeGenModule::GetAddrOfConstantString(const std::string &str,
1137 const char *GlobalName) {
Chris Lattner45e8cbd2007-11-28 05:34:05 +00001138 // Don't share any string literals if writable-strings is turned on.
1139 if (Features.WritableStrings)
Daniel Dunbar5fabf9d2008-10-17 21:56:50 +00001140 return GenerateStringLiteral(str, false, *this, GlobalName);
Chris Lattner45e8cbd2007-11-28 05:34:05 +00001141
1142 llvm::StringMapEntry<llvm::Constant *> &Entry =
1143 ConstantStringMap.GetOrCreateValue(&str[0], &str[str.length()]);
1144
1145 if (Entry.getValue())
Chris Lattnereaf2bb82009-02-24 22:18:39 +00001146 return Entry.getValue();
Chris Lattner45e8cbd2007-11-28 05:34:05 +00001147
1148 // Create a global variable for this.
Daniel Dunbar5fabf9d2008-10-17 21:56:50 +00001149 llvm::Constant *C = GenerateStringLiteral(str, true, *this, GlobalName);
Chris Lattner45e8cbd2007-11-28 05:34:05 +00001150 Entry.setValue(C);
1151 return C;
1152}
Daniel Dunbar61432932008-08-13 23:20:05 +00001153
1154/// GetAddrOfConstantCString - Returns a pointer to a character
1155/// array containing the literal and a terminating '\-'
1156/// character. The result has pointer to array type.
Daniel Dunbar5fabf9d2008-10-17 21:56:50 +00001157llvm::Constant *CodeGenModule::GetAddrOfConstantCString(const std::string &str,
1158 const char *GlobalName){
Chris Lattnerc9f29c62008-12-09 19:10:54 +00001159 return GetAddrOfConstantString(str + '\0', GlobalName);
Daniel Dunbar61432932008-08-13 23:20:05 +00001160}
Daniel Dunbar41071de2008-08-15 23:26:23 +00001161
Daniel Dunbaraf05bb92008-08-26 08:29:31 +00001162/// EmitObjCPropertyImplementations - Emit information for synthesized
1163/// properties for an implementation.
1164void CodeGenModule::EmitObjCPropertyImplementations(const
1165 ObjCImplementationDecl *D) {
1166 for (ObjCImplementationDecl::propimpl_iterator i = D->propimpl_begin(),
1167 e = D->propimpl_end(); i != e; ++i) {
1168 ObjCPropertyImplDecl *PID = *i;
1169
1170 // Dynamic is just for type-checking.
1171 if (PID->getPropertyImplementation() == ObjCPropertyImplDecl::Synthesize) {
1172 ObjCPropertyDecl *PD = PID->getPropertyDecl();
1173
1174 // Determine which methods need to be implemented, some may have
1175 // been overridden. Note that ::isSynthesized is not the method
1176 // we want, that just indicates if the decl came from a
1177 // property. What we want to know is if the method is defined in
1178 // this implementation.
1179 if (!D->getInstanceMethod(PD->getGetterName()))
Fariborz Jahanianfef30b52008-12-09 20:23:04 +00001180 CodeGenFunction(*this).GenerateObjCGetter(
1181 const_cast<ObjCImplementationDecl *>(D), PID);
Daniel Dunbaraf05bb92008-08-26 08:29:31 +00001182 if (!PD->isReadOnly() &&
1183 !D->getInstanceMethod(PD->getSetterName()))
Fariborz Jahanianfef30b52008-12-09 20:23:04 +00001184 CodeGenFunction(*this).GenerateObjCSetter(
1185 const_cast<ObjCImplementationDecl *>(D), PID);
Daniel Dunbaraf05bb92008-08-26 08:29:31 +00001186 }
1187 }
1188}
1189
Daniel Dunbar41071de2008-08-15 23:26:23 +00001190/// EmitTopLevelDecl - Emit code for a single top level declaration.
1191void CodeGenModule::EmitTopLevelDecl(Decl *D) {
1192 // If an error has occurred, stop code generation, but continue
1193 // parsing and semantic analysis (to ensure all warnings and errors
1194 // are emitted).
1195 if (Diags.hasErrorOccurred())
1196 return;
1197
1198 switch (D->getKind()) {
1199 case Decl::Function:
1200 case Decl::Var:
1201 EmitGlobal(cast<ValueDecl>(D));
1202 break;
1203
1204 case Decl::Namespace:
Daniel Dunbar662174c82008-08-29 17:28:43 +00001205 ErrorUnsupported(D, "namespace");
Daniel Dunbar41071de2008-08-15 23:26:23 +00001206 break;
1207
1208 // Objective-C Decls
1209
1210 // Forward declarations, no (immediate) code generation.
1211 case Decl::ObjCClass:
1212 case Decl::ObjCCategory:
1213 case Decl::ObjCForwardProtocol:
1214 case Decl::ObjCInterface:
1215 break;
1216
1217 case Decl::ObjCProtocol:
1218 Runtime->GenerateProtocol(cast<ObjCProtocolDecl>(D));
1219 break;
1220
1221 case Decl::ObjCCategoryImpl:
Daniel Dunbaraf05bb92008-08-26 08:29:31 +00001222 // Categories have properties but don't support synthesize so we
1223 // can ignore them here.
1224
Daniel Dunbar41071de2008-08-15 23:26:23 +00001225 Runtime->GenerateCategory(cast<ObjCCategoryImplDecl>(D));
1226 break;
1227
Daniel Dunbaraf05bb92008-08-26 08:29:31 +00001228 case Decl::ObjCImplementation: {
1229 ObjCImplementationDecl *OMD = cast<ObjCImplementationDecl>(D);
1230 EmitObjCPropertyImplementations(OMD);
1231 Runtime->GenerateClass(OMD);
Daniel Dunbar41071de2008-08-15 23:26:23 +00001232 break;
Daniel Dunbaraf05bb92008-08-26 08:29:31 +00001233 }
Daniel Dunbar41071de2008-08-15 23:26:23 +00001234 case Decl::ObjCMethod: {
1235 ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(D);
1236 // If this is not a prototype, emit the body.
1237 if (OMD->getBody())
1238 CodeGenFunction(*this).GenerateObjCMethod(OMD);
1239 break;
1240 }
Daniel Dunbar41071de2008-08-15 23:26:23 +00001241 case Decl::ObjCCompatibleAlias:
Fariborz Jahanian305c6582009-01-08 01:10:55 +00001242 // compatibility-alias is a directive and has no code gen.
Daniel Dunbar41071de2008-08-15 23:26:23 +00001243 break;
1244
1245 case Decl::LinkageSpec: {
1246 LinkageSpecDecl *LSD = cast<LinkageSpecDecl>(D);
1247 if (LSD->getLanguage() == LinkageSpecDecl::lang_cxx)
Daniel Dunbar488e9932008-08-16 00:56:44 +00001248 ErrorUnsupported(LSD, "linkage spec");
Daniel Dunbar41071de2008-08-15 23:26:23 +00001249 // FIXME: implement C++ linkage, C linkage works mostly by C
1250 // language reuse already.
1251 break;
1252 }
1253
1254 case Decl::FileScopeAsm: {
1255 FileScopeAsmDecl *AD = cast<FileScopeAsmDecl>(D);
1256 std::string AsmString(AD->getAsmString()->getStrData(),
1257 AD->getAsmString()->getByteLength());
1258
1259 const std::string &S = getModule().getModuleInlineAsm();
1260 if (S.empty())
1261 getModule().setModuleInlineAsm(AsmString);
1262 else
1263 getModule().setModuleInlineAsm(S + '\n' + AsmString);
1264 break;
1265 }
1266
1267 default:
1268 // Make sure we handled everything we should, every other kind is
1269 // a non-top-level decl. FIXME: Would be nice to have an
1270 // isTopLevelDeclKind function. Need to recode Decl::Kind to do
1271 // that easily.
1272 assert(isa<TypeDecl>(D) && "Unsupported decl kind");
1273 }
1274}