blob: 20398d463cf8ab08c38e1f7b037b586f6ff8e31c [file] [log] [blame]
Anders Carlssonacfde802009-02-12 00:39:25 +00001//===--- CGBlocks.cpp - Emit LLVM Code for declarations -------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This contains code to emit blocks.
11//
12//===----------------------------------------------------------------------===//
13
14#include "CodeGenFunction.h"
15#include "CodeGenModule.h"
16#include "llvm/Module.h"
Anders Carlssond5cab542009-02-12 17:55:02 +000017#include "llvm/Target/TargetData.h"
Anders Carlssonacfde802009-02-12 00:39:25 +000018
19#include <algorithm>
20
21using namespace clang;
22using namespace CodeGen;
23
Mike Stump58919e12009-03-04 13:17:22 +000024// Temporary code to enable testing of __block variables
25// #include "clang/Frontend/CompileOptions.h"
26#include "llvm/Support/CommandLine.h"
27static llvm::cl::opt<bool>
28Enable__block("f__block",
29 // See all the FIXMEs for the various work that needs to be done
30 llvm::cl::desc("temporary option to turn on __block precessing "
31 "even though the code isn't done yet"),
32 llvm::cl::ValueDisallowed, llvm::cl::AllowInverse,
Mike Stump00470a12009-03-05 08:32:30 +000033 llvm::cl::ZeroOrMore,
34 llvm::cl::init(false));
Mike Stump58919e12009-03-04 13:17:22 +000035
Mike Stump4e7a1f72009-02-21 20:00:35 +000036llvm::Constant *CodeGenFunction::BuildDescriptorBlockDecl(uint64_t Size) {
Mike Stump56129b12009-02-13 16:55:51 +000037 const llvm::Type *UnsignedLongTy
38 = CGM.getTypes().ConvertType(getContext().UnsignedLongTy);
Mike Stumpe5fee252009-02-13 16:19:19 +000039 llvm::Constant *C;
40 std::vector<llvm::Constant*> Elts;
41
42 // reserved
Mike Stump56129b12009-02-13 16:55:51 +000043 C = llvm::ConstantInt::get(UnsignedLongTy, 0);
Mike Stumpe5fee252009-02-13 16:19:19 +000044 Elts.push_back(C);
45
46 // Size
Mike Stumpd6840002009-02-21 20:07:44 +000047 // FIXME: What is the right way to say this doesn't fit? We should give
48 // a user diagnostic in that case. Better fix would be to change the
49 // API to size_t.
Mike Stump4e7a1f72009-02-21 20:00:35 +000050 C = llvm::ConstantInt::get(UnsignedLongTy, Size);
Mike Stumpe5fee252009-02-13 16:19:19 +000051 Elts.push_back(C);
52
53 if (BlockHasCopyDispose) {
54 // copy_func_helper_decl
Mike Stump45031c02009-03-06 02:29:21 +000055 Elts.push_back(BuildCopyHelper());
Mike Stumpe5fee252009-02-13 16:19:19 +000056
57 // destroy_func_decl
Mike Stump45031c02009-03-06 02:29:21 +000058 Elts.push_back(BuildDestroyHelper());
Mike Stumpe5fee252009-02-13 16:19:19 +000059 }
60
61 C = llvm::ConstantStruct::get(Elts);
62
Mike Stumpe5fee252009-02-13 16:19:19 +000063 C = new llvm::GlobalVariable(C->getType(), true,
64 llvm::GlobalValue::InternalLinkage,
Mike Stump7d6dc4f2009-02-13 20:17:16 +000065 C, "__block_descriptor_tmp", &CGM.getModule());
Mike Stumpe5fee252009-02-13 16:19:19 +000066 return C;
67}
68
Mike Stump2a998142009-03-04 18:17:45 +000069llvm::Constant *BlockModule::getNSConcreteGlobalBlock() {
Mike Stumpf99f1d02009-02-13 17:23:42 +000070 if (NSConcreteGlobalBlock)
71 return NSConcreteGlobalBlock;
72
Mike Stumpf7448952009-02-13 19:38:12 +000073 // FIXME: We should have a CodeGenModule::AddRuntimeVariable that does the
Mike Stump58a85142009-03-04 22:48:06 +000074 // same thing as CreateRuntimeFunction if there's already a variable with the
75 // same name.
Mike Stumpf99f1d02009-02-13 17:23:42 +000076 NSConcreteGlobalBlock
Mike Stump00470a12009-03-05 08:32:30 +000077 = new llvm::GlobalVariable(PtrToInt8Ty, false,
Mike Stumpf99f1d02009-02-13 17:23:42 +000078 llvm::GlobalValue::ExternalLinkage,
79 0, "_NSConcreteGlobalBlock",
80 &getModule());
81
82 return NSConcreteGlobalBlock;
83}
84
Mike Stump2a998142009-03-04 18:17:45 +000085llvm::Constant *BlockModule::getNSConcreteStackBlock() {
Mike Stump59c5b112009-02-13 19:29:27 +000086 if (NSConcreteStackBlock)
87 return NSConcreteStackBlock;
88
Mike Stumpf7448952009-02-13 19:38:12 +000089 // FIXME: We should have a CodeGenModule::AddRuntimeVariable that does the
Mike Stump58a85142009-03-04 22:48:06 +000090 // same thing as CreateRuntimeFunction if there's already a variable with the
91 // same name.
Mike Stump59c5b112009-02-13 19:29:27 +000092 NSConcreteStackBlock
Mike Stump00470a12009-03-05 08:32:30 +000093 = new llvm::GlobalVariable(PtrToInt8Ty, false,
Mike Stump59c5b112009-02-13 19:29:27 +000094 llvm::GlobalValue::ExternalLinkage,
95 0, "_NSConcreteStackBlock",
96 &getModule());
97
98 return NSConcreteStackBlock;
99}
100
Mike Stump00470a12009-03-05 08:32:30 +0000101static void CollectBlockDeclRefInfo(const Stmt *S,
Anders Carlsson4de9fce2009-03-01 01:09:12 +0000102 CodeGenFunction::BlockInfo &Info) {
103 for (Stmt::const_child_iterator I = S->child_begin(), E = S->child_end();
104 I != E; ++I)
Daniel Dunbar82573ee2009-03-02 07:00:57 +0000105 if (*I)
106 CollectBlockDeclRefInfo(*I, Info);
Mike Stump00470a12009-03-05 08:32:30 +0000107
Anders Carlsson4de9fce2009-03-01 01:09:12 +0000108 if (const BlockDeclRefExpr *DE = dyn_cast<BlockDeclRefExpr>(S)) {
109 // FIXME: Handle enums.
110 if (isa<FunctionDecl>(DE->getDecl()))
111 return;
Mike Stump00470a12009-03-05 08:32:30 +0000112
Anders Carlsson4de9fce2009-03-01 01:09:12 +0000113 if (DE->isByRef())
114 Info.ByRefDeclRefs.push_back(DE);
115 else
116 Info.ByCopyDeclRefs.push_back(DE);
117 }
118}
119
Mike Stump58a85142009-03-04 22:48:06 +0000120/// CanBlockBeGlobal - Given a BlockInfo struct, determines if a block can be
121/// declared as a global variable instead of on the stack.
Anders Carlsson4de9fce2009-03-01 01:09:12 +0000122static bool CanBlockBeGlobal(const CodeGenFunction::BlockInfo &Info)
123{
124 return Info.ByRefDeclRefs.empty() && Info.ByCopyDeclRefs.empty();
125}
126
Mike Stump58a85142009-03-04 22:48:06 +0000127// FIXME: Push most into CGM, passing down a few bits, like current function
128// name.
Mike Stump8a2b4b12009-02-25 23:33:13 +0000129llvm::Value *CodeGenFunction::BuildBlockLiteralTmp(const BlockExpr *BE) {
Mike Stumpe5fee252009-02-13 16:19:19 +0000130
Anders Carlsson4de9fce2009-03-01 01:09:12 +0000131 std::string Name = CurFn->getName();
132 CodeGenFunction::BlockInfo Info(0, Name.c_str());
133 CollectBlockDeclRefInfo(BE->getBody(), Info);
134
135 // Check if the block can be global.
Mike Stump58a85142009-03-04 22:48:06 +0000136 // FIXME: This test doesn't work for nested blocks yet. Longer term, I'd like
137 // to just have one code path. We should move this function into CGM and pass
138 // CGF, then we can just check to see if CGF is 0.
Mike Stumpdab514f2009-03-04 03:23:46 +0000139 if (0 && CanBlockBeGlobal(Info))
Anders Carlsson4de9fce2009-03-01 01:09:12 +0000140 return CGM.GetAddrOfGlobalBlock(BE, Name.c_str());
Mike Stump00470a12009-03-05 08:32:30 +0000141
142 std::vector<llvm::Constant*> Elts(5);
Mike Stumpe5fee252009-02-13 16:19:19 +0000143 llvm::Constant *C;
Mike Stump8a2b4b12009-02-25 23:33:13 +0000144 llvm::Value *V;
Mike Stumpe5fee252009-02-13 16:19:19 +0000145
Mike Stumpe5fee252009-02-13 16:19:19 +0000146 {
147 // C = BuildBlockStructInitlist();
148 unsigned int flags = BLOCK_HAS_DESCRIPTOR;
149
Mike Stump00470a12009-03-05 08:32:30 +0000150 // We run this first so that we set BlockHasCopyDispose from the entire
151 // block literal.
152 // __invoke
153 uint64_t subBlockSize, subBlockAlign;
154 llvm::SmallVector<const Expr *, 8> subBlockDeclRefDecls;
155 llvm::Function *Fn
156 = CodeGenFunction(CGM).GenerateBlockFunction(BE, Info, subBlockSize,
157 subBlockAlign,
158 subBlockDeclRefDecls,
159 BlockHasCopyDispose);
160 Elts[3] = Fn;
161
162 if (!Enable__block && BlockHasCopyDispose)
163 ErrorUnsupported(BE, "block literal that requires copy/dispose");
164
Mike Stumpe5fee252009-02-13 16:19:19 +0000165 if (BlockHasCopyDispose)
166 flags |= BLOCK_HAS_COPY_DISPOSE;
167
Mike Stump7d6dc4f2009-02-13 20:17:16 +0000168 // __isa
Mike Stump59c5b112009-02-13 19:29:27 +0000169 C = CGM.getNSConcreteStackBlock();
Mike Stumpe5fee252009-02-13 16:19:19 +0000170 C = llvm::ConstantExpr::getBitCast(C, PtrToInt8Ty);
Mike Stump00470a12009-03-05 08:32:30 +0000171 Elts[0] = C;
Mike Stumpe5fee252009-02-13 16:19:19 +0000172
173 // __flags
174 const llvm::IntegerType *IntTy = cast<llvm::IntegerType>(
175 CGM.getTypes().ConvertType(CGM.getContext().IntTy));
176 C = llvm::ConstantInt::get(IntTy, flags);
Mike Stump00470a12009-03-05 08:32:30 +0000177 Elts[1] = C;
Mike Stumpe5fee252009-02-13 16:19:19 +0000178
179 // __reserved
180 C = llvm::ConstantInt::get(IntTy, 0);
Mike Stump00470a12009-03-05 08:32:30 +0000181 Elts[2] = C;
Mike Stumpe5fee252009-02-13 16:19:19 +0000182
183 // __descriptor
Mike Stump00470a12009-03-05 08:32:30 +0000184 Elts[4] = BuildDescriptorBlockDecl(subBlockSize);
Mike Stumpe5fee252009-02-13 16:19:19 +0000185
Mike Stump8a2b4b12009-02-25 23:33:13 +0000186 if (subBlockDeclRefDecls.size() == 0) {
Mike Stump5570cfe2009-03-01 20:07:53 +0000187 // Optimize to being a global block.
188 Elts[0] = CGM.getNSConcreteGlobalBlock();
189 Elts[1] = llvm::ConstantInt::get(IntTy, flags|BLOCK_IS_GLOBAL);
190
Mike Stump8a2b4b12009-02-25 23:33:13 +0000191 C = llvm::ConstantStruct::get(Elts);
192
193 char Name[32];
194 sprintf(Name, "__block_holder_tmp_%d", CGM.getGlobalUniqueCount());
195 C = new llvm::GlobalVariable(C->getType(), true,
196 llvm::GlobalValue::InternalLinkage,
197 C, Name, &CGM.getModule());
198 QualType BPT = BE->getType();
199 C = llvm::ConstantExpr::getBitCast(C, ConvertType(BPT));
200 return C;
201 }
Mike Stump00470a12009-03-05 08:32:30 +0000202
Mike Stump8a2b4b12009-02-25 23:33:13 +0000203 std::vector<const llvm::Type *> Types(5+subBlockDeclRefDecls.size());
204 for (int i=0; i<5; ++i)
205 Types[i] = Elts[i]->getType();
206
Mike Stumpa99038c2009-02-28 09:07:16 +0000207 for (unsigned i=0; i < subBlockDeclRefDecls.size(); ++i) {
208 const Expr *E = subBlockDeclRefDecls[i];
209 const BlockDeclRefExpr *BDRE = dyn_cast<BlockDeclRefExpr>(E);
210 QualType Ty = E->getType();
Mike Stumpdab514f2009-03-04 03:23:46 +0000211 if (BDRE && BDRE->isByRef()) {
212 uint64_t Align = getContext().getDeclAlignInBytes(BDRE->getDecl());
213 Types[i+5] = llvm::PointerType::get(BuildByRefType(Ty, Align), 0);
214 } else
215 Types[i+5] = ConvertType(Ty);
Mike Stumpa99038c2009-02-28 09:07:16 +0000216 }
Mike Stump8a2b4b12009-02-25 23:33:13 +0000217
218 llvm::Type *Ty = llvm::StructType::get(Types, true);
219
220 llvm::AllocaInst *A = CreateTempAlloca(Ty);
221 A->setAlignment(subBlockAlign);
222 V = A;
223
224 for (unsigned i=0; i<5; ++i)
225 Builder.CreateStore(Elts[i], Builder.CreateStructGEP(V, i, "block.tmp"));
Mike Stump00470a12009-03-05 08:32:30 +0000226
Mike Stump8a2b4b12009-02-25 23:33:13 +0000227 for (unsigned i=0; i < subBlockDeclRefDecls.size(); ++i)
228 {
Mike Stumpa99038c2009-02-28 09:07:16 +0000229 // FIXME: Push const down.
230 Expr *E = const_cast<Expr*>(subBlockDeclRefDecls[i]);
231 DeclRefExpr *DR;
232 ValueDecl *VD;
Mike Stump8a2b4b12009-02-25 23:33:13 +0000233
Mike Stumpa99038c2009-02-28 09:07:16 +0000234 DR = dyn_cast<DeclRefExpr>(E);
235 // Skip padding.
236 if (DR) continue;
237
238 BlockDeclRefExpr *BDRE = dyn_cast<BlockDeclRefExpr>(E);
239 VD = BDRE->getDecl();
240
Mike Stumpdab514f2009-03-04 03:23:46 +0000241 llvm::Value* Addr = Builder.CreateStructGEP(V, i+5, "tmp");
Mike Stumpa99038c2009-02-28 09:07:16 +0000242 // FIXME: I want a better way to do this.
243 if (LocalDeclMap[VD]) {
Mike Stumpdab514f2009-03-04 03:23:46 +0000244 if (BDRE->isByRef()) {
245 const llvm::Type *Ty = Types[i+5];
246 llvm::Value *Loc = LocalDeclMap[VD];
247 Loc = Builder.CreateStructGEP(Loc, 1, "forwarding");
248 Loc = Builder.CreateLoad(Loc, false);
249 Loc = Builder.CreateBitCast(Loc, Ty);
250 Builder.CreateStore(Loc, Addr);
251 continue;
252 } else
253 E = new (getContext()) DeclRefExpr (cast<NamedDecl>(VD),
254 VD->getType(), SourceLocation(),
255 false, false);
Mike Stumpa99038c2009-02-28 09:07:16 +0000256 }
Mike Stumpdab514f2009-03-04 03:23:46 +0000257 if (BDRE->isByRef()) {
Mike Stumpa99038c2009-02-28 09:07:16 +0000258 E = new (getContext())
259 UnaryOperator(E, UnaryOperator::AddrOf,
260 getContext().getPointerType(E->getType()),
261 SourceLocation());
Mike Stumpdab514f2009-03-04 03:23:46 +0000262 }
Mike Stumpa99038c2009-02-28 09:07:16 +0000263
Mike Stumpa99038c2009-02-28 09:07:16 +0000264 RValue r = EmitAnyExpr(E, Addr, false);
Mike Stumpdab514f2009-03-04 03:23:46 +0000265 if (r.isScalar()) {
266 llvm::Value *Loc = r.getScalarVal();
267 const llvm::Type *Ty = Types[i+5];
268 if (BDRE->isByRef()) {
Mike Stump58a85142009-03-04 22:48:06 +0000269 // E is now the address of the value field, instead, we want the
270 // address of the actual ByRef struct. We optimize this slightly
271 // compared to gcc by not grabbing the forwarding slot as this must
272 // be done during Block_copy for us, and we can postpone the work
273 // until then.
274 uint64_t offset = BlockDecls[BDRE->getDecl()];
Mike Stump00470a12009-03-05 08:32:30 +0000275
Mike Stump58a85142009-03-04 22:48:06 +0000276 llvm::Value *BlockLiteral = LoadBlockStruct();
Mike Stump00470a12009-03-05 08:32:30 +0000277
Mike Stump58a85142009-03-04 22:48:06 +0000278 Loc = Builder.CreateGEP(BlockLiteral,
279 llvm::ConstantInt::get(llvm::Type::Int64Ty,
280 offset),
281 "block.literal");
282 Ty = llvm::PointerType::get(Ty, 0);
Mike Stumpdab514f2009-03-04 03:23:46 +0000283 Loc = Builder.CreateBitCast(Loc, Ty);
Mike Stump58a85142009-03-04 22:48:06 +0000284 Loc = Builder.CreateLoad(Loc, false);
285 // Loc = Builder.CreateBitCast(Loc, Ty);
Mike Stumpdab514f2009-03-04 03:23:46 +0000286 }
287 Builder.CreateStore(Loc, Addr);
288 } else if (r.isComplex())
Mike Stump8a2b4b12009-02-25 23:33:13 +0000289 // FIXME: implement
290 ErrorUnsupported(BE, "complex in block literal");
291 else if (r.isAggregate())
292 ; // Already created into the destination
293 else
294 assert (0 && "bad block variable");
295 // FIXME: Ensure that the offset created by the backend for
296 // the struct matches the previously computed offset in BlockDecls.
297 }
Mike Stumpe5fee252009-02-13 16:19:19 +0000298 }
Mike Stump00470a12009-03-05 08:32:30 +0000299
Mike Stumpbd65cac2009-02-19 01:01:04 +0000300 QualType BPT = BE->getType();
Mike Stump8a2b4b12009-02-25 23:33:13 +0000301 return Builder.CreateBitCast(V, ConvertType(BPT));
Mike Stumpe5fee252009-02-13 16:19:19 +0000302}
303
304
Mike Stump2a998142009-03-04 18:17:45 +0000305const llvm::Type *BlockModule::getBlockDescriptorType() {
Mike Stumpab695142009-02-13 15:16:56 +0000306 if (BlockDescriptorType)
307 return BlockDescriptorType;
308
Mike Stumpa5448542009-02-13 15:32:32 +0000309 const llvm::Type *UnsignedLongTy =
Mike Stumpab695142009-02-13 15:16:56 +0000310 getTypes().ConvertType(getContext().UnsignedLongTy);
Mike Stumpa5448542009-02-13 15:32:32 +0000311
Mike Stumpab695142009-02-13 15:16:56 +0000312 // struct __block_descriptor {
313 // unsigned long reserved;
314 // unsigned long block_size;
315 // };
Mike Stumpa5448542009-02-13 15:32:32 +0000316 BlockDescriptorType = llvm::StructType::get(UnsignedLongTy,
317 UnsignedLongTy,
Mike Stumpab695142009-02-13 15:16:56 +0000318 NULL);
319
320 getModule().addTypeName("struct.__block_descriptor",
321 BlockDescriptorType);
322
323 return BlockDescriptorType;
Anders Carlssonacfde802009-02-12 00:39:25 +0000324}
325
Mike Stump2a998142009-03-04 18:17:45 +0000326const llvm::Type *BlockModule::getGenericBlockLiteralType() {
Mike Stump9b8a7972009-02-13 15:25:34 +0000327 if (GenericBlockLiteralType)
328 return GenericBlockLiteralType;
329
Mike Stumpa5448542009-02-13 15:32:32 +0000330 const llvm::Type *BlockDescPtrTy =
Mike Stump9b8a7972009-02-13 15:25:34 +0000331 llvm::PointerType::getUnqual(getBlockDescriptorType());
Mike Stumpa5448542009-02-13 15:32:32 +0000332
Mike Stump7cbb3602009-02-13 16:01:35 +0000333 const llvm::IntegerType *IntTy = cast<llvm::IntegerType>(
334 getTypes().ConvertType(getContext().IntTy));
335
Mike Stump9b8a7972009-02-13 15:25:34 +0000336 // struct __block_literal_generic {
Mike Stumpbd65cac2009-02-19 01:01:04 +0000337 // void *__isa;
338 // int __flags;
339 // int __reserved;
340 // void (*__invoke)(void *);
341 // struct __block_descriptor *__descriptor;
Mike Stump9b8a7972009-02-13 15:25:34 +0000342 // };
Mike Stump797b6322009-03-05 01:23:13 +0000343 GenericBlockLiteralType = llvm::StructType::get(PtrToInt8Ty,
Mike Stump7cbb3602009-02-13 16:01:35 +0000344 IntTy,
345 IntTy,
Mike Stump797b6322009-03-05 01:23:13 +0000346 PtrToInt8Ty,
Mike Stump9b8a7972009-02-13 15:25:34 +0000347 BlockDescPtrTy,
348 NULL);
Mike Stumpa5448542009-02-13 15:32:32 +0000349
Mike Stump9b8a7972009-02-13 15:25:34 +0000350 getModule().addTypeName("struct.__block_literal_generic",
351 GenericBlockLiteralType);
Mike Stumpa5448542009-02-13 15:32:32 +0000352
Mike Stump9b8a7972009-02-13 15:25:34 +0000353 return GenericBlockLiteralType;
Anders Carlssonacfde802009-02-12 00:39:25 +0000354}
355
Mike Stump2a998142009-03-04 18:17:45 +0000356const llvm::Type *BlockModule::getGenericExtendedBlockLiteralType() {
Mike Stumpbd65cac2009-02-19 01:01:04 +0000357 if (GenericExtendedBlockLiteralType)
358 return GenericExtendedBlockLiteralType;
359
Mike Stumpbd65cac2009-02-19 01:01:04 +0000360 const llvm::Type *BlockDescPtrTy =
361 llvm::PointerType::getUnqual(getBlockDescriptorType());
362
363 const llvm::IntegerType *IntTy = cast<llvm::IntegerType>(
364 getTypes().ConvertType(getContext().IntTy));
365
366 // struct __block_literal_generic {
367 // void *__isa;
368 // int __flags;
369 // int __reserved;
370 // void (*__invoke)(void *);
371 // struct __block_descriptor *__descriptor;
372 // void *__copy_func_helper_decl;
373 // void *__destroy_func_decl;
374 // };
Mike Stump797b6322009-03-05 01:23:13 +0000375 GenericExtendedBlockLiteralType = llvm::StructType::get(PtrToInt8Ty,
Mike Stumpbd65cac2009-02-19 01:01:04 +0000376 IntTy,
377 IntTy,
Mike Stump797b6322009-03-05 01:23:13 +0000378 PtrToInt8Ty,
Mike Stumpbd65cac2009-02-19 01:01:04 +0000379 BlockDescPtrTy,
Mike Stump797b6322009-03-05 01:23:13 +0000380 PtrToInt8Ty,
381 PtrToInt8Ty,
Mike Stumpbd65cac2009-02-19 01:01:04 +0000382 NULL);
383
384 getModule().addTypeName("struct.__block_literal_extended_generic",
385 GenericExtendedBlockLiteralType);
386
387 return GenericExtendedBlockLiteralType;
388}
389
Mike Stumpa5448542009-02-13 15:32:32 +0000390/// getBlockFunctionType - Given a BlockPointerType, will return the
Anders Carlssonacfde802009-02-12 00:39:25 +0000391/// function type for the block, including the first block literal argument.
392static QualType getBlockFunctionType(ASTContext &Ctx,
Anders Carlssond5cab542009-02-12 17:55:02 +0000393 const BlockPointerType *BPT) {
Douglas Gregor72564e72009-02-26 23:50:07 +0000394 const FunctionProtoType *FTy = cast<FunctionProtoType>(BPT->getPointeeType());
Mike Stumpa5448542009-02-13 15:32:32 +0000395
Anders Carlssonacfde802009-02-12 00:39:25 +0000396 llvm::SmallVector<QualType, 8> Types;
397 Types.push_back(Ctx.getPointerType(Ctx.VoidTy));
Mike Stumpa5448542009-02-13 15:32:32 +0000398
Douglas Gregor72564e72009-02-26 23:50:07 +0000399 for (FunctionProtoType::arg_type_iterator i = FTy->arg_type_begin(),
Anders Carlssonacfde802009-02-12 00:39:25 +0000400 e = FTy->arg_type_end(); i != e; ++i)
401 Types.push_back(*i);
Mike Stumpa5448542009-02-13 15:32:32 +0000402
Anders Carlssonacfde802009-02-12 00:39:25 +0000403 return Ctx.getFunctionType(FTy->getResultType(),
Mike Stumpa5448542009-02-13 15:32:32 +0000404 &Types[0], Types.size(),
Anders Carlssonacfde802009-02-12 00:39:25 +0000405 FTy->isVariadic(), 0);
406}
407
Anders Carlssond5cab542009-02-12 17:55:02 +0000408RValue CodeGenFunction::EmitBlockCallExpr(const CallExpr* E) {
Mike Stumpa5448542009-02-13 15:32:32 +0000409 const BlockPointerType *BPT =
Anders Carlssonacfde802009-02-12 00:39:25 +0000410 E->getCallee()->getType()->getAsBlockPointerType();
Mike Stumpa5448542009-02-13 15:32:32 +0000411
Anders Carlssonacfde802009-02-12 00:39:25 +0000412 llvm::Value *Callee = EmitScalarExpr(E->getCallee());
413
414 // Get a pointer to the generic block literal.
415 const llvm::Type *BlockLiteralTy =
Mike Stump9b8a7972009-02-13 15:25:34 +0000416 llvm::PointerType::getUnqual(CGM.getGenericBlockLiteralType());
Anders Carlssonacfde802009-02-12 00:39:25 +0000417
418 // Bitcast the callee to a block literal.
Mike Stumpa5448542009-02-13 15:32:32 +0000419 llvm::Value *BlockLiteral =
Anders Carlssonacfde802009-02-12 00:39:25 +0000420 Builder.CreateBitCast(Callee, BlockLiteralTy, "block.literal");
421
422 // Get the function pointer from the literal.
423 llvm::Value *FuncPtr = Builder.CreateStructGEP(BlockLiteral, 3, "tmp");
Mike Stump20733cd2009-02-22 13:27:11 +0000424 llvm::Value *Func = Builder.CreateLoad(FuncPtr, false, "tmp");
Anders Carlssonacfde802009-02-12 00:39:25 +0000425
426 // Cast the function pointer to the right type.
Mike Stumpa5448542009-02-13 15:32:32 +0000427 const llvm::Type *BlockFTy =
Anders Carlssonacfde802009-02-12 00:39:25 +0000428 ConvertType(getBlockFunctionType(getContext(), BPT));
429 const llvm::Type *BlockFTyPtr = llvm::PointerType::getUnqual(BlockFTy);
430 Func = Builder.CreateBitCast(Func, BlockFTyPtr);
431
Mike Stumpa5448542009-02-13 15:32:32 +0000432 BlockLiteral =
433 Builder.CreateBitCast(BlockLiteral,
Anders Carlssonacfde802009-02-12 00:39:25 +0000434 llvm::PointerType::getUnqual(llvm::Type::Int8Ty),
435 "tmp");
Mike Stumpa5448542009-02-13 15:32:32 +0000436
Anders Carlssonacfde802009-02-12 00:39:25 +0000437 // Add the block literal.
438 QualType VoidPtrTy = getContext().getPointerType(getContext().VoidTy);
439 CallArgList Args;
440 Args.push_back(std::make_pair(RValue::get(BlockLiteral), VoidPtrTy));
Mike Stumpa5448542009-02-13 15:32:32 +0000441
Anders Carlssonacfde802009-02-12 00:39:25 +0000442 // And the rest of the arguments.
Mike Stumpa5448542009-02-13 15:32:32 +0000443 for (CallExpr::const_arg_iterator i = E->arg_begin(), e = E->arg_end();
Anders Carlssonacfde802009-02-12 00:39:25 +0000444 i != e; ++i)
Mike Stumpa5448542009-02-13 15:32:32 +0000445 Args.push_back(std::make_pair(EmitAnyExprToTemp(*i),
Anders Carlssonacfde802009-02-12 00:39:25 +0000446 i->getType()));
Mike Stumpa5448542009-02-13 15:32:32 +0000447
Anders Carlssonacfde802009-02-12 00:39:25 +0000448 // And call the block.
Mike Stumpa5448542009-02-13 15:32:32 +0000449 return EmitCall(CGM.getTypes().getFunctionInfo(E->getType(), Args),
Anders Carlssonacfde802009-02-12 00:39:25 +0000450 Func, Args);
451}
Anders Carlssond5cab542009-02-12 17:55:02 +0000452
Mike Stumpdab514f2009-03-04 03:23:46 +0000453llvm::Value *CodeGenFunction::GetAddrOfBlockDecl(const BlockDeclRefExpr *E) {
454 uint64_t &offset = BlockDecls[E->getDecl()];
455
456 const llvm::Type *Ty;
457 Ty = CGM.getTypes().ConvertType(E->getDecl()->getType());
458
459 // FIXME: add support for copy/dispose helpers.
Mike Stump58919e12009-03-04 13:17:22 +0000460 if (!Enable__block && E->isByRef())
Mike Stumpdab514f2009-03-04 03:23:46 +0000461 ErrorUnsupported(E, "__block variable in block literal");
Mike Stumpa4f668f2009-03-06 01:33:24 +0000462 else if (!Enable__block && E->getType()->isBlockPointerType())
Mike Stumpdab514f2009-03-04 03:23:46 +0000463 ErrorUnsupported(E, "block pointer in block literal");
Mike Stump00470a12009-03-05 08:32:30 +0000464 else if (E->getDecl()->getAttr<ObjCNSObjectAttr>() ||
Mike Stumpdab514f2009-03-04 03:23:46 +0000465 getContext().isObjCNSObjectType(E->getType()))
466 ErrorUnsupported(E, "__attribute__((NSObject)) variable in block "
467 "literal");
Mike Stumpa4f668f2009-03-06 01:33:24 +0000468 else if (!Enable__block && getContext().isObjCObjectPointerType(E->getType()))
Mike Stumpdab514f2009-03-04 03:23:46 +0000469 ErrorUnsupported(E, "Objective-C variable in block literal");
470
471 // See if we have already allocated an offset for this variable.
472 if (offset == 0) {
Mike Stump00470a12009-03-05 08:32:30 +0000473 // Don't run the expensive check, unless we have to.
474 if (!BlockHasCopyDispose && BlockRequiresCopying(E->getType()))
475 BlockHasCopyDispose = true;
Mike Stumpdab514f2009-03-04 03:23:46 +0000476 // if not, allocate one now.
477 offset = getBlockOffset(E);
478 }
479
480 llvm::Value *BlockLiteral = LoadBlockStruct();
481 llvm::Value *V = Builder.CreateGEP(BlockLiteral,
482 llvm::ConstantInt::get(llvm::Type::Int64Ty,
483 offset),
Mike Stump58a85142009-03-04 22:48:06 +0000484 "block.literal");
Mike Stumpdab514f2009-03-04 03:23:46 +0000485 if (E->isByRef()) {
486 bool needsCopyDispose = BlockRequiresCopying(E->getType());
487 uint64_t Align = getContext().getDeclAlignInBytes(E->getDecl());
488 const llvm::Type *PtrStructTy
489 = llvm::PointerType::get(BuildByRefType(E->getType(), Align), 0);
490 Ty = PtrStructTy;
491 Ty = llvm::PointerType::get(Ty, 0);
492 V = Builder.CreateBitCast(V, Ty);
493 V = Builder.CreateLoad(V, false);
494 V = Builder.CreateStructGEP(V, 1, "forwarding");
495 V = Builder.CreateLoad(V, false);
496 V = Builder.CreateBitCast(V, PtrStructTy);
497 V = Builder.CreateStructGEP(V, needsCopyDispose*2 + 4, "x");
498 } else {
499 Ty = llvm::PointerType::get(Ty, 0);
500 V = Builder.CreateBitCast(V, Ty);
501 }
502 return V;
503}
504
Mike Stump67a64482009-02-14 22:16:35 +0000505llvm::Constant *
Mike Stump90a90432009-03-04 18:47:42 +0000506BlockModule::GetAddrOfGlobalBlock(const BlockExpr *BE, const char * n) {
Anders Carlssond5cab542009-02-12 17:55:02 +0000507 // Generate the block descriptor.
508 const llvm::Type *UnsignedLongTy = Types.ConvertType(Context.UnsignedLongTy);
Mike Stump7cbb3602009-02-13 16:01:35 +0000509 const llvm::IntegerType *IntTy = cast<llvm::IntegerType>(
510 getTypes().ConvertType(getContext().IntTy));
Mike Stumpa5448542009-02-13 15:32:32 +0000511
Anders Carlssond5cab542009-02-12 17:55:02 +0000512 llvm::Constant *DescriptorFields[2];
Mike Stumpa5448542009-02-13 15:32:32 +0000513
Anders Carlssond5cab542009-02-12 17:55:02 +0000514 // Reserved
515 DescriptorFields[0] = llvm::Constant::getNullValue(UnsignedLongTy);
Mike Stumpa5448542009-02-13 15:32:32 +0000516
Anders Carlssond5cab542009-02-12 17:55:02 +0000517 // Block literal size. For global blocks we just use the size of the generic
518 // block literal struct.
Mike Stumpa5448542009-02-13 15:32:32 +0000519 uint64_t BlockLiteralSize =
Mike Stump9b8a7972009-02-13 15:25:34 +0000520 TheTargetData.getTypeStoreSizeInBits(getGenericBlockLiteralType()) / 8;
Anders Carlssond5cab542009-02-12 17:55:02 +0000521 DescriptorFields[1] = llvm::ConstantInt::get(UnsignedLongTy,BlockLiteralSize);
Mike Stumpa5448542009-02-13 15:32:32 +0000522
523 llvm::Constant *DescriptorStruct =
Anders Carlssond5cab542009-02-12 17:55:02 +0000524 llvm::ConstantStruct::get(&DescriptorFields[0], 2);
Mike Stumpa5448542009-02-13 15:32:32 +0000525
Anders Carlssond5cab542009-02-12 17:55:02 +0000526 llvm::GlobalVariable *Descriptor =
527 new llvm::GlobalVariable(DescriptorStruct->getType(), true,
Mike Stumpa5448542009-02-13 15:32:32 +0000528 llvm::GlobalVariable::InternalLinkage,
529 DescriptorStruct, "__block_descriptor_global",
Anders Carlssond5cab542009-02-12 17:55:02 +0000530 &getModule());
Mike Stumpa5448542009-02-13 15:32:32 +0000531
Anders Carlssond5cab542009-02-12 17:55:02 +0000532 // Generate the constants for the block literal.
533 llvm::Constant *LiteralFields[5];
Mike Stumpa5448542009-02-13 15:32:32 +0000534
Mike Stump67a64482009-02-14 22:16:35 +0000535 CodeGenFunction::BlockInfo Info(0, n);
Mike Stump8a2b4b12009-02-25 23:33:13 +0000536 uint64_t subBlockSize, subBlockAlign;
Mike Stumpa99038c2009-02-28 09:07:16 +0000537 llvm::SmallVector<const Expr *, 8> subBlockDeclRefDecls;
Mike Stump00470a12009-03-05 08:32:30 +0000538 bool subBlockHasCopyDispose;
Mike Stump4e7a1f72009-02-21 20:00:35 +0000539 llvm::Function *Fn
Mike Stump90a90432009-03-04 18:47:42 +0000540 = CodeGenFunction(CGM).GenerateBlockFunction(BE, Info, subBlockSize,
541 subBlockAlign,
Mike Stump00470a12009-03-05 08:32:30 +0000542 subBlockDeclRefDecls,
543 subBlockHasCopyDispose);
Mike Stump4e7a1f72009-02-21 20:00:35 +0000544 assert(subBlockSize == BlockLiteralSize
545 && "no imports allowed for global block");
Mike Stump00470a12009-03-05 08:32:30 +0000546 assert(!subBlockHasCopyDispose && "no imports allowed for global block");
Mike Stumpa5448542009-02-13 15:32:32 +0000547
Anders Carlssond5cab542009-02-12 17:55:02 +0000548 // isa
Mike Stumpf99f1d02009-02-13 17:23:42 +0000549 LiteralFields[0] = getNSConcreteGlobalBlock();
Mike Stumpa5448542009-02-13 15:32:32 +0000550
Anders Carlssond5cab542009-02-12 17:55:02 +0000551 // Flags
Mike Stump00470a12009-03-05 08:32:30 +0000552 LiteralFields[1] =
Anders Carlsson8045ee02009-03-01 21:09:29 +0000553 llvm::ConstantInt::get(IntTy, BLOCK_IS_GLOBAL | BLOCK_HAS_DESCRIPTOR);
Mike Stumpa5448542009-02-13 15:32:32 +0000554
Anders Carlssond5cab542009-02-12 17:55:02 +0000555 // Reserved
Mike Stump7cbb3602009-02-13 16:01:35 +0000556 LiteralFields[2] = llvm::Constant::getNullValue(IntTy);
Mike Stumpa5448542009-02-13 15:32:32 +0000557
Anders Carlssond5cab542009-02-12 17:55:02 +0000558 // Function
559 LiteralFields[3] = Fn;
Mike Stumpa5448542009-02-13 15:32:32 +0000560
Anders Carlssond5cab542009-02-12 17:55:02 +0000561 // Descriptor
562 LiteralFields[4] = Descriptor;
Mike Stumpa5448542009-02-13 15:32:32 +0000563
564 llvm::Constant *BlockLiteralStruct =
Anders Carlssond5cab542009-02-12 17:55:02 +0000565 llvm::ConstantStruct::get(&LiteralFields[0], 5);
Mike Stumpa5448542009-02-13 15:32:32 +0000566
567 llvm::GlobalVariable *BlockLiteral =
Anders Carlssond5cab542009-02-12 17:55:02 +0000568 new llvm::GlobalVariable(BlockLiteralStruct->getType(), true,
Mike Stumpa5448542009-02-13 15:32:32 +0000569 llvm::GlobalVariable::InternalLinkage,
570 BlockLiteralStruct, "__block_literal_global",
Anders Carlssond5cab542009-02-12 17:55:02 +0000571 &getModule());
Mike Stumpa5448542009-02-13 15:32:32 +0000572
Anders Carlssond5cab542009-02-12 17:55:02 +0000573 return BlockLiteral;
574}
575
Mike Stump4e7a1f72009-02-21 20:00:35 +0000576llvm::Value *CodeGenFunction::LoadBlockStruct() {
577 return Builder.CreateLoad(LocalDeclMap[getBlockStructDecl()], "self");
578}
579
Mike Stump00470a12009-03-05 08:32:30 +0000580llvm::Function *
581CodeGenFunction::GenerateBlockFunction(const BlockExpr *BExpr,
582 const BlockInfo& Info,
583 uint64_t &Size,
584 uint64_t &Align,
585 llvm::SmallVector<const Expr *, 8> &subBlockDeclRefDecls,
586 bool &subBlockHasCopyDispose) {
Douglas Gregor72564e72009-02-26 23:50:07 +0000587 const FunctionProtoType *FTy =
Chris Lattner161d36d2009-02-28 19:01:03 +0000588 cast<FunctionProtoType>(BExpr->getFunctionType());
Mike Stumpa5448542009-02-13 15:32:32 +0000589
Anders Carlssond5cab542009-02-12 17:55:02 +0000590 FunctionArgList Args;
Mike Stumpa5448542009-02-13 15:32:32 +0000591
Chris Lattner161d36d2009-02-28 19:01:03 +0000592 const BlockDecl *BD = BExpr->getBlockDecl();
Anders Carlssond5cab542009-02-12 17:55:02 +0000593
594 // FIXME: This leaks
Mike Stumpa5448542009-02-13 15:32:32 +0000595 ImplicitParamDecl *SelfDecl =
Anders Carlssond5cab542009-02-12 17:55:02 +0000596 ImplicitParamDecl::Create(getContext(), 0,
597 SourceLocation(), 0,
598 getContext().getPointerType(getContext().VoidTy));
Mike Stumpa5448542009-02-13 15:32:32 +0000599
Anders Carlssond5cab542009-02-12 17:55:02 +0000600 Args.push_back(std::make_pair(SelfDecl, SelfDecl->getType()));
Mike Stump4e7a1f72009-02-21 20:00:35 +0000601 BlockStructDecl = SelfDecl;
Mike Stumpa5448542009-02-13 15:32:32 +0000602
603 for (BlockDecl::param_iterator i = BD->param_begin(),
Anders Carlssond5cab542009-02-12 17:55:02 +0000604 e = BD->param_end(); i != e; ++i)
Mike Stump19050612009-02-17 23:25:52 +0000605 Args.push_back(std::make_pair(*i, (*i)->getType()));
Mike Stumpa5448542009-02-13 15:32:32 +0000606
607 const CGFunctionInfo &FI =
Anders Carlssond5cab542009-02-12 17:55:02 +0000608 CGM.getTypes().getFunctionInfo(FTy->getResultType(), Args);
609
Mike Stump67a64482009-02-14 22:16:35 +0000610 std::string Name = std::string("__") + Info.Name + "_block_invoke_";
Anders Carlssond5cab542009-02-12 17:55:02 +0000611 CodeGenTypes &Types = CGM.getTypes();
612 const llvm::FunctionType *LTy = Types.GetFunctionType(FI, FTy->isVariadic());
Mike Stumpa5448542009-02-13 15:32:32 +0000613
614 llvm::Function *Fn =
Anders Carlssond5cab542009-02-12 17:55:02 +0000615 llvm::Function::Create(LTy, llvm::GlobalValue::InternalLinkage,
616 Name,
617 &CGM.getModule());
Mike Stumpa5448542009-02-13 15:32:32 +0000618
619 StartFunction(BD, FTy->getResultType(), Fn, Args,
Chris Lattner161d36d2009-02-28 19:01:03 +0000620 BExpr->getBody()->getLocEnd());
621 EmitStmt(BExpr->getBody());
622 FinishFunction(cast<CompoundStmt>(BExpr->getBody())->getRBracLoc());
Anders Carlssond5cab542009-02-12 17:55:02 +0000623
Mike Stump8a2b4b12009-02-25 23:33:13 +0000624 // The runtime needs a minimum alignment of a void *.
625 uint64_t MinAlign = getContext().getTypeAlign(getContext().VoidPtrTy) / 8;
626 BlockOffset = llvm::RoundUpToAlignment(BlockOffset, MinAlign);
627
Mike Stump4e7a1f72009-02-21 20:00:35 +0000628 Size = BlockOffset;
Mike Stump8a2b4b12009-02-25 23:33:13 +0000629 Align = BlockAlign;
630 subBlockDeclRefDecls = BlockDeclRefDecls;
Mike Stump00470a12009-03-05 08:32:30 +0000631 subBlockHasCopyDispose |= BlockHasCopyDispose;
Anders Carlssond5cab542009-02-12 17:55:02 +0000632 return Fn;
633}
Mike Stumpa99038c2009-02-28 09:07:16 +0000634
635uint64_t CodeGenFunction::getBlockOffset(const BlockDeclRefExpr *BDRE) {
636 const ValueDecl *D = dyn_cast<ValueDecl>(BDRE->getDecl());
637
638 uint64_t Size = getContext().getTypeSize(D->getType()) / 8;
639 uint64_t Align = getContext().getDeclAlignInBytes(D);
640
641 if (BDRE->isByRef()) {
642 Size = getContext().getTypeSize(getContext().VoidPtrTy) / 8;
643 Align = getContext().getTypeAlign(getContext().VoidPtrTy) / 8;
644 }
645
646 assert ((Align > 0) && "alignment must be 1 byte or more");
647
648 uint64_t OldOffset = BlockOffset;
649
650 // Ensure proper alignment, even if it means we have to have a gap
651 BlockOffset = llvm::RoundUpToAlignment(BlockOffset, Align);
652 BlockAlign = std::max(Align, BlockAlign);
Mike Stump00470a12009-03-05 08:32:30 +0000653
Mike Stumpa99038c2009-02-28 09:07:16 +0000654 uint64_t Pad = BlockOffset - OldOffset;
655 if (Pad) {
656 llvm::ArrayType::get(llvm::Type::Int8Ty, Pad);
657 QualType PadTy = getContext().getConstantArrayType(getContext().CharTy,
658 llvm::APInt(32, Pad),
659 ArrayType::Normal, 0);
660 ValueDecl *PadDecl = VarDecl::Create(getContext(), 0, SourceLocation(),
661 0, QualType(PadTy), VarDecl::None,
662 SourceLocation());
663 Expr *E;
664 E = new (getContext()) DeclRefExpr(PadDecl, PadDecl->getType(),
665 SourceLocation(), false, false);
666 BlockDeclRefDecls.push_back(E);
667 }
668 BlockDeclRefDecls.push_back(BDRE);
669
670 BlockOffset += Size;
671 return BlockOffset-Size;
672}
Mike Stumpdab514f2009-03-04 03:23:46 +0000673
Mike Stumpa4f668f2009-03-06 01:33:24 +0000674llvm::Constant *BlockFunction::GenerateCopyHelperFunction() {
675 QualType R = getContext().VoidTy;
676
677 FunctionArgList Args;
678 // FIXME: This leaks
679 ImplicitParamDecl *Src =
680 ImplicitParamDecl::Create(getContext(), 0, SourceLocation(), 0,
681 getContext().getPointerType(getContext().VoidTy));
682
683 Args.push_back(std::make_pair(Src, Src->getType()));
684
685 const CGFunctionInfo &FI =
686 CGM.getTypes().getFunctionInfo(R, Args);
687
688 std::string Name = std::string("__copy_helper_block_");
689 CodeGenTypes &Types = CGM.getTypes();
690 const llvm::FunctionType *LTy = Types.GetFunctionType(FI, false);
691
692 llvm::Function *Fn =
693 llvm::Function::Create(LTy, llvm::GlobalValue::InternalLinkage,
694 Name,
695 &CGM.getModule());
696
697 IdentifierInfo *II
698 = &CGM.getContext().Idents.get("__copy_helper_block_");
699
700 FunctionDecl *FD = FunctionDecl::Create(getContext(),
701 getContext().getTranslationUnitDecl(),
702 SourceLocation(), II, R,
703 FunctionDecl::Static, false,
704 true);
705 CGF.StartFunction(FD, R, Fn, Args, SourceLocation());
706 // EmitStmt(BExpr->getBody());
707 CGF.FinishFunction();
708
709 return llvm::ConstantExpr::getBitCast(Fn, PtrToInt8Ty);
Mike Stumpdab514f2009-03-04 03:23:46 +0000710}
711
Mike Stumpa4f668f2009-03-06 01:33:24 +0000712llvm::Constant *BlockFunction::GenerateDestroyHelperFunction() {
713 QualType R = getContext().VoidTy;
714
715 FunctionArgList Args;
716 // FIXME: This leaks
717 ImplicitParamDecl *Src =
718 ImplicitParamDecl::Create(getContext(), 0, SourceLocation(), 0,
719 getContext().getPointerType(getContext().VoidTy));
720
721 Args.push_back(std::make_pair(Src, Src->getType()));
722
723 const CGFunctionInfo &FI =
724 CGM.getTypes().getFunctionInfo(R, Args);
725
726 std::string Name = std::string("__destroy_helper_block_");
727 CodeGenTypes &Types = CGM.getTypes();
728 const llvm::FunctionType *LTy = Types.GetFunctionType(FI, false);
729
730 llvm::Function *Fn =
731 llvm::Function::Create(LTy, llvm::GlobalValue::InternalLinkage,
732 Name,
733 &CGM.getModule());
734
735 IdentifierInfo *II
736 = &CGM.getContext().Idents.get("__destroy_helper_block_");
737
738 FunctionDecl *FD = FunctionDecl::Create(getContext(),
739 getContext().getTranslationUnitDecl(),
740 SourceLocation(), II, R,
741 FunctionDecl::Static, false,
742 true);
743 CGF.StartFunction(FD, R, Fn, Args, SourceLocation());
744 // EmitStmt(BExpr->getBody());
745 CGF.FinishFunction();
746
747 return llvm::ConstantExpr::getBitCast(Fn, PtrToInt8Ty);
748}
749
Mike Stump45031c02009-03-06 02:29:21 +0000750llvm::Constant *BlockFunction::BuildCopyHelper() {
Mike Stumpa4f668f2009-03-06 01:33:24 +0000751 return CodeGenFunction(CGM).GenerateCopyHelperFunction();
752}
753
Mike Stump45031c02009-03-06 02:29:21 +0000754llvm::Constant *BlockFunction::BuildDestroyHelper() {
Mike Stumpa4f668f2009-03-06 01:33:24 +0000755 return CodeGenFunction(CGM).GenerateDestroyHelperFunction();
Mike Stumpdab514f2009-03-04 03:23:46 +0000756}
Mike Stump797b6322009-03-05 01:23:13 +0000757
Mike Stump45031c02009-03-06 02:29:21 +0000758llvm::Constant *BlockFunction::GeneratebyrefCopyHelperFunction() {
759 QualType R = getContext().VoidTy;
760
761 FunctionArgList Args;
762 // FIXME: This leaks
763 ImplicitParamDecl *Src =
764 ImplicitParamDecl::Create(getContext(), 0, SourceLocation(), 0,
765 getContext().getPointerType(getContext().VoidTy));
766
767 Args.push_back(std::make_pair(Src, Src->getType()));
768
769 const CGFunctionInfo &FI =
770 CGM.getTypes().getFunctionInfo(R, Args);
771
772 std::string Name = std::string("__Block_byref_id_object_copy_");
773 CodeGenTypes &Types = CGM.getTypes();
774 const llvm::FunctionType *LTy = Types.GetFunctionType(FI, false);
775
776 llvm::Function *Fn =
777 llvm::Function::Create(LTy, llvm::GlobalValue::InternalLinkage,
778 Name,
779 &CGM.getModule());
780
781 IdentifierInfo *II
782 = &CGM.getContext().Idents.get("__Block_byref_id_object_copy_");
783
784 FunctionDecl *FD = FunctionDecl::Create(getContext(),
785 getContext().getTranslationUnitDecl(),
786 SourceLocation(), II, R,
787 FunctionDecl::Static, false,
788 true);
789 CGF.StartFunction(FD, R, Fn, Args, SourceLocation());
790 // EmitStmt(BExpr->getBody());
791 CGF.FinishFunction();
792
793 return llvm::ConstantExpr::getBitCast(Fn, PtrToInt8Ty);
794}
795
796llvm::Constant *BlockFunction::GeneratebyrefDestroyHelperFunction() {
797 QualType R = getContext().VoidTy;
798
799 FunctionArgList Args;
800 // FIXME: This leaks
801 ImplicitParamDecl *Src =
802 ImplicitParamDecl::Create(getContext(), 0, SourceLocation(), 0,
803 getContext().getPointerType(getContext().VoidTy));
804
805 Args.push_back(std::make_pair(Src, Src->getType()));
806
807 const CGFunctionInfo &FI =
808 CGM.getTypes().getFunctionInfo(R, Args);
809
810 std::string Name = std::string("__Block_byref_id_object_dispose_");
811 CodeGenTypes &Types = CGM.getTypes();
812 const llvm::FunctionType *LTy = Types.GetFunctionType(FI, false);
813
814 llvm::Function *Fn =
815 llvm::Function::Create(LTy, llvm::GlobalValue::InternalLinkage,
816 Name,
817 &CGM.getModule());
818
819 IdentifierInfo *II
820 = &CGM.getContext().Idents.get("__Block_byref_id_object_dispose_");
821
822 FunctionDecl *FD = FunctionDecl::Create(getContext(),
823 getContext().getTranslationUnitDecl(),
824 SourceLocation(), II, R,
825 FunctionDecl::Static, false,
826 true);
827 CGF.StartFunction(FD, R, Fn, Args, SourceLocation());
828 // EmitStmt(BExpr->getBody());
829 CGF.FinishFunction();
830
831 return llvm::ConstantExpr::getBitCast(Fn, PtrToInt8Ty);
832}
833
834llvm::Constant *BlockFunction::BuildbyrefCopyHelper(int flag) {
835 return CodeGenFunction(CGM).GeneratebyrefCopyHelperFunction();
836}
837
838llvm::Constant *BlockFunction::BuildbyrefDestroyHelper(int flag) {
839 return CodeGenFunction(CGM).GeneratebyrefDestroyHelperFunction();
840}
841
Mike Stump797b6322009-03-05 01:23:13 +0000842llvm::Value *BlockFunction::getBlockObjectDispose() {
843 if (CGM.BlockObjectDispose == 0) {
844 const llvm::FunctionType *FTy;
845 std::vector<const llvm::Type*> ArgTys;
846 const llvm::Type *ResultType = llvm::Type::VoidTy;
847 ArgTys.push_back(PtrToInt8Ty);
848 ArgTys.push_back(llvm::Type::Int32Ty);
849 FTy = llvm::FunctionType::get(ResultType, ArgTys, false);
Mike Stump00470a12009-03-05 08:32:30 +0000850 CGM.BlockObjectDispose
Mike Stump797b6322009-03-05 01:23:13 +0000851 = CGM.CreateRuntimeFunction(FTy, "_Block_object_dispose");
852 }
853 return CGM.BlockObjectDispose;
854}
855
856void BlockFunction::BuildBlockRelease(const VarDecl &D, llvm::Value *DeclPtr) {
857 llvm::Value *F = getBlockObjectDispose();
858 llvm::Value *N, *V;
859 V = Builder.CreateStructGEP(DeclPtr, 1, "forwarding");
860 V = Builder.CreateLoad(V, false);
861 V = Builder.CreateBitCast(V, PtrToInt8Ty);
862 N = llvm::ConstantInt::get(llvm::Type::Int32Ty, BLOCK_FIELD_IS_BYREF);
863 Builder.CreateCall2(F, V, N);
864}
Mike Stump00470a12009-03-05 08:32:30 +0000865
866ASTContext &BlockFunction::getContext() const { return CGM.getContext(); }