1 //===--- CGDeclCXX.cpp - Emit LLVM Code for C++ declarations --------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 // 10 // This contains code dealing with code generation of C++ declarations 11 // 12 //===----------------------------------------------------------------------===// 13 14 #include "CodeGenFunction.h" 15 #include "CGCXXABI.h" 16 #include "CGObjCRuntime.h" 17 #include "CGOpenMPRuntime.h" 18 #include "clang/Frontend/CodeGenOptions.h" 19 #include "llvm/ADT/StringExtras.h" 20 #include "llvm/IR/Intrinsics.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(D.hasGlobalStorage() && "VarDecl must have global storage!"); 29 assert(!D.getType()->isReferenceType() && 30 "Should not call EmitDeclInit on a reference!"); 31 32 QualType type = D.getType(); 33 LValue lv = CGF.MakeAddrLValue(DeclPtr, type); 34 35 const Expr *Init = D.getInit(); 36 switch (CGF.getEvaluationKind(type)) { 37 case TEK_Scalar: { 38 CodeGenModule &CGM = CGF.CGM; 39 if (lv.isObjCStrong()) 40 CGM.getObjCRuntime().EmitObjCGlobalAssign(CGF, CGF.EmitScalarExpr(Init), 41 DeclPtr, D.getTLSKind()); 42 else if (lv.isObjCWeak()) 43 CGM.getObjCRuntime().EmitObjCWeakAssign(CGF, CGF.EmitScalarExpr(Init), 44 DeclPtr); 45 else 46 CGF.EmitScalarInit(Init, &D, lv, false); 47 return; 48 } 49 case TEK_Complex: 50 CGF.EmitComplexExprIntoLValue(Init, lv, /*isInit*/ true); 51 return; 52 case TEK_Aggregate: 53 CGF.EmitAggExpr(Init, AggValueSlot::forLValue(lv,AggValueSlot::IsDestructed, 54 AggValueSlot::DoesNotNeedGCBarriers, 55 AggValueSlot::IsNotAliased)); 56 return; 57 } 58 llvm_unreachable("bad evaluation kind"); 59 } 60 61 /// Emit code to cause the destruction of the given variable with 62 /// static storage duration. 63 static void EmitDeclDestroy(CodeGenFunction &CGF, const VarDecl &D, 64 ConstantAddress addr) { 65 CodeGenModule &CGM = CGF.CGM; 66 67 // FIXME: __attribute__((cleanup)) ? 68 69 QualType type = D.getType(); 70 QualType::DestructionKind dtorKind = type.isDestructedType(); 71 72 switch (dtorKind) { 73 case QualType::DK_none: 74 return; 75 76 case QualType::DK_cxx_destructor: 77 break; 78 79 case QualType::DK_objc_strong_lifetime: 80 case QualType::DK_objc_weak_lifetime: 81 // We don't care about releasing objects during process teardown. 82 assert(!D.getTLSKind() && "should have rejected this"); 83 return; 84 } 85 86 llvm::Constant *function; 87 llvm::Constant *argument; 88 89 // Special-case non-array C++ destructors, where there's a function 90 // with the right signature that we can just call. 91 const CXXRecordDecl *record = nullptr; 92 if (dtorKind == QualType::DK_cxx_destructor && 93 (record = type->getAsCXXRecordDecl())) { 94 assert(!record->hasTrivialDestructor()); 95 CXXDestructorDecl *dtor = record->getDestructor(); 96 97 function = CGM.getAddrOfCXXStructor(dtor, StructorType::Complete); 98 argument = llvm::ConstantExpr::getBitCast( 99 addr.getPointer(), CGF.getTypes().ConvertType(type)->getPointerTo()); 100 101 // Otherwise, the standard logic requires a helper function. 102 } else { 103 function = CodeGenFunction(CGM) 104 .generateDestroyHelper(addr, type, CGF.getDestroyer(dtorKind), 105 CGF.needsEHCleanup(dtorKind), &D); 106 argument = llvm::Constant::getNullValue(CGF.Int8PtrTy); 107 } 108 109 CGM.getCXXABI().registerGlobalDtor(CGF, D, function, argument); 110 } 111 112 /// Emit code to cause the variable at the given address to be considered as 113 /// constant from this point onwards. 114 static void EmitDeclInvariant(CodeGenFunction &CGF, const VarDecl &D, 115 llvm::Constant *Addr) { 116 // Don't emit the intrinsic if we're not optimizing. 117 if (!CGF.CGM.getCodeGenOpts().OptimizationLevel) 118 return; 119 120 // Grab the llvm.invariant.start intrinsic. 121 llvm::Intrinsic::ID InvStartID = llvm::Intrinsic::invariant_start; 122 llvm::Constant *InvariantStart = CGF.CGM.getIntrinsic(InvStartID); 123 124 // Emit a call with the size in bytes of the object. 125 CharUnits WidthChars = CGF.getContext().getTypeSizeInChars(D.getType()); 126 uint64_t Width = WidthChars.getQuantity(); 127 llvm::Value *Args[2] = { llvm::ConstantInt::getSigned(CGF.Int64Ty, Width), 128 llvm::ConstantExpr::getBitCast(Addr, CGF.Int8PtrTy)}; 129 CGF.Builder.CreateCall(InvariantStart, Args); 130 } 131 132 void CodeGenFunction::EmitCXXGlobalVarDeclInit(const VarDecl &D, 133 llvm::Constant *DeclPtr, 134 bool PerformInit) { 135 136 const Expr *Init = D.getInit(); 137 QualType T = D.getType(); 138 139 // The address space of a static local variable (DeclPtr) may be different 140 // from the address space of the "this" argument of the constructor. In that 141 // case, we need an addrspacecast before calling the constructor. 142 // 143 // struct StructWithCtor { 144 // __device__ StructWithCtor() {...} 145 // }; 146 // __device__ void foo() { 147 // __shared__ StructWithCtor s; 148 // ... 149 // } 150 // 151 // For example, in the above CUDA code, the static local variable s has a 152 // "shared" address space qualifier, but the constructor of StructWithCtor 153 // expects "this" in the "generic" address space. 154 unsigned ExpectedAddrSpace = getContext().getTargetAddressSpace(T); 155 unsigned ActualAddrSpace = DeclPtr->getType()->getPointerAddressSpace(); 156 if (ActualAddrSpace != ExpectedAddrSpace) { 157 llvm::Type *LTy = CGM.getTypes().ConvertTypeForMem(T); 158 llvm::PointerType *PTy = llvm::PointerType::get(LTy, ExpectedAddrSpace); 159 DeclPtr = llvm::ConstantExpr::getAddrSpaceCast(DeclPtr, PTy); 160 } 161 162 ConstantAddress DeclAddr(DeclPtr, getContext().getDeclAlign(&D)); 163 164 if (!T->isReferenceType()) { 165 if (getLangOpts().OpenMP && D.hasAttr<OMPThreadPrivateDeclAttr>()) 166 (void)CGM.getOpenMPRuntime().emitThreadPrivateVarDefinition( 167 &D, DeclAddr, D.getAttr<OMPThreadPrivateDeclAttr>()->getLocation(), 168 PerformInit, this); 169 if (PerformInit) 170 EmitDeclInit(*this, D, DeclAddr); 171 if (CGM.isTypeConstant(D.getType(), true)) 172 EmitDeclInvariant(*this, D, DeclPtr); 173 else 174 EmitDeclDestroy(*this, D, DeclAddr); 175 return; 176 } 177 178 assert(PerformInit && "cannot have constant initializer which needs " 179 "destruction for reference"); 180 RValue RV = EmitReferenceBindingToExpr(Init); 181 EmitStoreOfScalar(RV.getScalarVal(), DeclAddr, false, T); 182 } 183 184 /// Create a stub function, suitable for being passed to atexit, 185 /// which passes the given address to the given destructor function. 186 llvm::Constant *CodeGenFunction::createAtExitStub(const VarDecl &VD, 187 llvm::Constant *dtor, 188 llvm::Constant *addr) { 189 // Get the destructor function type, void(*)(void). 190 llvm::FunctionType *ty = llvm::FunctionType::get(CGM.VoidTy, false); 191 SmallString<256> FnName; 192 { 193 llvm::raw_svector_ostream Out(FnName); 194 CGM.getCXXABI().getMangleContext().mangleDynamicAtExitDestructor(&VD, Out); 195 } 196 llvm::Function *fn = CGM.CreateGlobalInitOrDestructFunction(ty, FnName.str(), 197 VD.getLocation()); 198 199 CodeGenFunction CGF(CGM); 200 201 CGF.StartFunction(&VD, CGM.getContext().VoidTy, fn, 202 CGM.getTypes().arrangeNullaryFunction(), FunctionArgList()); 203 204 llvm::CallInst *call = CGF.Builder.CreateCall(dtor, addr); 205 206 // Make sure the call and the callee agree on calling convention. 207 if (llvm::Function *dtorFn = 208 dyn_cast<llvm::Function>(dtor->stripPointerCasts())) 209 call->setCallingConv(dtorFn->getCallingConv()); 210 211 CGF.FinishFunction(); 212 213 return fn; 214 } 215 216 /// Register a global destructor using the C atexit runtime function. 217 void CodeGenFunction::registerGlobalDtorWithAtExit(const VarDecl &VD, 218 llvm::Constant *dtor, 219 llvm::Constant *addr) { 220 // Create a function which calls the destructor. 221 llvm::Constant *dtorStub = createAtExitStub(VD, dtor, addr); 222 223 // extern "C" int atexit(void (*f)(void)); 224 llvm::FunctionType *atexitTy = 225 llvm::FunctionType::get(IntTy, dtorStub->getType(), false); 226 227 llvm::Constant *atexit = 228 CGM.CreateRuntimeFunction(atexitTy, "atexit"); 229 if (llvm::Function *atexitFn = dyn_cast<llvm::Function>(atexit)) 230 atexitFn->setDoesNotThrow(); 231 232 EmitNounwindRuntimeCall(atexit, dtorStub); 233 } 234 235 void CodeGenFunction::EmitCXXGuardedInit(const VarDecl &D, 236 llvm::GlobalVariable *DeclPtr, 237 bool PerformInit) { 238 // If we've been asked to forbid guard variables, emit an error now. 239 // This diagnostic is hard-coded for Darwin's use case; we can find 240 // better phrasing if someone else needs it. 241 if (CGM.getCodeGenOpts().ForbidGuardVariables) 242 CGM.Error(D.getLocation(), 243 "this initialization requires a guard variable, which " 244 "the kernel does not support"); 245 246 CGM.getCXXABI().EmitGuardedInit(*this, D, DeclPtr, PerformInit); 247 } 248 249 llvm::Function *CodeGenModule::CreateGlobalInitOrDestructFunction( 250 llvm::FunctionType *FTy, const Twine &Name, SourceLocation Loc, bool TLS) { 251 llvm::Function *Fn = 252 llvm::Function::Create(FTy, llvm::GlobalValue::InternalLinkage, 253 Name, &getModule()); 254 if (!getLangOpts().AppleKext && !TLS) { 255 // Set the section if needed. 256 if (const char *Section = getTarget().getStaticInitSectionSpecifier()) 257 Fn->setSection(Section); 258 } 259 260 SetLLVMFunctionAttributes(nullptr, getTypes().arrangeNullaryFunction(), Fn); 261 262 Fn->setCallingConv(getRuntimeCC()); 263 264 if (!getLangOpts().Exceptions) 265 Fn->setDoesNotThrow(); 266 267 if (!isInSanitizerBlacklist(Fn, Loc)) { 268 if (getLangOpts().Sanitize.hasOneOf(SanitizerKind::Address | 269 SanitizerKind::KernelAddress)) 270 Fn->addFnAttr(llvm::Attribute::SanitizeAddress); 271 if (getLangOpts().Sanitize.has(SanitizerKind::Thread)) 272 Fn->addFnAttr(llvm::Attribute::SanitizeThread); 273 if (getLangOpts().Sanitize.has(SanitizerKind::Memory)) 274 Fn->addFnAttr(llvm::Attribute::SanitizeMemory); 275 if (getLangOpts().Sanitize.has(SanitizerKind::SafeStack)) 276 Fn->addFnAttr(llvm::Attribute::SafeStack); 277 } 278 279 return Fn; 280 } 281 282 /// Create a global pointer to a function that will initialize a global 283 /// variable. The user has requested that this pointer be emitted in a specific 284 /// section. 285 void CodeGenModule::EmitPointerToInitFunc(const VarDecl *D, 286 llvm::GlobalVariable *GV, 287 llvm::Function *InitFunc, 288 InitSegAttr *ISA) { 289 llvm::GlobalVariable *PtrArray = new llvm::GlobalVariable( 290 TheModule, InitFunc->getType(), /*isConstant=*/true, 291 llvm::GlobalValue::PrivateLinkage, InitFunc, "__cxx_init_fn_ptr"); 292 PtrArray->setSection(ISA->getSection()); 293 addUsedGlobal(PtrArray); 294 295 // If the GV is already in a comdat group, then we have to join it. 296 if (llvm::Comdat *C = GV->getComdat()) 297 PtrArray->setComdat(C); 298 } 299 300 void 301 CodeGenModule::EmitCXXGlobalVarDeclInitFunc(const VarDecl *D, 302 llvm::GlobalVariable *Addr, 303 bool PerformInit) { 304 // Check if we've already initialized this decl. 305 auto I = DelayedCXXInitPosition.find(D); 306 if (I != DelayedCXXInitPosition.end() && I->second == ~0U) 307 return; 308 309 llvm::FunctionType *FTy = llvm::FunctionType::get(VoidTy, false); 310 SmallString<256> FnName; 311 { 312 llvm::raw_svector_ostream Out(FnName); 313 getCXXABI().getMangleContext().mangleDynamicInitializer(D, Out); 314 } 315 316 // Create a variable initialization function. 317 llvm::Function *Fn = 318 CreateGlobalInitOrDestructFunction(FTy, FnName.str(), D->getLocation()); 319 320 auto *ISA = D->getAttr<InitSegAttr>(); 321 CodeGenFunction(*this).GenerateCXXGlobalVarDeclInitFunc(Fn, D, Addr, 322 PerformInit); 323 324 llvm::GlobalVariable *COMDATKey = 325 supportsCOMDAT() && D->isExternallyVisible() ? Addr : nullptr; 326 327 if (D->getTLSKind()) { 328 // FIXME: Should we support init_priority for thread_local? 329 // FIXME: Ideally, initialization of instantiated thread_local static data 330 // members of class templates should not trigger initialization of other 331 // entities in the TU. 332 // FIXME: We only need to register one __cxa_thread_atexit function for the 333 // entire TU. 334 CXXThreadLocalInits.push_back(Fn); 335 CXXThreadLocalInitVars.push_back(Addr); 336 } else if (PerformInit && ISA) { 337 EmitPointerToInitFunc(D, Addr, Fn, ISA); 338 } else if (auto *IPA = D->getAttr<InitPriorityAttr>()) { 339 OrderGlobalInits Key(IPA->getPriority(), PrioritizedCXXGlobalInits.size()); 340 PrioritizedCXXGlobalInits.push_back(std::make_pair(Key, Fn)); 341 } else if (isTemplateInstantiation(D->getTemplateSpecializationKind())) { 342 // C++ [basic.start.init]p2: 343 // Definitions of explicitly specialized class template static data 344 // members have ordered initialization. Other class template static data 345 // members (i.e., implicitly or explicitly instantiated specializations) 346 // have unordered initialization. 347 // 348 // As a consequence, we can put them into their own llvm.global_ctors entry. 349 // 350 // If the global is externally visible, put the initializer into a COMDAT 351 // group with the global being initialized. On most platforms, this is a 352 // minor startup time optimization. In the MS C++ ABI, there are no guard 353 // variables, so this COMDAT key is required for correctness. 354 AddGlobalCtor(Fn, 65535, COMDATKey); 355 } else if (D->hasAttr<SelectAnyAttr>()) { 356 // SelectAny globals will be comdat-folded. Put the initializer into a 357 // COMDAT group associated with the global, so the initializers get folded 358 // too. 359 AddGlobalCtor(Fn, 65535, COMDATKey); 360 } else { 361 I = DelayedCXXInitPosition.find(D); // Re-do lookup in case of re-hash. 362 if (I == DelayedCXXInitPosition.end()) { 363 CXXGlobalInits.push_back(Fn); 364 } else if (I->second != ~0U) { 365 assert(I->second < CXXGlobalInits.size() && 366 CXXGlobalInits[I->second] == nullptr); 367 CXXGlobalInits[I->second] = Fn; 368 } 369 } 370 371 // Remember that we already emitted the initializer for this global. 372 DelayedCXXInitPosition[D] = ~0U; 373 } 374 375 void CodeGenModule::EmitCXXThreadLocalInitFunc() { 376 getCXXABI().EmitThreadLocalInitFuncs( 377 *this, CXXThreadLocals, CXXThreadLocalInits, CXXThreadLocalInitVars); 378 379 CXXThreadLocalInits.clear(); 380 CXXThreadLocalInitVars.clear(); 381 CXXThreadLocals.clear(); 382 } 383 384 void 385 CodeGenModule::EmitCXXGlobalInitFunc() { 386 while (!CXXGlobalInits.empty() && !CXXGlobalInits.back()) 387 CXXGlobalInits.pop_back(); 388 389 if (CXXGlobalInits.empty() && PrioritizedCXXGlobalInits.empty()) 390 return; 391 392 llvm::FunctionType *FTy = llvm::FunctionType::get(VoidTy, false); 393 394 395 // Create our global initialization function. 396 if (!PrioritizedCXXGlobalInits.empty()) { 397 SmallVector<llvm::Function *, 8> LocalCXXGlobalInits; 398 llvm::array_pod_sort(PrioritizedCXXGlobalInits.begin(), 399 PrioritizedCXXGlobalInits.end()); 400 // Iterate over "chunks" of ctors with same priority and emit each chunk 401 // into separate function. Note - everything is sorted first by priority, 402 // second - by lex order, so we emit ctor functions in proper order. 403 for (SmallVectorImpl<GlobalInitData >::iterator 404 I = PrioritizedCXXGlobalInits.begin(), 405 E = PrioritizedCXXGlobalInits.end(); I != E; ) { 406 SmallVectorImpl<GlobalInitData >::iterator 407 PrioE = std::upper_bound(I + 1, E, *I, GlobalInitPriorityCmp()); 408 409 LocalCXXGlobalInits.clear(); 410 unsigned Priority = I->first.priority; 411 // Compute the function suffix from priority. Prepend with zeroes to make 412 // sure the function names are also ordered as priorities. 413 std::string PrioritySuffix = llvm::utostr(Priority); 414 // Priority is always <= 65535 (enforced by sema). 415 PrioritySuffix = std::string(6-PrioritySuffix.size(), '0')+PrioritySuffix; 416 llvm::Function *Fn = CreateGlobalInitOrDestructFunction( 417 FTy, "_GLOBAL__I_" + PrioritySuffix); 418 419 for (; I < PrioE; ++I) 420 LocalCXXGlobalInits.push_back(I->second); 421 422 CodeGenFunction(*this).GenerateCXXGlobalInitFunc(Fn, LocalCXXGlobalInits); 423 AddGlobalCtor(Fn, Priority); 424 } 425 PrioritizedCXXGlobalInits.clear(); 426 } 427 428 SmallString<128> FileName; 429 SourceManager &SM = Context.getSourceManager(); 430 if (const FileEntry *MainFile = SM.getFileEntryForID(SM.getMainFileID())) { 431 // Include the filename in the symbol name. Including "sub_" matches gcc and 432 // makes sure these symbols appear lexicographically behind the symbols with 433 // priority emitted above. 434 FileName = llvm::sys::path::filename(MainFile->getName()); 435 } else { 436 FileName = "<null>"; 437 } 438 439 for (size_t i = 0; i < FileName.size(); ++i) { 440 // Replace everything that's not [a-zA-Z0-9._] with a _. This set happens 441 // to be the set of C preprocessing numbers. 442 if (!isPreprocessingNumberBody(FileName[i])) 443 FileName[i] = '_'; 444 } 445 446 llvm::Function *Fn = CreateGlobalInitOrDestructFunction( 447 FTy, llvm::Twine("_GLOBAL__sub_I_", FileName)); 448 449 CodeGenFunction(*this).GenerateCXXGlobalInitFunc(Fn, CXXGlobalInits); 450 AddGlobalCtor(Fn); 451 452 CXXGlobalInits.clear(); 453 } 454 455 void CodeGenModule::EmitCXXGlobalDtorFunc() { 456 if (CXXGlobalDtors.empty()) 457 return; 458 459 llvm::FunctionType *FTy = llvm::FunctionType::get(VoidTy, false); 460 461 // Create our global destructor function. 462 llvm::Function *Fn = CreateGlobalInitOrDestructFunction(FTy, "_GLOBAL__D_a"); 463 464 CodeGenFunction(*this).GenerateCXXGlobalDtorsFunc(Fn, CXXGlobalDtors); 465 AddGlobalDtor(Fn); 466 } 467 468 /// Emit the code necessary to initialize the given global variable. 469 void CodeGenFunction::GenerateCXXGlobalVarDeclInitFunc(llvm::Function *Fn, 470 const VarDecl *D, 471 llvm::GlobalVariable *Addr, 472 bool PerformInit) { 473 // Check if we need to emit debug info for variable initializer. 474 if (D->hasAttr<NoDebugAttr>()) 475 DebugInfo = nullptr; // disable debug info indefinitely for this function 476 477 CurEHLocation = D->getLocStart(); 478 479 StartFunction(GlobalDecl(D), getContext().VoidTy, Fn, 480 getTypes().arrangeNullaryFunction(), 481 FunctionArgList(), D->getLocation(), 482 D->getInit()->getExprLoc()); 483 484 // Use guarded initialization if the global variable is weak. This 485 // occurs for, e.g., instantiated static data members and 486 // definitions explicitly marked weak. 487 if (Addr->hasWeakLinkage() || Addr->hasLinkOnceLinkage()) { 488 EmitCXXGuardedInit(*D, Addr, PerformInit); 489 } else { 490 EmitCXXGlobalVarDeclInit(*D, Addr, PerformInit); 491 } 492 493 FinishFunction(); 494 } 495 496 void 497 CodeGenFunction::GenerateCXXGlobalInitFunc(llvm::Function *Fn, 498 ArrayRef<llvm::Function *> Decls, 499 Address Guard) { 500 { 501 auto NL = ApplyDebugLocation::CreateEmpty(*this); 502 StartFunction(GlobalDecl(), getContext().VoidTy, Fn, 503 getTypes().arrangeNullaryFunction(), FunctionArgList()); 504 // Emit an artificial location for this function. 505 auto AL = ApplyDebugLocation::CreateArtificial(*this); 506 507 llvm::BasicBlock *ExitBlock = nullptr; 508 if (Guard.isValid()) { 509 // If we have a guard variable, check whether we've already performed 510 // these initializations. This happens for TLS initialization functions. 511 llvm::Value *GuardVal = Builder.CreateLoad(Guard); 512 llvm::Value *Uninit = Builder.CreateIsNull(GuardVal, 513 "guard.uninitialized"); 514 // Mark as initialized before initializing anything else. If the 515 // initializers use previously-initialized thread_local vars, that's 516 // probably supposed to be OK, but the standard doesn't say. 517 Builder.CreateStore(llvm::ConstantInt::get(GuardVal->getType(),1), Guard); 518 llvm::BasicBlock *InitBlock = createBasicBlock("init"); 519 ExitBlock = createBasicBlock("exit"); 520 Builder.CreateCondBr(Uninit, InitBlock, ExitBlock); 521 EmitBlock(InitBlock); 522 } 523 524 RunCleanupsScope Scope(*this); 525 526 // When building in Objective-C++ ARC mode, create an autorelease pool 527 // around the global initializers. 528 if (getLangOpts().ObjCAutoRefCount && getLangOpts().CPlusPlus) { 529 llvm::Value *token = EmitObjCAutoreleasePoolPush(); 530 EmitObjCAutoreleasePoolCleanup(token); 531 } 532 533 for (unsigned i = 0, e = Decls.size(); i != e; ++i) 534 if (Decls[i]) 535 EmitRuntimeCall(Decls[i]); 536 537 Scope.ForceCleanup(); 538 539 if (ExitBlock) { 540 Builder.CreateBr(ExitBlock); 541 EmitBlock(ExitBlock); 542 } 543 } 544 545 FinishFunction(); 546 } 547 548 void CodeGenFunction::GenerateCXXGlobalDtorsFunc(llvm::Function *Fn, 549 const std::vector<std::pair<llvm::WeakVH, llvm::Constant*> > 550 &DtorsAndObjects) { 551 { 552 auto NL = ApplyDebugLocation::CreateEmpty(*this); 553 StartFunction(GlobalDecl(), getContext().VoidTy, Fn, 554 getTypes().arrangeNullaryFunction(), FunctionArgList()); 555 // Emit an artificial location for this function. 556 auto AL = ApplyDebugLocation::CreateArtificial(*this); 557 558 // Emit the dtors, in reverse order from construction. 559 for (unsigned i = 0, e = DtorsAndObjects.size(); i != e; ++i) { 560 llvm::Value *Callee = DtorsAndObjects[e - i - 1].first; 561 llvm::CallInst *CI = Builder.CreateCall(Callee, 562 DtorsAndObjects[e - i - 1].second); 563 // Make sure the call and the callee agree on calling convention. 564 if (llvm::Function *F = dyn_cast<llvm::Function>(Callee)) 565 CI->setCallingConv(F->getCallingConv()); 566 } 567 } 568 569 FinishFunction(); 570 } 571 572 /// generateDestroyHelper - Generates a helper function which, when 573 /// invoked, destroys the given object. The address of the object 574 /// should be in global memory. 575 llvm::Function *CodeGenFunction::generateDestroyHelper( 576 Address addr, QualType type, Destroyer *destroyer, 577 bool useEHCleanupForArray, const VarDecl *VD) { 578 FunctionArgList args; 579 ImplicitParamDecl dst(getContext(), nullptr, SourceLocation(), nullptr, 580 getContext().VoidPtrTy); 581 args.push_back(&dst); 582 583 const CGFunctionInfo &FI = CGM.getTypes().arrangeFreeFunctionDeclaration( 584 getContext().VoidTy, args, FunctionType::ExtInfo(), /*variadic=*/false); 585 llvm::FunctionType *FTy = CGM.getTypes().GetFunctionType(FI); 586 llvm::Function *fn = CGM.CreateGlobalInitOrDestructFunction( 587 FTy, "__cxx_global_array_dtor", VD->getLocation()); 588 589 CurEHLocation = VD->getLocStart(); 590 591 StartFunction(VD, getContext().VoidTy, fn, FI, args); 592 593 emitDestroy(addr, type, destroyer, useEHCleanupForArray); 594 595 FinishFunction(); 596 597 return fn; 598 } 599