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 enum { 2585284bacSMike Stump BLOCK_NEEDS_FREE = (1 << 24), 2685284bacSMike Stump BLOCK_HAS_COPY_DISPOSE = (1 << 25), 2785284bacSMike Stump BLOCK_HAS_CXX_OBJ = (1 << 26), 2885284bacSMike Stump BLOCK_IS_GC = (1 << 27), 2985284bacSMike Stump BLOCK_IS_GLOBAL = (1 << 28), 3085284bacSMike Stump BLOCK_HAS_DESCRIPTOR = (1 << 29) 316a60fa24SAnders Carlsson }; 326a60fa24SAnders Carlsson 3385284bacSMike Stump llvm::Constant *CodeGenFunction::BuildDescriptorBlockDecl() { 3485284bacSMike Stump // FIXME: Push up. 3585284bacSMike Stump bool BlockHasCopyDispose = false; 3685284bacSMike Stump 3785284bacSMike Stump const llvm::PointerType *PtrToInt8Ty 3885284bacSMike Stump = llvm::PointerType::getUnqual(llvm::Type::Int8Ty); 39c2c38331SMike Stump const llvm::Type *UnsignedLongTy 40c2c38331SMike Stump = CGM.getTypes().ConvertType(getContext().UnsignedLongTy); 4185284bacSMike Stump llvm::Constant *C; 4285284bacSMike Stump std::vector<llvm::Constant*> Elts; 4385284bacSMike Stump 4485284bacSMike Stump // reserved 45c2c38331SMike Stump C = llvm::ConstantInt::get(UnsignedLongTy, 0); 4685284bacSMike Stump Elts.push_back(C); 4785284bacSMike Stump 4885284bacSMike Stump // Size 4952197c77SMike Stump int sz = CGM.getTargetData() 5052197c77SMike Stump .getTypeStoreSizeInBits(CGM.getGenericBlockLiteralType()) / 8; 5152197c77SMike Stump C = llvm::ConstantInt::get(UnsignedLongTy, sz); 5285284bacSMike Stump Elts.push_back(C); 5385284bacSMike Stump 5485284bacSMike Stump if (BlockHasCopyDispose) { 5585284bacSMike Stump // copy_func_helper_decl 56c2c38331SMike Stump C = llvm::ConstantInt::get(UnsignedLongTy, 0); 5785284bacSMike Stump C = llvm::ConstantExpr::getBitCast(C, PtrToInt8Ty); 5885284bacSMike Stump Elts.push_back(C); 5985284bacSMike Stump 6085284bacSMike Stump // destroy_func_decl 61c2c38331SMike Stump C = llvm::ConstantInt::get(UnsignedLongTy, 0); 6285284bacSMike Stump C = llvm::ConstantExpr::getBitCast(C, PtrToInt8Ty); 6385284bacSMike Stump Elts.push_back(C); 6485284bacSMike Stump } 6585284bacSMike Stump 6685284bacSMike Stump C = llvm::ConstantStruct::get(Elts); 6785284bacSMike Stump 6885284bacSMike Stump // FIXME: Should be in module? 6985284bacSMike Stump static int desc_unique_count; 7085284bacSMike Stump char Name[32]; 7185284bacSMike Stump sprintf(Name, "__block_descriptor_tmp_%d", ++desc_unique_count); 7285284bacSMike Stump C = new llvm::GlobalVariable(C->getType(), true, 7385284bacSMike Stump llvm::GlobalValue::InternalLinkage, 7485284bacSMike Stump C, Name, &CGM.getModule()); 7585284bacSMike Stump return C; 7685284bacSMike Stump } 7785284bacSMike Stump 78971f9b66SMike Stump llvm::Constant *CodeGenModule::getNSConcreteGlobalBlock() { 79971f9b66SMike Stump if (NSConcreteGlobalBlock) 80971f9b66SMike Stump return NSConcreteGlobalBlock; 81971f9b66SMike Stump 82971f9b66SMike Stump const llvm::PointerType *PtrToInt8Ty 83971f9b66SMike Stump = llvm::PointerType::getUnqual(llvm::Type::Int8Ty); 84971f9b66SMike Stump // FIXME: Wee should have a CodeGenModule::AddRuntimeVariable that does the 85971f9b66SMike Stump // same thing as CreateRuntimeFunction if there's already a variable with 86971f9b66SMike Stump // the same name. 87971f9b66SMike Stump NSConcreteGlobalBlock 88971f9b66SMike Stump = new llvm::GlobalVariable(PtrToInt8Ty, false, 89971f9b66SMike Stump llvm::GlobalValue::ExternalLinkage, 90971f9b66SMike Stump 0, "_NSConcreteGlobalBlock", 91971f9b66SMike Stump &getModule()); 92971f9b66SMike Stump 93971f9b66SMike Stump return NSConcreteGlobalBlock; 94971f9b66SMike Stump } 95971f9b66SMike Stump 96*7ab278dbSMike Stump llvm::Constant *CodeGenModule::getNSConcreteStackBlock() { 97*7ab278dbSMike Stump if (NSConcreteStackBlock) 98*7ab278dbSMike Stump return NSConcreteStackBlock; 99*7ab278dbSMike Stump 100*7ab278dbSMike Stump const llvm::PointerType *PtrToInt8Ty 101*7ab278dbSMike Stump = llvm::PointerType::getUnqual(llvm::Type::Int8Ty); 102*7ab278dbSMike Stump // FIXME: Wee should have a CodeGenModule::AddRuntimeVariable that does the 103*7ab278dbSMike Stump // same thing as CreateRuntimeFunction if there's already a variable with 104*7ab278dbSMike Stump // the same name. 105*7ab278dbSMike Stump NSConcreteStackBlock 106*7ab278dbSMike Stump = new llvm::GlobalVariable(PtrToInt8Ty, false, 107*7ab278dbSMike Stump llvm::GlobalValue::ExternalLinkage, 108*7ab278dbSMike Stump 0, "_NSConcreteStackBlock", 109*7ab278dbSMike Stump &getModule()); 110*7ab278dbSMike Stump 111*7ab278dbSMike Stump return NSConcreteStackBlock; 112*7ab278dbSMike Stump } 113*7ab278dbSMike Stump 11485284bacSMike Stump llvm::Constant *CodeGenFunction::BuildBlockLiteralTmp() { 11585284bacSMike Stump // FIXME: Push up 11685284bacSMike Stump bool BlockHasCopyDispose = false; 11785284bacSMike Stump bool insideFunction = false; 11885284bacSMike Stump bool BlockRefDeclList = false; 11985284bacSMike Stump bool BlockByrefDeclList = false; 12085284bacSMike Stump 12185284bacSMike Stump std::vector<llvm::Constant*> Elts; 12285284bacSMike Stump llvm::Constant *C; 12385284bacSMike Stump 12485284bacSMike Stump { 12585284bacSMike Stump // C = BuildBlockStructInitlist(); 12685284bacSMike Stump unsigned int flags = BLOCK_HAS_DESCRIPTOR; 12785284bacSMike Stump 12885284bacSMike Stump if (BlockHasCopyDispose) 12985284bacSMike Stump flags |= BLOCK_HAS_COPY_DISPOSE; 13085284bacSMike Stump 131*7ab278dbSMike Stump C = CGM.getNSConcreteStackBlock(); 13285284bacSMike Stump if (!insideFunction || 13385284bacSMike Stump (!BlockRefDeclList && !BlockByrefDeclList)) { 134971f9b66SMike Stump C = CGM.getNSConcreteGlobalBlock(); 13585284bacSMike Stump flags |= BLOCK_IS_GLOBAL; 13685284bacSMike Stump } 137*7ab278dbSMike Stump const llvm::PointerType *PtrToInt8Ty 138*7ab278dbSMike Stump = llvm::PointerType::getUnqual(llvm::Type::Int8Ty); 13985284bacSMike Stump C = llvm::ConstantExpr::getBitCast(C, PtrToInt8Ty); 14085284bacSMike Stump Elts.push_back(C); 14185284bacSMike Stump 14285284bacSMike Stump // __flags 14385284bacSMike Stump const llvm::IntegerType *IntTy = cast<llvm::IntegerType>( 14485284bacSMike Stump CGM.getTypes().ConvertType(CGM.getContext().IntTy)); 14585284bacSMike Stump C = llvm::ConstantInt::get(IntTy, flags); 14685284bacSMike Stump Elts.push_back(C); 14785284bacSMike Stump 14885284bacSMike Stump // __reserved 14985284bacSMike Stump C = llvm::ConstantInt::get(IntTy, 0); 15085284bacSMike Stump Elts.push_back(C); 15185284bacSMike Stump 15285284bacSMike Stump // __FuncPtr 15385284bacSMike Stump // FIXME: Build this up. 15485284bacSMike Stump Elts.push_back(C); 15585284bacSMike Stump 15685284bacSMike Stump // __descriptor 15785284bacSMike Stump Elts.push_back(BuildDescriptorBlockDecl()); 15885284bacSMike Stump 15985284bacSMike Stump // FIXME: Add block_original_ref_decl_list and block_byref_decl_list. 16085284bacSMike Stump } 16185284bacSMike Stump 16285284bacSMike Stump C = llvm::ConstantStruct::get(Elts); 16385284bacSMike Stump 16485284bacSMike Stump char Name[32]; 1659319db8aSMike Stump sprintf(Name, "__block_holder_tmp_%d", CGM.getGlobalUniqueCount()); 16685284bacSMike Stump C = new llvm::GlobalVariable(C->getType(), true, 16785284bacSMike Stump llvm::GlobalValue::InternalLinkage, 16885284bacSMike Stump C, Name, &CGM.getModule()); 16985284bacSMike Stump return C; 17085284bacSMike Stump } 17185284bacSMike Stump 17285284bacSMike Stump 17385284bacSMike Stump 17485284bacSMike Stump 175650c932dSMike Stump const llvm::Type *CodeGenModule::getBlockDescriptorType() { 176650c932dSMike Stump if (BlockDescriptorType) 177650c932dSMike Stump return BlockDescriptorType; 1782437cbfaSAnders Carlsson 1792437cbfaSAnders Carlsson const llvm::Type *UnsignedLongTy = 180650c932dSMike Stump getTypes().ConvertType(getContext().UnsignedLongTy); 1812437cbfaSAnders Carlsson 1822437cbfaSAnders Carlsson // struct __block_descriptor { 1832437cbfaSAnders Carlsson // unsigned long reserved; 1842437cbfaSAnders Carlsson // unsigned long block_size; 1852437cbfaSAnders Carlsson // }; 186650c932dSMike Stump BlockDescriptorType = llvm::StructType::get(UnsignedLongTy, 1872437cbfaSAnders Carlsson UnsignedLongTy, 1882437cbfaSAnders Carlsson NULL); 1892437cbfaSAnders Carlsson 190650c932dSMike Stump getModule().addTypeName("struct.__block_descriptor", 191650c932dSMike Stump BlockDescriptorType); 1922437cbfaSAnders Carlsson 193650c932dSMike Stump return BlockDescriptorType; 1942437cbfaSAnders Carlsson } 1952437cbfaSAnders Carlsson 196005c9a62SMike Stump const llvm::Type * 197005c9a62SMike Stump CodeGenModule::getGenericBlockLiteralType() { 198005c9a62SMike Stump if (GenericBlockLiteralType) 199005c9a62SMike Stump return GenericBlockLiteralType; 2002437cbfaSAnders Carlsson 2012437cbfaSAnders Carlsson const llvm::Type *Int8PtrTy = 2022437cbfaSAnders Carlsson llvm::PointerType::getUnqual(llvm::Type::Int8Ty); 2032437cbfaSAnders Carlsson 2042437cbfaSAnders Carlsson const llvm::Type *BlockDescPtrTy = 205005c9a62SMike Stump llvm::PointerType::getUnqual(getBlockDescriptorType()); 2062437cbfaSAnders Carlsson 20792bbd6d4SMike Stump const llvm::IntegerType *IntTy = cast<llvm::IntegerType>( 20892bbd6d4SMike Stump getTypes().ConvertType(getContext().IntTy)); 20992bbd6d4SMike Stump 2102437cbfaSAnders Carlsson // struct __block_literal_generic { 2112437cbfaSAnders Carlsson // void *isa; 2122437cbfaSAnders Carlsson // int flags; 2132437cbfaSAnders Carlsson // int reserved; 2142437cbfaSAnders Carlsson // void (*invoke)(void *); 2152437cbfaSAnders Carlsson // struct __block_descriptor *descriptor; 2162437cbfaSAnders Carlsson // }; 217005c9a62SMike Stump GenericBlockLiteralType = llvm::StructType::get(Int8PtrTy, 21892bbd6d4SMike Stump IntTy, 21992bbd6d4SMike Stump IntTy, 2202437cbfaSAnders Carlsson Int8PtrTy, 2212437cbfaSAnders Carlsson BlockDescPtrTy, 2222437cbfaSAnders Carlsson NULL); 2232437cbfaSAnders Carlsson 224005c9a62SMike Stump getModule().addTypeName("struct.__block_literal_generic", 225005c9a62SMike Stump GenericBlockLiteralType); 2262437cbfaSAnders Carlsson 227005c9a62SMike Stump return GenericBlockLiteralType; 2282437cbfaSAnders Carlsson } 2292437cbfaSAnders Carlsson 2302437cbfaSAnders Carlsson /// getBlockFunctionType - Given a BlockPointerType, will return the 2312437cbfaSAnders Carlsson /// function type for the block, including the first block literal argument. 2322437cbfaSAnders Carlsson static QualType getBlockFunctionType(ASTContext &Ctx, 2336a60fa24SAnders Carlsson const BlockPointerType *BPT) { 2342437cbfaSAnders Carlsson const FunctionTypeProto *FTy = cast<FunctionTypeProto>(BPT->getPointeeType()); 2352437cbfaSAnders Carlsson 2362437cbfaSAnders Carlsson llvm::SmallVector<QualType, 8> Types; 2372437cbfaSAnders Carlsson Types.push_back(Ctx.getPointerType(Ctx.VoidTy)); 2382437cbfaSAnders Carlsson 2392437cbfaSAnders Carlsson for (FunctionTypeProto::arg_type_iterator i = FTy->arg_type_begin(), 2402437cbfaSAnders Carlsson e = FTy->arg_type_end(); i != e; ++i) 2412437cbfaSAnders Carlsson Types.push_back(*i); 2422437cbfaSAnders Carlsson 2432437cbfaSAnders Carlsson return Ctx.getFunctionType(FTy->getResultType(), 2442437cbfaSAnders Carlsson &Types[0], Types.size(), 2452437cbfaSAnders Carlsson FTy->isVariadic(), 0); 2462437cbfaSAnders Carlsson } 2472437cbfaSAnders Carlsson 2486a60fa24SAnders Carlsson RValue CodeGenFunction::EmitBlockCallExpr(const CallExpr* E) { 2492437cbfaSAnders Carlsson const BlockPointerType *BPT = 2502437cbfaSAnders Carlsson E->getCallee()->getType()->getAsBlockPointerType(); 2512437cbfaSAnders Carlsson 2522437cbfaSAnders Carlsson llvm::Value *Callee = EmitScalarExpr(E->getCallee()); 2532437cbfaSAnders Carlsson 2542437cbfaSAnders Carlsson // Get a pointer to the generic block literal. 2552437cbfaSAnders Carlsson const llvm::Type *BlockLiteralTy = 256005c9a62SMike Stump llvm::PointerType::getUnqual(CGM.getGenericBlockLiteralType()); 2572437cbfaSAnders Carlsson 2582437cbfaSAnders Carlsson // Bitcast the callee to a block literal. 2592437cbfaSAnders Carlsson llvm::Value *BlockLiteral = 2602437cbfaSAnders Carlsson Builder.CreateBitCast(Callee, BlockLiteralTy, "block.literal"); 2612437cbfaSAnders Carlsson 2622437cbfaSAnders Carlsson // Get the function pointer from the literal. 2632437cbfaSAnders Carlsson llvm::Value *FuncPtr = Builder.CreateStructGEP(BlockLiteral, 3, "tmp"); 2642437cbfaSAnders Carlsson llvm::Value *Func = Builder.CreateLoad(FuncPtr, FuncPtr, "tmp"); 2652437cbfaSAnders Carlsson 2662437cbfaSAnders Carlsson // Cast the function pointer to the right type. 2672437cbfaSAnders Carlsson const llvm::Type *BlockFTy = 2682437cbfaSAnders Carlsson ConvertType(getBlockFunctionType(getContext(), BPT)); 2692437cbfaSAnders Carlsson const llvm::Type *BlockFTyPtr = llvm::PointerType::getUnqual(BlockFTy); 2702437cbfaSAnders Carlsson Func = Builder.CreateBitCast(Func, BlockFTyPtr); 2712437cbfaSAnders Carlsson 2722437cbfaSAnders Carlsson BlockLiteral = 2732437cbfaSAnders Carlsson Builder.CreateBitCast(BlockLiteral, 2742437cbfaSAnders Carlsson llvm::PointerType::getUnqual(llvm::Type::Int8Ty), 2752437cbfaSAnders Carlsson "tmp"); 2762437cbfaSAnders Carlsson 2772437cbfaSAnders Carlsson // Add the block literal. 2782437cbfaSAnders Carlsson QualType VoidPtrTy = getContext().getPointerType(getContext().VoidTy); 2792437cbfaSAnders Carlsson CallArgList Args; 2802437cbfaSAnders Carlsson Args.push_back(std::make_pair(RValue::get(BlockLiteral), VoidPtrTy)); 2812437cbfaSAnders Carlsson 2822437cbfaSAnders Carlsson // And the rest of the arguments. 2832437cbfaSAnders Carlsson for (CallExpr::const_arg_iterator i = E->arg_begin(), e = E->arg_end(); 2842437cbfaSAnders Carlsson i != e; ++i) 2852437cbfaSAnders Carlsson Args.push_back(std::make_pair(EmitAnyExprToTemp(*i), 2862437cbfaSAnders Carlsson i->getType())); 2872437cbfaSAnders Carlsson 2882437cbfaSAnders Carlsson // And call the block. 2892437cbfaSAnders Carlsson return EmitCall(CGM.getTypes().getFunctionInfo(E->getType(), Args), 2902437cbfaSAnders Carlsson Func, Args); 2912437cbfaSAnders Carlsson } 2926a60fa24SAnders Carlsson 2936a60fa24SAnders Carlsson llvm::Constant *CodeGenModule::GetAddrOfGlobalBlock(const BlockExpr *BE) { 2946a60fa24SAnders Carlsson // Generate the block descriptor. 2956a60fa24SAnders Carlsson const llvm::Type *UnsignedLongTy = Types.ConvertType(Context.UnsignedLongTy); 29692bbd6d4SMike Stump const llvm::IntegerType *IntTy = cast<llvm::IntegerType>( 29792bbd6d4SMike Stump getTypes().ConvertType(getContext().IntTy)); 2986a60fa24SAnders Carlsson 2996a60fa24SAnders Carlsson llvm::Constant *DescriptorFields[2]; 3006a60fa24SAnders Carlsson 3016a60fa24SAnders Carlsson // Reserved 3026a60fa24SAnders Carlsson DescriptorFields[0] = llvm::Constant::getNullValue(UnsignedLongTy); 3036a60fa24SAnders Carlsson 3046a60fa24SAnders Carlsson // Block literal size. For global blocks we just use the size of the generic 3056a60fa24SAnders Carlsson // block literal struct. 3066a60fa24SAnders Carlsson uint64_t BlockLiteralSize = 307005c9a62SMike Stump TheTargetData.getTypeStoreSizeInBits(getGenericBlockLiteralType()) / 8; 3086a60fa24SAnders Carlsson DescriptorFields[1] = llvm::ConstantInt::get(UnsignedLongTy,BlockLiteralSize); 3096a60fa24SAnders Carlsson 3106a60fa24SAnders Carlsson llvm::Constant *DescriptorStruct = 3116a60fa24SAnders Carlsson llvm::ConstantStruct::get(&DescriptorFields[0], 2); 3126a60fa24SAnders Carlsson 3136a60fa24SAnders Carlsson llvm::GlobalVariable *Descriptor = 3146a60fa24SAnders Carlsson new llvm::GlobalVariable(DescriptorStruct->getType(), true, 3156a60fa24SAnders Carlsson llvm::GlobalVariable::InternalLinkage, 3166a60fa24SAnders Carlsson DescriptorStruct, "__block_descriptor_global", 3176a60fa24SAnders Carlsson &getModule()); 3186a60fa24SAnders Carlsson 3196a60fa24SAnders Carlsson // Generate the constants for the block literal. 3206a60fa24SAnders Carlsson llvm::Constant *LiteralFields[5]; 3216a60fa24SAnders Carlsson 3226a60fa24SAnders Carlsson CodeGenFunction::BlockInfo Info(0, "global"); 3236a60fa24SAnders Carlsson llvm::Function *Fn = CodeGenFunction(*this).GenerateBlockFunction(BE, Info); 3246a60fa24SAnders Carlsson 3256a60fa24SAnders Carlsson // isa 326971f9b66SMike Stump LiteralFields[0] = getNSConcreteGlobalBlock(); 3276a60fa24SAnders Carlsson 3286a60fa24SAnders Carlsson // Flags 32985284bacSMike Stump LiteralFields[1] = llvm::ConstantInt::get(IntTy, BLOCK_IS_GLOBAL); 3306a60fa24SAnders Carlsson 3316a60fa24SAnders Carlsson // Reserved 33292bbd6d4SMike Stump LiteralFields[2] = llvm::Constant::getNullValue(IntTy); 3336a60fa24SAnders Carlsson 3346a60fa24SAnders Carlsson // Function 3356a60fa24SAnders Carlsson LiteralFields[3] = Fn; 3366a60fa24SAnders Carlsson 3376a60fa24SAnders Carlsson // Descriptor 3386a60fa24SAnders Carlsson LiteralFields[4] = Descriptor; 3396a60fa24SAnders Carlsson 3406a60fa24SAnders Carlsson llvm::Constant *BlockLiteralStruct = 3416a60fa24SAnders Carlsson llvm::ConstantStruct::get(&LiteralFields[0], 5); 3426a60fa24SAnders Carlsson 3436a60fa24SAnders Carlsson llvm::GlobalVariable *BlockLiteral = 3446a60fa24SAnders Carlsson new llvm::GlobalVariable(BlockLiteralStruct->getType(), true, 3456a60fa24SAnders Carlsson llvm::GlobalVariable::InternalLinkage, 3466a60fa24SAnders Carlsson BlockLiteralStruct, "__block_literal_global", 3476a60fa24SAnders Carlsson &getModule()); 3486a60fa24SAnders Carlsson 3496a60fa24SAnders Carlsson return BlockLiteral; 3506a60fa24SAnders Carlsson } 3516a60fa24SAnders Carlsson 3526a60fa24SAnders Carlsson llvm::Function *CodeGenFunction::GenerateBlockFunction(const BlockExpr *Expr, 3536a60fa24SAnders Carlsson const BlockInfo& Info) 3546a60fa24SAnders Carlsson { 3556a60fa24SAnders Carlsson const FunctionTypeProto *FTy = 3566a60fa24SAnders Carlsson cast<FunctionTypeProto>(Expr->getFunctionType()); 3576a60fa24SAnders Carlsson 3586a60fa24SAnders Carlsson FunctionArgList Args; 3596a60fa24SAnders Carlsson 3606a60fa24SAnders Carlsson const BlockDecl *BD = Expr->getBlockDecl(); 3616a60fa24SAnders Carlsson 3626a60fa24SAnders Carlsson // FIXME: This leaks 3636a60fa24SAnders Carlsson ImplicitParamDecl *SelfDecl = 3646a60fa24SAnders Carlsson ImplicitParamDecl::Create(getContext(), 0, 3656a60fa24SAnders Carlsson SourceLocation(), 0, 3666a60fa24SAnders Carlsson getContext().getPointerType(getContext().VoidTy)); 3676a60fa24SAnders Carlsson 3686a60fa24SAnders Carlsson Args.push_back(std::make_pair(SelfDecl, SelfDecl->getType())); 3696a60fa24SAnders Carlsson 3706a60fa24SAnders Carlsson for (BlockDecl::param_iterator i = BD->param_begin(), 3716a60fa24SAnders Carlsson e = BD->param_end(); i != e; ++i) 3726a60fa24SAnders Carlsson Args.push_back(std::make_pair(*e, (*e)->getType())); 3736a60fa24SAnders Carlsson 3746a60fa24SAnders Carlsson const CGFunctionInfo &FI = 3756a60fa24SAnders Carlsson CGM.getTypes().getFunctionInfo(FTy->getResultType(), Args); 3766a60fa24SAnders Carlsson 3776a60fa24SAnders Carlsson std::string Name = std::string("__block_function_") + Info.NameSuffix; 3786a60fa24SAnders Carlsson 3796a60fa24SAnders Carlsson CodeGenTypes &Types = CGM.getTypes(); 3806a60fa24SAnders Carlsson const llvm::FunctionType *LTy = Types.GetFunctionType(FI, FTy->isVariadic()); 3816a60fa24SAnders Carlsson 3826a60fa24SAnders Carlsson llvm::Function *Fn = 3836a60fa24SAnders Carlsson llvm::Function::Create(LTy, llvm::GlobalValue::InternalLinkage, 3846a60fa24SAnders Carlsson Name, 3856a60fa24SAnders Carlsson &CGM.getModule()); 3866a60fa24SAnders Carlsson 3876a60fa24SAnders Carlsson StartFunction(BD, FTy->getResultType(), Fn, Args, 3886a60fa24SAnders Carlsson Expr->getBody()->getLocEnd()); 3896a60fa24SAnders Carlsson EmitStmt(Expr->getBody()); 3906a60fa24SAnders Carlsson FinishFunction(cast<CompoundStmt>(Expr->getBody())->getRBracLoc()); 3916a60fa24SAnders Carlsson 3926a60fa24SAnders Carlsson return Fn; 3936a60fa24SAnders Carlsson } 394