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