1 //===--- CodeGenModule.h - Per-Module state for LLVM CodeGen ----*- C++ -*-===//
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 is the internal per-translation-unit state used for llvm translation.
11 //
12 //===----------------------------------------------------------------------===//
13 
14 #ifndef LLVM_CLANG_LIB_CODEGEN_CODEGENMODULE_H
15 #define LLVM_CLANG_LIB_CODEGEN_CODEGENMODULE_H
16 
17 #include "CGVTables.h"
18 #include "CodeGenTypeCache.h"
19 #include "CodeGenTypes.h"
20 #include "SanitizerMetadata.h"
21 #include "clang/AST/Attr.h"
22 #include "clang/AST/DeclCXX.h"
23 #include "clang/AST/DeclObjC.h"
24 #include "clang/AST/GlobalDecl.h"
25 #include "clang/AST/Mangle.h"
26 #include "clang/Basic/ABI.h"
27 #include "clang/Basic/LangOptions.h"
28 #include "clang/Basic/Module.h"
29 #include "clang/Basic/SanitizerBlacklist.h"
30 #include "llvm/ADT/DenseMap.h"
31 #include "llvm/ADT/SetVector.h"
32 #include "llvm/ADT/SmallPtrSet.h"
33 #include "llvm/ADT/StringMap.h"
34 #include "llvm/IR/Module.h"
35 #include "llvm/IR/ValueHandle.h"
36 
37 namespace llvm {
38 class Module;
39 class Constant;
40 class ConstantInt;
41 class Function;
42 class GlobalValue;
43 class DataLayout;
44 class FunctionType;
45 class LLVMContext;
46 class IndexedInstrProfReader;
47 }
48 
49 namespace clang {
50 class TargetCodeGenInfo;
51 class ASTContext;
52 class AtomicType;
53 class FunctionDecl;
54 class IdentifierInfo;
55 class ObjCMethodDecl;
56 class ObjCImplementationDecl;
57 class ObjCCategoryImplDecl;
58 class ObjCProtocolDecl;
59 class ObjCEncodeExpr;
60 class BlockExpr;
61 class CharUnits;
62 class Decl;
63 class Expr;
64 class Stmt;
65 class InitListExpr;
66 class StringLiteral;
67 class NamedDecl;
68 class ValueDecl;
69 class VarDecl;
70 class LangOptions;
71 class CodeGenOptions;
72 class HeaderSearchOptions;
73 class PreprocessorOptions;
74 class DiagnosticsEngine;
75 class AnnotateAttr;
76 class CXXDestructorDecl;
77 class Module;
78 class CoverageSourceInfo;
79 
80 namespace CodeGen {
81 
82 class CallArgList;
83 class CodeGenFunction;
84 class CodeGenTBAA;
85 class CGCXXABI;
86 class CGDebugInfo;
87 class CGObjCRuntime;
88 class CGOpenCLRuntime;
89 class CGOpenMPRuntime;
90 class CGCUDARuntime;
91 class BlockFieldFlags;
92 class FunctionArgList;
93 class CoverageMappingModuleGen;
94 
95 struct OrderGlobalInits {
96   unsigned int priority;
97   unsigned int lex_order;
98   OrderGlobalInits(unsigned int p, unsigned int l)
99       : priority(p), lex_order(l) {}
100 
101   bool operator==(const OrderGlobalInits &RHS) const {
102     return priority == RHS.priority && lex_order == RHS.lex_order;
103   }
104 
105   bool operator<(const OrderGlobalInits &RHS) const {
106     return std::tie(priority, lex_order) <
107            std::tie(RHS.priority, RHS.lex_order);
108   }
109 };
110 
111 struct RREntrypoints {
112   RREntrypoints() { memset(this, 0, sizeof(*this)); }
113   /// void objc_autoreleasePoolPop(void*);
114   llvm::Constant *objc_autoreleasePoolPop;
115 
116   /// void *objc_autoreleasePoolPush(void);
117   llvm::Constant *objc_autoreleasePoolPush;
118 };
119 
120 struct ARCEntrypoints {
121   ARCEntrypoints() { memset(this, 0, sizeof(*this)); }
122 
123   /// id objc_autorelease(id);
124   llvm::Constant *objc_autorelease;
125 
126   /// id objc_autoreleaseReturnValue(id);
127   llvm::Constant *objc_autoreleaseReturnValue;
128 
129   /// void objc_copyWeak(id *dest, id *src);
130   llvm::Constant *objc_copyWeak;
131 
132   /// void objc_destroyWeak(id*);
133   llvm::Constant *objc_destroyWeak;
134 
135   /// id objc_initWeak(id*, id);
136   llvm::Constant *objc_initWeak;
137 
138   /// id objc_loadWeak(id*);
139   llvm::Constant *objc_loadWeak;
140 
141   /// id objc_loadWeakRetained(id*);
142   llvm::Constant *objc_loadWeakRetained;
143 
144   /// void objc_moveWeak(id *dest, id *src);
145   llvm::Constant *objc_moveWeak;
146 
147   /// id objc_retain(id);
148   llvm::Constant *objc_retain;
149 
150   /// id objc_retainAutorelease(id);
151   llvm::Constant *objc_retainAutorelease;
152 
153   /// id objc_retainAutoreleaseReturnValue(id);
154   llvm::Constant *objc_retainAutoreleaseReturnValue;
155 
156   /// id objc_retainAutoreleasedReturnValue(id);
157   llvm::Constant *objc_retainAutoreleasedReturnValue;
158 
159   /// id objc_retainBlock(id);
160   llvm::Constant *objc_retainBlock;
161 
162   /// void objc_release(id);
163   llvm::Constant *objc_release;
164 
165   /// id objc_storeStrong(id*, id);
166   llvm::Constant *objc_storeStrong;
167 
168   /// id objc_storeWeak(id*, id);
169   llvm::Constant *objc_storeWeak;
170 
171   /// A void(void) inline asm to use to mark that the return value of
172   /// a call will be immediately retain.
173   llvm::InlineAsm *retainAutoreleasedReturnValueMarker;
174 
175   /// void clang.arc.use(...);
176   llvm::Constant *clang_arc_use;
177 };
178 
179 /// This class records statistics on instrumentation based profiling.
180 class InstrProfStats {
181   uint32_t VisitedInMainFile;
182   uint32_t MissingInMainFile;
183   uint32_t Visited;
184   uint32_t Missing;
185   uint32_t Mismatched;
186 
187 public:
188   InstrProfStats()
189       : VisitedInMainFile(0), MissingInMainFile(0), Visited(0), Missing(0),
190         Mismatched(0) {}
191   /// Record that we've visited a function and whether or not that function was
192   /// in the main source file.
193   void addVisited(bool MainFile) {
194     if (MainFile)
195       ++VisitedInMainFile;
196     ++Visited;
197   }
198   /// Record that a function we've visited has no profile data.
199   void addMissing(bool MainFile) {
200     if (MainFile)
201       ++MissingInMainFile;
202     ++Missing;
203   }
204   /// Record that a function we've visited has mismatched profile data.
205   void addMismatched(bool MainFile) { ++Mismatched; }
206   /// Whether or not the stats we've gathered indicate any potential problems.
207   bool hasDiagnostics() { return Missing || Mismatched; }
208   /// Report potential problems we've found to \c Diags.
209   void reportDiagnostics(DiagnosticsEngine &Diags, StringRef MainFile);
210 };
211 
212 /// A pair of helper functions for a __block variable.
213 class BlockByrefHelpers : public llvm::FoldingSetNode {
214   // MSVC requires this type to be complete in order to process this
215   // header.
216 public:
217   llvm::Constant *CopyHelper;
218   llvm::Constant *DisposeHelper;
219 
220   /// The alignment of the field.  This is important because
221   /// different offsets to the field within the byref struct need to
222   /// have different helper functions.
223   CharUnits Alignment;
224 
225   BlockByrefHelpers(CharUnits alignment) : Alignment(alignment) {}
226   BlockByrefHelpers(const BlockByrefHelpers &) = default;
227   virtual ~BlockByrefHelpers();
228 
229   void Profile(llvm::FoldingSetNodeID &id) const {
230     id.AddInteger(Alignment.getQuantity());
231     profileImpl(id);
232   }
233   virtual void profileImpl(llvm::FoldingSetNodeID &id) const = 0;
234 
235   virtual bool needsCopy() const { return true; }
236   virtual void emitCopy(CodeGenFunction &CGF, Address dest, Address src) = 0;
237 
238   virtual bool needsDispose() const { return true; }
239   virtual void emitDispose(CodeGenFunction &CGF, Address field) = 0;
240 };
241 
242 /// This class organizes the cross-function state that is used while generating
243 /// LLVM code.
244 class CodeGenModule : public CodeGenTypeCache {
245   CodeGenModule(const CodeGenModule &) = delete;
246   void operator=(const CodeGenModule &) = delete;
247 
248 public:
249   struct Structor {
250     Structor() : Priority(0), Initializer(nullptr), AssociatedData(nullptr) {}
251     Structor(int Priority, llvm::Constant *Initializer,
252              llvm::Constant *AssociatedData)
253         : Priority(Priority), Initializer(Initializer),
254           AssociatedData(AssociatedData) {}
255     int Priority;
256     llvm::Constant *Initializer;
257     llvm::Constant *AssociatedData;
258   };
259 
260   typedef std::vector<Structor> CtorList;
261 
262 private:
263   ASTContext &Context;
264   const LangOptions &LangOpts;
265   const HeaderSearchOptions &HeaderSearchOpts; // Only used for debug info.
266   const PreprocessorOptions &PreprocessorOpts; // Only used for debug info.
267   const CodeGenOptions &CodeGenOpts;
268   llvm::Module &TheModule;
269   DiagnosticsEngine &Diags;
270   const TargetInfo &Target;
271   std::unique_ptr<CGCXXABI> ABI;
272   llvm::LLVMContext &VMContext;
273 
274   CodeGenTBAA *TBAA;
275 
276   mutable const TargetCodeGenInfo *TheTargetCodeGenInfo;
277 
278   // This should not be moved earlier, since its initialization depends on some
279   // of the previous reference members being already initialized and also checks
280   // if TheTargetCodeGenInfo is NULL
281   CodeGenTypes Types;
282 
283   /// Holds information about C++ vtables.
284   CodeGenVTables VTables;
285 
286   CGObjCRuntime* ObjCRuntime;
287   CGOpenCLRuntime* OpenCLRuntime;
288   CGOpenMPRuntime* OpenMPRuntime;
289   CGCUDARuntime* CUDARuntime;
290   CGDebugInfo* DebugInfo;
291   ARCEntrypoints *ARCData;
292   llvm::MDNode *NoObjCARCExceptionsMetadata;
293   RREntrypoints *RRData;
294   std::unique_ptr<llvm::IndexedInstrProfReader> PGOReader;
295   InstrProfStats PGOStats;
296 
297   // A set of references that have only been seen via a weakref so far. This is
298   // used to remove the weak of the reference if we ever see a direct reference
299   // or a definition.
300   llvm::SmallPtrSet<llvm::GlobalValue*, 10> WeakRefReferences;
301 
302   /// This contains all the decls which have definitions but/ which are deferred
303   /// for emission and therefore should only be output if they are actually
304   /// used. If a decl is in this, then it is known to have not been referenced
305   /// yet.
306   std::map<StringRef, GlobalDecl> DeferredDecls;
307 
308   /// This is a list of deferred decls which we have seen that *are* actually
309   /// referenced. These get code generated when the module is done.
310   struct DeferredGlobal {
311     DeferredGlobal(llvm::GlobalValue *GV, GlobalDecl GD) : GV(GV), GD(GD) {}
312     llvm::TrackingVH<llvm::GlobalValue> GV;
313     GlobalDecl GD;
314   };
315   std::vector<DeferredGlobal> DeferredDeclsToEmit;
316   void addDeferredDeclToEmit(llvm::GlobalValue *GV, GlobalDecl GD) {
317     DeferredDeclsToEmit.emplace_back(GV, GD);
318   }
319 
320   /// List of alias we have emitted. Used to make sure that what they point to
321   /// is defined once we get to the end of the of the translation unit.
322   std::vector<GlobalDecl> Aliases;
323 
324   typedef llvm::StringMap<llvm::TrackingVH<llvm::Constant> > ReplacementsTy;
325   ReplacementsTy Replacements;
326 
327   /// List of global values to be replaced with something else. Used when we
328   /// want to replace a GlobalValue but can't identify it by its mangled name
329   /// anymore (because the name is already taken).
330   llvm::SmallVector<std::pair<llvm::GlobalValue *, llvm::Constant *>, 8>
331     GlobalValReplacements;
332 
333   /// Set of global decls for which we already diagnosed mangled name conflict.
334   /// Required to not issue a warning (on a mangling conflict) multiple times
335   /// for the same decl.
336   llvm::DenseSet<GlobalDecl> DiagnosedConflictingDefinitions;
337 
338   /// A queue of (optional) vtables to consider emitting.
339   std::vector<const CXXRecordDecl*> DeferredVTables;
340 
341   /// List of global values which are required to be present in the object file;
342   /// bitcast to i8*. This is used for forcing visibility of symbols which may
343   /// otherwise be optimized out.
344   std::vector<llvm::WeakVH> LLVMUsed;
345   std::vector<llvm::WeakVH> LLVMCompilerUsed;
346 
347   /// Store the list of global constructors and their respective priorities to
348   /// be emitted when the translation unit is complete.
349   CtorList GlobalCtors;
350 
351   /// Store the list of global destructors and their respective priorities to be
352   /// emitted when the translation unit is complete.
353   CtorList GlobalDtors;
354 
355   /// An ordered map of canonical GlobalDecls to their mangled names.
356   llvm::MapVector<GlobalDecl, StringRef> MangledDeclNames;
357   llvm::StringMap<GlobalDecl, llvm::BumpPtrAllocator> Manglings;
358 
359   /// Global annotations.
360   std::vector<llvm::Constant*> Annotations;
361 
362   /// Map used to get unique annotation strings.
363   llvm::StringMap<llvm::Constant*> AnnotationStrings;
364 
365   llvm::StringMap<llvm::GlobalVariable *> CFConstantStringMap;
366 
367   llvm::DenseMap<llvm::Constant *, llvm::GlobalVariable *> ConstantStringMap;
368   llvm::DenseMap<const Decl*, llvm::Constant *> StaticLocalDeclMap;
369   llvm::DenseMap<const Decl*, llvm::GlobalVariable*> StaticLocalDeclGuardMap;
370   llvm::DenseMap<const Expr*, llvm::Constant *> MaterializedGlobalTemporaryMap;
371 
372   llvm::DenseMap<QualType, llvm::Constant *> AtomicSetterHelperFnMap;
373   llvm::DenseMap<QualType, llvm::Constant *> AtomicGetterHelperFnMap;
374 
375   /// Map used to get unique type descriptor constants for sanitizers.
376   llvm::DenseMap<QualType, llvm::Constant *> TypeDescriptorMap;
377 
378   /// Map used to track internal linkage functions declared within
379   /// extern "C" regions.
380   typedef llvm::MapVector<IdentifierInfo *,
381                           llvm::GlobalValue *> StaticExternCMap;
382   StaticExternCMap StaticExternCValues;
383 
384   /// \brief thread_local variables defined or used in this TU.
385   std::vector<std::pair<const VarDecl *, llvm::GlobalVariable *> >
386     CXXThreadLocals;
387 
388   /// \brief thread_local variables with initializers that need to run
389   /// before any thread_local variable in this TU is odr-used.
390   std::vector<llvm::Function *> CXXThreadLocalInits;
391   std::vector<llvm::GlobalVariable *> CXXThreadLocalInitVars;
392 
393   /// Global variables with initializers that need to run before main.
394   std::vector<llvm::Function *> CXXGlobalInits;
395 
396   /// When a C++ decl with an initializer is deferred, null is
397   /// appended to CXXGlobalInits, and the index of that null is placed
398   /// here so that the initializer will be performed in the correct
399   /// order. Once the decl is emitted, the index is replaced with ~0U to ensure
400   /// that we don't re-emit the initializer.
401   llvm::DenseMap<const Decl*, unsigned> DelayedCXXInitPosition;
402 
403   typedef std::pair<OrderGlobalInits, llvm::Function*> GlobalInitData;
404 
405   struct GlobalInitPriorityCmp {
406     bool operator()(const GlobalInitData &LHS,
407                     const GlobalInitData &RHS) const {
408       return LHS.first.priority < RHS.first.priority;
409     }
410   };
411 
412   /// Global variables with initializers whose order of initialization is set by
413   /// init_priority attribute.
414   SmallVector<GlobalInitData, 8> PrioritizedCXXGlobalInits;
415 
416   /// Global destructor functions and arguments that need to run on termination.
417   std::vector<std::pair<llvm::WeakVH,llvm::Constant*> > CXXGlobalDtors;
418 
419   /// \brief The complete set of modules that has been imported.
420   llvm::SetVector<clang::Module *> ImportedModules;
421 
422   /// \brief A vector of metadata strings.
423   SmallVector<llvm::Metadata *, 16> LinkerOptionsMetadata;
424 
425   /// @name Cache for Objective-C runtime types
426   /// @{
427 
428   /// Cached reference to the class for constant strings. This value has type
429   /// int * but is actually an Obj-C class pointer.
430   llvm::WeakVH CFConstantStringClassRef;
431 
432   /// Cached reference to the class for constant strings. This value has type
433   /// int * but is actually an Obj-C class pointer.
434   llvm::WeakVH ConstantStringClassRef;
435 
436   /// \brief The LLVM type corresponding to NSConstantString.
437   llvm::StructType *NSConstantStringType;
438 
439   /// \brief The type used to describe the state of a fast enumeration in
440   /// Objective-C's for..in loop.
441   QualType ObjCFastEnumerationStateType;
442 
443   /// @}
444 
445   /// Lazily create the Objective-C runtime
446   void createObjCRuntime();
447 
448   void createOpenCLRuntime();
449   void createOpenMPRuntime();
450   void createCUDARuntime();
451 
452   bool isTriviallyRecursive(const FunctionDecl *F);
453   bool shouldEmitFunction(GlobalDecl GD);
454 
455   /// @name Cache for Blocks Runtime Globals
456   /// @{
457 
458   llvm::Constant *NSConcreteGlobalBlock;
459   llvm::Constant *NSConcreteStackBlock;
460 
461   llvm::Constant *BlockObjectAssign;
462   llvm::Constant *BlockObjectDispose;
463 
464   llvm::Type *BlockDescriptorType;
465   llvm::Type *GenericBlockLiteralType;
466 
467   struct {
468     int GlobalUniqueCount;
469   } Block;
470 
471   /// void @llvm.lifetime.start(i64 %size, i8* nocapture <ptr>)
472   llvm::Constant *LifetimeStartFn;
473 
474   /// void @llvm.lifetime.end(i64 %size, i8* nocapture <ptr>)
475   llvm::Constant *LifetimeEndFn;
476 
477   GlobalDecl initializedGlobalDecl;
478 
479   std::unique_ptr<SanitizerMetadata> SanitizerMD;
480 
481   /// @}
482 
483   llvm::DenseMap<const Decl *, bool> DeferredEmptyCoverageMappingDecls;
484 
485   std::unique_ptr<CoverageMappingModuleGen> CoverageMapping;
486 
487   /// Mapping from canonical types to their metadata identifiers. We need to
488   /// maintain this mapping because identifiers may be formed from distinct
489   /// MDNodes.
490   llvm::DenseMap<QualType, llvm::Metadata *> MetadataIdMap;
491 
492 public:
493   CodeGenModule(ASTContext &C, const HeaderSearchOptions &headersearchopts,
494                 const PreprocessorOptions &ppopts,
495                 const CodeGenOptions &CodeGenOpts, llvm::Module &M,
496                 DiagnosticsEngine &Diags,
497                 CoverageSourceInfo *CoverageInfo = nullptr);
498 
499   ~CodeGenModule();
500 
501   void clear();
502 
503   /// Finalize LLVM code generation.
504   void Release();
505 
506   /// Return a reference to the configured Objective-C runtime.
507   CGObjCRuntime &getObjCRuntime() {
508     if (!ObjCRuntime) createObjCRuntime();
509     return *ObjCRuntime;
510   }
511 
512   /// Return true iff an Objective-C runtime has been configured.
513   bool hasObjCRuntime() { return !!ObjCRuntime; }
514 
515   /// Return a reference to the configured OpenCL runtime.
516   CGOpenCLRuntime &getOpenCLRuntime() {
517     assert(OpenCLRuntime != nullptr);
518     return *OpenCLRuntime;
519   }
520 
521   /// Return a reference to the configured OpenMP runtime.
522   CGOpenMPRuntime &getOpenMPRuntime() {
523     assert(OpenMPRuntime != nullptr);
524     return *OpenMPRuntime;
525   }
526 
527   /// Return a reference to the configured CUDA runtime.
528   CGCUDARuntime &getCUDARuntime() {
529     assert(CUDARuntime != nullptr);
530     return *CUDARuntime;
531   }
532 
533   ARCEntrypoints &getARCEntrypoints() const {
534     assert(getLangOpts().ObjCAutoRefCount && ARCData != nullptr);
535     return *ARCData;
536   }
537 
538   RREntrypoints &getRREntrypoints() const {
539     assert(RRData != nullptr);
540     return *RRData;
541   }
542 
543   InstrProfStats &getPGOStats() { return PGOStats; }
544   llvm::IndexedInstrProfReader *getPGOReader() const { return PGOReader.get(); }
545 
546   CoverageMappingModuleGen *getCoverageMapping() const {
547     return CoverageMapping.get();
548   }
549 
550   llvm::Constant *getStaticLocalDeclAddress(const VarDecl *D) {
551     return StaticLocalDeclMap[D];
552   }
553   void setStaticLocalDeclAddress(const VarDecl *D,
554                                  llvm::Constant *C) {
555     StaticLocalDeclMap[D] = C;
556   }
557 
558   llvm::Constant *
559   getOrCreateStaticVarDecl(const VarDecl &D,
560                            llvm::GlobalValue::LinkageTypes Linkage);
561 
562   llvm::GlobalVariable *getStaticLocalDeclGuardAddress(const VarDecl *D) {
563     return StaticLocalDeclGuardMap[D];
564   }
565   void setStaticLocalDeclGuardAddress(const VarDecl *D,
566                                       llvm::GlobalVariable *C) {
567     StaticLocalDeclGuardMap[D] = C;
568   }
569 
570   bool lookupRepresentativeDecl(StringRef MangledName,
571                                 GlobalDecl &Result) const;
572 
573   llvm::Constant *getAtomicSetterHelperFnMap(QualType Ty) {
574     return AtomicSetterHelperFnMap[Ty];
575   }
576   void setAtomicSetterHelperFnMap(QualType Ty,
577                             llvm::Constant *Fn) {
578     AtomicSetterHelperFnMap[Ty] = Fn;
579   }
580 
581   llvm::Constant *getAtomicGetterHelperFnMap(QualType Ty) {
582     return AtomicGetterHelperFnMap[Ty];
583   }
584   void setAtomicGetterHelperFnMap(QualType Ty,
585                             llvm::Constant *Fn) {
586     AtomicGetterHelperFnMap[Ty] = Fn;
587   }
588 
589   llvm::Constant *getTypeDescriptorFromMap(QualType Ty) {
590     return TypeDescriptorMap[Ty];
591   }
592   void setTypeDescriptorInMap(QualType Ty, llvm::Constant *C) {
593     TypeDescriptorMap[Ty] = C;
594   }
595 
596   CGDebugInfo *getModuleDebugInfo() { return DebugInfo; }
597 
598   llvm::MDNode *getNoObjCARCExceptionsMetadata() {
599     if (!NoObjCARCExceptionsMetadata)
600       NoObjCARCExceptionsMetadata = llvm::MDNode::get(getLLVMContext(), None);
601     return NoObjCARCExceptionsMetadata;
602   }
603 
604   ASTContext &getContext() const { return Context; }
605   const LangOptions &getLangOpts() const { return LangOpts; }
606   const HeaderSearchOptions &getHeaderSearchOpts()
607     const { return HeaderSearchOpts; }
608   const PreprocessorOptions &getPreprocessorOpts()
609     const { return PreprocessorOpts; }
610   const CodeGenOptions &getCodeGenOpts() const { return CodeGenOpts; }
611   llvm::Module &getModule() const { return TheModule; }
612   DiagnosticsEngine &getDiags() const { return Diags; }
613   const llvm::DataLayout &getDataLayout() const {
614     return TheModule.getDataLayout();
615   }
616   const TargetInfo &getTarget() const { return Target; }
617   const llvm::Triple &getTriple() const;
618   bool supportsCOMDAT() const;
619   void maybeSetTrivialComdat(const Decl &D, llvm::GlobalObject &GO);
620 
621   CGCXXABI &getCXXABI() const { return *ABI; }
622   llvm::LLVMContext &getLLVMContext() { return VMContext; }
623 
624   bool shouldUseTBAA() const { return TBAA != nullptr; }
625 
626   const TargetCodeGenInfo &getTargetCodeGenInfo();
627 
628   CodeGenTypes &getTypes() { return Types; }
629 
630   CodeGenVTables &getVTables() { return VTables; }
631 
632   ItaniumVTableContext &getItaniumVTableContext() {
633     return VTables.getItaniumVTableContext();
634   }
635 
636   MicrosoftVTableContext &getMicrosoftVTableContext() {
637     return VTables.getMicrosoftVTableContext();
638   }
639 
640   CtorList &getGlobalCtors() { return GlobalCtors; }
641   CtorList &getGlobalDtors() { return GlobalDtors; }
642 
643   llvm::MDNode *getTBAAInfo(QualType QTy);
644   llvm::MDNode *getTBAAInfoForVTablePtr();
645   llvm::MDNode *getTBAAStructInfo(QualType QTy);
646   /// Return the path-aware tag for given base type, access node and offset.
647   llvm::MDNode *getTBAAStructTagInfo(QualType BaseTy, llvm::MDNode *AccessN,
648                                      uint64_t O);
649 
650   bool isTypeConstant(QualType QTy, bool ExcludeCtorDtor);
651 
652   bool isPaddedAtomicType(QualType type);
653   bool isPaddedAtomicType(const AtomicType *type);
654 
655   /// Decorate the instruction with a TBAA tag. For scalar TBAA, the tag
656   /// is the same as the type. For struct-path aware TBAA, the tag
657   /// is different from the type: base type, access type and offset.
658   /// When ConvertTypeToTag is true, we create a tag based on the scalar type.
659   void DecorateInstructionWithTBAA(llvm::Instruction *Inst,
660                                    llvm::MDNode *TBAAInfo,
661                                    bool ConvertTypeToTag = true);
662 
663   /// Adds !invariant.barrier !tag to instruction
664   void DecorateInstructionWithInvariantGroup(llvm::Instruction *I,
665                                              const CXXRecordDecl *RD);
666 
667   /// Emit the given number of characters as a value of type size_t.
668   llvm::ConstantInt *getSize(CharUnits numChars);
669 
670   /// Set the visibility for the given LLVM GlobalValue.
671   void setGlobalVisibility(llvm::GlobalValue *GV, const NamedDecl *D) const;
672 
673   /// Set the TLS mode for the given LLVM GlobalValue for the thread-local
674   /// variable declaration D.
675   void setTLSMode(llvm::GlobalValue *GV, const VarDecl &D) const;
676 
677   static llvm::GlobalValue::VisibilityTypes GetLLVMVisibility(Visibility V) {
678     switch (V) {
679     case DefaultVisibility:   return llvm::GlobalValue::DefaultVisibility;
680     case HiddenVisibility:    return llvm::GlobalValue::HiddenVisibility;
681     case ProtectedVisibility: return llvm::GlobalValue::ProtectedVisibility;
682     }
683     llvm_unreachable("unknown visibility!");
684   }
685 
686   llvm::Constant *GetAddrOfGlobal(GlobalDecl GD, bool IsForDefinition = false);
687 
688   /// Will return a global variable of the given type. If a variable with a
689   /// different type already exists then a new  variable with the right type
690   /// will be created and all uses of the old variable will be replaced with a
691   /// bitcast to the new variable.
692   llvm::GlobalVariable *
693   CreateOrReplaceCXXRuntimeVariable(StringRef Name, llvm::Type *Ty,
694                                     llvm::GlobalValue::LinkageTypes Linkage);
695 
696   llvm::Function *
697   CreateGlobalInitOrDestructFunction(llvm::FunctionType *ty, const Twine &name,
698                                      SourceLocation Loc = SourceLocation(),
699                                      bool TLS = false);
700 
701   /// Return the address space of the underlying global variable for D, as
702   /// determined by its declaration. Normally this is the same as the address
703   /// space of D's type, but in CUDA, address spaces are associated with
704   /// declarations, not types.
705   unsigned GetGlobalVarAddressSpace(const VarDecl *D, unsigned AddrSpace);
706 
707   /// Return the llvm::Constant for the address of the given global variable.
708   /// If Ty is non-null and if the global doesn't exist, then it will be greated
709   /// with the specified type instead of whatever the normal requested type
710   /// would be.
711   llvm::Constant *GetAddrOfGlobalVar(const VarDecl *D,
712                                      llvm::Type *Ty = nullptr);
713 
714   /// Return the address of the given function. If Ty is non-null, then this
715   /// function will use the specified type if it has to create it.
716   llvm::Constant *GetAddrOfFunction(GlobalDecl GD, llvm::Type *Ty = nullptr,
717                                     bool ForVTable = false,
718                                     bool DontDefer = false,
719                                     bool IsForDefinition = false);
720 
721   /// Get the address of the RTTI descriptor for the given type.
722   llvm::Constant *GetAddrOfRTTIDescriptor(QualType Ty, bool ForEH = false);
723 
724   /// Get the address of a uuid descriptor .
725   ConstantAddress GetAddrOfUuidDescriptor(const CXXUuidofExpr* E);
726 
727   /// Get the address of the thunk for the given global decl.
728   llvm::Constant *GetAddrOfThunk(GlobalDecl GD, const ThunkInfo &Thunk);
729 
730   /// Get a reference to the target of VD.
731   ConstantAddress GetWeakRefReference(const ValueDecl *VD);
732 
733   /// Returns the assumed alignment of an opaque pointer to the given class.
734   CharUnits getClassPointerAlignment(const CXXRecordDecl *CD);
735 
736   /// Returns the assumed alignment of a virtual base of a class.
737   CharUnits getVBaseAlignment(CharUnits DerivedAlign,
738                               const CXXRecordDecl *Derived,
739                               const CXXRecordDecl *VBase);
740 
741   /// Given a class pointer with an actual known alignment, and the
742   /// expected alignment of an object at a dynamic offset w.r.t that
743   /// pointer, return the alignment to assume at the offset.
744   CharUnits getDynamicOffsetAlignment(CharUnits ActualAlign,
745                                       const CXXRecordDecl *Class,
746                                       CharUnits ExpectedTargetAlign);
747 
748   CharUnits
749   computeNonVirtualBaseClassOffset(const CXXRecordDecl *DerivedClass,
750                                    CastExpr::path_const_iterator Start,
751                                    CastExpr::path_const_iterator End);
752 
753   /// Returns the offset from a derived class to  a class. Returns null if the
754   /// offset is 0.
755   llvm::Constant *
756   GetNonVirtualBaseClassOffset(const CXXRecordDecl *ClassDecl,
757                                CastExpr::path_const_iterator PathBegin,
758                                CastExpr::path_const_iterator PathEnd);
759 
760   llvm::FoldingSet<BlockByrefHelpers> ByrefHelpersCache;
761 
762   /// Fetches the global unique block count.
763   int getUniqueBlockCount() { return ++Block.GlobalUniqueCount; }
764 
765   /// Fetches the type of a generic block descriptor.
766   llvm::Type *getBlockDescriptorType();
767 
768   /// The type of a generic block literal.
769   llvm::Type *getGenericBlockLiteralType();
770 
771   /// Gets the address of a block which requires no captures.
772   llvm::Constant *GetAddrOfGlobalBlock(const BlockExpr *BE, const char *);
773 
774   /// Return a pointer to a constant CFString object for the given string.
775   ConstantAddress GetAddrOfConstantCFString(const StringLiteral *Literal);
776 
777   /// Return a pointer to a constant NSString object for the given string. Or a
778   /// user defined String object as defined via
779   /// -fconstant-string-class=class_name option.
780   ConstantAddress GetAddrOfConstantString(const StringLiteral *Literal);
781 
782   /// Return a constant array for the given string.
783   llvm::Constant *GetConstantArrayFromStringLiteral(const StringLiteral *E);
784 
785   /// Return a pointer to a constant array for the given string literal.
786   ConstantAddress
787   GetAddrOfConstantStringFromLiteral(const StringLiteral *S,
788                                      StringRef Name = ".str");
789 
790   /// Return a pointer to a constant array for the given ObjCEncodeExpr node.
791   ConstantAddress
792   GetAddrOfConstantStringFromObjCEncode(const ObjCEncodeExpr *);
793 
794   /// Returns a pointer to a character array containing the literal and a
795   /// terminating '\0' character. The result has pointer to array type.
796   ///
797   /// \param GlobalName If provided, the name to use for the global (if one is
798   /// created).
799   ConstantAddress
800   GetAddrOfConstantCString(const std::string &Str,
801                            const char *GlobalName = nullptr);
802 
803   /// Returns a pointer to a constant global variable for the given file-scope
804   /// compound literal expression.
805   ConstantAddress GetAddrOfConstantCompoundLiteral(const CompoundLiteralExpr*E);
806 
807   /// \brief Returns a pointer to a global variable representing a temporary
808   /// with static or thread storage duration.
809   ConstantAddress GetAddrOfGlobalTemporary(const MaterializeTemporaryExpr *E,
810                                            const Expr *Inner);
811 
812   /// \brief Retrieve the record type that describes the state of an
813   /// Objective-C fast enumeration loop (for..in).
814   QualType getObjCFastEnumerationStateType();
815 
816   // Produce code for this constructor/destructor. This method doesn't try
817   // to apply any ABI rules about which other constructors/destructors
818   // are needed or if they are alias to each other.
819   llvm::Function *codegenCXXStructor(const CXXMethodDecl *MD,
820                                      StructorType Type);
821 
822   /// Return the address of the constructor/destructor of the given type.
823   llvm::Constant *
824   getAddrOfCXXStructor(const CXXMethodDecl *MD, StructorType Type,
825                        const CGFunctionInfo *FnInfo = nullptr,
826                        llvm::FunctionType *FnType = nullptr,
827                        bool DontDefer = false, bool IsForDefinition = false);
828 
829   /// Given a builtin id for a function like "__builtin_fabsf", return a
830   /// Function* for "fabsf".
831   llvm::Value *getBuiltinLibFunction(const FunctionDecl *FD,
832                                      unsigned BuiltinID);
833 
834   llvm::Function *getIntrinsic(unsigned IID, ArrayRef<llvm::Type*> Tys = None);
835 
836   /// Emit code for a single top level declaration.
837   void EmitTopLevelDecl(Decl *D);
838 
839   /// \brief Stored a deferred empty coverage mapping for an unused
840   /// and thus uninstrumented top level declaration.
841   void AddDeferredUnusedCoverageMapping(Decl *D);
842 
843   /// \brief Remove the deferred empty coverage mapping as this
844   /// declaration is actually instrumented.
845   void ClearUnusedCoverageMapping(const Decl *D);
846 
847   /// \brief Emit all the deferred coverage mappings
848   /// for the uninstrumented functions.
849   void EmitDeferredUnusedCoverageMappings();
850 
851   /// Tell the consumer that this variable has been instantiated.
852   void HandleCXXStaticMemberVarInstantiation(VarDecl *VD);
853 
854   /// \brief If the declaration has internal linkage but is inside an
855   /// extern "C" linkage specification, prepare to emit an alias for it
856   /// to the expected name.
857   template<typename SomeDecl>
858   void MaybeHandleStaticInExternC(const SomeDecl *D, llvm::GlobalValue *GV);
859 
860   /// Add a global to a list to be added to the llvm.used metadata.
861   void addUsedGlobal(llvm::GlobalValue *GV);
862 
863   /// Add a global to a list to be added to the llvm.compiler.used metadata.
864   void addCompilerUsedGlobal(llvm::GlobalValue *GV);
865 
866   /// Add a destructor and object to add to the C++ global destructor function.
867   void AddCXXDtorEntry(llvm::Constant *DtorFn, llvm::Constant *Object) {
868     CXXGlobalDtors.emplace_back(DtorFn, Object);
869   }
870 
871   /// Create a new runtime function with the specified type and name.
872   llvm::Constant *CreateRuntimeFunction(llvm::FunctionType *Ty,
873                                         StringRef Name,
874                                         llvm::AttributeSet ExtraAttrs =
875                                           llvm::AttributeSet());
876   /// Create a new compiler builtin function with the specified type and name.
877   llvm::Constant *CreateBuiltinFunction(llvm::FunctionType *Ty,
878                                         StringRef Name,
879                                         llvm::AttributeSet ExtraAttrs =
880                                           llvm::AttributeSet());
881   /// Create a new runtime global variable with the specified type and name.
882   llvm::Constant *CreateRuntimeVariable(llvm::Type *Ty,
883                                         StringRef Name);
884 
885   ///@name Custom Blocks Runtime Interfaces
886   ///@{
887 
888   llvm::Constant *getNSConcreteGlobalBlock();
889   llvm::Constant *getNSConcreteStackBlock();
890   llvm::Constant *getBlockObjectAssign();
891   llvm::Constant *getBlockObjectDispose();
892 
893   ///@}
894 
895   llvm::Constant *getLLVMLifetimeStartFn();
896   llvm::Constant *getLLVMLifetimeEndFn();
897 
898   // Make sure that this type is translated.
899   void UpdateCompletedType(const TagDecl *TD);
900 
901   llvm::Constant *getMemberPointerConstant(const UnaryOperator *e);
902 
903   /// Try to emit the initializer for the given declaration as a constant;
904   /// returns 0 if the expression cannot be emitted as a constant.
905   llvm::Constant *EmitConstantInit(const VarDecl &D,
906                                    CodeGenFunction *CGF = nullptr);
907 
908   /// Try to emit the given expression as a constant; returns 0 if the
909   /// expression cannot be emitted as a constant.
910   llvm::Constant *EmitConstantExpr(const Expr *E, QualType DestType,
911                                    CodeGenFunction *CGF = nullptr);
912 
913   /// Emit the given constant value as a constant, in the type's scalar
914   /// representation.
915   llvm::Constant *EmitConstantValue(const APValue &Value, QualType DestType,
916                                     CodeGenFunction *CGF = nullptr);
917 
918   /// Emit the given constant value as a constant, in the type's memory
919   /// representation.
920   llvm::Constant *EmitConstantValueForMemory(const APValue &Value,
921                                              QualType DestType,
922                                              CodeGenFunction *CGF = nullptr);
923 
924   /// \brief Emit type info if type of an expression is a variably modified
925   /// type. Also emit proper debug info for cast types.
926   void EmitExplicitCastExprType(const ExplicitCastExpr *E,
927                                 CodeGenFunction *CGF = nullptr);
928 
929   /// Return the result of value-initializing the given type, i.e. a null
930   /// expression of the given type.  This is usually, but not always, an LLVM
931   /// null constant.
932   llvm::Constant *EmitNullConstant(QualType T);
933 
934   /// Return a null constant appropriate for zero-initializing a base class with
935   /// the given type. This is usually, but not always, an LLVM null constant.
936   llvm::Constant *EmitNullConstantForBase(const CXXRecordDecl *Record);
937 
938   /// Emit a general error that something can't be done.
939   void Error(SourceLocation loc, StringRef error);
940 
941   /// Print out an error that codegen doesn't support the specified stmt yet.
942   void ErrorUnsupported(const Stmt *S, const char *Type);
943 
944   /// Print out an error that codegen doesn't support the specified decl yet.
945   void ErrorUnsupported(const Decl *D, const char *Type);
946 
947   /// Set the attributes on the LLVM function for the given decl and function
948   /// info. This applies attributes necessary for handling the ABI as well as
949   /// user specified attributes like section.
950   void SetInternalFunctionAttributes(const Decl *D, llvm::Function *F,
951                                      const CGFunctionInfo &FI);
952 
953   /// Set the LLVM function attributes (sext, zext, etc).
954   void SetLLVMFunctionAttributes(const Decl *D,
955                                  const CGFunctionInfo &Info,
956                                  llvm::Function *F);
957 
958   /// Set the LLVM function attributes which only apply to a function
959   /// definition.
960   void SetLLVMFunctionAttributesForDefinition(const Decl *D, llvm::Function *F);
961 
962   /// Return true iff the given type uses 'sret' when used as a return type.
963   bool ReturnTypeUsesSRet(const CGFunctionInfo &FI);
964 
965   /// Return true iff the given type uses an argument slot when 'sret' is used
966   /// as a return type.
967   bool ReturnSlotInterferesWithArgs(const CGFunctionInfo &FI);
968 
969   /// Return true iff the given type uses 'fpret' when used as a return type.
970   bool ReturnTypeUsesFPRet(QualType ResultType);
971 
972   /// Return true iff the given type uses 'fp2ret' when used as a return type.
973   bool ReturnTypeUsesFP2Ret(QualType ResultType);
974 
975   /// Get the LLVM attributes and calling convention to use for a particular
976   /// function type.
977   ///
978   /// \param Info - The function type information.
979   /// \param TargetDecl - The decl these attributes are being constructed
980   /// for. If supplied the attributes applied to this decl may contribute to the
981   /// function attributes and calling convention.
982   /// \param PAL [out] - On return, the attribute list to use.
983   /// \param CallingConv [out] - On return, the LLVM calling convention to use.
984   void ConstructAttributeList(const CGFunctionInfo &Info,
985                               const Decl *TargetDecl,
986                               AttributeListType &PAL,
987                               unsigned &CallingConv,
988                               bool AttrOnCallSite);
989 
990   StringRef getMangledName(GlobalDecl GD);
991   StringRef getBlockMangledName(GlobalDecl GD, const BlockDecl *BD);
992 
993   void EmitTentativeDefinition(const VarDecl *D);
994 
995   void EmitVTable(CXXRecordDecl *Class);
996 
997   /// \brief Appends Opts to the "Linker Options" metadata value.
998   void AppendLinkerOptions(StringRef Opts);
999 
1000   /// \brief Appends a detect mismatch command to the linker options.
1001   void AddDetectMismatch(StringRef Name, StringRef Value);
1002 
1003   /// \brief Appends a dependent lib to the "Linker Options" metadata value.
1004   void AddDependentLib(StringRef Lib);
1005 
1006   llvm::GlobalVariable::LinkageTypes getFunctionLinkage(GlobalDecl GD);
1007 
1008   void setFunctionLinkage(GlobalDecl GD, llvm::Function *F) {
1009     F->setLinkage(getFunctionLinkage(GD));
1010   }
1011 
1012   /// Set the DLL storage class on F.
1013   void setFunctionDLLStorageClass(GlobalDecl GD, llvm::Function *F);
1014 
1015   /// Return the appropriate linkage for the vtable, VTT, and type information
1016   /// of the given class.
1017   llvm::GlobalVariable::LinkageTypes getVTableLinkage(const CXXRecordDecl *RD);
1018 
1019   /// Return the store size, in character units, of the given LLVM type.
1020   CharUnits GetTargetTypeStoreSize(llvm::Type *Ty) const;
1021 
1022   /// Returns LLVM linkage for a declarator.
1023   llvm::GlobalValue::LinkageTypes
1024   getLLVMLinkageForDeclarator(const DeclaratorDecl *D, GVALinkage Linkage,
1025                               bool IsConstantVariable);
1026 
1027   /// Returns LLVM linkage for a declarator.
1028   llvm::GlobalValue::LinkageTypes
1029   getLLVMLinkageVarDefinition(const VarDecl *VD, bool IsConstant);
1030 
1031   /// Emit all the global annotations.
1032   void EmitGlobalAnnotations();
1033 
1034   /// Emit an annotation string.
1035   llvm::Constant *EmitAnnotationString(StringRef Str);
1036 
1037   /// Emit the annotation's translation unit.
1038   llvm::Constant *EmitAnnotationUnit(SourceLocation Loc);
1039 
1040   /// Emit the annotation line number.
1041   llvm::Constant *EmitAnnotationLineNo(SourceLocation L);
1042 
1043   /// Generate the llvm::ConstantStruct which contains the annotation
1044   /// information for a given GlobalValue. The annotation struct is
1045   /// {i8 *, i8 *, i8 *, i32}. The first field is a constant expression, the
1046   /// GlobalValue being annotated. The second field is the constant string
1047   /// created from the AnnotateAttr's annotation. The third field is a constant
1048   /// string containing the name of the translation unit. The fourth field is
1049   /// the line number in the file of the annotated value declaration.
1050   llvm::Constant *EmitAnnotateAttr(llvm::GlobalValue *GV,
1051                                    const AnnotateAttr *AA,
1052                                    SourceLocation L);
1053 
1054   /// Add global annotations that are set on D, for the global GV. Those
1055   /// annotations are emitted during finalization of the LLVM code.
1056   void AddGlobalAnnotations(const ValueDecl *D, llvm::GlobalValue *GV);
1057 
1058   bool isInSanitizerBlacklist(llvm::Function *Fn, SourceLocation Loc) const;
1059 
1060   bool isInSanitizerBlacklist(llvm::GlobalVariable *GV, SourceLocation Loc,
1061                               QualType Ty,
1062                               StringRef Category = StringRef()) const;
1063 
1064   SanitizerMetadata *getSanitizerMetadata() {
1065     return SanitizerMD.get();
1066   }
1067 
1068   void addDeferredVTable(const CXXRecordDecl *RD) {
1069     DeferredVTables.push_back(RD);
1070   }
1071 
1072   /// Emit code for a singal global function or var decl. Forward declarations
1073   /// are emitted lazily.
1074   void EmitGlobal(GlobalDecl D);
1075 
1076   bool TryEmitDefinitionAsAlias(GlobalDecl Alias, GlobalDecl Target,
1077                                 bool InEveryTU);
1078   bool TryEmitBaseDestructorAsAlias(const CXXDestructorDecl *D);
1079 
1080   /// Set attributes for a global definition.
1081   void setFunctionDefinitionAttributes(const FunctionDecl *D,
1082                                        llvm::Function *F);
1083 
1084   llvm::GlobalValue *GetGlobalValue(StringRef Ref);
1085 
1086   /// Set attributes which are common to any form of a global definition (alias,
1087   /// Objective-C method, function, global variable).
1088   ///
1089   /// NOTE: This should only be called for definitions.
1090   void SetCommonAttributes(const Decl *D, llvm::GlobalValue *GV);
1091 
1092   /// Set attributes which must be preserved by an alias. This includes common
1093   /// attributes (i.e. it includes a call to SetCommonAttributes).
1094   ///
1095   /// NOTE: This should only be called for definitions.
1096   void setAliasAttributes(const Decl *D, llvm::GlobalValue *GV);
1097 
1098   void addReplacement(StringRef Name, llvm::Constant *C);
1099 
1100   void addGlobalValReplacement(llvm::GlobalValue *GV, llvm::Constant *C);
1101 
1102   /// \brief Emit a code for threadprivate directive.
1103   /// \param D Threadprivate declaration.
1104   void EmitOMPThreadPrivateDecl(const OMPThreadPrivateDecl *D);
1105 
1106   /// Returns whether the given record is blacklisted from control flow
1107   /// integrity checks.
1108   bool IsCFIBlacklistedRecord(const CXXRecordDecl *RD);
1109 
1110   /// Emit bit set entries for the given vtable using the given layout if
1111   /// vptr CFI is enabled.
1112   void EmitVTableBitSetEntries(llvm::GlobalVariable *VTable,
1113                                const VTableLayout &VTLayout);
1114 
1115   /// Create a metadata identifier for the given type. This may either be an
1116   /// MDString (for external identifiers) or a distinct unnamed MDNode (for
1117   /// internal identifiers).
1118   llvm::Metadata *CreateMetadataIdentifierForType(QualType T);
1119 
1120   /// Create a bitset entry for the given vtable.
1121   llvm::MDTuple *CreateVTableBitSetEntry(llvm::GlobalVariable *VTable,
1122                                          CharUnits Offset,
1123                                          const CXXRecordDecl *RD);
1124 
1125   /// \breif Get the declaration of std::terminate for the platform.
1126   llvm::Constant *getTerminateFn();
1127 
1128 private:
1129   llvm::Constant *
1130   GetOrCreateLLVMFunction(StringRef MangledName, llvm::Type *Ty, GlobalDecl D,
1131                           bool ForVTable, bool DontDefer = false,
1132                           bool IsThunk = false,
1133                           llvm::AttributeSet ExtraAttrs = llvm::AttributeSet(),
1134                           bool IsForDefinition = false);
1135 
1136   llvm::Constant *GetOrCreateLLVMGlobal(StringRef MangledName,
1137                                         llvm::PointerType *PTy,
1138                                         const VarDecl *D);
1139 
1140   void setNonAliasAttributes(const Decl *D, llvm::GlobalObject *GO);
1141 
1142   /// Set function attributes for a function declaration.
1143   void SetFunctionAttributes(GlobalDecl GD, llvm::Function *F,
1144                              bool IsIncompleteFunction, bool IsThunk);
1145 
1146   void EmitGlobalDefinition(GlobalDecl D, llvm::GlobalValue *GV = nullptr);
1147 
1148   void EmitGlobalFunctionDefinition(GlobalDecl GD, llvm::GlobalValue *GV);
1149   void EmitGlobalVarDefinition(const VarDecl *D);
1150   void EmitAliasDefinition(GlobalDecl GD);
1151   void EmitObjCPropertyImplementations(const ObjCImplementationDecl *D);
1152   void EmitObjCIvarInitializations(ObjCImplementationDecl *D);
1153 
1154   // C++ related functions.
1155 
1156   void EmitNamespace(const NamespaceDecl *D);
1157   void EmitLinkageSpec(const LinkageSpecDecl *D);
1158   void CompleteDIClassType(const CXXMethodDecl* D);
1159 
1160   /// \brief Emit the function that initializes C++ thread_local variables.
1161   void EmitCXXThreadLocalInitFunc();
1162 
1163   /// Emit the function that initializes C++ globals.
1164   void EmitCXXGlobalInitFunc();
1165 
1166   /// Emit the function that destroys C++ globals.
1167   void EmitCXXGlobalDtorFunc();
1168 
1169   /// Emit the function that initializes the specified global (if PerformInit is
1170   /// true) and registers its destructor.
1171   void EmitCXXGlobalVarDeclInitFunc(const VarDecl *D,
1172                                     llvm::GlobalVariable *Addr,
1173                                     bool PerformInit);
1174 
1175   void EmitPointerToInitFunc(const VarDecl *VD, llvm::GlobalVariable *Addr,
1176                              llvm::Function *InitFunc, InitSegAttr *ISA);
1177 
1178   // FIXME: Hardcoding priority here is gross.
1179   void AddGlobalCtor(llvm::Function *Ctor, int Priority = 65535,
1180                      llvm::Constant *AssociatedData = nullptr);
1181   void AddGlobalDtor(llvm::Function *Dtor, int Priority = 65535);
1182 
1183   /// Generates a global array of functions and priorities using the given list
1184   /// and name. This array will have appending linkage and is suitable for use
1185   /// as a LLVM constructor or destructor array.
1186   void EmitCtorList(const CtorList &Fns, const char *GlobalName);
1187 
1188   /// Emit any needed decls for which code generation was deferred.
1189   void EmitDeferred();
1190 
1191   /// Call replaceAllUsesWith on all pairs in Replacements.
1192   void applyReplacements();
1193 
1194   /// Call replaceAllUsesWith on all pairs in GlobalValReplacements.
1195   void applyGlobalValReplacements();
1196 
1197   void checkAliases();
1198 
1199   /// Emit any vtables which we deferred and still have a use for.
1200   void EmitDeferredVTables();
1201 
1202   /// Emit the llvm.used and llvm.compiler.used metadata.
1203   void emitLLVMUsed();
1204 
1205   /// \brief Emit the link options introduced by imported modules.
1206   void EmitModuleLinkOptions();
1207 
1208   /// \brief Emit aliases for internal-linkage declarations inside "C" language
1209   /// linkage specifications, giving them the "expected" name where possible.
1210   void EmitStaticExternCAliases();
1211 
1212   void EmitDeclMetadata();
1213 
1214   /// \brief Emit the Clang version as llvm.ident metadata.
1215   void EmitVersionIdentMetadata();
1216 
1217   /// Emits target specific Metadata for global declarations.
1218   void EmitTargetMetadata();
1219 
1220   /// Emit the llvm.gcov metadata used to tell LLVM where to emit the .gcno and
1221   /// .gcda files in a way that persists in .bc files.
1222   void EmitCoverageFile();
1223 
1224   /// Emits the initializer for a uuidof string.
1225   llvm::Constant *EmitUuidofInitializer(StringRef uuidstr);
1226 
1227   /// Determine whether the definition must be emitted; if this returns \c
1228   /// false, the definition can be emitted lazily if it's used.
1229   bool MustBeEmitted(const ValueDecl *D);
1230 
1231   /// Determine whether the definition can be emitted eagerly, or should be
1232   /// delayed until the end of the translation unit. This is relevant for
1233   /// definitions whose linkage can change, e.g. implicit function instantions
1234   /// which may later be explicitly instantiated.
1235   bool MayBeEmittedEagerly(const ValueDecl *D);
1236 
1237   /// Check whether we can use a "simpler", more core exceptions personality
1238   /// function.
1239   void SimplifyPersonality();
1240 };
1241 }  // end namespace CodeGen
1242 }  // end namespace clang
1243 
1244 #endif // LLVM_CLANG_LIB_CODEGEN_CODEGENMODULE_H
1245