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
49*52197c77SMike Stump   int sz = CGM.getTargetData()
50*52197c77SMike Stump     .getTypeStoreSizeInBits(CGM.getGenericBlockLiteralType()) / 8;
51*52197c77SMike 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 
7885284bacSMike Stump llvm::Constant *CodeGenFunction::BuildBlockLiteralTmp() {
7985284bacSMike Stump   // FIXME: Push up
8085284bacSMike Stump   bool BlockHasCopyDispose = false;
8185284bacSMike Stump   bool insideFunction = false;
8285284bacSMike Stump   bool BlockRefDeclList = false;
8385284bacSMike Stump   bool BlockByrefDeclList = false;
8485284bacSMike Stump 
8585284bacSMike Stump   std::vector<llvm::Constant*> Elts;
8685284bacSMike Stump   llvm::Constant *C;
8785284bacSMike Stump 
8885284bacSMike Stump   bool staticBlockTmp = (BlockRefDeclList == 0
8985284bacSMike Stump                          && BlockByrefDeclList == 0);
9085284bacSMike Stump 
9185284bacSMike Stump   {
9285284bacSMike Stump     // C = BuildBlockStructInitlist();
9385284bacSMike Stump     unsigned int flags = BLOCK_HAS_DESCRIPTOR;
9485284bacSMike Stump 
9585284bacSMike Stump     if (BlockHasCopyDispose)
9685284bacSMike Stump       flags |= BLOCK_HAS_COPY_DISPOSE;
9785284bacSMike Stump 
9885284bacSMike Stump     const llvm::PointerType *PtrToInt8Ty
9985284bacSMike Stump       = llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
10085284bacSMike Stump     // FIXME: static?  What if we start up a new, unrelated module?
10185284bacSMike Stump     // logically we want 1 per module.
10285284bacSMike Stump     static llvm::Constant *NSConcreteGlobalBlock_decl
10385284bacSMike Stump       = new llvm::GlobalVariable(PtrToInt8Ty, false,
10485284bacSMike Stump                                  llvm::GlobalValue::ExternalLinkage,
10585284bacSMike Stump                                  0, "_NSConcreteGlobalBlock",
10685284bacSMike Stump                                  &CGM.getModule());
10785284bacSMike Stump     static llvm::Constant *NSConcreteStackBlock_decl
10885284bacSMike Stump       = new llvm::GlobalVariable(PtrToInt8Ty, false,
10985284bacSMike Stump                                  llvm::GlobalValue::ExternalLinkage,
11085284bacSMike Stump                                  0, "_NSConcreteStackBlock",
11185284bacSMike Stump                                  &CGM.getModule());
11285284bacSMike Stump     C = NSConcreteStackBlock_decl;
11385284bacSMike Stump     if (!insideFunction ||
11485284bacSMike Stump         (!BlockRefDeclList && !BlockByrefDeclList)) {
11585284bacSMike Stump       C = NSConcreteGlobalBlock_decl;
11685284bacSMike Stump       flags |= BLOCK_IS_GLOBAL;
11785284bacSMike Stump     }
11885284bacSMike Stump     C = llvm::ConstantExpr::getBitCast(C, PtrToInt8Ty);
11985284bacSMike Stump     Elts.push_back(C);
12085284bacSMike Stump 
12185284bacSMike Stump     // __flags
12285284bacSMike Stump     const llvm::IntegerType *IntTy = cast<llvm::IntegerType>(
12385284bacSMike Stump       CGM.getTypes().ConvertType(CGM.getContext().IntTy));
12485284bacSMike Stump     C = llvm::ConstantInt::get(IntTy, flags);
12585284bacSMike Stump     Elts.push_back(C);
12685284bacSMike Stump 
12785284bacSMike Stump     // __reserved
12885284bacSMike Stump     C = llvm::ConstantInt::get(IntTy, 0);
12985284bacSMike Stump     Elts.push_back(C);
13085284bacSMike Stump 
13185284bacSMike Stump     // __FuncPtr
13285284bacSMike Stump     // FIXME: Build this up.
13385284bacSMike Stump     Elts.push_back(C);
13485284bacSMike Stump 
13585284bacSMike Stump     // __descriptor
13685284bacSMike Stump     Elts.push_back(BuildDescriptorBlockDecl());
13785284bacSMike Stump 
13885284bacSMike Stump     // FIXME: Add block_original_ref_decl_list and block_byref_decl_list.
13985284bacSMike Stump   }
14085284bacSMike Stump 
14185284bacSMike Stump   C = llvm::ConstantStruct::get(Elts);
14285284bacSMike Stump 
14385284bacSMike Stump   char Name[32];
14485284bacSMike Stump   // FIXME: Boost in CGM?
14585284bacSMike Stump   static int global_unique_count;
14685284bacSMike Stump   sprintf(Name, "__block_holder_tmp_%d", ++global_unique_count);
14785284bacSMike Stump   C = new llvm::GlobalVariable(C->getType(), true,
14885284bacSMike Stump                                llvm::GlobalValue::InternalLinkage,
14985284bacSMike Stump                                C, Name, &CGM.getModule());
15085284bacSMike Stump   return C;
15185284bacSMike Stump }
15285284bacSMike Stump 
15385284bacSMike Stump 
15485284bacSMike Stump 
15585284bacSMike Stump 
156650c932dSMike Stump const llvm::Type *CodeGenModule::getBlockDescriptorType() {
157650c932dSMike Stump   if (BlockDescriptorType)
158650c932dSMike Stump     return BlockDescriptorType;
1592437cbfaSAnders Carlsson 
1602437cbfaSAnders Carlsson   const llvm::Type *UnsignedLongTy =
161650c932dSMike Stump     getTypes().ConvertType(getContext().UnsignedLongTy);
1622437cbfaSAnders Carlsson 
1632437cbfaSAnders Carlsson   // struct __block_descriptor {
1642437cbfaSAnders Carlsson   //   unsigned long reserved;
1652437cbfaSAnders Carlsson   //   unsigned long block_size;
1662437cbfaSAnders Carlsson   // };
167650c932dSMike Stump   BlockDescriptorType = llvm::StructType::get(UnsignedLongTy,
1682437cbfaSAnders Carlsson                                               UnsignedLongTy,
1692437cbfaSAnders Carlsson                                               NULL);
1702437cbfaSAnders Carlsson 
171650c932dSMike Stump   getModule().addTypeName("struct.__block_descriptor",
172650c932dSMike Stump                           BlockDescriptorType);
1732437cbfaSAnders Carlsson 
174650c932dSMike Stump   return BlockDescriptorType;
1752437cbfaSAnders Carlsson }
1762437cbfaSAnders Carlsson 
177005c9a62SMike Stump const llvm::Type *
178005c9a62SMike Stump CodeGenModule::getGenericBlockLiteralType() {
179005c9a62SMike Stump   if (GenericBlockLiteralType)
180005c9a62SMike Stump     return GenericBlockLiteralType;
1812437cbfaSAnders Carlsson 
1822437cbfaSAnders Carlsson   const llvm::Type *Int8PtrTy =
1832437cbfaSAnders Carlsson     llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
1842437cbfaSAnders Carlsson 
1852437cbfaSAnders Carlsson   const llvm::Type *BlockDescPtrTy =
186005c9a62SMike Stump     llvm::PointerType::getUnqual(getBlockDescriptorType());
1872437cbfaSAnders Carlsson 
18892bbd6d4SMike Stump   const llvm::IntegerType *IntTy = cast<llvm::IntegerType>(
18992bbd6d4SMike Stump     getTypes().ConvertType(getContext().IntTy));
19092bbd6d4SMike Stump 
1912437cbfaSAnders Carlsson   // struct __block_literal_generic {
1922437cbfaSAnders Carlsson   //   void *isa;
1932437cbfaSAnders Carlsson   //   int flags;
1942437cbfaSAnders Carlsson   //   int reserved;
1952437cbfaSAnders Carlsson   //   void (*invoke)(void *);
1962437cbfaSAnders Carlsson   //   struct __block_descriptor *descriptor;
1972437cbfaSAnders Carlsson   // };
198005c9a62SMike Stump   GenericBlockLiteralType = llvm::StructType::get(Int8PtrTy,
19992bbd6d4SMike Stump                                                   IntTy,
20092bbd6d4SMike Stump                                                   IntTy,
2012437cbfaSAnders Carlsson                                                   Int8PtrTy,
2022437cbfaSAnders Carlsson                                                   BlockDescPtrTy,
2032437cbfaSAnders Carlsson                                                   NULL);
2042437cbfaSAnders Carlsson 
205005c9a62SMike Stump   getModule().addTypeName("struct.__block_literal_generic",
206005c9a62SMike Stump                           GenericBlockLiteralType);
2072437cbfaSAnders Carlsson 
208005c9a62SMike Stump   return GenericBlockLiteralType;
2092437cbfaSAnders Carlsson }
2102437cbfaSAnders Carlsson 
2112437cbfaSAnders Carlsson /// getBlockFunctionType - Given a BlockPointerType, will return the
2122437cbfaSAnders Carlsson /// function type for the block, including the first block literal argument.
2132437cbfaSAnders Carlsson static QualType getBlockFunctionType(ASTContext &Ctx,
2146a60fa24SAnders Carlsson                                      const BlockPointerType *BPT) {
2152437cbfaSAnders Carlsson   const FunctionTypeProto *FTy = cast<FunctionTypeProto>(BPT->getPointeeType());
2162437cbfaSAnders Carlsson 
2172437cbfaSAnders Carlsson   llvm::SmallVector<QualType, 8> Types;
2182437cbfaSAnders Carlsson   Types.push_back(Ctx.getPointerType(Ctx.VoidTy));
2192437cbfaSAnders Carlsson 
2202437cbfaSAnders Carlsson   for (FunctionTypeProto::arg_type_iterator i = FTy->arg_type_begin(),
2212437cbfaSAnders Carlsson        e = FTy->arg_type_end(); i != e; ++i)
2222437cbfaSAnders Carlsson     Types.push_back(*i);
2232437cbfaSAnders Carlsson 
2242437cbfaSAnders Carlsson   return Ctx.getFunctionType(FTy->getResultType(),
2252437cbfaSAnders Carlsson                              &Types[0], Types.size(),
2262437cbfaSAnders Carlsson                              FTy->isVariadic(), 0);
2272437cbfaSAnders Carlsson }
2282437cbfaSAnders Carlsson 
2296a60fa24SAnders Carlsson RValue CodeGenFunction::EmitBlockCallExpr(const CallExpr* E) {
2302437cbfaSAnders Carlsson   const BlockPointerType *BPT =
2312437cbfaSAnders Carlsson     E->getCallee()->getType()->getAsBlockPointerType();
2322437cbfaSAnders Carlsson 
2332437cbfaSAnders Carlsson   llvm::Value *Callee = EmitScalarExpr(E->getCallee());
2342437cbfaSAnders Carlsson 
2352437cbfaSAnders Carlsson   // Get a pointer to the generic block literal.
2362437cbfaSAnders Carlsson   const llvm::Type *BlockLiteralTy =
237005c9a62SMike Stump     llvm::PointerType::getUnqual(CGM.getGenericBlockLiteralType());
2382437cbfaSAnders Carlsson 
2392437cbfaSAnders Carlsson   // Bitcast the callee to a block literal.
2402437cbfaSAnders Carlsson   llvm::Value *BlockLiteral =
2412437cbfaSAnders Carlsson     Builder.CreateBitCast(Callee, BlockLiteralTy, "block.literal");
2422437cbfaSAnders Carlsson 
2432437cbfaSAnders Carlsson   // Get the function pointer from the literal.
2442437cbfaSAnders Carlsson   llvm::Value *FuncPtr = Builder.CreateStructGEP(BlockLiteral, 3, "tmp");
2452437cbfaSAnders Carlsson   llvm::Value *Func = Builder.CreateLoad(FuncPtr, FuncPtr, "tmp");
2462437cbfaSAnders Carlsson 
2472437cbfaSAnders Carlsson   // Cast the function pointer to the right type.
2482437cbfaSAnders Carlsson   const llvm::Type *BlockFTy =
2492437cbfaSAnders Carlsson     ConvertType(getBlockFunctionType(getContext(), BPT));
2502437cbfaSAnders Carlsson   const llvm::Type *BlockFTyPtr = llvm::PointerType::getUnqual(BlockFTy);
2512437cbfaSAnders Carlsson   Func = Builder.CreateBitCast(Func, BlockFTyPtr);
2522437cbfaSAnders Carlsson 
2532437cbfaSAnders Carlsson   BlockLiteral =
2542437cbfaSAnders Carlsson     Builder.CreateBitCast(BlockLiteral,
2552437cbfaSAnders Carlsson                           llvm::PointerType::getUnqual(llvm::Type::Int8Ty),
2562437cbfaSAnders Carlsson                           "tmp");
2572437cbfaSAnders Carlsson 
2582437cbfaSAnders Carlsson   // Add the block literal.
2592437cbfaSAnders Carlsson   QualType VoidPtrTy = getContext().getPointerType(getContext().VoidTy);
2602437cbfaSAnders Carlsson   CallArgList Args;
2612437cbfaSAnders Carlsson   Args.push_back(std::make_pair(RValue::get(BlockLiteral), VoidPtrTy));
2622437cbfaSAnders Carlsson 
2632437cbfaSAnders Carlsson   // And the rest of the arguments.
2642437cbfaSAnders Carlsson   for (CallExpr::const_arg_iterator i = E->arg_begin(), e = E->arg_end();
2652437cbfaSAnders Carlsson        i != e; ++i)
2662437cbfaSAnders Carlsson     Args.push_back(std::make_pair(EmitAnyExprToTemp(*i),
2672437cbfaSAnders Carlsson                                   i->getType()));
2682437cbfaSAnders Carlsson 
2692437cbfaSAnders Carlsson   // And call the block.
2702437cbfaSAnders Carlsson   return EmitCall(CGM.getTypes().getFunctionInfo(E->getType(), Args),
2712437cbfaSAnders Carlsson                   Func, Args);
2722437cbfaSAnders Carlsson }
2736a60fa24SAnders Carlsson 
2746a60fa24SAnders Carlsson llvm::Constant *CodeGenModule::GetAddrOfGlobalBlock(const BlockExpr *BE) {
2756a60fa24SAnders Carlsson   if (!NSConcreteGlobalBlock) {
2766a60fa24SAnders Carlsson     const llvm::Type *Ty = llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
2776a60fa24SAnders Carlsson 
2786a60fa24SAnders Carlsson     // FIXME: Wee should have a CodeGenModule::AddRuntimeVariable that does the
2796a60fa24SAnders Carlsson     // same thing as CreateRuntimeFunction if there's already a variable with
2806a60fa24SAnders Carlsson     // the same name.
2816a60fa24SAnders Carlsson     NSConcreteGlobalBlock =
2826a60fa24SAnders Carlsson       new llvm::GlobalVariable(Ty, false,
2836a60fa24SAnders Carlsson                               llvm::GlobalVariable::ExternalLinkage, 0,
2846a60fa24SAnders Carlsson                               "_NSConcreteGlobalBlock", &getModule());
2856a60fa24SAnders Carlsson   }
2866a60fa24SAnders Carlsson 
2876a60fa24SAnders Carlsson   // Generate the block descriptor.
2886a60fa24SAnders Carlsson   const llvm::Type *UnsignedLongTy = Types.ConvertType(Context.UnsignedLongTy);
28992bbd6d4SMike Stump   const llvm::IntegerType *IntTy = cast<llvm::IntegerType>(
29092bbd6d4SMike Stump     getTypes().ConvertType(getContext().IntTy));
2916a60fa24SAnders Carlsson 
2926a60fa24SAnders Carlsson   llvm::Constant *DescriptorFields[2];
2936a60fa24SAnders Carlsson 
2946a60fa24SAnders Carlsson   // Reserved
2956a60fa24SAnders Carlsson   DescriptorFields[0] = llvm::Constant::getNullValue(UnsignedLongTy);
2966a60fa24SAnders Carlsson 
2976a60fa24SAnders Carlsson   // Block literal size. For global blocks we just use the size of the generic
2986a60fa24SAnders Carlsson   // block literal struct.
2996a60fa24SAnders Carlsson   uint64_t BlockLiteralSize =
300005c9a62SMike Stump     TheTargetData.getTypeStoreSizeInBits(getGenericBlockLiteralType()) / 8;
3016a60fa24SAnders Carlsson   DescriptorFields[1] = llvm::ConstantInt::get(UnsignedLongTy,BlockLiteralSize);
3026a60fa24SAnders Carlsson 
3036a60fa24SAnders Carlsson   llvm::Constant *DescriptorStruct =
3046a60fa24SAnders Carlsson     llvm::ConstantStruct::get(&DescriptorFields[0], 2);
3056a60fa24SAnders Carlsson 
3066a60fa24SAnders Carlsson   llvm::GlobalVariable *Descriptor =
3076a60fa24SAnders Carlsson     new llvm::GlobalVariable(DescriptorStruct->getType(), true,
3086a60fa24SAnders Carlsson                              llvm::GlobalVariable::InternalLinkage,
3096a60fa24SAnders Carlsson                              DescriptorStruct, "__block_descriptor_global",
3106a60fa24SAnders Carlsson                              &getModule());
3116a60fa24SAnders Carlsson 
3126a60fa24SAnders Carlsson   // Generate the constants for the block literal.
3136a60fa24SAnders Carlsson   llvm::Constant *LiteralFields[5];
3146a60fa24SAnders Carlsson 
3156a60fa24SAnders Carlsson   CodeGenFunction::BlockInfo Info(0, "global");
3166a60fa24SAnders Carlsson   llvm::Function *Fn = CodeGenFunction(*this).GenerateBlockFunction(BE, Info);
3176a60fa24SAnders Carlsson 
3186a60fa24SAnders Carlsson   // isa
3196a60fa24SAnders Carlsson   LiteralFields[0] = NSConcreteGlobalBlock;
3206a60fa24SAnders Carlsson 
3216a60fa24SAnders Carlsson   // Flags
32285284bacSMike Stump   LiteralFields[1] = llvm::ConstantInt::get(IntTy, BLOCK_IS_GLOBAL);
3236a60fa24SAnders Carlsson 
3246a60fa24SAnders Carlsson   // Reserved
32592bbd6d4SMike Stump   LiteralFields[2] = llvm::Constant::getNullValue(IntTy);
3266a60fa24SAnders Carlsson 
3276a60fa24SAnders Carlsson   // Function
3286a60fa24SAnders Carlsson   LiteralFields[3] = Fn;
3296a60fa24SAnders Carlsson 
3306a60fa24SAnders Carlsson   // Descriptor
3316a60fa24SAnders Carlsson   LiteralFields[4] = Descriptor;
3326a60fa24SAnders Carlsson 
3336a60fa24SAnders Carlsson   llvm::Constant *BlockLiteralStruct =
3346a60fa24SAnders Carlsson     llvm::ConstantStruct::get(&LiteralFields[0], 5);
3356a60fa24SAnders Carlsson 
3366a60fa24SAnders Carlsson   llvm::GlobalVariable *BlockLiteral =
3376a60fa24SAnders Carlsson     new llvm::GlobalVariable(BlockLiteralStruct->getType(), true,
3386a60fa24SAnders Carlsson                              llvm::GlobalVariable::InternalLinkage,
3396a60fa24SAnders Carlsson                              BlockLiteralStruct, "__block_literal_global",
3406a60fa24SAnders Carlsson                              &getModule());
3416a60fa24SAnders Carlsson 
3426a60fa24SAnders Carlsson   return BlockLiteral;
3436a60fa24SAnders Carlsson }
3446a60fa24SAnders Carlsson 
3456a60fa24SAnders Carlsson llvm::Function *CodeGenFunction::GenerateBlockFunction(const BlockExpr *Expr,
3466a60fa24SAnders Carlsson                                                        const BlockInfo& Info)
3476a60fa24SAnders Carlsson {
3486a60fa24SAnders Carlsson   const FunctionTypeProto *FTy =
3496a60fa24SAnders Carlsson     cast<FunctionTypeProto>(Expr->getFunctionType());
3506a60fa24SAnders Carlsson 
3516a60fa24SAnders Carlsson   FunctionArgList Args;
3526a60fa24SAnders Carlsson 
3536a60fa24SAnders Carlsson   const BlockDecl *BD = Expr->getBlockDecl();
3546a60fa24SAnders Carlsson 
3556a60fa24SAnders Carlsson   // FIXME: This leaks
3566a60fa24SAnders Carlsson   ImplicitParamDecl *SelfDecl =
3576a60fa24SAnders Carlsson     ImplicitParamDecl::Create(getContext(), 0,
3586a60fa24SAnders Carlsson                               SourceLocation(), 0,
3596a60fa24SAnders Carlsson                               getContext().getPointerType(getContext().VoidTy));
3606a60fa24SAnders Carlsson 
3616a60fa24SAnders Carlsson   Args.push_back(std::make_pair(SelfDecl, SelfDecl->getType()));
3626a60fa24SAnders Carlsson 
3636a60fa24SAnders Carlsson   for (BlockDecl::param_iterator i = BD->param_begin(),
3646a60fa24SAnders Carlsson        e = BD->param_end(); i != e; ++i)
3656a60fa24SAnders Carlsson     Args.push_back(std::make_pair(*e, (*e)->getType()));
3666a60fa24SAnders Carlsson 
3676a60fa24SAnders Carlsson   const CGFunctionInfo &FI =
3686a60fa24SAnders Carlsson     CGM.getTypes().getFunctionInfo(FTy->getResultType(), Args);
3696a60fa24SAnders Carlsson 
3706a60fa24SAnders Carlsson   std::string Name = std::string("__block_function_") + Info.NameSuffix;
3716a60fa24SAnders Carlsson 
3726a60fa24SAnders Carlsson   CodeGenTypes &Types = CGM.getTypes();
3736a60fa24SAnders Carlsson   const llvm::FunctionType *LTy = Types.GetFunctionType(FI, FTy->isVariadic());
3746a60fa24SAnders Carlsson 
3756a60fa24SAnders Carlsson   llvm::Function *Fn =
3766a60fa24SAnders Carlsson     llvm::Function::Create(LTy, llvm::GlobalValue::InternalLinkage,
3776a60fa24SAnders Carlsson                            Name,
3786a60fa24SAnders Carlsson                            &CGM.getModule());
3796a60fa24SAnders Carlsson 
3806a60fa24SAnders Carlsson   StartFunction(BD, FTy->getResultType(), Fn, Args,
3816a60fa24SAnders Carlsson                 Expr->getBody()->getLocEnd());
3826a60fa24SAnders Carlsson   EmitStmt(Expr->getBody());
3836a60fa24SAnders Carlsson   FinishFunction(cast<CompoundStmt>(Expr->getBody())->getRBracLoc());
3846a60fa24SAnders Carlsson 
3856a60fa24SAnders Carlsson   return Fn;
3866a60fa24SAnders Carlsson }
387