clang 24.0.0git
CodeGenModule.h
Go to the documentation of this file.
1//===--- CodeGenModule.h - Per-Module state for LLVM CodeGen ----*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This is the internal per-translation-unit state used for llvm translation.
10//
11//===----------------------------------------------------------------------===//
12
13#ifndef LLVM_CLANG_LIB_CODEGEN_CODEGENMODULE_H
14#define LLVM_CLANG_LIB_CODEGEN_CODEGENMODULE_H
15
16#include "CGVTables.h"
17#include "CodeGenTypeCache.h"
18#include "CodeGenTypes.h"
19#include "SanitizerMetadata.h"
20#include "TrapReasonBuilder.h"
21#include "clang/AST/DeclCXX.h"
22#include "clang/AST/DeclObjC.h"
25#include "clang/AST/Mangle.h"
26#include "clang/Basic/ABI.h"
34#include "llvm/ADT/DenseMap.h"
35#include "llvm/ADT/MapVector.h"
36#include "llvm/ADT/SetVector.h"
37#include "llvm/ADT/SmallPtrSet.h"
38#include "llvm/ADT/StringMap.h"
39#include "llvm/IR/Module.h"
40#include "llvm/IR/ValueHandle.h"
41#include "llvm/Support/Allocator.h"
42#include "llvm/Transforms/Utils/SanitizerStats.h"
43#include <optional>
44
45namespace llvm {
46class Module;
47class Constant;
48class ConstantInt;
49class Function;
50class GlobalValue;
51class DataLayout;
52class FunctionType;
53class LLVMContext;
54class IndexedInstrProfReader;
55
56namespace vfs {
57class FileSystem;
58}
59
60namespace abi {
61class ArgInfo;
62class IRTypeMapper;
63class TargetInfo;
64class TypeBuilder;
65} // namespace abi
66}
67
68namespace clang {
69class ASTContext;
70class AtomicType;
71class FunctionDecl;
72class IdentifierInfo;
73class ObjCImplementationDecl;
74class ObjCEncodeExpr;
75class BlockExpr;
76class CharUnits;
77class Decl;
78class Expr;
79class Stmt;
80class StringLiteral;
81class NamedDecl;
82class PointerAuthSchema;
83class ValueDecl;
84class VarDecl;
85class LangOptions;
86class CodeGenOptions;
87class HeaderSearchOptions;
88class DiagnosticsEngine;
89class AnnotateAttr;
90class CXXDestructorDecl;
91class Module;
92class CoverageSourceInfo;
93class InitSegAttr;
94
95namespace CodeGen {
96
97class CodeGenFunction;
98class CodeGenTBAA;
99class CGCXXABI;
100class CGDebugInfo;
101class CGObjCRuntime;
102class CGOpenCLRuntime;
103class CGOpenMPRuntime;
104class CGCUDARuntime;
105class CGHLSLRuntime;
106class CGFunctionInfo;
107class CoverageMappingModuleGen;
108class QualTypeMapper;
109class TargetCodeGenInfo;
110
111enum ForDefinition_t : bool {
114};
115
116/// The Counter with an optional additional Counter for
117/// branches. `Skipped` counter can be calculated with `Executed` and
118/// a common Counter (like `Parent`) as `(Parent-Executed)`.
119///
120/// In SingleByte mode, Counters are binary. Subtraction is not
121/// applicable (but addition is capable). In this case, both
122/// `Executed` and `Skipped` counters are required. `Skipped` is
123/// `None` by default. It is allocated in the coverage mapping.
124///
125/// There might be cases that `Parent` could be induced with
126/// `(Executed+Skipped)`. This is not always applicable.
128public:
129 /// Optional value.
130 class ValueOpt {
131 private:
132 static constexpr uint32_t None = (1u << 31); /// None is allocated.
133 static constexpr uint32_t Mask = None - 1;
134
135 uint32_t Val;
136
137 public:
138 ValueOpt() : Val(None) {}
139
140 ValueOpt(unsigned InitVal) {
141 assert(!(InitVal & ~Mask));
142 Val = InitVal;
143 }
144
145 bool hasValue() const { return !(Val & None); }
146
147 operator uint32_t() const { return Val; }
148 };
149
151 ValueOpt Skipped; /// May be None.
152
153 /// Initialized with Skipped=None.
154 CounterPair(unsigned Val) : Executed(Val) {}
155
156 // FIXME: Should work with {None, None}
158};
159
161 unsigned int priority;
162 unsigned int lex_order;
163 OrderGlobalInitsOrStermFinalizers(unsigned int p, unsigned int l)
164 : priority(p), lex_order(l) {}
165
167 return priority == RHS.priority && lex_order == RHS.lex_order;
168 }
169
171 return std::tie(priority, lex_order) <
172 std::tie(RHS.priority, RHS.lex_order);
173 }
174};
175
177 ObjCEntrypoints() { memset(this, 0, sizeof(*this)); }
178
179 /// void objc_alloc(id);
180 llvm::FunctionCallee objc_alloc;
181
182 /// void objc_allocWithZone(id);
183 llvm::FunctionCallee objc_allocWithZone;
184
185 /// void objc_alloc_init(id);
186 llvm::FunctionCallee objc_alloc_init;
187
188 /// void objc_autoreleasePoolPop(void*);
189 llvm::FunctionCallee objc_autoreleasePoolPop;
190
191 /// void objc_autoreleasePoolPop(void*);
192 /// Note this method is used when we are using exception handling
193 llvm::FunctionCallee objc_autoreleasePoolPopInvoke;
194
195 /// void *objc_autoreleasePoolPush(void);
197
198 /// id objc_autorelease(id);
199 llvm::Function *objc_autorelease;
200
201 /// id objc_autorelease(id);
202 /// Note this is the runtime method not the intrinsic.
204
205 /// id objc_autoreleaseReturnValue(id);
207
208 /// void objc_copyWeak(id *dest, id *src);
209 llvm::Function *objc_copyWeak;
210
211 /// void objc_destroyWeak(id*);
212 llvm::Function *objc_destroyWeak;
213
214 /// id objc_initWeak(id*, id);
215 llvm::Function *objc_initWeak;
216
217 /// id objc_loadWeak(id*);
218 llvm::Function *objc_loadWeak;
219
220 /// id objc_loadWeakRetained(id*);
221 llvm::Function *objc_loadWeakRetained;
222
223 /// void objc_moveWeak(id *dest, id *src);
224 llvm::Function *objc_moveWeak;
225
226 /// id objc_retain(id);
227 llvm::Function *objc_retain;
228
229 /// id objc_retain(id);
230 /// Note this is the runtime method not the intrinsic.
231 llvm::FunctionCallee objc_retainRuntimeFunction;
232
233 /// id objc_retainAutorelease(id);
234 llvm::Function *objc_retainAutorelease;
235
236 /// id objc_retainAutoreleaseReturnValue(id);
238
239 /// id objc_retainAutoreleasedReturnValue(id);
241
242 /// id objc_retainBlock(id);
243 llvm::Function *objc_retainBlock;
244
245 /// void objc_release(id);
246 llvm::Function *objc_release;
247
248 /// void objc_release(id);
249 /// Note this is the runtime method not the intrinsic.
250 llvm::FunctionCallee objc_releaseRuntimeFunction;
251
252 /// void objc_storeStrong(id*, id);
253 llvm::Function *objc_storeStrong;
254
255 /// id objc_storeWeak(id*, id);
256 llvm::Function *objc_storeWeak;
257
258 /// id objc_unsafeClaimAutoreleasedReturnValue(id);
260
261 /// A void(void) inline asm to use to mark that the return value of
262 /// a call will be immediately retain.
264
265 /// void clang.arc.use(...);
266 llvm::Function *clang_arc_use;
267
268 /// void clang.arc.noop.use(...);
269 llvm::Function *clang_arc_noop_use;
270};
271
272/// This class records statistics on instrumentation based profiling.
274 uint32_t VisitedInMainFile = 0;
275 uint32_t MissingInMainFile = 0;
276 uint32_t Visited = 0;
277 uint32_t Missing = 0;
278 uint32_t Mismatched = 0;
279
280public:
281 InstrProfStats() = default;
282 /// Record that we've visited a function and whether or not that function was
283 /// in the main source file.
284 void addVisited(bool MainFile) {
285 if (MainFile)
286 ++VisitedInMainFile;
287 ++Visited;
288 }
289 /// Record that a function we've visited has no profile data.
290 void addMissing(bool MainFile) {
291 if (MainFile)
292 ++MissingInMainFile;
293 ++Missing;
294 }
295 /// Record that a function we've visited has mismatched profile data.
296 void addMismatched(bool MainFile) { ++Mismatched; }
297 /// Whether or not the stats we've gathered indicate any potential problems.
298 bool hasDiagnostics() { return Missing || Mismatched; }
299 /// Report potential problems we've found to \c Diags.
300 void reportDiagnostics(DiagnosticsEngine &Diags, StringRef MainFile);
301};
302
303/// A pair of helper functions for a __block variable.
304class BlockByrefHelpers : public llvm::FoldingSetNode {
305 // MSVC requires this type to be complete in order to process this
306 // header.
307public:
308 llvm::Constant *CopyHelper;
309 llvm::Constant *DisposeHelper;
310
311 /// The alignment of the field. This is important because
312 /// different offsets to the field within the byref struct need to
313 /// have different helper functions.
315
319 virtual ~BlockByrefHelpers();
320
321 void Profile(llvm::FoldingSetNodeID &id) const {
322 id.AddInteger(Alignment.getQuantity());
323 profileImpl(id);
324 }
325 virtual void profileImpl(llvm::FoldingSetNodeID &id) const = 0;
326
327 virtual bool needsCopy() const { return true; }
328 virtual void emitCopy(CodeGenFunction &CGF, Address dest, Address src) = 0;
329
330 virtual bool needsDispose() const { return true; }
331 virtual void emitDispose(CodeGenFunction &CGF, Address field) = 0;
332};
333
334/// This class organizes the cross-function state that is used while generating
335/// LLVM code.
336class CodeGenModule : public CodeGenTypeCache {
337 CodeGenModule(const CodeGenModule &) = delete;
338 void operator=(const CodeGenModule &) = delete;
339
340public:
341 struct Structor {
350 unsigned LexOrder;
351 llvm::Constant *Initializer;
352 llvm::Constant *AssociatedData;
353 };
354
355 typedef std::vector<Structor> CtorList;
356
357private:
358 ASTContext &Context;
359 const LangOptions &LangOpts;
360 IntrusiveRefCntPtr<llvm::vfs::FileSystem> FS; // Only used for debug info.
361 const HeaderSearchOptions &HeaderSearchOpts; // Only used for debug info.
362 const PreprocessorOptions &PreprocessorOpts; // Only used for debug info.
363 const CodeGenOptions &CodeGenOpts;
364 unsigned NumAutoVarInit = 0;
365 llvm::Module &TheModule;
366 DiagnosticsEngine &Diags;
367 const TargetInfo &Target;
368 std::unique_ptr<CGCXXABI> ABI;
369 llvm::LLVMContext &VMContext;
370 std::string ModuleNameHash;
371 bool CXX20ModuleInits = false;
372 std::unique_ptr<CodeGenTBAA> TBAA;
373
374 mutable std::unique_ptr<TargetCodeGenInfo> TheTargetCodeGenInfo;
375
376 /// Cached LLVMABI target lowering info, lazily constructed when the
377 /// experimental ABI lowering path is taken.
378 mutable std::unique_ptr<llvm::abi::TargetInfo> TheLLVMABITargetInfo;
379
380 /// Allocator and mappers used by the experimental LLVMABI-based lowering
381 /// path (gated on -fexperimental-abi-lowering). Constructed unconditionally
382 /// so the path can be entered without re-checking initialization, but the
383 /// caches stay empty when the flag is off.
384 llvm::BumpPtrAllocator AbiAlloc;
385 std::unique_ptr<QualTypeMapper> AbiMapper;
386 std::unique_ptr<llvm::abi::IRTypeMapper> AbiReverseMapper;
387
388 // This should not be moved earlier, since its initialization depends on some
389 // of the previous reference members being already initialized and also checks
390 // if TheTargetCodeGenInfo is NULL
391 std::unique_ptr<CodeGenTypes> Types;
392
393 /// Holds information about C++ vtables.
394 CodeGenVTables VTables;
395
396 std::unique_ptr<CGObjCRuntime> ObjCRuntime;
397 std::unique_ptr<CGOpenCLRuntime> OpenCLRuntime;
398 std::unique_ptr<CGOpenMPRuntime> OpenMPRuntime;
399 std::unique_ptr<CGCUDARuntime> CUDARuntime;
400 std::unique_ptr<CGHLSLRuntime> HLSLRuntime;
401 std::unique_ptr<CGDebugInfo> DebugInfo;
402 std::unique_ptr<ObjCEntrypoints> ObjCData;
403 llvm::MDNode *NoObjCARCExceptionsMetadata = nullptr;
404 std::unique_ptr<llvm::IndexedInstrProfReader> PGOReader;
405 InstrProfStats PGOStats;
406 std::unique_ptr<llvm::SanitizerStatReport> SanStats;
407 StackExhaustionHandler StackHandler;
408
409 // A set of references that have only been seen via a weakref so far. This is
410 // used to remove the weak of the reference if we ever see a direct reference
411 // or a definition.
413
414 /// This contains all the decls which have definitions but/ which are deferred
415 /// for emission and therefore should only be output if they are actually
416 /// used. If a decl is in this, then it is known to have not been referenced
417 /// yet.
418 llvm::DenseMap<StringRef, GlobalDecl> DeferredDecls;
419
420 llvm::StringSet<llvm::BumpPtrAllocator> DeferredResolversToEmit;
421
422 /// This is a list of deferred decls which we have seen that *are* actually
423 /// referenced. These get code generated when the module is done.
424 std::vector<GlobalDecl> DeferredDeclsToEmit;
425 void addDeferredDeclToEmit(GlobalDecl GD) {
426 DeferredDeclsToEmit.emplace_back(GD);
427 addEmittedDeferredDecl(GD);
428 }
429
430 /// Decls that were DeferredDecls and have now been emitted.
431 llvm::DenseMap<llvm::StringRef, GlobalDecl> EmittedDeferredDecls;
432
433 void addEmittedDeferredDecl(GlobalDecl GD) {
434 // Reemission is only needed in incremental mode.
435 if (!Context.getLangOpts().IncrementalExtensions)
436 return;
437
438 // Assume a linkage by default that does not need reemission.
439 auto L = llvm::GlobalValue::ExternalLinkage;
440 if (llvm::isa<FunctionDecl>(GD.getDecl()))
441 L = getFunctionLinkage(GD);
442 else if (auto *VD = llvm::dyn_cast<VarDecl>(GD.getDecl()))
444
445 if (llvm::GlobalValue::isInternalLinkage(L) ||
446 llvm::GlobalValue::isLinkOnceLinkage(L) ||
447 llvm::GlobalValue::isWeakLinkage(L)) {
448 EmittedDeferredDecls[getMangledName(GD)] = GD;
449 }
450 }
451
452 /// List of alias we have emitted. Used to make sure that what they point to
453 /// is defined once we get to the end of the of the translation unit.
454 std::vector<GlobalDecl> Aliases;
455
456 /// List of multiversion functions to be emitted. This list is processed in
457 /// conjunction with other deferred symbols and is used to ensure that
458 /// multiversion function resolvers and ifuncs are defined and emitted.
459 std::vector<GlobalDecl> MultiVersionFuncs;
460
461 llvm::MapVector<StringRef, llvm::TrackingVH<llvm::Constant>> Replacements;
462
463 /// List of global values to be replaced with something else. Used when we
464 /// want to replace a GlobalValue but can't identify it by its mangled name
465 /// anymore (because the name is already taken).
467 GlobalValReplacements;
468
469 /// Variables for which we've emitted globals containing their constant
470 /// values along with the corresponding globals, for opportunistic reuse.
471 llvm::DenseMap<const VarDecl*, llvm::GlobalVariable*> InitializerConstants;
472
473 /// Set of global decls for which we already diagnosed mangled name conflict.
474 /// Required to not issue a warning (on a mangling conflict) multiple times
475 /// for the same decl.
476 llvm::DenseSet<GlobalDecl> DiagnosedConflictingDefinitions;
477
478 /// A queue of (optional) vtables to consider emitting.
479 std::vector<const CXXRecordDecl*> DeferredVTables;
480
481 /// In incremental compilation, the set of vtable classes whose vtable
482 /// definitions were emitted into a previous PTU's module. Carried forward
483 /// by moveLazyEmissionStates() so later PTUs skip re-defining them.
485
486 /// A queue of (optional) vtables that may be emitted opportunistically.
487 std::vector<const CXXRecordDecl *> OpportunisticVTables;
488
489 /// List of global values which are required to be present in the object file;
490 /// bitcast to i8*. This is used for forcing visibility of symbols which may
491 /// otherwise be optimized out.
492 std::vector<llvm::WeakTrackingVH> LLVMUsed;
493 std::vector<llvm::WeakTrackingVH> LLVMCompilerUsed;
494
495 /// Store the list of global constructors and their respective priorities to
496 /// be emitted when the translation unit is complete.
497 CtorList GlobalCtors;
498
499 /// Store the list of global destructors and their respective priorities to be
500 /// emitted when the translation unit is complete.
501 CtorList GlobalDtors;
502
503 /// An ordered map of canonical GlobalDecls to their mangled names.
504 llvm::MapVector<GlobalDecl, StringRef> MangledDeclNames;
505 llvm::StringMap<GlobalDecl, llvm::BumpPtrAllocator> Manglings;
506
507 /// Global annotations.
508 std::vector<llvm::Constant*> Annotations;
509
510 // Store deferred function annotations so they can be emitted at the end with
511 // most up to date ValueDecl that will have all the inherited annotations.
512 llvm::MapVector<StringRef, const ValueDecl *> DeferredAnnotations;
513
514 /// Map used to get unique annotation strings.
515 llvm::StringMap<llvm::Constant*> AnnotationStrings;
516
517 /// Used for uniquing of annotation arguments.
518 llvm::DenseMap<unsigned, llvm::Constant *> AnnotationArgs;
519
520 llvm::StringMap<llvm::GlobalVariable *> CFConstantStringMap;
521
522 llvm::DenseMap<llvm::Constant *, llvm::GlobalVariable *> ConstantStringMap;
523 llvm::DenseMap<const UnnamedGlobalConstantDecl *, llvm::GlobalVariable *>
524 UnnamedGlobalConstantDeclMap;
525 llvm::DenseMap<const Decl*, llvm::Constant *> StaticLocalDeclMap;
526 llvm::DenseMap<const Decl*, llvm::GlobalVariable*> StaticLocalDeclGuardMap;
527 llvm::DenseMap<const Expr*, llvm::Constant *> MaterializedGlobalTemporaryMap;
528
529 llvm::DenseMap<QualType, llvm::Constant *> AtomicSetterHelperFnMap;
530 llvm::DenseMap<QualType, llvm::Constant *> AtomicGetterHelperFnMap;
531
532 /// Map used to get unique type descriptor constants for sanitizers.
533 llvm::DenseMap<QualType, llvm::Constant *> TypeDescriptorMap;
534
535 /// Map used to track internal linkage functions declared within
536 /// extern "C" regions.
537 typedef llvm::MapVector<IdentifierInfo *,
538 llvm::GlobalValue *> StaticExternCMap;
539 StaticExternCMap StaticExternCValues;
540
541 /// thread_local variables defined or used in this TU.
542 std::vector<const VarDecl *> CXXThreadLocals;
543
544 /// thread_local variables with initializers that need to run
545 /// before any thread_local variable in this TU is odr-used.
546 std::vector<llvm::Function *> CXXThreadLocalInits;
547 std::vector<const VarDecl *> CXXThreadLocalInitVars;
548
549 /// Global variables with initializers that need to run before main.
550 std::vector<llvm::Function *> CXXGlobalInits;
551
552 /// When a C++ decl with an initializer is deferred, null is
553 /// appended to CXXGlobalInits, and the index of that null is placed
554 /// here so that the initializer will be performed in the correct
555 /// order. Once the decl is emitted, the index is replaced with ~0U to ensure
556 /// that we don't re-emit the initializer.
557 llvm::DenseMap<const Decl*, unsigned> DelayedCXXInitPosition;
558
559 /// To remember which types did require a vector deleting destructor body.
560 /// This set basically contains classes that have virtual destructor and new[]
561 /// was emitted for the class.
562 llvm::SmallPtrSet<const CXXRecordDecl *, 16> RequireVectorDeletingDtor;
563
564 /// Pending MSVC __global_delete variants that may need forwarding bodies.
565 /// Maps each __global_delete wrapper alias to the corresponding global
566 /// ::operator delete FunctionDecl, in insertion order.
567 llvm::MapVector<llvm::GlobalAlias *, const FunctionDecl *>
568 PendingMSVCGlobalDeletes;
569
570 /// Whether this TU contains a direct use of global ::operator delete
571 /// (indicating that __global_delete forwarding bodies should be emitted).
572 bool HasDirectGlobalDelete = false;
573
574 typedef std::pair<OrderGlobalInitsOrStermFinalizers, llvm::Function *>
575 GlobalInitData;
576
577 // When a tail call is performed on an "undefined" symbol, on PPC without pc
578 // relative feature, the tail call is not allowed. In "EmitCall" for such
579 // tail calls, the "undefined" symbols may be forward declarations, their
580 // definitions are provided in the module after the callsites. For such tail
581 // calls, diagnose message should not be emitted.
583 MustTailCallUndefinedGlobals;
584
585 struct GlobalInitPriorityCmp {
586 bool operator()(const GlobalInitData &LHS,
587 const GlobalInitData &RHS) const {
588 return LHS.first.priority < RHS.first.priority;
589 }
590 };
591
592 /// Global variables with initializers whose order of initialization is set by
593 /// init_priority attribute.
594 SmallVector<GlobalInitData, 8> PrioritizedCXXGlobalInits;
595
596 /// Global destructor functions and arguments that need to run on termination.
597 /// When UseSinitAndSterm is set, it instead contains sterm finalizer
598 /// functions, which also run on unloading a shared library.
599 typedef std::tuple<llvm::FunctionType *, llvm::WeakTrackingVH,
600 llvm::Constant *>
601 CXXGlobalDtorsOrStermFinalizer_t;
602 SmallVector<CXXGlobalDtorsOrStermFinalizer_t, 8>
603 CXXGlobalDtorsOrStermFinalizers;
604
605 typedef std::pair<OrderGlobalInitsOrStermFinalizers, llvm::Function *>
606 StermFinalizerData;
607
608 struct StermFinalizerPriorityCmp {
609 bool operator()(const StermFinalizerData &LHS,
610 const StermFinalizerData &RHS) const {
611 return LHS.first.priority < RHS.first.priority;
612 }
613 };
614
615 /// Global variables with sterm finalizers whose order of initialization is
616 /// set by init_priority attribute.
617 SmallVector<StermFinalizerData, 8> PrioritizedCXXStermFinalizers;
618
619 /// The complete set of modules that has been imported.
620 llvm::SetVector<clang::Module *> ImportedModules;
621
622 /// The set of modules for which the module initializers
623 /// have been emitted.
624 llvm::SmallPtrSet<clang::Module *, 16> EmittedModuleInitializers;
625
626 /// A vector of metadata strings for linker options.
627 SmallVector<llvm::MDNode *, 16> LinkerOptionsMetadata;
628
629 /// A vector of metadata strings for dependent libraries for ELF.
630 SmallVector<llvm::MDNode *, 16> ELFDependentLibraries;
631
632 /// Global variable for copyright pragma comment (if present).
633 llvm::GlobalVariable *LoadTimeCommentGlobal = nullptr;
634
635 /// @name Cache for Objective-C runtime types
636 /// @{
637
638 /// Cached reference to the class for constant strings. This value has type
639 /// int * but is actually an Obj-C class pointer.
640 llvm::WeakTrackingVH CFConstantStringClassRef;
641
642 /// The type used to describe the state of a fast enumeration in
643 /// Objective-C's for..in loop.
644 QualType ObjCFastEnumerationStateType;
645
646 /// @}
647
648 /// Lazily create the Objective-C runtime
649 void createObjCRuntime();
650
651 void createOpenCLRuntime();
652 void createOpenMPRuntime();
653 void createCUDARuntime();
654 void createHLSLRuntime();
655
656 bool shouldEmitFunction(GlobalDecl GD);
657 // Whether a global variable should be emitted by CUDA/HIP host/device
658 // related attributes.
659 bool shouldEmitCUDAGlobalVar(const VarDecl *VD) const;
660 bool shouldOpportunisticallyEmitVTables();
661 /// Map used to be sure we don't emit the same CompoundLiteral twice.
662 llvm::DenseMap<const CompoundLiteralExpr *, llvm::GlobalVariable *>
663 EmittedCompoundLiterals;
664
665 /// Map of the global blocks we've emitted, so that we don't have to re-emit
666 /// them if the constexpr evaluator gets aggressive.
667 llvm::DenseMap<const BlockExpr *, llvm::Constant *> EmittedGlobalBlocks;
668
669 /// @name Cache for Blocks Runtime Globals
670 /// @{
671
672 llvm::Constant *NSConcreteGlobalBlock = nullptr;
673 llvm::Constant *NSConcreteStackBlock = nullptr;
674
675 llvm::FunctionCallee BlockObjectAssign = nullptr;
676 llvm::FunctionCallee BlockObjectDispose = nullptr;
677
678 llvm::Type *BlockDescriptorType = nullptr;
679 llvm::Type *GenericBlockLiteralType = nullptr;
680
681 struct {
683 } Block;
684
685 GlobalDecl initializedGlobalDecl;
686
687 /// @}
688
689 /// void @llvm.lifetime.start(i64 %size, i8* nocapture <ptr>)
690 llvm::Function *LifetimeStartFn = nullptr;
691
692 /// void @llvm.lifetime.end(i64 %size, i8* nocapture <ptr>)
693 llvm::Function *LifetimeEndFn = nullptr;
694
695 /// void @llvm.fake.use(...)
696 llvm::Function *FakeUseFn = nullptr;
697
698 std::unique_ptr<SanitizerMetadata> SanitizerMD;
699
700 llvm::MapVector<const Decl *, bool> DeferredEmptyCoverageMappingDecls;
701
702 std::unique_ptr<CoverageMappingModuleGen> CoverageMapping;
703
704 /// Mapping from canonical types to their metadata identifiers. We need to
705 /// maintain this mapping because identifiers may be formed from distinct
706 /// MDNodes.
707 typedef llvm::DenseMap<QualType, llvm::Metadata *> MetadataTypeMap;
708 MetadataTypeMap MetadataIdMap;
709 MetadataTypeMap VirtualMetadataIdMap;
710 MetadataTypeMap GeneralizedMetadataIdMap;
711 MetadataTypeMap CallGraphMetadataIdMap;
712
713 // Helps squashing blocks of TopLevelStmtDecl into a single llvm::Function
714 // when used with -fincremental-extensions.
715 std::pair<std::unique_ptr<CodeGenFunction>, const TopLevelStmtDecl *>
716 GlobalTopLevelStmtBlockInFlight;
717
718 llvm::DenseMap<GlobalDecl, uint16_t> PtrAuthDiscriminatorHashes;
719
720 llvm::DenseMap<const CXXRecordDecl *, std::optional<PointerAuthQualifier>>
721 VTablePtrAuthInfos;
722 std::optional<PointerAuthQualifier>
723 computeVTPointerAuthentication(const CXXRecordDecl *ThisClass,
724 bool IsVTTEntry);
725
726 AtomicOptions AtomicOpts;
727
728 // A set of functions which should be hot-patched; see
729 // -fms-hotpatch-functions-file (and -list). This will nearly always be empty.
730 // The list is sorted for binary-searching.
731 std::vector<std::string> MSHotPatchFunctions;
732
733public:
735 const HeaderSearchOptions &headersearchopts,
736 const PreprocessorOptions &ppopts,
737 const CodeGenOptions &CodeGenOpts, llvm::Module &M,
738 DiagnosticsEngine &Diags,
739 CoverageSourceInfo *CoverageInfo = nullptr);
740
742
743 void clear();
744
745 /// Finalize LLVM code generation.
746 void Release();
747
748 /// Get the current Atomic options.
749 AtomicOptions getAtomicOpts() { return AtomicOpts; }
750
751 /// Set the current Atomic options.
752 void setAtomicOpts(AtomicOptions AO) { AtomicOpts = AO; }
753
754 /// Return true if we should emit location information for expressions.
756
757 /// Return a reference to the configured Objective-C runtime.
759 if (!ObjCRuntime) createObjCRuntime();
760 return *ObjCRuntime;
761 }
762
763 /// Return true iff an Objective-C runtime has been configured.
764 bool hasObjCRuntime() { return !!ObjCRuntime; }
765
766 /// Check if the precondition thunk optimization is enabled.
767 /// This checks runtime support and codegen options, but does NOT check
768 /// whether a specific method is eligible for thunks or inline preconditions.
769 ///
770 /// TODO: Add support for GNUStep as well, currently only supports NeXT
771 /// family.
775 getCodeGenOpts().ObjCDirectPreconditionThunk;
776 }
777
778 /// Check if a direct method should use precondition thunks at call sites.
779 /// Returns false if OMD is null, not a direct method, or variadic.
780 ///
781 /// Variadic methods use inline preconditions instead of thunks to avoid
782 /// musttail complexity across different architectures.
784 return OMD && OMD->isDirectMethod() && !OMD->isVariadic() &&
786 }
787
788 /// Check if a direct method should have inline precondition checks at call
789 /// sites.
790 /// Returns false if OMD is null, not a direct method, or not variadic.
791 ///
792 /// Variadic direct methods use inline preconditions rather than thunks
793 /// to avoid musttail complexity across different architectures.
795 return OMD && OMD->isDirectMethod() && OMD->isVariadic() &&
797 }
798
799 const std::string &getModuleNameHash() const { return ModuleNameHash; }
800
801 /// Return a reference to the configured OpenCL runtime.
803 assert(OpenCLRuntime != nullptr);
804 return *OpenCLRuntime;
805 }
806
807 /// Return a reference to the configured OpenMP runtime.
809 assert(OpenMPRuntime != nullptr);
810 return *OpenMPRuntime;
811 }
812
813 /// Return a reference to the configured CUDA runtime.
815 assert(CUDARuntime != nullptr);
816 return *CUDARuntime;
817 }
818
819 /// Return a reference to the configured HLSL runtime.
821 assert(HLSLRuntime != nullptr);
822 return *HLSLRuntime;
823 }
824
826 assert(ObjCData != nullptr);
827 return *ObjCData;
828 }
829
830 // Version checking functions, used to implement ObjC's @available:
831 // i32 @__isOSVersionAtLeast(i32, i32, i32)
832 llvm::FunctionCallee IsOSVersionAtLeastFn = nullptr;
833 // i32 @__isPlatformVersionAtLeast(i32, i32, i32, i32)
834 llvm::FunctionCallee IsPlatformVersionAtLeastFn = nullptr;
835
836 InstrProfStats &getPGOStats() { return PGOStats; }
837 llvm::IndexedInstrProfReader *getPGOReader() const { return PGOReader.get(); }
838
840 return CoverageMapping.get();
841 }
842
843 llvm::Constant *getStaticLocalDeclAddress(const VarDecl *D) {
844 return StaticLocalDeclMap[D];
845 }
847 llvm::Constant *C) {
848 StaticLocalDeclMap[D] = C;
849 }
850
851 llvm::Constant *
853 llvm::GlobalValue::LinkageTypes Linkage);
854
855 llvm::GlobalVariable *getStaticLocalDeclGuardAddress(const VarDecl *D) {
856 return StaticLocalDeclGuardMap[D];
857 }
859 llvm::GlobalVariable *C) {
860 StaticLocalDeclGuardMap[D] = C;
861 }
862
863 Address createUnnamedGlobalFrom(const VarDecl &D, llvm::Constant *Constant,
864 CharUnits Align);
865
866 bool lookupRepresentativeDecl(StringRef MangledName,
867 GlobalDecl &Result) const;
868
870 return AtomicSetterHelperFnMap[Ty];
871 }
873 llvm::Constant *Fn) {
874 AtomicSetterHelperFnMap[Ty] = Fn;
875 }
876
878 return AtomicGetterHelperFnMap[Ty];
879 }
881 llvm::Constant *Fn) {
882 AtomicGetterHelperFnMap[Ty] = Fn;
883 }
884
885 llvm::Constant *getTypeDescriptorFromMap(QualType Ty) {
886 return TypeDescriptorMap[Ty];
887 }
888 void setTypeDescriptorInMap(QualType Ty, llvm::Constant *C) {
889 TypeDescriptorMap[Ty] = C;
890 }
891
892 CGDebugInfo *getModuleDebugInfo() { return DebugInfo.get(); }
893
895 if (!NoObjCARCExceptionsMetadata)
896 NoObjCARCExceptionsMetadata = llvm::MDNode::get(getLLVMContext(), {});
897 return NoObjCARCExceptionsMetadata;
898 }
899
900 ASTContext &getContext() const { return Context; }
901 const LangOptions &getLangOpts() const { return LangOpts; }
903 return FS;
904 }
906 const { return HeaderSearchOpts; }
908 const { return PreprocessorOpts; }
909 const CodeGenOptions &getCodeGenOpts() const { return CodeGenOpts; }
910 llvm::Module &getModule() const { return TheModule; }
911 DiagnosticsEngine &getDiags() const { return Diags; }
912 const llvm::DataLayout &getDataLayout() const {
913 return TheModule.getDataLayout();
914 }
915 const TargetInfo &getTarget() const { return Target; }
916 const llvm::Triple &getTriple() const { return Target.getTriple(); }
917 bool supportsCOMDAT() const;
918 void maybeSetTrivialComdat(const Decl &D, llvm::GlobalObject &GO);
919
920 const ABIInfo &getABIInfo();
921
922 /// Lazily build and return the LLVMABI library's TargetInfo for the current
923 /// target. Used by the experimental ABI lowering path
924 /// (-fexperimental-abi-lowering).
925 const llvm::abi::TargetInfo &getLLVMABITargetInfo(llvm::abi::TypeBuilder &TB);
926
927 /// True when -fexperimental-abi-lowering is in effect AND the active target
928 /// has an LLVMABI implementation that supports the given LLVM calling
929 /// convention. Unsupported CCs fall back to the legacy ABIInfo path.
930 bool shouldUseLLVMABILowering(unsigned CallingConv) const;
931
932 /// Drive the experimental LLVMABI-based lowering path: map argument and
933 /// return types into the LLVMABI library, ask its target lowering to fill
934 /// in classification, and write the results back into FI.
936
937 CGCXXABI &getCXXABI() const { return *ABI; }
938 llvm::LLVMContext &getLLVMContext() { return VMContext; }
939
940 bool shouldUseTBAA() const { return TBAA != nullptr; }
941
943
944 CodeGenTypes &getTypes() { return *Types; }
945
946 CodeGenVTables &getVTables() { return VTables; }
947
949 return VTables.getItaniumVTableContext();
950 }
951
953 return VTables.getItaniumVTableContext();
954 }
955
957 return VTables.getMicrosoftVTableContext();
958 }
959
960 CtorList &getGlobalCtors() { return GlobalCtors; }
961 CtorList &getGlobalDtors() { return GlobalDtors; }
962
963 /// getTBAATypeInfo - Get metadata used to describe accesses to objects of
964 /// the given type.
965 llvm::MDNode *getTBAATypeInfo(QualType QTy);
966
967 /// getTBAAAccessInfo - Get TBAA information that describes an access to
968 /// an object of the given type.
970
971 /// getTBAAVTablePtrAccessInfo - Get the TBAA information that describes an
972 /// access to a virtual table pointer.
973 TBAAAccessInfo getTBAAVTablePtrAccessInfo(llvm::Type *VTablePtrType);
974
975 llvm::MDNode *getTBAAStructInfo(QualType QTy);
976
977 /// getTBAABaseTypeInfo - Get metadata that describes the given base access
978 /// type. Return null if the type is not suitable for use in TBAA access tags.
979 llvm::MDNode *getTBAABaseTypeInfo(QualType QTy);
980
981 /// getTBAAAccessTagInfo - Get TBAA tag for a given memory access.
982 llvm::MDNode *getTBAAAccessTagInfo(TBAAAccessInfo Info);
983
984 /// mergeTBAAInfoForCast - Get merged TBAA information for the purposes of
985 /// type casts.
988
989 /// mergeTBAAInfoForConditionalOperator - Get merged TBAA information for the
990 /// purposes of conditional operator.
992 TBAAAccessInfo InfoB);
993
994 /// mergeTBAAInfoForMemoryTransfer - Get merged TBAA information for the
995 /// purposes of memory transfer calls.
997 TBAAAccessInfo SrcInfo);
998
999 /// getTBAAInfoForSubobject - Get TBAA information for an access with a given
1000 /// base lvalue.
1002 if (Base.getTBAAInfo().isMayAlias())
1004 return getTBAAAccessInfo(AccessType);
1005 }
1006
1008 bool isPaddedAtomicType(const AtomicType *type);
1009
1010 /// DecorateInstructionWithTBAA - Decorate the instruction with a TBAA tag.
1011 void DecorateInstructionWithTBAA(llvm::Instruction *Inst,
1012 TBAAAccessInfo TBAAInfo);
1013
1014 /// Adds !invariant.barrier !tag to instruction
1015 void DecorateInstructionWithInvariantGroup(llvm::Instruction *I,
1016 const CXXRecordDecl *RD);
1017
1018 /// Emit the given number of characters as a value of type size_t.
1019 llvm::ConstantInt *getSize(CharUnits numChars);
1020
1021 /// Set the visibility for the given LLVM GlobalValue.
1022 void setGlobalVisibility(llvm::GlobalValue *GV, const NamedDecl *D) const;
1023
1024 void setDSOLocal(llvm::GlobalValue *GV) const;
1025
1034 void setDLLImportDLLExport(llvm::GlobalValue *GV, GlobalDecl D) const;
1035 void setDLLImportDLLExport(llvm::GlobalValue *GV, const NamedDecl *D) const;
1036 /// Set visibility, dllimport/dllexport and dso_local.
1037 /// This must be called after dllimport/dllexport is set.
1038 void setGVProperties(llvm::GlobalValue *GV, GlobalDecl GD) const;
1039 void setGVProperties(llvm::GlobalValue *GV, const NamedDecl *D) const;
1040
1041 void setGVPropertiesAux(llvm::GlobalValue *GV, const NamedDecl *D) const;
1042
1043 /// Set the TLS mode for the given LLVM GlobalValue for the thread-local
1044 /// variable declaration D.
1045 void setTLSMode(llvm::GlobalValue *GV, const VarDecl &D) const;
1046
1047 /// Get LLVM TLS mode from CodeGenOptions.
1048 llvm::GlobalVariable::ThreadLocalMode GetDefaultLLVMTLSModel() const;
1049
1050 static llvm::GlobalValue::VisibilityTypes GetLLVMVisibility(Visibility V) {
1051 switch (V) {
1052 case DefaultVisibility: return llvm::GlobalValue::DefaultVisibility;
1053 case HiddenVisibility: return llvm::GlobalValue::HiddenVisibility;
1054 case ProtectedVisibility: return llvm::GlobalValue::ProtectedVisibility;
1055 }
1056 llvm_unreachable("unknown visibility!");
1057 }
1058
1059 llvm::Constant *GetAddrOfGlobal(GlobalDecl GD,
1060 ForDefinition_t IsForDefinition
1062
1063 /// Will return a global variable of the given type. If a variable with a
1064 /// different type already exists then a new variable with the right type
1065 /// will be created and all uses of the old variable will be replaced with a
1066 /// bitcast to the new variable.
1067 llvm::GlobalVariable *
1068 CreateOrReplaceCXXRuntimeVariable(StringRef Name, llvm::Type *Ty,
1069 llvm::GlobalValue::LinkageTypes Linkage,
1070 llvm::Align Alignment);
1071
1072 llvm::Function *CreateGlobalInitOrCleanUpFunction(
1073 llvm::FunctionType *ty, const Twine &name, const CGFunctionInfo &FI,
1074 SourceLocation Loc = SourceLocation(), bool TLS = false,
1075 llvm::GlobalVariable::LinkageTypes Linkage =
1076 llvm::GlobalVariable::InternalLinkage);
1077
1078 /// Return the AST address space of the underlying global variable for D, as
1079 /// determined by its declaration. Normally this is the same as the address
1080 /// space of D's type, but in CUDA, address spaces are associated with
1081 /// declarations, not types. If D is nullptr, return the default address
1082 /// space for global variable.
1083 ///
1084 /// For languages without explicit address spaces, if D has default address
1085 /// space, target-specific global or constant address space may be returned.
1087
1088 /// Return the AST address space of constant literal, which is used to emit
1089 /// the constant literal as global variable in LLVM IR.
1090 /// Note: This is not necessarily the address space of the constant literal
1091 /// in AST. For address space agnostic language, e.g. C++, constant literal
1092 /// in AST is always in default address space.
1094
1095 /// Return the llvm::Constant for the address of the given global variable.
1096 /// If Ty is non-null and if the global doesn't exist, then it will be created
1097 /// with the specified type instead of whatever the normal requested type
1098 /// would be. If IsForDefinition is true, it is guaranteed that an actual
1099 /// global with type Ty will be returned, not conversion of a variable with
1100 /// the same mangled name but some other type.
1101 llvm::Constant *GetAddrOfGlobalVar(const VarDecl *D,
1102 llvm::Type *Ty = nullptr,
1103 ForDefinition_t IsForDefinition
1105
1106 /// Return the address of the given function. If Ty is non-null, then this
1107 /// function will use the specified type if it has to create it.
1108 llvm::Constant *GetAddrOfFunction(GlobalDecl GD, llvm::Type *Ty = nullptr,
1109 bool ForVTable = false,
1110 bool DontDefer = false,
1111 ForDefinition_t IsForDefinition
1113
1114 // Return the function body address of the given function.
1115 llvm::Constant *GetFunctionStart(const ValueDecl *Decl);
1116
1117 /// Return a function pointer for a reference to the given function.
1118 /// This correctly handles weak references, but does not apply a
1119 /// pointer signature.
1120 llvm::Constant *getRawFunctionPointer(GlobalDecl GD,
1121 llvm::Type *Ty = nullptr);
1122
1123 /// Return the ABI-correct function pointer value for a reference
1124 /// to the given function. This will apply a pointer signature if
1125 /// necessary, caching the result for the given function.
1126 llvm::Constant *getFunctionPointer(GlobalDecl GD, llvm::Type *Ty = nullptr);
1127
1128 /// Return the ABI-correct function pointer value for a reference
1129 /// to the given function. This will apply a pointer signature if
1130 /// necessary.
1131 llvm::Constant *getFunctionPointer(llvm::Constant *Pointer,
1133
1134 llvm::Constant *getMemberFunctionPointer(const FunctionDecl *FD,
1135 llvm::Type *Ty = nullptr);
1136
1137 llvm::Constant *getMemberFunctionPointer(llvm::Constant *Pointer,
1138 QualType FT);
1139
1141
1143
1145
1147
1148 bool shouldSignPointer(const PointerAuthSchema &Schema);
1149 llvm::Constant *getConstantSignedPointer(llvm::Constant *Pointer,
1150 const PointerAuthSchema &Schema,
1151 llvm::Constant *StorageAddress,
1152 GlobalDecl SchemaDecl,
1153 QualType SchemaType);
1154
1155 llvm::Constant *
1156 getConstantSignedPointer(llvm::Constant *Pointer, unsigned Key,
1157 llvm::Constant *StorageAddress,
1158 llvm::ConstantInt *OtherDiscriminator);
1159
1160 llvm::ConstantInt *
1162 GlobalDecl SchemaDecl, QualType SchemaType);
1163
1165
1166 std::optional<CGPointerAuthInfo> getVTablePointerAuthInfo(
1167 CodeGenFunction *Context, const CXXRecordDecl *Record,
1168 llvm::Value *StorageAddress, bool IsVTTEntry = false);
1169
1170 std::optional<PointerAuthQualifier>
1172 bool IsVTTEntry = false);
1173
1175
1176 // Return whether RTTI information should be emitted for this target.
1177 bool shouldEmitRTTI(bool ForEH = false) {
1178 return (ForEH || getLangOpts().RTTI) &&
1179 (!getLangOpts().isTargetDevice() || !getTriple().isGPU());
1180 }
1181
1182 /// Get the address of the RTTI descriptor for the given type.
1183 llvm::Constant *GetAddrOfRTTIDescriptor(QualType Ty, bool ForEH = false);
1184
1185 /// Get the address of a GUID.
1187
1188 /// Get the address of a UnnamedGlobalConstant
1191
1192 /// Get the address of a template parameter object.
1195
1196 /// Get the address of the thunk for the given global decl.
1197 llvm::Constant *GetAddrOfThunk(StringRef Name, llvm::Type *FnTy,
1198 GlobalDecl GD);
1199
1200 /// Get a reference to the target of VD.
1202
1203 /// Returns the assumed alignment of an opaque pointer to the given class.
1205
1206 /// Returns the minimum object size for an object of the given class type
1207 /// (or a class derived from it).
1209
1210 /// Returns the minimum object size for an object of the given type.
1216
1217 /// Returns the assumed alignment of a virtual base of a class.
1219 const CXXRecordDecl *Derived,
1220 const CXXRecordDecl *VBase);
1221
1222 /// Given a class pointer with an actual known alignment, and the
1223 /// expected alignment of an object at a dynamic offset w.r.t that
1224 /// pointer, return the alignment to assume at the offset.
1226 const CXXRecordDecl *Class,
1227 CharUnits ExpectedTargetAlign);
1228
1229 CharUnits
1233
1234 /// Returns the offset from a derived class to a class. Returns null if the
1235 /// offset is 0.
1236 llvm::Constant *
1240
1241 llvm::FoldingSet<BlockByrefHelpers> ByrefHelpersCache;
1242
1243 /// Fetches the global unique block count.
1244 int getUniqueBlockCount() { return ++Block.GlobalUniqueCount; }
1245
1246 /// Fetches the type of a generic block descriptor.
1247 llvm::Type *getBlockDescriptorType();
1248
1249 /// The type of a generic block literal.
1250 llvm::Type *getGenericBlockLiteralType();
1251
1252 /// Gets the address of a block which requires no captures.
1253 llvm::Constant *GetAddrOfGlobalBlock(const BlockExpr *BE, StringRef Name);
1254
1255 /// Returns the address of a block which requires no caputres, or null if
1256 /// we've yet to emit the block for BE.
1257 llvm::Constant *getAddrOfGlobalBlockIfEmitted(const BlockExpr *BE) {
1258 return EmittedGlobalBlocks.lookup(BE);
1259 }
1260
1261 /// Notes that BE's global block is available via Addr. Asserts that BE
1262 /// isn't already emitted.
1263 void setAddrOfGlobalBlock(const BlockExpr *BE, llvm::Constant *Addr);
1264
1265 /// Return a pointer to a constant CFString object for the given string.
1267
1268 /// Return a constant array for the given string.
1269 llvm::Constant *GetConstantArrayFromStringLiteral(const StringLiteral *E);
1270
1271 /// Return a pointer to a constant array for the given string literal.
1274 StringRef Name = ".str");
1275
1276 /// Return a pointer to a constant array for the given ObjCEncodeExpr node.
1279
1280 /// Returns a pointer to a character array containing the literal and a
1281 /// terminating '\0' character. The result has pointer to array type.
1282 ///
1283 /// \param GlobalName If provided, the name to use for the global (if one is
1284 /// created).
1285 ConstantAddress GetAddrOfConstantCString(const std::string &Str,
1286 StringRef GlobalName = ".str");
1287
1288 /// Returns a pointer to a constant global variable for the given file-scope
1289 /// compound literal expression.
1291
1292 /// If it's been emitted already, returns the GlobalVariable corresponding to
1293 /// a compound literal. Otherwise, returns null.
1294 llvm::GlobalVariable *
1296
1297 /// Notes that CLE's GlobalVariable is GV. Asserts that CLE isn't already
1298 /// emitted.
1300 llvm::GlobalVariable *GV);
1301
1302 /// Returns a pointer to a global variable representing a temporary
1303 /// with static or thread storage duration.
1305 const Expr *Inner);
1306
1307 /// Retrieve the record type that describes the state of an
1308 /// Objective-C fast enumeration loop (for..in).
1310
1311 // Produce code for this constructor/destructor. This method doesn't try
1312 // to apply any ABI rules about which other constructors/destructors
1313 // are needed or if they are alias to each other.
1314 llvm::Function *codegenCXXStructor(GlobalDecl GD);
1315
1316 /// Emit a trap stub body for functions in ASTContext::CUDADeviceInvalidFuncs.
1317 bool tryEmitCUDADeviceInvalidFunctionBody(GlobalDecl GD, llvm::Function *Fn);
1318
1319 /// Return the address of the constructor/destructor of the given type.
1320 llvm::Constant *
1322 llvm::FunctionType *FnType = nullptr,
1323 bool DontDefer = false,
1324 ForDefinition_t IsForDefinition = NotForDefinition) {
1325 return cast<llvm::Constant>(getAddrAndTypeOfCXXStructor(GD, FnInfo, FnType,
1326 DontDefer,
1327 IsForDefinition)
1328 .getCallee());
1329 }
1330
1331 llvm::FunctionCallee getAddrAndTypeOfCXXStructor(
1332 GlobalDecl GD, const CGFunctionInfo *FnInfo = nullptr,
1333 llvm::FunctionType *FnType = nullptr, bool DontDefer = false,
1334 ForDefinition_t IsForDefinition = NotForDefinition);
1335
1336 /// Given a builtin id for a function like "__builtin_fabsf", return a
1337 /// Function* for "fabsf".
1338 llvm::Constant *getBuiltinLibFunction(const FunctionDecl *FD,
1339 unsigned BuiltinID);
1340
1341 llvm::Function *getIntrinsic(unsigned IID, ArrayRef<llvm::Type *> Tys = {});
1342
1343 void AddCXXGlobalInit(llvm::Function *F) { CXXGlobalInits.push_back(F); }
1344
1345 /// Emit code for a single top level declaration.
1346 void EmitTopLevelDecl(Decl *D);
1347
1348 /// Stored a deferred empty coverage mapping for an unused
1349 /// and thus uninstrumented top level declaration.
1351
1352 /// Remove the deferred empty coverage mapping as this
1353 /// declaration is actually instrumented.
1354 void ClearUnusedCoverageMapping(const Decl *D);
1355
1356 /// Emit all the deferred coverage mappings
1357 /// for the uninstrumented functions.
1359
1360 /// Emit an alias for "main" if it has no arguments (needed for wasm).
1361 void EmitMainVoidAlias();
1362
1363 /// Tell the consumer that this variable has been instantiated.
1365
1366 /// If the declaration has internal linkage but is inside an
1367 /// extern "C" linkage specification, prepare to emit an alias for it
1368 /// to the expected name.
1369 template<typename SomeDecl>
1370 void MaybeHandleStaticInExternC(const SomeDecl *D, llvm::GlobalValue *GV);
1371
1372 /// Add a global to a list to be added to the llvm.used metadata.
1373 void addUsedGlobal(llvm::GlobalValue *GV);
1374
1375 /// Add a global to a list to be added to the llvm.compiler.used metadata.
1376 void addCompilerUsedGlobal(llvm::GlobalValue *GV);
1377
1378 /// Add a global to a list to be added to the llvm.compiler.used metadata.
1379 void addUsedOrCompilerUsedGlobal(llvm::GlobalValue *GV);
1380
1381 /// Add a destructor and object to add to the C++ global destructor function.
1382 void AddCXXDtorEntry(llvm::FunctionCallee DtorFn, llvm::Constant *Object) {
1383 CXXGlobalDtorsOrStermFinalizers.emplace_back(DtorFn.getFunctionType(),
1384 DtorFn.getCallee(), Object);
1385 }
1386
1387 /// Add an sterm finalizer to the C++ global cleanup function.
1388 void AddCXXStermFinalizerEntry(llvm::FunctionCallee DtorFn) {
1389 CXXGlobalDtorsOrStermFinalizers.emplace_back(DtorFn.getFunctionType(),
1390 DtorFn.getCallee(), nullptr);
1391 }
1392
1393 /// Add an sterm finalizer to its own llvm.global_dtors entry.
1394 void AddCXXStermFinalizerToGlobalDtor(llvm::Function *StermFinalizer,
1395 int Priority) {
1396 AddGlobalDtor(StermFinalizer, Priority);
1397 }
1398
1399 void AddCXXPrioritizedStermFinalizerEntry(llvm::Function *StermFinalizer,
1400 int Priority) {
1402 PrioritizedCXXStermFinalizers.size());
1403 PrioritizedCXXStermFinalizers.push_back(
1404 std::make_pair(Key, StermFinalizer));
1405 }
1406
1407 /// Create or return a runtime function declaration with the specified type
1408 /// and name. If \p AssumeConvergent is true, the call will have the
1409 /// convergent attribute added.
1410 ///
1411 /// For new code, please use the overload that takes a QualType; it sets
1412 /// function attributes more accurately.
1413 llvm::FunctionCallee
1414 CreateRuntimeFunction(llvm::FunctionType *Ty, StringRef Name,
1415 llvm::AttributeList ExtraAttrs = llvm::AttributeList(),
1416 bool Local = false, bool AssumeConvergent = false);
1417
1418 /// Create or return a runtime function declaration with the specified type
1419 /// and name. If \p AssumeConvergent is true, the call will have the
1420 /// convergent attribute added.
1421 llvm::FunctionCallee
1423 StringRef Name,
1424 llvm::AttributeList ExtraAttrs = llvm::AttributeList(),
1425 bool Local = false, bool AssumeConvergent = false);
1426
1427 /// Create a new runtime global variable with the specified type and name.
1428 llvm::Constant *CreateRuntimeVariable(llvm::Type *Ty,
1429 StringRef Name);
1430
1431 ///@name Custom Blocks Runtime Interfaces
1432 ///@{
1433
1434 llvm::Constant *getNSConcreteGlobalBlock();
1435 llvm::Constant *getNSConcreteStackBlock();
1436 llvm::FunctionCallee getBlockObjectAssign();
1437 llvm::FunctionCallee getBlockObjectDispose();
1438
1439 ///@}
1440
1441 llvm::Function *getLLVMLifetimeStartFn();
1442 llvm::Function *getLLVMLifetimeEndFn();
1443 llvm::Function *getLLVMFakeUseFn();
1444
1445 // Make sure that this type is translated.
1446 void UpdateCompletedType(const TagDecl *TD);
1447
1448 llvm::Constant *getMemberPointerConstant(const UnaryOperator *e);
1449
1450 /// Emit type info if type of an expression is a variably modified
1451 /// type. Also emit proper debug info for cast types.
1453 CodeGenFunction *CGF = nullptr);
1454
1455 /// Return the result of value-initializing the given type, i.e. a null
1456 /// expression of the given type. This is usually, but not always, an LLVM
1457 /// null constant.
1458 llvm::Constant *EmitNullConstant(QualType T);
1459
1460 /// Return a null constant appropriate for zero-initializing a base class with
1461 /// the given type. This is usually, but not always, an LLVM null constant.
1462 llvm::Constant *EmitNullConstantForBase(const CXXRecordDecl *Record);
1463
1464 /// Emit a general error that something can't be done.
1465 void Error(SourceLocation loc, StringRef error);
1466
1467 /// Print out an error that codegen doesn't support the specified stmt yet.
1468 void ErrorUnsupported(const Stmt *S, const char *Type);
1469
1470 /// Print out an error that codegen doesn't support the specified stmt yet.
1471 void ErrorUnsupported(const Stmt *S, llvm::StringRef Type);
1472
1473 /// Print out an error that codegen doesn't support the specified decl yet.
1474 void ErrorUnsupported(const Decl *D, const char *Type);
1475
1476 /// Run some code with "sufficient" stack space. (Currently, at least 256K is
1477 /// guaranteed). Produces a warning if we're low on stack space and allocates
1478 /// more in that case. Use this in code that may recurse deeply to avoid stack
1479 /// overflow.
1481 llvm::function_ref<void()> Fn);
1482
1483 /// Set the attributes on the LLVM function for the given decl and function
1484 /// info. This applies attributes necessary for handling the ABI as well as
1485 /// user specified attributes like section.
1486 void SetInternalFunctionAttributes(GlobalDecl GD, llvm::Function *F,
1487 const CGFunctionInfo &FI);
1488
1489 /// Set the LLVM function attributes (sext, zext, etc).
1491 llvm::Function *F, bool IsThunk);
1492
1493 /// Set the LLVM function attributes which only apply to a function
1494 /// definition.
1495 void SetLLVMFunctionAttributesForDefinition(const Decl *D, llvm::Function *F);
1496
1497 /// Set the LLVM function attributes that represent floating point
1498 /// environment.
1499 void setLLVMFunctionFEnvAttributes(const FunctionDecl *D, llvm::Function *F);
1500
1501 /// Return true iff the given type uses 'sret' when used as a return type.
1502 bool ReturnTypeUsesSRet(const CGFunctionInfo &FI);
1503
1504 /// Return true iff the given type has `inreg` set.
1505 bool ReturnTypeHasInReg(const CGFunctionInfo &FI);
1506
1507 /// Return true iff the given type uses an argument slot when 'sret' is used
1508 /// as a return type.
1510
1511 /// Return true iff the given type uses 'fpret' when used as a return type.
1512 bool ReturnTypeUsesFPRet(QualType ResultType);
1513
1514 /// Return true iff the given type uses 'fp2ret' when used as a return type.
1515 bool ReturnTypeUsesFP2Ret(QualType ResultType);
1516
1517 /// Get the LLVM attributes and calling convention to use for a particular
1518 /// function type.
1519 ///
1520 /// \param Name - The function name.
1521 /// \param Info - The function type information.
1522 /// \param CalleeInfo - The callee information these attributes are being
1523 /// constructed for. If valid, the attributes applied to this decl may
1524 /// contribute to the function attributes and calling convention.
1525 /// \param Attrs [out] - On return, the attribute list to use.
1526 /// \param CallingConv [out] - On return, the LLVM calling convention to use.
1527 void ConstructAttributeList(StringRef Name, const CGFunctionInfo &Info,
1528 CGCalleeInfo CalleeInfo,
1529 llvm::AttributeList &Attrs, unsigned &CallingConv,
1530 bool AttrOnCallSite, bool IsThunk);
1531
1532 /// Adjust Memory attribute to ensure that the BE gets the right attribute
1533 // in order to generate the library call or the intrinsic for the function
1534 // name 'Name'.
1535 void AdjustMemoryAttribute(StringRef Name, CGCalleeInfo CalleeInfo,
1536 llvm::AttributeList &Attrs);
1537
1538 /// Like the overload taking a `Function &`, but intended specifically
1539 /// for frontends that want to build on Clang's target-configuration logic.
1540 void addDefaultFunctionDefinitionAttributes(llvm::AttrBuilder &attrs);
1541
1542 StringRef getMangledName(GlobalDecl GD);
1543 StringRef getBlockMangledName(GlobalDecl GD, const BlockDecl *BD);
1544 const GlobalDecl getMangledNameDecl(StringRef);
1545
1546 void EmitTentativeDefinition(const VarDecl *D);
1547
1549
1551
1553
1554 /// Appends Opts to the "llvm.linker.options" metadata value.
1555 void AppendLinkerOptions(StringRef Opts);
1556
1557 /// Appends a detect mismatch command to the linker options.
1558 void AddDetectMismatch(StringRef Name, StringRef Value);
1559
1560 /// Appends a dependent lib to the appropriate metadata value.
1561 void AddDependentLib(StringRef Lib);
1562
1563 llvm::GlobalVariable::LinkageTypes getFunctionLinkage(GlobalDecl GD);
1564
1565 void setFunctionLinkage(GlobalDecl GD, llvm::Function *F) {
1566 F->setLinkage(getFunctionLinkage(GD));
1567 }
1568
1569 /// Return the appropriate linkage for the vtable, VTT, and type information
1570 /// of the given class.
1571 llvm::GlobalVariable::LinkageTypes getVTableLinkage(const CXXRecordDecl *RD);
1572
1573 /// Returns true if a vtable with the given linkage may be emitted with more
1574 /// than one address in the program, because the vtable is weak and the
1575 /// target's ABI allows weak vtables to be duplicated across images.
1576 bool mayVTableBeDuplicated(llvm::GlobalValue::LinkageTypes Linkage) const;
1577
1578 /// Return the store size, in character units, of the given LLVM type.
1579 CharUnits GetTargetTypeStoreSize(llvm::Type *Ty) const;
1580
1581 /// Returns LLVM linkage for a declarator.
1582 llvm::GlobalValue::LinkageTypes
1584
1585 /// Returns LLVM linkage for a declarator.
1586 llvm::GlobalValue::LinkageTypes
1588
1589 /// Emit all the global annotations.
1590 void EmitGlobalAnnotations();
1591
1592 /// Emit an annotation string.
1593 llvm::Constant *EmitAnnotationString(StringRef Str);
1594
1595 /// Emit the annotation's translation unit.
1596 llvm::Constant *EmitAnnotationUnit(SourceLocation Loc);
1597
1598 /// Emit the annotation line number.
1599 llvm::Constant *EmitAnnotationLineNo(SourceLocation L);
1600
1601 /// Emit additional args of the annotation.
1602 llvm::Constant *EmitAnnotationArgs(const AnnotateAttr *Attr);
1603
1604 /// Generate the llvm::ConstantStruct which contains the annotation
1605 /// information for a given GlobalValue. The annotation struct is
1606 /// {i8 *, i8 *, i8 *, i32}. The first field is a constant expression, the
1607 /// GlobalValue being annotated. The second field is the constant string
1608 /// created from the AnnotateAttr's annotation. The third field is a constant
1609 /// string containing the name of the translation unit. The fourth field is
1610 /// the line number in the file of the annotated value declaration.
1611 llvm::Constant *EmitAnnotateAttr(llvm::GlobalValue *GV,
1612 const AnnotateAttr *AA,
1613 SourceLocation L);
1614
1615 /// Add global annotations that are set on D, for the global GV. Those
1616 /// annotations are emitted during finalization of the LLVM code.
1617 void AddGlobalAnnotations(const ValueDecl *D, llvm::GlobalValue *GV);
1618
1619 bool isInNoSanitizeList(SanitizerMask Kind, llvm::Function *Fn,
1620 SourceLocation Loc) const;
1621
1622 bool isInNoSanitizeList(SanitizerMask Kind, llvm::GlobalVariable *GV,
1623 SourceLocation Loc, QualType Ty,
1624 StringRef Category = StringRef()) const;
1625
1626 /// Imbue XRay attributes to a function, applying the always/never attribute
1627 /// lists in the process. Returns true if we did imbue attributes this way,
1628 /// false otherwise.
1629 bool imbueXRayAttrs(llvm::Function *Fn, SourceLocation Loc,
1630 StringRef Category = StringRef()) const;
1631
1632 /// \returns true if \p Fn at \p Loc should be excluded from profile
1633 /// instrumentation by the SCL passed by \p -fprofile-list.
1635 isFunctionBlockedByProfileList(llvm::Function *Fn, SourceLocation Loc) const;
1636
1637 /// \returns true if \p Fn at \p Loc should be excluded from profile
1638 /// instrumentation.
1640 isFunctionBlockedFromProfileInstr(llvm::Function *Fn,
1641 SourceLocation Loc) const;
1642
1644 return SanitizerMD.get();
1645 }
1646
1648 DeferredVTables.push_back(RD);
1649 }
1650
1651 /// Emit code for a single global function or var decl. Forward declarations
1652 /// are emitted lazily.
1653 void EmitGlobal(GlobalDecl D);
1654
1655 /// Record that new[] was called for the class, transform vector deleting
1656 /// destructor definition in a form of alias to the actual definition.
1658
1659 /// Record a pending __global_delete variant that may need a forwarding body.
1660 void addPendingGlobalDelete(llvm::GlobalAlias *GlobalDeleteAlias,
1661 const FunctionDecl *OperatorDeleteFD);
1662
1663 /// Get or create the MSVC-compatible __global_delete wrapper for the given
1664 /// global ::operator delete, registering it as a pending variant so a
1665 /// forwarding body can be emitted if this TU directly uses global
1666 /// ::operator delete.
1667 llvm::Constant *
1669
1670 /// Note that global ::operator delete is directly used in this TU.
1672
1673 /// Emit __global_delete forwarding bodies for any pending variants,
1674 /// if this TU directly uses global ::operator delete.
1676
1677 /// Check that class need vector deleting destructor body.
1679
1682
1683 llvm::GlobalValue *GetGlobalValue(StringRef Ref);
1684
1685 /// Set attributes which are common to any form of a global definition (alias,
1686 /// Objective-C method, function, global variable).
1687 ///
1688 /// NOTE: This should only be called for definitions.
1689 void SetCommonAttributes(GlobalDecl GD, llvm::GlobalValue *GV);
1690
1691 void addReplacement(StringRef Name, llvm::Constant *C);
1692
1693 void addGlobalValReplacement(llvm::GlobalValue *GV, llvm::Constant *C);
1694
1695 /// Emit a code for threadprivate directive.
1696 /// \param D Threadprivate declaration.
1698
1699 /// Emit a code for declare reduction construct.
1701 CodeGenFunction *CGF = nullptr);
1702
1703 /// Emit a code for declare mapper construct.
1705 CodeGenFunction *CGF = nullptr);
1706
1707 // Emit code for the OpenACC Declare declaration.
1709 CodeGenFunction *CGF = nullptr);
1710 // Emit code for the OpenACC Routine declaration.
1712 CodeGenFunction *CGF = nullptr);
1713
1714 /// Emit a code for requires directive.
1715 /// \param D Requires declaration
1716 void EmitOMPRequiresDecl(const OMPRequiresDecl *D);
1717
1718 /// Emit a code for the allocate directive.
1719 /// \param D The allocate declaration
1720 void EmitOMPAllocateDecl(const OMPAllocateDecl *D);
1721
1722 /// Return the alignment specified in an allocate directive, if present.
1723 std::optional<CharUnits> getOMPAllocateAlignment(const VarDecl *VD);
1724
1725 /// Returns whether the given record has hidden LTO visibility and therefore
1726 /// may participate in (single-module) CFI and whole-program vtable
1727 /// optimization.
1728 bool HasHiddenLTOVisibility(const CXXRecordDecl *RD);
1729
1730 /// Returns whether the given record has public LTO visibility (regardless of
1731 /// -lto-whole-program-visibility) and therefore may not participate in
1732 /// (single-module) CFI and whole-program vtable optimization.
1734
1735 /// Returns the vcall visibility of the given type. This is the scope in which
1736 /// a virtual function call could be made which ends up being dispatched to a
1737 /// member function of this class. This scope can be wider than the visibility
1738 /// of the class itself when the class has a more-visible dynamic base class.
1739 /// The client should pass in an empty Visited set, which is used to prevent
1740 /// redundant recursive processing.
1741 llvm::GlobalObject::VCallVisibility
1743 llvm::DenseSet<const CXXRecordDecl *> &Visited);
1744
1745 /// Emit type metadata for the given vtable using the given layout.
1747 llvm::GlobalVariable *VTable,
1748 const VTableLayout &VTLayout);
1749
1750 llvm::Type *getVTableComponentType() const;
1751
1752 /// Generate a cross-DSO type identifier for MD.
1753 llvm::ConstantInt *CreateCrossDsoCfiTypeId(llvm::Metadata *MD);
1754
1755 /// Generate a KCFI type identifier for T.
1756 llvm::ConstantInt *CreateKCFITypeId(QualType T, StringRef Salt);
1757
1758 /// Create a metadata identifier for the given function type.
1760
1761 /// Create a metadata identifier for the given type. This may either be an
1762 /// MDString (for external identifiers) or a distinct unnamed MDNode (for
1763 /// internal identifiers).
1765
1766 /// Create a metadata identifier for the Call Graph Section.
1767 /// This is a generalized type identifier that is guaranteed to be an
1768 /// MDString.
1770
1771 /// Create a metadata identifier that is intended to be used to check virtual
1772 /// calls via a member function pointer.
1774
1775 /// Create a metadata identifier for the generalization of the given type.
1776 /// This may either be an MDString (for external identifiers) or a distinct
1777 /// unnamed MDNode (for internal identifiers).
1779
1780 /// Create and attach type metadata to the given function.
1782 llvm::Function *F);
1783
1784 /// Create and attach callgraph metadata if the function is a potential
1785 /// indirect call target to support call graph section.
1786 void createIndirectFunctionTypeMD(const FunctionDecl *FD, llvm::Function *F);
1787
1788 /// Create and attach callee_type metadata to the given call.
1789 void createCalleeTypeMetadataForIcall(const QualType &QT, llvm::CallBase *CB);
1790
1791 /// Set type metadata to the given function.
1792 void setKCFIType(const FunctionDecl *FD, llvm::Function *F);
1793
1794 /// Emit KCFI type identifier constants and remove unused identifiers.
1795 void finalizeKCFITypes();
1796
1797 /// Whether this function's return type has no side effects, and thus may
1798 /// be trivially discarded if it is unused.
1799 bool MayDropFunctionReturn(const ASTContext &Context,
1800 QualType ReturnType) const;
1801
1802 /// Returns whether this module needs the "all-vtables" type identifier.
1803 bool NeedAllVtablesTypeId() const;
1804
1805 /// Create and attach type metadata for the given vtable.
1806 void AddVTableTypeMetadata(llvm::GlobalVariable *VTable, CharUnits Offset,
1807 const CXXRecordDecl *RD);
1808
1809 /// Return a vector of most-base classes for RD. This is used to implement
1810 /// control flow integrity checks for member function pointers.
1811 ///
1812 /// A most-base class of a class C is defined as a recursive base class of C,
1813 /// including C itself, that does not have any bases.
1816
1817 /// Get the declaration of std::terminate for the platform.
1818 llvm::FunctionCallee getTerminateFn();
1819
1820 llvm::SanitizerStatReport &getSanStats();
1821
1822 llvm::Value *
1824
1825 /// OpenCL v1.2 s5.6.4.6 allows the compiler to store kernel argument
1826 /// information in the program executable. The argument information stored
1827 /// includes the argument name, its type, the address and access qualifiers
1828 /// used. This helper can be used to generate metadata for source code kernel
1829 /// function as well as generated implicitly kernels. If a kernel is generated
1830 /// implicitly null value has to be passed to the last two parameters,
1831 /// otherwise all parameters must have valid non-null values.
1832 /// \param FN is a pointer to IR function being generated.
1833 /// \param FD is a pointer to function declaration if any.
1834 /// \param CGF is a pointer to CodeGenFunction that generates this function.
1835 void GenKernelArgMetadata(llvm::Function *FN,
1836 const FunctionDecl *FD = nullptr,
1837 CodeGenFunction *CGF = nullptr);
1838
1839 /// Get target specific null pointer.
1840 /// \param T is the LLVM type of the null pointer.
1841 /// \param QT is the clang QualType of the null pointer.
1842 llvm::Constant *getNullPointer(llvm::PointerType *T, QualType QT);
1843
1845 LValueBaseInfo *BaseInfo = nullptr,
1846 TBAAAccessInfo *TBAAInfo = nullptr,
1847 bool forPointeeType = false);
1849 LValueBaseInfo *BaseInfo = nullptr,
1850 TBAAAccessInfo *TBAAInfo = nullptr);
1851 bool stopAutoInit();
1852
1853 /// Print the postfix for externalized static variable or kernels for single
1854 /// source offloading languages CUDA and HIP. The unique postfix is created
1855 /// using either the CUID argument, or the file's UniqueID and active macros.
1856 /// The fallback method without a CUID requires that the offloading toolchain
1857 /// does not define separate macros via the -cc1 options.
1858 void printPostfixForExternalizedDecl(llvm::raw_ostream &OS,
1859 const Decl *D) const;
1860
1861 /// Move some lazily-emitted states to the NewBuilder. This is especially
1862 /// essential for the incremental parsing environment like Clang Interpreter,
1863 /// because we'll lose all important information after each repl.
1864 void moveLazyEmissionStates(CodeGenModule *NewBuilder);
1865
1866 /// Emit the IR encoding to attach the CUDA launch bounds attribute to \p F.
1867 /// If \p MaxThreadsVal is not nullptr, the max threads value is stored in it,
1868 /// if a valid one was found.
1869 void handleCUDALaunchBoundsAttr(llvm::Function *F,
1870 const CUDALaunchBoundsAttr *A,
1871 int32_t *MaxThreadsVal = nullptr,
1872 int32_t *MinBlocksVal = nullptr,
1873 int32_t *MaxClusterRankVal = nullptr);
1874
1875 /// Emit the IR encoding to attach the AMD GPU flat-work-group-size attribute
1876 /// to \p F. Alternatively, the work group size can be taken from a \p
1877 /// ReqdWGS. If \p MinThreadsVal is not nullptr, the min threads value is
1878 /// stored in it, if a valid one was found. If \p MaxThreadsVal is not
1879 /// nullptr, the max threads value is stored in it, if a valid one was found.
1881 llvm::Function *F, const AMDGPUFlatWorkGroupSizeAttr *A,
1882 const ReqdWorkGroupSizeAttr *ReqdWGS = nullptr,
1883 int32_t *MinThreadsVal = nullptr, int32_t *MaxThreadsVal = nullptr);
1884
1885 /// Emit the IR encoding to attach the AMD GPU waves-per-eu attribute to \p F.
1886 void handleAMDGPUWavesPerEUAttr(llvm::Function *F,
1887 const AMDGPUWavesPerEUAttr *A);
1888
1889 llvm::Constant *
1890 GetOrCreateLLVMGlobal(StringRef MangledName, llvm::Type *Ty, LangAS AddrSpace,
1891 const VarDecl *D,
1892 ForDefinition_t IsForDefinition = NotForDefinition);
1893
1894 // FIXME: Hardcoding priority here is gross.
1895 void AddGlobalCtor(llvm::Function *Ctor, int Priority = 65535,
1896 unsigned LexOrder = ~0U,
1897 llvm::Constant *AssociatedData = nullptr);
1898 void AddGlobalDtor(llvm::Function *Dtor, int Priority = 65535,
1899 bool IsDtorAttrFunc = false);
1900
1901 // Return whether structured convergence intrinsics should be generated for
1902 // this target.
1904 // TODO: this should probably become unconditional once the controlled
1905 // convergence becomes the norm.
1906 return getTriple().isSPIRVLogical() || getTriple().isDXIL();
1907 }
1908
1910 std::pair<const FunctionDecl *, SourceLocation> Global) {
1911 MustTailCallUndefinedGlobals.insert(Global);
1912 }
1913
1915 // In C23 (N3096) $6.7.10:
1916 // """
1917 // If any object is initialized with an empty iniitializer, then it is
1918 // subject to default initialization:
1919 // - if it is an aggregate, every member is initialized (recursively)
1920 // according to these rules, and any padding is initialized to zero bits;
1921 // - if it is a union, the first named member is initialized (recursively)
1922 // according to these rules, and any padding is initialized to zero bits.
1923 //
1924 // If the aggregate or union contains elements or members that are
1925 // aggregates or unions, these rules apply recursively to the subaggregates
1926 // or contained unions.
1927 //
1928 // If there are fewer initializers in a brace-enclosed list than there are
1929 // elements or members of an aggregate, or fewer characters in a string
1930 // literal used to initialize an array of known size than there are elements
1931 // in the array, the remainder of the aggregate is subject to default
1932 // initialization.
1933 // """
1934 //
1935 // From my understanding, the standard is ambiguous in the following two
1936 // areas:
1937 // 1. For a union type with empty initializer, if the first named member is
1938 // not the largest member, then the bytes comes after the first named member
1939 // but before padding are left unspecified. An example is:
1940 // union U { int a; long long b;};
1941 // union U u = {}; // The first 4 bytes are 0, but 4-8 bytes are left
1942 // unspecified.
1943 //
1944 // 2. It only mentions padding for empty initializer, but doesn't mention
1945 // padding for a non empty initialization list. And if the aggregation or
1946 // union contains elements or members that are aggregates or unions, and
1947 // some are non empty initializers, while others are empty initiailizers,
1948 // the padding initialization is unclear. An example is:
1949 // struct S1 { int a; long long b; };
1950 // struct S2 { char c; struct S1 s1; };
1951 // // The values for paddings between s2.c and s2.s1.a, between s2.s1.a
1952 // and s2.s1.b are unclear.
1953 // struct S2 s2 = { 'c' };
1954 //
1955 // Here we choose to zero initiailize left bytes of a union type. Because
1956 // projects like the Linux kernel are relying on this behavior. If we don't
1957 // explicitly zero initialize them, the undef values can be optimized to
1958 // return gabage data. We also choose to zero initialize paddings for
1959 // aggregates and unions, no matter they are initialized by empty
1960 // initializers or non empty initializers. This can provide a consistent
1961 // behavior. So projects like the Linux kernel can rely on it.
1962 return !getLangOpts().CPlusPlus;
1963 }
1964
1965 // Helper to get the alignment for a variable.
1966 unsigned getVtableGlobalVarAlignment(const VarDecl *D = nullptr) {
1968 unsigned PAlign = Context.getLangOpts().RelativeCXXABIVTables
1969 ? 32
1970 : getTarget().getPointerAlign(AS);
1971 return PAlign;
1972 }
1973
1974 /// Helper function to construct a TrapReasonBuilder
1976 return TrapReasonBuilder(&getDiags(), DiagID, TR);
1977 }
1978
1979 llvm::Constant *performAddrSpaceCast(llvm::Constant *Src,
1980 llvm::Type *DestTy) {
1981 // Since target may map different address spaces in AST to the same address
1982 // space, an address space conversion may end up as a bitcast.
1983 return llvm::ConstantExpr::getPointerCast(Src, DestTy);
1984 }
1985
1986 std::optional<llvm::Attribute::AttrKind>
1987 StackProtectorAttribute(const Decl *D) const;
1988
1989 std::string getPFPFieldName(const FieldDecl *FD);
1990 llvm::GlobalValue *getPFPDeactivationSymbol(const FieldDecl *FD);
1991
1992private:
1993 /// Translate an llvm::abi::ArgInfo (computed by the LLVMABI library) into
1994 /// the clang ABIArgInfo consumed by the rest of CodeGen. Used by the
1995 /// experimental ABI lowering path.
1996 ABIArgInfo convertABIArgInfo(const llvm::abi::ArgInfo &AbiInfo,
1997 QualType Type);
1998
1999 /// Process #pragma comment(copyright, ...).
2000 void ProcessPragmaCommentCopyright(StringRef Comment, bool isFromASTFile);
2001
2002 bool shouldDropDLLAttribute(const Decl *D, const llvm::GlobalValue *GV) const;
2003
2004 llvm::Constant *GetOrCreateLLVMFunction(
2005 StringRef MangledName, llvm::Type *Ty, GlobalDecl D, bool ForVTable,
2006 bool DontDefer = false, bool IsThunk = false,
2007 llvm::AttributeList ExtraAttrs = llvm::AttributeList(),
2008 ForDefinition_t IsForDefinition = NotForDefinition);
2009
2010 // Adds a declaration to the list of multi version functions if not present.
2011 void AddDeferredMultiVersionResolverToEmit(GlobalDecl GD);
2012
2013 // References to multiversion functions are resolved through an implicitly
2014 // defined resolver function. This function is responsible for creating
2015 // the resolver symbol for the provided declaration. The value returned
2016 // will be for an ifunc (llvm::GlobalIFunc) if the current target supports
2017 // that feature and for a regular function (llvm::GlobalValue) otherwise.
2018 llvm::Constant *GetOrCreateMultiVersionResolver(GlobalDecl GD);
2019
2020 // Set attributes to a resolver function generated by Clang.
2021 // GD is either the cpu_dispatch declaration or an arbitrarily chosen
2022 // function declaration that triggered the implicit generation of this
2023 // resolver function.
2024 //
2025 /// NOTE: This should only be called for definitions.
2026 void setMultiVersionResolverAttributes(llvm::Function *Resolver,
2027 GlobalDecl GD);
2028
2029 // In scenarios where a function is not known to be a multiversion function
2030 // until a later declaration, it is sometimes necessary to change the
2031 // previously created mangled name to align with requirements of whatever
2032 // multiversion function kind the function is now known to be. This function
2033 // is responsible for performing such mangled name updates.
2034 void UpdateMultiVersionNames(GlobalDecl GD, const FunctionDecl *FD,
2035 StringRef &CurName);
2036
2037 bool GetCPUAndFeaturesAttributes(GlobalDecl GD,
2038 llvm::AttrBuilder &AttrBuilder,
2039 bool SetTargetFeatures = true);
2040 void setNonAliasAttributes(GlobalDecl GD, llvm::GlobalObject *GO);
2041
2042 /// Set function attributes for a function declaration.
2043 void SetFunctionAttributes(GlobalDecl GD, llvm::Function *F,
2044 bool IsIncompleteFunction, bool IsThunk);
2045
2046 void EmitGlobalDefinition(GlobalDecl D, llvm::GlobalValue *GV = nullptr);
2047
2048 void EmitGlobalFunctionDefinition(GlobalDecl GD, llvm::GlobalValue *GV);
2049 void EmitMultiVersionFunctionDefinition(GlobalDecl GD, llvm::GlobalValue *GV);
2050
2051 void EmitGlobalVarDefinition(const VarDecl *D, bool IsTentative = false);
2052 void EmitAliasDefinition(GlobalDecl GD);
2053 void emitIFuncDefinition(GlobalDecl GD);
2054 void emitCPUDispatchDefinition(GlobalDecl GD);
2055 void EmitObjCPropertyImplementations(const ObjCImplementationDecl *D);
2056 void EmitObjCIvarInitializations(ObjCImplementationDecl *D);
2057
2058 // C++ related functions.
2059
2060 void EmitDeclContext(const DeclContext *DC);
2061 void EmitLinkageSpec(const LinkageSpecDecl *D);
2062 void EmitTopLevelStmt(const TopLevelStmtDecl *D);
2063
2064 /// Emit the function that initializes C++ thread_local variables.
2065 void EmitCXXThreadLocalInitFunc();
2066
2067 /// Emit the function that initializes global variables for a C++ Module.
2068 void EmitCXXModuleInitFunc(clang::Module *Primary);
2069
2070 /// Emit the function that initializes C++ globals.
2071 void EmitCXXGlobalInitFunc();
2072
2073 /// Emit the function that performs cleanup associated with C++ globals.
2074 void EmitCXXGlobalCleanUpFunc();
2075
2076 /// Emit the function that initializes the specified global (if PerformInit is
2077 /// true) and registers its destructor.
2078 void EmitCXXGlobalVarDeclInitFunc(const VarDecl *D,
2079 llvm::GlobalVariable *Addr,
2080 bool PerformInit);
2081
2082 void EmitPointerToInitFunc(const VarDecl *VD, llvm::GlobalVariable *Addr,
2083 llvm::Function *InitFunc, InitSegAttr *ISA);
2084
2085 /// EmitCtorList - Generates a global array of functions and priorities using
2086 /// the given list and name. This array will have appending linkage and is
2087 /// suitable for use as a LLVM constructor or destructor array. Clears Fns.
2088 void EmitCtorList(CtorList &Fns, const char *GlobalName);
2089
2090 /// Emit any needed decls for which code generation was deferred.
2091 void EmitDeferred();
2092
2093 /// Try to emit external vtables as available_externally if they have emitted
2094 /// all inlined virtual functions. It runs after EmitDeferred() and therefore
2095 /// is not allowed to create new references to things that need to be emitted
2096 /// lazily.
2097 void EmitVTablesOpportunistically();
2098
2099 /// Call replaceAllUsesWith on all pairs in Replacements.
2100 void applyReplacements();
2101
2102 /// Call replaceAllUsesWith on all pairs in GlobalValReplacements.
2103 void applyGlobalValReplacements();
2104
2105 void checkAliases();
2106
2107 std::map<int, llvm::TinyPtrVector<llvm::Function *>> DtorsUsingAtExit;
2108
2109 /// Register functions annotated with __attribute__((destructor)) using
2110 /// __cxa_atexit, if it is available, or atexit otherwise.
2111 void registerGlobalDtorsWithAtExit();
2112
2113 // When using sinit and sterm functions, unregister
2114 // __attribute__((destructor)) annotated functions which were previously
2115 // registered by the atexit subroutine using unatexit.
2116 void unregisterGlobalDtorsWithUnAtExit();
2117
2118 /// Emit deferred multiversion function resolvers and associated variants.
2119 void emitMultiVersionFunctions();
2120
2121 /// Emit any vtables which we deferred and still have a use for.
2122 void EmitDeferredVTables();
2123
2124 /// Emit a dummy function that reference a CoreFoundation symbol when
2125 /// @available is used on Darwin.
2126 void emitAtAvailableLinkGuard();
2127
2128 /// Emit the llvm.used and llvm.compiler.used metadata.
2129 void emitLLVMUsed();
2130
2131 /// For C++20 Itanium ABI, emit the initializers for the module.
2132 void EmitModuleInitializers(clang::Module *Primary);
2133
2134 /// Emit the link options introduced by imported modules.
2135 void EmitModuleLinkOptions();
2136
2137 /// Helper function for EmitStaticExternCAliases() to redirect ifuncs that
2138 /// have a resolver name that matches 'Elem' to instead resolve to the name of
2139 /// 'CppFunc'. This redirection is necessary in cases where 'Elem' has a name
2140 /// that will be emitted as an alias of the name bound to 'CppFunc'; ifuncs
2141 /// may not reference aliases. Redirection is only performed if 'Elem' is only
2142 /// used by ifuncs in which case, 'Elem' is destroyed. 'true' is returned if
2143 /// redirection is successful, and 'false' is returned otherwise.
2144 bool CheckAndReplaceExternCIFuncs(llvm::GlobalValue *Elem,
2145 llvm::GlobalValue *CppFunc);
2146
2147 /// Emit aliases for internal-linkage declarations inside "C" language
2148 /// linkage specifications, giving them the "expected" name where possible.
2149 void EmitStaticExternCAliases();
2150
2151 void EmitDeclMetadata();
2152
2153 /// Emit the Clang version as llvm.ident metadata.
2154 void EmitVersionIdentMetadata();
2155
2156 /// Emit the Clang commandline as llvm.commandline metadata.
2157 void EmitCommandLineMetadata();
2158
2159 /// Emit the module flag metadata used to pass options controlling the
2160 /// the backend to LLVM.
2161 void EmitBackendOptionsMetadata(const CodeGenOptions &CodeGenOpts);
2162
2163 /// Emits OpenCL specific Metadata e.g. OpenCL version.
2164 void EmitOpenCLMetadata();
2165
2166 /// Emit the llvm.gcov metadata used to tell LLVM where to emit the .gcno and
2167 /// .gcda files in a way that persists in .bc files.
2168 void EmitCoverageFile();
2169
2170 /// Given a sycl_kernel_entry_point attributed function, emit the
2171 /// corresponding SYCL kernel caller offload entry point function.
2172 void EmitSYCLKernelCaller(const FunctionDecl *KernelEntryPointFn,
2173 ASTContext &Ctx);
2174
2175 /// Attach the "sycl-module-id" function attribute to \p Fn, to record the
2176 /// module ID for the translation unit. This attribute is applied to SYCL
2177 /// kernel entry point functions and functions declared with the
2178 /// sycl_external attribute to enable them to be identified as entry points
2179 /// by clang-sycl-linker during device-code splitting.
2180 void addSYCLModuleIdAttr(llvm::Function *Fn);
2181
2182 /// Determine whether the definition must be emitted; if this returns \c
2183 /// false, the definition can be emitted lazily if it's used.
2184 bool MustBeEmitted(const ValueDecl *D);
2185
2186 /// Determine whether the definition can be emitted eagerly, or should be
2187 /// delayed until the end of the translation unit. This is relevant for
2188 /// definitions whose linkage can change, e.g. implicit function instantions
2189 /// which may later be explicitly instantiated.
2190 bool MayBeEmittedEagerly(const ValueDecl *D);
2191
2192 /// Check whether we can use a "simpler", more core exceptions personality
2193 /// function.
2194 void SimplifyPersonality();
2195
2196 /// Helper function for getDefaultFunctionAttributes. Builds a set of function
2197 /// attributes which can be simply added to a function.
2198 void getTrivialDefaultFunctionAttributes(StringRef Name, bool HasOptnone,
2199 bool AttrOnCallSite,
2200 llvm::AttrBuilder &FuncAttrs);
2201
2202 /// Helper function for ConstructAttributeList and
2203 /// addDefaultFunctionDefinitionAttributes. Builds a set of function
2204 /// attributes to add to a function with the given properties.
2205 void getDefaultFunctionAttributes(StringRef Name, bool HasOptnone,
2206 bool AttrOnCallSite,
2207 llvm::AttrBuilder &FuncAttrs);
2208
2209 llvm::Metadata *CreateMetadataIdentifierImpl(QualType T, MetadataTypeMap &Map,
2210 StringRef Suffix,
2211 bool ForceString = false);
2212
2213 /// Emit deactivation symbols for any PFP fields whose offset is taken with
2214 /// offsetof.
2215 void emitPFPFieldsWithEvaluatedOffset();
2216};
2217
2218} // end namespace CodeGen
2219} // end namespace clang
2220
2221#endif // LLVM_CLANG_LIB_CODEGEN_CODEGENMODULE_H
Enums/classes describing ABI related information about constructors, destructors and thunks.
#define V(N, I)
static void getTrivialDefaultFunctionAttributes(StringRef Name, bool HasOptnone, const CodeGenOptions &CodeGenOpts, const LangOptions &LangOpts, bool AttrOnCallSite, llvm::AttrBuilder &FuncAttrs)
Definition CGCall.cpp:2306
Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....
This file defines OpenMP nodes for declarative directives.
Defines the clang::LangOptions interface.
llvm::MachO::Record Record
Definition MachO.h:31
llvm::json::Object Object
Defines a utilitiy for warning once when close to out of stack space.
This file contains the declaration of TrapReasonBuilder and related classes.
__DEVICE__ void * memset(void *__a, int __b, size_t __c)
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
Definition ASTContext.h:223
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
Definition ASTContext.h:223
CharUnits getTypeSizeInChars(QualType T) const
Return the size of the specified (complete) type T, in characters.
Attr - This represents one attribute.
Definition Attr.h:46
Represents a block literal declaration, which is like an unnamed FunctionDecl.
Definition Decl.h:4806
BlockExpr - Adaptor class for mixing a BlockDecl with expressions.
Definition Expr.h:6689
Represents a C++ destructor within a class.
Definition DeclCXX.h:2902
Represents a C++ struct/union/class.
Definition DeclCXX.h:258
const CXXBaseSpecifier *const * path_const_iterator
Definition Expr.h:3754
CharUnits - This is an opaque type for sizes expressed in character units.
Definition CharUnits.h:38
CodeGenOptions - Track various options which control how the code is optimized and passed to the back...
ABIArgInfo - Helper class to encapsulate information about how a specific C type should be passed to ...
ABIInfo - Target specific hooks for defining how a type should be passed or returned from functions.
Definition ABIInfo.h:49
Like RawAddress, an abstract representation of an aligned address, but the pointer contained in this ...
Definition Address.h:128
void Profile(llvm::FoldingSetNodeID &id) const
virtual void emitCopy(CodeGenFunction &CGF, Address dest, Address src)=0
BlockByrefHelpers(CharUnits alignment)
CharUnits Alignment
The alignment of the field.
virtual void emitDispose(CodeGenFunction &CGF, Address field)=0
BlockByrefHelpers(const BlockByrefHelpers &)=default
virtual bool needsDispose() const
virtual void profileImpl(llvm::FoldingSetNodeID &id) const =0
Implements C++ ABI-specific code generation functions.
Definition CGCXXABI.h:43
Abstract information about a function or function prototype.
Definition CGCall.h:43
This class gathers all debug information during compilation and is responsible for emitting to llvm g...
Definition CGDebugInfo.h:59
CGFunctionInfo - Class to encapsulate the information about a function definition.
Implements runtime-specific code generation functions.
CodeGenFunction - This class organizes the per-function state that is used while generating LLVM code...
This class organizes the cross-function state that is used while generating LLVM code.
StringRef getBlockMangledName(GlobalDecl GD, const BlockDecl *BD)
llvm::FunctionCallee getBlockObjectAssign()
const PreprocessorOptions & getPreprocessorOpts() const
ConstantAddress GetAddrOfMSGuidDecl(const MSGuidDecl *GD)
Get the address of a GUID.
void AddCXXPrioritizedStermFinalizerEntry(llvm::Function *StermFinalizer, int Priority)
void setGVProperties(llvm::GlobalValue *GV, GlobalDecl GD) const
Set visibility, dllimport/dllexport and dso_local.
void AddCXXDtorEntry(llvm::FunctionCallee DtorFn, llvm::Constant *Object)
Add a destructor and object to add to the C++ global destructor function.
llvm::FoldingSet< BlockByrefHelpers > ByrefHelpersCache
void AddVTableTypeMetadata(llvm::GlobalVariable *VTable, CharUnits Offset, const CXXRecordDecl *RD)
Create and attach type metadata for the given vtable.
void UpdateCompletedType(const TagDecl *TD)
void handleCUDALaunchBoundsAttr(llvm::Function *F, const CUDALaunchBoundsAttr *A, int32_t *MaxThreadsVal=nullptr, int32_t *MinBlocksVal=nullptr, int32_t *MaxClusterRankVal=nullptr)
Emit the IR encoding to attach the CUDA launch bounds attribute to F.
Definition NVPTX.cpp:329
llvm::MDNode * getTBAAAccessTagInfo(TBAAAccessInfo Info)
getTBAAAccessTagInfo - Get TBAA tag for a given memory access.
llvm::MDNode * getNoObjCARCExceptionsMetadata()
void AddCXXStermFinalizerToGlobalDtor(llvm::Function *StermFinalizer, int Priority)
Add an sterm finalizer to its own llvm.global_dtors entry.
llvm::GlobalVariable::ThreadLocalMode GetDefaultLLVMTLSModel() const
Get LLVM TLS mode from CodeGenOptions.
void EmitExplicitCastExprType(const ExplicitCastExpr *E, CodeGenFunction *CGF=nullptr)
Emit type info if type of an expression is a variably modified type.
Definition CGExpr.cpp:1417
void SetInternalFunctionAttributes(GlobalDecl GD, llvm::Function *F, const CGFunctionInfo &FI)
Set the attributes on the LLVM function for the given decl and function info.
void setDSOLocal(llvm::GlobalValue *GV) const
llvm::GlobalObject::VCallVisibility GetVCallVisibilityLevel(const CXXRecordDecl *RD, llvm::DenseSet< const CXXRecordDecl * > &Visited)
Returns the vcall visibility of the given type.
llvm::MDNode * getTBAAStructInfo(QualType QTy)
CGHLSLRuntime & getHLSLRuntime()
Return a reference to the configured HLSL runtime.
llvm::Constant * EmitAnnotationArgs(const AnnotateAttr *Attr)
Emit additional args of the annotation.
llvm::Module & getModule() const
std::optional< llvm::Attribute::AttrKind > StackProtectorAttribute(const Decl *D) const
llvm::GlobalValue * getPFPDeactivationSymbol(const FieldDecl *FD)
llvm::FunctionCallee CreateRuntimeFunction(llvm::FunctionType *Ty, StringRef Name, llvm::AttributeList ExtraAttrs=llvm::AttributeList(), bool Local=false, bool AssumeConvergent=false)
Create or return a runtime function declaration with the specified type and name.
llvm::ConstantInt * CreateKCFITypeId(QualType T, StringRef Salt)
Generate a KCFI type identifier for T.
llvm::Constant * performAddrSpaceCast(llvm::Constant *Src, llvm::Type *DestTy)
ConstantAddress GetAddrOfConstantCompoundLiteral(const CompoundLiteralExpr *E)
Returns a pointer to a constant global variable for the given file-scope compound literal expression.
void setLLVMFunctionFEnvAttributes(const FunctionDecl *D, llvm::Function *F)
Set the LLVM function attributes that represent floating point environment.
bool NeedAllVtablesTypeId() const
Returns whether this module needs the "all-vtables" type identifier.
void addCompilerUsedGlobal(llvm::GlobalValue *GV)
Add a global to a list to be added to the llvm.compiler.used metadata.
CodeGenVTables & getVTables()
llvm::ConstantInt * CreateCrossDsoCfiTypeId(llvm::Metadata *MD)
Generate a cross-DSO type identifier for MD.
void setStaticLocalDeclAddress(const VarDecl *D, llvm::Constant *C)
llvm::Constant * EmitNullConstantForBase(const CXXRecordDecl *Record)
Return a null constant appropriate for zero-initializing a base class with the given type.
llvm::Function * getLLVMLifetimeStartFn()
Lazily declare the @llvm.lifetime.start intrinsic.
Definition CGDecl.cpp:2634
CharUnits GetTargetTypeStoreSize(llvm::Type *Ty) const
Return the store size, in character units, of the given LLVM type.
void handleAMDGPUWavesPerEUAttr(llvm::Function *F, const AMDGPUWavesPerEUAttr *A)
Emit the IR encoding to attach the AMD GPU waves-per-eu attribute to F.
Definition AMDGPU.cpp:767
void createFunctionTypeMetadataForIcall(const FunctionDecl *FD, llvm::Function *F)
Create and attach type metadata to the given function.
std::optional< PointerAuthQualifier > getVTablePointerAuthentication(const CXXRecordDecl *thisClass, bool IsVTTEntry=false)
void AddCXXStermFinalizerEntry(llvm::FunctionCallee DtorFn)
Add an sterm finalizer to the C++ global cleanup function.
void setTypeDescriptorInMap(QualType Ty, llvm::Constant *C)
bool getExpressionLocationsEnabled() const
Return true if we should emit location information for expressions.
llvm::Metadata * CreateMetadataIdentifierForCallGraphType(QualType T)
Create a metadata identifier for the Call Graph Section.
CharUnits getMinimumClassObjectSize(const CXXRecordDecl *CD)
Returns the minimum object size for an object of the given class type (or a class derived from it).
Definition CGClass.cpp:60
void addGlobalValReplacement(llvm::GlobalValue *GV, llvm::Constant *C)
llvm::Constant * getRawFunctionPointer(GlobalDecl GD, llvm::Type *Ty=nullptr)
Return a function pointer for a reference to the given function.
Definition CGExpr.cpp:3511
bool classNeedsVectorDestructor(const CXXRecordDecl *RD)
Check that class need vector deleting destructor body.
llvm::FunctionCallee getAddrAndTypeOfCXXStructor(GlobalDecl GD, const CGFunctionInfo *FnInfo=nullptr, llvm::FunctionType *FnType=nullptr, bool DontDefer=false, ForDefinition_t IsForDefinition=NotForDefinition)
Definition CGCXX.cpp:281
llvm::Constant * GetAddrOfRTTIDescriptor(QualType Ty, bool ForEH=false)
Get the address of the RTTI descriptor for the given type.
llvm::Constant * GetAddrOfFunction(GlobalDecl GD, llvm::Type *Ty=nullptr, bool ForVTable=false, bool DontDefer=false, ForDefinition_t IsForDefinition=NotForDefinition)
Return the address of the given function.
Address createUnnamedGlobalFrom(const VarDecl &D, llvm::Constant *Constant, CharUnits Align)
Definition CGDecl.cpp:1139
void setGVPropertiesAux(llvm::GlobalValue *GV, const NamedDecl *D) const
llvm::Constant * getFunctionPointer(GlobalDecl GD, llvm::Type *Ty=nullptr)
Return the ABI-correct function pointer value for a reference to the given function.
const IntrusiveRefCntPtr< llvm::vfs::FileSystem > & getFileSystem() const
void setAddrOfGlobalBlock(const BlockExpr *BE, llvm::Constant *Addr)
Notes that BE's global block is available via Addr.
void setStaticLocalDeclGuardAddress(const VarDecl *D, llvm::GlobalVariable *C)
bool ReturnTypeUsesFPRet(QualType ResultType)
Return true iff the given type uses 'fpret' when used as a return type.
Definition CGCall.cpp:2016
void EmitMainVoidAlias()
Emit an alias for "main" if it has no arguments (needed for wasm).
void DecorateInstructionWithInvariantGroup(llvm::Instruction *I, const CXXRecordDecl *RD)
Adds !invariant.barrier !tag to instruction.
TrapReasonBuilder BuildTrapReason(unsigned DiagID, TrapReason &TR)
Helper function to construct a TrapReasonBuilder.
llvm::Constant * getBuiltinLibFunction(const FunctionDecl *FD, unsigned BuiltinID)
Given a builtin id for a function like "__builtin_fabsf", return a Function* for "fabsf".
llvm::Constant * getOrCreateMSVCGlobalDeleteWrapper(const FunctionDecl *GlobOD)
Get or create the MSVC-compatible __global_delete wrapper for the given global operator delete,...
DiagnosticsEngine & getDiags() const
bool isInNoSanitizeList(SanitizerMask Kind, llvm::Function *Fn, SourceLocation Loc) const
void runWithSufficientStackSpace(SourceLocation Loc, llvm::function_ref< void()> Fn)
Run some code with "sufficient" stack space.
llvm::Constant * getAddrOfCXXStructor(GlobalDecl GD, const CGFunctionInfo *FnInfo=nullptr, llvm::FunctionType *FnType=nullptr, bool DontDefer=false, ForDefinition_t IsForDefinition=NotForDefinition)
Return the address of the constructor/destructor of the given type.
bool isObjCDirectPreconditionThunkEnabled() const
Check if the precondition thunk optimization is enabled.
void setAtomicOpts(AtomicOptions AO)
Set the current Atomic options.
bool isPaddedAtomicType(QualType type)
llvm::Constant * getNullPointer(llvm::PointerType *T, QualType QT)
Get target specific null pointer.
void AddCXXGlobalInit(llvm::Function *F)
void ErrorUnsupported(const Stmt *S, const char *Type)
Print out an error that codegen doesn't support the specified stmt yet.
llvm::Constant * EmitAnnotateAttr(llvm::GlobalValue *GV, const AnnotateAttr *AA, SourceLocation L)
Generate the llvm::ConstantStruct which contains the annotation information for a given GlobalValue.
void EmitOpenACCDeclare(const OpenACCDeclareDecl *D, CodeGenFunction *CGF=nullptr)
Definition CGDecl.cpp:2909
bool shouldHavePreconditionThunk(const ObjCMethodDecl *OMD) const
Check if a direct method should use precondition thunks at call sites.
llvm::GlobalValue::LinkageTypes getLLVMLinkageForDeclarator(const DeclaratorDecl *D, GVALinkage Linkage)
Returns LLVM linkage for a declarator.
TBAAAccessInfo mergeTBAAInfoForMemoryTransfer(TBAAAccessInfo DestInfo, TBAAAccessInfo SrcInfo)
mergeTBAAInfoForMemoryTransfer - Get merged TBAA information for the purposes of memory transfer call...
llvm::Type * getBlockDescriptorType()
Fetches the type of a generic block descriptor.
llvm::Constant * GetAddrOfGlobalBlock(const BlockExpr *BE, StringRef Name)
Gets the address of a block which requires no captures.
llvm::Constant * getAtomicGetterHelperFnMap(QualType Ty)
CGPointerAuthInfo getMemberFunctionPointerAuthInfo(QualType FT)
const LangOptions & getLangOpts() const
CGCUDARuntime & getCUDARuntime()
Return a reference to the configured CUDA runtime.
int getUniqueBlockCount()
Fetches the global unique block count.
llvm::Constant * EmitAnnotationLineNo(SourceLocation L)
Emit the annotation line number.
QualType getObjCFastEnumerationStateType()
Retrieve the record type that describes the state of an Objective-C fast enumeration loop (for....
CharUnits getNaturalTypeAlignment(QualType T, LValueBaseInfo *BaseInfo=nullptr, TBAAAccessInfo *TBAAInfo=nullptr, bool forPointeeType=false)
bool shouldMapVisibilityToDLLExport(const NamedDecl *D) const
CGOpenCLRuntime & getOpenCLRuntime()
Return a reference to the configured OpenCL runtime.
const std::string & getModuleNameHash() const
const TargetInfo & getTarget() const
bool shouldEmitRTTI(bool ForEH=false)
void EmitGlobal(GlobalDecl D)
Emit code for a single global function or var decl.
llvm::Function * getLLVMFakeUseFn()
Lazily declare the @llvm.fake.use intrinsic.
Definition CGDecl.cpp:2652
llvm::GlobalVariable * getStaticLocalDeclGuardAddress(const VarDecl *D)
llvm::ConstantInt * getPointerAuthOtherDiscriminator(const PointerAuthSchema &Schema, GlobalDecl SchemaDecl, QualType SchemaType)
Given a pointer-authentication schema, return a concrete "other" discriminator for it.
llvm::Metadata * CreateMetadataIdentifierForType(QualType T)
Create a metadata identifier for the given type.
llvm::Constant * getTypeDescriptorFromMap(QualType Ty)
llvm::IndexedInstrProfReader * getPGOReader() const
void addUsedGlobal(llvm::GlobalValue *GV)
Add a global to a list to be added to the llvm.used metadata.
void handleAMDGPUFlatWorkGroupSizeAttr(llvm::Function *F, const AMDGPUFlatWorkGroupSizeAttr *A, const ReqdWorkGroupSizeAttr *ReqdWGS=nullptr, int32_t *MinThreadsVal=nullptr, int32_t *MaxThreadsVal=nullptr)
Emit the IR encoding to attach the AMD GPU flat-work-group-size attribute to F.
Definition AMDGPU.cpp:736
void createIndirectFunctionTypeMD(const FunctionDecl *FD, llvm::Function *F)
Create and attach callgraph metadata if the function is a potential indirect call target to support c...
void AppendLinkerOptions(StringRef Opts)
Appends Opts to the "llvm.linker.options" metadata value.
bool hasObjCRuntime()
Return true iff an Objective-C runtime has been configured.
void createCalleeTypeMetadataForIcall(const QualType &QT, llvm::CallBase *CB)
Create and attach callee_type metadata to the given call.
bool tryEmitCUDADeviceInvalidFunctionBody(GlobalDecl GD, llvm::Function *Fn)
Emit a trap stub body for functions in ASTContext::CUDADeviceInvalidFuncs.
Definition CGCXX.cpp:247
void EmitExternalDeclaration(const DeclaratorDecl *D)
void AddDependentLib(StringRef Lib)
Appends a dependent lib to the appropriate metadata value.
void Release()
Finalize LLVM code generation.
llvm::FunctionCallee IsOSVersionAtLeastFn
ProfileList::ExclusionType isFunctionBlockedByProfileList(llvm::Function *Fn, SourceLocation Loc) const
CGPointerAuthInfo getPointerAuthInfoForPointeeType(QualType type)
llvm::MDNode * getTBAABaseTypeInfo(QualType QTy)
getTBAABaseTypeInfo - Get metadata that describes the given base access type.
CGPointerAuthInfo EmitPointerAuthInfo(const RecordDecl *RD)
void EmitVTableTypeMetadata(const CXXRecordDecl *RD, llvm::GlobalVariable *VTable, const VTableLayout &VTLayout)
Emit type metadata for the given vtable using the given layout.
void computeABIInfoUsingLib(CGFunctionInfo &FI)
Drive the experimental LLVMABI-based lowering path: map argument and return types into the LLVMABI li...
Definition CGCall.cpp:902
bool lookupRepresentativeDecl(StringRef MangledName, GlobalDecl &Result) const
void EmitOMPAllocateDecl(const OMPAllocateDecl *D)
Emit a code for the allocate directive.
Definition CGDecl.cpp:2923
void setGlobalVisibility(llvm::GlobalValue *GV, const NamedDecl *D) const
Set the visibility for the given LLVM GlobalValue.
CoverageMappingModuleGen * getCoverageMapping() const
llvm::Constant * GetNonVirtualBaseClassOffset(const CXXRecordDecl *ClassDecl, CastExpr::path_const_iterator PathBegin, CastExpr::path_const_iterator PathEnd)
Returns the offset from a derived class to a class.
Definition CGClass.cpp:194
bool TryEmitBaseDestructorAsAlias(const CXXDestructorDecl *D)
Try to emit a base destructor as an alias to its primary base-class destructor.
Definition CGCXX.cpp:34
llvm::GlobalValue::LinkageTypes getLLVMLinkageVarDefinition(const VarDecl *VD)
Returns LLVM linkage for a declarator.
llvm::Constant * getMemberPointerConstant(const UnaryOperator *e)
unsigned getVtableGlobalVarAlignment(const VarDecl *D=nullptr)
bool HasHiddenLTOVisibility(const CXXRecordDecl *RD)
Returns whether the given record has hidden LTO visibility and therefore may participate in (single-m...
const llvm::DataLayout & getDataLayout() const
llvm::Constant * getNSConcreteGlobalBlock()
void addUndefinedGlobalForTailCall(std::pair< const FunctionDecl *, SourceLocation > Global)
CharUnits computeNonVirtualBaseClassOffset(const CXXRecordDecl *DerivedClass, CastExpr::path_const_iterator Start, CastExpr::path_const_iterator End)
Definition CGClass.cpp:169
ObjCEntrypoints & getObjCEntrypoints() const
void requireVectorDestructorDefinition(const CXXRecordDecl *RD)
Record that new[] was called for the class, transform vector deleting destructor definition in a form...
TBAAAccessInfo getTBAAVTablePtrAccessInfo(llvm::Type *VTablePtrType)
getTBAAVTablePtrAccessInfo - Get the TBAA information that describes an access to a virtual table poi...
ConstantAddress GetWeakRefReference(const ValueDecl *VD)
Get a reference to the target of VD.
std::string getPFPFieldName(const FieldDecl *FD)
CGPointerAuthInfo getFunctionPointerAuthInfo(QualType T)
Return the abstract pointer authentication schema for a pointer to the given function type.
CharUnits getVBaseAlignment(CharUnits DerivedAlign, const CXXRecordDecl *Derived, const CXXRecordDecl *VBase)
Returns the assumed alignment of a virtual base of a class.
Definition CGClass.cpp:77
llvm::Constant * GetFunctionStart(const ValueDecl *Decl)
void addPendingGlobalDelete(llvm::GlobalAlias *GlobalDeleteAlias, const FunctionDecl *OperatorDeleteFD)
Record a pending __global_delete variant that may need a forwarding body.
llvm::GlobalVariable * getAddrOfConstantCompoundLiteralIfEmitted(const CompoundLiteralExpr *E)
If it's been emitted already, returns the GlobalVariable corresponding to a compound literal.
static llvm::GlobalValue::VisibilityTypes GetLLVMVisibility(Visibility V)
void EmitTentativeDefinition(const VarDecl *D)
bool ReturnTypeUsesFP2Ret(QualType ResultType)
Return true iff the given type uses 'fp2ret' when used as a return type.
Definition CGCall.cpp:2033
void EmitDeferredUnusedCoverageMappings()
Emit all the deferred coverage mappings for the uninstrumented functions.
bool mayVTableBeDuplicated(llvm::GlobalValue::LinkageTypes Linkage) const
Returns true if a vtable with the given linkage may be emitted with more than one address in the prog...
void addUsedOrCompilerUsedGlobal(llvm::GlobalValue *GV)
Add a global to a list to be added to the llvm.compiler.used metadata.
CGOpenMPRuntime & getOpenMPRuntime()
Return a reference to the configured OpenMP runtime.
bool imbueXRayAttrs(llvm::Function *Fn, SourceLocation Loc, StringRef Category=StringRef()) const
Imbue XRay attributes to a function, applying the always/never attribute lists in the process.
llvm::Constant * getMemberFunctionPointer(const FunctionDecl *FD, llvm::Type *Ty=nullptr)
SanitizerMetadata * getSanitizerMetadata()
void EmitDefinitionAsAlias(GlobalDecl Alias, GlobalDecl Target)
Emit a definition as a global alias for another definition, unconditionally.
Definition CGCXX.cpp:205
llvm::Metadata * CreateMetadataIdentifierGeneralized(QualType T)
Create a metadata identifier for the generalization of the given type.
void EmitGlobalAnnotations()
Emit all the global annotations.
llvm::Constant * getAddrOfGlobalBlockIfEmitted(const BlockExpr *BE)
Returns the address of a block which requires no caputres, or null if we've yet to emit the block for...
llvm::Function * codegenCXXStructor(GlobalDecl GD)
Definition CGCXX.cpp:266
CharUnits getClassPointerAlignment(const CXXRecordDecl *CD)
Returns the assumed alignment of an opaque pointer to the given class.
Definition CGClass.cpp:41
const llvm::Triple & getTriple() const
void setAtomicSetterHelperFnMap(QualType Ty, llvm::Constant *Fn)
llvm::Constant * getOrCreateStaticVarDecl(const VarDecl &D, llvm::GlobalValue::LinkageTypes Linkage)
Definition CGDecl.cpp:264
SmallVector< const CXXRecordDecl *, 0 > getMostBaseClasses(const CXXRecordDecl *RD)
Return a vector of most-base classes for RD.
void AddDeferredUnusedCoverageMapping(Decl *D)
Stored a deferred empty coverage mapping for an unused and thus uninstrumented top level declaration.
bool AlwaysHasLTOVisibilityPublic(const CXXRecordDecl *RD)
Returns whether the given record has public LTO visibility (regardless of -lto-whole-program-visibili...
void MaybeHandleStaticInExternC(const SomeDecl *D, llvm::GlobalValue *GV)
If the declaration has internal linkage but is inside an extern "C" linkage specification,...
void DecorateInstructionWithTBAA(llvm::Instruction *Inst, TBAAAccessInfo TBAAInfo)
DecorateInstructionWithTBAA - Decorate the instruction with a TBAA tag.
uint16_t getPointerAuthDeclDiscriminator(GlobalDecl GD)
Return the "other" decl-specific discriminator for the given decl.
llvm::Constant * getAtomicSetterHelperFnMap(QualType Ty)
TBAAAccessInfo getTBAAInfoForSubobject(LValue Base, QualType AccessType)
getTBAAInfoForSubobject - Get TBAA information for an access with a given base lvalue.
llvm::GlobalVariable::LinkageTypes getFunctionLinkage(GlobalDecl GD)
void AddGlobalDtor(llvm::Function *Dtor, int Priority=65535, bool IsDtorAttrFunc=false)
AddGlobalDtor - Add a function to the list that will be called when the module is unloaded.
bool ReturnSlotInterferesWithArgs(const CGFunctionInfo &FI)
Return true iff the given type uses an argument slot when 'sret' is used as a return type.
Definition CGCall.cpp:2011
bool ReturnTypeHasInReg(const CGFunctionInfo &FI)
Return true iff the given type has inreg set.
Definition CGCall.cpp:2006
void EmitVTable(CXXRecordDecl *Class)
This is a callback from Sema to tell us that a particular vtable is required to be emitted in this tr...
llvm::Constant * CreateRuntimeVariable(llvm::Type *Ty, StringRef Name)
Create a new runtime global variable with the specified type and name.
void AdjustMemoryAttribute(StringRef Name, CGCalleeInfo CalleeInfo, llvm::AttributeList &Attrs)
Adjust Memory attribute to ensure that the BE gets the right attribute.
Definition CGCall.cpp:2701
void ConstructAttributeList(StringRef Name, const CGFunctionInfo &Info, CGCalleeInfo CalleeInfo, llvm::AttributeList &Attrs, unsigned &CallingConv, bool AttrOnCallSite, bool IsThunk)
Get the LLVM attributes and calling convention to use for a particular function type.
Definition CGCall.cpp:2729
CharUnits getDynamicOffsetAlignment(CharUnits ActualAlign, const CXXRecordDecl *Class, CharUnits ExpectedTargetAlign)
Given a class pointer with an actual known alignment, and the expected alignment of an object at a dy...
Definition CGClass.cpp:92
llvm::Constant * GetOrCreateLLVMGlobal(StringRef MangledName, llvm::Type *Ty, LangAS AddrSpace, const VarDecl *D, ForDefinition_t IsForDefinition=NotForDefinition)
GetOrCreateLLVMGlobal - If the specified mangled name is not in the module, create and return an llvm...
const llvm::abi::TargetInfo & getLLVMABITargetInfo(llvm::abi::TypeBuilder &TB)
Lazily build and return the LLVMABI library's TargetInfo for the current target.
TBAAAccessInfo getTBAAAccessInfo(QualType AccessType)
getTBAAAccessInfo - Get TBAA information that describes an access to an object of the given type.
void setFunctionLinkage(GlobalDecl GD, llvm::Function *F)
void noteDirectGlobalDelete()
Note that global operator delete is directly used in this TU.
llvm::Constant * GetAddrOfGlobal(GlobalDecl GD, ForDefinition_t IsForDefinition=NotForDefinition)
AtomicOptions getAtomicOpts()
Get the current Atomic options.
ConstantAddress GetAddrOfConstantCFString(const StringLiteral *Literal)
Return a pointer to a constant CFString object for the given string.
InstrProfStats & getPGOStats()
ProfileList::ExclusionType isFunctionBlockedFromProfileInstr(llvm::Function *Fn, SourceLocation Loc) const
void AddGlobalAnnotations(const ValueDecl *D, llvm::GlobalValue *GV)
Add global annotations that are set on D, for the global GV.
void setTLSMode(llvm::GlobalValue *GV, const VarDecl &D) const
Set the TLS mode for the given LLVM GlobalValue for the thread-local variable declaration D.
ItaniumVTableContext & getItaniumVTableContext()
ConstantAddress GetAddrOfConstantStringFromLiteral(const StringLiteral *S, StringRef Name=".str")
Return a pointer to a constant array for the given string literal.
ASTContext & getContext() const
ConstantAddress GetAddrOfTemplateParamObject(const TemplateParamObjectDecl *TPO)
Get the address of a template parameter object.
void EmitOMPThreadPrivateDecl(const OMPThreadPrivateDecl *D)
Emit a code for threadprivate directive.
llvm::Constant * getNSConcreteStackBlock()
ConstantAddress GetAddrOfUnnamedGlobalConstantDecl(const UnnamedGlobalConstantDecl *GCD)
Get the address of a UnnamedGlobalConstant.
TBAAAccessInfo mergeTBAAInfoForCast(TBAAAccessInfo SourceInfo, TBAAAccessInfo TargetInfo)
mergeTBAAInfoForCast - Get merged TBAA information for the purposes of type casts.
llvm::Constant * GetAddrOfGlobalVar(const VarDecl *D, llvm::Type *Ty=nullptr, ForDefinition_t IsForDefinition=NotForDefinition)
Return the llvm::Constant for the address of the given global variable.
MicrosoftVTableContext & getMicrosoftVTableContext()
const HeaderSearchOptions & getHeaderSearchOpts() const
llvm::SanitizerStatReport & getSanStats()
llvm::Constant * EmitAnnotationString(StringRef Str)
Emit an annotation string.
llvm::Type * getVTableComponentType() const
void EmitOMPDeclareMapper(const OMPDeclareMapperDecl *D, CodeGenFunction *CGF=nullptr)
Emit a code for declare mapper construct.
Definition CGDecl.cpp:2901
llvm::Function * getLLVMLifetimeEndFn()
Lazily declare the @llvm.lifetime.end intrinsic.
Definition CGDecl.cpp:2643
void RefreshTypeCacheForClass(const CXXRecordDecl *Class)
llvm::MDNode * getTBAATypeInfo(QualType QTy)
getTBAATypeInfo - Get metadata used to describe accesses to objects of the given type.
void setAddrOfConstantCompoundLiteral(const CompoundLiteralExpr *CLE, llvm::GlobalVariable *GV)
Notes that CLE's GlobalVariable is GV.
void EmitOMPRequiresDecl(const OMPRequiresDecl *D)
Emit a code for requires directive.
Definition CGDecl.cpp:2919
void HandleCXXStaticMemberVarInstantiation(VarDecl *VD)
Tell the consumer that this variable has been instantiated.
bool shouldHavePreconditionInline(const ObjCMethodDecl *OMD) const
Check if a direct method should have inline precondition checks at call sites.
bool ReturnTypeUsesSRet(const CGFunctionInfo &FI)
Return true iff the given type uses 'sret' when used as a return type.
Definition CGCall.cpp:2001
const TargetCodeGenInfo & getTargetCodeGenInfo()
const CodeGenOptions & getCodeGenOpts() const
StringRef getMangledName(GlobalDecl GD)
llvm::Constant * GetConstantArrayFromStringLiteral(const StringLiteral *E)
Return a constant array for the given string.
void SetCommonAttributes(GlobalDecl GD, llvm::GlobalValue *GV)
Set attributes which are common to any form of a global definition (alias, Objective-C method,...
void addDefaultFunctionDefinitionAttributes(llvm::AttrBuilder &attrs)
Like the overload taking a Function &, but intended specifically for frontends that want to build on ...
Definition CGCall.cpp:2555
std::optional< CharUnits > getOMPAllocateAlignment(const VarDecl *VD)
Return the alignment specified in an allocate directive, if present.
Definition CGDecl.cpp:2974
llvm::GlobalVariable * CreateOrReplaceCXXRuntimeVariable(StringRef Name, llvm::Type *Ty, llvm::GlobalValue::LinkageTypes Linkage, llvm::Align Alignment)
Will return a global variable of the given type.
llvm::FunctionCallee getTerminateFn()
Get the declaration of std::terminate for the platform.
CharUnits getNaturalPointeeTypeAlignment(QualType T, LValueBaseInfo *BaseInfo=nullptr, TBAAAccessInfo *TBAAInfo=nullptr)
llvm::FunctionCallee getBlockObjectDispose()
TBAAAccessInfo mergeTBAAInfoForConditionalOperator(TBAAAccessInfo InfoA, TBAAAccessInfo InfoB)
mergeTBAAInfoForConditionalOperator - Get merged TBAA information for the purposes of conditional ope...
llvm::LLVMContext & getLLVMContext()
llvm::GlobalValue * GetGlobalValue(StringRef Ref)
void GenKernelArgMetadata(llvm::Function *FN, const FunctionDecl *FD=nullptr, CodeGenFunction *CGF=nullptr)
OpenCL v1.2 s5.6.4.6 allows the compiler to store kernel argument information in the program executab...
void setKCFIType(const FunctionDecl *FD, llvm::Function *F)
Set type metadata to the given function.
void setAtomicGetterHelperFnMap(QualType Ty, llvm::Constant *Fn)
void maybeSetTrivialComdat(const Decl &D, llvm::GlobalObject &GO)
void EmitOMPDeclareReduction(const OMPDeclareReductionDecl *D, CodeGenFunction *CGF=nullptr)
Emit a code for declare reduction construct.
Definition CGDecl.cpp:2894
const ItaniumVTableContext & getItaniumVTableContext() const
llvm::Function * getIntrinsic(unsigned IID, ArrayRef< llvm::Type * > Tys={})
void AddDetectMismatch(StringRef Name, StringRef Value)
Appends a detect mismatch command to the linker options.
void setDLLImportDLLExport(llvm::GlobalValue *GV, GlobalDecl D) const
CGObjCRuntime & getObjCRuntime()
Return a reference to the configured Objective-C runtime.
llvm::Value * createOpenCLIntToSamplerConversion(const Expr *E, CodeGenFunction &CGF)
ConstantAddress GetAddrOfGlobalTemporary(const MaterializeTemporaryExpr *E, const Expr *Inner)
Returns a pointer to a global variable representing a temporary with static or thread storage duratio...
llvm::Constant * EmitNullConstant(QualType T)
Return the result of value-initializing the given type, i.e.
LangAS GetGlobalConstantAddressSpace() const
Return the AST address space of constant literal, which is used to emit the constant literal as globa...
LangAS GetGlobalVarAddressSpace(const VarDecl *D)
Return the AST address space of the underlying global variable for D, as determined by its declaratio...
llvm::GlobalVariable::LinkageTypes getVTableLinkage(const CXXRecordDecl *RD)
Return the appropriate linkage for the vtable, VTT, and type information of the given class.
void SetLLVMFunctionAttributes(GlobalDecl GD, const CGFunctionInfo &Info, llvm::Function *F, bool IsThunk)
Set the LLVM function attributes (sext, zext, etc).
void addDeferredVTable(const CXXRecordDecl *RD)
llvm::Type * getGenericBlockLiteralType()
The type of a generic block literal.
void EmitOpenACCRoutine(const OpenACCRoutineDecl *D, CodeGenFunction *CGF=nullptr)
Definition CGDecl.cpp:2914
void emitGlobalDeleteForwardingBodies()
Emit __global_delete forwarding bodies for any pending variants, if this TU directly uses global oper...
CharUnits getMinimumObjectSize(QualType Ty)
Returns the minimum object size for an object of the given type.
void addReplacement(StringRef Name, llvm::Constant *C)
std::optional< CGPointerAuthInfo > getVTablePointerAuthInfo(CodeGenFunction *Context, const CXXRecordDecl *Record, llvm::Value *StorageAddress, bool IsVTTEntry=false)
llvm::Constant * getConstantSignedPointer(llvm::Constant *Pointer, const PointerAuthSchema &Schema, llvm::Constant *StorageAddress, GlobalDecl SchemaDecl, QualType SchemaType)
Sign a constant pointer using the given scheme, producing a constant with the same IR type.
llvm::FunctionCallee IsPlatformVersionAtLeastFn
void AddGlobalCtor(llvm::Function *Ctor, int Priority=65535, unsigned LexOrder=~0U, llvm::Constant *AssociatedData=nullptr)
AddGlobalCtor - Add a function to the list that will be called before main() runs.
llvm::Metadata * CreateMetadataIdentifierForFnType(QualType T)
Create a metadata identifier for the given function type.
bool shouldSignPointer(const PointerAuthSchema &Schema)
Does a given PointerAuthScheme require us to sign a value.
void SetLLVMFunctionAttributesForDefinition(const Decl *D, llvm::Function *F)
Set the LLVM function attributes which only apply to a function definition.
llvm::Metadata * CreateMetadataIdentifierForVirtualMemPtrType(QualType T)
Create a metadata identifier that is intended to be used to check virtual calls via a member function...
bool shouldUseLLVMABILowering(unsigned CallingConv) const
True when -fexperimental-abi-lowering is in effect AND the active target has an LLVMABI implementatio...
llvm::Constant * getStaticLocalDeclAddress(const VarDecl *D)
bool MayDropFunctionReturn(const ASTContext &Context, QualType ReturnType) const
Whether this function's return type has no side effects, and thus may be trivially discarded if it is...
Definition CGCall.cpp:2241
ConstantAddress GetAddrOfConstantStringFromObjCEncode(const ObjCEncodeExpr *)
Return a pointer to a constant array for the given ObjCEncodeExpr node.
const GlobalDecl getMangledNameDecl(StringRef)
void ClearUnusedCoverageMapping(const Decl *D)
Remove the deferred empty coverage mapping as this declaration is actually instrumented.
void EmitTopLevelDecl(Decl *D)
Emit code for a single top level declaration.
llvm::Function * CreateGlobalInitOrCleanUpFunction(llvm::FunctionType *ty, const Twine &name, const CGFunctionInfo &FI, SourceLocation Loc=SourceLocation(), bool TLS=false, llvm::GlobalVariable::LinkageTypes Linkage=llvm::GlobalVariable::InternalLinkage)
llvm::Constant * EmitAnnotationUnit(SourceLocation Loc)
Emit the annotation's translation unit.
CGPointerAuthInfo getPointerAuthInfoForType(QualType type)
ConstantAddress GetAddrOfConstantCString(const std::string &Str, StringRef GlobalName=".str")
Returns a pointer to a character array containing the literal and a terminating '\0' character.
std::vector< Structor > CtorList
void printPostfixForExternalizedDecl(llvm::raw_ostream &OS, const Decl *D) const
Print the postfix for externalized static variable or kernels for single source offloading languages ...
llvm::Constant * GetAddrOfThunk(StringRef Name, llvm::Type *FnTy, GlobalDecl GD)
Get the address of the thunk for the given global decl.
Definition CGVTables.cpp:37
void moveLazyEmissionStates(CodeGenModule *NewBuilder)
Move some lazily-emitted states to the NewBuilder.
llvm::ConstantInt * getSize(CharUnits numChars)
Emit the given number of characters as a value of type size_t.
void finalizeKCFITypes()
Emit KCFI type identifier constants and remove unused identifiers.
This class organizes the cross-module state that is used while lowering AST types to LLVM types.
A specialization of Address that requires the address to be an LLVM Constant.
Definition Address.h:296
CounterPair(unsigned Val)
May be None.
Organizes the cross-function state that is used while generating code coverage mapping data.
This class records statistics on instrumentation based profiling.
bool hasDiagnostics()
Whether or not the stats we've gathered indicate any potential problems.
void addMissing(bool MainFile)
Record that a function we've visited has no profile data.
void addMismatched(bool MainFile)
Record that a function we've visited has mismatched profile data.
void addVisited(bool MainFile)
Record that we've visited a function and whether or not that function was in the main source file.
void reportDiagnostics(DiagnosticsEngine &Diags, StringRef MainFile)
Report potential problems we've found to Diags.
LValue - This represents an lvalue references.
Definition CGValue.h:183
TargetCodeGenInfo - This class organizes various target-specific codegeneration issues,...
Definition TargetInfo.h:80
Helper class for stores the "trap reason" built by.
CompoundLiteralExpr - [C99 6.5.2.5].
Definition Expr.h:3616
Stores additional source code information like skipped ranges which is required by the coverage mappi...
DeclContext - This is used only as base class of specific decl types that can act as declaration cont...
Definition DeclBase.h:1466
Represents a ValueDecl that came out of a declarator.
Definition Decl.h:780
Concrete class used by the front-end to report problems and issues.
Definition Diagnostic.h:234
ExplicitCastExpr - An explicit cast written in the source code.
Definition Expr.h:3939
This represents one expression.
Definition Expr.h:112
Represents a member of a struct/union/class.
Definition Decl.h:3294
Represents a function declaration or definition.
Definition Decl.h:2058
FunctionType - C99 6.7.5.3 - Function Declarators.
Definition TypeBase.h:4617
GlobalDecl - represents a global declaration.
Definition GlobalDecl.h:57
const Decl * getDecl() const
Definition GlobalDecl.h:106
HeaderSearchOptions - Helper class for storing options related to the initialization of the HeaderSea...
Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...
clang::ObjCRuntime ObjCRuntime
bool hasDefaultVisibilityExportMapping() const
bool isExplicitDefaultVisibilityExportMapping() const
bool isAllDefaultVisibilityExportMapping() const
bool isTargetDevice() const
True when compiling for an offloading target device.
bool isVisibilityExplicit() const
Definition Visibility.h:90
Represents a linkage specification.
Definition DeclCXX.h:3040
A global _GUID constant.
Definition DeclCXX.h:4428
Represents a prvalue temporary that is written into memory so that a reference can bind to it.
Definition ExprCXX.h:4919
Describes a module or submodule.
Definition Module.h:340
This represents a decl that may have a name.
Definition Decl.h:274
LinkageInfo getLinkageAndVisibility() const
Determines the linkage and visibility of this entity.
Definition Decl.cpp:1227
This represents 'pragma omp allocate ...' directive.
Definition DeclOpenMP.h:536
This represents 'pragma omp declare mapper ...' directive.
Definition DeclOpenMP.h:349
This represents 'pragma omp declare reduction ...' directive.
Definition DeclOpenMP.h:239
This represents 'pragma omp requires...' directive.
Definition DeclOpenMP.h:479
This represents 'pragma omp threadprivate ...' directive.
Definition DeclOpenMP.h:110
ObjCEncodeExpr, used for @encode in Objective-C.
Definition ExprObjC.h:441
ObjCImplementationDecl - Represents a class definition - this is where method definitions are specifi...
Definition DeclObjC.h:2603
ObjCMethodDecl - Represents an instance or class method declaration.
Definition DeclObjC.h:140
bool isVariadic() const
Definition DeclObjC.h:434
bool isDirectMethod() const
True if the method is tagged as objc_direct.
Definition DeclObjC.cpp:889
bool isNeXTFamily() const
Is this runtime basically of the NeXT family of runtimes?
bool allowsDirectDispatch() const
Does this runtime supports direct dispatch.
PreprocessorOptions - This class is used for passing the various options used in preprocessor initial...
ExclusionType
Represents if an how something should be excluded from profiling.
Definition ProfileList.h:31
A (possibly-)qualified type.
Definition TypeBase.h:938
Represents a struct/union/class.
Definition Decl.h:4459
Encodes a location in the source.
Stmt - This represents one statement.
Definition Stmt.h:85
StringLiteral - This represents a string literal expression, e.g.
Definition Expr.h:1810
Represents the declaration of a struct/union/class/enum.
Definition Decl.h:3851
Exposes information about the current target.
Definition TargetInfo.h:227
uint64_t getPointerAlign(LangAS AddrSpace) const
Definition TargetInfo.h:500
A template parameter object.
A declaration that models statements at global scope.
Definition Decl.h:4769
CXXRecordDecl * getAsCXXRecordDecl() const
Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...
Definition Type.h:26
UnaryOperator - This represents the unary-expression's (except sizeof and alignof),...
Definition Expr.h:2255
An artificial decl, representing a global anonymous constant value which is uniquified by value withi...
Definition DeclCXX.h:4485
Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...
Definition Decl.h:712
Represents a variable declaration or definition.
Definition Decl.h:932
Defines the clang::TargetInfo interface.
@ Type
The l-value was considered opaque, so the alignment was determined from a type.
Definition CGValue.h:155
@ Decl
The l-value was an access to a declared entity or something equivalently strong, like the address of ...
Definition CGValue.h:146
const internal::VariadicAllOfMatcher< Type > type
Matches Types in the clang AST.
static const FunctionDecl * getCallee(const CXXConstructExpr &D)
Top level wrappers for InstallAPI frontend operations.
GVALinkage
A more specific kind of linkage than enum Linkage.
Definition Linkage.h:72
nullptr
This class represents a compute construct, representing a 'Kind' of ‘parallel’, 'serial',...
Linkage
Describes the different kinds of linkage (C++ [basic.link], C99 6.2.2) that an entity may have.
Definition Linkage.h:24
@ Module
Module linkage, which indicates that the entity can be referred to from other translation units withi...
Definition Linkage.h:54
@ Result
The result type of a method or function.
Definition TypeBase.h:906
const FunctionProtoType * T
LangAS
Defines the address space values used by the address space qualifier of QualType.
CallingConv
CallingConv - Specifies the calling convention that a function uses.
Definition Specifiers.h:279
U cast(CodeGen::Address addr)
Definition Address.h:327
@ Class
The "class" keyword introduces the elaborated-type-specifier.
Definition TypeBase.h:6031
Visibility
Describes the different kinds of visibility that a declaration may have.
Definition Visibility.h:34
@ HiddenVisibility
Objects with "hidden" visibility are not seen by the dynamic linker.
Definition Visibility.h:37
@ ProtectedVisibility
Objects with "protected" visibility are seen by the dynamic linker but always dynamically resolve to ...
Definition Visibility.h:42
@ DefaultVisibility
Objects with "default" visibility are seen by the dynamic linker and act like normal objects.
Definition Visibility.h:46
Diagnostic wrappers for TextAPI types for error reporting.
Definition Dominators.h:30
__packed_splat4 __packed_splat2 __packed_splat8 __packed_splat4 int32_t
__packed_splat4 __packed_splat2 __packed_splat8 __packed_splat4 __packed_splat2 __packed_splat4 uint16_t
__packed_splat4 __packed_splat2 __packed_splat8 __packed_splat4 __packed_splat2 __packed_splat4 __packed_splat2 __packed_splat8 __packed_splat4 uint32_t
Structor(int Priority, unsigned LexOrder, llvm::Constant *Initializer, llvm::Constant *AssociatedData)
This structure provides a set of types that are commonly used during IR emission.
llvm::Function * objc_retainAutoreleasedReturnValue
id objc_retainAutoreleasedReturnValue(id);
llvm::Function * objc_retainAutoreleaseReturnValue
id objc_retainAutoreleaseReturnValue(id);
llvm::FunctionCallee objc_alloc
void objc_alloc(id);
llvm::Function * objc_retain
id objc_retain(id);
llvm::FunctionCallee objc_alloc_init
void objc_alloc_init(id);
llvm::Function * objc_autorelease
id objc_autorelease(id);
llvm::Function * objc_moveWeak
void objc_moveWeak(id *dest, id *src);
llvm::FunctionCallee objc_autoreleasePoolPopInvoke
void objc_autoreleasePoolPop(void*); Note this method is used when we are using exception handling
llvm::InlineAsm * retainAutoreleasedReturnValueMarker
A void(void) inline asm to use to mark that the return value of a call will be immediately retain.
llvm::Function * clang_arc_use
void clang.arc.use(...);
llvm::Function * objc_initWeak
id objc_initWeak(id*, id);
llvm::FunctionCallee objc_retainRuntimeFunction
id objc_retain(id); Note this is the runtime method not the intrinsic.
llvm::Function * objc_copyWeak
void objc_copyWeak(id *dest, id *src);
llvm::Function * objc_destroyWeak
void objc_destroyWeak(id*);
llvm::Function * objc_retainAutorelease
id objc_retainAutorelease(id);
llvm::Function * objc_autoreleasePoolPush
void *objc_autoreleasePoolPush(void);
llvm::Function * objc_retainBlock
id objc_retainBlock(id);
llvm::Function * objc_storeStrong
void objc_storeStrong(id*, id);
llvm::Function * objc_loadWeak
id objc_loadWeak(id*);
llvm::Function * clang_arc_noop_use
void clang.arc.noop.use(...);
llvm::Function * objc_loadWeakRetained
id objc_loadWeakRetained(id*);
llvm::Function * objc_release
void objc_release(id);
llvm::FunctionCallee objc_autoreleaseRuntimeFunction
id objc_autorelease(id); Note this is the runtime method not the intrinsic.
llvm::Function * objc_autoreleaseReturnValue
id objc_autoreleaseReturnValue(id);
llvm::FunctionCallee objc_releaseRuntimeFunction
void objc_release(id); Note this is the runtime method not the intrinsic.
llvm::FunctionCallee objc_allocWithZone
void objc_allocWithZone(id);
llvm::FunctionCallee objc_autoreleasePoolPop
void objc_autoreleasePoolPop(void*);
llvm::Function * objc_storeWeak
id objc_storeWeak(id*, id);
llvm::Function * objc_unsafeClaimAutoreleasedReturnValue
id objc_unsafeClaimAutoreleasedReturnValue(id);
bool operator<(const OrderGlobalInitsOrStermFinalizers &RHS) const
bool operator==(const OrderGlobalInitsOrStermFinalizers &RHS) const
OrderGlobalInitsOrStermFinalizers(unsigned int p, unsigned int l)
static TBAAAccessInfo getMayAliasInfo()
Definition CodeGenTBAA.h:63