1 //===--- CGDeclCXX.cpp - Emit LLVM Code for C++ declarations --------------===// 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 contains code dealing with code generation of C++ declarations 10 // 11 //===----------------------------------------------------------------------===// 12 13 #include "CodeGenFunction.h" 14 #include "CGCXXABI.h" 15 #include "CGObjCRuntime.h" 16 #include "CGOpenMPRuntime.h" 17 #include "clang/Basic/CodeGenOptions.h" 18 #include "llvm/ADT/StringExtras.h" 19 #include "llvm/IR/Intrinsics.h" 20 #include "llvm/IR/MDBuilder.h" 21 #include "llvm/Support/Path.h" 22 23 using namespace clang; 24 using namespace CodeGen; 25 26 static void EmitDeclInit(CodeGenFunction &CGF, const VarDecl &D, 27 ConstantAddress DeclPtr) { 28 assert( 29 (D.hasGlobalStorage() || 30 (D.hasLocalStorage() && CGF.getContext().getLangOpts().OpenCLCPlusPlus)) && 31 "VarDecl must have global or local (in the case of OpenCL) storage!"); 32 assert(!D.getType()->isReferenceType() && 33 "Should not call EmitDeclInit on a reference!"); 34 35 QualType type = D.getType(); 36 LValue lv = CGF.MakeAddrLValue(DeclPtr, type); 37 38 const Expr *Init = D.getInit(); 39 switch (CGF.getEvaluationKind(type)) { 40 case TEK_Scalar: { 41 CodeGenModule &CGM = CGF.CGM; 42 if (lv.isObjCStrong()) 43 CGM.getObjCRuntime().EmitObjCGlobalAssign(CGF, CGF.EmitScalarExpr(Init), 44 DeclPtr, D.getTLSKind()); 45 else if (lv.isObjCWeak()) 46 CGM.getObjCRuntime().EmitObjCWeakAssign(CGF, CGF.EmitScalarExpr(Init), 47 DeclPtr); 48 else 49 CGF.EmitScalarInit(Init, &D, lv, false); 50 return; 51 } 52 case TEK_Complex: 53 CGF.EmitComplexExprIntoLValue(Init, lv, /*isInit*/ true); 54 return; 55 case TEK_Aggregate: 56 CGF.EmitAggExpr(Init, AggValueSlot::forLValue(lv,AggValueSlot::IsDestructed, 57 AggValueSlot::DoesNotNeedGCBarriers, 58 AggValueSlot::IsNotAliased, 59 AggValueSlot::DoesNotOverlap)); 60 return; 61 } 62 llvm_unreachable("bad evaluation kind"); 63 } 64 65 /// Emit code to cause the destruction of the given variable with 66 /// static storage duration. 67 static void EmitDeclDestroy(CodeGenFunction &CGF, const VarDecl &D, 68 ConstantAddress Addr) { 69 // Honor __attribute__((no_destroy)) and bail instead of attempting 70 // to emit a reference to a possibly nonexistent destructor, which 71 // in turn can cause a crash. This will result in a global constructor 72 // that isn't balanced out by a destructor call as intended by the 73 // attribute. This also checks for -fno-c++-static-destructors and 74 // bails even if the attribute is not present. 75 if (D.isNoDestroy(CGF.getContext())) 76 return; 77 78 CodeGenModule &CGM = CGF.CGM; 79 80 // FIXME: __attribute__((cleanup)) ? 81 82 QualType Type = D.getType(); 83 QualType::DestructionKind DtorKind = Type.isDestructedType(); 84 85 switch (DtorKind) { 86 case QualType::DK_none: 87 return; 88 89 case QualType::DK_cxx_destructor: 90 break; 91 92 case QualType::DK_objc_strong_lifetime: 93 case QualType::DK_objc_weak_lifetime: 94 case QualType::DK_nontrivial_c_struct: 95 // We don't care about releasing objects during process teardown. 96 assert(!D.getTLSKind() && "should have rejected this"); 97 return; 98 } 99 100 llvm::FunctionCallee Func; 101 llvm::Constant *Argument; 102 103 // Special-case non-array C++ destructors, if they have the right signature. 104 // Under some ABIs, destructors return this instead of void, and cannot be 105 // passed directly to __cxa_atexit if the target does not allow this 106 // mismatch. 107 const CXXRecordDecl *Record = Type->getAsCXXRecordDecl(); 108 bool CanRegisterDestructor = 109 Record && (!CGM.getCXXABI().HasThisReturn( 110 GlobalDecl(Record->getDestructor(), Dtor_Complete)) || 111 CGM.getCXXABI().canCallMismatchedFunctionType()); 112 // If __cxa_atexit is disabled via a flag, a different helper function is 113 // generated elsewhere which uses atexit instead, and it takes the destructor 114 // directly. 115 bool UsingExternalHelper = !CGM.getCodeGenOpts().CXAAtExit; 116 if (Record && (CanRegisterDestructor || UsingExternalHelper)) { 117 assert(!Record->hasTrivialDestructor()); 118 CXXDestructorDecl *Dtor = Record->getDestructor(); 119 120 Func = CGM.getAddrAndTypeOfCXXStructor(GlobalDecl(Dtor, Dtor_Complete)); 121 Argument = llvm::ConstantExpr::getBitCast( 122 Addr.getPointer(), CGF.getTypes().ConvertType(Type)->getPointerTo()); 123 124 // Otherwise, the standard logic requires a helper function. 125 } else { 126 Func = CodeGenFunction(CGM) 127 .generateDestroyHelper(Addr, Type, CGF.getDestroyer(DtorKind), 128 CGF.needsEHCleanup(DtorKind), &D); 129 Argument = llvm::Constant::getNullValue(CGF.Int8PtrTy); 130 } 131 132 CGM.getCXXABI().registerGlobalDtor(CGF, D, Func, Argument); 133 } 134 135 /// Emit code to cause the variable at the given address to be considered as 136 /// constant from this point onwards. 137 static void EmitDeclInvariant(CodeGenFunction &CGF, const VarDecl &D, 138 llvm::Constant *Addr) { 139 return CGF.EmitInvariantStart( 140 Addr, CGF.getContext().getTypeSizeInChars(D.getType())); 141 } 142 143 void CodeGenFunction::EmitInvariantStart(llvm::Constant *Addr, CharUnits Size) { 144 // Do not emit the intrinsic if we're not optimizing. 145 if (!CGM.getCodeGenOpts().OptimizationLevel) 146 return; 147 148 // Grab the llvm.invariant.start intrinsic. 149 llvm::Intrinsic::ID InvStartID = llvm::Intrinsic::invariant_start; 150 // Overloaded address space type. 151 llvm::Type *ObjectPtr[1] = {Int8PtrTy}; 152 llvm::Function *InvariantStart = CGM.getIntrinsic(InvStartID, ObjectPtr); 153 154 // Emit a call with the size in bytes of the object. 155 uint64_t Width = Size.getQuantity(); 156 llvm::Value *Args[2] = { llvm::ConstantInt::getSigned(Int64Ty, Width), 157 llvm::ConstantExpr::getBitCast(Addr, Int8PtrTy)}; 158 Builder.CreateCall(InvariantStart, Args); 159 } 160 161 void CodeGenFunction::EmitCXXGlobalVarDeclInit(const VarDecl &D, 162 llvm::Constant *DeclPtr, 163 bool PerformInit) { 164 165 const Expr *Init = D.getInit(); 166 QualType T = D.getType(); 167 168 // The address space of a static local variable (DeclPtr) may be different 169 // from the address space of the "this" argument of the constructor. In that 170 // case, we need an addrspacecast before calling the constructor. 171 // 172 // struct StructWithCtor { 173 // __device__ StructWithCtor() {...} 174 // }; 175 // __device__ void foo() { 176 // __shared__ StructWithCtor s; 177 // ... 178 // } 179 // 180 // For example, in the above CUDA code, the static local variable s has a 181 // "shared" address space qualifier, but the constructor of StructWithCtor 182 // expects "this" in the "generic" address space. 183 unsigned ExpectedAddrSpace = getContext().getTargetAddressSpace(T); 184 unsigned ActualAddrSpace = DeclPtr->getType()->getPointerAddressSpace(); 185 if (ActualAddrSpace != ExpectedAddrSpace) { 186 llvm::Type *LTy = CGM.getTypes().ConvertTypeForMem(T); 187 llvm::PointerType *PTy = llvm::PointerType::get(LTy, ExpectedAddrSpace); 188 DeclPtr = llvm::ConstantExpr::getAddrSpaceCast(DeclPtr, PTy); 189 } 190 191 ConstantAddress DeclAddr(DeclPtr, getContext().getDeclAlign(&D)); 192 193 if (!T->isReferenceType()) { 194 if (getLangOpts().OpenMP && !getLangOpts().OpenMPSimd && 195 D.hasAttr<OMPThreadPrivateDeclAttr>()) { 196 (void)CGM.getOpenMPRuntime().emitThreadPrivateVarDefinition( 197 &D, DeclAddr, D.getAttr<OMPThreadPrivateDeclAttr>()->getLocation(), 198 PerformInit, this); 199 } 200 if (PerformInit) 201 EmitDeclInit(*this, D, DeclAddr); 202 if (CGM.isTypeConstant(D.getType(), true)) 203 EmitDeclInvariant(*this, D, DeclPtr); 204 else 205 EmitDeclDestroy(*this, D, DeclAddr); 206 return; 207 } 208 209 assert(PerformInit && "cannot have constant initializer which needs " 210 "destruction for reference"); 211 RValue RV = EmitReferenceBindingToExpr(Init); 212 EmitStoreOfScalar(RV.getScalarVal(), DeclAddr, false, T); 213 } 214 215 /// Create a stub function, suitable for being passed to atexit, 216 /// which passes the given address to the given destructor function. 217 llvm::Function *CodeGenFunction::createAtExitStub(const VarDecl &VD, 218 llvm::FunctionCallee dtor, 219 llvm::Constant *addr) { 220 // Get the destructor function type, void(*)(void). 221 llvm::FunctionType *ty = llvm::FunctionType::get(CGM.VoidTy, false); 222 SmallString<256> FnName; 223 { 224 llvm::raw_svector_ostream Out(FnName); 225 CGM.getCXXABI().getMangleContext().mangleDynamicAtExitDestructor(&VD, Out); 226 } 227 228 const CGFunctionInfo &FI = CGM.getTypes().arrangeNullaryFunction(); 229 llvm::Function *fn = CGM.CreateGlobalInitOrDestructFunction(ty, FnName.str(), 230 FI, 231 VD.getLocation()); 232 233 CodeGenFunction CGF(CGM); 234 235 CGF.StartFunction(&VD, CGM.getContext().VoidTy, fn, FI, FunctionArgList()); 236 237 llvm::CallInst *call = CGF.Builder.CreateCall(dtor, addr); 238 239 // Make sure the call and the callee agree on calling convention. 240 if (llvm::Function *dtorFn = 241 dyn_cast<llvm::Function>(dtor.getCallee()->stripPointerCasts())) 242 call->setCallingConv(dtorFn->getCallingConv()); 243 244 CGF.FinishFunction(); 245 246 return fn; 247 } 248 249 /// Register a global destructor using the C atexit runtime function. 250 void CodeGenFunction::registerGlobalDtorWithAtExit(const VarDecl &VD, 251 llvm::FunctionCallee dtor, 252 llvm::Constant *addr) { 253 // Create a function which calls the destructor. 254 llvm::Constant *dtorStub = createAtExitStub(VD, dtor, addr); 255 registerGlobalDtorWithAtExit(dtorStub); 256 } 257 258 void CodeGenFunction::registerGlobalDtorWithAtExit(llvm::Constant *dtorStub) { 259 // extern "C" int atexit(void (*f)(void)); 260 llvm::FunctionType *atexitTy = 261 llvm::FunctionType::get(IntTy, dtorStub->getType(), false); 262 263 llvm::FunctionCallee atexit = 264 CGM.CreateRuntimeFunction(atexitTy, "atexit", llvm::AttributeList(), 265 /*Local=*/true); 266 if (llvm::Function *atexitFn = dyn_cast<llvm::Function>(atexit.getCallee())) 267 atexitFn->setDoesNotThrow(); 268 269 EmitNounwindRuntimeCall(atexit, dtorStub); 270 } 271 272 void CodeGenFunction::EmitCXXGuardedInit(const VarDecl &D, 273 llvm::GlobalVariable *DeclPtr, 274 bool PerformInit) { 275 // If we've been asked to forbid guard variables, emit an error now. 276 // This diagnostic is hard-coded for Darwin's use case; we can find 277 // better phrasing if someone else needs it. 278 if (CGM.getCodeGenOpts().ForbidGuardVariables) 279 CGM.Error(D.getLocation(), 280 "this initialization requires a guard variable, which " 281 "the kernel does not support"); 282 283 CGM.getCXXABI().EmitGuardedInit(*this, D, DeclPtr, PerformInit); 284 } 285 286 void CodeGenFunction::EmitCXXGuardedInitBranch(llvm::Value *NeedsInit, 287 llvm::BasicBlock *InitBlock, 288 llvm::BasicBlock *NoInitBlock, 289 GuardKind Kind, 290 const VarDecl *D) { 291 assert((Kind == GuardKind::TlsGuard || D) && "no guarded variable"); 292 293 // A guess at how many times we will enter the initialization of a 294 // variable, depending on the kind of variable. 295 static const uint64_t InitsPerTLSVar = 1024; 296 static const uint64_t InitsPerLocalVar = 1024 * 1024; 297 298 llvm::MDNode *Weights; 299 if (Kind == GuardKind::VariableGuard && !D->isLocalVarDecl()) { 300 // For non-local variables, don't apply any weighting for now. Due to our 301 // use of COMDATs, we expect there to be at most one initialization of the 302 // variable per DSO, but we have no way to know how many DSOs will try to 303 // initialize the variable. 304 Weights = nullptr; 305 } else { 306 uint64_t NumInits; 307 // FIXME: For the TLS case, collect and use profiling information to 308 // determine a more accurate brach weight. 309 if (Kind == GuardKind::TlsGuard || D->getTLSKind()) 310 NumInits = InitsPerTLSVar; 311 else 312 NumInits = InitsPerLocalVar; 313 314 // The probability of us entering the initializer is 315 // 1 / (total number of times we attempt to initialize the variable). 316 llvm::MDBuilder MDHelper(CGM.getLLVMContext()); 317 Weights = MDHelper.createBranchWeights(1, NumInits - 1); 318 } 319 320 Builder.CreateCondBr(NeedsInit, InitBlock, NoInitBlock, Weights); 321 } 322 323 llvm::Function *CodeGenModule::CreateGlobalInitOrDestructFunction( 324 llvm::FunctionType *FTy, const Twine &Name, const CGFunctionInfo &FI, 325 SourceLocation Loc, bool TLS) { 326 llvm::Function *Fn = 327 llvm::Function::Create(FTy, llvm::GlobalValue::InternalLinkage, 328 Name, &getModule()); 329 if (!getLangOpts().AppleKext && !TLS) { 330 // Set the section if needed. 331 if (const char *Section = getTarget().getStaticInitSectionSpecifier()) 332 Fn->setSection(Section); 333 } 334 335 SetInternalFunctionAttributes(GlobalDecl(), Fn, FI); 336 337 Fn->setCallingConv(getRuntimeCC()); 338 339 if (!getLangOpts().Exceptions) 340 Fn->setDoesNotThrow(); 341 342 if (getLangOpts().Sanitize.has(SanitizerKind::Address) && 343 !isInSanitizerBlacklist(SanitizerKind::Address, Fn, Loc)) 344 Fn->addFnAttr(llvm::Attribute::SanitizeAddress); 345 346 if (getLangOpts().Sanitize.has(SanitizerKind::KernelAddress) && 347 !isInSanitizerBlacklist(SanitizerKind::KernelAddress, Fn, Loc)) 348 Fn->addFnAttr(llvm::Attribute::SanitizeAddress); 349 350 if (getLangOpts().Sanitize.has(SanitizerKind::HWAddress) && 351 !isInSanitizerBlacklist(SanitizerKind::HWAddress, Fn, Loc)) 352 Fn->addFnAttr(llvm::Attribute::SanitizeHWAddress); 353 354 if (getLangOpts().Sanitize.has(SanitizerKind::KernelHWAddress) && 355 !isInSanitizerBlacklist(SanitizerKind::KernelHWAddress, Fn, Loc)) 356 Fn->addFnAttr(llvm::Attribute::SanitizeHWAddress); 357 358 if (getLangOpts().Sanitize.has(SanitizerKind::Thread) && 359 !isInSanitizerBlacklist(SanitizerKind::Thread, Fn, Loc)) 360 Fn->addFnAttr(llvm::Attribute::SanitizeThread); 361 362 if (getLangOpts().Sanitize.has(SanitizerKind::Memory) && 363 !isInSanitizerBlacklist(SanitizerKind::Memory, Fn, Loc)) 364 Fn->addFnAttr(llvm::Attribute::SanitizeMemory); 365 366 if (getLangOpts().Sanitize.has(SanitizerKind::KernelMemory) && 367 !isInSanitizerBlacklist(SanitizerKind::KernelMemory, Fn, Loc)) 368 Fn->addFnAttr(llvm::Attribute::SanitizeMemory); 369 370 if (getLangOpts().Sanitize.has(SanitizerKind::SafeStack) && 371 !isInSanitizerBlacklist(SanitizerKind::SafeStack, Fn, Loc)) 372 Fn->addFnAttr(llvm::Attribute::SafeStack); 373 374 if (getLangOpts().Sanitize.has(SanitizerKind::ShadowCallStack) && 375 !isInSanitizerBlacklist(SanitizerKind::ShadowCallStack, Fn, Loc)) 376 Fn->addFnAttr(llvm::Attribute::ShadowCallStack); 377 378 auto RASignKind = getCodeGenOpts().getSignReturnAddress(); 379 if (RASignKind != CodeGenOptions::SignReturnAddressScope::None) { 380 Fn->addFnAttr("sign-return-address", 381 RASignKind == CodeGenOptions::SignReturnAddressScope::All 382 ? "all" 383 : "non-leaf"); 384 auto RASignKey = getCodeGenOpts().getSignReturnAddressKey(); 385 Fn->addFnAttr("sign-return-address-key", 386 RASignKey == CodeGenOptions::SignReturnAddressKeyValue::AKey 387 ? "a_key" 388 : "b_key"); 389 } 390 391 if (getCodeGenOpts().BranchTargetEnforcement) 392 Fn->addFnAttr("branch-target-enforcement"); 393 394 return Fn; 395 } 396 397 /// Create a global pointer to a function that will initialize a global 398 /// variable. The user has requested that this pointer be emitted in a specific 399 /// section. 400 void CodeGenModule::EmitPointerToInitFunc(const VarDecl *D, 401 llvm::GlobalVariable *GV, 402 llvm::Function *InitFunc, 403 InitSegAttr *ISA) { 404 llvm::GlobalVariable *PtrArray = new llvm::GlobalVariable( 405 TheModule, InitFunc->getType(), /*isConstant=*/true, 406 llvm::GlobalValue::PrivateLinkage, InitFunc, "__cxx_init_fn_ptr"); 407 PtrArray->setSection(ISA->getSection()); 408 addUsedGlobal(PtrArray); 409 410 // If the GV is already in a comdat group, then we have to join it. 411 if (llvm::Comdat *C = GV->getComdat()) 412 PtrArray->setComdat(C); 413 } 414 415 void 416 CodeGenModule::EmitCXXGlobalVarDeclInitFunc(const VarDecl *D, 417 llvm::GlobalVariable *Addr, 418 bool PerformInit) { 419 420 // According to E.2.3.1 in CUDA-7.5 Programming guide: __device__, 421 // __constant__ and __shared__ variables defined in namespace scope, 422 // that are of class type, cannot have a non-empty constructor. All 423 // the checks have been done in Sema by now. Whatever initializers 424 // are allowed are empty and we just need to ignore them here. 425 if (getLangOpts().CUDA && getLangOpts().CUDAIsDevice && 426 (D->hasAttr<CUDADeviceAttr>() || D->hasAttr<CUDAConstantAttr>() || 427 D->hasAttr<CUDASharedAttr>())) 428 return; 429 430 if (getLangOpts().OpenMP && 431 getOpenMPRuntime().emitDeclareTargetVarDefinition(D, Addr, PerformInit)) 432 return; 433 434 // Check if we've already initialized this decl. 435 auto I = DelayedCXXInitPosition.find(D); 436 if (I != DelayedCXXInitPosition.end() && I->second == ~0U) 437 return; 438 439 llvm::FunctionType *FTy = llvm::FunctionType::get(VoidTy, false); 440 SmallString<256> FnName; 441 { 442 llvm::raw_svector_ostream Out(FnName); 443 getCXXABI().getMangleContext().mangleDynamicInitializer(D, Out); 444 } 445 446 // Create a variable initialization function. 447 llvm::Function *Fn = 448 CreateGlobalInitOrDestructFunction(FTy, FnName.str(), 449 getTypes().arrangeNullaryFunction(), 450 D->getLocation()); 451 452 auto *ISA = D->getAttr<InitSegAttr>(); 453 CodeGenFunction(*this).GenerateCXXGlobalVarDeclInitFunc(Fn, D, Addr, 454 PerformInit); 455 456 llvm::GlobalVariable *COMDATKey = 457 supportsCOMDAT() && D->isExternallyVisible() ? Addr : nullptr; 458 459 if (D->getTLSKind()) { 460 // FIXME: Should we support init_priority for thread_local? 461 // FIXME: We only need to register one __cxa_thread_atexit function for the 462 // entire TU. 463 CXXThreadLocalInits.push_back(Fn); 464 CXXThreadLocalInitVars.push_back(D); 465 } else if (PerformInit && ISA) { 466 EmitPointerToInitFunc(D, Addr, Fn, ISA); 467 } else if (auto *IPA = D->getAttr<InitPriorityAttr>()) { 468 OrderGlobalInits Key(IPA->getPriority(), PrioritizedCXXGlobalInits.size()); 469 PrioritizedCXXGlobalInits.push_back(std::make_pair(Key, Fn)); 470 } else if (isTemplateInstantiation(D->getTemplateSpecializationKind())) { 471 // C++ [basic.start.init]p2: 472 // Definitions of explicitly specialized class template static data 473 // members have ordered initialization. Other class template static data 474 // members (i.e., implicitly or explicitly instantiated specializations) 475 // have unordered initialization. 476 // 477 // As a consequence, we can put them into their own llvm.global_ctors entry. 478 // 479 // If the global is externally visible, put the initializer into a COMDAT 480 // group with the global being initialized. On most platforms, this is a 481 // minor startup time optimization. In the MS C++ ABI, there are no guard 482 // variables, so this COMDAT key is required for correctness. 483 AddGlobalCtor(Fn, 65535, COMDATKey); 484 if (getTarget().getCXXABI().isMicrosoft()) { 485 // In The MS C++, MS add template static data member in the linker 486 // drective. 487 assert(COMDATKey); 488 addUsedGlobal(COMDATKey); 489 } 490 } else if (D->hasAttr<SelectAnyAttr>()) { 491 // SelectAny globals will be comdat-folded. Put the initializer into a 492 // COMDAT group associated with the global, so the initializers get folded 493 // too. 494 AddGlobalCtor(Fn, 65535, COMDATKey); 495 } else { 496 I = DelayedCXXInitPosition.find(D); // Re-do lookup in case of re-hash. 497 if (I == DelayedCXXInitPosition.end()) { 498 CXXGlobalInits.push_back(Fn); 499 } else if (I->second != ~0U) { 500 assert(I->second < CXXGlobalInits.size() && 501 CXXGlobalInits[I->second] == nullptr); 502 CXXGlobalInits[I->second] = Fn; 503 } 504 } 505 506 // Remember that we already emitted the initializer for this global. 507 DelayedCXXInitPosition[D] = ~0U; 508 } 509 510 void CodeGenModule::EmitCXXThreadLocalInitFunc() { 511 getCXXABI().EmitThreadLocalInitFuncs( 512 *this, CXXThreadLocals, CXXThreadLocalInits, CXXThreadLocalInitVars); 513 514 CXXThreadLocalInits.clear(); 515 CXXThreadLocalInitVars.clear(); 516 CXXThreadLocals.clear(); 517 } 518 519 void 520 CodeGenModule::EmitCXXGlobalInitFunc() { 521 while (!CXXGlobalInits.empty() && !CXXGlobalInits.back()) 522 CXXGlobalInits.pop_back(); 523 524 if (CXXGlobalInits.empty() && PrioritizedCXXGlobalInits.empty()) 525 return; 526 527 llvm::FunctionType *FTy = llvm::FunctionType::get(VoidTy, false); 528 const CGFunctionInfo &FI = getTypes().arrangeNullaryFunction(); 529 530 // Create our global initialization function. 531 if (!PrioritizedCXXGlobalInits.empty()) { 532 SmallVector<llvm::Function *, 8> LocalCXXGlobalInits; 533 llvm::array_pod_sort(PrioritizedCXXGlobalInits.begin(), 534 PrioritizedCXXGlobalInits.end()); 535 // Iterate over "chunks" of ctors with same priority and emit each chunk 536 // into separate function. Note - everything is sorted first by priority, 537 // second - by lex order, so we emit ctor functions in proper order. 538 for (SmallVectorImpl<GlobalInitData >::iterator 539 I = PrioritizedCXXGlobalInits.begin(), 540 E = PrioritizedCXXGlobalInits.end(); I != E; ) { 541 SmallVectorImpl<GlobalInitData >::iterator 542 PrioE = std::upper_bound(I + 1, E, *I, GlobalInitPriorityCmp()); 543 544 LocalCXXGlobalInits.clear(); 545 unsigned Priority = I->first.priority; 546 // Compute the function suffix from priority. Prepend with zeroes to make 547 // sure the function names are also ordered as priorities. 548 std::string PrioritySuffix = llvm::utostr(Priority); 549 // Priority is always <= 65535 (enforced by sema). 550 PrioritySuffix = std::string(6-PrioritySuffix.size(), '0')+PrioritySuffix; 551 llvm::Function *Fn = CreateGlobalInitOrDestructFunction( 552 FTy, "_GLOBAL__I_" + PrioritySuffix, FI); 553 554 for (; I < PrioE; ++I) 555 LocalCXXGlobalInits.push_back(I->second); 556 557 CodeGenFunction(*this).GenerateCXXGlobalInitFunc(Fn, LocalCXXGlobalInits); 558 AddGlobalCtor(Fn, Priority); 559 } 560 PrioritizedCXXGlobalInits.clear(); 561 } 562 563 // Include the filename in the symbol name. Including "sub_" matches gcc and 564 // makes sure these symbols appear lexicographically behind the symbols with 565 // priority emitted above. 566 SmallString<128> FileName = llvm::sys::path::filename(getModule().getName()); 567 if (FileName.empty()) 568 FileName = "<null>"; 569 570 for (size_t i = 0; i < FileName.size(); ++i) { 571 // Replace everything that's not [a-zA-Z0-9._] with a _. This set happens 572 // to be the set of C preprocessing numbers. 573 if (!isPreprocessingNumberBody(FileName[i])) 574 FileName[i] = '_'; 575 } 576 577 llvm::Function *Fn = CreateGlobalInitOrDestructFunction( 578 FTy, llvm::Twine("_GLOBAL__sub_I_", FileName), FI); 579 580 CodeGenFunction(*this).GenerateCXXGlobalInitFunc(Fn, CXXGlobalInits); 581 AddGlobalCtor(Fn); 582 583 CXXGlobalInits.clear(); 584 } 585 586 void CodeGenModule::EmitCXXGlobalDtorFunc() { 587 if (CXXGlobalDtors.empty()) 588 return; 589 590 llvm::FunctionType *FTy = llvm::FunctionType::get(VoidTy, false); 591 592 // Create our global destructor function. 593 const CGFunctionInfo &FI = getTypes().arrangeNullaryFunction(); 594 llvm::Function *Fn = 595 CreateGlobalInitOrDestructFunction(FTy, "_GLOBAL__D_a", FI); 596 597 CodeGenFunction(*this).GenerateCXXGlobalDtorsFunc(Fn, CXXGlobalDtors); 598 AddGlobalDtor(Fn); 599 } 600 601 /// Emit the code necessary to initialize the given global variable. 602 void CodeGenFunction::GenerateCXXGlobalVarDeclInitFunc(llvm::Function *Fn, 603 const VarDecl *D, 604 llvm::GlobalVariable *Addr, 605 bool PerformInit) { 606 // Check if we need to emit debug info for variable initializer. 607 if (D->hasAttr<NoDebugAttr>()) 608 DebugInfo = nullptr; // disable debug info indefinitely for this function 609 610 CurEHLocation = D->getBeginLoc(); 611 612 StartFunction(GlobalDecl(D), getContext().VoidTy, Fn, 613 getTypes().arrangeNullaryFunction(), 614 FunctionArgList(), D->getLocation(), 615 D->getInit()->getExprLoc()); 616 617 // Use guarded initialization if the global variable is weak. This 618 // occurs for, e.g., instantiated static data members and 619 // definitions explicitly marked weak. 620 if (Addr->hasWeakLinkage() || Addr->hasLinkOnceLinkage()) { 621 EmitCXXGuardedInit(*D, Addr, PerformInit); 622 } else { 623 EmitCXXGlobalVarDeclInit(*D, Addr, PerformInit); 624 } 625 626 FinishFunction(); 627 } 628 629 void 630 CodeGenFunction::GenerateCXXGlobalInitFunc(llvm::Function *Fn, 631 ArrayRef<llvm::Function *> Decls, 632 ConstantAddress Guard) { 633 { 634 auto NL = ApplyDebugLocation::CreateEmpty(*this); 635 StartFunction(GlobalDecl(), getContext().VoidTy, Fn, 636 getTypes().arrangeNullaryFunction(), FunctionArgList()); 637 // Emit an artificial location for this function. 638 auto AL = ApplyDebugLocation::CreateArtificial(*this); 639 640 llvm::BasicBlock *ExitBlock = nullptr; 641 if (Guard.isValid()) { 642 // If we have a guard variable, check whether we've already performed 643 // these initializations. This happens for TLS initialization functions. 644 llvm::Value *GuardVal = Builder.CreateLoad(Guard); 645 llvm::Value *Uninit = Builder.CreateIsNull(GuardVal, 646 "guard.uninitialized"); 647 llvm::BasicBlock *InitBlock = createBasicBlock("init"); 648 ExitBlock = createBasicBlock("exit"); 649 EmitCXXGuardedInitBranch(Uninit, InitBlock, ExitBlock, 650 GuardKind::TlsGuard, nullptr); 651 EmitBlock(InitBlock); 652 // Mark as initialized before initializing anything else. If the 653 // initializers use previously-initialized thread_local vars, that's 654 // probably supposed to be OK, but the standard doesn't say. 655 Builder.CreateStore(llvm::ConstantInt::get(GuardVal->getType(),1), Guard); 656 657 // The guard variable can't ever change again. 658 EmitInvariantStart( 659 Guard.getPointer(), 660 CharUnits::fromQuantity( 661 CGM.getDataLayout().getTypeAllocSize(GuardVal->getType()))); 662 } 663 664 RunCleanupsScope Scope(*this); 665 666 // When building in Objective-C++ ARC mode, create an autorelease pool 667 // around the global initializers. 668 if (getLangOpts().ObjCAutoRefCount && getLangOpts().CPlusPlus) { 669 llvm::Value *token = EmitObjCAutoreleasePoolPush(); 670 EmitObjCAutoreleasePoolCleanup(token); 671 } 672 673 for (unsigned i = 0, e = Decls.size(); i != e; ++i) 674 if (Decls[i]) 675 EmitRuntimeCall(Decls[i]); 676 677 Scope.ForceCleanup(); 678 679 if (ExitBlock) { 680 Builder.CreateBr(ExitBlock); 681 EmitBlock(ExitBlock); 682 } 683 } 684 685 FinishFunction(); 686 } 687 688 void CodeGenFunction::GenerateCXXGlobalDtorsFunc( 689 llvm::Function *Fn, 690 const std::vector<std::tuple<llvm::FunctionType *, llvm::WeakTrackingVH, 691 llvm::Constant *>> &DtorsAndObjects) { 692 { 693 auto NL = ApplyDebugLocation::CreateEmpty(*this); 694 StartFunction(GlobalDecl(), getContext().VoidTy, Fn, 695 getTypes().arrangeNullaryFunction(), FunctionArgList()); 696 // Emit an artificial location for this function. 697 auto AL = ApplyDebugLocation::CreateArtificial(*this); 698 699 // Emit the dtors, in reverse order from construction. 700 for (unsigned i = 0, e = DtorsAndObjects.size(); i != e; ++i) { 701 llvm::FunctionType *CalleeTy; 702 llvm::Value *Callee; 703 llvm::Constant *Arg; 704 std::tie(CalleeTy, Callee, Arg) = DtorsAndObjects[e - i - 1]; 705 llvm::CallInst *CI = Builder.CreateCall(CalleeTy, Callee, Arg); 706 // Make sure the call and the callee agree on calling convention. 707 if (llvm::Function *F = dyn_cast<llvm::Function>(Callee)) 708 CI->setCallingConv(F->getCallingConv()); 709 } 710 } 711 712 FinishFunction(); 713 } 714 715 /// generateDestroyHelper - Generates a helper function which, when 716 /// invoked, destroys the given object. The address of the object 717 /// should be in global memory. 718 llvm::Function *CodeGenFunction::generateDestroyHelper( 719 Address addr, QualType type, Destroyer *destroyer, 720 bool useEHCleanupForArray, const VarDecl *VD) { 721 FunctionArgList args; 722 ImplicitParamDecl Dst(getContext(), getContext().VoidPtrTy, 723 ImplicitParamDecl::Other); 724 args.push_back(&Dst); 725 726 const CGFunctionInfo &FI = 727 CGM.getTypes().arrangeBuiltinFunctionDeclaration(getContext().VoidTy, args); 728 llvm::FunctionType *FTy = CGM.getTypes().GetFunctionType(FI); 729 llvm::Function *fn = CGM.CreateGlobalInitOrDestructFunction( 730 FTy, "__cxx_global_array_dtor", FI, VD->getLocation()); 731 732 CurEHLocation = VD->getBeginLoc(); 733 734 StartFunction(VD, getContext().VoidTy, fn, FI, args); 735 736 emitDestroy(addr, type, destroyer, useEHCleanupForArray); 737 738 FinishFunction(); 739 740 return fn; 741 } 742