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 
33cb2fbcb0SMike Stump llvm::Constant *CodeGenFunction::BuildDescriptorBlockDecl(uint64_t Size) {
3485284bacSMike Stump   const llvm::PointerType *PtrToInt8Ty
3585284bacSMike Stump     = llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
36c2c38331SMike Stump   const llvm::Type *UnsignedLongTy
37c2c38331SMike Stump     = CGM.getTypes().ConvertType(getContext().UnsignedLongTy);
3885284bacSMike Stump   llvm::Constant *C;
3985284bacSMike Stump   std::vector<llvm::Constant*> Elts;
4085284bacSMike Stump 
4185284bacSMike Stump   // reserved
42c2c38331SMike Stump   C = llvm::ConstantInt::get(UnsignedLongTy, 0);
4385284bacSMike Stump   Elts.push_back(C);
4485284bacSMike Stump 
4585284bacSMike Stump   // Size
462ac40a9fSMike Stump   // FIXME: What is the right way to say this doesn't fit?  We should give
472ac40a9fSMike Stump   // a user diagnostic in that case.  Better fix would be to change the
482ac40a9fSMike Stump   // API to size_t.
49cb2fbcb0SMike Stump   C = llvm::ConstantInt::get(UnsignedLongTy, Size);
5085284bacSMike Stump   Elts.push_back(C);
5185284bacSMike Stump 
5285284bacSMike Stump   if (BlockHasCopyDispose) {
5385284bacSMike Stump     // copy_func_helper_decl
54cb2fbcb0SMike Stump     // FIXME: implement
55c2c38331SMike Stump     C = llvm::ConstantInt::get(UnsignedLongTy, 0);
5685284bacSMike Stump     C = llvm::ConstantExpr::getBitCast(C, PtrToInt8Ty);
5785284bacSMike Stump     Elts.push_back(C);
5885284bacSMike Stump 
5985284bacSMike Stump     // destroy_func_decl
60cb2fbcb0SMike Stump     // FIXME: implement
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   C = new llvm::GlobalVariable(C->getType(), true,
6985284bacSMike Stump                                llvm::GlobalValue::InternalLinkage,
70499ae7ecSMike Stump                                C, "__block_descriptor_tmp", &CGM.getModule());
7185284bacSMike Stump   return C;
7285284bacSMike Stump }
7385284bacSMike Stump 
74971f9b66SMike Stump llvm::Constant *CodeGenModule::getNSConcreteGlobalBlock() {
75971f9b66SMike Stump   if (NSConcreteGlobalBlock)
76971f9b66SMike Stump     return NSConcreteGlobalBlock;
77971f9b66SMike Stump 
78971f9b66SMike Stump   const llvm::PointerType *PtrToInt8Ty
79971f9b66SMike Stump     = llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
8052d9c49dSMike Stump   // FIXME: We should have a CodeGenModule::AddRuntimeVariable that does the
81971f9b66SMike Stump   // same thing as CreateRuntimeFunction if there's already a variable with
82971f9b66SMike Stump   // the same name.
83971f9b66SMike Stump   NSConcreteGlobalBlock
84971f9b66SMike Stump     = new llvm::GlobalVariable(PtrToInt8Ty, false,
85971f9b66SMike Stump                                llvm::GlobalValue::ExternalLinkage,
86971f9b66SMike Stump                                0, "_NSConcreteGlobalBlock",
87971f9b66SMike Stump                                &getModule());
88971f9b66SMike Stump 
89971f9b66SMike Stump   return NSConcreteGlobalBlock;
90971f9b66SMike Stump }
91971f9b66SMike Stump 
927ab278dbSMike Stump llvm::Constant *CodeGenModule::getNSConcreteStackBlock() {
937ab278dbSMike Stump   if (NSConcreteStackBlock)
947ab278dbSMike Stump     return NSConcreteStackBlock;
957ab278dbSMike Stump 
967ab278dbSMike Stump   const llvm::PointerType *PtrToInt8Ty
977ab278dbSMike Stump     = llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
9852d9c49dSMike Stump   // FIXME: We should have a CodeGenModule::AddRuntimeVariable that does the
997ab278dbSMike Stump   // same thing as CreateRuntimeFunction if there's already a variable with
1007ab278dbSMike Stump   // the same name.
1017ab278dbSMike Stump   NSConcreteStackBlock
1027ab278dbSMike Stump     = new llvm::GlobalVariable(PtrToInt8Ty, false,
1037ab278dbSMike Stump                                llvm::GlobalValue::ExternalLinkage,
1047ab278dbSMike Stump                                0, "_NSConcreteStackBlock",
1057ab278dbSMike Stump                                &getModule());
1067ab278dbSMike Stump 
1077ab278dbSMike Stump   return NSConcreteStackBlock;
1087ab278dbSMike Stump }
1097ab278dbSMike Stump 
1105d2534adSMike Stump // FIXME: Push most into CGM, passing down a few bits, like current
1115d2534adSMike Stump // function name.
1122d5a2878SMike Stump llvm::Constant *CodeGenFunction::BuildBlockLiteralTmp(const BlockExpr *BE) {
11385284bacSMike Stump   bool insideFunction = false;
11485284bacSMike Stump   bool BlockRefDeclList = false;
11585284bacSMike Stump   bool BlockByrefDeclList = false;
11685284bacSMike Stump 
11785284bacSMike Stump   std::vector<llvm::Constant*> Elts;
11885284bacSMike Stump   llvm::Constant *C;
11985284bacSMike Stump 
12085284bacSMike Stump   {
12185284bacSMike Stump     // C = BuildBlockStructInitlist();
12285284bacSMike Stump     unsigned int flags = BLOCK_HAS_DESCRIPTOR;
12385284bacSMike Stump 
12485284bacSMike Stump     if (BlockHasCopyDispose)
12585284bacSMike Stump       flags |= BLOCK_HAS_COPY_DISPOSE;
12685284bacSMike Stump 
127499ae7ecSMike Stump     // __isa
1287ab278dbSMike Stump     C = CGM.getNSConcreteStackBlock();
12985284bacSMike Stump     if (!insideFunction ||
13085284bacSMike Stump         (!BlockRefDeclList && !BlockByrefDeclList)) {
131971f9b66SMike Stump       C = CGM.getNSConcreteGlobalBlock();
13285284bacSMike Stump       flags |= BLOCK_IS_GLOBAL;
13385284bacSMike Stump     }
1347ab278dbSMike Stump     const llvm::PointerType *PtrToInt8Ty
1357ab278dbSMike Stump       = llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
13685284bacSMike Stump     C = llvm::ConstantExpr::getBitCast(C, PtrToInt8Ty);
13785284bacSMike Stump     Elts.push_back(C);
13885284bacSMike Stump 
13985284bacSMike Stump     // __flags
14085284bacSMike Stump     const llvm::IntegerType *IntTy = cast<llvm::IntegerType>(
14185284bacSMike Stump       CGM.getTypes().ConvertType(CGM.getContext().IntTy));
14285284bacSMike Stump     C = llvm::ConstantInt::get(IntTy, flags);
14385284bacSMike Stump     Elts.push_back(C);
14485284bacSMike Stump 
14585284bacSMike Stump     // __reserved
14685284bacSMike Stump     C = llvm::ConstantInt::get(IntTy, 0);
14785284bacSMike Stump     Elts.push_back(C);
14885284bacSMike Stump 
1495d2534adSMike Stump     // __invoke
15003868f4eSMike Stump     const char *Name = "";
1512d5a2878SMike Stump     if (const NamedDecl *ND = dyn_cast<NamedDecl>(CurFuncDecl))
152eecd39f2SMike Stump       if (ND->getIdentifier())
1530e7d7b68SMike Stump         Name = ND->getNameAsCString();
1542d5a2878SMike Stump     BlockInfo Info(0, Name);
155cb2fbcb0SMike Stump     uint64_t subBlockSize;
156cb2fbcb0SMike Stump     llvm::Function *Fn
157cb2fbcb0SMike Stump       = CodeGenFunction(*this).GenerateBlockFunction(BE, Info, subBlockSize);
1582d5a2878SMike Stump     Elts.push_back(Fn);
15985284bacSMike Stump 
16085284bacSMike Stump     // __descriptor
161cb2fbcb0SMike Stump     Elts.push_back(BuildDescriptorBlockDecl(subBlockSize));
16285284bacSMike Stump 
16385284bacSMike Stump     // FIXME: Add block_original_ref_decl_list and block_byref_decl_list.
16485284bacSMike Stump   }
16585284bacSMike Stump 
16685284bacSMike Stump   C = llvm::ConstantStruct::get(Elts);
16785284bacSMike Stump 
16885284bacSMike Stump   char Name[32];
1699319db8aSMike Stump   sprintf(Name, "__block_holder_tmp_%d", CGM.getGlobalUniqueCount());
17085284bacSMike Stump   C = new llvm::GlobalVariable(C->getType(), true,
17185284bacSMike Stump                                llvm::GlobalValue::InternalLinkage,
17285284bacSMike Stump                                C, Name, &CGM.getModule());
1735d2534adSMike Stump   QualType BPT = BE->getType();
1745d2534adSMike Stump   C = llvm::ConstantExpr::getBitCast(C, ConvertType(BPT));
17585284bacSMike Stump   return C;
17685284bacSMike Stump }
17785284bacSMike Stump 
17885284bacSMike Stump 
17985284bacSMike Stump 
18085284bacSMike Stump 
181650c932dSMike Stump const llvm::Type *CodeGenModule::getBlockDescriptorType() {
182650c932dSMike Stump   if (BlockDescriptorType)
183650c932dSMike Stump     return BlockDescriptorType;
1842437cbfaSAnders Carlsson 
1852437cbfaSAnders Carlsson   const llvm::Type *UnsignedLongTy =
186650c932dSMike Stump     getTypes().ConvertType(getContext().UnsignedLongTy);
1872437cbfaSAnders Carlsson 
1882437cbfaSAnders Carlsson   // struct __block_descriptor {
1892437cbfaSAnders Carlsson   //   unsigned long reserved;
1902437cbfaSAnders Carlsson   //   unsigned long block_size;
1912437cbfaSAnders Carlsson   // };
192650c932dSMike Stump   BlockDescriptorType = llvm::StructType::get(UnsignedLongTy,
1932437cbfaSAnders Carlsson                                               UnsignedLongTy,
1942437cbfaSAnders Carlsson                                               NULL);
1952437cbfaSAnders Carlsson 
196650c932dSMike Stump   getModule().addTypeName("struct.__block_descriptor",
197650c932dSMike Stump                           BlockDescriptorType);
1982437cbfaSAnders Carlsson 
199650c932dSMike Stump   return BlockDescriptorType;
2002437cbfaSAnders Carlsson }
2012437cbfaSAnders Carlsson 
202005c9a62SMike Stump const llvm::Type *
203005c9a62SMike Stump CodeGenModule::getGenericBlockLiteralType() {
204005c9a62SMike Stump   if (GenericBlockLiteralType)
205005c9a62SMike Stump     return GenericBlockLiteralType;
2062437cbfaSAnders Carlsson 
2072437cbfaSAnders Carlsson   const llvm::Type *Int8PtrTy =
2082437cbfaSAnders Carlsson     llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
2092437cbfaSAnders Carlsson 
2102437cbfaSAnders Carlsson   const llvm::Type *BlockDescPtrTy =
211005c9a62SMike Stump     llvm::PointerType::getUnqual(getBlockDescriptorType());
2122437cbfaSAnders Carlsson 
21392bbd6d4SMike Stump   const llvm::IntegerType *IntTy = cast<llvm::IntegerType>(
21492bbd6d4SMike Stump     getTypes().ConvertType(getContext().IntTy));
21592bbd6d4SMike Stump 
2162437cbfaSAnders Carlsson   // struct __block_literal_generic {
2175d2534adSMike Stump   //   void *__isa;
2185d2534adSMike Stump   //   int __flags;
2195d2534adSMike Stump   //   int __reserved;
2205d2534adSMike Stump   //   void (*__invoke)(void *);
2215d2534adSMike Stump   //   struct __block_descriptor *__descriptor;
2222437cbfaSAnders Carlsson   // };
223005c9a62SMike Stump   GenericBlockLiteralType = llvm::StructType::get(Int8PtrTy,
22492bbd6d4SMike Stump                                                   IntTy,
22592bbd6d4SMike Stump                                                   IntTy,
2262437cbfaSAnders Carlsson                                                   Int8PtrTy,
2272437cbfaSAnders Carlsson                                                   BlockDescPtrTy,
2282437cbfaSAnders Carlsson                                                   NULL);
2292437cbfaSAnders Carlsson 
230005c9a62SMike Stump   getModule().addTypeName("struct.__block_literal_generic",
231005c9a62SMike Stump                           GenericBlockLiteralType);
2322437cbfaSAnders Carlsson 
233005c9a62SMike Stump   return GenericBlockLiteralType;
2342437cbfaSAnders Carlsson }
2352437cbfaSAnders Carlsson 
2365d2534adSMike Stump const llvm::Type *
2375d2534adSMike Stump CodeGenModule::getGenericExtendedBlockLiteralType() {
2385d2534adSMike Stump   if (GenericExtendedBlockLiteralType)
2395d2534adSMike Stump     return GenericExtendedBlockLiteralType;
2405d2534adSMike Stump 
2415d2534adSMike Stump   const llvm::Type *Int8PtrTy =
2425d2534adSMike Stump     llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
2435d2534adSMike Stump 
2445d2534adSMike Stump   const llvm::Type *BlockDescPtrTy =
2455d2534adSMike Stump     llvm::PointerType::getUnqual(getBlockDescriptorType());
2465d2534adSMike Stump 
2475d2534adSMike Stump   const llvm::IntegerType *IntTy = cast<llvm::IntegerType>(
2485d2534adSMike Stump     getTypes().ConvertType(getContext().IntTy));
2495d2534adSMike Stump 
2505d2534adSMike Stump   // struct __block_literal_generic {
2515d2534adSMike Stump   //   void *__isa;
2525d2534adSMike Stump   //   int __flags;
2535d2534adSMike Stump   //   int __reserved;
2545d2534adSMike Stump   //   void (*__invoke)(void *);
2555d2534adSMike Stump   //   struct __block_descriptor *__descriptor;
2565d2534adSMike Stump   //   void *__copy_func_helper_decl;
2575d2534adSMike Stump   //   void *__destroy_func_decl;
2585d2534adSMike Stump   // };
2595d2534adSMike Stump   GenericExtendedBlockLiteralType = llvm::StructType::get(Int8PtrTy,
2605d2534adSMike Stump                                                           IntTy,
2615d2534adSMike Stump                                                           IntTy,
2625d2534adSMike Stump                                                           Int8PtrTy,
2635d2534adSMike Stump                                                           BlockDescPtrTy,
2645d2534adSMike Stump                                                           Int8PtrTy,
2655d2534adSMike Stump                                                           Int8PtrTy,
2665d2534adSMike Stump                                                           NULL);
2675d2534adSMike Stump 
2685d2534adSMike Stump   getModule().addTypeName("struct.__block_literal_extended_generic",
2695d2534adSMike Stump                           GenericExtendedBlockLiteralType);
2705d2534adSMike Stump 
2715d2534adSMike Stump   return GenericExtendedBlockLiteralType;
2725d2534adSMike Stump }
2735d2534adSMike Stump 
2742437cbfaSAnders Carlsson /// getBlockFunctionType - Given a BlockPointerType, will return the
2752437cbfaSAnders Carlsson /// function type for the block, including the first block literal argument.
2762437cbfaSAnders Carlsson static QualType getBlockFunctionType(ASTContext &Ctx,
2776a60fa24SAnders Carlsson                                      const BlockPointerType *BPT) {
2782437cbfaSAnders Carlsson   const FunctionTypeProto *FTy = cast<FunctionTypeProto>(BPT->getPointeeType());
2792437cbfaSAnders Carlsson 
2802437cbfaSAnders Carlsson   llvm::SmallVector<QualType, 8> Types;
2812437cbfaSAnders Carlsson   Types.push_back(Ctx.getPointerType(Ctx.VoidTy));
2822437cbfaSAnders Carlsson 
2832437cbfaSAnders Carlsson   for (FunctionTypeProto::arg_type_iterator i = FTy->arg_type_begin(),
2842437cbfaSAnders Carlsson        e = FTy->arg_type_end(); i != e; ++i)
2852437cbfaSAnders Carlsson     Types.push_back(*i);
2862437cbfaSAnders Carlsson 
2872437cbfaSAnders Carlsson   return Ctx.getFunctionType(FTy->getResultType(),
2882437cbfaSAnders Carlsson                              &Types[0], Types.size(),
2892437cbfaSAnders Carlsson                              FTy->isVariadic(), 0);
2902437cbfaSAnders Carlsson }
2912437cbfaSAnders Carlsson 
2926a60fa24SAnders Carlsson RValue CodeGenFunction::EmitBlockCallExpr(const CallExpr* E) {
2932437cbfaSAnders Carlsson   const BlockPointerType *BPT =
2942437cbfaSAnders Carlsson     E->getCallee()->getType()->getAsBlockPointerType();
2952437cbfaSAnders Carlsson 
2962437cbfaSAnders Carlsson   llvm::Value *Callee = EmitScalarExpr(E->getCallee());
2972437cbfaSAnders Carlsson 
2982437cbfaSAnders Carlsson   // Get a pointer to the generic block literal.
2992437cbfaSAnders Carlsson   const llvm::Type *BlockLiteralTy =
300005c9a62SMike Stump     llvm::PointerType::getUnqual(CGM.getGenericBlockLiteralType());
3012437cbfaSAnders Carlsson 
3022437cbfaSAnders Carlsson   // Bitcast the callee to a block literal.
3032437cbfaSAnders Carlsson   llvm::Value *BlockLiteral =
3042437cbfaSAnders Carlsson     Builder.CreateBitCast(Callee, BlockLiteralTy, "block.literal");
3052437cbfaSAnders Carlsson 
3062437cbfaSAnders Carlsson   // Get the function pointer from the literal.
3072437cbfaSAnders Carlsson   llvm::Value *FuncPtr = Builder.CreateStructGEP(BlockLiteral, 3, "tmp");
308*624497c2SMike Stump   llvm::Value *Func = Builder.CreateLoad(FuncPtr, false, "tmp");
3092437cbfaSAnders Carlsson 
3102437cbfaSAnders Carlsson   // Cast the function pointer to the right type.
3112437cbfaSAnders Carlsson   const llvm::Type *BlockFTy =
3122437cbfaSAnders Carlsson     ConvertType(getBlockFunctionType(getContext(), BPT));
3132437cbfaSAnders Carlsson   const llvm::Type *BlockFTyPtr = llvm::PointerType::getUnqual(BlockFTy);
3142437cbfaSAnders Carlsson   Func = Builder.CreateBitCast(Func, BlockFTyPtr);
3152437cbfaSAnders Carlsson 
3162437cbfaSAnders Carlsson   BlockLiteral =
3172437cbfaSAnders Carlsson     Builder.CreateBitCast(BlockLiteral,
3182437cbfaSAnders Carlsson                           llvm::PointerType::getUnqual(llvm::Type::Int8Ty),
3192437cbfaSAnders Carlsson                           "tmp");
3202437cbfaSAnders Carlsson 
3212437cbfaSAnders Carlsson   // Add the block literal.
3222437cbfaSAnders Carlsson   QualType VoidPtrTy = getContext().getPointerType(getContext().VoidTy);
3232437cbfaSAnders Carlsson   CallArgList Args;
3242437cbfaSAnders Carlsson   Args.push_back(std::make_pair(RValue::get(BlockLiteral), VoidPtrTy));
3252437cbfaSAnders Carlsson 
3262437cbfaSAnders Carlsson   // And the rest of the arguments.
3272437cbfaSAnders Carlsson   for (CallExpr::const_arg_iterator i = E->arg_begin(), e = E->arg_end();
3282437cbfaSAnders Carlsson        i != e; ++i)
3292437cbfaSAnders Carlsson     Args.push_back(std::make_pair(EmitAnyExprToTemp(*i),
3302437cbfaSAnders Carlsson                                   i->getType()));
3312437cbfaSAnders Carlsson 
3322437cbfaSAnders Carlsson   // And call the block.
3332437cbfaSAnders Carlsson   return EmitCall(CGM.getTypes().getFunctionInfo(E->getType(), Args),
3342437cbfaSAnders Carlsson                   Func, Args);
3352437cbfaSAnders Carlsson }
3366a60fa24SAnders Carlsson 
3372d5a2878SMike Stump llvm::Constant *
3380e7d7b68SMike Stump CodeGenModule::GetAddrOfGlobalBlock(const BlockExpr *BE, const char * n) {
3396a60fa24SAnders Carlsson   // Generate the block descriptor.
3406a60fa24SAnders Carlsson   const llvm::Type *UnsignedLongTy = Types.ConvertType(Context.UnsignedLongTy);
34192bbd6d4SMike Stump   const llvm::IntegerType *IntTy = cast<llvm::IntegerType>(
34292bbd6d4SMike Stump     getTypes().ConvertType(getContext().IntTy));
3436a60fa24SAnders Carlsson 
3446a60fa24SAnders Carlsson   llvm::Constant *DescriptorFields[2];
3456a60fa24SAnders Carlsson 
3466a60fa24SAnders Carlsson   // Reserved
3476a60fa24SAnders Carlsson   DescriptorFields[0] = llvm::Constant::getNullValue(UnsignedLongTy);
3486a60fa24SAnders Carlsson 
3496a60fa24SAnders Carlsson   // Block literal size. For global blocks we just use the size of the generic
3506a60fa24SAnders Carlsson   // block literal struct.
3516a60fa24SAnders Carlsson   uint64_t BlockLiteralSize =
352005c9a62SMike Stump     TheTargetData.getTypeStoreSizeInBits(getGenericBlockLiteralType()) / 8;
3536a60fa24SAnders Carlsson   DescriptorFields[1] = llvm::ConstantInt::get(UnsignedLongTy,BlockLiteralSize);
3546a60fa24SAnders Carlsson 
3556a60fa24SAnders Carlsson   llvm::Constant *DescriptorStruct =
3566a60fa24SAnders Carlsson     llvm::ConstantStruct::get(&DescriptorFields[0], 2);
3576a60fa24SAnders Carlsson 
3586a60fa24SAnders Carlsson   llvm::GlobalVariable *Descriptor =
3596a60fa24SAnders Carlsson     new llvm::GlobalVariable(DescriptorStruct->getType(), true,
3606a60fa24SAnders Carlsson                              llvm::GlobalVariable::InternalLinkage,
3616a60fa24SAnders Carlsson                              DescriptorStruct, "__block_descriptor_global",
3626a60fa24SAnders Carlsson                              &getModule());
3636a60fa24SAnders Carlsson 
3646a60fa24SAnders Carlsson   // Generate the constants for the block literal.
3656a60fa24SAnders Carlsson   llvm::Constant *LiteralFields[5];
3666a60fa24SAnders Carlsson 
3672d5a2878SMike Stump   CodeGenFunction::BlockInfo Info(0, n);
368cb2fbcb0SMike Stump   uint64_t subBlockSize;
369cb2fbcb0SMike Stump   llvm::Function *Fn
370cb2fbcb0SMike Stump     = CodeGenFunction(*this).GenerateBlockFunction(BE, Info, subBlockSize);
371cb2fbcb0SMike Stump   assert(subBlockSize == BlockLiteralSize
372cb2fbcb0SMike Stump          && "no imports allowed for global block");
3736a60fa24SAnders Carlsson 
3746a60fa24SAnders Carlsson   // isa
375971f9b66SMike Stump   LiteralFields[0] = getNSConcreteGlobalBlock();
3766a60fa24SAnders Carlsson 
3776a60fa24SAnders Carlsson   // Flags
37885284bacSMike Stump   LiteralFields[1] = llvm::ConstantInt::get(IntTy, BLOCK_IS_GLOBAL);
3796a60fa24SAnders Carlsson 
3806a60fa24SAnders Carlsson   // Reserved
38192bbd6d4SMike Stump   LiteralFields[2] = llvm::Constant::getNullValue(IntTy);
3826a60fa24SAnders Carlsson 
3836a60fa24SAnders Carlsson   // Function
3846a60fa24SAnders Carlsson   LiteralFields[3] = Fn;
3856a60fa24SAnders Carlsson 
3866a60fa24SAnders Carlsson   // Descriptor
3876a60fa24SAnders Carlsson   LiteralFields[4] = Descriptor;
3886a60fa24SAnders Carlsson 
3896a60fa24SAnders Carlsson   llvm::Constant *BlockLiteralStruct =
3906a60fa24SAnders Carlsson     llvm::ConstantStruct::get(&LiteralFields[0], 5);
3916a60fa24SAnders Carlsson 
3926a60fa24SAnders Carlsson   llvm::GlobalVariable *BlockLiteral =
3936a60fa24SAnders Carlsson     new llvm::GlobalVariable(BlockLiteralStruct->getType(), true,
3946a60fa24SAnders Carlsson                              llvm::GlobalVariable::InternalLinkage,
3956a60fa24SAnders Carlsson                              BlockLiteralStruct, "__block_literal_global",
3966a60fa24SAnders Carlsson                              &getModule());
3976a60fa24SAnders Carlsson 
3986a60fa24SAnders Carlsson   return BlockLiteral;
3996a60fa24SAnders Carlsson }
4006a60fa24SAnders Carlsson 
401cb2fbcb0SMike Stump llvm::Value *CodeGenFunction::LoadBlockStruct() {
402cb2fbcb0SMike Stump   return Builder.CreateLoad(LocalDeclMap[getBlockStructDecl()], "self");
403cb2fbcb0SMike Stump }
404cb2fbcb0SMike Stump 
4056a60fa24SAnders Carlsson llvm::Function *CodeGenFunction::GenerateBlockFunction(const BlockExpr *Expr,
406cb2fbcb0SMike Stump                                                        const BlockInfo& Info,
407cb2fbcb0SMike Stump                                                        uint64_t &Size) {
4086a60fa24SAnders Carlsson   const FunctionTypeProto *FTy =
4096a60fa24SAnders Carlsson     cast<FunctionTypeProto>(Expr->getFunctionType());
4106a60fa24SAnders Carlsson 
4116a60fa24SAnders Carlsson   FunctionArgList Args;
4126a60fa24SAnders Carlsson 
4136a60fa24SAnders Carlsson   const BlockDecl *BD = Expr->getBlockDecl();
4146a60fa24SAnders Carlsson 
4156a60fa24SAnders Carlsson   // FIXME: This leaks
4166a60fa24SAnders Carlsson   ImplicitParamDecl *SelfDecl =
4176a60fa24SAnders Carlsson     ImplicitParamDecl::Create(getContext(), 0,
4186a60fa24SAnders Carlsson                               SourceLocation(), 0,
4196a60fa24SAnders Carlsson                               getContext().getPointerType(getContext().VoidTy));
4206a60fa24SAnders Carlsson 
4216a60fa24SAnders Carlsson   Args.push_back(std::make_pair(SelfDecl, SelfDecl->getType()));
422cb2fbcb0SMike Stump   BlockStructDecl = SelfDecl;
4236a60fa24SAnders Carlsson 
4246a60fa24SAnders Carlsson   for (BlockDecl::param_iterator i = BD->param_begin(),
4256a60fa24SAnders Carlsson        e = BD->param_end(); i != e; ++i)
426eecd39f2SMike Stump     Args.push_back(std::make_pair(*i, (*i)->getType()));
4276a60fa24SAnders Carlsson 
4286a60fa24SAnders Carlsson   const CGFunctionInfo &FI =
4296a60fa24SAnders Carlsson     CGM.getTypes().getFunctionInfo(FTy->getResultType(), Args);
4306a60fa24SAnders Carlsson 
4312d5a2878SMike Stump   std::string Name = std::string("__") + Info.Name + "_block_invoke_";
4326a60fa24SAnders Carlsson   CodeGenTypes &Types = CGM.getTypes();
4336a60fa24SAnders Carlsson   const llvm::FunctionType *LTy = Types.GetFunctionType(FI, FTy->isVariadic());
4346a60fa24SAnders Carlsson 
4356a60fa24SAnders Carlsson   llvm::Function *Fn =
4366a60fa24SAnders Carlsson     llvm::Function::Create(LTy, llvm::GlobalValue::InternalLinkage,
4376a60fa24SAnders Carlsson                            Name,
4386a60fa24SAnders Carlsson                            &CGM.getModule());
4396a60fa24SAnders Carlsson 
4406a60fa24SAnders Carlsson   StartFunction(BD, FTy->getResultType(), Fn, Args,
4416a60fa24SAnders Carlsson                 Expr->getBody()->getLocEnd());
4426a60fa24SAnders Carlsson   EmitStmt(Expr->getBody());
4436a60fa24SAnders Carlsson   FinishFunction(cast<CompoundStmt>(Expr->getBody())->getRBracLoc());
4446a60fa24SAnders Carlsson 
445cb2fbcb0SMike Stump   Size = BlockOffset;
446cb2fbcb0SMike Stump 
4476a60fa24SAnders Carlsson   return Fn;
4486a60fa24SAnders Carlsson }
449