xref: /llvm-project/clang/lib/CodeGen/CodeGenModule.cpp (revision 74aa7e1eaeb8a38ee5d97ae85a498d6d46b5635d)
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 "clang/AST/ASTContext.h"
18 #include "clang/AST/Decl.h"
19 #include "clang/Basic/Diagnostic.h"
20 #include "clang/Basic/LangOptions.h"
21 #include "clang/Basic/SourceManager.h"
22 #include "clang/Basic/TargetInfo.h"
23 #include "llvm/CallingConv.h"
24 #include "llvm/Constants.h"
25 #include "llvm/DerivedTypes.h"
26 #include "llvm/Module.h"
27 #include "llvm/Intrinsics.h"
28 #include "llvm/Target/TargetData.h"
29 #include "llvm/Analysis/Verifier.h"
30 #include <algorithm>
31 using namespace clang;
32 using namespace CodeGen;
33 
34 
35 CodeGenModule::CodeGenModule(ASTContext &C, const LangOptions &LO,
36                              llvm::Module &M, const llvm::TargetData &TD,
37                              Diagnostic &diags, bool GenerateDebugInfo)
38   : Context(C), Features(LO), TheModule(M), TheTargetData(TD), Diags(diags),
39     Types(C, M, TD), MemCpyFn(0), MemMoveFn(0), MemSetFn(0),
40     CFConstantStringClassRef(0) {
41   //TODO: Make this selectable at runtime
42   Runtime = CreateObjCRuntime(*this);
43 
44   // If debug info generation is enabled, create the CGDebugInfo object.
45   if (GenerateDebugInfo)
46     DebugInfo = new CGDebugInfo(this);
47   else
48     DebugInfo = NULL;
49 }
50 
51 CodeGenModule::~CodeGenModule() {
52   EmitStatics();
53   llvm::Function *ObjCInitFunction = Runtime->ModuleInitFunction();
54   if (ObjCInitFunction)
55     AddGlobalCtor(ObjCInitFunction);
56   EmitCtorList(GlobalCtors, "llvm.global_ctors");
57   EmitCtorList(GlobalDtors, "llvm.global_dtors");
58   EmitAnnotations();
59   delete Runtime;
60   delete DebugInfo;
61   // Run the verifier to check that the generated code is consistent.
62   assert(!verifyModule(TheModule));
63 }
64 
65 /// WarnUnsupported - Print out a warning that codegen doesn't support the
66 /// specified stmt yet.
67 void CodeGenModule::WarnUnsupported(const Stmt *S, const char *Type) {
68   unsigned DiagID = getDiags().getCustomDiagID(Diagnostic::Warning,
69                                                "cannot codegen this %0 yet");
70   SourceRange Range = S->getSourceRange();
71   std::string Msg = Type;
72   getDiags().Report(Context.getFullLoc(S->getLocStart()), DiagID,
73                     &Msg, 1, &Range, 1);
74 }
75 
76 /// WarnUnsupported - Print out a warning that codegen doesn't support the
77 /// specified decl yet.
78 void CodeGenModule::WarnUnsupported(const Decl *D, const char *Type) {
79   unsigned DiagID = getDiags().getCustomDiagID(Diagnostic::Warning,
80                                                "cannot codegen this %0 yet");
81   std::string Msg = Type;
82   getDiags().Report(Context.getFullLoc(D->getLocation()), DiagID,
83                     &Msg, 1);
84 }
85 
86 /// setVisibility - Set the visibility for the given LLVM GlobalValue
87 /// according to the given clang AST visibility value.
88 void CodeGenModule::setVisibility(llvm::GlobalValue *GV,
89                                   VisibilityAttr::VisibilityTypes Vis) {
90   switch (Vis) {
91   default: assert(0 && "Unknown visibility!");
92   case VisibilityAttr::DefaultVisibility:
93     GV->setVisibility(llvm::GlobalValue::DefaultVisibility);
94     break;
95   case VisibilityAttr::HiddenVisibility:
96     GV->setVisibility(llvm::GlobalValue::HiddenVisibility);
97     break;
98   case VisibilityAttr::ProtectedVisibility:
99     GV->setVisibility(llvm::GlobalValue::ProtectedVisibility);
100     break;
101   }
102 }
103 
104 /// AddGlobalCtor - Add a function to the list that will be called before
105 /// main() runs.
106 void CodeGenModule::AddGlobalCtor(llvm::Function * Ctor, int Priority) {
107   // TODO: Type coercion of void()* types.
108   GlobalCtors.push_back(std::make_pair(Ctor, Priority));
109 }
110 
111 /// AddGlobalDtor - Add a function to the list that will be called
112 /// when the module is unloaded.
113 void CodeGenModule::AddGlobalDtor(llvm::Function * Dtor, int Priority) {
114   // TODO: Type coercion of void()* types.
115   GlobalDtors.push_back(std::make_pair(Dtor, Priority));
116 }
117 
118 void CodeGenModule::EmitCtorList(const CtorList &Fns, const char *GlobalName) {
119   // Ctor function type is void()*.
120   llvm::FunctionType* CtorFTy =
121     llvm::FunctionType::get(llvm::Type::VoidTy,
122                             std::vector<const llvm::Type*>(),
123                             false);
124   llvm::Type *CtorPFTy = llvm::PointerType::getUnqual(CtorFTy);
125 
126   // Get the type of a ctor entry, { i32, void ()* }.
127   llvm::StructType* CtorStructTy =
128     llvm::StructType::get(llvm::Type::Int32Ty,
129                           llvm::PointerType::getUnqual(CtorFTy), NULL);
130 
131   // Construct the constructor and destructor arrays.
132   std::vector<llvm::Constant*> Ctors;
133   for (CtorList::const_iterator I = Fns.begin(), E = Fns.end(); I != E; ++I) {
134     std::vector<llvm::Constant*> S;
135     S.push_back(llvm::ConstantInt::get(llvm::Type::Int32Ty, I->second, false));
136     S.push_back(llvm::ConstantExpr::getBitCast(I->first, CtorPFTy));
137     Ctors.push_back(llvm::ConstantStruct::get(CtorStructTy, S));
138   }
139 
140   if (!Ctors.empty()) {
141     llvm::ArrayType *AT = llvm::ArrayType::get(CtorStructTy, Ctors.size());
142     new llvm::GlobalVariable(AT, false,
143                              llvm::GlobalValue::AppendingLinkage,
144                              llvm::ConstantArray::get(AT, Ctors),
145                              GlobalName,
146                              &TheModule);
147   }
148 }
149 
150 void CodeGenModule::EmitAnnotations() {
151   if (Annotations.empty())
152     return;
153 
154   // Create a new global variable for the ConstantStruct in the Module.
155   llvm::Constant *Array =
156   llvm::ConstantArray::get(llvm::ArrayType::get(Annotations[0]->getType(),
157                                                 Annotations.size()),
158                            Annotations);
159   llvm::GlobalValue *gv =
160   new llvm::GlobalVariable(Array->getType(), false,
161                            llvm::GlobalValue::AppendingLinkage, Array,
162                            "llvm.global.annotations", &TheModule);
163   gv->setSection("llvm.metadata");
164 }
165 
166 bool hasAggregateLLVMType(QualType T) {
167   return !T->isRealType() && !T->isPointerLikeType() &&
168          !T->isVoidType() && !T->isVectorType() && !T->isFunctionType();
169 }
170 
171 void CodeGenModule::SetGlobalValueAttributes(const FunctionDecl *FD,
172                                              llvm::GlobalValue *GV) {
173   // TODO: Set up linkage and many other things.  Note, this is a simple
174   // approximation of what we really want.
175   if (FD->getStorageClass() == FunctionDecl::Static)
176     GV->setLinkage(llvm::Function::InternalLinkage);
177   else if (FD->getAttr<DLLImportAttr>())
178     GV->setLinkage(llvm::Function::DLLImportLinkage);
179   else if (FD->getAttr<DLLExportAttr>())
180     GV->setLinkage(llvm::Function::DLLExportLinkage);
181   else if (FD->getAttr<WeakAttr>() || FD->isInline())
182     GV->setLinkage(llvm::Function::WeakLinkage);
183 
184   if (const VisibilityAttr *attr = FD->getAttr<VisibilityAttr>())
185     CodeGenModule::setVisibility(GV, attr->getVisibility());
186   // FIXME: else handle -fvisibility
187 }
188 
189 void CodeGenModule::SetFunctionAttributes(const FunctionDecl *FD,
190                                           llvm::Function *F,
191                                           const llvm::FunctionType *FTy) {
192   unsigned FuncAttrs = 0;
193   if (FD->getAttr<NoThrowAttr>())
194     FuncAttrs |= llvm::ParamAttr::NoUnwind;
195   if (FD->getAttr<NoReturnAttr>())
196     FuncAttrs |= llvm::ParamAttr::NoReturn;
197 
198   llvm::SmallVector<llvm::ParamAttrsWithIndex, 8> ParamAttrList;
199   if (FuncAttrs)
200     ParamAttrList.push_back(llvm::ParamAttrsWithIndex::get(0, FuncAttrs));
201   // Note that there is parallel code in CodeGenFunction::EmitCallExpr
202   bool AggregateReturn = hasAggregateLLVMType(FD->getResultType());
203   if (AggregateReturn)
204     ParamAttrList.push_back(
205         llvm::ParamAttrsWithIndex::get(1, llvm::ParamAttr::StructRet));
206   unsigned increment = AggregateReturn ? 2 : 1;
207   const FunctionTypeProto* FTP = dyn_cast<FunctionTypeProto>(FD->getType());
208   if (FTP) {
209     for (unsigned i = 0; i < FTP->getNumArgs(); i++) {
210       QualType ParamType = FTP->getArgType(i);
211       unsigned ParamAttrs = 0;
212       if (ParamType->isRecordType())
213         ParamAttrs |= llvm::ParamAttr::ByVal;
214       if (ParamType->isSignedIntegerType() &&
215           ParamType->isPromotableIntegerType())
216         ParamAttrs |= llvm::ParamAttr::SExt;
217       if (ParamType->isUnsignedIntegerType() &&
218           ParamType->isPromotableIntegerType())
219         ParamAttrs |= llvm::ParamAttr::ZExt;
220       if (ParamAttrs)
221         ParamAttrList.push_back(llvm::ParamAttrsWithIndex::get(i + increment,
222                                                                ParamAttrs));
223     }
224   }
225 
226   F->setParamAttrs(llvm::PAListPtr::get(ParamAttrList.begin(),
227                                         ParamAttrList.size()));
228 
229   // Set the appropriate calling convention for the Function.
230   if (FD->getAttr<FastCallAttr>())
231     F->setCallingConv(llvm::CallingConv::Fast);
232 
233   SetGlobalValueAttributes(FD, F);
234 }
235 
236 void CodeGenModule::EmitObjCMethod(const ObjCMethodDecl *OMD) {
237   // If this is not a prototype, emit the body.
238   if (OMD->getBody())
239     CodeGenFunction(*this).GenerateObjCMethod(OMD);
240 }
241 void CodeGenModule::EmitObjCProtocolImplementation(const ObjCProtocolDecl *PD){
242   llvm::SmallVector<std::string, 16> Protocols;
243   for (ObjCProtocolDecl::protocol_iterator PI = PD->protocol_begin(),
244        E = PD->protocol_end(); PI != E; ++PI)
245     Protocols.push_back((*PI)->getName());
246   llvm::SmallVector<llvm::Constant*, 16> InstanceMethodNames;
247   llvm::SmallVector<llvm::Constant*, 16> InstanceMethodTypes;
248   for (ObjCProtocolDecl::instmeth_iterator iter = PD->instmeth_begin(),
249        E = PD->instmeth_end(); iter != E; iter++) {
250     std::string TypeStr;
251     Context.getObjCEncodingForMethodDecl(*iter, TypeStr);
252     InstanceMethodNames.push_back(
253         GetAddrOfConstantString((*iter)->getSelector().getName()));
254     InstanceMethodTypes.push_back(GetAddrOfConstantString(TypeStr));
255   }
256   // Collect information about class methods:
257   llvm::SmallVector<llvm::Constant*, 16> ClassMethodNames;
258   llvm::SmallVector<llvm::Constant*, 16> ClassMethodTypes;
259   for (ObjCProtocolDecl::classmeth_iterator iter = PD->classmeth_begin(),
260       endIter = PD->classmeth_end() ; iter != endIter ; iter++) {
261     std::string TypeStr;
262     Context.getObjCEncodingForMethodDecl((*iter),TypeStr);
263     ClassMethodNames.push_back(
264         GetAddrOfConstantString((*iter)->getSelector().getName()));
265     ClassMethodTypes.push_back(GetAddrOfConstantString(TypeStr));
266   }
267   Runtime->GenerateProtocol(PD->getName(), Protocols, InstanceMethodNames,
268       InstanceMethodTypes, ClassMethodNames, ClassMethodTypes);
269 }
270 
271 void CodeGenModule::EmitObjCCategoryImpl(const ObjCCategoryImplDecl *OCD) {
272 
273   // Collect information about instance methods
274   llvm::SmallVector<Selector, 16> InstanceMethodSels;
275   llvm::SmallVector<llvm::Constant*, 16> InstanceMethodTypes;
276   for (ObjCCategoryDecl::instmeth_iterator iter = OCD->instmeth_begin(),
277       endIter = OCD->instmeth_end() ; iter != endIter ; iter++) {
278     InstanceMethodSels.push_back((*iter)->getSelector());
279     std::string TypeStr;
280     Context.getObjCEncodingForMethodDecl(*iter,TypeStr);
281     InstanceMethodTypes.push_back(GetAddrOfConstantString(TypeStr));
282   }
283 
284   // Collect information about class methods
285   llvm::SmallVector<Selector, 16> ClassMethodSels;
286   llvm::SmallVector<llvm::Constant*, 16> ClassMethodTypes;
287   for (ObjCCategoryDecl::classmeth_iterator iter = OCD->classmeth_begin(),
288       endIter = OCD->classmeth_end() ; iter != endIter ; iter++) {
289     ClassMethodSels.push_back((*iter)->getSelector());
290     std::string TypeStr;
291     Context.getObjCEncodingForMethodDecl(*iter,TypeStr);
292     ClassMethodTypes.push_back(GetAddrOfConstantString(TypeStr));
293   }
294 
295   // Collect the names of referenced protocols
296   llvm::SmallVector<std::string, 16> Protocols;
297   const ObjCInterfaceDecl *ClassDecl = OCD->getClassInterface();
298   const ObjCList<ObjCProtocolDecl> &Protos =ClassDecl->getReferencedProtocols();
299   for (ObjCList<ObjCProtocolDecl>::iterator I = Protos.begin(),
300        E = Protos.end(); I != E; ++I)
301     Protocols.push_back((*I)->getName());
302 
303   // Generate the category
304   Runtime->GenerateCategory(OCD->getClassInterface()->getName(),
305       OCD->getName(), InstanceMethodSels, InstanceMethodTypes,
306       ClassMethodSels, ClassMethodTypes, Protocols);
307 }
308 
309 void CodeGenModule::EmitObjCClassImplementation(
310     const ObjCImplementationDecl *OID) {
311   // Get the superclass name.
312   const ObjCInterfaceDecl * SCDecl = OID->getClassInterface()->getSuperClass();
313   const char * SCName = NULL;
314   if (SCDecl) {
315     SCName = SCDecl->getName();
316   }
317 
318   // Get the class name
319   ObjCInterfaceDecl * ClassDecl = (ObjCInterfaceDecl*)OID->getClassInterface();
320   const char * ClassName = ClassDecl->getName();
321 
322   // Get the size of instances.  For runtimes that support late-bound instances
323   // this should probably be something different (size just of instance
324   // varaibles in this class, not superclasses?).
325   int instanceSize = 0;
326   const llvm::Type *ObjTy;
327   if (!Runtime->LateBoundIVars()) {
328     ObjTy = getTypes().ConvertType(Context.getObjCInterfaceType(ClassDecl));
329     instanceSize = TheTargetData.getABITypeSize(ObjTy);
330   }
331 
332   // Collect information about instance variables.
333   llvm::SmallVector<llvm::Constant*, 16> IvarNames;
334   llvm::SmallVector<llvm::Constant*, 16> IvarTypes;
335   llvm::SmallVector<llvm::Constant*, 16> IvarOffsets;
336   const llvm::StructLayout *Layout =
337     TheTargetData.getStructLayout(cast<llvm::StructType>(ObjTy));
338   ObjTy = llvm::PointerType::getUnqual(ObjTy);
339   for (ObjCInterfaceDecl::ivar_iterator iter = ClassDecl->ivar_begin(),
340       endIter = ClassDecl->ivar_end() ; iter != endIter ; iter++) {
341       // Store the name
342       IvarNames.push_back(GetAddrOfConstantString((*iter)->getName()));
343       // Get the type encoding for this ivar
344       std::string TypeStr;
345       llvm::SmallVector<const RecordType *, 8> EncodingRecordTypes;
346       Context.getObjCEncodingForType((*iter)->getType(), TypeStr,
347                                      EncodingRecordTypes);
348       IvarTypes.push_back(GetAddrOfConstantString(TypeStr));
349       // Get the offset
350       int offset =
351         (int)Layout->getElementOffset(getTypes().getLLVMFieldNo(*iter));
352       IvarOffsets.push_back(
353           llvm::ConstantInt::get(llvm::Type::Int32Ty, offset));
354   }
355 
356   // Collect information about instance methods
357   llvm::SmallVector<Selector, 16> InstanceMethodSels;
358   llvm::SmallVector<llvm::Constant*, 16> InstanceMethodTypes;
359   for (ObjCImplementationDecl::instmeth_iterator iter = OID->instmeth_begin(),
360       endIter = OID->instmeth_end() ; iter != endIter ; iter++) {
361     InstanceMethodSels.push_back((*iter)->getSelector());
362     std::string TypeStr;
363     Context.getObjCEncodingForMethodDecl((*iter),TypeStr);
364     InstanceMethodTypes.push_back(GetAddrOfConstantString(TypeStr));
365   }
366 
367   // Collect information about class methods
368   llvm::SmallVector<Selector, 16> ClassMethodSels;
369   llvm::SmallVector<llvm::Constant*, 16> ClassMethodTypes;
370   for (ObjCImplementationDecl::classmeth_iterator iter = OID->classmeth_begin(),
371       endIter = OID->classmeth_end() ; iter != endIter ; iter++) {
372     ClassMethodSels.push_back((*iter)->getSelector());
373     std::string TypeStr;
374     Context.getObjCEncodingForMethodDecl((*iter),TypeStr);
375     ClassMethodTypes.push_back(GetAddrOfConstantString(TypeStr));
376   }
377   // Collect the names of referenced protocols
378   llvm::SmallVector<std::string, 16> Protocols;
379   const ObjCList<ObjCProtocolDecl> &Protos =ClassDecl->getReferencedProtocols();
380   for (ObjCList<ObjCProtocolDecl>::iterator I = Protos.begin(),
381        E = Protos.end(); I != E; ++I)
382     Protocols.push_back((*I)->getName());
383 
384   // Generate the category
385   Runtime->GenerateClass(ClassName, SCName, instanceSize, IvarNames, IvarTypes,
386                          IvarOffsets, InstanceMethodSels, InstanceMethodTypes,
387                          ClassMethodSels, ClassMethodTypes, Protocols);
388 }
389 
390 void CodeGenModule::EmitStatics() {
391   // Emit code for each used static decl encountered.  Since a previously unused
392   // static decl may become used during the generation of code for a static
393   // function, iterate until no changes are made.
394   bool Changed;
395   do {
396     Changed = false;
397     for (unsigned i = 0, e = StaticDecls.size(); i != e; ++i) {
398       const ValueDecl *D = StaticDecls[i];
399 
400       // Check if we have used a decl with the same name
401       // FIXME: The AST should have some sort of aggregate decls or
402       // global symbol map.
403       if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
404         if (!getModule().getFunction(FD->getName()))
405           continue;
406       } else {
407         if (!getModule().getNamedGlobal(cast<VarDecl>(D)->getName()))
408           continue;
409       }
410 
411       // Emit the definition.
412       EmitGlobalDefinition(D);
413 
414       // Erase the used decl from the list.
415       StaticDecls[i] = StaticDecls.back();
416       StaticDecls.pop_back();
417       --i;
418       --e;
419 
420       // Remember that we made a change.
421       Changed = true;
422     }
423   } while (Changed);
424 }
425 
426 /// EmitAnnotateAttr - Generate the llvm::ConstantStruct which contains the
427 /// annotation information for a given GlobalValue.  The annotation struct is
428 /// {i8 *, i8 *, i8 *, i32}.  The first field is a constant expression, the
429 /// GlobalValue being annotated.  The second filed is thee constant string
430 /// created from the AnnotateAttr's annotation.  The third field is a constant
431 /// string containing the name of the translation unit.  The fourth field is
432 /// the line number in the file of the annotated value declaration.
433 ///
434 /// FIXME: this does not unique the annotation string constants, as llvm-gcc
435 ///        appears to.
436 ///
437 llvm::Constant *CodeGenModule::EmitAnnotateAttr(llvm::GlobalValue *GV,
438                                                 const AnnotateAttr *AA,
439                                                 unsigned LineNo) {
440   llvm::Module *M = &getModule();
441 
442   // get [N x i8] constants for the annotation string, and the filename string
443   // which are the 2nd and 3rd elements of the global annotation structure.
444   const llvm::Type *SBP = llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
445   llvm::Constant *anno = llvm::ConstantArray::get(AA->getAnnotation(), true);
446   llvm::Constant *unit = llvm::ConstantArray::get(M->getModuleIdentifier(),
447                                                   true);
448 
449   // Get the two global values corresponding to the ConstantArrays we just
450   // created to hold the bytes of the strings.
451   llvm::GlobalValue *annoGV =
452   new llvm::GlobalVariable(anno->getType(), false,
453                            llvm::GlobalValue::InternalLinkage, anno,
454                            GV->getName() + ".str", M);
455   // translation unit name string, emitted into the llvm.metadata section.
456   llvm::GlobalValue *unitGV =
457   new llvm::GlobalVariable(unit->getType(), false,
458                            llvm::GlobalValue::InternalLinkage, unit, ".str", M);
459 
460   // Create the ConstantStruct that is the global annotion.
461   llvm::Constant *Fields[4] = {
462     llvm::ConstantExpr::getBitCast(GV, SBP),
463     llvm::ConstantExpr::getBitCast(annoGV, SBP),
464     llvm::ConstantExpr::getBitCast(unitGV, SBP),
465     llvm::ConstantInt::get(llvm::Type::Int32Ty, LineNo)
466   };
467   return llvm::ConstantStruct::get(Fields, 4, false);
468 }
469 
470 /// ReplaceMapValuesWith - This is a really slow and bad function that
471 /// searches for any entries in GlobalDeclMap that point to OldVal, changing
472 /// them to point to NewVal.  This is badbadbad, FIXME!
473 void CodeGenModule::ReplaceMapValuesWith(llvm::GlobalValue *OldVal,
474                                          llvm::GlobalValue *NewVal) {
475   for (llvm::DenseMap<const Decl*, llvm::GlobalValue*>::iterator
476        I = GlobalDeclMap.begin(), E = GlobalDeclMap.end(); I != E; ++I)
477     if (I->second == OldVal) I->second = NewVal;
478 }
479 
480 void CodeGenModule::EmitGlobal(const ValueDecl *Global) {
481   bool isDef, isStatic;
482 
483   if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(Global)) {
484     isDef = (FD->isThisDeclarationADefinition() ||
485              FD->getAttr<AliasAttr>());
486     isStatic = FD->getStorageClass() == FunctionDecl::Static;
487   } else if (const VarDecl *VD = cast<VarDecl>(Global)) {
488     assert(VD->isFileVarDecl() && "Cannot emit local var decl as global.");
489 
490     isDef = !(VD->getStorageClass() == VarDecl::Extern && VD->getInit() == 0);
491     isStatic = VD->getStorageClass() == VarDecl::Static;
492   } else {
493     assert(0 && "Invalid argument to EmitGlobal");
494     return;
495   }
496 
497   // Forward declarations are emitted lazily on first use.
498   if (!isDef)
499     return;
500 
501   // If the global is a static, defer code generation until later so
502   // we can easily omit unused statics.
503   if (isStatic) {
504     StaticDecls.push_back(Global);
505     return;
506   }
507 
508   // Otherwise emit the definition.
509   EmitGlobalDefinition(Global);
510 }
511 
512 void CodeGenModule::EmitGlobalDefinition(const ValueDecl *D) {
513   if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
514     EmitGlobalFunctionDefinition(FD);
515   } else if (const VarDecl *VD = dyn_cast<VarDecl>(D)) {
516     EmitGlobalVarDefinition(VD);
517   } else {
518     assert(0 && "Invalid argument to EmitGlobalDefinition()");
519   }
520 }
521 
522  llvm::Constant *CodeGenModule::GetAddrOfGlobalVar(const VarDecl *D) {
523   assert(D->hasGlobalStorage() && "Not a global variable");
524 
525   QualType ASTTy = D->getType();
526   const llvm::Type *Ty = getTypes().ConvertTypeForMem(ASTTy);
527   const llvm::Type *PTy = llvm::PointerType::get(Ty, ASTTy.getAddressSpace());
528 
529   // See if it is already in the map.
530   llvm::GlobalValue *&Entry = GlobalDeclMap[D];
531 
532   // If not look for an existing global (if this decl shadows another
533   // one) or lazily create a forward declaration.
534   if (!Entry) {
535     // Check to see if the global already exists.
536     llvm::GlobalVariable *GV = getModule().getGlobalVariable(D->getName(), true);
537 
538     // Create it if not.
539     if (!GV)
540       GV = new llvm::GlobalVariable(Ty, false,
541                                     llvm::GlobalValue::ExternalLinkage,
542                                     0, D->getName(), &getModule(), 0,
543                                     ASTTy.getAddressSpace());
544 
545     // Cache the entry.
546     Entry = GV;
547   }
548 
549   // Make sure the result is of the correct type.
550   return llvm::ConstantExpr::getBitCast(Entry, PTy);
551 }
552 
553 void CodeGenModule::EmitGlobalVarDefinition(const VarDecl *D) {
554   llvm::Constant *Init = 0;
555   QualType ASTTy = D->getType();
556   const llvm::Type *VarTy = getTypes().ConvertTypeForMem(ASTTy);
557 
558   if (D->getInit() == 0) {
559     // This is a tentative definition; tentative definitions are
560     // implicitly initialized with { 0 }
561     const llvm::Type* InitTy;
562     if (ASTTy->isIncompleteArrayType()) {
563       // An incomplete array is normally [ TYPE x 0 ], but we need
564       // to fix it to [ TYPE x 1 ].
565       const llvm::ArrayType* ATy = cast<llvm::ArrayType>(VarTy);
566       InitTy = llvm::ArrayType::get(ATy->getElementType(), 1);
567     } else {
568       InitTy = VarTy;
569     }
570     Init = llvm::Constant::getNullValue(InitTy);
571   } else {
572     Init = EmitConstantExpr(D->getInit());
573   }
574   const llvm::Type* InitType = Init->getType();
575 
576   llvm::GlobalVariable *GV = getModule().getGlobalVariable(D->getName(), true);
577 
578   if (!GV) {
579     GV = new llvm::GlobalVariable(InitType, false,
580                                   llvm::GlobalValue::ExternalLinkage,
581                                   0, D->getName(), &getModule(), 0,
582                                   ASTTy.getAddressSpace());
583   } else if (GV->getType()->getElementType() != InitType ||
584              GV->getType()->getAddressSpace() != ASTTy.getAddressSpace()) {
585     // We have a definition after a prototype with the wrong type.
586     // We must make a new GlobalVariable* and update everything that used OldGV
587     // (a declaration or tentative definition) with the new GlobalVariable*
588     // (which will be a definition).
589     //
590     // This happens if there is a prototype for a global (e.g. "extern int x[];")
591     // and then a definition of a different type (e.g. "int x[10];"). This also
592     // happens when an initializer has a different type from the type of the
593     // global (this happens with unions).
594     //
595     // FIXME: This also ends up happening if there's a definition followed by
596     // a tentative definition!  (Although Sema rejects that construct
597     // at the moment.)
598 
599     // Save the old global
600     llvm::GlobalVariable *OldGV = GV;
601 
602     // Make a new global with the correct type
603     GV = new llvm::GlobalVariable(InitType, false,
604                                   llvm::GlobalValue::ExternalLinkage,
605                                   0, D->getName(), &getModule(), 0,
606                                   ASTTy.getAddressSpace());
607     // Steal the name of the old global
608     GV->takeName(OldGV);
609 
610     // Replace all uses of the old global with the new global
611     llvm::Constant *NewPtrForOldDecl =
612         llvm::ConstantExpr::getBitCast(GV, OldGV->getType());
613     OldGV->replaceAllUsesWith(NewPtrForOldDecl);
614     // Make sure we don't keep around any stale references to globals
615     // FIXME: This is really slow; we need a better way to walk all
616     // the decls with the same name
617     ReplaceMapValuesWith(OldGV, GV);
618 
619     // Erase the old global, since it is no longer used.
620     OldGV->eraseFromParent();
621   }
622 
623   GlobalDeclMap[D] = GV;
624 
625   if (const AnnotateAttr *AA = D->getAttr<AnnotateAttr>()) {
626     SourceManager &SM = Context.getSourceManager();
627     AddAnnotation(EmitAnnotateAttr(GV, AA,
628                                    SM.getLogicalLineNumber(D->getLocation())));
629   }
630 
631   GV->setInitializer(Init);
632 
633   // FIXME: This is silly; getTypeAlign should just work for incomplete arrays
634   unsigned Align;
635   if (const IncompleteArrayType* IAT = D->getType()->getAsIncompleteArrayType())
636     Align = Context.getTypeAlign(IAT->getElementType());
637   else
638     Align = Context.getTypeAlign(D->getType());
639   if (const AlignedAttr* AA = D->getAttr<AlignedAttr>()) {
640     Align = std::max(Align, AA->getAlignment());
641   }
642   GV->setAlignment(Align / 8);
643 
644   if (const VisibilityAttr *attr = D->getAttr<VisibilityAttr>())
645     setVisibility(GV, attr->getVisibility());
646   // FIXME: else handle -fvisibility
647 
648   // Set the llvm linkage type as appropriate.
649   if (D->getStorageClass() == VarDecl::Static)
650     GV->setLinkage(llvm::Function::InternalLinkage);
651   else if (D->getAttr<DLLImportAttr>())
652     GV->setLinkage(llvm::Function::DLLImportLinkage);
653   else if (D->getAttr<DLLExportAttr>())
654     GV->setLinkage(llvm::Function::DLLExportLinkage);
655   else if (D->getAttr<WeakAttr>())
656     GV->setLinkage(llvm::GlobalVariable::WeakLinkage);
657   else {
658     // FIXME: This isn't right.  This should handle common linkage and other
659     // stuff.
660     switch (D->getStorageClass()) {
661     case VarDecl::Static: assert(0 && "This case handled above");
662     case VarDecl::Auto:
663     case VarDecl::Register:
664       assert(0 && "Can't have auto or register globals");
665     case VarDecl::None:
666       if (!D->getInit())
667         GV->setLinkage(llvm::GlobalVariable::CommonLinkage);
668       break;
669     case VarDecl::Extern:
670     case VarDecl::PrivateExtern:
671       // todo: common
672       break;
673     }
674   }
675 
676   // Emit global variable debug information.
677   CGDebugInfo *DI = getDebugInfo();
678   if(DI) {
679     if(D->getLocation().isValid())
680       DI->setLocation(D->getLocation());
681     DI->EmitGlobalVariable(GV, D);
682   }
683 }
684 
685 llvm::GlobalValue *
686 CodeGenModule::EmitForwardFunctionDefinition(const FunctionDecl *D) {
687   // FIXME: param attributes for sext/zext etc.
688   if (const AliasAttr *AA = D->getAttr<AliasAttr>()) {
689     assert(!D->getBody() && "Unexpected alias attr on function with body.");
690 
691     const std::string& aliaseeName = AA->getAliasee();
692     llvm::Function *aliasee = getModule().getFunction(aliaseeName);
693     llvm::GlobalValue *alias = new llvm::GlobalAlias(aliasee->getType(),
694                                               llvm::Function::ExternalLinkage,
695                                                      D->getName(),
696                                                      aliasee,
697                                                      &getModule());
698     SetGlobalValueAttributes(D, alias);
699     return alias;
700   } else {
701     const llvm::Type *Ty = getTypes().ConvertType(D->getType());
702     const llvm::FunctionType *FTy = cast<llvm::FunctionType>(Ty);
703     llvm::Function *F = llvm::Function::Create(FTy,
704                                                llvm::Function::ExternalLinkage,
705                                                D->getName(), &getModule());
706 
707     SetFunctionAttributes(D, F, FTy);
708     return F;
709   }
710 }
711 
712 llvm::Constant *CodeGenModule::GetAddrOfFunction(const FunctionDecl *D) {
713   QualType ASTTy = D->getType();
714   const llvm::Type *Ty = getTypes().ConvertTypeForMem(ASTTy);
715   const llvm::Type *PTy = llvm::PointerType::get(Ty, ASTTy.getAddressSpace());
716 
717   // See if it is already in the map.
718   llvm::GlobalValue *&Entry = GlobalDeclMap[D];
719 
720   // If not look for an existing global (if this decl shadows another
721   // one) or lazily create a forward declaration.
722   if (!Entry) {
723     // Check to see if the global already exists.
724     llvm::GlobalValue *GV = getModule().getFunction(D->getName());
725 
726     // Create it if not.
727     if (!GV)
728       GV = EmitForwardFunctionDefinition(D);
729 
730     // Cache the entry.
731     Entry = GV;
732   }
733 
734   return llvm::ConstantExpr::getBitCast(Entry, PTy);
735 }
736 
737 void CodeGenModule::EmitGlobalFunctionDefinition(const FunctionDecl *D) {
738   llvm::GlobalValue *&Entry = GlobalDeclMap[D];
739 
740   const llvm::Type *Ty = getTypes().ConvertType(D->getType());
741   const llvm::FunctionType *FTy = cast<llvm::FunctionType>(Ty);
742 
743   // Check to see if the function already exists.
744   llvm::Function *F = getModule().getFunction(D->getName());
745 
746   // If it doesn't already exist, just create and return an entry.
747   if (F == 0) {
748     Entry = EmitForwardFunctionDefinition(D);
749   } else {
750     // If the pointer type matches, just return it.
751     llvm::Type *PFTy = llvm::PointerType::getUnqual(Ty);
752     if (PFTy == F->getType()) {
753       Entry = F;
754     } else {
755       // Otherwise, we have a definition after a prototype with the wrong type.
756       // F is the Function* for the one with the wrong type, we must make a new
757       // Function* and update everything that used F (a declaration) with the new
758       // Function* (which will be a definition).
759       //
760       // This happens if there is a prototype for a function (e.g. "int f()") and
761       // then a definition of a different type (e.g. "int f(int x)").  Start by
762       // making a new function of the correct type, RAUW, then steal the name.
763       llvm::Function *NewFn = llvm::Function::Create(FTy,
764                                                      llvm::Function::ExternalLinkage,
765                                                      "", &getModule());
766       NewFn->takeName(F);
767 
768       // Replace uses of F with the Function we will endow with a body.
769       llvm::Constant *NewPtrForOldDecl =
770         llvm::ConstantExpr::getBitCast(NewFn, F->getType());
771       F->replaceAllUsesWith(NewPtrForOldDecl);
772 
773       // FIXME: Update the globaldeclmap for the previous decl of this name.  We
774       // really want a way to walk all of these, but we don't have it yet.  This
775       // is incredibly slow!
776       ReplaceMapValuesWith(F, NewFn);
777 
778       // Ok, delete the old function now, which is dead.
779       assert(F->isDeclaration() && "Shouldn't replace non-declaration");
780       F->eraseFromParent();
781 
782       SetFunctionAttributes(D, NewFn, FTy);
783       // Return the new function which has the right type.
784       Entry = NewFn;
785     }
786   }
787 
788   if (D->getAttr<AliasAttr>()) {
789     ;
790   } else {
791     llvm::Function *Fn = cast<llvm::Function>(Entry);
792     CodeGenFunction(*this).GenerateCode(D, Fn);
793 
794     if (const ConstructorAttr *CA = D->getAttr<ConstructorAttr>()) {
795       AddGlobalCtor(Fn, CA->getPriority());
796     } else if (const DestructorAttr *DA = D->getAttr<DestructorAttr>()) {
797       AddGlobalDtor(Fn, DA->getPriority());
798     }
799   }
800 }
801 
802 void CodeGenModule::UpdateCompletedType(const TagDecl *TD) {
803   // Make sure that this type is translated.
804   Types.UpdateCompletedType(TD);
805 }
806 
807 
808 /// getBuiltinLibFunction
809 llvm::Function *CodeGenModule::getBuiltinLibFunction(unsigned BuiltinID) {
810   if (BuiltinID > BuiltinFunctions.size())
811     BuiltinFunctions.resize(BuiltinID);
812 
813   // Cache looked up functions.  Since builtin id #0 is invalid we don't reserve
814   // a slot for it.
815   assert(BuiltinID && "Invalid Builtin ID");
816   llvm::Function *&FunctionSlot = BuiltinFunctions[BuiltinID-1];
817   if (FunctionSlot)
818     return FunctionSlot;
819 
820   assert(Context.BuiltinInfo.isLibFunction(BuiltinID) && "isn't a lib fn");
821 
822   // Get the name, skip over the __builtin_ prefix.
823   const char *Name = Context.BuiltinInfo.GetName(BuiltinID)+10;
824 
825   // Get the type for the builtin.
826   QualType Type = Context.BuiltinInfo.GetBuiltinType(BuiltinID, Context);
827   const llvm::FunctionType *Ty =
828     cast<llvm::FunctionType>(getTypes().ConvertType(Type));
829 
830   // FIXME: This has a serious problem with code like this:
831   //  void abs() {}
832   //    ... __builtin_abs(x);
833   // The two versions of abs will collide.  The fix is for the builtin to win,
834   // and for the existing one to be turned into a constantexpr cast of the
835   // builtin.  In the case where the existing one is a static function, it
836   // should just be renamed.
837   if (llvm::Function *Existing = getModule().getFunction(Name)) {
838     if (Existing->getFunctionType() == Ty && Existing->hasExternalLinkage())
839       return FunctionSlot = Existing;
840     assert(Existing == 0 && "FIXME: Name collision");
841   }
842 
843   // FIXME: param attributes for sext/zext etc.
844   return FunctionSlot =
845     llvm::Function::Create(Ty, llvm::Function::ExternalLinkage, Name,
846                            &getModule());
847 }
848 
849 llvm::Function *CodeGenModule::getIntrinsic(unsigned IID,const llvm::Type **Tys,
850                                             unsigned NumTys) {
851   return llvm::Intrinsic::getDeclaration(&getModule(),
852                                          (llvm::Intrinsic::ID)IID, Tys, NumTys);
853 }
854 
855 llvm::Function *CodeGenModule::getMemCpyFn() {
856   if (MemCpyFn) return MemCpyFn;
857   llvm::Intrinsic::ID IID;
858   switch (Context.Target.getPointerWidth(0)) {
859   default: assert(0 && "Unknown ptr width");
860   case 32: IID = llvm::Intrinsic::memcpy_i32; break;
861   case 64: IID = llvm::Intrinsic::memcpy_i64; break;
862   }
863   return MemCpyFn = getIntrinsic(IID);
864 }
865 
866 llvm::Function *CodeGenModule::getMemMoveFn() {
867   if (MemMoveFn) return MemMoveFn;
868   llvm::Intrinsic::ID IID;
869   switch (Context.Target.getPointerWidth(0)) {
870   default: assert(0 && "Unknown ptr width");
871   case 32: IID = llvm::Intrinsic::memmove_i32; break;
872   case 64: IID = llvm::Intrinsic::memmove_i64; break;
873   }
874   return MemMoveFn = getIntrinsic(IID);
875 }
876 
877 llvm::Function *CodeGenModule::getMemSetFn() {
878   if (MemSetFn) return MemSetFn;
879   llvm::Intrinsic::ID IID;
880   switch (Context.Target.getPointerWidth(0)) {
881   default: assert(0 && "Unknown ptr width");
882   case 32: IID = llvm::Intrinsic::memset_i32; break;
883   case 64: IID = llvm::Intrinsic::memset_i64; break;
884   }
885   return MemSetFn = getIntrinsic(IID);
886 }
887 
888 // FIXME: This needs moving into an Apple Objective-C runtime class
889 llvm::Constant *CodeGenModule::
890 GetAddrOfConstantCFString(const std::string &str) {
891   llvm::StringMapEntry<llvm::Constant *> &Entry =
892     CFConstantStringMap.GetOrCreateValue(&str[0], &str[str.length()]);
893 
894   if (Entry.getValue())
895     return Entry.getValue();
896 
897   std::vector<llvm::Constant*> Fields;
898 
899   if (!CFConstantStringClassRef) {
900     const llvm::Type *Ty = getTypes().ConvertType(getContext().IntTy);
901     Ty = llvm::ArrayType::get(Ty, 0);
902 
903     CFConstantStringClassRef =
904       new llvm::GlobalVariable(Ty, false,
905                                llvm::GlobalVariable::ExternalLinkage, 0,
906                                "__CFConstantStringClassReference",
907                                &getModule());
908   }
909 
910   // Class pointer.
911   llvm::Constant *Zero = llvm::Constant::getNullValue(llvm::Type::Int32Ty);
912   llvm::Constant *Zeros[] = { Zero, Zero };
913   llvm::Constant *C =
914     llvm::ConstantExpr::getGetElementPtr(CFConstantStringClassRef, Zeros, 2);
915   Fields.push_back(C);
916 
917   // Flags.
918   const llvm::Type *Ty = getTypes().ConvertType(getContext().IntTy);
919   Fields.push_back(llvm::ConstantInt::get(Ty, 1992));
920 
921   // String pointer.
922   C = llvm::ConstantArray::get(str);
923   C = new llvm::GlobalVariable(C->getType(), true,
924                                llvm::GlobalValue::InternalLinkage,
925                                C, ".str", &getModule());
926 
927   C = llvm::ConstantExpr::getGetElementPtr(C, Zeros, 2);
928   Fields.push_back(C);
929 
930   // String length.
931   Ty = getTypes().ConvertType(getContext().LongTy);
932   Fields.push_back(llvm::ConstantInt::get(Ty, str.length()));
933 
934   // The struct.
935   Ty = getTypes().ConvertType(getContext().getCFConstantStringType());
936   C = llvm::ConstantStruct::get(cast<llvm::StructType>(Ty), Fields);
937   llvm::GlobalVariable *GV =
938     new llvm::GlobalVariable(C->getType(), true,
939                              llvm::GlobalVariable::InternalLinkage,
940                              C, "", &getModule());
941   GV->setSection("__DATA,__cfstring");
942   Entry.setValue(GV);
943   return GV;
944 }
945 
946 /// GenerateWritableString -- Creates storage for a string literal.
947 static llvm::Constant *GenerateStringLiteral(const std::string &str,
948                                              bool constant,
949                                              CodeGenModule &CGM) {
950   // Create Constant for this string literal
951   llvm::Constant *C=llvm::ConstantArray::get(str);
952 
953   // Create a global variable for this string
954   C = new llvm::GlobalVariable(C->getType(), constant,
955                                llvm::GlobalValue::InternalLinkage,
956                                C, ".str", &CGM.getModule());
957   return C;
958 }
959 
960 /// CodeGenModule::GetAddrOfConstantString -- returns a pointer to the character
961 /// array containing the literal.  The result is pointer to array type.
962 llvm::Constant *CodeGenModule::GetAddrOfConstantString(const std::string &str) {
963   // Don't share any string literals if writable-strings is turned on.
964   if (Features.WritableStrings)
965     return GenerateStringLiteral(str, false, *this);
966 
967   llvm::StringMapEntry<llvm::Constant *> &Entry =
968   ConstantStringMap.GetOrCreateValue(&str[0], &str[str.length()]);
969 
970   if (Entry.getValue())
971       return Entry.getValue();
972 
973   // Create a global variable for this.
974   llvm::Constant *C = GenerateStringLiteral(str, true, *this);
975   Entry.setValue(C);
976   return C;
977 }
978