;
32using namespaceCodeGen;
35: Name(name), CXXThisIndex(0), CanBeGlobal(
false), NeedsCopyDispose(
false),
37HasCapturedVariableLayout(
false), CapturesNonExternalType(
false),
38LocalAddress(
RawAddress::invalid()), StructureType(nullptr),
43 if(!name.empty() && name[0] ==
'\01')
44name = name.substr(1);
53llvm::Constant *blockFn);
69enum classCaptureStrKind {
81CaptureStrKind StrKind,
87std::string Name =
"__block_descriptor_";
98 if(Cap.isConstantOrTrivial())
101Name += llvm::to_string(Cap.getOffset().getQuantity());
103 if(Cap.CopyKind == Cap.DisposeKind) {
107 "shouldn't see BlockCaptureManagedEntity that is None");
123std::string TypeAtEncoding;
130std::replace(TypeAtEncoding.begin(), TypeAtEncoding.end(),
'@',
'\1');
132Name +=
"e"+ llvm::to_string(TypeAtEncoding.size()) +
"_"+ TypeAtEncoding;
155llvm::IntegerType *
ulong=
157llvm::PointerType *i8p =
nullptr;
159i8p = llvm::PointerType::get(
164std::string descName;
167 if(
C.getLangOpts().ObjC &&
170 if(llvm::GlobalValue *desc = CGM.
getModule().getNamedValue(descName))
180elements.addInt(
ulong, 0);
189 boolhasInternalHelper =
false;
193elements.add(copyHelper);
197elements.add(disposeHelper);
199 if(cast<llvm::Function>(copyHelper->stripPointerCasts())
200->hasInternalLinkage() ||
201cast<llvm::Function>(disposeHelper->stripPointerCasts())
202->hasInternalLinkage())
203hasInternalHelper =
true;
208elements.addNullPointer(i8p);
210std::string typeAtEncoding =
216 if(
C.getLangOpts().ObjC) {
223elements.addNullPointer(i8p);
225 unsignedAddrSpace = 0;
226 if(
C.getLangOpts().OpenCL)
229llvm::GlobalValue::LinkageTypes linkage;
230 if(descName.empty()) {
231linkage = llvm::GlobalValue::InternalLinkage;
232descName =
"__block_descriptor_tmp";
233}
else if(hasInternalHelper) {
236linkage = llvm::GlobalValue::InternalLinkage;
238linkage = llvm::GlobalValue::LinkOnceODRLinkage;
241llvm::GlobalVariable *global =
243 true, linkage, AddrSpace);
245 if(linkage == llvm::GlobalValue::LinkOnceODRLinkage) {
247global->setComdat(CGM.
getModule().getOrInsertComdat(descName));
248global->setVisibility(llvm::GlobalValue::HiddenVisibility);
249global->setUnnamedAddr(llvm::GlobalValue::UnnamedAddr::Global);
268struct objc_class *isa;
296_ResultType (*invoke)(Block_literal *, _ParamTypes...);
299struct Block_descriptor *block_descriptor;
302_CapturesTypes captures...;
308 structBlockLayoutChunk {
324FieldType(fieldType), CopyKind(CopyKind), DisposeKind(DisposeKind),
325CopyFlags(CopyFlags), DisposeFlags(DisposeFlags) {}
334index, offset, FieldType, CopyKind, CopyFlags, DisposeKind,
340 returnCopyKind == BlockCaptureEntityKind::None &&
341DisposeKind == BlockCaptureEntityKind::None;
348 bool operator<(
constBlockLayoutChunk &left,
constBlockLayoutChunk &right) {
349 if(left.Alignment != right.Alignment)
350 returnleft.Alignment > right.Alignment;
352 autogetPrefOrder = [](
constBlockLayoutChunk &chunk) {
353 switch(chunk.CopyKind) {
357 switch(chunk.CopyFlags.getBitMask()) {
376 returngetPrefOrder(left) < getPrefOrder(right);
380staticstd::pair<BlockCaptureEntityKind, BlockFieldFlags>
384staticstd::pair<BlockCaptureEntityKind, BlockFieldFlags>
395Layout.push_back(BlockLayoutChunk(
405std::tie(CopyKind, CopyFlags) =
407std::tie(DisposeKind, DisposeFlags) =
409Layout.push_back(BlockLayoutChunk(align, size, capture,
type, fieldType,
410CopyKind, CopyFlags, DisposeKind,
416 if(!Layout.back().isTrivial())
428 const auto*record = cast<CXXRecordDecl>(
recordType->getDecl());
431 if(!record->hasTrivialDestructor())
return false;
432 if(record->hasNonTrivialCopyConstructor())
return false;
436 return!record->hasMutableFields();
450 if(isa<ParmVarDecl>(var))
456 if(!
type.isConstQualified())
return nullptr;
469 const Expr*init = var->getInit();
470 if(!init)
return nullptr;
484assert(elementTypes.empty());
494assert((2 * CGM.
getIntSize()).isMultipleOf(GenPtrAlign));
495elementTypes.push_back(CGM.
IntTy);
496elementTypes.push_back(CGM.
IntTy);
497elementTypes.push_back(
502 unsignedBlockAlign = GenPtrAlign.getQuantity();
505 for(
auto*I : Helper->getCustomFieldTypes())
{
508 unsignedAlign = CGM.
getDataLayout().getABITypeAlign(I).value();
509 if(BlockAlign < Align)
511assert(Offset % Align == 0);
513elementTypes.push_back(I);
527elementTypes.push_back(CGM.
IntTy);
528elementTypes.push_back(CGM.
IntTy);
543 returnFD->getType();
560 boolhasNonConstantCustomFields =
false;
561 if(
auto*OpenCLHelper =
563hasNonConstantCustomFields =
564!OpenCLHelper->areAllCustomFieldValuesConstant(info);
565 if(!block->
hasCaptures() && !hasNonConstantCustomFields) {
567llvm::StructType::get(CGM.
getLLVMContext(), elementTypes,
true);
571 else if(
C.getLangOpts().ObjC &&
587assert(CGF && isa_and_nonnull<CXXMethodDecl>(CGF->
CurFuncDecl) &&
588 "Can't capture 'this' outside a method");
595maxFieldAlign = std::max(maxFieldAlign, TInfo.Align);
597 addBlockLayout(TInfo.Align, TInfo.Width,
nullptr, llvmType, thisType,
602 for(
const auto&CI : block->
captures()) {
603 const VarDecl*variable = CI.getVariable();
605 if(CI.isEscapingByref()) {
608maxFieldAlign = std::max(maxFieldAlign, align);
613 "capture type differs from the variable type");
615variable->
getType(), layout, info, CGM);
631 if(CI.hasCopyExpr() || !record->hasTrivialDestructor()) {
633 if(!record->isExternallyVisible())
640maxFieldAlign = std::max(maxFieldAlign, align);
642llvm::Type *llvmType =
645 addBlockLayout(align, size, &CI, llvmType, VT, layout, info, CGM);
649 if(layout.empty()) {
651llvm::StructType::get(CGM.
getLLVMContext(), elementTypes,
true);
660llvm::stable_sort(layout);
684 if(endAlign < maxFieldAlign) {
686li = layout.begin() + 1, le = layout.end();
690 for(; li != le && endAlign < li->Alignment; ++li)
697 for(; li != le; ++li) {
698assert(endAlign >= li->Alignment);
700li->setIndex(info, elementTypes.size(), blockSize);
701elementTypes.push_back(li->Type);
702blockSize += li->Size;
706 if(endAlign >= maxFieldAlign) {
712layout.erase(first, li);
716assert(endAlign ==
getLowBit(blockSize));
720 if(endAlign < maxFieldAlign) {
722 CharUnitspadding = newBlockSize - blockSize;
730elementTypes.push_back(llvm::ArrayType::get(CGM.
Int8Ty,
732blockSize = newBlockSize;
736assert(endAlign >= maxFieldAlign);
737assert(endAlign ==
getLowBit(blockSize));
742li = layout.begin(), le = layout.end(); li != le; ++li) {
743 if(endAlign < li->Alignment) {
747 CharUnitspadding = li->Alignment - endAlign;
748elementTypes.push_back(llvm::ArrayType::get(CGM.
Int8Ty,
750blockSize += padding;
753assert(endAlign >= li->Alignment);
754li->setIndex(info, elementTypes.size(), blockSize);
755elementTypes.push_back(li->Type);
756blockSize += li->Size;
762llvm::StructType::get(CGM.
getLLVMContext(), elementTypes,
true);
769 if(!
blockExpr->getBlockDecl()->hasCaptures())
778 if(!blockInfo.CanBeGlobal)
780blockInfo.BlockAlign,
"block");
795 auto*InvokeFn = BlockCGF.GenerateBlockFunction(
797 auto*blockFn = llvm::ConstantExpr::getPointerCast(InvokeFn, GenVoidPtrTy);
806assert(blockAddr.
isValid() &&
"block has no address!");
808llvm::Constant *
isa;
809llvm::Constant *descriptor;
815llvm::Constant *blockISA = blockInfo.
NoEscape 838 autoprojectField = [&](
unsignedindex,
constTwine &
name) ->
Address{
841 autostoreField = [&](llvm::Value *value,
unsignedindex,
constTwine &
name) {
850 autoaddHeaderField = [&](llvm::Value *value,
CharUnitssize,
851 constTwine &
name) {
852storeField(value, index, name);
871addHeaderField(blockFn, GenVoidPtrSize,
"block.invoke");
873addHeaderField(descriptor,
getPointerSize(),
"block.descriptor");
874 else if(
auto*Helper =
876 for(
autoI : Helper->getCustomFieldValues(*
this, blockInfo)) {
892projectField(blockInfo.
CXXThisIndex,
"block.captured-this.addr");
897 for(
const auto&CI :
blockDecl->captures()) {
898 const VarDecl*variable = CI.getVariable();
908 AddressblockField = projectField(capture.
getIndex(),
"block.captured");
914 if(
blockDecl->isConversionFromLambda()) {
918}
else if(CI.isEscapingByref()) {
927 "block.capture.addr");
929 autoI = LocalDeclMap.find(variable);
930assert(I != LocalDeclMap.end());
945 if(CI.isEscapingByref()) {
947llvm::Value *byrefPointer;
957}
else if(
const Expr*copyExpr = CI.getCopyExpr()) {
958 if(
blockDecl->isConversionFromLambda()) {
977}
else if(
type.isConstQualified() &&
991 type->isBlockPointerType()) {
1044 if(
type.isConstQualified() &&
1048 "expected ObjC ARC to be enabled");
1058 if(useArrayEHCleanup)
1065 autoIsBlockDeclInRetExpr = [&]() {
1066 auto*EWC = llvm::dyn_cast_or_null<ExprWithCleanups>(
RetExpr);
1068 for(
auto&
C: EWC->getObjects())
1075 if(IsBlockDeclInRetExpr())
1076 pushDestroy(cleanupKind, blockField,
type, destroyer, useArrayEHCleanup);
1084llvm::Value *result =
Builder.CreatePointerCast(
1097 if(BlockDescriptorType)
1098 returnBlockDescriptorType;
1100llvm::Type *UnsignedLongTy =
1117BlockDescriptorType = llvm::StructType::create(
1118 "struct.__block_descriptor", UnsignedLongTy, UnsignedLongTy);
1121 unsignedAddrSpace = 0;
1124BlockDescriptorType = llvm::PointerType::get(BlockDescriptorType, AddrSpace);
1125 returnBlockDescriptorType;
1129 if(GenericBlockLiteralType)
1130 returnGenericBlockLiteralType;
1144llvm::append_range(StructFields, Helper->getCustomFieldTypes());
1146GenericBlockLiteralType = llvm::StructType::create(
1147StructFields,
"struct.__opencl_block_literal_generic");
1156GenericBlockLiteralType =
1157llvm::StructType::create(
"struct.__block_literal_generic",
VoidPtrTy,
1161 returnGenericBlockLiteralType;
1166llvm::CallBase **CallOrInvoke) {
1170llvm::Value *
Func=
nullptr;
1180llvm::Type *GenericVoidPtrTy =
1182llvm::Value *BlockDescriptor =
Builder.CreatePointerCast(
1183BlockPtr, GenericVoidPtrTy);
1191 if(!isa<ParmVarDecl>(
E->getCalleeDecl()))
1227assert(
BlockInfo&&
"evaluating block ref without block information?");
1231 if(capture.
isConstant())
returnLocalDeclMap.find(variable)->second;
1234 "block.capture.addr");
1242byrefInfo.ByrefAlignment);
1250 "the capture field of a non-escaping variable should have a " 1259llvm::Constant *Addr) {
1260 bool Ok= EmittedGlobalBlocks.insert(std::make_pair(BE, Addr)).second;
1262assert(
Ok&&
"Trying to replace an already-existing global block!");
1290llvm::Constant *blockFn) {
1296 "Refusing to re-emit a global block.");
1321fields.addInt(CGM.
IntTy, 0);
1328fields.add(blockFn);
1333}
else if(
auto*Helper =
1335 for(
auto*I : Helper->getCustomFieldValues(CGM, blockInfo)) {
1340 unsignedAddrSpace = 0;
1344llvm::GlobalVariable *literal = fields.finishAndCreateGlobal(
1345 "__block_literal_global", blockInfo.
BlockAlign,
1346!IsWindows, llvm::GlobalVariable::InternalLinkage, AddrSpace);
1348literal->addAttribute(
"objc_arc_inert");
1353 auto*
Init= llvm::Function::Create(llvm::FunctionType::get(CGM.
VoidTy,
1354{}), llvm::GlobalValue::InternalLinkage,
".block_isa_init",
1356llvm::IRBuilder<>
b(llvm::BasicBlock::Create(CGM.
getLLVMContext(),
"entry",
1359 b.CreateStructGEP(literal->getValueType(), literal, 0),
1364 auto*InitVar =
newllvm::GlobalVariable(CGM.
getModule(),
Init->getType(),
1365 true, llvm::GlobalValue::InternalLinkage,
1366 Init,
".block_isa_init_ptr");
1367InitVar->setSection(
".CRT$XCLa");
1372llvm::Type *RequiredType =
1374llvm::Constant *
Result=
1375llvm::ConstantExpr::getPointerCast(literal, RequiredType);
1380cast<llvm::Function>(blockFn->stripPointerCasts()),
Result,
1381literal->getValueType());
1388assert(
BlockInfo&&
"not emitting prologue of block invocation function?!");
1397DI->EmitDeclareOfBlockLiteralArgVariable(
1399cast<llvm::AllocaInst>(alloc.
getPointer()->stripPointerCasts()),
1411llvm::PointerType::get(
1420assert(
BlockInfo&&
"not in a block invocation function!");
1427 boolIsLambdaConversionToBlock,
boolBuildGlobalBlock) {
1439 for(DeclMapTy::const_iterator i = ldm.begin(), e = ldm.end(); i != e; ++i) {
1440 const auto*
var= dyn_cast<VarDecl>(i->first);
1441 if(var && !
var->hasLocalStorage())
1442setAddrOfLocalVar(var, i->second);
1467args.push_back(&SelfDecl);
1482llvm::Function *fn = llvm::Function::Create(
1483fnLLVMType, llvm::GlobalValue::InternalLinkage, name, &
CGM.
getModule());
1486 if(BuildGlobalBlock) {
1491llvm::ConstantExpr::getPointerCast(fn, GenVoidPtrTy));
1525 for(
const auto&CI :
blockDecl->captures()) {
1526 const VarDecl*variable = CI.getVariable();
1536setAddrOfLocalVar(variable, alloca);
1540llvm::BasicBlock *entry =
Builder.GetInsertBlock();
1541llvm::BasicBlock::iterator entry_ptr =
Builder.GetInsertPoint();
1544 if(IsLambdaConversionToBlock)
1553llvm::BasicBlock *resume =
Builder.GetInsertBlock();
1556 if(entry_ptr->getNextNonDebugInstruction())
1557entry_ptr = entry_ptr->getNextNonDebugInstruction()->getIterator();
1559entry_ptr = entry->end();
1560 Builder.SetInsertPoint(entry, entry_ptr);
1565 for(
const auto&CI :
blockDecl->captures()) {
1566 const VarDecl*variable = CI.getVariable();
1572 autoaddr = LocalDeclMap.find(variable)->second;
1573(void)DI->EmitDeclareOfAutoVariable(
1578DI->EmitDeclareOfBlockDeclRefVariable(
1579variable, BlockPointerDbgLoc,
Builder, blockInfo,
1580entry_ptr == entry->end() ? nullptr : &*entry_ptr);
1585cast<CompoundStmt>(
blockDecl->getBody())->getRBracLoc());
1589 if(resume ==
nullptr)
1590 Builder.ClearInsertionPoint();
1592 Builder.SetInsertPoint(resume);
1599staticstd::pair<BlockCaptureEntityKind, BlockFieldFlags>
1610 if(
T.isObjCGCWeak())
1620 switch(
T.isNonTrivialToPrimitiveCopy()) {
1658llvm_unreachable(
"after exhaustive PrimitiveCopyKind switch");
1670: Addr(Addr), FieldFlags(Flags), LoadBlockVarAddr(LoadValue),
1674llvm::Value *BlockVarAddr;
1675 if(LoadBlockVarAddr) {
1678BlockVarAddr = Addr.emitRawPointer(CGF);
1696CaptureStrKind StrKind,
1709assert((StrKind != CaptureStrKind::Merged ||
1712 "different operations and flags");
1714 if(StrKind == CaptureStrKind::DisposeHelper) {
1726llvm::raw_svector_ostream Out(TyStr);
1728Str += llvm::to_string(TyStr.size()) + TyStr.c_str();
1747 if(StrKind != CaptureStrKind::DisposeHelper) {
1751 if(StrKind != CaptureStrKind::CopyHelper) {
1770std::string FuncStr;
1771 if(StrKind == CaptureStrKind::DisposeHelper)
1773CaptureTy, Alignment, IsVolatile, Ctx);
1778CaptureTy, Alignment, IsVolatile, Ctx);
1781Str += llvm::to_string(FuncStr.size()) +
"_"+ FuncStr;
1794assert((StrKind == CaptureStrKind::CopyHelper ||
1795StrKind == CaptureStrKind::DisposeHelper) &&
1796 "unexpected CaptureStrKind");
1797std::string Name = StrKind == CaptureStrKind::CopyHelper
1798?
"__copy_helper_block_" 1799:
"__destroy_helper_block_";
1804Name += llvm::to_string(BlockAlignment.
getQuantity()) +
"_";
1806 for(
auto&Cap : Captures) {
1807 if(Cap.isConstantOrTrivial())
1809Name += llvm::to_string(Cap.getOffset().getQuantity());
1820 boolEHOnly = ForCopyHelper;
1822 switch(CaptureKind) {
1862 if(CapturesNonExternalType) {
1865Fn->setVisibility(llvm::GlobalValue::HiddenVisibility);
1866Fn->setUnnamedAddr(llvm::GlobalValue::UnnamedAddr::Global);
1883CaptureStrKind::CopyHelper,
CGM);
1894args.push_back(&DstDecl);
1896args.push_back(&SrcDecl);
1905llvm::Function *
Fn=
1906llvm::Function::Create(LTy, llvm::GlobalValue::LinkOnceODRLinkage,
1912ArgTys.push_back(
C.VoidPtrTy);
1913ArgTys.push_back(
C.VoidPtrTy);
1936 unsignedindex = capture.
getIndex();
1943assert(CI.
getCopyExpr() &&
"copy expression for variable is missing");
1963 auto*ty = cast<llvm::PointerType>(srcValue->getType());
1964llvm::Value *null = llvm::ConstantPointerNull::get(ty);
1980I->eraseFromParent();
1987llvm::Value *args[] = {
2021staticstd::pair<BlockCaptureEntityKind, BlockFieldFlags>
2026 if(
T.isObjCGCWeak())
2031 switch(
T.isDestructedType()) {
2058llvm_unreachable(
"after exhaustive DestructionKind switch");
2072CaptureStrKind::DisposeHelper,
CGM);
2083args.push_back(&SrcDecl);
2092llvm::Function *
Fn=
2093llvm::Function::Create(LTy, llvm::GlobalValue::LinkOnceODRLinkage,
2099ArgTys.push_back(
C.VoidPtrTy);
2112CodeGenFunction::RunCleanupsScope cleanups(*
this);
2128cleanups.ForceCleanup();
2154llvm::Value *flagsVal = llvm::ConstantInt::get(CGF.
Int32Ty, flags);
2157llvm::Value *args[] = {destField.
emitRawPointer(CGF), srcValue, flagsVal};
2168 voidprofileImpl(llvm::FoldingSetNodeID &
id)
const override{
2169 id.AddInteger(Flags.getBitMask());
2187 voidprofileImpl(llvm::FoldingSetNodeID &
id)
const override{
2207llvm::ConstantPointerNull::get(cast<llvm::PointerType>(value->getType()));
2223 voidprofileImpl(llvm::FoldingSetNodeID &
id)
const override{
2233ARCStrongBlockByrefHelpers(
CharUnitsalignment)
2250 voidprofileImpl(llvm::FoldingSetNodeID &
id)
const override{
2260 const Expr*CopyExpr;
2264 const Expr*copyExpr)
2267 boolneedsCopy()
const override{
returnCopyExpr !=
nullptr; }
2270 if(!CopyExpr)
return;
2280 voidprofileImpl(llvm::FoldingSetNodeID &
id)
const override{
2281 id.AddPointer(VarType.getCanonicalType().getAsOpaquePtr());
2300 boolneedsDispose()
const override{
2301 returnVarType.isDestructedType();
2306CGF.
pushDestroy(VarType.isDestructedType(), field, VarType);
2310 voidprofileImpl(llvm::FoldingSetNodeID &
id)
const override{
2311 id.AddPointer(VarType.getCanonicalType().getAsOpaquePtr());
2316staticllvm::Constant *
2325args.push_back(&Dst);
2328args.push_back(&Src);
2337llvm::Function *Fn =
2338llvm::Function::Create(LTy, llvm::GlobalValue::InternalLinkage,
2339 "__Block_byref_object_copy_", &CGF.
CGM.
getModule());
2366generator.
emitCopy(CGF, destField, srcField);
2383staticllvm::Constant *
2393args.push_back(&Src);
2402llvm::Function *Fn =
2403llvm::Function::Create(LTy, llvm::GlobalValue::InternalLinkage,
2404 "__Block_byref_object_dispose_",
2443llvm::FoldingSetNodeID id;
2444generator.Profile(
id);
2449 if(node)
return static_cast<T*
>(node);
2454 T*copy =
new(CGM.
getContext())
T(std::forward<T>(generator));
2463CodeGenFunction::buildByrefHelpers(llvm::StructType &byrefType,
2464 constAutoVarEmission &emission) {
2466assert(
var.isEscapingByref() &&
2467 "only escaping __block variables need byref helpers");
2479 const Expr*copyExpr =
2481 if(!copyExpr && record->hasTrivialDestructor())
return nullptr;
2483return ::buildByrefHelpers(
2484 CGM, byrefInfo, CXXByrefHelpers(valueAlignment,
type, copyExpr));
2491return ::buildByrefHelpers(
2492 CGM, byrefInfo, NonTrivialCStructByrefHelpers(valueAlignment,
type));
2496 if(!
type->isObjCRetainableType())
return nullptr;
2513return ::buildByrefHelpers(
CGM, byrefInfo,
2514ARCWeakByrefHelpers(valueAlignment));
2520 if(
type->isBlockPointerType()) {
2521return ::buildByrefHelpers(
CGM, byrefInfo,
2522ARCStrongBlockByrefHelpers(valueAlignment));
2527return ::buildByrefHelpers(
CGM, byrefInfo,
2528ARCStrongByrefHelpers(valueAlignment));
2531llvm_unreachable(
"fell out of lifetime switch!");
2535 if(
type->isBlockPointerType()) {
2538 type->isObjCObjectPointerType()) {
2544 if(
type.isObjCGCWeak())
2547return ::buildByrefHelpers(
CGM, byrefInfo,
2548ObjectByrefHelpers(valueAlignment, flags));
2553 boolfollowForward) {
2561 constllvm::Twine &name) {
2563 if(followForward) {
2588 autoit = BlockByrefInfos.find(
D);
2589 if(it != BlockByrefInfos.end())
2615 if(hasCopyAndDispose) {
2625 boolHasByrefExtendedLayout =
false;
2627 if(
getContext().getByrefLifetime(Ty, Lifetime, HasByrefExtendedLayout) &&
2628HasByrefExtendedLayout) {
2637 boolpacked =
false;
2642 if(varOffset != size) {
2643llvm::Type *paddingTy =
2644llvm::ArrayType::get(
Int8Ty, (varOffset - size).getQuantity());
2646 types.push_back(paddingTy);
2654 types.push_back(varTy);
2656llvm::StructType *byrefType = llvm::StructType::create(
2661info.
Type= byrefType;
2666 autopair = BlockByrefInfos.insert({
D, info});
2667assert(pair.second &&
"info was inserted recursively?");
2668 returnpair.first->second;
2678llvm::StructType *byrefType = cast<llvm::StructType>(addr.
getElementType());
2680 unsignednextHeaderIndex = 0;
2682 autostoreHeaderField = [&](llvm::Value *value,
CharUnitsfieldSize,
2683 constTwine &
name) {
2688nextHeaderOffset += fieldSize;
2694 const VarDecl&
D= *emission.Variable;
2697 boolHasByrefExtendedLayout =
false;
2699 boolByRefHasLifetime =
2706 if(
type.isObjCGCWeak())
2713 "byref.forwarding");
2720 if(ByRefHasLifetime) {
2722 else switch(ByrefLifetime) {
2733 if(!
type->isObjCObjectPointerType() && !
type->isBlockPointerType())
2740 printf(
"\n Inline flag for BYREF variable layout (%d):", flags.
getBitMask());
2742 printf(
" BLOCK_BYREF_HAS_COPY_DISPOSE");
2746 printf(
" BLOCK_BYREF_LAYOUT_EXTENDED");
2748 printf(
" BLOCK_BYREF_LAYOUT_STRONG");
2750 printf(
" BLOCK_BYREF_LAYOUT_WEAK");
2752 printf(
" BLOCK_BYREF_LAYOUT_UNRETAINED");
2754 printf(
" BLOCK_BYREF_LAYOUT_NON_OBJECT");
2759storeHeaderField(llvm::ConstantInt::get(
IntTy, flags.
getBitMask()),
2764storeHeaderField(
V,
getIntSize(),
"byref.size");
2768 "byref.copyHelper");
2770 "byref.disposeHelper");
2773 if(ByRefHasLifetime && HasByrefExtendedLayout) {
2775storeHeaderField(layoutInfo,
getPointerSize(),
"byref.layout");
2782llvm::Value *args[] = {
V,
2793 boolLoadBlockVarAddr,
bool CanThrow) {
2794 EHStack.pushCleanup<CallBlockRelease>(
Kind, Addr, Flags, LoadBlockVarAddr,
2800llvm::Constant *
C) {
2801 auto*GV = cast<llvm::GlobalValue>(
C->stripPointerCasts());
2808assert((isa<llvm::Function>(
C->stripPointerCasts()) ||
2809isa<llvm::GlobalVariable>(
C->stripPointerCasts())) &&
2810 "expected Function or GlobalVariable");
2814 if((ND = dyn_cast<FunctionDecl>(
Result)) ||
2815(ND = dyn_cast<VarDecl>(
Result)))
2819 if(GV->isDeclaration() && (!ND || !ND->
hasAttr<DLLExportAttr>())) {
2820GV->setDLLStorageClass(llvm::GlobalValue::DLLImportStorageClass);
2821GV->setLinkage(llvm::GlobalValue::ExternalLinkage);
2823GV->setDLLStorageClass(llvm::GlobalValue::DLLExportStorageClass);
2824GV->setLinkage(llvm::GlobalValue::ExternalLinkage);
2828 if(CGM.
getLangOpts().BlocksRuntimeOptional && GV->isDeclaration() &&
2829GV->hasExternalLinkage())
2830GV->setLinkage(llvm::GlobalValue::ExternalWeakLinkage);
2836 if(BlockObjectDispose)
2837 returnBlockObjectDispose;
2840BlockObjectDispose =
2843*
this, cast<llvm::Constant>(BlockObjectDispose.getCallee()));
2844 returnBlockObjectDispose;
2848 if(BlockObjectAssign)
2849 returnBlockObjectAssign;
2855*
this, cast<llvm::Constant>(BlockObjectAssign.getCallee()));
2856 returnBlockObjectAssign;
2860 if(NSConcreteGlobalBlock)
2861 returnNSConcreteGlobalBlock;
2866 returnNSConcreteGlobalBlock;
2870 if(NSConcreteStackBlock)
2871 returnNSConcreteStackBlock;
2876 returnNSConcreteStackBlock;
static bool CanThrow(Expr *E, ASTContext &Ctx)
static llvm::Constant * buildByrefDisposeHelper(CodeGenModule &CGM, const BlockByrefInfo &byrefInfo, BlockByrefHelpers &generator)
Build the dispose helper for a __block variable.
static llvm::Constant * buildBlockDescriptor(CodeGenModule &CGM, const CGBlockInfo &blockInfo)
buildBlockDescriptor - Build the block descriptor meta-data for a block.
static void addBlockLayout(CharUnits align, CharUnits size, const BlockDecl::Capture *capture, llvm::Type *type, QualType fieldType, SmallVectorImpl< BlockLayoutChunk > &Layout, CGBlockInfo &Info, CodeGenModule &CGM)
static llvm::Constant * generateByrefDisposeHelper(CodeGenFunction &CGF, const BlockByrefInfo &byrefInfo, BlockByrefHelpers &generator)
Generate code for a __block variable's dispose helper.
static QualType getCaptureFieldType(const CodeGenFunction &CGF, const BlockDecl::Capture &CI)
static std::string getCopyDestroyHelperFuncName(const SmallVectorImpl< CGBlockInfo::Capture > &Captures, CharUnits BlockAlignment, CaptureStrKind StrKind, CodeGenModule &CGM)
static std::string getBlockDescriptorName(const CGBlockInfo &BlockInfo, CodeGenModule &CGM)
static llvm::Constant * buildCopyHelper(CodeGenModule &CGM, const CGBlockInfo &blockInfo)
Build the helper function to copy a block.
static std::string getBlockCaptureStr(const CGBlockInfo::Capture &Cap, CaptureStrKind StrKind, CharUnits BlockAlignment, CodeGenModule &CGM)
static llvm::Constant * tryCaptureAsConstant(CodeGenModule &CGM, CodeGenFunction *CGF, const VarDecl *var)
It is illegal to modify a const object after initialization.
static llvm::Constant * generateByrefCopyHelper(CodeGenFunction &CGF, const BlockByrefInfo &byrefInfo, BlockByrefHelpers &generator)
static std::pair< BlockCaptureEntityKind, BlockFieldFlags > computeDestroyInfoForBlockCapture(const BlockDecl::Capture &CI, QualType T, const LangOptions &LangOpts)
static llvm::Constant * buildByrefCopyHelper(CodeGenModule &CGM, const BlockByrefInfo &byrefInfo, BlockByrefHelpers &generator)
Build the copy helper for a __block variable.
static BlockFieldFlags getBlockFieldFlagsForObjCObjectPointer(const BlockDecl::Capture &CI, QualType T)
static void computeBlockInfo(CodeGenModule &CGM, CodeGenFunction *CGF, CGBlockInfo &info)
Compute the layout of the given block.
static T * buildByrefHelpers(CodeGenModule &CGM, const BlockByrefInfo &byrefInfo, T &&generator)
Lazily build the copy and dispose helpers for a __block variable with the given information.
static llvm::Constant * buildGlobalBlock(CodeGenModule &CGM, const CGBlockInfo &blockInfo, llvm::Constant *blockFn)
Build the given block as a global block.
static llvm::Constant * buildDisposeHelper(CodeGenModule &CGM, const CGBlockInfo &blockInfo)
Build the helper function to dispose of a block.
static void configureBlocksRuntimeObject(CodeGenModule &CGM, llvm::Constant *C)
Adjust the declaration of something from the blocks API.
static bool isSafeForCXXConstantCapture(QualType type)
Determines if the given type is safe for constant capture in C++.
static void pushCaptureCleanup(BlockCaptureEntityKind CaptureKind, Address Field, QualType CaptureType, BlockFieldFlags Flags, bool ForCopyHelper, VarDecl *Var, CodeGenFunction &CGF)
static std::pair< BlockCaptureEntityKind, BlockFieldFlags > computeCopyInfoForBlockCapture(const BlockDecl::Capture &CI, QualType T, const LangOptions &LangOpts)
static void setBlockHelperAttributesVisibility(bool CapturesNonExternalType, llvm::Function *Fn, const CGFunctionInfo &FI, CodeGenModule &CGM)
static void initializeForBlockHeader(CodeGenModule &CGM, CGBlockInfo &info, SmallVectorImpl< llvm::Type * > &elementTypes)
static CharUnits getLowBit(CharUnits v)
Get the low bit of a nonzero character count.
static bool isTrivial(ASTContext &Ctx, const Expr *E)
Checks if the expression is constant or does not have non-trivial function calls.
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
bool getByrefLifetime(QualType Ty, Qualifiers::ObjCLifetime &Lifetime, bool &HasByrefExtendedLayout) const
Returns true, if given type has a known lifetime.
TranslationUnitDecl * getTranslationUnitDecl() const
QualType getPointerType(QualType T) const
Return the uniqued reference to the type for a pointer to the specified type.
QualType getLValueReferenceType(QualType T, bool SpelledAsLValue=true) const
Return the uniqued reference to the type for an lvalue reference to the specified type.
bool BlockRequiresCopying(QualType Ty, const VarDecl *D)
Returns true iff we need copy/dispose helpers for the given type.
const LangOptions & getLangOpts() const
BlockVarCopyInit getBlockVarCopyInit(const VarDecl *VD) const
Get the copy initialization expression of the VarDecl VD, or nullptr if none exists.
TypeInfoChars getTypeInfoInChars(const Type *T) const
CharUnits getDeclAlign(const Decl *D, bool ForAlignof=false) const
Return a conservative estimate of the alignment of the specified decl D.
static bool isObjCNSObjectType(QualType Ty)
Return true if this is an NSObject object with its NSObject attribute set.
std::string getObjCEncodingForBlock(const BlockExpr *blockExpr) const
Return the encoded type for this block declaration.
QualType getAddrSpaceQualType(QualType T, LangAS AddressSpace) const
Return the uniqued reference to the type for an address space qualified type with the specified type ...
unsigned getTargetAddressSpace(LangAS AS) const
A class which contains all the information about a particular captured value.
bool isNested() const
Whether this is a nested capture, i.e.
Expr * getCopyExpr() const
bool isByRef() const
Whether this is a "by ref" capture, i.e.
VarDecl * getVariable() const
The variable being captured.
bool isEscapingByref() const
Represents a block literal declaration, which is like an unnamed FunctionDecl.
capture_const_iterator capture_begin() const
capture_const_iterator capture_end() const
ArrayRef< Capture > captures() const
bool capturesCXXThis() const
bool doesNotEscape() const
bool hasCaptures() const
True if this block (or its nested blocks) captures anything of local storage from its enclosing scope...
bool isConversionFromLambda() const
BlockExpr - Adaptor class for mixing a BlockDecl with expressions.
const Stmt * getBody() const
SourceLocation getEndLoc() const LLVM_READONLY
const FunctionProtoType * getFunctionType() const
getFunctionType - Return the underlying function type for this block.
const BlockDecl * getBlockDecl() const
Represents a C++ destructor within a class.
Represents a C++ struct/union/class.
CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
CharUnits - This is an opaque type for sizes expressed in character units.
CharUnits alignmentAtOffset(CharUnits offset) const
Given that this is a non-zero alignment value, what is the alignment at the given offset?
llvm::Align getAsAlign() const
getAsAlign - Returns Quantity as a valid llvm::Align, Beware llvm::Align assumes power of two 8-bit b...
QuantityType getQuantity() const
getQuantity - Get the raw integer representation of this quantity.
static CharUnits fromQuantity(QuantityType Quantity)
fromQuantity - Construct a CharUnits quantity from a raw integer type.
CharUnits alignTo(const CharUnits &Align) const
alignTo - Returns the next integer (mod 2**64) that is greater than or equal to this quantity and is ...
static CharUnits Zero()
Zero - Construct a CharUnits quantity of zero.
bool hasReducedDebugInfo() const
Check if type and variable info should be emitted.
Like RawAddress, an abstract representation of an aligned address, but the pointer contained in this ...
llvm::Value * getBasePointer() const
llvm::Value * emitRawPointer(CodeGenFunction &CGF) const
Return the pointer contained in this class after authenticating it and adding offset to it if necessa...
llvm::Type * getElementType() const
Return the type of the values stored in this address.
Address withElementType(llvm::Type *ElemTy) const
Return address with different element type, but same pointer and alignment.
static AggValueSlot forAddr(Address addr, Qualifiers quals, IsDestructed_t isDestructed, NeedsGCBarriers_t needsGC, IsAliased_t isAliased, Overlap_t mayOverlap, IsZeroed_t isZeroed=IsNotZeroed, IsSanitizerChecked_t isChecked=IsNotSanitizerChecked)
forAddr - Make a slot for an aggregate value.
A scoped helper to set the current debug location to the specified location or preferred location of ...
static ApplyDebugLocation CreateArtificial(CodeGenFunction &CGF)
Apply TemporaryLocation if it is valid.
static ApplyDebugLocation CreateEmpty(CodeGenFunction &CGF)
Set the IRBuilder to not attach debug locations.
A pair of helper functions for a __block variable.
virtual ~BlockByrefHelpers()
virtual void emitCopy(CodeGenFunction &CGF, Address dest, Address src)=0
virtual bool needsCopy() const
llvm::Constant * CopyHelper
virtual void emitDispose(CodeGenFunction &CGF, Address field)=0
virtual bool needsDispose() const
llvm::Constant * DisposeHelper
Information about the layout of a __block variable.
uint32_t getBitMask() const
uint32_t getBitMask() const
const BlockDecl::Capture * Cap
BlockFieldFlags DisposeFlags
static Capture makeIndex(unsigned index, CharUnits offset, QualType FieldType, BlockCaptureEntityKind CopyKind, BlockFieldFlags CopyFlags, BlockCaptureEntityKind DisposeKind, BlockFieldFlags DisposeFlags, const BlockDecl::Capture *Cap)
BlockCaptureEntityKind CopyKind
bool isConstantOrTrivial() const
QualType fieldType() const
BlockFieldFlags CopyFlags
BlockCaptureEntityKind DisposeKind
llvm::Value * getConstant() const
unsigned getIndex() const
static Capture makeConstant(llvm::Value *value, const BlockDecl::Capture *Cap)
CharUnits getOffset() const
CGBlockInfo - Information to generate a block literal.
CGBlockInfo(const BlockDecl *blockDecl, StringRef Name)
unsigned CXXThisIndex
The field index of 'this' within the block, if there is one.
const BlockDecl * getBlockDecl() const
llvm::StructType * StructureType
CharUnits BlockHeaderForcedGapOffset
bool UsesStret
UsesStret : True if the block uses an stret return.
const BlockExpr * BlockExpression
const BlockExpr * getBlockExpr() const
bool HasCapturedVariableLayout
HasCapturedVariableLayout : True if block has captured variables and their layout meta-data has been ...
bool CapturesNonExternalType
Indicates whether an object of a non-external C++ class is captured.
bool NeedsCopyDispose
True if the block has captures that would necessitate custom copy or dispose helper functions if the ...
bool CanBeGlobal
CanBeGlobal - True if the block can be global, i.e.
bool HasCXXObject
HasCXXObject - True if the block's custom copy/dispose functions need to be run even in GC mode.
CharUnits BlockHeaderForcedGapSize
const Capture & getCapture(const VarDecl *var) const
llvm::SmallVector< Capture, 4 > SortedCaptures
The block's captures. Non-constant captures are sorted by their offsets.
bool NoEscape
Indicates whether the block is non-escaping.
llvm::StoreInst * CreateStore(llvm::Value *Val, Address Addr, bool IsVolatile=false)
Address CreateStructGEP(Address Addr, unsigned Index, const llvm::Twine &Name="")
llvm::LoadInst * CreateLoad(Address Addr, const llvm::Twine &Name="")
llvm::LoadInst * CreateAlignedLoad(llvm::Type *Ty, llvm::Value *Addr, CharUnits Align, const llvm::Twine &Name="")
MangleContext & getMangleContext()
Gets the mangle context.
Abstract information about a function or function prototype.
All available information about a concrete callee.
This class gathers all debug information during compilation and is responsible for emitting to llvm g...
CGFunctionInfo - Class to encapsulate the information about a function definition.
virtual llvm::Constant * BuildByrefLayout(CodeGen::CodeGenModule &CGM, QualType T)=0
Returns an i8* which points to the byref layout information.
virtual std::string getRCBlockLayoutStr(CodeGen::CodeGenModule &CGM, const CGBlockInfo &blockInfo)
virtual llvm::Constant * BuildGCBlockLayout(CodeGen::CodeGenModule &CGM, const CodeGen::CGBlockInfo &blockInfo)=0
virtual llvm::Constant * BuildRCBlockLayout(CodeGen::CodeGenModule &CGM, const CodeGen::CGBlockInfo &blockInfo)=0
llvm::Function * getInvokeFunction(const Expr *E)
void recordBlockInfo(const BlockExpr *E, llvm::Function *InvokeF, llvm::Value *Block, llvm::Type *BlockTy)
Record invoke function and block literal emitted during normal codegen for a block expression.
llvm::PointerType * getGenericVoidPointerType()
CallArgList - Type for representing both the value and type of arguments in a call.
void add(RValue rvalue, QualType type)
CodeGenFunction - This class organizes the per-function state that is used while generating LLVM code...
void EmitARCDestroyWeak(Address addr)
void FinishFunction(SourceLocation EndLoc=SourceLocation())
FinishFunction - Complete IR generation of the current function.
void enterByrefCleanup(CleanupKind Kind, Address Addr, BlockFieldFlags Flags, bool LoadBlockVarAddr, bool CanThrow)
Enter a cleanup to destroy a __block variable.
GlobalDecl CurGD
CurGD - The GlobalDecl for the current function being compiled.
static bool cxxDestructorCanThrow(QualType T)
Check if T is a C++ class that has a destructor that can throw.
SanitizerSet SanOpts
Sanitizers enabled for this function.
void EmitARCMoveWeak(Address dst, Address src)
RValue EmitBlockCallExpr(const CallExpr *E, ReturnValueSlot ReturnValue, llvm::CallBase **CallOrInvoke)
void pushLifetimeExtendedDestroy(CleanupKind kind, Address addr, QualType type, Destroyer *destroyer, bool useEHCleanupForArray)
const BlockByrefInfo & getBlockByrefInfo(const VarDecl *var)
void EmitCallArgs(CallArgList &Args, PrototypeWrapper Prototype, llvm::iterator_range< CallExpr::const_arg_iterator > ArgRange, AbstractCallee AC=AbstractCallee(), unsigned ParamsToSkip=0, EvaluationOrder Order=EvaluationOrder::Default)
void EmitSynthesizedCXXCopyCtor(Address Dest, Address Src, const Expr *Exp)
void callCStructMoveConstructor(LValue Dst, LValue Src)
void callCStructCopyConstructor(LValue Dst, LValue Src)
const LangOptions & getLangOpts() const
llvm::AllocaInst * CreateTempAlloca(llvm::Type *Ty, const Twine &Name="tmp", llvm::Value *ArraySize=nullptr)
CreateTempAlloca - This creates an alloca and inserts it into the entry block if ArraySize is nullptr...
const CodeGen::CGBlockInfo * BlockInfo
Address EmitLoadOfReference(LValue RefLVal, LValueBaseInfo *PointeeBaseInfo=nullptr, TBAAAccessInfo *PointeeTBAAInfo=nullptr)
void EmitExprAsInit(const Expr *init, const ValueDecl *D, LValue lvalue, bool capturedByInit)
EmitExprAsInit - Emits the code necessary to initialize a location in memory with the given initializ...
void emitByrefStructureInit(const AutoVarEmission &emission)
llvm::Value * EmitARCStoreStrongCall(Address addr, llvm::Value *value, bool resultIgnored)
void PopCleanupBlocks(EHScopeStack::stable_iterator OldCleanupStackSize, std::initializer_list< llvm::Value ** > ValuesToReload={})
Takes the old cleanup stack size and emits the cleanup blocks that have been added.
llvm::Type * ConvertTypeForMem(QualType T)
llvm::Value * EmitARCRetainBlock(llvm::Value *value, bool mandatory)
RawAddress CreateMemTemp(QualType T, const Twine &Name="tmp", RawAddress *Alloca=nullptr)
CreateMemTemp - Create a temporary memory object of the given type, with appropriate alignmen and cas...
void EmitLambdaBlockInvokeBody()
Destroyer * getDestroyer(QualType::DestructionKind destructionKind)
static std::string getNonTrivialDestructorStr(QualType QT, CharUnits Alignment, bool IsVolatile, ASTContext &Ctx)
llvm::DenseMap< const Decl *, Address > DeclMapTy
llvm::Constant * GenerateDestroyHelperFunction(const CGBlockInfo &blockInfo)
const Expr * RetExpr
If a return statement is being visited, this holds the return statment's result expression.
void EmitARCCopyWeak(Address dst, Address src)
void PushDestructorCleanup(QualType T, Address Addr)
PushDestructorCleanup - Push a cleanup to call the complete-object destructor of an object of the giv...
llvm::Value * BlockPointer
void setBlockContextParameter(const ImplicitParamDecl *D, unsigned argNum, llvm::Value *ptr)
void StartFunction(GlobalDecl GD, QualType RetTy, llvm::Function *Fn, const CGFunctionInfo &FnInfo, const FunctionArgList &Args, SourceLocation Loc=SourceLocation(), SourceLocation StartLoc=SourceLocation())
Emit code for the start of a function.
void markAsIgnoreThreadCheckingAtRuntime(llvm::Function *Fn)
Annotate the function with an attribute that disables TSan checking at runtime.
CGDebugInfo * getDebugInfo()
Address LoadBlockStruct()
Address emitBlockByrefAddress(Address baseAddr, const VarDecl *V, bool followForward=true)
BuildBlockByrefAddress - Computes the location of the data in a variable which is declared as __block...
LValue EmitDeclRefLValue(const DeclRefExpr *E)
llvm::Constant * GenerateCopyHelperFunction(const CGBlockInfo &blockInfo)
void EmitAggExpr(const Expr *E, AggValueSlot AS)
EmitAggExpr - Emit the computation of the specified expression of aggregate type.
llvm::Function * GenerateBlockFunction(GlobalDecl GD, const CGBlockInfo &Info, const DeclMapTy &ldm, bool IsLambdaConversionToBlock, bool BuildGlobalBlock)
RValue EmitCall(const CGFunctionInfo &CallInfo, const CGCallee &Callee, ReturnValueSlot ReturnValue, const CallArgList &Args, llvm::CallBase **CallOrInvoke, bool IsMustTail, SourceLocation Loc, bool IsVirtualFunctionPointerThunk=false)
EmitCall - Generate a call of the given function, expecting the given result type,...
llvm::CallInst * EmitNounwindRuntimeCall(llvm::FunctionCallee callee, const Twine &name="")
ASTContext & getContext() const
llvm::Value * EmitBlockLiteral(const BlockExpr *)
Emit block literal.
void Destroyer(CodeGenFunction &CGF, Address addr, QualType ty)
const Decl * CurFuncDecl
CurFuncDecl - Holds the Decl for the current outermost non-closure context.
void pushDestroy(QualType::DestructionKind dtorKind, Address addr, QualType type)
void EmitStmt(const Stmt *S, ArrayRef< const Attr * > Attrs={})
EmitStmt - Emit the code for the statement.
bool needsEHCleanup(QualType::DestructionKind kind)
Determines whether an EH cleanup is required to destroy a type with the given destruction kind.
llvm::DenseMap< const ValueDecl *, FieldDecl * > LambdaCaptureFields
CleanupKind getCleanupKind(QualType::DestructionKind kind)
llvm::Type * ConvertType(QualType T)
Address GetAddrOfBlockDecl(const VarDecl *var)
llvm::CallBase * EmitRuntimeCallOrInvoke(llvm::FunctionCallee callee, ArrayRef< llvm::Value * > args, const Twine &name="")
llvm::Value * EmitARCRetainNonBlock(llvm::Value *value)
LValue MakeAddrLValue(Address Addr, QualType T, AlignmentSource Source=AlignmentSource::Type)
llvm::Value * LoadCXXThis()
LoadCXXThis - Load the value of 'this'.
Address GetAddrOfLocalVar(const VarDecl *VD)
GetAddrOfLocalVar - Return the address of a local variable.
Address ReturnValue
ReturnValue - The temporary alloca to hold the return value.
static Destroyer destroyARCStrongImprecise
llvm::LLVMContext & getLLVMContext()
llvm::Value * EmitScalarExpr(const Expr *E, bool IgnoreResultAssign=false)
EmitScalarExpr - Emit the computation of the specified expression of LLVM scalar type,...
void incrementProfileCounter(const Stmt *S, llvm::Value *StepV=nullptr)
Increment the profiler's counter for the given statement by StepV.
static std::string getNonTrivialCopyConstructorStr(QualType QT, CharUnits Alignment, bool IsVolatile, ASTContext &Ctx)
static Destroyer emitARCIntrinsicUse
void BuildBlockRelease(llvm::Value *DeclPtr, BlockFieldFlags flags, bool CanThrow)
void EmitARCDestroyStrong(Address addr, ARCPreciseLifetime_t precise)
This class organizes the cross-function state that is used while generating LLVM code.
StringRef getBlockMangledName(GlobalDecl GD, const BlockDecl *BD)
llvm::FunctionCallee getBlockObjectAssign()
llvm::FoldingSet< BlockByrefHelpers > ByrefHelpersCache
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::Module & getModule() const
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.
CharUnits GetTargetTypeStoreSize(llvm::Type *Ty) const
Return the store size, in character units, of the given LLVM type.
void setAddrOfGlobalBlock(const BlockExpr *BE, llvm::Constant *Addr)
Notes that BE's global block is available via Addr.
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.
const LangOptions & getLangOpts() const
CodeGenTypes & getTypes()
CGOpenCLRuntime & getOpenCLRuntime()
Return a reference to the configured OpenCL runtime.
const TargetInfo & getTarget() const
void addUsedGlobal(llvm::GlobalValue *GV)
Add a global to a list to be added to the llvm.used metadata.
const llvm::DataLayout & getDataLayout() const
llvm::Constant * getNSConcreteGlobalBlock()
CGCXXABI & getCXXABI() const
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...
bool ReturnSlotInterferesWithArgs(const CGFunctionInfo &FI)
Return true iff the given type uses an argument slot when 'sret' is used as a return type.
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...
ASTContext & getContext() const
llvm::Constant * getNSConcreteStackBlock()
bool supportsCOMDAT() const
const TargetCodeGenInfo & getTargetCodeGenInfo()
const CodeGenOptions & getCodeGenOpts() const
llvm::FunctionCallee getBlockObjectDispose()
llvm::LLVMContext & getLLVMContext()
CGObjCRuntime & getObjCRuntime()
Return a reference to the configured Objective-C runtime.
void SetLLVMFunctionAttributes(GlobalDecl GD, const CGFunctionInfo &Info, llvm::Function *F, bool IsThunk)
Set the LLVM function attributes (sext, zext, etc).
llvm::Type * getGenericBlockLiteralType()
The type of a generic block literal.
void SetLLVMFunctionAttributesForDefinition(const Decl *D, llvm::Function *F)
Set the LLVM function attributes which only apply to a function definition.
ConstantAddress GetAddrOfConstantCString(const std::string &Str, const char *GlobalName=nullptr)
Returns a pointer to a character array containing the literal and a terminating '\0' character.
void assignRegionCounters(GlobalDecl GD, llvm::Function *Fn)
Assign counters to regions and configure them for PGO of a given function.
llvm::Type * ConvertType(QualType T)
ConvertType - Convert type T into a llvm::Type.
llvm::FunctionType * GetFunctionType(const CGFunctionInfo &Info)
GetFunctionType - Get the LLVM function type for.
const CGFunctionInfo & arrangeBlockFunctionCall(const CallArgList &args, const FunctionType *type)
A block function is essentially a free function with an extra implicit argument.
const CGFunctionInfo & arrangeBuiltinFunctionDeclaration(QualType resultType, const FunctionArgList &args)
A builtin function is a freestanding function using the default C conventions.
llvm::Type * ConvertTypeForMem(QualType T)
ConvertTypeForMem - Convert type T into a llvm::Type.
const CGFunctionInfo & arrangeBlockFunctionDeclaration(const FunctionProtoType *type, const FunctionArgList &args)
Block invocation functions are C functions with an implicit parameter.
llvm::Constant * getPointer() const
llvm::Constant * tryEmitAbstractForInitializer(const VarDecl &D)
Try to emit the initializer of the given declaration as an abstract constant.
StructBuilder beginStruct(llvm::StructType *structTy=nullptr)
The standard implementation of ConstantInitBuilder used in Clang.
Information for lazily generating a cleanup.
A saved depth on the scope stack.
stable_iterator stable_begin() const
Create a stable reference to the top of the EH stack.
FunctionArgList - Type for representing both the decl and type of parameters to a function.
Address getAddress() const
RValue - This trivial value class is used to represent the result of an expression that is evaluated.
static RValue get(llvm::Value *V)
An abstract representation of an aligned address.
llvm::Value * getPointer() const
ReturnValueSlot - Contains the address where the return value of a function can be stored,...
virtual TargetOpenCLBlockHelper * getTargetOpenCLBlockHelper() const
DeclContext - This is used only as base class of specific decl types that can act as declaration cont...
lookup_result lookup(DeclarationName Name) const
lookup - Find the declarations (if any) with the given Name in this context.
A reference to a declared variable, function, enum, etc.
SourceLocation getLocation() const
This represents one expression.
Represents difference between two FPOptions values.
Represents a prototype with parameter type info, e.g.
FunctionType - C99 6.7.5.3 - Function Declarators.
QualType getReturnType() const
GlobalDecl - represents a global declaration.
One of these records is kept for each identifier that is lexed.
IdentifierInfo & get(StringRef Name)
Return the identifier token info for the specified named identifier.
ImplicitCastExpr - Allows us to explicitly represent implicit type conversions, which have no direct ...
Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...
virtual void mangleCanonicalTypeName(QualType T, raw_ostream &, bool NormalizeIntegers=false)=0
Generates a unique string for an externally visible type for use with TBAA or type uniquing.
This represents a decl that may have a name.
StringRef getName() const
Get the name of identifier for this declaration as a StringRef.
A (possibly-)qualified type.
bool isVolatileQualified() const
Determine whether this type is volatile-qualified.
@ DK_objc_strong_lifetime
DestructionKind isDestructedType() const
Returns a nonzero value if objects of this type require non-trivial work to clean up after.
@ PCK_Struct
The type is a struct containing a field whose type is neither PCK_Trivial nor PCK_VolatileTrivial.
@ PCK_Trivial
The type does not fall into any of the following categories.
@ PCK_ARCStrong
The type is an Objective-C retainable pointer type that is qualified with the ARC __strong qualifier.
@ PCK_VolatileTrivial
The type would be trivial except that it is volatile-qualified.
@ PCK_ARCWeak
The type is an Objective-C retainable pointer type that is qualified with the ARC __weak qualifier.
The collection of all-type qualifiers we support.
@ OCL_Strong
Assigning into this object requires the old value to be released and the new value to be retained.
@ OCL_ExplicitNone
This object can be modified without requiring retains or releases.
@ OCL_None
There is no lifetime qualification on this type.
@ OCL_Weak
Reading or writing from this object requires a barrier call.
@ OCL_Autoreleasing
Assigning into this object requires a lifetime extension.
ObjCLifetime getObjCLifetime() const
A helper class that allows the use of isa/cast/dyncast to detect TagType objects of structs/unions/cl...
Base for LValueReferenceType and RValueReferenceType.
Scope - A scope is a transient data structure that is used while parsing the program.
Encodes a location in the source.
SourceLocation getBeginLoc() const LLVM_READONLY
const llvm::Triple & getTriple() const
Returns the target triple of the primary target.
uint64_t getPointerWidth(LangAS AddrSpace) const
Return the width of pointers on this target, for the specified address space.
uint64_t getPointerAlign(LangAS AddrSpace) const
The top declaration context.
static DeclContext * castToDeclContext(const TranslationUnitDecl *D)
The base class of the type hierarchy.
CXXRecordDecl * getAsCXXRecordDecl() const
Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...
bool isBlockPointerType() const
const T * castAs() const
Member-template castAs<specific type>.
bool isReferenceType() const
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.
bool isObjCInertUnsafeUnretainedType() const
Was this type written with the special inert-in-ARC __unsafe_unretained qualifier?
const T * getAs() const
Member-template getAs<specific type>'.
bool isObjCRetainableType() const
Represents a variable declaration or definition.
bool isNonEscapingByref() const
Indicates the capture is a __block variable that is never captured by an escaping block.
bool isEscapingByref() const
Indicates the capture is a __block variable that is captured by a block that can potentially escape (...
@ BLOCK_HAS_EXTENDED_LAYOUT
@ BLOCK_BYREF_LAYOUT_MASK
@ BLOCK_BYREF_LAYOUT_WEAK
@ BLOCK_BYREF_LAYOUT_STRONG
@ BLOCK_BYREF_LAYOUT_EXTENDED
@ BLOCK_BYREF_LAYOUT_NON_OBJECT
@ BLOCK_BYREF_HAS_COPY_DISPOSE
@ BLOCK_BYREF_LAYOUT_UNRETAINED
@ Decl
The l-value was an access to a declared entity or something equivalently strong, like the address of ...
BlockCaptureEntityKind
Represents a type of copy/destroy operation that should be performed for an entity that's captured by...
@ NormalCleanup
Denotes a cleanup that should run when a scope is exited using normal control flow (falling off the e...
@ EHCleanup
Denotes a cleanup that should run when a scope is exited using exceptional control flow (a throw stat...
const internal::VariadicAllOfMatcher< Type > type
Matches Types in the clang AST.
const internal::VariadicDynCastAllOfMatcher< Stmt, BlockExpr > blockExpr
Matches a reference to a block.
const AstTypeMatcher< RecordType > recordType
Matches record types (e.g.
const internal::VariadicDynCastAllOfMatcher< Decl, BlockDecl > blockDecl
Matches block declarations.
constexpr Variable var(Literal L)
Returns the variable of L.
constexpr size_t align(size_t Size)
Aligns a size to the pointer alignment.
RangeSelector name(std::string ID)
Given a node with a "name", (like NamedDecl, DeclRefExpr, CxxCtorInitializer, and TypeLoc) selects th...
The JSON file list parser is used to communicate input to InstallAPI.
bool isa(CodeGen::Address addr)
bool operator<(DeclarationName LHS, DeclarationName RHS)
Ordering on two declaration names.
@ Result
The result type of a method or function.
static bool isBlockPointer(Expr *Arg)
LangAS
Defines the address space values used by the address space qualifier of QualType.
@ VK_PRValue
A pr-value expression (in the C++11 taxonomy) produces a temporary value.
@ VK_LValue
An l-value expression is a reference to an object with independent storage.
const FunctionProtoType * T
@ Other
Other implicit parameter.
@ ObjCSelf
Parameter for Objective-C 'self' argument.
int printf(__constant const char *st,...) __attribute__((format(printf
unsigned long ulong
An unsigned 64-bit integer.
Expr * getCopyExpr() const
llvm::PointerType * VoidPtrTy
llvm::PointerType * Int8PtrPtrTy
CharUnits getIntAlign() const
llvm::IntegerType * Int8Ty
i8, i16, i32, and i64
CharUnits getPointerSize() const
unsigned char PointerSizeInBytes
CharUnits getIntSize() const
llvm::IntegerType * Int32Ty
llvm::IntegerType * IntTy
int
llvm::PointerType * Int8PtrTy
llvm::PointerType * UnqualPtrTy
CharUnits getPointerAlign() const
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4