clang 19.0.0git
Enumerations | Functions
CGDecl.cpp File Reference
#include "CGBlocks.h"
#include "CGCXXABI.h"
#include "CGCleanup.h"
#include "CGDebugInfo.h"
#include "CGOpenCLRuntime.h"
#include "CGOpenMPRuntime.h"
#include "CodeGenFunction.h"
#include "CodeGenModule.h"
#include "ConstantEmitter.h"
#include "PatternInit.h"
#include "TargetInfo.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/Attr.h"
#include "clang/AST/CharUnits.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/DeclOpenMP.h"
#include "clang/Basic/CodeGenOptions.h"
#include "clang/Basic/SourceManager.h"
#include "clang/Basic/TargetInfo.h"
#include "clang/CodeGen/CGFunctionInfo.h"
#include "clang/Sema/Sema.h"
#include "llvm/Analysis/ValueTracking.h"
#include "llvm/IR/DataLayout.h"
#include "llvm/IR/GlobalVariable.h"
#include "llvm/IR/Intrinsics.h"
#include "llvm/IR/Type.h"
#include <optional>

Go to the source code of this file.

Enumerations

enum class  IsPattern { No , Yes }
 

Functions

static std::string getStaticDeclName (CodeGenModule &CGM, const VarDecl &D)
 
static void EmitAutoVarWithLifetime (CodeGenFunction &CGF, const VarDecl &var, Address addr, Qualifiers::ObjCLifetime lifetime)
 EmitAutoVarWithLifetime - Does the setup required for an automatic variable with lifetime.
 
static bool isAccessedBy (const VarDecl &var, const Stmt *s)
 
static bool isAccessedBy (const ValueDecl *decl, const Expr *e)
 
static bool tryEmitARCCopyWeakInit (CodeGenFunction &CGF, const LValue &destLV, const Expr *init)
 
static void drillIntoBlockVariable (CodeGenFunction &CGF, LValue &lvalue, const VarDecl *var)
 
static bool canEmitInitWithFewStoresAfterBZero (llvm::Constant *Init, unsigned &NumStores)
 Decide whether we can emit the non-zero parts of the specified initializer with equal or fewer than NumStores scalar stores.
 
static void emitStoresForInitAfterBZero (CodeGenModule &CGM, llvm::Constant *Init, Address Loc, bool isVolatile, CGBuilderTy &Builder, bool IsAutoInit)
 For inits that canEmitInitWithFewStoresAfterBZero returned true for, emit the scalar stores that would be required.
 
static bool shouldUseBZeroPlusStoresToInitialize (llvm::Constant *Init, uint64_t GlobalSize)
 Decide whether we should use bzero plus some stores to initialize a local variable instead of using a memcpy from a constant global.
 
static llvm::ValueshouldUseMemSetToInitialize (llvm::Constant *Init, uint64_t GlobalSize, const llvm::DataLayout &DL)
 Decide whether we should use memset to initialize a local variable instead of using a memcpy from a constant global.
 
static bool shouldSplitConstantStore (CodeGenModule &CGM, uint64_t GlobalByteSize)
 Decide whether we want to split a constant structure or array store into a sequence of its fields' stores.
 
static llvm::Constant * patternOrZeroFor (CodeGenModule &CGM, IsPattern isPattern, llvm::Type *Ty)
 Generate a constant filled with either a pattern or zeroes.
 
static llvm::Constant * constWithPadding (CodeGenModule &CGM, IsPattern isPattern, llvm::Constant *constant)
 Replace all padding bytes in a given constant with either a pattern byte or 0x00.
 
static llvm::Constant * constStructWithPadding (CodeGenModule &CGM, IsPattern isPattern, llvm::StructType *STy, llvm::Constant *constant)
 Helper function for constWithPadding() to deal with padding in structures.
 
static Address createUnnamedGlobalForMemcpyFrom (CodeGenModule &CGM, const VarDecl &D, CGBuilderTy &Builder, llvm::Constant *Constant, CharUnits Align)
 
static void emitStoresForConstant (CodeGenModule &CGM, const VarDecl &D, Address Loc, bool isVolatile, CGBuilderTy &Builder, llvm::Constant *constant, bool IsAutoInit)
 
static void emitStoresForZeroInit (CodeGenModule &CGM, const VarDecl &D, Address Loc, bool isVolatile, CGBuilderTy &Builder)
 
static void emitStoresForPatternInit (CodeGenModule &CGM, const VarDecl &D, Address Loc, bool isVolatile, CGBuilderTy &Builder)
 
static bool containsUndef (llvm::Constant *constant)
 
static llvm::Constant * replaceUndef (CodeGenModule &CGM, IsPattern isPattern, llvm::Constant *constant)
 
static bool isCapturedBy (const VarDecl &Var, const Expr *E)
 Determines whether the given __block variable is potentially captured by the given expression.
 
static bool isCapturedBy (const VarDecl &Var, const Stmt *S)
 Determines whether the given __block variable is potentially captured by the given statement.
 
static void emitPartialArrayDestroy (CodeGenFunction &CGF, llvm::Value *begin, llvm::Value *end, QualType type, CharUnits elementAlign, CodeGenFunction::Destroyer *destroyer)
 Perform partial array destruction as if in an EH cleanup.
 

Enumeration Type Documentation

◆ IsPattern

enum class IsPattern
strong
Enumerator
No 
Yes 

Definition at line 1040 of file CGDecl.cpp.

Function Documentation

◆ canEmitInitWithFewStoresAfterBZero()

static bool canEmitInitWithFewStoresAfterBZero ( llvm::Constant *  Init,
unsigned NumStores 
)
static

Decide whether we can emit the non-zero parts of the specified initializer with equal or fewer than NumStores scalar stores.

Definition at line 911 of file CGDecl.cpp.

References canEmitInitWithFewStoresAfterBZero(), and clang::Init.

Referenced by canEmitInitWithFewStoresAfterBZero(), and shouldUseBZeroPlusStoresToInitialize().

◆ constStructWithPadding()

static llvm::Constant * constStructWithPadding ( CodeGenModule CGM,
IsPattern  isPattern,
llvm::StructType *  STy,
llvm::Constant *  constant 
)
static

Helper function for constWithPadding() to deal with padding in structures.

Definition at line 1055 of file CGDecl.cpp.

References constWithPadding(), clang::CodeGen::CodeGenModule::getDataLayout(), clang::CodeGen::CodeGenModule::getLLVMContext(), and patternOrZeroFor().

Referenced by constWithPadding().

◆ constWithPadding()

static llvm::Constant * constWithPadding ( CodeGenModule CGM,
IsPattern  isPattern,
llvm::Constant *  constant 
)
static

Replace all padding bytes in a given constant with either a pattern byte or 0x00.

Definition at line 1095 of file CGDecl.cpp.

References constStructWithPadding(), and constWithPadding().

Referenced by constStructWithPadding(), constWithPadding(), emitStoresForPatternInit(), and emitStoresForZeroInit().

◆ containsUndef()

static bool containsUndef ( llvm::Constant *  constant)
static

Definition at line 1300 of file CGDecl.cpp.

References containsUndef().

Referenced by containsUndef(), and replaceUndef().

◆ createUnnamedGlobalForMemcpyFrom()

static Address createUnnamedGlobalForMemcpyFrom ( CodeGenModule CGM,
const VarDecl D,
CGBuilderTy Builder,
llvm::Constant *  Constant,
CharUnits  Align 
)
static

◆ drillIntoBlockVariable()

static void drillIntoBlockVariable ( CodeGenFunction CGF,
LValue &  lvalue,
const VarDecl var 
)
static

◆ EmitAutoVarWithLifetime()

static void EmitAutoVarWithLifetime ( CodeGenFunction CGF,
const VarDecl var,
Address  addr,
Qualifiers::ObjCLifetime  lifetime 
)
static

◆ emitPartialArrayDestroy()

static void emitPartialArrayDestroy ( CodeGenFunction CGF,
llvm::Value begin,
llvm::Value end,
QualType  type,
CharUnits  elementAlign,
CodeGenFunction::Destroyer *  destroyer 
)
static

◆ emitStoresForConstant()

static void emitStoresForConstant ( CodeGenModule CGM,
const VarDecl D,
Address  Loc,
bool  isVolatile,
CGBuilderTy Builder,
llvm::Constant *  constant,
bool  IsAutoInit 
)
static

◆ emitStoresForInitAfterBZero()

static void emitStoresForInitAfterBZero ( CodeGenModule CGM,
llvm::Constant *  Init,
Address  Loc,
bool  isVolatile,
CGBuilderTy Builder,
bool  IsAutoInit 
)
static

For inits that canEmitInitWithFewStoresAfterBZero returned true for, emit the scalar stores that would be required.

Definition at line 949 of file CGDecl.cpp.

References emitStoresForInitAfterBZero(), and clang::Init.

Referenced by emitStoresForConstant(), and emitStoresForInitAfterBZero().

◆ emitStoresForPatternInit()

static void emitStoresForPatternInit ( CodeGenModule CGM,
const VarDecl D,
Address  Loc,
bool  isVolatile,
CGBuilderTy Builder 
)
static

◆ emitStoresForZeroInit()

static void emitStoresForZeroInit ( CodeGenModule CGM,
const VarDecl D,
Address  Loc,
bool  isVolatile,
CGBuilderTy Builder 
)
static

◆ getStaticDeclName()

static std::string getStaticDeclName ( CodeGenModule CGM,
const VarDecl D 
)
static

◆ isAccessedBy() [1/2]

static bool isAccessedBy ( const ValueDecl decl,
const Expr e 
)
static

Definition at line 708 of file CGDecl.cpp.

References clang::ast_matchers::decl, and isAccessedBy().

◆ isAccessedBy() [2/2]

static bool isAccessedBy ( const VarDecl var,
const Stmt s 
)
static

Definition at line 683 of file CGDecl.cpp.

References clang::BlockDecl::captures(), isAccessedBy(), and s.

Referenced by isAccessedBy().

◆ isCapturedBy() [1/2]

static bool isCapturedBy ( const VarDecl Var,
const Expr E 
)
static

Determines whether the given __block variable is potentially captured by the given expression.

Definition at line 1696 of file CGDecl.cpp.

References clang::Block, clang::CompoundStmt::body(), clang::Stmt::children(), clang::VarDecl::getInit(), clang::Expr::IgnoreParenCasts(), clang::Init, and isCapturedBy().

Referenced by isCapturedBy().

◆ isCapturedBy() [2/2]

static bool isCapturedBy ( const VarDecl Var,
const Stmt S 
)
static

Determines whether the given __block variable is potentially captured by the given statement.

Definition at line 1685 of file CGDecl.cpp.

References isCapturedBy().

◆ patternOrZeroFor()

static llvm::Constant * patternOrZeroFor ( CodeGenModule CGM,
IsPattern  isPattern,
llvm::Type Ty 
)
static

Generate a constant filled with either a pattern or zeroes.

Definition at line 1043 of file CGDecl.cpp.

References clang::CodeGen::initializationPatternFor().

Referenced by constStructWithPadding(), and replaceUndef().

◆ replaceUndef()

static llvm::Constant * replaceUndef ( CodeGenModule CGM,
IsPattern  isPattern,
llvm::Constant *  constant 
)
static

Definition at line 1311 of file CGDecl.cpp.

References containsUndef(), patternOrZeroFor(), and replaceUndef().

Referenced by replaceUndef().

◆ shouldSplitConstantStore()

static bool shouldSplitConstantStore ( CodeGenModule CGM,
uint64_t  GlobalByteSize 
)
static

Decide whether we want to split a constant structure or array store into a sequence of its fields' stores.

This may cost us code size and compilation speed, but plays better with store optimizations.

Definition at line 1029 of file CGDecl.cpp.

References clang::CodeGen::CodeGenModule::getCodeGenOpts().

Referenced by emitStoresForConstant().

◆ shouldUseBZeroPlusStoresToInitialize()

static bool shouldUseBZeroPlusStoresToInitialize ( llvm::Constant *  Init,
uint64_t  GlobalSize 
)
static

Decide whether we should use bzero plus some stores to initialize a local variable instead of using a memcpy from a constant global.

It is beneficial to use bzero if the global is all zeros, or mostly zeros and large.

Definition at line 996 of file CGDecl.cpp.

References canEmitInitWithFewStoresAfterBZero(), and clang::Init.

Referenced by emitStoresForConstant().

◆ shouldUseMemSetToInitialize()

static llvm::Value * shouldUseMemSetToInitialize ( llvm::Constant *  Init,
uint64_t  GlobalSize,
const llvm::DataLayout &  DL 
)
static

Decide whether we should use memset to initialize a local variable instead of using a memcpy from a constant global.

Assumes we've already decided to not user bzero. FIXME We could be more clever, as we are for bzero above, and generate memset followed by stores. It's unclear that's worth the effort.

Definition at line 1017 of file CGDecl.cpp.

References clang::Init.

Referenced by emitStoresForConstant().

◆ tryEmitARCCopyWeakInit()

static bool tryEmitARCCopyWeakInit ( CodeGenFunction CGF,
const LValue &  destLV,
const Expr init 
)
static