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 "clang/AST/ASTContext.h"
20 #include "clang/AST/DeclObjC.h"
21 #include "clang/Basic/Diagnostic.h"
22 #include "clang/Basic/SourceManager.h"
23 #include "clang/Basic/TargetInfo.h"
24 #include "llvm/CallingConv.h"
25 #include "llvm/Module.h"
26 #include "llvm/Intrinsics.h"
27 #include "llvm/Target/TargetData.h"
28 #include "llvm/Analysis/Verifier.h"
29 using namespace clang;
30 using namespace CodeGen;
31 
32 
33 CodeGenModule::CodeGenModule(ASTContext &C, const LangOptions &LO,
34                              llvm::Module &M, const llvm::TargetData &TD,
35                              Diagnostic &diags, bool GenerateDebugInfo)
36   : Context(C), Features(LO), TheModule(M), TheTargetData(TD), Diags(diags),
37     Types(C, M, TD), Runtime(0), MemCpyFn(0), MemMoveFn(0), MemSetFn(0),
38     CFConstantStringClassRef(0) {
39 
40   if (Features.ObjC1) {
41     if (Features.NeXTRuntime) {
42       Runtime = CreateMacObjCRuntime(*this);
43     } else {
44       Runtime = CreateGNUObjCRuntime(*this);
45     }
46   }
47 
48   // If debug info generation is enabled, create the CGDebugInfo object.
49   DebugInfo = GenerateDebugInfo ? new CGDebugInfo(this) : 0;
50 }
51 
52 CodeGenModule::~CodeGenModule() {
53   delete Runtime;
54   delete DebugInfo;
55 }
56 
57 void CodeGenModule::Release() {
58   EmitStatics();
59   EmitAliases();
60   if (Runtime)
61     if (llvm::Function *ObjCInitFunction = Runtime->ModuleInitFunction())
62       AddGlobalCtor(ObjCInitFunction);
63   EmitCtorList(GlobalCtors, "llvm.global_ctors");
64   EmitCtorList(GlobalDtors, "llvm.global_dtors");
65   EmitAnnotations();
66   BindRuntimeFunctions();
67   // Run the verifier to check that the generated code is consistent.
68   if (verifyModule(TheModule, llvm::PrintMessageAction)) {
69     TheModule.dump();
70     assert(0 && "Module failed verification!");
71   }
72 }
73 
74 void CodeGenModule::BindRuntimeFunctions() {
75   // Deal with protecting runtime function names.
76   for (unsigned i = 0, e = RuntimeFunctions.size(); i < e; ++i) {
77     llvm::Function *Fn = RuntimeFunctions[i].first;
78     const std::string &Name = RuntimeFunctions[i].second;
79 
80     // See if there is a conflict against a function.
81     llvm::Function *Conflict = TheModule.getFunction(Name);
82     if (Conflict) {
83       // Decide which version to take. If the conflict is a definition
84       // we are forced to take that, otherwise assume the runtime
85       // knows best.
86       if (!Conflict->isDeclaration()) {
87         llvm::Value *Casted =
88           llvm::ConstantExpr::getBitCast(Conflict, Fn->getType());
89         Fn->replaceAllUsesWith(Casted);
90         Fn->eraseFromParent();
91       } else {
92         Fn->takeName(Conflict);
93         llvm::Value *Casted =
94           llvm::ConstantExpr::getBitCast(Fn, Conflict->getType());
95         Conflict->replaceAllUsesWith(Casted);
96         Conflict->eraseFromParent();
97       }
98     } else {
99       // FIXME: There still may be conflicts with aliases and
100       // variables.
101       Fn->setName(Name);
102     }
103   }
104 }
105 
106 /// ErrorUnsupported - Print out an error that codegen doesn't support the
107 /// specified stmt yet.
108 void CodeGenModule::ErrorUnsupported(const Stmt *S, const char *Type,
109                                      bool OmitOnError) {
110   if (OmitOnError && getDiags().hasErrorOccurred())
111     return;
112   unsigned DiagID = getDiags().getCustomDiagID(Diagnostic::Error,
113                                                "cannot codegen this %0 yet");
114   SourceRange Range = S->getSourceRange();
115   std::string Msg = Type;
116   getDiags().Report(Context.getFullLoc(S->getLocStart()), DiagID,
117                     &Msg, 1, &Range, 1);
118 }
119 
120 /// ErrorUnsupported - Print out an error that codegen doesn't support the
121 /// specified decl yet.
122 void CodeGenModule::ErrorUnsupported(const Decl *D, const char *Type,
123                                      bool OmitOnError) {
124   if (OmitOnError && getDiags().hasErrorOccurred())
125     return;
126   unsigned DiagID = getDiags().getCustomDiagID(Diagnostic::Error,
127                                                "cannot codegen this %0 yet");
128   std::string Msg = Type;
129   getDiags().Report(Context.getFullLoc(D->getLocation()), DiagID,
130                     &Msg, 1);
131 }
132 
133 /// setGlobalVisibility - Set the visibility for the given LLVM
134 /// GlobalValue according to the given clang AST visibility value.
135 static void setGlobalVisibility(llvm::GlobalValue *GV,
136                                 VisibilityAttr::VisibilityTypes Vis) {
137   switch (Vis) {
138   default: assert(0 && "Unknown visibility!");
139   case VisibilityAttr::DefaultVisibility:
140     GV->setVisibility(llvm::GlobalValue::DefaultVisibility);
141     break;
142   case VisibilityAttr::HiddenVisibility:
143     GV->setVisibility(llvm::GlobalValue::HiddenVisibility);
144     break;
145   case VisibilityAttr::ProtectedVisibility:
146     GV->setVisibility(llvm::GlobalValue::ProtectedVisibility);
147     break;
148   }
149 }
150 
151 /// AddGlobalCtor - Add a function to the list that will be called before
152 /// main() runs.
153 void CodeGenModule::AddGlobalCtor(llvm::Function * Ctor, int Priority) {
154   // TODO: Type coercion of void()* types.
155   GlobalCtors.push_back(std::make_pair(Ctor, Priority));
156 }
157 
158 /// AddGlobalDtor - Add a function to the list that will be called
159 /// when the module is unloaded.
160 void CodeGenModule::AddGlobalDtor(llvm::Function * Dtor, int Priority) {
161   // TODO: Type coercion of void()* types.
162   GlobalDtors.push_back(std::make_pair(Dtor, Priority));
163 }
164 
165 void CodeGenModule::EmitCtorList(const CtorList &Fns, const char *GlobalName) {
166   // Ctor function type is void()*.
167   llvm::FunctionType* CtorFTy =
168     llvm::FunctionType::get(llvm::Type::VoidTy,
169                             std::vector<const llvm::Type*>(),
170                             false);
171   llvm::Type *CtorPFTy = llvm::PointerType::getUnqual(CtorFTy);
172 
173   // Get the type of a ctor entry, { i32, void ()* }.
174   llvm::StructType* CtorStructTy =
175     llvm::StructType::get(llvm::Type::Int32Ty,
176                           llvm::PointerType::getUnqual(CtorFTy), NULL);
177 
178   // Construct the constructor and destructor arrays.
179   std::vector<llvm::Constant*> Ctors;
180   for (CtorList::const_iterator I = Fns.begin(), E = Fns.end(); I != E; ++I) {
181     std::vector<llvm::Constant*> S;
182     S.push_back(llvm::ConstantInt::get(llvm::Type::Int32Ty, I->second, false));
183     S.push_back(llvm::ConstantExpr::getBitCast(I->first, CtorPFTy));
184     Ctors.push_back(llvm::ConstantStruct::get(CtorStructTy, S));
185   }
186 
187   if (!Ctors.empty()) {
188     llvm::ArrayType *AT = llvm::ArrayType::get(CtorStructTy, Ctors.size());
189     new llvm::GlobalVariable(AT, false,
190                              llvm::GlobalValue::AppendingLinkage,
191                              llvm::ConstantArray::get(AT, Ctors),
192                              GlobalName,
193                              &TheModule);
194   }
195 }
196 
197 void CodeGenModule::EmitAnnotations() {
198   if (Annotations.empty())
199     return;
200 
201   // Create a new global variable for the ConstantStruct in the Module.
202   llvm::Constant *Array =
203   llvm::ConstantArray::get(llvm::ArrayType::get(Annotations[0]->getType(),
204                                                 Annotations.size()),
205                            Annotations);
206   llvm::GlobalValue *gv =
207   new llvm::GlobalVariable(Array->getType(), false,
208                            llvm::GlobalValue::AppendingLinkage, Array,
209                            "llvm.global.annotations", &TheModule);
210   gv->setSection("llvm.metadata");
211 }
212 
213 static void SetGlobalValueAttributes(const Decl *D,
214                                      bool IsInternal,
215                                      bool IsInline,
216                                      llvm::GlobalValue *GV,
217                                      bool ForDefinition) {
218   // TODO: Set up linkage and many other things.  Note, this is a simple
219   // approximation of what we really want.
220   if (!ForDefinition) {
221     // Only a few attributes are set on declarations.
222     if (D->getAttr<DLLImportAttr>())
223       GV->setLinkage(llvm::Function::DLLImportLinkage);
224   } else {
225     if (IsInternal) {
226       GV->setLinkage(llvm::Function::InternalLinkage);
227     } else {
228       if (D->getAttr<DLLImportAttr>())
229         GV->setLinkage(llvm::Function::DLLImportLinkage);
230       else if (D->getAttr<DLLExportAttr>())
231         GV->setLinkage(llvm::Function::DLLExportLinkage);
232       else if (D->getAttr<WeakAttr>() || IsInline)
233         GV->setLinkage(llvm::Function::WeakLinkage);
234     }
235   }
236 
237   if (const VisibilityAttr *attr = D->getAttr<VisibilityAttr>())
238     setGlobalVisibility(GV, attr->getVisibility());
239   // FIXME: else handle -fvisibility
240 
241   if (const AsmLabelAttr *ALA = D->getAttr<AsmLabelAttr>()) {
242     // Prefaced with special LLVM marker to indicate that the name
243     // should not be munged.
244     GV->setName("\01" + ALA->getLabel());
245   }
246 }
247 
248 void CodeGenModule::SetFunctionAttributes(const Decl *D,
249                                           const CGFunctionInfo &Info,
250                                           llvm::Function *F) {
251   AttributeListType AttributeList;
252   ConstructAttributeList(D, Info.argtypes_begin(), Info.argtypes_end(),
253                          AttributeList);
254 
255   F->setAttributes(llvm::AttrListPtr::get(AttributeList.begin(),
256                                         AttributeList.size()));
257 
258   // Set the appropriate calling convention for the Function.
259   if (D->getAttr<FastCallAttr>())
260     F->setCallingConv(llvm::CallingConv::Fast);
261 }
262 
263 /// SetFunctionAttributesForDefinition - Set function attributes
264 /// specific to a function definition.
265 void CodeGenModule::SetFunctionAttributesForDefinition(const Decl *D,
266                                                        llvm::Function *F) {
267   if (isa<ObjCMethodDecl>(D)) {
268     SetGlobalValueAttributes(D, true, false, F, true);
269   } else {
270     const FunctionDecl *FD = cast<FunctionDecl>(D);
271     SetGlobalValueAttributes(FD, FD->getStorageClass() == FunctionDecl::Static,
272                              FD->isInline(), F, true);
273   }
274 
275   if (!Features.Exceptions)
276     F->addFnAttr(llvm::Attribute::NoUnwind);
277 
278   if (D->getAttr<AlwaysInlineAttr>())
279     F->addFnAttr(llvm::Attribute::AlwaysInline);
280 }
281 
282 void CodeGenModule::SetMethodAttributes(const ObjCMethodDecl *MD,
283                                         llvm::Function *F) {
284   SetFunctionAttributes(MD, CGFunctionInfo(MD, Context), F);
285 
286   SetFunctionAttributesForDefinition(MD, F);
287 }
288 
289 void CodeGenModule::SetFunctionAttributes(const FunctionDecl *FD,
290                                           llvm::Function *F) {
291   SetFunctionAttributes(FD, CGFunctionInfo(FD), F);
292 
293   SetGlobalValueAttributes(FD, FD->getStorageClass() == FunctionDecl::Static,
294                            FD->isInline(), F, false);
295 }
296 
297 
298 void CodeGenModule::EmitAliases() {
299   for (unsigned i = 0, e = Aliases.size(); i != e; ++i) {
300     const FunctionDecl *D = Aliases[i];
301     const AliasAttr *AA = D->getAttr<AliasAttr>();
302 
303     // This is something of a hack, if the FunctionDecl got overridden
304     // then its attributes will be moved to the new declaration. In
305     // this case the current decl has no alias attribute, but we will
306     // eventually see it.
307     if (!AA)
308       continue;
309 
310     const std::string& aliaseeName = AA->getAliasee();
311     llvm::Function *aliasee = getModule().getFunction(aliaseeName);
312     if (!aliasee) {
313       // FIXME: This isn't unsupported, this is just an error, which
314       // sema should catch, but...
315       ErrorUnsupported(D, "alias referencing a missing function");
316       continue;
317     }
318 
319     llvm::GlobalValue *GA =
320       new llvm::GlobalAlias(aliasee->getType(),
321                             llvm::Function::ExternalLinkage,
322                             D->getName(),
323                             aliasee,
324                             &getModule());
325 
326     llvm::GlobalValue *&Entry = GlobalDeclMap[D->getIdentifier()];
327     if (Entry) {
328       // If we created a dummy function for this then replace it.
329       GA->takeName(Entry);
330 
331       llvm::Value *Casted =
332         llvm::ConstantExpr::getBitCast(GA, Entry->getType());
333       Entry->replaceAllUsesWith(Casted);
334       Entry->eraseFromParent();
335 
336       Entry = GA;
337     }
338 
339     // Alias should never be internal or inline.
340     SetGlobalValueAttributes(D, false, false, GA, true);
341   }
342 }
343 
344 void CodeGenModule::EmitStatics() {
345   // Emit code for each used static decl encountered.  Since a previously unused
346   // static decl may become used during the generation of code for a static
347   // function, iterate until no changes are made.
348   bool Changed;
349   do {
350     Changed = false;
351     for (unsigned i = 0, e = StaticDecls.size(); i != e; ++i) {
352       const ValueDecl *D = StaticDecls[i];
353 
354       // Check if we have used a decl with the same name
355       // FIXME: The AST should have some sort of aggregate decls or
356       // global symbol map.
357       // FIXME: This is missing some important cases. For example, we
358       // need to check for uses in an alias and in a constructor.
359       if (!GlobalDeclMap.count(D->getIdentifier()))
360         continue;
361 
362       // Emit the definition.
363       EmitGlobalDefinition(D);
364 
365       // Erase the used decl from the list.
366       StaticDecls[i] = StaticDecls.back();
367       StaticDecls.pop_back();
368       --i;
369       --e;
370 
371       // Remember that we made a change.
372       Changed = true;
373     }
374   } while (Changed);
375 }
376 
377 /// EmitAnnotateAttr - Generate the llvm::ConstantStruct which contains the
378 /// annotation information for a given GlobalValue.  The annotation struct is
379 /// {i8 *, i8 *, i8 *, i32}.  The first field is a constant expression, the
380 /// GlobalValue being annotated.  The second field is the constant string
381 /// created from the AnnotateAttr's annotation.  The third field is a constant
382 /// string containing the name of the translation unit.  The fourth field is
383 /// the line number in the file of the annotated value declaration.
384 ///
385 /// FIXME: this does not unique the annotation string constants, as llvm-gcc
386 ///        appears to.
387 ///
388 llvm::Constant *CodeGenModule::EmitAnnotateAttr(llvm::GlobalValue *GV,
389                                                 const AnnotateAttr *AA,
390                                                 unsigned LineNo) {
391   llvm::Module *M = &getModule();
392 
393   // get [N x i8] constants for the annotation string, and the filename string
394   // which are the 2nd and 3rd elements of the global annotation structure.
395   const llvm::Type *SBP = llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
396   llvm::Constant *anno = llvm::ConstantArray::get(AA->getAnnotation(), true);
397   llvm::Constant *unit = llvm::ConstantArray::get(M->getModuleIdentifier(),
398                                                   true);
399 
400   // Get the two global values corresponding to the ConstantArrays we just
401   // created to hold the bytes of the strings.
402   llvm::GlobalValue *annoGV =
403   new llvm::GlobalVariable(anno->getType(), false,
404                            llvm::GlobalValue::InternalLinkage, anno,
405                            GV->getName() + ".str", M);
406   // translation unit name string, emitted into the llvm.metadata section.
407   llvm::GlobalValue *unitGV =
408   new llvm::GlobalVariable(unit->getType(), false,
409                            llvm::GlobalValue::InternalLinkage, unit, ".str", M);
410 
411   // Create the ConstantStruct that is the global annotion.
412   llvm::Constant *Fields[4] = {
413     llvm::ConstantExpr::getBitCast(GV, SBP),
414     llvm::ConstantExpr::getBitCast(annoGV, SBP),
415     llvm::ConstantExpr::getBitCast(unitGV, SBP),
416     llvm::ConstantInt::get(llvm::Type::Int32Ty, LineNo)
417   };
418   return llvm::ConstantStruct::get(Fields, 4, false);
419 }
420 
421 void CodeGenModule::EmitGlobal(const ValueDecl *Global) {
422   bool isDef, isStatic;
423 
424   if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(Global)) {
425     // Aliases are deferred until code for everything else has been
426     // emitted.
427     if (FD->getAttr<AliasAttr>()) {
428       assert(!FD->isThisDeclarationADefinition() &&
429              "Function alias cannot have a definition!");
430       Aliases.push_back(FD);
431       return;
432     }
433 
434     isDef = FD->isThisDeclarationADefinition();
435     isStatic = FD->getStorageClass() == FunctionDecl::Static;
436   } else if (const VarDecl *VD = cast<VarDecl>(Global)) {
437     assert(VD->isFileVarDecl() && "Cannot emit local var decl as global.");
438 
439     isDef = !(VD->getStorageClass() == VarDecl::Extern && VD->getInit() == 0);
440     isStatic = VD->getStorageClass() == VarDecl::Static;
441   } else {
442     assert(0 && "Invalid argument to EmitGlobal");
443     return;
444   }
445 
446   // Forward declarations are emitted lazily on first use.
447   if (!isDef)
448     return;
449 
450   // If the global is a static, defer code generation until later so
451   // we can easily omit unused statics.
452   if (isStatic) {
453     StaticDecls.push_back(Global);
454     return;
455   }
456 
457   // Otherwise emit the definition.
458   EmitGlobalDefinition(Global);
459 }
460 
461 void CodeGenModule::EmitGlobalDefinition(const ValueDecl *D) {
462   if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
463     EmitGlobalFunctionDefinition(FD);
464   } else if (const VarDecl *VD = dyn_cast<VarDecl>(D)) {
465     EmitGlobalVarDefinition(VD);
466   } else {
467     assert(0 && "Invalid argument to EmitGlobalDefinition()");
468   }
469 }
470 
471  llvm::Constant *CodeGenModule::GetAddrOfGlobalVar(const VarDecl *D) {
472   assert(D->hasGlobalStorage() && "Not a global variable");
473 
474   QualType ASTTy = D->getType();
475   const llvm::Type *Ty = getTypes().ConvertTypeForMem(ASTTy);
476   const llvm::Type *PTy = llvm::PointerType::get(Ty, ASTTy.getAddressSpace());
477 
478   // Lookup the entry, lazily creating it if necessary.
479   llvm::GlobalValue *&Entry = GlobalDeclMap[D->getIdentifier()];
480   if (!Entry)
481     Entry = new llvm::GlobalVariable(Ty, false,
482                                      llvm::GlobalValue::ExternalLinkage,
483                                      0, D->getName(), &getModule(), 0,
484                                      ASTTy.getAddressSpace());
485 
486   // Make sure the result is of the correct type.
487   return llvm::ConstantExpr::getBitCast(Entry, PTy);
488 }
489 
490 void CodeGenModule::EmitGlobalVarDefinition(const VarDecl *D) {
491   llvm::Constant *Init = 0;
492   QualType ASTTy = D->getType();
493   const llvm::Type *VarTy = getTypes().ConvertTypeForMem(ASTTy);
494 
495   if (D->getInit() == 0) {
496     // This is a tentative definition; tentative definitions are
497     // implicitly initialized with { 0 }
498     const llvm::Type* InitTy;
499     if (ASTTy->isIncompleteArrayType()) {
500       // An incomplete array is normally [ TYPE x 0 ], but we need
501       // to fix it to [ TYPE x 1 ].
502       const llvm::ArrayType* ATy = cast<llvm::ArrayType>(VarTy);
503       InitTy = llvm::ArrayType::get(ATy->getElementType(), 1);
504     } else {
505       InitTy = VarTy;
506     }
507     Init = llvm::Constant::getNullValue(InitTy);
508   } else {
509     Init = EmitConstantExpr(D->getInit());
510   }
511   const llvm::Type* InitType = Init->getType();
512 
513   llvm::GlobalValue *&Entry = GlobalDeclMap[D->getIdentifier()];
514   llvm::GlobalVariable *GV = cast_or_null<llvm::GlobalVariable>(Entry);
515 
516   if (!GV) {
517     GV = new llvm::GlobalVariable(InitType, false,
518                                   llvm::GlobalValue::ExternalLinkage,
519                                   0, D->getName(), &getModule(), 0,
520                                   ASTTy.getAddressSpace());
521   } else if (GV->getType() !=
522              llvm::PointerType::get(InitType, ASTTy.getAddressSpace())) {
523     // We have a definition after a prototype with the wrong type.
524     // We must make a new GlobalVariable* and update everything that used OldGV
525     // (a declaration or tentative definition) with the new GlobalVariable*
526     // (which will be a definition).
527     //
528     // This happens if there is a prototype for a global (e.g. "extern int x[];")
529     // and then a definition of a different type (e.g. "int x[10];"). This also
530     // happens when an initializer has a different type from the type of the
531     // global (this happens with unions).
532     //
533     // FIXME: This also ends up happening if there's a definition followed by
534     // a tentative definition!  (Although Sema rejects that construct
535     // at the moment.)
536 
537     // Save the old global
538     llvm::GlobalVariable *OldGV = GV;
539 
540     // Make a new global with the correct type
541     GV = new llvm::GlobalVariable(InitType, false,
542                                   llvm::GlobalValue::ExternalLinkage,
543                                   0, D->getName(), &getModule(), 0,
544                                   ASTTy.getAddressSpace());
545     // Steal the name of the old global
546     GV->takeName(OldGV);
547 
548     // Replace all uses of the old global with the new global
549     llvm::Constant *NewPtrForOldDecl =
550         llvm::ConstantExpr::getBitCast(GV, OldGV->getType());
551     OldGV->replaceAllUsesWith(NewPtrForOldDecl);
552 
553     // Erase the old global, since it is no longer used.
554     OldGV->eraseFromParent();
555   }
556 
557   Entry = GV;
558 
559   if (const AnnotateAttr *AA = D->getAttr<AnnotateAttr>()) {
560     SourceManager &SM = Context.getSourceManager();
561     AddAnnotation(EmitAnnotateAttr(GV, AA,
562                                    SM.getLogicalLineNumber(D->getLocation())));
563   }
564 
565   GV->setInitializer(Init);
566   GV->setConstant(D->getType().isConstant(Context));
567 
568   // FIXME: This is silly; getTypeAlign should just work for incomplete arrays
569   unsigned Align;
570   if (const IncompleteArrayType* IAT =
571         Context.getAsIncompleteArrayType(D->getType()))
572     Align = Context.getTypeAlign(IAT->getElementType());
573   else
574     Align = Context.getTypeAlign(D->getType());
575   if (const AlignedAttr* AA = D->getAttr<AlignedAttr>()) {
576     Align = std::max(Align, AA->getAlignment());
577   }
578   GV->setAlignment(Align / 8);
579 
580   if (const VisibilityAttr *attr = D->getAttr<VisibilityAttr>())
581     setGlobalVisibility(GV, attr->getVisibility());
582   // FIXME: else handle -fvisibility
583 
584   if (const AsmLabelAttr *ALA = D->getAttr<AsmLabelAttr>()) {
585     // Prefaced with special LLVM marker to indicate that the name
586     // should not be munged.
587     GV->setName("\01" + ALA->getLabel());
588   }
589 
590   // Set the llvm linkage type as appropriate.
591   if (D->getStorageClass() == VarDecl::Static)
592     GV->setLinkage(llvm::Function::InternalLinkage);
593   else if (D->getAttr<DLLImportAttr>())
594     GV->setLinkage(llvm::Function::DLLImportLinkage);
595   else if (D->getAttr<DLLExportAttr>())
596     GV->setLinkage(llvm::Function::DLLExportLinkage);
597   else if (D->getAttr<WeakAttr>())
598     GV->setLinkage(llvm::GlobalVariable::WeakLinkage);
599   else {
600     // FIXME: This isn't right.  This should handle common linkage and other
601     // stuff.
602     switch (D->getStorageClass()) {
603     case VarDecl::Static: assert(0 && "This case handled above");
604     case VarDecl::Auto:
605     case VarDecl::Register:
606       assert(0 && "Can't have auto or register globals");
607     case VarDecl::None:
608       if (!D->getInit())
609         GV->setLinkage(llvm::GlobalVariable::CommonLinkage);
610       break;
611     case VarDecl::Extern:
612     case VarDecl::PrivateExtern:
613       // todo: common
614       break;
615     }
616   }
617 
618   // Emit global variable debug information.
619   CGDebugInfo *DI = getDebugInfo();
620   if(DI) {
621     DI->setLocation(D->getLocation());
622     DI->EmitGlobalVariable(GV, D);
623   }
624 }
625 
626 llvm::GlobalValue *
627 CodeGenModule::EmitForwardFunctionDefinition(const FunctionDecl *D) {
628   const llvm::Type *Ty = getTypes().ConvertType(D->getType());
629   llvm::Function *F = llvm::Function::Create(cast<llvm::FunctionType>(Ty),
630                                              llvm::Function::ExternalLinkage,
631                                              D->getName(), &getModule());
632   SetFunctionAttributes(D, F);
633   return F;
634 }
635 
636 llvm::Constant *CodeGenModule::GetAddrOfFunction(const FunctionDecl *D) {
637   QualType ASTTy = D->getType();
638   const llvm::Type *Ty = getTypes().ConvertTypeForMem(ASTTy);
639   const llvm::Type *PTy = llvm::PointerType::get(Ty, ASTTy.getAddressSpace());
640 
641   // Lookup the entry, lazily creating it if necessary.
642   llvm::GlobalValue *&Entry = GlobalDeclMap[D->getIdentifier()];
643   if (!Entry)
644     Entry = EmitForwardFunctionDefinition(D);
645 
646   return llvm::ConstantExpr::getBitCast(Entry, PTy);
647 }
648 
649 void CodeGenModule::EmitGlobalFunctionDefinition(const FunctionDecl *D) {
650   llvm::GlobalValue *&Entry = GlobalDeclMap[D->getIdentifier()];
651   if (!Entry) {
652     Entry = EmitForwardFunctionDefinition(D);
653   } else {
654     // If the types mismatch then we have to rewrite the definition.
655     const llvm::Type *Ty = getTypes().ConvertType(D->getType());
656     if (Entry->getType() != llvm::PointerType::getUnqual(Ty)) {
657       // Otherwise, we have a definition after a prototype with the wrong type.
658       // F is the Function* for the one with the wrong type, we must make a new
659       // Function* and update everything that used F (a declaration) with the new
660       // Function* (which will be a definition).
661       //
662       // This happens if there is a prototype for a function (e.g. "int f()") and
663       // then a definition of a different type (e.g. "int f(int x)").  Start by
664       // making a new function of the correct type, RAUW, then steal the name.
665       llvm::GlobalValue *NewFn = EmitForwardFunctionDefinition(D);
666       NewFn->takeName(Entry);
667 
668       // Replace uses of F with the Function we will endow with a body.
669       llvm::Constant *NewPtrForOldDecl =
670         llvm::ConstantExpr::getBitCast(NewFn, Entry->getType());
671       Entry->replaceAllUsesWith(NewPtrForOldDecl);
672 
673       // Ok, delete the old function now, which is dead.
674       assert(Entry->isDeclaration() && "Shouldn't replace non-declaration");
675       Entry->eraseFromParent();
676 
677       Entry = NewFn;
678     }
679   }
680 
681   llvm::Function *Fn = cast<llvm::Function>(Entry);
682   CodeGenFunction(*this).GenerateCode(D, Fn);
683 
684   SetFunctionAttributesForDefinition(D, Fn);
685 
686   if (const ConstructorAttr *CA = D->getAttr<ConstructorAttr>()) {
687     AddGlobalCtor(Fn, CA->getPriority());
688   } else if (const DestructorAttr *DA = D->getAttr<DestructorAttr>()) {
689     AddGlobalDtor(Fn, DA->getPriority());
690   }
691 }
692 
693 llvm::Function *
694 CodeGenModule::CreateRuntimeFunction(const llvm::FunctionType *FTy,
695                                      const std::string &Name) {
696   llvm::Function *Fn = llvm::Function::Create(FTy,
697                                               llvm::Function::ExternalLinkage,
698                                               "", &TheModule);
699   RuntimeFunctions.push_back(std::make_pair(Fn, Name));
700   return Fn;
701 }
702 
703 void CodeGenModule::UpdateCompletedType(const TagDecl *TD) {
704   // Make sure that this type is translated.
705   Types.UpdateCompletedType(TD);
706 }
707 
708 
709 /// getBuiltinLibFunction
710 llvm::Function *CodeGenModule::getBuiltinLibFunction(unsigned BuiltinID) {
711   if (BuiltinID > BuiltinFunctions.size())
712     BuiltinFunctions.resize(BuiltinID);
713 
714   // Cache looked up functions.  Since builtin id #0 is invalid we don't reserve
715   // a slot for it.
716   assert(BuiltinID && "Invalid Builtin ID");
717   llvm::Function *&FunctionSlot = BuiltinFunctions[BuiltinID-1];
718   if (FunctionSlot)
719     return FunctionSlot;
720 
721   assert(Context.BuiltinInfo.isLibFunction(BuiltinID) && "isn't a lib fn");
722 
723   // Get the name, skip over the __builtin_ prefix.
724   const char *Name = Context.BuiltinInfo.GetName(BuiltinID)+10;
725 
726   // Get the type for the builtin.
727   QualType Type = Context.BuiltinInfo.GetBuiltinType(BuiltinID, Context);
728   const llvm::FunctionType *Ty =
729     cast<llvm::FunctionType>(getTypes().ConvertType(Type));
730 
731   // FIXME: This has a serious problem with code like this:
732   //  void abs() {}
733   //    ... __builtin_abs(x);
734   // The two versions of abs will collide.  The fix is for the builtin to win,
735   // and for the existing one to be turned into a constantexpr cast of the
736   // builtin.  In the case where the existing one is a static function, it
737   // should just be renamed.
738   if (llvm::Function *Existing = getModule().getFunction(Name)) {
739     if (Existing->getFunctionType() == Ty && Existing->hasExternalLinkage())
740       return FunctionSlot = Existing;
741     assert(Existing == 0 && "FIXME: Name collision");
742   }
743 
744   // FIXME: param attributes for sext/zext etc.
745   return FunctionSlot =
746     llvm::Function::Create(Ty, llvm::Function::ExternalLinkage, Name,
747                            &getModule());
748 }
749 
750 llvm::Function *CodeGenModule::getIntrinsic(unsigned IID,const llvm::Type **Tys,
751                                             unsigned NumTys) {
752   return llvm::Intrinsic::getDeclaration(&getModule(),
753                                          (llvm::Intrinsic::ID)IID, Tys, NumTys);
754 }
755 
756 llvm::Function *CodeGenModule::getMemCpyFn() {
757   if (MemCpyFn) return MemCpyFn;
758   llvm::Intrinsic::ID IID;
759   switch (Context.Target.getPointerWidth(0)) {
760   default: assert(0 && "Unknown ptr width");
761   case 32: IID = llvm::Intrinsic::memcpy_i32; break;
762   case 64: IID = llvm::Intrinsic::memcpy_i64; break;
763   }
764   return MemCpyFn = getIntrinsic(IID);
765 }
766 
767 llvm::Function *CodeGenModule::getMemMoveFn() {
768   if (MemMoveFn) return MemMoveFn;
769   llvm::Intrinsic::ID IID;
770   switch (Context.Target.getPointerWidth(0)) {
771   default: assert(0 && "Unknown ptr width");
772   case 32: IID = llvm::Intrinsic::memmove_i32; break;
773   case 64: IID = llvm::Intrinsic::memmove_i64; break;
774   }
775   return MemMoveFn = getIntrinsic(IID);
776 }
777 
778 llvm::Function *CodeGenModule::getMemSetFn() {
779   if (MemSetFn) return MemSetFn;
780   llvm::Intrinsic::ID IID;
781   switch (Context.Target.getPointerWidth(0)) {
782   default: assert(0 && "Unknown ptr width");
783   case 32: IID = llvm::Intrinsic::memset_i32; break;
784   case 64: IID = llvm::Intrinsic::memset_i64; break;
785   }
786   return MemSetFn = getIntrinsic(IID);
787 }
788 
789 // We still need to work out the details of handling UTF-16.
790 // See: <rdr://2996215>
791 llvm::Constant *CodeGenModule::
792 GetAddrOfConstantCFString(const std::string &str) {
793   llvm::StringMapEntry<llvm::Constant *> &Entry =
794     CFConstantStringMap.GetOrCreateValue(&str[0], &str[str.length()]);
795 
796   if (Entry.getValue())
797     return Entry.getValue();
798 
799   llvm::Constant *Zero = llvm::Constant::getNullValue(llvm::Type::Int32Ty);
800   llvm::Constant *Zeros[] = { Zero, Zero };
801 
802   if (!CFConstantStringClassRef) {
803     const llvm::Type *Ty = getTypes().ConvertType(getContext().IntTy);
804     Ty = llvm::ArrayType::get(Ty, 0);
805 
806     // FIXME: This is fairly broken if
807     // __CFConstantStringClassReference is already defined, in that it
808     // will get renamed and the user will most likely see an opaque
809     // error message. This is a general issue with relying on
810     // particular names.
811     llvm::GlobalVariable *GV =
812       new llvm::GlobalVariable(Ty, false,
813                                llvm::GlobalVariable::ExternalLinkage, 0,
814                                "__CFConstantStringClassReference",
815                                &getModule());
816 
817     // Decay array -> ptr
818     CFConstantStringClassRef =
819       llvm::ConstantExpr::getGetElementPtr(GV, Zeros, 2);
820   }
821 
822   std::vector<llvm::Constant*> Fields(4);
823 
824   // Class pointer.
825   Fields[0] = CFConstantStringClassRef;
826 
827   // Flags.
828   const llvm::Type *Ty = getTypes().ConvertType(getContext().UnsignedIntTy);
829   Fields[1] = llvm::ConstantInt::get(Ty, 0x07C8);
830 
831   // String pointer.
832   llvm::Constant *C = llvm::ConstantArray::get(str);
833   C = new llvm::GlobalVariable(C->getType(), true,
834                                llvm::GlobalValue::InternalLinkage,
835                                C, ".str", &getModule());
836   Fields[2] = llvm::ConstantExpr::getGetElementPtr(C, Zeros, 2);
837 
838   // String length.
839   Ty = getTypes().ConvertType(getContext().LongTy);
840   Fields[3] = llvm::ConstantInt::get(Ty, str.length());
841 
842   // The struct.
843   Ty = getTypes().ConvertType(getContext().getCFConstantStringType());
844   C = llvm::ConstantStruct::get(cast<llvm::StructType>(Ty), Fields);
845   llvm::GlobalVariable *GV =
846     new llvm::GlobalVariable(C->getType(), true,
847                              llvm::GlobalVariable::InternalLinkage,
848                              C, "", &getModule());
849 
850   GV->setSection("__DATA,__cfstring");
851   Entry.setValue(GV);
852 
853   return GV;
854 }
855 
856 /// GetStringForStringLiteral - Return the appropriate bytes for a
857 /// string literal, properly padded to match the literal type.
858 std::string CodeGenModule::GetStringForStringLiteral(const StringLiteral *E) {
859   if (E->isWide()) {
860     ErrorUnsupported(E, "wide string");
861     return "FIXME";
862   }
863 
864   const char *StrData = E->getStrData();
865   unsigned Len = E->getByteLength();
866 
867   const ConstantArrayType *CAT =
868     getContext().getAsConstantArrayType(E->getType());
869   assert(CAT && "String isn't pointer or array!");
870 
871   // Resize the string to the right size
872   // FIXME: What about wchar_t strings?
873   std::string Str(StrData, StrData+Len);
874   uint64_t RealLen = CAT->getSize().getZExtValue();
875   Str.resize(RealLen, '\0');
876 
877   return Str;
878 }
879 
880 /// GetAddrOfConstantStringFromLiteral - Return a pointer to a
881 /// constant array for the given string literal.
882 llvm::Constant *
883 CodeGenModule::GetAddrOfConstantStringFromLiteral(const StringLiteral *S) {
884   // FIXME: This can be more efficient.
885   return GetAddrOfConstantString(GetStringForStringLiteral(S));
886 }
887 
888 /// GenerateWritableString -- Creates storage for a string literal.
889 static llvm::Constant *GenerateStringLiteral(const std::string &str,
890                                              bool constant,
891                                              CodeGenModule &CGM,
892                                              const char *GlobalName) {
893   // Create Constant for this string literal. Don't add a '\0'.
894   llvm::Constant *C = llvm::ConstantArray::get(str, false);
895 
896   // Create a global variable for this string
897   C = new llvm::GlobalVariable(C->getType(), constant,
898                                llvm::GlobalValue::InternalLinkage,
899                                C,
900                                GlobalName ? GlobalName : ".str",
901                                &CGM.getModule());
902 
903   return C;
904 }
905 
906 /// GetAddrOfConstantString - Returns a pointer to a character array
907 /// containing the literal. This contents are exactly that of the
908 /// given string, i.e. it will not be null terminated automatically;
909 /// see GetAddrOfConstantCString. Note that whether the result is
910 /// actually a pointer to an LLVM constant depends on
911 /// Feature.WriteableStrings.
912 ///
913 /// The result has pointer to array type.
914 llvm::Constant *CodeGenModule::GetAddrOfConstantString(const std::string &str,
915                                                        const char *GlobalName) {
916   // Don't share any string literals if writable-strings is turned on.
917   if (Features.WritableStrings)
918     return GenerateStringLiteral(str, false, *this, GlobalName);
919 
920   llvm::StringMapEntry<llvm::Constant *> &Entry =
921   ConstantStringMap.GetOrCreateValue(&str[0], &str[str.length()]);
922 
923   if (Entry.getValue())
924       return Entry.getValue();
925 
926   // Create a global variable for this.
927   llvm::Constant *C = GenerateStringLiteral(str, true, *this, GlobalName);
928   Entry.setValue(C);
929   return C;
930 }
931 
932 /// GetAddrOfConstantCString - Returns a pointer to a character
933 /// array containing the literal and a terminating '\-'
934 /// character. The result has pointer to array type.
935 llvm::Constant *CodeGenModule::GetAddrOfConstantCString(const std::string &str,
936                                                         const char *GlobalName){
937   return GetAddrOfConstantString(str + "\0", GlobalName);
938 }
939 
940 /// EmitObjCPropertyImplementations - Emit information for synthesized
941 /// properties for an implementation.
942 void CodeGenModule::EmitObjCPropertyImplementations(const
943                                                     ObjCImplementationDecl *D) {
944   for (ObjCImplementationDecl::propimpl_iterator i = D->propimpl_begin(),
945          e = D->propimpl_end(); i != e; ++i) {
946     ObjCPropertyImplDecl *PID = *i;
947 
948     // Dynamic is just for type-checking.
949     if (PID->getPropertyImplementation() == ObjCPropertyImplDecl::Synthesize) {
950       ObjCPropertyDecl *PD = PID->getPropertyDecl();
951 
952       // Determine which methods need to be implemented, some may have
953       // been overridden. Note that ::isSynthesized is not the method
954       // we want, that just indicates if the decl came from a
955       // property. What we want to know is if the method is defined in
956       // this implementation.
957       if (!D->getInstanceMethod(PD->getGetterName()))
958         CodeGenFunction(*this).GenerateObjCGetter(PID);
959       if (!PD->isReadOnly() &&
960           !D->getInstanceMethod(PD->getSetterName()))
961         CodeGenFunction(*this).GenerateObjCSetter(PID);
962     }
963   }
964 }
965 
966 /// EmitTopLevelDecl - Emit code for a single top level declaration.
967 void CodeGenModule::EmitTopLevelDecl(Decl *D) {
968   // If an error has occurred, stop code generation, but continue
969   // parsing and semantic analysis (to ensure all warnings and errors
970   // are emitted).
971   if (Diags.hasErrorOccurred())
972     return;
973 
974   switch (D->getKind()) {
975   case Decl::Function:
976   case Decl::Var:
977     EmitGlobal(cast<ValueDecl>(D));
978     break;
979 
980   case Decl::Namespace:
981     ErrorUnsupported(D, "namespace");
982     break;
983 
984     // Objective-C Decls
985 
986     // Forward declarations, no (immediate) code generation.
987   case Decl::ObjCClass:
988   case Decl::ObjCCategory:
989   case Decl::ObjCForwardProtocol:
990   case Decl::ObjCInterface:
991     break;
992 
993   case Decl::ObjCProtocol:
994     Runtime->GenerateProtocol(cast<ObjCProtocolDecl>(D));
995     break;
996 
997   case Decl::ObjCCategoryImpl:
998     // Categories have properties but don't support synthesize so we
999     // can ignore them here.
1000 
1001     Runtime->GenerateCategory(cast<ObjCCategoryImplDecl>(D));
1002     break;
1003 
1004   case Decl::ObjCImplementation: {
1005     ObjCImplementationDecl *OMD = cast<ObjCImplementationDecl>(D);
1006     EmitObjCPropertyImplementations(OMD);
1007     Runtime->GenerateClass(OMD);
1008     break;
1009   }
1010   case Decl::ObjCMethod: {
1011     ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(D);
1012     // If this is not a prototype, emit the body.
1013     if (OMD->getBody())
1014       CodeGenFunction(*this).GenerateObjCMethod(OMD);
1015     break;
1016   }
1017   case Decl::ObjCCompatibleAlias:
1018     ErrorUnsupported(D, "Objective-C compatible alias");
1019     break;
1020 
1021   case Decl::LinkageSpec: {
1022     LinkageSpecDecl *LSD = cast<LinkageSpecDecl>(D);
1023     if (LSD->getLanguage() == LinkageSpecDecl::lang_cxx)
1024       ErrorUnsupported(LSD, "linkage spec");
1025     // FIXME: implement C++ linkage, C linkage works mostly by C
1026     // language reuse already.
1027     break;
1028   }
1029 
1030   case Decl::FileScopeAsm: {
1031     FileScopeAsmDecl *AD = cast<FileScopeAsmDecl>(D);
1032     std::string AsmString(AD->getAsmString()->getStrData(),
1033                           AD->getAsmString()->getByteLength());
1034 
1035     const std::string &S = getModule().getModuleInlineAsm();
1036     if (S.empty())
1037       getModule().setModuleInlineAsm(AsmString);
1038     else
1039       getModule().setModuleInlineAsm(S + '\n' + AsmString);
1040     break;
1041   }
1042 
1043   default:
1044     // Make sure we handled everything we should, every other kind is
1045     // a non-top-level decl.  FIXME: Would be nice to have an
1046     // isTopLevelDeclKind function. Need to recode Decl::Kind to do
1047     // that easily.
1048     assert(isa<TypeDecl>(D) && "Unsupported decl kind");
1049   }
1050 }
1051 
1052