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