12437cbfaSAnders Carlsson //===--- CGBlocks.cpp - Emit LLVM Code for declarations -------------------===// 22437cbfaSAnders Carlsson // 32437cbfaSAnders Carlsson // The LLVM Compiler Infrastructure 42437cbfaSAnders Carlsson // 52437cbfaSAnders Carlsson // This file is distributed under the University of Illinois Open Source 62437cbfaSAnders Carlsson // License. See LICENSE.TXT for details. 72437cbfaSAnders Carlsson // 82437cbfaSAnders Carlsson //===----------------------------------------------------------------------===// 92437cbfaSAnders Carlsson // 102437cbfaSAnders Carlsson // This contains code to emit blocks. 112437cbfaSAnders Carlsson // 122437cbfaSAnders Carlsson //===----------------------------------------------------------------------===// 132437cbfaSAnders Carlsson 142437cbfaSAnders Carlsson #include "CodeGenFunction.h" 152437cbfaSAnders Carlsson #include "CodeGenModule.h" 162437cbfaSAnders Carlsson #include "llvm/Module.h" 176a60fa24SAnders Carlsson #include "llvm/Target/TargetData.h" 182437cbfaSAnders Carlsson 192437cbfaSAnders Carlsson #include <algorithm> 202437cbfaSAnders Carlsson 212437cbfaSAnders Carlsson using namespace clang; 222437cbfaSAnders Carlsson using namespace CodeGen; 232437cbfaSAnders Carlsson 246a60fa24SAnders Carlsson // Block flags 256a60fa24SAnders Carlsson enum { 266a60fa24SAnders Carlsson IsGlobal = 1 << 28 276a60fa24SAnders Carlsson }; 286a60fa24SAnders Carlsson 29650c932dSMike Stump const llvm::Type *CodeGenModule::getBlockDescriptorType() { 30650c932dSMike Stump if (BlockDescriptorType) 31650c932dSMike Stump return BlockDescriptorType; 322437cbfaSAnders Carlsson 332437cbfaSAnders Carlsson const llvm::Type *UnsignedLongTy = 34650c932dSMike Stump getTypes().ConvertType(getContext().UnsignedLongTy); 352437cbfaSAnders Carlsson 362437cbfaSAnders Carlsson // struct __block_descriptor { 372437cbfaSAnders Carlsson // unsigned long reserved; 382437cbfaSAnders Carlsson // unsigned long block_size; 392437cbfaSAnders Carlsson // }; 40650c932dSMike Stump BlockDescriptorType = llvm::StructType::get(UnsignedLongTy, 412437cbfaSAnders Carlsson UnsignedLongTy, 422437cbfaSAnders Carlsson NULL); 432437cbfaSAnders Carlsson 44650c932dSMike Stump getModule().addTypeName("struct.__block_descriptor", 45650c932dSMike Stump BlockDescriptorType); 462437cbfaSAnders Carlsson 47650c932dSMike Stump return BlockDescriptorType; 482437cbfaSAnders Carlsson } 492437cbfaSAnders Carlsson 50005c9a62SMike Stump const llvm::Type * 51005c9a62SMike Stump CodeGenModule::getGenericBlockLiteralType() { 52005c9a62SMike Stump if (GenericBlockLiteralType) 53005c9a62SMike Stump return GenericBlockLiteralType; 542437cbfaSAnders Carlsson 552437cbfaSAnders Carlsson const llvm::Type *Int8PtrTy = 562437cbfaSAnders Carlsson llvm::PointerType::getUnqual(llvm::Type::Int8Ty); 572437cbfaSAnders Carlsson 582437cbfaSAnders Carlsson const llvm::Type *BlockDescPtrTy = 59005c9a62SMike Stump llvm::PointerType::getUnqual(getBlockDescriptorType()); 602437cbfaSAnders Carlsson 61*92bbd6d4SMike Stump const llvm::IntegerType *IntTy = cast<llvm::IntegerType>( 62*92bbd6d4SMike Stump getTypes().ConvertType(getContext().IntTy)); 63*92bbd6d4SMike Stump 642437cbfaSAnders Carlsson // struct __block_literal_generic { 652437cbfaSAnders Carlsson // void *isa; 662437cbfaSAnders Carlsson // int flags; 672437cbfaSAnders Carlsson // int reserved; 682437cbfaSAnders Carlsson // void (*invoke)(void *); 692437cbfaSAnders Carlsson // struct __block_descriptor *descriptor; 702437cbfaSAnders Carlsson // }; 71005c9a62SMike Stump GenericBlockLiteralType = llvm::StructType::get(Int8PtrTy, 72*92bbd6d4SMike Stump IntTy, 73*92bbd6d4SMike Stump IntTy, 742437cbfaSAnders Carlsson Int8PtrTy, 752437cbfaSAnders Carlsson BlockDescPtrTy, 762437cbfaSAnders Carlsson NULL); 772437cbfaSAnders Carlsson 78005c9a62SMike Stump getModule().addTypeName("struct.__block_literal_generic", 79005c9a62SMike Stump GenericBlockLiteralType); 802437cbfaSAnders Carlsson 81005c9a62SMike Stump return GenericBlockLiteralType; 822437cbfaSAnders Carlsson } 832437cbfaSAnders Carlsson 842437cbfaSAnders Carlsson /// getBlockFunctionType - Given a BlockPointerType, will return the 852437cbfaSAnders Carlsson /// function type for the block, including the first block literal argument. 862437cbfaSAnders Carlsson static QualType getBlockFunctionType(ASTContext &Ctx, 876a60fa24SAnders Carlsson const BlockPointerType *BPT) { 882437cbfaSAnders Carlsson const FunctionTypeProto *FTy = cast<FunctionTypeProto>(BPT->getPointeeType()); 892437cbfaSAnders Carlsson 902437cbfaSAnders Carlsson llvm::SmallVector<QualType, 8> Types; 912437cbfaSAnders Carlsson Types.push_back(Ctx.getPointerType(Ctx.VoidTy)); 922437cbfaSAnders Carlsson 932437cbfaSAnders Carlsson for (FunctionTypeProto::arg_type_iterator i = FTy->arg_type_begin(), 942437cbfaSAnders Carlsson e = FTy->arg_type_end(); i != e; ++i) 952437cbfaSAnders Carlsson Types.push_back(*i); 962437cbfaSAnders Carlsson 972437cbfaSAnders Carlsson return Ctx.getFunctionType(FTy->getResultType(), 982437cbfaSAnders Carlsson &Types[0], Types.size(), 992437cbfaSAnders Carlsson FTy->isVariadic(), 0); 1002437cbfaSAnders Carlsson } 1012437cbfaSAnders Carlsson 1026a60fa24SAnders Carlsson RValue CodeGenFunction::EmitBlockCallExpr(const CallExpr* E) { 1032437cbfaSAnders Carlsson const BlockPointerType *BPT = 1042437cbfaSAnders Carlsson E->getCallee()->getType()->getAsBlockPointerType(); 1052437cbfaSAnders Carlsson 1062437cbfaSAnders Carlsson llvm::Value *Callee = EmitScalarExpr(E->getCallee()); 1072437cbfaSAnders Carlsson 1082437cbfaSAnders Carlsson // Get a pointer to the generic block literal. 1092437cbfaSAnders Carlsson const llvm::Type *BlockLiteralTy = 110005c9a62SMike Stump llvm::PointerType::getUnqual(CGM.getGenericBlockLiteralType()); 1112437cbfaSAnders Carlsson 1122437cbfaSAnders Carlsson // Bitcast the callee to a block literal. 1132437cbfaSAnders Carlsson llvm::Value *BlockLiteral = 1142437cbfaSAnders Carlsson Builder.CreateBitCast(Callee, BlockLiteralTy, "block.literal"); 1152437cbfaSAnders Carlsson 1162437cbfaSAnders Carlsson // Get the function pointer from the literal. 1172437cbfaSAnders Carlsson llvm::Value *FuncPtr = Builder.CreateStructGEP(BlockLiteral, 3, "tmp"); 1182437cbfaSAnders Carlsson llvm::Value *Func = Builder.CreateLoad(FuncPtr, FuncPtr, "tmp"); 1192437cbfaSAnders Carlsson 1202437cbfaSAnders Carlsson // Cast the function pointer to the right type. 1212437cbfaSAnders Carlsson const llvm::Type *BlockFTy = 1222437cbfaSAnders Carlsson ConvertType(getBlockFunctionType(getContext(), BPT)); 1232437cbfaSAnders Carlsson const llvm::Type *BlockFTyPtr = llvm::PointerType::getUnqual(BlockFTy); 1242437cbfaSAnders Carlsson Func = Builder.CreateBitCast(Func, BlockFTyPtr); 1252437cbfaSAnders Carlsson 1262437cbfaSAnders Carlsson BlockLiteral = 1272437cbfaSAnders Carlsson Builder.CreateBitCast(BlockLiteral, 1282437cbfaSAnders Carlsson llvm::PointerType::getUnqual(llvm::Type::Int8Ty), 1292437cbfaSAnders Carlsson "tmp"); 1302437cbfaSAnders Carlsson 1312437cbfaSAnders Carlsson // Add the block literal. 1322437cbfaSAnders Carlsson QualType VoidPtrTy = getContext().getPointerType(getContext().VoidTy); 1332437cbfaSAnders Carlsson CallArgList Args; 1342437cbfaSAnders Carlsson Args.push_back(std::make_pair(RValue::get(BlockLiteral), VoidPtrTy)); 1352437cbfaSAnders Carlsson 1362437cbfaSAnders Carlsson // And the rest of the arguments. 1372437cbfaSAnders Carlsson for (CallExpr::const_arg_iterator i = E->arg_begin(), e = E->arg_end(); 1382437cbfaSAnders Carlsson i != e; ++i) 1392437cbfaSAnders Carlsson Args.push_back(std::make_pair(EmitAnyExprToTemp(*i), 1402437cbfaSAnders Carlsson i->getType())); 1412437cbfaSAnders Carlsson 1422437cbfaSAnders Carlsson // And call the block. 1432437cbfaSAnders Carlsson return EmitCall(CGM.getTypes().getFunctionInfo(E->getType(), Args), 1442437cbfaSAnders Carlsson Func, Args); 1452437cbfaSAnders Carlsson } 1466a60fa24SAnders Carlsson 1476a60fa24SAnders Carlsson llvm::Constant *CodeGenModule::GetAddrOfGlobalBlock(const BlockExpr *BE) { 1486a60fa24SAnders Carlsson if (!NSConcreteGlobalBlock) { 1496a60fa24SAnders Carlsson const llvm::Type *Ty = llvm::PointerType::getUnqual(llvm::Type::Int8Ty); 1506a60fa24SAnders Carlsson 1516a60fa24SAnders Carlsson // FIXME: Wee should have a CodeGenModule::AddRuntimeVariable that does the 1526a60fa24SAnders Carlsson // same thing as CreateRuntimeFunction if there's already a variable with 1536a60fa24SAnders Carlsson // the same name. 1546a60fa24SAnders Carlsson NSConcreteGlobalBlock = 1556a60fa24SAnders Carlsson new llvm::GlobalVariable(Ty, false, 1566a60fa24SAnders Carlsson llvm::GlobalVariable::ExternalLinkage, 0, 1576a60fa24SAnders Carlsson "_NSConcreteGlobalBlock", &getModule()); 1586a60fa24SAnders Carlsson } 1596a60fa24SAnders Carlsson 1606a60fa24SAnders Carlsson // Generate the block descriptor. 1616a60fa24SAnders Carlsson const llvm::Type *UnsignedLongTy = Types.ConvertType(Context.UnsignedLongTy); 162*92bbd6d4SMike Stump const llvm::IntegerType *IntTy = cast<llvm::IntegerType>( 163*92bbd6d4SMike Stump getTypes().ConvertType(getContext().IntTy)); 1646a60fa24SAnders Carlsson 1656a60fa24SAnders Carlsson llvm::Constant *DescriptorFields[2]; 1666a60fa24SAnders Carlsson 1676a60fa24SAnders Carlsson // Reserved 1686a60fa24SAnders Carlsson DescriptorFields[0] = llvm::Constant::getNullValue(UnsignedLongTy); 1696a60fa24SAnders Carlsson 1706a60fa24SAnders Carlsson // Block literal size. For global blocks we just use the size of the generic 1716a60fa24SAnders Carlsson // block literal struct. 1726a60fa24SAnders Carlsson uint64_t BlockLiteralSize = 173005c9a62SMike Stump TheTargetData.getTypeStoreSizeInBits(getGenericBlockLiteralType()) / 8; 1746a60fa24SAnders Carlsson DescriptorFields[1] = llvm::ConstantInt::get(UnsignedLongTy,BlockLiteralSize); 1756a60fa24SAnders Carlsson 1766a60fa24SAnders Carlsson llvm::Constant *DescriptorStruct = 1776a60fa24SAnders Carlsson llvm::ConstantStruct::get(&DescriptorFields[0], 2); 1786a60fa24SAnders Carlsson 1796a60fa24SAnders Carlsson llvm::GlobalVariable *Descriptor = 1806a60fa24SAnders Carlsson new llvm::GlobalVariable(DescriptorStruct->getType(), true, 1816a60fa24SAnders Carlsson llvm::GlobalVariable::InternalLinkage, 1826a60fa24SAnders Carlsson DescriptorStruct, "__block_descriptor_global", 1836a60fa24SAnders Carlsson &getModule()); 1846a60fa24SAnders Carlsson 1856a60fa24SAnders Carlsson // Generate the constants for the block literal. 1866a60fa24SAnders Carlsson llvm::Constant *LiteralFields[5]; 1876a60fa24SAnders Carlsson 1886a60fa24SAnders Carlsson CodeGenFunction::BlockInfo Info(0, "global"); 1896a60fa24SAnders Carlsson llvm::Function *Fn = CodeGenFunction(*this).GenerateBlockFunction(BE, Info); 1906a60fa24SAnders Carlsson 1916a60fa24SAnders Carlsson // isa 1926a60fa24SAnders Carlsson LiteralFields[0] = NSConcreteGlobalBlock; 1936a60fa24SAnders Carlsson 1946a60fa24SAnders Carlsson // Flags 195*92bbd6d4SMike Stump LiteralFields[1] = llvm::ConstantInt::get(IntTy, IsGlobal); 1966a60fa24SAnders Carlsson 1976a60fa24SAnders Carlsson // Reserved 198*92bbd6d4SMike Stump LiteralFields[2] = llvm::Constant::getNullValue(IntTy); 1996a60fa24SAnders Carlsson 2006a60fa24SAnders Carlsson // Function 2016a60fa24SAnders Carlsson LiteralFields[3] = Fn; 2026a60fa24SAnders Carlsson 2036a60fa24SAnders Carlsson // Descriptor 2046a60fa24SAnders Carlsson LiteralFields[4] = Descriptor; 2056a60fa24SAnders Carlsson 2066a60fa24SAnders Carlsson llvm::Constant *BlockLiteralStruct = 2076a60fa24SAnders Carlsson llvm::ConstantStruct::get(&LiteralFields[0], 5); 2086a60fa24SAnders Carlsson 2096a60fa24SAnders Carlsson llvm::GlobalVariable *BlockLiteral = 2106a60fa24SAnders Carlsson new llvm::GlobalVariable(BlockLiteralStruct->getType(), true, 2116a60fa24SAnders Carlsson llvm::GlobalVariable::InternalLinkage, 2126a60fa24SAnders Carlsson BlockLiteralStruct, "__block_literal_global", 2136a60fa24SAnders Carlsson &getModule()); 2146a60fa24SAnders Carlsson 2156a60fa24SAnders Carlsson return BlockLiteral; 2166a60fa24SAnders Carlsson } 2176a60fa24SAnders Carlsson 2186a60fa24SAnders Carlsson llvm::Function *CodeGenFunction::GenerateBlockFunction(const BlockExpr *Expr, 2196a60fa24SAnders Carlsson const BlockInfo& Info) 2206a60fa24SAnders Carlsson { 2216a60fa24SAnders Carlsson const FunctionTypeProto *FTy = 2226a60fa24SAnders Carlsson cast<FunctionTypeProto>(Expr->getFunctionType()); 2236a60fa24SAnders Carlsson 2246a60fa24SAnders Carlsson FunctionArgList Args; 2256a60fa24SAnders Carlsson 2266a60fa24SAnders Carlsson const BlockDecl *BD = Expr->getBlockDecl(); 2276a60fa24SAnders Carlsson 2286a60fa24SAnders Carlsson // FIXME: This leaks 2296a60fa24SAnders Carlsson ImplicitParamDecl *SelfDecl = 2306a60fa24SAnders Carlsson ImplicitParamDecl::Create(getContext(), 0, 2316a60fa24SAnders Carlsson SourceLocation(), 0, 2326a60fa24SAnders Carlsson getContext().getPointerType(getContext().VoidTy)); 2336a60fa24SAnders Carlsson 2346a60fa24SAnders Carlsson Args.push_back(std::make_pair(SelfDecl, SelfDecl->getType())); 2356a60fa24SAnders Carlsson 2366a60fa24SAnders Carlsson for (BlockDecl::param_iterator i = BD->param_begin(), 2376a60fa24SAnders Carlsson e = BD->param_end(); i != e; ++i) 2386a60fa24SAnders Carlsson Args.push_back(std::make_pair(*e, (*e)->getType())); 2396a60fa24SAnders Carlsson 2406a60fa24SAnders Carlsson const CGFunctionInfo &FI = 2416a60fa24SAnders Carlsson CGM.getTypes().getFunctionInfo(FTy->getResultType(), Args); 2426a60fa24SAnders Carlsson 2436a60fa24SAnders Carlsson std::string Name = std::string("__block_function_") + Info.NameSuffix; 2446a60fa24SAnders Carlsson 2456a60fa24SAnders Carlsson CodeGenTypes &Types = CGM.getTypes(); 2466a60fa24SAnders Carlsson const llvm::FunctionType *LTy = Types.GetFunctionType(FI, FTy->isVariadic()); 2476a60fa24SAnders Carlsson 2486a60fa24SAnders Carlsson llvm::Function *Fn = 2496a60fa24SAnders Carlsson llvm::Function::Create(LTy, llvm::GlobalValue::InternalLinkage, 2506a60fa24SAnders Carlsson Name, 2516a60fa24SAnders Carlsson &CGM.getModule()); 2526a60fa24SAnders Carlsson 2536a60fa24SAnders Carlsson StartFunction(BD, FTy->getResultType(), Fn, Args, 2546a60fa24SAnders Carlsson Expr->getBody()->getLocEnd()); 2556a60fa24SAnders Carlsson EmitStmt(Expr->getBody()); 2566a60fa24SAnders Carlsson FinishFunction(cast<CompoundStmt>(Expr->getBody())->getRBracLoc()); 2576a60fa24SAnders Carlsson 2586a60fa24SAnders Carlsson return Fn; 2596a60fa24SAnders Carlsson } 260