xref: /llvm-project/clang/lib/CodeGen/CodeGenModule.cpp (revision 3bfce1887fe6d1a085030f75c3f05a44345e6e1a)
1 //===--- CodeGenModule.cpp - Emit LLVM Code from ASTs for a Module --------===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This coordinates the per-module state used while generating code.
11 //
12 //===----------------------------------------------------------------------===//
13 
14 #include "CGDebugInfo.h"
15 #include "CodeGenModule.h"
16 #include "CodeGenFunction.h"
17 #include "CGCall.h"
18 #include "CGObjCRuntime.h"
19 #include "Mangle.h"
20 #include "clang/AST/ASTContext.h"
21 #include "clang/AST/DeclObjC.h"
22 #include "clang/AST/DeclCXX.h"
23 #include "clang/Basic/Diagnostic.h"
24 #include "clang/Basic/SourceManager.h"
25 #include "clang/Basic/TargetInfo.h"
26 #include "llvm/CallingConv.h"
27 #include "llvm/Module.h"
28 #include "llvm/Intrinsics.h"
29 #include "llvm/Target/TargetData.h"
30 using namespace clang;
31 using namespace CodeGen;
32 
33 
34 CodeGenModule::CodeGenModule(ASTContext &C, const LangOptions &LO,
35                              llvm::Module &M, const llvm::TargetData &TD,
36                              Diagnostic &diags, bool GenerateDebugInfo)
37   : BlockModule(C, M, TD, Types, *this), Context(C), Features(LO), TheModule(M),
38     TheTargetData(TD), Diags(diags), Types(C, M, TD), Runtime(0),
39     MemCpyFn(0), MemMoveFn(0), MemSetFn(0), CFConstantStringClassRef(0) {
40 
41   if (!Features.ObjC1)
42     Runtime = 0;
43   else if (!Features.NeXTRuntime)
44     Runtime = CreateGNUObjCRuntime(*this);
45   else if (Features.ObjCNonFragileABI)
46     Runtime = CreateMacNonFragileABIObjCRuntime(*this);
47   else
48     Runtime = CreateMacObjCRuntime(*this);
49 
50   // If debug info generation is enabled, create the CGDebugInfo object.
51   DebugInfo = GenerateDebugInfo ? new CGDebugInfo(this) : 0;
52 }
53 
54 CodeGenModule::~CodeGenModule() {
55   delete Runtime;
56   delete DebugInfo;
57 }
58 
59 void CodeGenModule::Release() {
60   EmitDeferred();
61   EmitAliases();
62   if (Runtime)
63     if (llvm::Function *ObjCInitFunction = Runtime->ModuleInitFunction())
64       AddGlobalCtor(ObjCInitFunction);
65   EmitCtorList(GlobalCtors, "llvm.global_ctors");
66   EmitCtorList(GlobalDtors, "llvm.global_dtors");
67   EmitAnnotations();
68   EmitLLVMUsed();
69   BindRuntimeGlobals();
70 }
71 
72 void CodeGenModule::BindRuntimeGlobals() {
73   // Deal with protecting runtime function names.
74   for (unsigned i = 0, e = RuntimeGlobals.size(); i < e; ++i) {
75     llvm::GlobalValue *GV = RuntimeGlobals[i].first;
76     const std::string &Name = RuntimeGlobals[i].second;
77 
78     // Discard unused runtime declarations.
79     if (GV->isDeclaration() && GV->use_empty()) {
80       GV->eraseFromParent();
81       continue;
82     }
83 
84     // See if there is a conflict against a function by setting the name and
85     // seeing if we got the desired name.
86     GV->setName(Name);
87     if (GV->isName(Name.c_str()))
88       continue;  // Yep, it worked!
89 
90     GV->setName(""); // Zap the bogus name until we work out the conflict.
91     llvm::GlobalValue *Conflict = TheModule.getNamedValue(Name);
92     assert(Conflict && "Must have conflicted!");
93 
94     // Decide which version to take. If the conflict is a definition
95     // we are forced to take that, otherwise assume the runtime
96     // knows best.
97 
98     // FIXME: This will fail phenomenally when the conflict is the
99     // wrong type of value. Just bail on it for now. This should
100     // really reuse something inside the LLVM Linker code.
101     assert(GV->getValueID() == Conflict->getValueID() &&
102            "Unable to resolve conflict between globals of different types.");
103     if (!Conflict->isDeclaration()) {
104       llvm::Value *Casted =
105         llvm::ConstantExpr::getBitCast(Conflict, GV->getType());
106       GV->replaceAllUsesWith(Casted);
107       GV->eraseFromParent();
108     } else {
109       GV->takeName(Conflict);
110       llvm::Value *Casted =
111         llvm::ConstantExpr::getBitCast(GV, Conflict->getType());
112       Conflict->replaceAllUsesWith(Casted);
113       Conflict->eraseFromParent();
114     }
115   }
116 }
117 
118 /// ErrorUnsupported - Print out an error that codegen doesn't support the
119 /// specified stmt yet.
120 void CodeGenModule::ErrorUnsupported(const Stmt *S, const char *Type,
121                                      bool OmitOnError) {
122   if (OmitOnError && getDiags().hasErrorOccurred())
123     return;
124   unsigned DiagID = getDiags().getCustomDiagID(Diagnostic::Error,
125                                                "cannot compile this %0 yet");
126   std::string Msg = Type;
127   getDiags().Report(Context.getFullLoc(S->getLocStart()), DiagID)
128     << Msg << S->getSourceRange();
129 }
130 
131 /// ErrorUnsupported - Print out an error that codegen doesn't support the
132 /// specified decl yet.
133 void CodeGenModule::ErrorUnsupported(const Decl *D, const char *Type,
134                                      bool OmitOnError) {
135   if (OmitOnError && getDiags().hasErrorOccurred())
136     return;
137   unsigned DiagID = getDiags().getCustomDiagID(Diagnostic::Error,
138                                                "cannot compile this %0 yet");
139   std::string Msg = Type;
140   getDiags().Report(Context.getFullLoc(D->getLocation()), DiagID) << Msg;
141 }
142 
143 /// setGlobalVisibility - Set the visibility for the given LLVM
144 /// GlobalValue according to the given clang AST visibility value.
145 static void setGlobalVisibility(llvm::GlobalValue *GV,
146                                 VisibilityAttr::VisibilityTypes Vis) {
147   switch (Vis) {
148   default: assert(0 && "Unknown visibility!");
149   case VisibilityAttr::DefaultVisibility:
150     GV->setVisibility(llvm::GlobalValue::DefaultVisibility);
151     break;
152   case VisibilityAttr::HiddenVisibility:
153     GV->setVisibility(llvm::GlobalValue::HiddenVisibility);
154     break;
155   case VisibilityAttr::ProtectedVisibility:
156     GV->setVisibility(llvm::GlobalValue::ProtectedVisibility);
157     break;
158   }
159 }
160 
161 /// \brief Retrieves the mangled name for the given declaration.
162 ///
163 /// If the given declaration requires a mangled name, returns an
164 /// const char* containing the mangled name.  Otherwise, returns
165 /// the unmangled name.
166 ///
167 /// FIXME: Returning an IdentifierInfo* here is a total hack. We
168 /// really need some kind of string abstraction that either stores a
169 /// mangled name or stores an IdentifierInfo*. This will require
170 /// changes to the GlobalDeclMap, too. (I disagree, I think what we
171 /// actually need is for Sema to provide some notion of which Decls
172 /// refer to the same semantic decl. We shouldn't need to mangle the
173 /// names and see what comes out the same to figure this out. - DWD)
174 ///
175 /// FIXME: Performance here is going to be terribly until we start
176 /// caching mangled names. However, we should fix the problem above
177 /// first.
178 const char *CodeGenModule::getMangledName(const NamedDecl *ND) {
179   // In C, functions with no attributes never need to be mangled. Fastpath them.
180   if (!getLangOptions().CPlusPlus && !ND->hasAttrs()) {
181     assert(ND->getIdentifier() && "Attempt to mangle unnamed decl.");
182     return ND->getNameAsCString();
183   }
184 
185   llvm::SmallString<256> Name;
186   llvm::raw_svector_ostream Out(Name);
187   if (!mangleName(ND, Context, Out)) {
188     assert(ND->getIdentifier() && "Attempt to mangle unnamed decl.");
189     return ND->getNameAsCString();
190   }
191 
192   Name += '\0';
193   return MangledNames.GetOrCreateValue(Name.begin(), Name.end()).getKeyData();
194 }
195 
196 /// AddGlobalCtor - Add a function to the list that will be called before
197 /// main() runs.
198 void CodeGenModule::AddGlobalCtor(llvm::Function * Ctor, int Priority) {
199   // FIXME: Type coercion of void()* types.
200   GlobalCtors.push_back(std::make_pair(Ctor, Priority));
201 }
202 
203 /// AddGlobalDtor - Add a function to the list that will be called
204 /// when the module is unloaded.
205 void CodeGenModule::AddGlobalDtor(llvm::Function * Dtor, int Priority) {
206   // FIXME: Type coercion of void()* types.
207   GlobalDtors.push_back(std::make_pair(Dtor, Priority));
208 }
209 
210 void CodeGenModule::EmitCtorList(const CtorList &Fns, const char *GlobalName) {
211   // Ctor function type is void()*.
212   llvm::FunctionType* CtorFTy =
213     llvm::FunctionType::get(llvm::Type::VoidTy,
214                             std::vector<const llvm::Type*>(),
215                             false);
216   llvm::Type *CtorPFTy = llvm::PointerType::getUnqual(CtorFTy);
217 
218   // Get the type of a ctor entry, { i32, void ()* }.
219   llvm::StructType* CtorStructTy =
220     llvm::StructType::get(llvm::Type::Int32Ty,
221                           llvm::PointerType::getUnqual(CtorFTy), NULL);
222 
223   // Construct the constructor and destructor arrays.
224   std::vector<llvm::Constant*> Ctors;
225   for (CtorList::const_iterator I = Fns.begin(), E = Fns.end(); I != E; ++I) {
226     std::vector<llvm::Constant*> S;
227     S.push_back(llvm::ConstantInt::get(llvm::Type::Int32Ty, I->second, false));
228     S.push_back(llvm::ConstantExpr::getBitCast(I->first, CtorPFTy));
229     Ctors.push_back(llvm::ConstantStruct::get(CtorStructTy, S));
230   }
231 
232   if (!Ctors.empty()) {
233     llvm::ArrayType *AT = llvm::ArrayType::get(CtorStructTy, Ctors.size());
234     new llvm::GlobalVariable(AT, false,
235                              llvm::GlobalValue::AppendingLinkage,
236                              llvm::ConstantArray::get(AT, Ctors),
237                              GlobalName,
238                              &TheModule);
239   }
240 }
241 
242 void CodeGenModule::EmitAnnotations() {
243   if (Annotations.empty())
244     return;
245 
246   // Create a new global variable for the ConstantStruct in the Module.
247   llvm::Constant *Array =
248   llvm::ConstantArray::get(llvm::ArrayType::get(Annotations[0]->getType(),
249                                                 Annotations.size()),
250                            Annotations);
251   llvm::GlobalValue *gv =
252   new llvm::GlobalVariable(Array->getType(), false,
253                            llvm::GlobalValue::AppendingLinkage, Array,
254                            "llvm.global.annotations", &TheModule);
255   gv->setSection("llvm.metadata");
256 }
257 
258 void CodeGenModule::SetGlobalValueAttributes(const Decl *D,
259                                              bool IsInternal,
260                                              bool IsInline,
261                                              llvm::GlobalValue *GV,
262                                              bool ForDefinition) {
263   // FIXME: Set up linkage and many other things.  Note, this is a simple
264   // approximation of what we really want.
265   if (!ForDefinition) {
266     // Only a few attributes are set on declarations.
267     if (D->getAttr<DLLImportAttr>()) {
268       // The dllimport attribute is overridden by a subsequent declaration as
269       // dllexport.
270       if (!D->getAttr<DLLExportAttr>()) {
271         // dllimport attribute can be applied only to function decls, not to
272         // definitions.
273         if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
274           if (!FD->getBody())
275             GV->setLinkage(llvm::Function::DLLImportLinkage);
276         } else
277           GV->setLinkage(llvm::Function::DLLImportLinkage);
278       }
279     } else if (D->getAttr<WeakAttr>() ||
280                D->getAttr<WeakImportAttr>()) {
281       // "extern_weak" is overloaded in LLVM; we probably should have
282       // separate linkage types for this.
283       GV->setLinkage(llvm::Function::ExternalWeakLinkage);
284    }
285   } else {
286     if (IsInternal) {
287       GV->setLinkage(llvm::Function::InternalLinkage);
288     } else {
289       if (D->getAttr<DLLExportAttr>()) {
290         if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
291           // The dllexport attribute is ignored for undefined symbols.
292           if (FD->getBody())
293             GV->setLinkage(llvm::Function::DLLExportLinkage);
294         } else
295           GV->setLinkage(llvm::Function::DLLExportLinkage);
296       } else if (D->getAttr<WeakAttr>() || D->getAttr<WeakImportAttr>() ||
297                  IsInline)
298         GV->setLinkage(llvm::Function::WeakAnyLinkage);
299     }
300   }
301 
302   // FIXME: Figure out the relative priority of the attribute,
303   // -fvisibility, and private_extern.
304   if (const VisibilityAttr *attr = D->getAttr<VisibilityAttr>())
305     setGlobalVisibility(GV, attr->getVisibility());
306   // FIXME: else handle -fvisibility
307 
308   // Prefaced with special LLVM marker to indicate that the name
309   // should not be munged.
310   if (const AsmLabelAttr *ALA = D->getAttr<AsmLabelAttr>())
311     GV->setName("\01" + ALA->getLabel());
312 
313   if (const SectionAttr *SA = D->getAttr<SectionAttr>())
314     GV->setSection(SA->getName());
315 
316   // Only add to llvm.used when we see a definition, otherwise we
317   // might add multiple times or risk the value being replaced by a
318   // subsequent RAUW.
319   if (ForDefinition) {
320     if (D->getAttr<UsedAttr>())
321       AddUsedGlobal(GV);
322   }
323 }
324 
325 void CodeGenModule::SetFunctionAttributes(const Decl *D,
326                                           const CGFunctionInfo &Info,
327                                           llvm::Function *F) {
328   AttributeListType AttributeList;
329   ConstructAttributeList(Info, D, AttributeList);
330 
331   F->setAttributes(llvm::AttrListPtr::get(AttributeList.begin(),
332                                         AttributeList.size()));
333 
334   // Set the appropriate calling convention for the Function.
335   if (D->getAttr<FastCallAttr>())
336     F->setCallingConv(llvm::CallingConv::X86_FastCall);
337 
338   if (D->getAttr<StdCallAttr>())
339     F->setCallingConv(llvm::CallingConv::X86_StdCall);
340 }
341 
342 /// SetFunctionAttributesForDefinition - Set function attributes
343 /// specific to a function definition.
344 void CodeGenModule::SetFunctionAttributesForDefinition(const Decl *D,
345                                                        llvm::Function *F) {
346   if (isa<ObjCMethodDecl>(D)) {
347     SetGlobalValueAttributes(D, true, false, F, true);
348   } else {
349     const FunctionDecl *FD = cast<FunctionDecl>(D);
350     SetGlobalValueAttributes(FD, FD->getStorageClass() == FunctionDecl::Static,
351                              FD->isInline(), F, true);
352   }
353 
354   if (!Features.Exceptions && !Features.ObjCNonFragileABI)
355     F->addFnAttr(llvm::Attribute::NoUnwind);
356 
357   if (D->getAttr<AlwaysInlineAttr>())
358     F->addFnAttr(llvm::Attribute::AlwaysInline);
359 
360   if (D->getAttr<NoinlineAttr>())
361     F->addFnAttr(llvm::Attribute::NoInline);
362 }
363 
364 void CodeGenModule::SetMethodAttributes(const ObjCMethodDecl *MD,
365                                         llvm::Function *F) {
366   SetFunctionAttributes(MD, getTypes().getFunctionInfo(MD), F);
367 
368   SetFunctionAttributesForDefinition(MD, F);
369 }
370 
371 void CodeGenModule::SetFunctionAttributes(const FunctionDecl *FD,
372                                           llvm::Function *F) {
373   SetFunctionAttributes(FD, getTypes().getFunctionInfo(FD), F);
374 
375   SetGlobalValueAttributes(FD, FD->getStorageClass() == FunctionDecl::Static,
376                            FD->isInline(), F, false);
377 }
378 
379 
380 void CodeGenModule::EmitAliases() {
381   for (unsigned i = 0, e = Aliases.size(); i != e; ++i) {
382     const ValueDecl *D = Aliases[i];
383     const AliasAttr *AA = D->getAttr<AliasAttr>();
384 
385     // This is something of a hack, if the FunctionDecl got overridden
386     // then its attributes will be moved to the new declaration. In
387     // this case the current decl has no alias attribute, but we will
388     // eventually see it.
389     if (!AA)
390       continue;
391 
392     const std::string& aliaseeName = AA->getAliasee();
393     llvm::GlobalValue *aliasee = getModule().getNamedValue(aliaseeName);
394     if (!aliasee) {
395       // FIXME: This isn't unsupported, this is just an error, which
396       // sema should catch, but...
397       ErrorUnsupported(D, "alias referencing a missing function");
398       continue;
399     }
400 
401     llvm::GlobalValue *GA =
402       new llvm::GlobalAlias(aliasee->getType(),
403                             llvm::Function::ExternalLinkage,
404                             getMangledName(D), aliasee,
405                             &getModule());
406 
407     llvm::GlobalValue *&Entry = GlobalDeclMap[getMangledName(D)];
408     if (Entry) {
409       // If we created a dummy function for this then replace it.
410       GA->takeName(Entry);
411 
412       llvm::Value *Casted =
413         llvm::ConstantExpr::getBitCast(GA, Entry->getType());
414       Entry->replaceAllUsesWith(Casted);
415       Entry->eraseFromParent();
416 
417       Entry = GA;
418     }
419 
420     // Alias should never be internal or inline.
421     SetGlobalValueAttributes(D, false, false, GA, true);
422   }
423 }
424 
425 void CodeGenModule::AddUsedGlobal(llvm::GlobalValue *GV) {
426   assert(!GV->isDeclaration() &&
427          "Only globals with definition can force usage.");
428   llvm::Type *i8PTy = llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
429   LLVMUsed.push_back(llvm::ConstantExpr::getBitCast(GV, i8PTy));
430 }
431 
432 void CodeGenModule::EmitLLVMUsed() {
433   // Don't create llvm.used if there is no need.
434   if (LLVMUsed.empty())
435     return;
436 
437   llvm::ArrayType *ATy = llvm::ArrayType::get(LLVMUsed[0]->getType(),
438                                               LLVMUsed.size());
439   llvm::GlobalVariable *GV =
440     new llvm::GlobalVariable(ATy, false,
441                              llvm::GlobalValue::AppendingLinkage,
442                              llvm::ConstantArray::get(ATy, LLVMUsed),
443                              "llvm.used", &getModule());
444 
445   GV->setSection("llvm.metadata");
446 }
447 
448 void CodeGenModule::EmitDeferred() {
449   // Emit code for any deferred decl which was used.  Since a
450   // previously unused static decl may become used during the
451   // generation of code for a static function, iterate until no
452   // changes are made.
453   bool Changed;
454   do {
455     Changed = false;
456 
457     for (std::list<const ValueDecl*>::iterator i = DeferredDecls.begin(),
458          e = DeferredDecls.end(); i != e; ) {
459       const ValueDecl *D = *i;
460 
461       // Check if we have used a decl with the same name
462       // FIXME: The AST should have some sort of aggregate decls or
463       // global symbol map.
464       // FIXME: This is missing some important cases. For example, we
465       // need to check for uses in an alias.
466       if (!GlobalDeclMap.count(getMangledName(D))) {
467         ++i;
468         continue;
469       }
470 
471       // Emit the definition.
472       EmitGlobalDefinition(D);
473 
474       // Erase the used decl from the list.
475       i = DeferredDecls.erase(i);
476 
477       // Remember that we made a change.
478       Changed = true;
479     }
480   } while (Changed);
481 }
482 
483 /// EmitAnnotateAttr - Generate the llvm::ConstantStruct which contains the
484 /// annotation information for a given GlobalValue.  The annotation struct is
485 /// {i8 *, i8 *, i8 *, i32}.  The first field is a constant expression, the
486 /// GlobalValue being annotated.  The second field is the constant string
487 /// created from the AnnotateAttr's annotation.  The third field is a constant
488 /// string containing the name of the translation unit.  The fourth field is
489 /// the line number in the file of the annotated value declaration.
490 ///
491 /// FIXME: this does not unique the annotation string constants, as llvm-gcc
492 ///        appears to.
493 ///
494 llvm::Constant *CodeGenModule::EmitAnnotateAttr(llvm::GlobalValue *GV,
495                                                 const AnnotateAttr *AA,
496                                                 unsigned LineNo) {
497   llvm::Module *M = &getModule();
498 
499   // get [N x i8] constants for the annotation string, and the filename string
500   // which are the 2nd and 3rd elements of the global annotation structure.
501   const llvm::Type *SBP = llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
502   llvm::Constant *anno = llvm::ConstantArray::get(AA->getAnnotation(), true);
503   llvm::Constant *unit = llvm::ConstantArray::get(M->getModuleIdentifier(),
504                                                   true);
505 
506   // Get the two global values corresponding to the ConstantArrays we just
507   // created to hold the bytes of the strings.
508   llvm::GlobalValue *annoGV =
509   new llvm::GlobalVariable(anno->getType(), false,
510                            llvm::GlobalValue::InternalLinkage, anno,
511                            GV->getName() + ".str", M);
512   // translation unit name string, emitted into the llvm.metadata section.
513   llvm::GlobalValue *unitGV =
514   new llvm::GlobalVariable(unit->getType(), false,
515                            llvm::GlobalValue::InternalLinkage, unit, ".str", M);
516 
517   // Create the ConstantStruct that is the global annotion.
518   llvm::Constant *Fields[4] = {
519     llvm::ConstantExpr::getBitCast(GV, SBP),
520     llvm::ConstantExpr::getBitCast(annoGV, SBP),
521     llvm::ConstantExpr::getBitCast(unitGV, SBP),
522     llvm::ConstantInt::get(llvm::Type::Int32Ty, LineNo)
523   };
524   return llvm::ConstantStruct::get(Fields, 4, false);
525 }
526 
527 bool CodeGenModule::MayDeferGeneration(const ValueDecl *Global) {
528   // Never defer when EmitAllDecls is specified or the decl has
529   // attribute used.
530   if (Features.EmitAllDecls || Global->getAttr<UsedAttr>())
531     return false;
532 
533   if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(Global)) {
534     // Constructors and destructors should never be deferred.
535     if (FD->getAttr<ConstructorAttr>() || FD->getAttr<DestructorAttr>())
536       return false;
537 
538     // FIXME: What about inline, and/or extern inline?
539     if (FD->getStorageClass() != FunctionDecl::Static)
540       return false;
541   } else {
542     const VarDecl *VD = cast<VarDecl>(Global);
543     assert(VD->isFileVarDecl() && "Invalid decl");
544 
545     if (VD->getStorageClass() != VarDecl::Static)
546       return false;
547   }
548 
549   return true;
550 }
551 
552 void CodeGenModule::EmitGlobal(const ValueDecl *Global) {
553   // Aliases are deferred until code for everything else has been
554   // emitted.
555   if (Global->getAttr<AliasAttr>()) {
556     Aliases.push_back(Global);
557     return;
558   }
559 
560   if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(Global)) {
561     // Forward declarations are emitted lazily on first use.
562     if (!FD->isThisDeclarationADefinition())
563       return;
564   } else {
565     const VarDecl *VD = cast<VarDecl>(Global);
566     assert(VD->isFileVarDecl() && "Cannot emit local var decl as global.");
567 
568     // Forward declarations are emitted lazily on first use.
569     if (!VD->getInit() && VD->hasExternalStorage())
570       return;
571   }
572 
573   // Defer code generation when possible.
574   if (MayDeferGeneration(Global)) {
575     DeferredDecls.push_back(Global);
576     return;
577   }
578 
579   // Otherwise emit the definition.
580   EmitGlobalDefinition(Global);
581 }
582 
583 void CodeGenModule::EmitGlobalDefinition(const ValueDecl *D) {
584   if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
585     EmitGlobalFunctionDefinition(FD);
586   } else if (const VarDecl *VD = dyn_cast<VarDecl>(D)) {
587     EmitGlobalVarDefinition(VD);
588   } else {
589     assert(0 && "Invalid argument to EmitGlobalDefinition()");
590   }
591 }
592 
593  llvm::Constant *CodeGenModule::GetAddrOfGlobalVar(const VarDecl *D) {
594   assert(D->hasGlobalStorage() && "Not a global variable");
595 
596   QualType ASTTy = D->getType();
597   const llvm::Type *Ty = getTypes().ConvertTypeForMem(ASTTy);
598 
599   // Lookup the entry, lazily creating it if necessary.
600   llvm::GlobalValue *&Entry = GlobalDeclMap[getMangledName(D)];
601   if (Entry) {
602     const llvm::Type *PTy = llvm::PointerType::get(Ty, ASTTy.getAddressSpace());
603 
604     // Make sure the result is of the correct type.
605     if (Entry->getType() != PTy)
606       return llvm::ConstantExpr::getBitCast(Entry, PTy);
607     return Entry;
608   }
609 
610   llvm::GlobalVariable *GV =
611     new llvm::GlobalVariable(Ty, false,
612                              llvm::GlobalValue::ExternalLinkage,
613                              0, getMangledName(D), &getModule(),
614                              0, ASTTy.getAddressSpace());
615 
616   // Handle things which are present even on external declarations.
617 
618   // FIXME: This code is overly simple and should be merged with
619   // other global handling.
620 
621   GV->setConstant(D->getType().isConstant(Context));
622 
623   // FIXME: Merge with other attribute handling code.
624 
625   if (D->getStorageClass() == VarDecl::PrivateExtern)
626     setGlobalVisibility(GV, VisibilityAttr::HiddenVisibility);
627 
628   if (D->getAttr<WeakAttr>() || D->getAttr<WeakImportAttr>())
629     GV->setLinkage(llvm::GlobalValue::ExternalWeakLinkage);
630 
631   // FIXME: This should be handled by the mangler!
632   if (const AsmLabelAttr *ALA = D->getAttr<AsmLabelAttr>()) {
633     // Prefaced with special LLVM marker to indicate that the name
634     // should not be munged.
635     GV->setName("\01" + ALA->getLabel());
636   }
637   return Entry = GV;
638 }
639 
640 void CodeGenModule::EmitGlobalVarDefinition(const VarDecl *D) {
641   llvm::Constant *Init = 0;
642   QualType ASTTy = D->getType();
643   const llvm::Type *VarTy = getTypes().ConvertTypeForMem(ASTTy);
644 
645   if (D->getInit() == 0) {
646     // This is a tentative definition; tentative definitions are
647     // implicitly initialized with { 0 }
648     const llvm::Type* InitTy;
649     if (ASTTy->isIncompleteArrayType()) {
650       // An incomplete array is normally [ TYPE x 0 ], but we need
651       // to fix it to [ TYPE x 1 ].
652       const llvm::ArrayType* ATy = cast<llvm::ArrayType>(VarTy);
653       InitTy = llvm::ArrayType::get(ATy->getElementType(), 1);
654     } else {
655       InitTy = VarTy;
656     }
657     Init = llvm::Constant::getNullValue(InitTy);
658   } else {
659     Init = EmitConstantExpr(D->getInit());
660     if (!Init) {
661       ErrorUnsupported(D, "static initializer");
662       QualType T = D->getInit()->getType();
663       Init = llvm::UndefValue::get(getTypes().ConvertType(T));
664     }
665   }
666   const llvm::Type* InitType = Init->getType();
667 
668   llvm::GlobalValue *&Entry = GlobalDeclMap[getMangledName(D)];
669   llvm::GlobalVariable *GV = cast_or_null<llvm::GlobalVariable>(Entry);
670 
671   if (!GV) {
672     GV = new llvm::GlobalVariable(InitType, false,
673                                   llvm::GlobalValue::ExternalLinkage,
674                                   0, getMangledName(D),
675                                   &getModule(), 0, ASTTy.getAddressSpace());
676 
677   } else if (GV->hasInitializer() && !GV->getInitializer()->isNullValue()) {
678     // If we already have this global and it has an initializer, then
679     // we are in the rare situation where we emitted the defining
680     // declaration of the global and are now being asked to emit a
681     // definition which would be common. This occurs, for example, in
682     // the following situation because statics can be emitted out of
683     // order:
684     //
685     //  static int x;
686     //  static int *y = &x;
687     //  static int x = 10;
688     //  int **z = &y;
689     //
690     // Bail here so we don't blow away the definition. Note that if we
691     // can't distinguish here if we emitted a definition with a null
692     // initializer, but this case is safe.
693     assert(!D->getInit() && "Emitting multiple definitions of a decl!");
694     return;
695 
696   } else if (GV->getType() !=
697              llvm::PointerType::get(InitType, ASTTy.getAddressSpace())) {
698     // We have a definition after a prototype with the wrong type.
699     // We must make a new GlobalVariable* and update everything that used OldGV
700     // (a declaration or tentative definition) with the new GlobalVariable*
701     // (which will be a definition).
702     //
703     // This happens if there is a prototype for a global (e.g. "extern int x[];")
704     // and then a definition of a different type (e.g. "int x[10];"). This also
705     // happens when an initializer has a different type from the type of the
706     // global (this happens with unions).
707     //
708     // FIXME: This also ends up happening if there's a definition followed by
709     // a tentative definition!  (Although Sema rejects that construct
710     // at the moment.)
711 
712     // Save the old global
713     llvm::GlobalVariable *OldGV = GV;
714 
715     // Make a new global with the correct type
716     GV = new llvm::GlobalVariable(InitType, false,
717                                   llvm::GlobalValue::ExternalLinkage,
718                                   0, getMangledName(D),
719                                   &getModule(), 0, ASTTy.getAddressSpace());
720     // Steal the name of the old global
721     GV->takeName(OldGV);
722 
723     // Replace all uses of the old global with the new global
724     llvm::Constant *NewPtrForOldDecl =
725         llvm::ConstantExpr::getBitCast(GV, OldGV->getType());
726     OldGV->replaceAllUsesWith(NewPtrForOldDecl);
727 
728     // Erase the old global, since it is no longer used.
729     OldGV->eraseFromParent();
730   }
731 
732   Entry = GV;
733 
734   if (const AnnotateAttr *AA = D->getAttr<AnnotateAttr>()) {
735     SourceManager &SM = Context.getSourceManager();
736     AddAnnotation(EmitAnnotateAttr(GV, AA,
737                               SM.getInstantiationLineNumber(D->getLocation())));
738   }
739 
740   GV->setInitializer(Init);
741   GV->setConstant(D->getType().isConstant(Context));
742   GV->setAlignment(getContext().getDeclAlignInBytes(D));
743 
744   if (const VisibilityAttr *attr = D->getAttr<VisibilityAttr>())
745     setGlobalVisibility(GV, attr->getVisibility());
746   // FIXME: else handle -fvisibility
747 
748   if (const AsmLabelAttr *ALA = D->getAttr<AsmLabelAttr>()) {
749     // Prefaced with special LLVM marker to indicate that the name
750     // should not be munged.
751     GV->setName("\01" + ALA->getLabel());
752   }
753 
754   // Set the llvm linkage type as appropriate.
755   if (D->getStorageClass() == VarDecl::Static)
756     GV->setLinkage(llvm::Function::InternalLinkage);
757   else if (D->getAttr<DLLImportAttr>())
758     GV->setLinkage(llvm::Function::DLLImportLinkage);
759   else if (D->getAttr<DLLExportAttr>())
760     GV->setLinkage(llvm::Function::DLLExportLinkage);
761   else if (D->getAttr<WeakAttr>() || D->getAttr<WeakImportAttr>())
762     GV->setLinkage(llvm::GlobalVariable::WeakAnyLinkage);
763   else {
764     // FIXME: This isn't right.  This should handle common linkage and other
765     // stuff.
766     switch (D->getStorageClass()) {
767     case VarDecl::Static: assert(0 && "This case handled above");
768     case VarDecl::Auto:
769     case VarDecl::Register:
770       assert(0 && "Can't have auto or register globals");
771     case VarDecl::None:
772       if (!D->getInit())
773         GV->setLinkage(llvm::GlobalVariable::CommonLinkage);
774       else
775         GV->setLinkage(llvm::GlobalVariable::ExternalLinkage);
776       break;
777     case VarDecl::Extern:
778       // FIXME: common
779       break;
780 
781     case VarDecl::PrivateExtern:
782       GV->setVisibility(llvm::GlobalValue::HiddenVisibility);
783       // FIXME: common
784       break;
785     }
786   }
787 
788   if (const SectionAttr *SA = D->getAttr<SectionAttr>())
789     GV->setSection(SA->getName());
790 
791   if (D->getAttr<UsedAttr>())
792     AddUsedGlobal(GV);
793 
794   // Emit global variable debug information.
795   CGDebugInfo *DI = getDebugInfo();
796   if(DI) {
797     DI->setLocation(D->getLocation());
798     DI->EmitGlobalVariable(GV, D);
799   }
800 }
801 
802 llvm::GlobalValue *
803 CodeGenModule::EmitForwardFunctionDefinition(const FunctionDecl *D,
804                                              const llvm::Type *Ty) {
805   bool DoSetAttributes = true;
806   if (!Ty) {
807     Ty = getTypes().ConvertType(D->getType());
808     if (!isa<llvm::FunctionType>(Ty)) {
809       // This function doesn't have a complete type (for example, the return
810       // type is an incomplete struct). Use a fake type instead, and make
811       // sure not to try to set attributes.
812       Ty = llvm::FunctionType::get(llvm::Type::VoidTy,
813                                    std::vector<const llvm::Type*>(), false);
814       DoSetAttributes = false;
815     }
816   }
817   llvm::Function *F = llvm::Function::Create(cast<llvm::FunctionType>(Ty),
818                                              llvm::Function::ExternalLinkage,
819                                              getMangledName(D),
820                                              &getModule());
821   if (DoSetAttributes)
822     SetFunctionAttributes(D, F);
823   return F;
824 }
825 
826 llvm::Constant *CodeGenModule::GetAddrOfFunction(const FunctionDecl *D) {
827   QualType ASTTy = D->getType();
828   const llvm::Type *Ty = getTypes().ConvertTypeForMem(ASTTy);
829   const llvm::Type *PTy = llvm::PointerType::get(Ty, ASTTy.getAddressSpace());
830 
831   // Lookup the entry, lazily creating it if necessary.
832   llvm::GlobalValue *&Entry = GlobalDeclMap[getMangledName(D)];
833   if (!Entry)
834     return Entry = EmitForwardFunctionDefinition(D, 0);
835 
836   if (Entry->getType() != PTy)
837     return llvm::ConstantExpr::getBitCast(Entry, PTy);
838   return Entry;
839 }
840 
841 void CodeGenModule::EmitGlobalFunctionDefinition(const FunctionDecl *D) {
842   const llvm::FunctionType *Ty =
843     cast<llvm::FunctionType>(getTypes().ConvertType(D->getType()));
844 
845   // As a special case, make sure that definitions of K&R function
846   // "type foo()" aren't declared as varargs (which forces the backend
847   // to do unnecessary work).
848   if (Ty->isVarArg() && Ty->getNumParams() == 0 && Ty->isVarArg())
849     Ty = llvm::FunctionType::get(Ty->getReturnType(),
850                                  std::vector<const llvm::Type*>(),
851                                  false);
852 
853   llvm::GlobalValue *&Entry = GlobalDeclMap[getMangledName(D)];
854   if (!Entry) {
855     Entry = EmitForwardFunctionDefinition(D, Ty);
856   } else {
857     // If the types mismatch then we have to rewrite the definition.
858     if (Entry->getType() != llvm::PointerType::getUnqual(Ty)) {
859       // Otherwise, we have a definition after a prototype with the
860       // wrong type.  F is the Function* for the one with the wrong
861       // type, we must make a new Function* and update everything that
862       // used F (a declaration) with the new Function* (which will be
863       // a definition).
864       //
865       // This happens if there is a prototype for a function
866       // (e.g. "int f()") and then a definition of a different type
867       // (e.g. "int f(int x)").  Start by making a new function of the
868       // correct type, RAUW, then steal the name.
869       llvm::GlobalValue *NewFn = EmitForwardFunctionDefinition(D, Ty);
870       NewFn->takeName(Entry);
871 
872       // Replace uses of F with the Function we will endow with a body.
873       llvm::Constant *NewPtrForOldDecl =
874         llvm::ConstantExpr::getBitCast(NewFn, Entry->getType());
875       Entry->replaceAllUsesWith(NewPtrForOldDecl);
876 
877       // Ok, delete the old function now, which is dead.
878       assert(Entry->isDeclaration() && "Shouldn't replace non-declaration");
879       Entry->eraseFromParent();
880 
881       Entry = NewFn;
882     }
883   }
884 
885   llvm::Function *Fn = cast<llvm::Function>(Entry);
886   CodeGenFunction(*this).GenerateCode(D, Fn);
887 
888   SetFunctionAttributesForDefinition(D, Fn);
889 
890   if (const ConstructorAttr *CA = D->getAttr<ConstructorAttr>()) {
891     AddGlobalCtor(Fn, CA->getPriority());
892   } else if (const DestructorAttr *DA = D->getAttr<DestructorAttr>()) {
893     AddGlobalDtor(Fn, DA->getPriority());
894   }
895 }
896 
897 llvm::Function *
898 CodeGenModule::CreateRuntimeFunction(const llvm::FunctionType *FTy,
899                                      const std::string &Name) {
900   llvm::Function *Fn = llvm::Function::Create(FTy,
901                                               llvm::Function::ExternalLinkage,
902                                               "", &TheModule);
903   RuntimeGlobals.push_back(std::make_pair(Fn, Name));
904   return Fn;
905 }
906 
907 llvm::GlobalVariable *
908 CodeGenModule::CreateRuntimeVariable(const llvm::Type *Ty,
909                                      const std::string &Name) {
910   llvm::GlobalVariable *GV =
911     new llvm::GlobalVariable(Ty, /*Constant=*/false,
912                              llvm::GlobalValue::ExternalLinkage,
913                              0, "", &TheModule);
914   RuntimeGlobals.push_back(std::make_pair(GV, Name));
915   return GV;
916 }
917 
918 void CodeGenModule::UpdateCompletedType(const TagDecl *TD) {
919   // Make sure that this type is translated.
920   Types.UpdateCompletedType(TD);
921 }
922 
923 
924 /// getBuiltinLibFunction
925 llvm::Value *CodeGenModule::getBuiltinLibFunction(unsigned BuiltinID) {
926   if (BuiltinID > BuiltinFunctions.size())
927     BuiltinFunctions.resize(BuiltinID);
928 
929   // Cache looked up functions.  Since builtin id #0 is invalid we don't reserve
930   // a slot for it.
931   assert(BuiltinID && "Invalid Builtin ID");
932   llvm::Value *&FunctionSlot = BuiltinFunctions[BuiltinID-1];
933   if (FunctionSlot)
934     return FunctionSlot;
935 
936   assert((Context.BuiltinInfo.isLibFunction(BuiltinID) ||
937           Context.BuiltinInfo.isPredefinedLibFunction(BuiltinID)) &&
938          "isn't a lib fn");
939 
940   // Get the name, skip over the __builtin_ prefix (if necessary).
941   const char *Name = Context.BuiltinInfo.GetName(BuiltinID);
942   if (Context.BuiltinInfo.isLibFunction(BuiltinID))
943     Name += 10;
944 
945   // Get the type for the builtin.
946   Builtin::Context::GetBuiltinTypeError Error;
947   QualType Type = Context.BuiltinInfo.GetBuiltinType(BuiltinID, Context, Error);
948   assert(Error == Builtin::Context::GE_None && "Can't get builtin type");
949 
950   const llvm::FunctionType *Ty =
951     cast<llvm::FunctionType>(getTypes().ConvertType(Type));
952 
953   // FIXME: This has a serious problem with code like this:
954   //  void abs() {}
955   //    ... __builtin_abs(x);
956   // The two versions of abs will collide.  The fix is for the builtin to win,
957   // and for the existing one to be turned into a constantexpr cast of the
958   // builtin.  In the case where the existing one is a static function, it
959   // should just be renamed.
960   if (llvm::Function *Existing = getModule().getFunction(Name)) {
961     if (Existing->getFunctionType() == Ty && Existing->hasExternalLinkage())
962       return FunctionSlot = Existing;
963     assert(Existing == 0 && "FIXME: Name collision");
964   }
965 
966   llvm::GlobalValue *&ExistingFn =
967     GlobalDeclMap[getContext().Idents.get(Name).getName()];
968   assert(!ExistingFn && "Asking for the same builtin multiple times?");
969 
970   // FIXME: param attributes for sext/zext etc.
971   return FunctionSlot = ExistingFn =
972     llvm::Function::Create(Ty, llvm::Function::ExternalLinkage, Name,
973                            &getModule());
974 }
975 
976 llvm::Function *CodeGenModule::getIntrinsic(unsigned IID,const llvm::Type **Tys,
977                                             unsigned NumTys) {
978   return llvm::Intrinsic::getDeclaration(&getModule(),
979                                          (llvm::Intrinsic::ID)IID, Tys, NumTys);
980 }
981 
982 llvm::Function *CodeGenModule::getMemCpyFn() {
983   if (MemCpyFn) return MemCpyFn;
984   const llvm::Type *IntPtr = TheTargetData.getIntPtrType();
985   return MemCpyFn = getIntrinsic(llvm::Intrinsic::memcpy, &IntPtr, 1);
986 }
987 
988 llvm::Function *CodeGenModule::getMemMoveFn() {
989   if (MemMoveFn) return MemMoveFn;
990   const llvm::Type *IntPtr = TheTargetData.getIntPtrType();
991   return MemMoveFn = getIntrinsic(llvm::Intrinsic::memmove, &IntPtr, 1);
992 }
993 
994 llvm::Function *CodeGenModule::getMemSetFn() {
995   if (MemSetFn) return MemSetFn;
996   const llvm::Type *IntPtr = TheTargetData.getIntPtrType();
997   return MemSetFn = getIntrinsic(llvm::Intrinsic::memset, &IntPtr, 1);
998 }
999 
1000 static void appendFieldAndPadding(CodeGenModule &CGM,
1001                                   std::vector<llvm::Constant*>& Fields,
1002                                   FieldDecl *FieldD, FieldDecl *NextFieldD,
1003                                   llvm::Constant* Field,
1004                                   RecordDecl* RD, const llvm::StructType *STy) {
1005   // Append the field.
1006   Fields.push_back(Field);
1007 
1008   int StructFieldNo = CGM.getTypes().getLLVMFieldNo(FieldD);
1009 
1010   int NextStructFieldNo;
1011   if (!NextFieldD) {
1012     NextStructFieldNo = STy->getNumElements();
1013   } else {
1014     NextStructFieldNo = CGM.getTypes().getLLVMFieldNo(NextFieldD);
1015   }
1016 
1017   // Append padding
1018   for (int i = StructFieldNo + 1; i < NextStructFieldNo; i++) {
1019     llvm::Constant *C =
1020       llvm::Constant::getNullValue(STy->getElementType(StructFieldNo + 1));
1021 
1022     Fields.push_back(C);
1023   }
1024 }
1025 
1026 // We still need to work out the details of handling UTF-16.
1027 // See: <rdr://2996215>
1028 llvm::Constant *CodeGenModule::
1029 GetAddrOfConstantCFString(const std::string &str) {
1030   llvm::StringMapEntry<llvm::Constant *> &Entry =
1031     CFConstantStringMap.GetOrCreateValue(&str[0], &str[str.length()]);
1032 
1033   if (Entry.getValue())
1034     return Entry.getValue();
1035 
1036   llvm::Constant *Zero = llvm::Constant::getNullValue(llvm::Type::Int32Ty);
1037   llvm::Constant *Zeros[] = { Zero, Zero };
1038 
1039   if (!CFConstantStringClassRef) {
1040     const llvm::Type *Ty = getTypes().ConvertType(getContext().IntTy);
1041     Ty = llvm::ArrayType::get(Ty, 0);
1042 
1043     // FIXME: This is fairly broken if
1044     // __CFConstantStringClassReference is already defined, in that it
1045     // will get renamed and the user will most likely see an opaque
1046     // error message. This is a general issue with relying on
1047     // particular names.
1048     llvm::GlobalVariable *GV =
1049       new llvm::GlobalVariable(Ty, false,
1050                                llvm::GlobalVariable::ExternalLinkage, 0,
1051                                "__CFConstantStringClassReference",
1052                                &getModule());
1053 
1054     // Decay array -> ptr
1055     CFConstantStringClassRef =
1056       llvm::ConstantExpr::getGetElementPtr(GV, Zeros, 2);
1057   }
1058 
1059   QualType CFTy = getContext().getCFConstantStringType();
1060   RecordDecl *CFRD = CFTy->getAsRecordType()->getDecl();
1061 
1062   const llvm::StructType *STy =
1063     cast<llvm::StructType>(getTypes().ConvertType(CFTy));
1064 
1065   std::vector<llvm::Constant*> Fields;
1066   RecordDecl::field_iterator Field = CFRD->field_begin();
1067 
1068   // Class pointer.
1069   FieldDecl *CurField = *Field++;
1070   FieldDecl *NextField = *Field++;
1071   appendFieldAndPadding(*this, Fields, CurField, NextField,
1072                         CFConstantStringClassRef, CFRD, STy);
1073 
1074   // Flags.
1075   CurField = NextField;
1076   NextField = *Field++;
1077   const llvm::Type *Ty = getTypes().ConvertType(getContext().UnsignedIntTy);
1078   appendFieldAndPadding(*this, Fields, CurField, NextField,
1079                         llvm::ConstantInt::get(Ty, 0x07C8), CFRD, STy);
1080 
1081   // String pointer.
1082   CurField = NextField;
1083   NextField = *Field++;
1084   llvm::Constant *C = llvm::ConstantArray::get(str);
1085   C = new llvm::GlobalVariable(C->getType(), true,
1086                                llvm::GlobalValue::InternalLinkage,
1087                                C, ".str", &getModule());
1088   appendFieldAndPadding(*this, Fields, CurField, NextField,
1089                         llvm::ConstantExpr::getGetElementPtr(C, Zeros, 2),
1090                         CFRD, STy);
1091 
1092   // String length.
1093   CurField = NextField;
1094   NextField = 0;
1095   Ty = getTypes().ConvertType(getContext().LongTy);
1096   appendFieldAndPadding(*this, Fields, CurField, NextField,
1097                         llvm::ConstantInt::get(Ty, str.length()), CFRD, STy);
1098 
1099   // The struct.
1100   C = llvm::ConstantStruct::get(STy, Fields);
1101   llvm::GlobalVariable *GV =
1102     new llvm::GlobalVariable(C->getType(), true,
1103                              llvm::GlobalVariable::InternalLinkage,
1104                              C, "", &getModule());
1105 
1106   GV->setSection("__DATA,__cfstring");
1107   Entry.setValue(GV);
1108 
1109   return GV;
1110 }
1111 
1112 /// GetStringForStringLiteral - Return the appropriate bytes for a
1113 /// string literal, properly padded to match the literal type.
1114 std::string CodeGenModule::GetStringForStringLiteral(const StringLiteral *E) {
1115   const char *StrData = E->getStrData();
1116   unsigned Len = E->getByteLength();
1117 
1118   const ConstantArrayType *CAT =
1119     getContext().getAsConstantArrayType(E->getType());
1120   assert(CAT && "String isn't pointer or array!");
1121 
1122   // Resize the string to the right size.
1123   std::string Str(StrData, StrData+Len);
1124   uint64_t RealLen = CAT->getSize().getZExtValue();
1125 
1126   if (E->isWide())
1127     RealLen *= getContext().Target.getWCharWidth()/8;
1128 
1129   Str.resize(RealLen, '\0');
1130 
1131   return Str;
1132 }
1133 
1134 /// GetAddrOfConstantStringFromLiteral - Return a pointer to a
1135 /// constant array for the given string literal.
1136 llvm::Constant *
1137 CodeGenModule::GetAddrOfConstantStringFromLiteral(const StringLiteral *S) {
1138   // FIXME: This can be more efficient.
1139   return GetAddrOfConstantString(GetStringForStringLiteral(S));
1140 }
1141 
1142 /// GetAddrOfConstantStringFromObjCEncode - Return a pointer to a constant
1143 /// array for the given ObjCEncodeExpr node.
1144 llvm::Constant *
1145 CodeGenModule::GetAddrOfConstantStringFromObjCEncode(const ObjCEncodeExpr *E) {
1146   std::string Str;
1147   getContext().getObjCEncodingForType(E->getEncodedType(), Str);
1148 
1149   return GetAddrOfConstantCString(Str);
1150 }
1151 
1152 
1153 /// GenerateWritableString -- Creates storage for a string literal.
1154 static llvm::Constant *GenerateStringLiteral(const std::string &str,
1155                                              bool constant,
1156                                              CodeGenModule &CGM,
1157                                              const char *GlobalName) {
1158   // Create Constant for this string literal. Don't add a '\0'.
1159   llvm::Constant *C = llvm::ConstantArray::get(str, false);
1160 
1161   // Create a global variable for this string
1162   return new llvm::GlobalVariable(C->getType(), constant,
1163                                   llvm::GlobalValue::InternalLinkage,
1164                                   C, GlobalName ? GlobalName : ".str",
1165                                   &CGM.getModule());
1166 }
1167 
1168 /// GetAddrOfConstantString - Returns a pointer to a character array
1169 /// containing the literal. This contents are exactly that of the
1170 /// given string, i.e. it will not be null terminated automatically;
1171 /// see GetAddrOfConstantCString. Note that whether the result is
1172 /// actually a pointer to an LLVM constant depends on
1173 /// Feature.WriteableStrings.
1174 ///
1175 /// The result has pointer to array type.
1176 llvm::Constant *CodeGenModule::GetAddrOfConstantString(const std::string &str,
1177                                                        const char *GlobalName) {
1178   // Don't share any string literals if writable-strings is turned on.
1179   if (Features.WritableStrings)
1180     return GenerateStringLiteral(str, false, *this, GlobalName);
1181 
1182   llvm::StringMapEntry<llvm::Constant *> &Entry =
1183   ConstantStringMap.GetOrCreateValue(&str[0], &str[str.length()]);
1184 
1185   if (Entry.getValue())
1186     return Entry.getValue();
1187 
1188   // Create a global variable for this.
1189   llvm::Constant *C = GenerateStringLiteral(str, true, *this, GlobalName);
1190   Entry.setValue(C);
1191   return C;
1192 }
1193 
1194 /// GetAddrOfConstantCString - Returns a pointer to a character
1195 /// array containing the literal and a terminating '\-'
1196 /// character. The result has pointer to array type.
1197 llvm::Constant *CodeGenModule::GetAddrOfConstantCString(const std::string &str,
1198                                                         const char *GlobalName){
1199   return GetAddrOfConstantString(str + '\0', GlobalName);
1200 }
1201 
1202 /// EmitObjCPropertyImplementations - Emit information for synthesized
1203 /// properties for an implementation.
1204 void CodeGenModule::EmitObjCPropertyImplementations(const
1205                                                     ObjCImplementationDecl *D) {
1206   for (ObjCImplementationDecl::propimpl_iterator i = D->propimpl_begin(),
1207          e = D->propimpl_end(); i != e; ++i) {
1208     ObjCPropertyImplDecl *PID = *i;
1209 
1210     // Dynamic is just for type-checking.
1211     if (PID->getPropertyImplementation() == ObjCPropertyImplDecl::Synthesize) {
1212       ObjCPropertyDecl *PD = PID->getPropertyDecl();
1213 
1214       // Determine which methods need to be implemented, some may have
1215       // been overridden. Note that ::isSynthesized is not the method
1216       // we want, that just indicates if the decl came from a
1217       // property. What we want to know is if the method is defined in
1218       // this implementation.
1219       if (!D->getInstanceMethod(PD->getGetterName()))
1220         CodeGenFunction(*this).GenerateObjCGetter(
1221                                  const_cast<ObjCImplementationDecl *>(D), PID);
1222       if (!PD->isReadOnly() &&
1223           !D->getInstanceMethod(PD->getSetterName()))
1224         CodeGenFunction(*this).GenerateObjCSetter(
1225                                  const_cast<ObjCImplementationDecl *>(D), PID);
1226     }
1227   }
1228 }
1229 
1230 /// EmitTopLevelDecl - Emit code for a single top level declaration.
1231 void CodeGenModule::EmitTopLevelDecl(Decl *D) {
1232   // If an error has occurred, stop code generation, but continue
1233   // parsing and semantic analysis (to ensure all warnings and errors
1234   // are emitted).
1235   if (Diags.hasErrorOccurred())
1236     return;
1237 
1238   switch (D->getKind()) {
1239   case Decl::Function:
1240   case Decl::Var:
1241     EmitGlobal(cast<ValueDecl>(D));
1242     break;
1243 
1244   case Decl::Namespace:
1245     ErrorUnsupported(D, "namespace");
1246     break;
1247 
1248     // Objective-C Decls
1249 
1250   // Forward declarations, no (immediate) code generation.
1251   case Decl::ObjCClass:
1252   case Decl::ObjCForwardProtocol:
1253     break;
1254 
1255   case Decl::ObjCProtocol:
1256   case Decl::ObjCCategory:
1257   case Decl::ObjCInterface: {
1258     ObjCContainerDecl *OCD = cast<ObjCContainerDecl>(D);
1259     for (ObjCContainerDecl::tuvar_iterator i = OCD->tuvar_begin(),
1260          e = OCD->tuvar_end(); i != e; ++i) {
1261         VarDecl *VD = *i;
1262         EmitGlobal(VD);
1263     }
1264     if (D->getKind() == Decl::ObjCProtocol)
1265       Runtime->GenerateProtocol(cast<ObjCProtocolDecl>(D));
1266     break;
1267   }
1268 
1269   case Decl::ObjCCategoryImpl:
1270     // Categories have properties but don't support synthesize so we
1271     // can ignore them here.
1272 
1273     Runtime->GenerateCategory(cast<ObjCCategoryImplDecl>(D));
1274     break;
1275 
1276   case Decl::ObjCImplementation: {
1277     ObjCImplementationDecl *OMD = cast<ObjCImplementationDecl>(D);
1278     EmitObjCPropertyImplementations(OMD);
1279     Runtime->GenerateClass(OMD);
1280     break;
1281   }
1282   case Decl::ObjCMethod: {
1283     ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(D);
1284     // If this is not a prototype, emit the body.
1285     if (OMD->getBody())
1286       CodeGenFunction(*this).GenerateObjCMethod(OMD);
1287     break;
1288   }
1289   case Decl::ObjCCompatibleAlias:
1290     // compatibility-alias is a directive and has no code gen.
1291     break;
1292 
1293   case Decl::LinkageSpec: {
1294     LinkageSpecDecl *LSD = cast<LinkageSpecDecl>(D);
1295     if (LSD->getLanguage() == LinkageSpecDecl::lang_cxx)
1296       ErrorUnsupported(LSD, "linkage spec");
1297     // FIXME: implement C++ linkage, C linkage works mostly by C
1298     // language reuse already.
1299     break;
1300   }
1301 
1302   case Decl::FileScopeAsm: {
1303     FileScopeAsmDecl *AD = cast<FileScopeAsmDecl>(D);
1304     std::string AsmString(AD->getAsmString()->getStrData(),
1305                           AD->getAsmString()->getByteLength());
1306 
1307     const std::string &S = getModule().getModuleInlineAsm();
1308     if (S.empty())
1309       getModule().setModuleInlineAsm(AsmString);
1310     else
1311       getModule().setModuleInlineAsm(S + '\n' + AsmString);
1312     break;
1313   }
1314 
1315   default:
1316     // Make sure we handled everything we should, every other kind is
1317     // a non-top-level decl.  FIXME: Would be nice to have an
1318     // isTopLevelDeclKind function. Need to recode Decl::Kind to do
1319     // that easily.
1320     assert(isa<TypeDecl>(D) && "Unsupported decl kind");
1321   }
1322 }
1323