blob: 5a3e1002c62e065a2d91b667699939cf6341dc31 [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
Mike Stumpb1a6e682009-09-30 02:43:10 +000014#include "CGDebugInfo.h"
Anders Carlssonacfde802009-02-12 00:39:25 +000015#include "CodeGenFunction.h"
Fariborz Jahanian263c4de2010-02-10 23:34:57 +000016#include "CGObjCRuntime.h"
Anders Carlssonacfde802009-02-12 00:39:25 +000017#include "CodeGenModule.h"
Mike Stump6cc88f72009-03-20 21:53:12 +000018#include "clang/AST/DeclObjC.h"
Anders Carlssonacfde802009-02-12 00:39:25 +000019#include "llvm/Module.h"
Benjamin Kramer6876fe62010-03-31 15:04:05 +000020#include "llvm/ADT/SmallSet.h"
Anders Carlssond5cab542009-02-12 17:55:02 +000021#include "llvm/Target/TargetData.h"
Anders Carlssonacfde802009-02-12 00:39:25 +000022#include <algorithm>
Torok Edwinf42e4a62009-08-24 13:25:12 +000023
Anders Carlssonacfde802009-02-12 00:39:25 +000024using namespace clang;
25using namespace CodeGen;
26
John McCallee504292010-05-21 04:11:14 +000027/// CGBlockInfo - Information to generate a block literal.
28class clang::CodeGen::CGBlockInfo {
29public:
30 /// Name - The name of the block, kindof.
31 const char *Name;
32
33 /// DeclRefs - Variables from parent scopes that have been
34 /// imported into this block.
35 llvm::SmallVector<const BlockDeclRefExpr *, 8> DeclRefs;
36
37 /// InnerBlocks - This block and the blocks it encloses.
38 llvm::SmallPtrSet<const DeclContext *, 4> InnerBlocks;
39
40 /// CXXThisRef - Non-null if 'this' was required somewhere, in
41 /// which case this is that expression.
42 const CXXThisExpr *CXXThisRef;
43
44 /// NeedsObjCSelf - True if something in this block has an implicit
45 /// reference to 'self'.
46 bool NeedsObjCSelf;
47
48 /// These are initialized by GenerateBlockFunction.
49 bool BlockHasCopyDispose;
50 CharUnits BlockSize;
51 CharUnits BlockAlign;
52 llvm::SmallVector<const Expr*, 8> BlockLayout;
53
54 CGBlockInfo(const char *Name);
55};
56
57CGBlockInfo::CGBlockInfo(const char *N)
58 : Name(N), CXXThisRef(0), NeedsObjCSelf(false) {
59
60 // Skip asm prefix, if any.
61 if (Name && Name[0] == '\01')
62 ++Name;
63}
64
65
Mike Stumpcf62d392009-03-06 18:42:23 +000066llvm::Constant *CodeGenFunction::
Blaine Garst2a7eb282010-02-23 21:51:17 +000067BuildDescriptorBlockDecl(const BlockExpr *BE, bool BlockHasCopyDispose, CharUnits Size,
Mike Stumpa803b0e2009-03-25 17:58:24 +000068 const llvm::StructType* Ty,
Mike Stump08920992009-03-07 02:35:30 +000069 std::vector<HelperInfo> *NoteForHelper) {
Mike Stump56129b12009-02-13 16:55:51 +000070 const llvm::Type *UnsignedLongTy
71 = CGM.getTypes().ConvertType(getContext().UnsignedLongTy);
Mike Stumpe5fee252009-02-13 16:19:19 +000072 llvm::Constant *C;
73 std::vector<llvm::Constant*> Elts;
74
75 // reserved
Owen Anderson4a28d5d2009-07-24 23:12:58 +000076 C = llvm::ConstantInt::get(UnsignedLongTy, 0);
Mike Stumpe5fee252009-02-13 16:19:19 +000077 Elts.push_back(C);
78
79 // Size
Mike Stumpd6840002009-02-21 20:07:44 +000080 // FIXME: What is the right way to say this doesn't fit? We should give
81 // a user diagnostic in that case. Better fix would be to change the
82 // API to size_t.
Ken Dyck199c3d62010-01-11 17:06:35 +000083 C = llvm::ConstantInt::get(UnsignedLongTy, Size.getQuantity());
Mike Stumpe5fee252009-02-13 16:19:19 +000084 Elts.push_back(C);
85
Blaine Garst2a7eb282010-02-23 21:51:17 +000086 // optional copy/dispose helpers
Mike Stumpe5fee252009-02-13 16:19:19 +000087 if (BlockHasCopyDispose) {
88 // copy_func_helper_decl
Mike Stumpb7477cf2009-04-10 18:52:28 +000089 Elts.push_back(BuildCopyHelper(Ty, NoteForHelper));
Mike Stumpe5fee252009-02-13 16:19:19 +000090
91 // destroy_func_decl
Mike Stumpb7477cf2009-04-10 18:52:28 +000092 Elts.push_back(BuildDestroyHelper(Ty, NoteForHelper));
Mike Stumpe5fee252009-02-13 16:19:19 +000093 }
94
Blaine Garst2a7eb282010-02-23 21:51:17 +000095 // Signature. non-optional ObjC-style method descriptor @encode sequence
96 std::string BlockTypeEncoding;
97 CGM.getContext().getObjCEncodingForBlock(BE, BlockTypeEncoding);
98
99 Elts.push_back(llvm::ConstantExpr::getBitCast(
100 CGM.GetAddrOfConstantCString(BlockTypeEncoding), PtrToInt8Ty));
101
102 // Layout.
103 C = llvm::ConstantInt::get(UnsignedLongTy, 0);
104 Elts.push_back(C);
105
Nick Lewycky0d36dd22009-09-19 20:00:52 +0000106 C = llvm::ConstantStruct::get(VMContext, Elts, false);
Mike Stumpe5fee252009-02-13 16:19:19 +0000107
Owen Anderson1c431b32009-07-08 19:05:04 +0000108 C = new llvm::GlobalVariable(CGM.getModule(), C->getType(), true,
Mike Stumpe5fee252009-02-13 16:19:19 +0000109 llvm::GlobalValue::InternalLinkage,
Owen Anderson1c431b32009-07-08 19:05:04 +0000110 C, "__block_descriptor_tmp");
Mike Stumpe5fee252009-02-13 16:19:19 +0000111 return C;
112}
113
Mike Stump2a998142009-03-04 18:17:45 +0000114llvm::Constant *BlockModule::getNSConcreteGlobalBlock() {
Chris Lattnere2f79b62009-05-13 02:50:56 +0000115 if (NSConcreteGlobalBlock == 0)
Mike Stump1eb44332009-09-09 15:08:12 +0000116 NSConcreteGlobalBlock = CGM.CreateRuntimeVariable(PtrToInt8Ty,
Chris Lattnere2f79b62009-05-13 02:50:56 +0000117 "_NSConcreteGlobalBlock");
Mike Stumpf99f1d02009-02-13 17:23:42 +0000118 return NSConcreteGlobalBlock;
119}
120
Mike Stump2a998142009-03-04 18:17:45 +0000121llvm::Constant *BlockModule::getNSConcreteStackBlock() {
Chris Lattnere2f79b62009-05-13 02:50:56 +0000122 if (NSConcreteStackBlock == 0)
Mike Stump1eb44332009-09-09 15:08:12 +0000123 NSConcreteStackBlock = CGM.CreateRuntimeVariable(PtrToInt8Ty,
Chris Lattnere2f79b62009-05-13 02:50:56 +0000124 "_NSConcreteStackBlock");
Mike Stump59c5b112009-02-13 19:29:27 +0000125 return NSConcreteStackBlock;
126}
127
John McCallee504292010-05-21 04:11:14 +0000128static void CollectBlockDeclRefInfo(const Stmt *S, CGBlockInfo &Info) {
Anders Carlsson4de9fce2009-03-01 01:09:12 +0000129 for (Stmt::const_child_iterator I = S->child_begin(), E = S->child_end();
130 I != E; ++I)
Daniel Dunbar82573ee2009-03-02 07:00:57 +0000131 if (*I)
John McCallee504292010-05-21 04:11:14 +0000132 CollectBlockDeclRefInfo(*I, Info);
Mike Stump00470a12009-03-05 08:32:30 +0000133
Mike Stumpea26cb52009-10-21 03:49:08 +0000134 // We want to ensure we walk down into block literals so we can find
135 // all nested BlockDeclRefExprs.
Mike Stump38e16272009-10-21 22:01:24 +0000136 if (const BlockExpr *BE = dyn_cast<BlockExpr>(S)) {
John McCallee504292010-05-21 04:11:14 +0000137 Info.InnerBlocks.insert(BE->getBlockDecl());
138 CollectBlockDeclRefInfo(BE->getBody(), Info);
Mike Stump38e16272009-10-21 22:01:24 +0000139 }
Mike Stumpea26cb52009-10-21 03:49:08 +0000140
John McCallee504292010-05-21 04:11:14 +0000141 else if (const BlockDeclRefExpr *BDRE = dyn_cast<BlockDeclRefExpr>(S)) {
142 const ValueDecl *D = BDRE->getDecl();
Anders Carlsson4de9fce2009-03-01 01:09:12 +0000143 // FIXME: Handle enums.
John McCallee504292010-05-21 04:11:14 +0000144 if (isa<FunctionDecl>(D))
Anders Carlsson4de9fce2009-03-01 01:09:12 +0000145 return;
Mike Stump00470a12009-03-05 08:32:30 +0000146
John McCallee504292010-05-21 04:11:14 +0000147 if (isa<ImplicitParamDecl>(D) &&
148 isa<ObjCMethodDecl>(D->getDeclContext()) &&
149 cast<ObjCMethodDecl>(D->getDeclContext())->getSelfDecl() == D) {
150 Info.NeedsObjCSelf = true;
151 return;
152 }
153
Mike Stump38e16272009-10-21 22:01:24 +0000154 // Only Decls that escape are added.
John McCallee504292010-05-21 04:11:14 +0000155 if (!Info.InnerBlocks.count(D->getDeclContext()))
Mike Stump38e16272009-10-21 22:01:24 +0000156 Info.DeclRefs.push_back(BDRE);
Anders Carlsson4de9fce2009-03-01 01:09:12 +0000157 }
John McCallea1471e2010-05-20 01:18:31 +0000158
John McCallee504292010-05-21 04:11:14 +0000159 // Make sure to capture implicit 'self' references due to super calls.
Chandler Carruthf54b80f2010-05-21 10:29:28 +0000160 else if (const ObjCMessageExpr *E = dyn_cast<ObjCMessageExpr>(S)) {
John McCallee504292010-05-21 04:11:14 +0000161 if (E->getReceiverKind() == ObjCMessageExpr::SuperClass ||
162 E->getReceiverKind() == ObjCMessageExpr::SuperInstance)
163 Info.NeedsObjCSelf = true;
Chandler Carruthf54b80f2010-05-21 10:29:28 +0000164 }
John McCallee504292010-05-21 04:11:14 +0000165
166 // Getter/setter uses may also cause implicit super references,
167 // which we can check for with:
168 else if (isa<ObjCSuperExpr>(S))
169 Info.NeedsObjCSelf = true;
170
171 else if (isa<CXXThisExpr>(S))
John McCallea1471e2010-05-20 01:18:31 +0000172 Info.CXXThisRef = cast<CXXThisExpr>(S);
Anders Carlsson4de9fce2009-03-01 01:09:12 +0000173}
174
John McCallee504292010-05-21 04:11:14 +0000175/// CanBlockBeGlobal - Given a CGBlockInfo struct, determines if a block can be
Mike Stump58a85142009-03-04 22:48:06 +0000176/// declared as a global variable instead of on the stack.
John McCallee504292010-05-21 04:11:14 +0000177static bool CanBlockBeGlobal(const CGBlockInfo &Info) {
Mike Stumpea26cb52009-10-21 03:49:08 +0000178 return Info.DeclRefs.empty();
179}
180
181/// AllocateAllBlockDeclRefs - Preallocate all nested BlockDeclRefExprs to
182/// ensure we can generate the debug information for the parameter for the block
183/// invoke function.
John McCallee504292010-05-21 04:11:14 +0000184static void AllocateAllBlockDeclRefs(CodeGenFunction &CGF, CGBlockInfo &Info) {
John McCallea1471e2010-05-20 01:18:31 +0000185 if (Info.CXXThisRef)
John McCallee504292010-05-21 04:11:14 +0000186 CGF.AllocateBlockCXXThisPointer(Info.CXXThisRef);
Mike Stumpea26cb52009-10-21 03:49:08 +0000187
188 for (size_t i = 0; i < Info.DeclRefs.size(); ++i)
John McCallee504292010-05-21 04:11:14 +0000189 CGF.AllocateBlockDecl(Info.DeclRefs[i]);
190
191 if (Info.NeedsObjCSelf) {
192 ValueDecl *Self = cast<ObjCMethodDecl>(CGF.CurFuncDecl)->getSelfDecl();
193 BlockDeclRefExpr *BDRE =
194 new (CGF.getContext()) BlockDeclRefExpr(Self, Self->getType(),
195 SourceLocation(), false);
196 Info.DeclRefs.push_back(BDRE);
197 CGF.AllocateBlockDecl(BDRE);
198 }
Anders Carlsson4de9fce2009-03-01 01:09:12 +0000199}
200
Mike Stump58a85142009-03-04 22:48:06 +0000201// FIXME: Push most into CGM, passing down a few bits, like current function
202// name.
Mike Stump8a2b4b12009-02-25 23:33:13 +0000203llvm::Value *CodeGenFunction::BuildBlockLiteralTmp(const BlockExpr *BE) {
Anders Carlsson4de9fce2009-03-01 01:09:12 +0000204 std::string Name = CurFn->getName();
John McCallee504292010-05-21 04:11:14 +0000205 CGBlockInfo Info(Name.c_str());
206 Info.InnerBlocks.insert(BE->getBlockDecl());
207 CollectBlockDeclRefInfo(BE->getBody(), Info);
Anders Carlsson4de9fce2009-03-01 01:09:12 +0000208
209 // Check if the block can be global.
Mike Stump58a85142009-03-04 22:48:06 +0000210 // FIXME: This test doesn't work for nested blocks yet. Longer term, I'd like
211 // to just have one code path. We should move this function into CGM and pass
212 // CGF, then we can just check to see if CGF is 0.
Mike Stumpdab514f2009-03-04 03:23:46 +0000213 if (0 && CanBlockBeGlobal(Info))
Anders Carlsson4de9fce2009-03-01 01:09:12 +0000214 return CGM.GetAddrOfGlobalBlock(BE, Name.c_str());
Mike Stump00470a12009-03-05 08:32:30 +0000215
David Chisnall5e530af2009-11-17 19:33:30 +0000216 size_t BlockFields = 5;
217
David Chisnall5e530af2009-11-17 19:33:30 +0000218 std::vector<llvm::Constant*> Elts(BlockFields);
219
Mike Stumpe5fee252009-02-13 16:19:19 +0000220 llvm::Constant *C;
Mike Stump8a2b4b12009-02-25 23:33:13 +0000221 llvm::Value *V;
Mike Stumpe5fee252009-02-13 16:19:19 +0000222
Mike Stumpe5fee252009-02-13 16:19:19 +0000223 {
224 // C = BuildBlockStructInitlist();
Blaine Garsta36e2232010-03-05 01:29:59 +0000225 unsigned int flags = BLOCK_HAS_SIGNATURE;
David Chisnall5e530af2009-11-17 19:33:30 +0000226
Mike Stump00470a12009-03-05 08:32:30 +0000227 // We run this first so that we set BlockHasCopyDispose from the entire
228 // block literal.
229 // __invoke
Mike Stump00470a12009-03-05 08:32:30 +0000230 llvm::Function *Fn
Mike Stumpbb304192009-09-24 22:31:14 +0000231 = CodeGenFunction(CGM).GenerateBlockFunction(BE, Info, CurFuncDecl,
John McCallee504292010-05-21 04:11:14 +0000232 LocalDeclMap);
233 BlockHasCopyDispose |= Info.BlockHasCopyDispose;
Mike Stump00470a12009-03-05 08:32:30 +0000234 Elts[3] = Fn;
235
Mike Stumpf5408fe2009-05-16 07:57:57 +0000236 // FIXME: Don't use BlockHasCopyDispose, it is set more often then
237 // necessary, for example: { ^{ __block int i; ^{ i = 1; }(); }(); }
John McCallee504292010-05-21 04:11:14 +0000238 if (Info.BlockHasCopyDispose)
Mike Stumpe5fee252009-02-13 16:19:19 +0000239 flags |= BLOCK_HAS_COPY_DISPOSE;
240
Mike Stump7d6dc4f2009-02-13 20:17:16 +0000241 // __isa
Mike Stump59c5b112009-02-13 19:29:27 +0000242 C = CGM.getNSConcreteStackBlock();
Owen Anderson3c4972d2009-07-29 18:54:39 +0000243 C = llvm::ConstantExpr::getBitCast(C, PtrToInt8Ty);
Mike Stump00470a12009-03-05 08:32:30 +0000244 Elts[0] = C;
Mike Stumpe5fee252009-02-13 16:19:19 +0000245
246 // __flags
Blaine Garsta36e2232010-03-05 01:29:59 +0000247 {
248 QualType BPT = BE->getType();
249 const FunctionType *ftype = BPT->getPointeeType()->getAs<FunctionType>();
250 QualType ResultType = ftype->getResultType();
251
252 CallArgList Args;
253 CodeGenTypes &Types = CGM.getTypes();
254 const CGFunctionInfo &FnInfo = Types.getFunctionInfo(ResultType, Args,
Rafael Espindola264ba482010-03-30 20:24:48 +0000255 FunctionType::ExtInfo());
Blaine Garsta36e2232010-03-05 01:29:59 +0000256 if (CGM.ReturnTypeUsesSret(FnInfo))
257 flags |= BLOCK_USE_STRET;
258 }
Mike Stumpe5fee252009-02-13 16:19:19 +0000259 const llvm::IntegerType *IntTy = cast<llvm::IntegerType>(
260 CGM.getTypes().ConvertType(CGM.getContext().IntTy));
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000261 C = llvm::ConstantInt::get(IntTy, flags);
Mike Stump00470a12009-03-05 08:32:30 +0000262 Elts[1] = C;
Mike Stumpe5fee252009-02-13 16:19:19 +0000263
264 // __reserved
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000265 C = llvm::ConstantInt::get(IntTy, 0);
Mike Stump00470a12009-03-05 08:32:30 +0000266 Elts[2] = C;
Mike Stumpe5fee252009-02-13 16:19:19 +0000267
John McCallee504292010-05-21 04:11:14 +0000268 if (Info.BlockLayout.empty()) {
Mike Stumpcf62d392009-03-06 18:42:23 +0000269 // __descriptor
John McCallee504292010-05-21 04:11:14 +0000270 Elts[4] = BuildDescriptorBlockDecl(BE, Info.BlockHasCopyDispose,
271 Info.BlockSize, 0, 0);
Mike Stumpcf62d392009-03-06 18:42:23 +0000272
Mike Stump5570cfe2009-03-01 20:07:53 +0000273 // Optimize to being a global block.
274 Elts[0] = CGM.getNSConcreteGlobalBlock();
Blaine Garsta36e2232010-03-05 01:29:59 +0000275
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000276 Elts[1] = llvm::ConstantInt::get(IntTy, flags|BLOCK_IS_GLOBAL);
Mike Stump5570cfe2009-03-01 20:07:53 +0000277
Nick Lewycky0d36dd22009-09-19 20:00:52 +0000278 C = llvm::ConstantStruct::get(VMContext, Elts, false);
Mike Stump8a2b4b12009-02-25 23:33:13 +0000279
Owen Anderson1c431b32009-07-08 19:05:04 +0000280 C = new llvm::GlobalVariable(CGM.getModule(), C->getType(), true,
Benjamin Kramer3cf7c5d2010-01-22 13:59:13 +0000281 llvm::GlobalValue::InternalLinkage, C,
282 "__block_holder_tmp_" +
283 llvm::Twine(CGM.getGlobalUniqueCount()));
Mike Stump8a2b4b12009-02-25 23:33:13 +0000284 QualType BPT = BE->getType();
Owen Anderson3c4972d2009-07-29 18:54:39 +0000285 C = llvm::ConstantExpr::getBitCast(C, ConvertType(BPT));
Mike Stump8a2b4b12009-02-25 23:33:13 +0000286 return C;
287 }
Mike Stump00470a12009-03-05 08:32:30 +0000288
John McCallee504292010-05-21 04:11:14 +0000289 std::vector<const llvm::Type *> Types(BlockFields+Info.BlockLayout.size());
Mike Stump08920992009-03-07 02:35:30 +0000290 for (int i=0; i<4; ++i)
Mike Stump8a2b4b12009-02-25 23:33:13 +0000291 Types[i] = Elts[i]->getType();
Mike Stump08920992009-03-07 02:35:30 +0000292 Types[4] = PtrToInt8Ty;
Mike Stump8a2b4b12009-02-25 23:33:13 +0000293
John McCallee504292010-05-21 04:11:14 +0000294 for (unsigned i = 0, n = Info.BlockLayout.size(); i != n; ++i) {
295 const Expr *E = Info.BlockLayout[i];
Mike Stumpa99038c2009-02-28 09:07:16 +0000296 const BlockDeclRefExpr *BDRE = dyn_cast<BlockDeclRefExpr>(E);
297 QualType Ty = E->getType();
Mike Stumpdab514f2009-03-04 03:23:46 +0000298 if (BDRE && BDRE->isByRef()) {
Fariborz Jahanian79651722010-06-02 21:35:17 +0000299 Types[i+BlockFields] =
300 llvm::PointerType::get(BuildByRefType(BDRE->getDecl()), 0);
301 } else if (BDRE && BDRE->getDecl()->getType()->isReferenceType()) {
302 Types[i+BlockFields] = llvm::PointerType::get(ConvertType(Ty), 0);
303 } else
David Chisnall5e530af2009-11-17 19:33:30 +0000304 Types[i+BlockFields] = ConvertType(Ty);
Mike Stumpa99038c2009-02-28 09:07:16 +0000305 }
Mike Stump8a2b4b12009-02-25 23:33:13 +0000306
Owen Anderson47a434f2009-08-05 23:18:46 +0000307 llvm::StructType *Ty = llvm::StructType::get(VMContext, Types, true);
Mike Stump8a2b4b12009-02-25 23:33:13 +0000308
309 llvm::AllocaInst *A = CreateTempAlloca(Ty);
John McCallee504292010-05-21 04:11:14 +0000310 A->setAlignment(Info.BlockAlign.getQuantity());
Mike Stump8a2b4b12009-02-25 23:33:13 +0000311 V = A;
312
John McCallea1471e2010-05-20 01:18:31 +0000313 // Build layout / cleanup information for all the data entries in the
314 // layout, and write the enclosing fields into the type.
John McCallee504292010-05-21 04:11:14 +0000315 std::vector<HelperInfo> NoteForHelper(Info.BlockLayout.size());
John McCallea1471e2010-05-20 01:18:31 +0000316 unsigned NumHelpers = 0;
Mike Stump08920992009-03-07 02:35:30 +0000317
318 for (unsigned i=0; i<4; ++i)
Mike Stump8a2b4b12009-02-25 23:33:13 +0000319 Builder.CreateStore(Elts[i], Builder.CreateStructGEP(V, i, "block.tmp"));
Mike Stump00470a12009-03-05 08:32:30 +0000320
John McCallee504292010-05-21 04:11:14 +0000321 for (unsigned i=0; i < Info.BlockLayout.size(); ++i) {
322 const Expr *E = Info.BlockLayout[i];
Mike Stump8a2b4b12009-02-25 23:33:13 +0000323
John McCallea1471e2010-05-20 01:18:31 +0000324 // Skip padding.
325 if (isa<DeclRefExpr>(E)) continue;
Mike Stumpa99038c2009-02-28 09:07:16 +0000326
John McCallea1471e2010-05-20 01:18:31 +0000327 llvm::Value* Addr = Builder.CreateStructGEP(V, i+BlockFields, "tmp");
328 HelperInfo &Note = NoteForHelper[NumHelpers++];
Mike Stumpa99038c2009-02-28 09:07:16 +0000329
John McCallea1471e2010-05-20 01:18:31 +0000330 Note.index = i+5;
Mike Stump08920992009-03-07 02:35:30 +0000331
John McCallea1471e2010-05-20 01:18:31 +0000332 if (isa<CXXThisExpr>(E)) {
333 Note.RequiresCopying = false;
334 Note.flag = BLOCK_FIELD_IS_OBJECT;
Mike Stumpa99038c2009-02-28 09:07:16 +0000335
John McCallea1471e2010-05-20 01:18:31 +0000336 Builder.CreateStore(LoadCXXThis(), Addr);
337 continue;
Mike Stump8a2b4b12009-02-25 23:33:13 +0000338 }
John McCallea1471e2010-05-20 01:18:31 +0000339
340 const BlockDeclRefExpr *BDRE = cast<BlockDeclRefExpr>(E);
341 const ValueDecl *VD = BDRE->getDecl();
342 QualType T = VD->getType();
343
344 Note.RequiresCopying = BlockRequiresCopying(T);
345
346 if (BDRE->isByRef()) {
347 Note.flag = BLOCK_FIELD_IS_BYREF;
348 if (T.isObjCGCWeak())
349 Note.flag |= BLOCK_FIELD_IS_WEAK;
350 } else if (T->isBlockPointerType()) {
351 Note.flag = BLOCK_FIELD_IS_BLOCK;
352 } else {
353 Note.flag = BLOCK_FIELD_IS_OBJECT;
354 }
355
356 if (LocalDeclMap[VD]) {
357 if (BDRE->isByRef()) {
358 llvm::Value *Loc = LocalDeclMap[VD];
359 Loc = Builder.CreateStructGEP(Loc, 1, "forwarding");
360 Loc = Builder.CreateLoad(Loc);
361 Builder.CreateStore(Loc, Addr);
362 continue;
363 } else {
364 E = new (getContext()) DeclRefExpr(const_cast<ValueDecl*>(VD),
Fariborz Jahanian79651722010-06-02 21:35:17 +0000365 VD->getType().getNonReferenceType(),
366 SourceLocation());
Fariborz Jahaniandf8b8ea2010-06-04 16:10:00 +0000367 if (getContext().getLangOptions().CPlusPlus) {
368 if (VD->getType()->isReferenceType()) {
369 E = new (getContext())
370 UnaryOperator(const_cast<Expr*>(E), UnaryOperator::AddrOf,
371 getContext().getPointerType(E->getType()),
372 SourceLocation());
373 }
374 else {
375 QualType T = E->getType();
376 if (const RecordType *RT = T->getAs<RecordType>()) {
377 CXXRecordDecl *Record = cast<CXXRecordDecl>(RT->getDecl());
378 if (!Record->hasTrivialCopyConstructor()) {
379 CXXConstructorDecl *D = Record->getCopyConstructor(getContext(),
380 0);
381 Expr *Arg = const_cast<Expr*>(E);
382 E = CXXConstructExpr::Create(getContext(), T, D->getLocation(),
383 D, false, &Arg, 1, false,
384 CXXConstructExpr::CK_Complete);
385 }
386 }
387 }
388 }
John McCallea1471e2010-05-20 01:18:31 +0000389 }
390 }
391
392 if (BDRE->isByRef()) {
393 E = new (getContext())
394 UnaryOperator(const_cast<Expr*>(E), UnaryOperator::AddrOf,
395 getContext().getPointerType(E->getType()),
396 SourceLocation());
397 }
398
399 RValue r = EmitAnyExpr(E, Addr, false);
400 if (r.isScalar()) {
401 llvm::Value *Loc = r.getScalarVal();
402 const llvm::Type *Ty = Types[i+BlockFields];
403 if (BDRE->isByRef()) {
404 // E is now the address of the value field, instead, we want the
405 // address of the actual ByRef struct. We optimize this slightly
406 // compared to gcc by not grabbing the forwarding slot as this must
407 // be done during Block_copy for us, and we can postpone the work
408 // until then.
409 CharUnits offset = BlockDecls[BDRE->getDecl()];
410
411 llvm::Value *BlockLiteral = LoadBlockStruct();
412
413 Loc = Builder.CreateGEP(BlockLiteral,
414 llvm::ConstantInt::get(llvm::Type::getInt64Ty(VMContext),
415 offset.getQuantity()),
416 "block.literal");
417 Ty = llvm::PointerType::get(Ty, 0);
418 Loc = Builder.CreateBitCast(Loc, Ty);
419 Loc = Builder.CreateLoad(Loc);
420 // Loc = Builder.CreateBitCast(Loc, Ty);
421 }
422 Builder.CreateStore(Loc, Addr);
423 } else if (r.isComplex())
424 // FIXME: implement
425 ErrorUnsupported(BE, "complex in block literal");
426 else if (r.isAggregate())
427 ; // Already created into the destination
428 else
429 assert (0 && "bad block variable");
430 // FIXME: Ensure that the offset created by the backend for
431 // the struct matches the previously computed offset in BlockDecls.
432 }
433 NoteForHelper.resize(NumHelpers);
Mike Stumpcf62d392009-03-06 18:42:23 +0000434
435 // __descriptor
Blaine Garst2a7eb282010-02-23 21:51:17 +0000436 llvm::Value *Descriptor = BuildDescriptorBlockDecl(BE,
John McCallee504292010-05-21 04:11:14 +0000437 Info.BlockHasCopyDispose,
438 Info.BlockSize, Ty,
Mike Stump08920992009-03-07 02:35:30 +0000439 &NoteForHelper);
440 Descriptor = Builder.CreateBitCast(Descriptor, PtrToInt8Ty);
441 Builder.CreateStore(Descriptor, Builder.CreateStructGEP(V, 4, "block.tmp"));
Mike Stumpe5fee252009-02-13 16:19:19 +0000442 }
Mike Stump00470a12009-03-05 08:32:30 +0000443
Mike Stumpbd65cac2009-02-19 01:01:04 +0000444 QualType BPT = BE->getType();
Fariborz Jahanian263c4de2010-02-10 23:34:57 +0000445 V = Builder.CreateBitCast(V, ConvertType(BPT));
446 // See if this is a __weak block variable and the must call objc_read_weak
447 // on it.
448 const FunctionType *ftype = BPT->getPointeeType()->getAs<FunctionType>();
449 QualType RES = ftype->getResultType();
450 if (RES.isObjCGCWeak()) {
451 // Must cast argument to id*
452 const llvm::Type *ObjectPtrTy =
453 ConvertType(CGM.getContext().getObjCIdType());
454 const llvm::Type *PtrObjectPtrTy =
455 llvm::PointerType::getUnqual(ObjectPtrTy);
456 V = Builder.CreateBitCast(V, PtrObjectPtrTy);
457 V = CGM.getObjCRuntime().EmitObjCWeakRead(*this, V);
458 }
459 return V;
Mike Stumpe5fee252009-02-13 16:19:19 +0000460}
461
462
Mike Stump2a998142009-03-04 18:17:45 +0000463const llvm::Type *BlockModule::getBlockDescriptorType() {
Mike Stumpab695142009-02-13 15:16:56 +0000464 if (BlockDescriptorType)
465 return BlockDescriptorType;
466
Mike Stumpa5448542009-02-13 15:32:32 +0000467 const llvm::Type *UnsignedLongTy =
Mike Stumpab695142009-02-13 15:16:56 +0000468 getTypes().ConvertType(getContext().UnsignedLongTy);
Mike Stumpa5448542009-02-13 15:32:32 +0000469
Mike Stumpab695142009-02-13 15:16:56 +0000470 // struct __block_descriptor {
471 // unsigned long reserved;
472 // unsigned long block_size;
Blaine Garst2a7eb282010-02-23 21:51:17 +0000473 //
474 // // later, the following will be added
475 //
476 // struct {
477 // void (*copyHelper)();
478 // void (*copyHelper)();
479 // } helpers; // !!! optional
480 //
481 // const char *signature; // the block signature
482 // const char *layout; // reserved
Mike Stumpab695142009-02-13 15:16:56 +0000483 // };
Owen Anderson47a434f2009-08-05 23:18:46 +0000484 BlockDescriptorType = llvm::StructType::get(UnsignedLongTy->getContext(),
485 UnsignedLongTy,
Mike Stumpa5448542009-02-13 15:32:32 +0000486 UnsignedLongTy,
Mike Stumpab695142009-02-13 15:16:56 +0000487 NULL);
488
489 getModule().addTypeName("struct.__block_descriptor",
490 BlockDescriptorType);
491
492 return BlockDescriptorType;
Anders Carlssonacfde802009-02-12 00:39:25 +0000493}
494
Mike Stump2a998142009-03-04 18:17:45 +0000495const llvm::Type *BlockModule::getGenericBlockLiteralType() {
Mike Stump9b8a7972009-02-13 15:25:34 +0000496 if (GenericBlockLiteralType)
497 return GenericBlockLiteralType;
498
Mike Stumpa5448542009-02-13 15:32:32 +0000499 const llvm::Type *BlockDescPtrTy =
Owen Anderson96e0fc72009-07-29 22:16:19 +0000500 llvm::PointerType::getUnqual(getBlockDescriptorType());
Mike Stumpa5448542009-02-13 15:32:32 +0000501
Mike Stump7cbb3602009-02-13 16:01:35 +0000502 const llvm::IntegerType *IntTy = cast<llvm::IntegerType>(
503 getTypes().ConvertType(getContext().IntTy));
504
Mike Stump9b8a7972009-02-13 15:25:34 +0000505 // struct __block_literal_generic {
Mike Stumpbd65cac2009-02-19 01:01:04 +0000506 // void *__isa;
507 // int __flags;
508 // int __reserved;
509 // void (*__invoke)(void *);
510 // struct __block_descriptor *__descriptor;
Mike Stump9b8a7972009-02-13 15:25:34 +0000511 // };
Blaine Garst2a7eb282010-02-23 21:51:17 +0000512 GenericBlockLiteralType = llvm::StructType::get(IntTy->getContext(),
Owen Anderson47a434f2009-08-05 23:18:46 +0000513 PtrToInt8Ty,
Mike Stump7cbb3602009-02-13 16:01:35 +0000514 IntTy,
515 IntTy,
Mike Stump797b6322009-03-05 01:23:13 +0000516 PtrToInt8Ty,
Mike Stump9b8a7972009-02-13 15:25:34 +0000517 BlockDescPtrTy,
518 NULL);
Mike Stumpa5448542009-02-13 15:32:32 +0000519
Mike Stump9b8a7972009-02-13 15:25:34 +0000520 getModule().addTypeName("struct.__block_literal_generic",
521 GenericBlockLiteralType);
Mike Stumpa5448542009-02-13 15:32:32 +0000522
Mike Stump9b8a7972009-02-13 15:25:34 +0000523 return GenericBlockLiteralType;
Anders Carlssonacfde802009-02-12 00:39:25 +0000524}
525
Mike Stumpbd65cac2009-02-19 01:01:04 +0000526
Anders Carlssona1736c02009-12-24 21:13:40 +0000527RValue CodeGenFunction::EmitBlockCallExpr(const CallExpr* E,
528 ReturnValueSlot ReturnValue) {
Mike Stumpa5448542009-02-13 15:32:32 +0000529 const BlockPointerType *BPT =
Ted Kremenek6217b802009-07-29 21:53:49 +0000530 E->getCallee()->getType()->getAs<BlockPointerType>();
Mike Stumpa5448542009-02-13 15:32:32 +0000531
Anders Carlssonacfde802009-02-12 00:39:25 +0000532 llvm::Value *Callee = EmitScalarExpr(E->getCallee());
533
534 // Get a pointer to the generic block literal.
535 const llvm::Type *BlockLiteralTy =
Owen Anderson96e0fc72009-07-29 22:16:19 +0000536 llvm::PointerType::getUnqual(CGM.getGenericBlockLiteralType());
Anders Carlssonacfde802009-02-12 00:39:25 +0000537
538 // Bitcast the callee to a block literal.
Mike Stumpa5448542009-02-13 15:32:32 +0000539 llvm::Value *BlockLiteral =
Anders Carlssonacfde802009-02-12 00:39:25 +0000540 Builder.CreateBitCast(Callee, BlockLiteralTy, "block.literal");
541
542 // Get the function pointer from the literal.
543 llvm::Value *FuncPtr = Builder.CreateStructGEP(BlockLiteral, 3, "tmp");
Anders Carlssonacfde802009-02-12 00:39:25 +0000544
Mike Stumpa5448542009-02-13 15:32:32 +0000545 BlockLiteral =
546 Builder.CreateBitCast(BlockLiteral,
Benjamin Kramer3c0ef8c2009-10-13 10:07:13 +0000547 llvm::Type::getInt8PtrTy(VMContext),
Anders Carlssonacfde802009-02-12 00:39:25 +0000548 "tmp");
Mike Stumpa5448542009-02-13 15:32:32 +0000549
Anders Carlssonacfde802009-02-12 00:39:25 +0000550 // Add the block literal.
551 QualType VoidPtrTy = getContext().getPointerType(getContext().VoidTy);
552 CallArgList Args;
553 Args.push_back(std::make_pair(RValue::get(BlockLiteral), VoidPtrTy));
Mike Stumpa5448542009-02-13 15:32:32 +0000554
Anders Carlsson782f3972009-04-08 23:13:16 +0000555 QualType FnType = BPT->getPointeeType();
556
Anders Carlssonacfde802009-02-12 00:39:25 +0000557 // And the rest of the arguments.
John McCall183700f2009-09-21 23:43:11 +0000558 EmitCallArgs(Args, FnType->getAs<FunctionProtoType>(),
Anders Carlsson782f3972009-04-08 23:13:16 +0000559 E->arg_begin(), E->arg_end());
Mike Stumpa5448542009-02-13 15:32:32 +0000560
Anders Carlsson6e460ff2009-04-07 22:10:22 +0000561 // Load the function.
Daniel Dunbar2da84ff2009-11-29 21:23:36 +0000562 llvm::Value *Func = Builder.CreateLoad(FuncPtr, "tmp");
Anders Carlsson6e460ff2009-04-07 22:10:22 +0000563
John McCall04a67a62010-02-05 21:31:56 +0000564 const FunctionType *FuncTy = FnType->getAs<FunctionType>();
565 QualType ResultType = FuncTy->getResultType();
Anders Carlssona17d7cc2009-04-08 02:55:55 +0000566
Mike Stump1eb44332009-09-09 15:08:12 +0000567 const CGFunctionInfo &FnInfo =
Rafael Espindola264ba482010-03-30 20:24:48 +0000568 CGM.getTypes().getFunctionInfo(ResultType, Args,
569 FuncTy->getExtInfo());
Mike Stump1eb44332009-09-09 15:08:12 +0000570
Anders Carlsson6e460ff2009-04-07 22:10:22 +0000571 // Cast the function pointer to the right type.
Mike Stump1eb44332009-09-09 15:08:12 +0000572 const llvm::Type *BlockFTy =
Anders Carlssona17d7cc2009-04-08 02:55:55 +0000573 CGM.getTypes().GetFunctionType(FnInfo, false);
Mike Stump1eb44332009-09-09 15:08:12 +0000574
Owen Anderson96e0fc72009-07-29 22:16:19 +0000575 const llvm::Type *BlockFTyPtr = llvm::PointerType::getUnqual(BlockFTy);
Anders Carlsson6e460ff2009-04-07 22:10:22 +0000576 Func = Builder.CreateBitCast(Func, BlockFTyPtr);
Mike Stump1eb44332009-09-09 15:08:12 +0000577
Anders Carlssonacfde802009-02-12 00:39:25 +0000578 // And call the block.
Anders Carlssona1736c02009-12-24 21:13:40 +0000579 return EmitCall(FnInfo, Func, ReturnValue, Args);
Anders Carlssonacfde802009-02-12 00:39:25 +0000580}
Anders Carlssond5cab542009-02-12 17:55:02 +0000581
John McCallea1471e2010-05-20 01:18:31 +0000582void CodeGenFunction::AllocateBlockCXXThisPointer(const CXXThisExpr *E) {
583 assert(BlockCXXThisOffset.isZero() && "already computed 'this' pointer");
584
585 // Figure out what the offset is.
586 QualType T = E->getType();
587 std::pair<CharUnits,CharUnits> TypeInfo = getContext().getTypeInfoInChars(T);
588 CharUnits Offset = getBlockOffset(TypeInfo.first, TypeInfo.second);
589
590 BlockCXXThisOffset = Offset;
591 BlockLayout.push_back(E);
592}
593
594void CodeGenFunction::AllocateBlockDecl(const BlockDeclRefExpr *E) {
Anders Carlsson7dfa4072009-09-12 02:14:24 +0000595 const ValueDecl *VD = E->getDecl();
John McCallea1471e2010-05-20 01:18:31 +0000596 CharUnits &Offset = BlockDecls[VD];
Mike Stumpdab514f2009-03-04 03:23:46 +0000597
Mike Stumpdab514f2009-03-04 03:23:46 +0000598 // See if we have already allocated an offset for this variable.
John McCallea1471e2010-05-20 01:18:31 +0000599 if (!Offset.isZero())
600 return;
Mike Stumpea26cb52009-10-21 03:49:08 +0000601
602 // Don't run the expensive check, unless we have to.
Mike Stump083c25e2009-10-22 00:49:09 +0000603 if (!BlockHasCopyDispose)
604 if (E->isByRef()
605 || BlockRequiresCopying(E->getType()))
606 BlockHasCopyDispose = true;
Mike Stumpea26cb52009-10-21 03:49:08 +0000607
John McCallea1471e2010-05-20 01:18:31 +0000608 const ValueDecl *D = cast<ValueDecl>(E->getDecl());
Mike Stumpea26cb52009-10-21 03:49:08 +0000609
John McCallea1471e2010-05-20 01:18:31 +0000610 CharUnits Size;
611 CharUnits Align;
612
613 if (E->isByRef()) {
614 llvm::tie(Size,Align) =
615 getContext().getTypeInfoInChars(getContext().VoidPtrTy);
616 } else {
617 Size = getContext().getTypeSizeInChars(D->getType());
618 Align = getContext().getDeclAlign(D);
619 }
620
621 Offset = getBlockOffset(Size, Align);
622 BlockLayout.push_back(E);
Mike Stumpea26cb52009-10-21 03:49:08 +0000623}
624
John McCallee504292010-05-21 04:11:14 +0000625llvm::Value *CodeGenFunction::GetAddrOfBlockDecl(const ValueDecl *VD,
626 bool IsByRef) {
Fariborz Jahaniandf8b8ea2010-06-04 16:10:00 +0000627 llvm::Value *&VE = BlockDeclsValue[VD];
628 if (VE)
629 return VE;
630
John McCallea1471e2010-05-20 01:18:31 +0000631 CharUnits offset = BlockDecls[VD];
632 assert(!offset.isZero() && "getting address of unallocated decl");
Mike Stumpdab514f2009-03-04 03:23:46 +0000633
634 llvm::Value *BlockLiteral = LoadBlockStruct();
635 llvm::Value *V = Builder.CreateGEP(BlockLiteral,
Mike Stumpea26cb52009-10-21 03:49:08 +0000636 llvm::ConstantInt::get(llvm::Type::getInt64Ty(VMContext),
Ken Dyck199c3d62010-01-11 17:06:35 +0000637 offset.getQuantity()),
Mike Stump58a85142009-03-04 22:48:06 +0000638 "block.literal");
John McCallee504292010-05-21 04:11:14 +0000639 if (IsByRef) {
Mike Stumpdab514f2009-03-04 03:23:46 +0000640 const llvm::Type *PtrStructTy
Anders Carlsson7dfa4072009-09-12 02:14:24 +0000641 = llvm::PointerType::get(BuildByRefType(VD), 0);
Mike Stumpa8b60c92009-03-21 21:00:35 +0000642 // The block literal will need a copy/destroy helper.
643 BlockHasCopyDispose = true;
Anders Carlsson7dfa4072009-09-12 02:14:24 +0000644
645 const llvm::Type *Ty = PtrStructTy;
Owen Anderson96e0fc72009-07-29 22:16:19 +0000646 Ty = llvm::PointerType::get(Ty, 0);
Mike Stumpdab514f2009-03-04 03:23:46 +0000647 V = Builder.CreateBitCast(V, Ty);
Daniel Dunbar2da84ff2009-11-29 21:23:36 +0000648 V = Builder.CreateLoad(V);
Mike Stumpdab514f2009-03-04 03:23:46 +0000649 V = Builder.CreateStructGEP(V, 1, "forwarding");
Daniel Dunbar2da84ff2009-11-29 21:23:36 +0000650 V = Builder.CreateLoad(V);
Mike Stumpdab514f2009-03-04 03:23:46 +0000651 V = Builder.CreateBitCast(V, PtrStructTy);
Anders Carlsson7dfa4072009-09-12 02:14:24 +0000652 V = Builder.CreateStructGEP(V, getByRefValueLLVMField(VD),
653 VD->getNameAsString());
Fariborz Jahaniand33ded52010-05-04 17:59:32 +0000654 if (VD->getType()->isReferenceType())
655 V = Builder.CreateLoad(V);
Mike Stumpdab514f2009-03-04 03:23:46 +0000656 } else {
Anders Carlsson7dfa4072009-09-12 02:14:24 +0000657 const llvm::Type *Ty = CGM.getTypes().ConvertType(VD->getType());
Owen Anderson96e0fc72009-07-29 22:16:19 +0000658 Ty = llvm::PointerType::get(Ty, 0);
Mike Stumpdab514f2009-03-04 03:23:46 +0000659 V = Builder.CreateBitCast(V, Ty);
Fariborz Jahanian79651722010-06-02 21:35:17 +0000660 if (VD->getType()->isReferenceType())
Fariborz Jahaniandf8b8ea2010-06-04 16:10:00 +0000661 V = Builder.CreateLoad(V, "ref.tmp");
Mike Stumpdab514f2009-03-04 03:23:46 +0000662 }
Fariborz Jahaniandf8b8ea2010-06-04 16:10:00 +0000663 VE = V;
Mike Stumpdab514f2009-03-04 03:23:46 +0000664 return V;
665}
666
Mike Stump67a64482009-02-14 22:16:35 +0000667llvm::Constant *
Mike Stump90a90432009-03-04 18:47:42 +0000668BlockModule::GetAddrOfGlobalBlock(const BlockExpr *BE, const char * n) {
Anders Carlssond5cab542009-02-12 17:55:02 +0000669 // Generate the block descriptor.
670 const llvm::Type *UnsignedLongTy = Types.ConvertType(Context.UnsignedLongTy);
Mike Stump7cbb3602009-02-13 16:01:35 +0000671 const llvm::IntegerType *IntTy = cast<llvm::IntegerType>(
672 getTypes().ConvertType(getContext().IntTy));
Mike Stumpa5448542009-02-13 15:32:32 +0000673
Blaine Garst2a7eb282010-02-23 21:51:17 +0000674 llvm::Constant *DescriptorFields[4];
Mike Stumpa5448542009-02-13 15:32:32 +0000675
Anders Carlssond5cab542009-02-12 17:55:02 +0000676 // Reserved
Owen Andersonc9c88b42009-07-31 20:28:54 +0000677 DescriptorFields[0] = llvm::Constant::getNullValue(UnsignedLongTy);
Mike Stumpa5448542009-02-13 15:32:32 +0000678
Anders Carlssond5cab542009-02-12 17:55:02 +0000679 // Block literal size. For global blocks we just use the size of the generic
680 // block literal struct.
Ken Dyck687cc4a2010-01-26 13:48:07 +0000681 CharUnits BlockLiteralSize =
682 CGM.GetTargetTypeStoreSize(getGenericBlockLiteralType());
Owen Andersona1cf15f2009-07-14 23:10:40 +0000683 DescriptorFields[1] =
Ken Dyck199c3d62010-01-11 17:06:35 +0000684 llvm::ConstantInt::get(UnsignedLongTy,BlockLiteralSize.getQuantity());
Blaine Garst2a7eb282010-02-23 21:51:17 +0000685
686 // signature. non-optional ObjC-style method descriptor @encode sequence
687 std::string BlockTypeEncoding;
688 CGM.getContext().getObjCEncodingForBlock(BE, BlockTypeEncoding);
Mike Stumpa5448542009-02-13 15:32:32 +0000689
Blaine Garst2a7eb282010-02-23 21:51:17 +0000690 DescriptorFields[2] = llvm::ConstantExpr::getBitCast(
691 CGM.GetAddrOfConstantCString(BlockTypeEncoding), PtrToInt8Ty);
692
693 // layout
694 DescriptorFields[3] =
695 llvm::ConstantInt::get(UnsignedLongTy,0);
696
697 // build the structure from the 4 elements
Mike Stumpa5448542009-02-13 15:32:32 +0000698 llvm::Constant *DescriptorStruct =
Blaine Garst2a7eb282010-02-23 21:51:17 +0000699 llvm::ConstantStruct::get(VMContext, &DescriptorFields[0], 4, false);
Mike Stumpa5448542009-02-13 15:32:32 +0000700
Anders Carlssond5cab542009-02-12 17:55:02 +0000701 llvm::GlobalVariable *Descriptor =
Owen Anderson1c431b32009-07-08 19:05:04 +0000702 new llvm::GlobalVariable(getModule(), DescriptorStruct->getType(), true,
Mike Stumpa5448542009-02-13 15:32:32 +0000703 llvm::GlobalVariable::InternalLinkage,
Owen Anderson1c431b32009-07-08 19:05:04 +0000704 DescriptorStruct, "__block_descriptor_global");
Mike Stumpa5448542009-02-13 15:32:32 +0000705
David Chisnall5e530af2009-11-17 19:33:30 +0000706 int FieldCount = 5;
Anders Carlssond5cab542009-02-12 17:55:02 +0000707 // Generate the constants for the block literal.
David Chisnall5e530af2009-11-17 19:33:30 +0000708
709 std::vector<llvm::Constant*> LiteralFields(FieldCount);
Mike Stumpa5448542009-02-13 15:32:32 +0000710
John McCallee504292010-05-21 04:11:14 +0000711 CGBlockInfo Info(n);
Mike Stump7f28a9c2009-03-13 23:34:28 +0000712 llvm::DenseMap<const Decl*, llvm::Value*> LocalDeclMap;
Mike Stump4e7a1f72009-02-21 20:00:35 +0000713 llvm::Function *Fn
John McCallee504292010-05-21 04:11:14 +0000714 = CodeGenFunction(CGM).GenerateBlockFunction(BE, Info, 0, LocalDeclMap);
715 assert(Info.BlockSize == BlockLiteralSize
Mike Stump4e7a1f72009-02-21 20:00:35 +0000716 && "no imports allowed for global block");
Mike Stumpa5448542009-02-13 15:32:32 +0000717
Anders Carlssond5cab542009-02-12 17:55:02 +0000718 // isa
Mike Stumpf99f1d02009-02-13 17:23:42 +0000719 LiteralFields[0] = getNSConcreteGlobalBlock();
Mike Stumpa5448542009-02-13 15:32:32 +0000720
Anders Carlssond5cab542009-02-12 17:55:02 +0000721 // Flags
Blaine Garst2a7eb282010-02-23 21:51:17 +0000722 LiteralFields[1] =
Blaine Garsta36e2232010-03-05 01:29:59 +0000723 llvm::ConstantInt::get(IntTy, BLOCK_IS_GLOBAL | BLOCK_HAS_SIGNATURE);
Mike Stumpa5448542009-02-13 15:32:32 +0000724
Anders Carlssond5cab542009-02-12 17:55:02 +0000725 // Reserved
Owen Andersonc9c88b42009-07-31 20:28:54 +0000726 LiteralFields[2] = llvm::Constant::getNullValue(IntTy);
Mike Stumpa5448542009-02-13 15:32:32 +0000727
Anders Carlssond5cab542009-02-12 17:55:02 +0000728 // Function
729 LiteralFields[3] = Fn;
Mike Stumpa5448542009-02-13 15:32:32 +0000730
Anders Carlssond5cab542009-02-12 17:55:02 +0000731 // Descriptor
732 LiteralFields[4] = Descriptor;
David Chisnall5e530af2009-11-17 19:33:30 +0000733
Mike Stumpa5448542009-02-13 15:32:32 +0000734 llvm::Constant *BlockLiteralStruct =
David Chisnall5e530af2009-11-17 19:33:30 +0000735 llvm::ConstantStruct::get(VMContext, LiteralFields, false);
Mike Stumpa5448542009-02-13 15:32:32 +0000736
737 llvm::GlobalVariable *BlockLiteral =
Owen Anderson1c431b32009-07-08 19:05:04 +0000738 new llvm::GlobalVariable(getModule(), BlockLiteralStruct->getType(), true,
Mike Stumpa5448542009-02-13 15:32:32 +0000739 llvm::GlobalVariable::InternalLinkage,
Owen Anderson1c431b32009-07-08 19:05:04 +0000740 BlockLiteralStruct, "__block_literal_global");
Mike Stumpa5448542009-02-13 15:32:32 +0000741
Anders Carlssond5cab542009-02-12 17:55:02 +0000742 return BlockLiteral;
743}
744
Mike Stump4e7a1f72009-02-21 20:00:35 +0000745llvm::Value *CodeGenFunction::LoadBlockStruct() {
Mike Stumpbf1914b2009-10-20 20:30:01 +0000746 llvm::Value *V = Builder.CreateLoad(LocalDeclMap[getBlockStructDecl()],
747 "self");
748 // For now, we codegen based upon byte offsets.
749 return Builder.CreateBitCast(V, PtrToInt8Ty);
Mike Stump4e7a1f72009-02-21 20:00:35 +0000750}
751
Mike Stump00470a12009-03-05 08:32:30 +0000752llvm::Function *
753CodeGenFunction::GenerateBlockFunction(const BlockExpr *BExpr,
John McCallee504292010-05-21 04:11:14 +0000754 CGBlockInfo &Info,
Mike Stump6cc88f72009-03-20 21:53:12 +0000755 const Decl *OuterFuncDecl,
John McCallee504292010-05-21 04:11:14 +0000756 llvm::DenseMap<const Decl*, llvm::Value*> ldm) {
Devang Patel963dfbd2009-04-15 21:51:44 +0000757
758 // Check if we should generate debug info for this block.
759 if (CGM.getDebugInfo())
760 DebugInfo = CGM.getDebugInfo();
Mike Stump1eb44332009-09-09 15:08:12 +0000761
Mike Stump7f28a9c2009-03-13 23:34:28 +0000762 // Arrange for local static and local extern declarations to appear
763 // to be local to this function as well, as they are directly referenced
764 // in a block.
765 for (llvm::DenseMap<const Decl *, llvm::Value*>::iterator i = ldm.begin();
766 i != ldm.end();
767 ++i) {
768 const VarDecl *VD = dyn_cast<VarDecl>(i->first);
Mike Stump1eb44332009-09-09 15:08:12 +0000769
Daniel Dunbar5466c7b2009-04-14 02:25:56 +0000770 if (VD->getStorageClass() == VarDecl::Static || VD->hasExternalStorage())
Mike Stump7f28a9c2009-03-13 23:34:28 +0000771 LocalDeclMap[VD] = i->second;
772 }
773
Ken Dyck687cc4a2010-01-26 13:48:07 +0000774 BlockOffset =
775 CGM.GetTargetTypeStoreSize(CGM.getGenericBlockLiteralType());
Ken Dyck30a8a272010-01-26 19:13:33 +0000776 BlockAlign = getContext().getTypeAlignInChars(getContext().VoidPtrTy);
Eli Friedman48f91222009-03-28 03:24:54 +0000777
Fariborz Jahanian140fb262009-04-11 17:55:15 +0000778 const FunctionType *BlockFunctionType = BExpr->getFunctionType();
779 QualType ResultType;
Rafael Espindola264ba482010-03-30 20:24:48 +0000780 FunctionType::ExtInfo EInfo = getFunctionExtInfo(*BlockFunctionType);
Fariborz Jahanian140fb262009-04-11 17:55:15 +0000781 bool IsVariadic;
Mike Stump1eb44332009-09-09 15:08:12 +0000782 if (const FunctionProtoType *FTy =
Fariborz Jahanianda0895d2009-04-11 18:54:57 +0000783 dyn_cast<FunctionProtoType>(BlockFunctionType)) {
Fariborz Jahanian140fb262009-04-11 17:55:15 +0000784 ResultType = FTy->getResultType();
785 IsVariadic = FTy->isVariadic();
Mike Stumpb3589f42009-07-30 22:28:39 +0000786 } else {
Fariborz Jahanian140fb262009-04-11 17:55:15 +0000787 // K&R style block.
788 ResultType = BlockFunctionType->getResultType();
789 IsVariadic = false;
790 }
Mike Stumpa5448542009-02-13 15:32:32 +0000791
Anders Carlssond5cab542009-02-12 17:55:02 +0000792 FunctionArgList Args;
Mike Stumpa5448542009-02-13 15:32:32 +0000793
Mike Stumpea26cb52009-10-21 03:49:08 +0000794 CurFuncDecl = OuterFuncDecl;
795
Chris Lattner161d36d2009-02-28 19:01:03 +0000796 const BlockDecl *BD = BExpr->getBlockDecl();
Anders Carlssond5cab542009-02-12 17:55:02 +0000797
Mike Stumpea26cb52009-10-21 03:49:08 +0000798 IdentifierInfo *II = &CGM.getContext().Idents.get(".block_descriptor");
Mike Stumpadaaad32009-10-20 02:12:22 +0000799
John McCallea1471e2010-05-20 01:18:31 +0000800 // Build the block struct now.
John McCallee504292010-05-21 04:11:14 +0000801 AllocateAllBlockDeclRefs(*this, Info);
Mike Stumpea26cb52009-10-21 03:49:08 +0000802
Mike Stump083c25e2009-10-22 00:49:09 +0000803 QualType ParmTy = getContext().getBlockParmType(BlockHasCopyDispose,
John McCallea1471e2010-05-20 01:18:31 +0000804 BlockLayout);
805
Anders Carlssond5cab542009-02-12 17:55:02 +0000806 // FIXME: This leaks
Mike Stumpa5448542009-02-13 15:32:32 +0000807 ImplicitParamDecl *SelfDecl =
John McCall2888b652010-04-30 21:35:41 +0000808 ImplicitParamDecl::Create(getContext(), const_cast<BlockDecl*>(BD),
Mike Stumpadaaad32009-10-20 02:12:22 +0000809 SourceLocation(), II,
810 ParmTy);
Mike Stumpa5448542009-02-13 15:32:32 +0000811
Anders Carlssond5cab542009-02-12 17:55:02 +0000812 Args.push_back(std::make_pair(SelfDecl, SelfDecl->getType()));
Mike Stump4e7a1f72009-02-21 20:00:35 +0000813 BlockStructDecl = SelfDecl;
Mike Stumpa5448542009-02-13 15:32:32 +0000814
Steve Naroffe78b8092009-03-13 16:56:44 +0000815 for (BlockDecl::param_const_iterator i = BD->param_begin(),
Anders Carlssond5cab542009-02-12 17:55:02 +0000816 e = BD->param_end(); i != e; ++i)
Mike Stump19050612009-02-17 23:25:52 +0000817 Args.push_back(std::make_pair(*i, (*i)->getType()));
Mike Stumpa5448542009-02-13 15:32:32 +0000818
819 const CGFunctionInfo &FI =
Rafael Espindola264ba482010-03-30 20:24:48 +0000820 CGM.getTypes().getFunctionInfo(ResultType, Args, EInfo);
Anders Carlssond5cab542009-02-12 17:55:02 +0000821
Anders Carlssond5cab542009-02-12 17:55:02 +0000822 CodeGenTypes &Types = CGM.getTypes();
Fariborz Jahanian140fb262009-04-11 17:55:15 +0000823 const llvm::FunctionType *LTy = Types.GetFunctionType(FI, IsVariadic);
Mike Stumpa5448542009-02-13 15:32:32 +0000824
Douglas Gregor35415f52010-05-25 17:04:15 +0000825 MangleBuffer Name;
826 CGM.getMangledName(Name, BD);
Mike Stumpa5448542009-02-13 15:32:32 +0000827 llvm::Function *Fn =
Douglas Gregor6e5d9b02010-05-25 17:12:30 +0000828 llvm::Function::Create(LTy, llvm::GlobalValue::InternalLinkage,
829 Name.getString(), &CGM.getModule());
Mike Stumpa5448542009-02-13 15:32:32 +0000830
Daniel Dunbar0e4f40e2009-04-17 00:48:04 +0000831 CGM.SetInternalFunctionAttributes(BD, Fn, FI);
832
Chris Lattner4863db42009-04-23 07:18:56 +0000833 StartFunction(BD, ResultType, Fn, Args,
Chris Lattner161d36d2009-02-28 19:01:03 +0000834 BExpr->getBody()->getLocEnd());
Mike Stumpb1a6e682009-09-30 02:43:10 +0000835
Chris Lattner4863db42009-04-23 07:18:56 +0000836 CurFuncDecl = OuterFuncDecl;
Chris Lattnerb5437d22009-04-23 05:30:27 +0000837 CurCodeDecl = BD;
Mike Stumpb289b3f2009-10-01 22:29:41 +0000838
John McCallea1471e2010-05-20 01:18:31 +0000839 // If we have a C++ 'this' reference, go ahead and force it into
840 // existence now.
841 if (Info.CXXThisRef) {
842 assert(!BlockCXXThisOffset.isZero() &&
843 "haven't yet allocated 'this' reference");
844
845 // TODO: I have a dream that one day this will be typed.
846 llvm::Value *BlockLiteral = LoadBlockStruct();
847 llvm::Value *ThisPtrRaw =
848 Builder.CreateConstInBoundsGEP1_64(BlockLiteral,
849 BlockCXXThisOffset.getQuantity(),
850 "this.ptr.raw");
851
852 const llvm::Type *Ty =
853 CGM.getTypes().ConvertType(Info.CXXThisRef->getType());
854 Ty = llvm::PointerType::get(Ty, 0);
855 llvm::Value *ThisPtr = Builder.CreateBitCast(ThisPtrRaw, Ty, "this.ptr");
856
857 CXXThisValue = Builder.CreateLoad(ThisPtr, "this");
858 }
859
John McCallee504292010-05-21 04:11:14 +0000860 // If we have an Objective C 'self' reference, go ahead and force it
861 // into existence now.
862 if (Info.NeedsObjCSelf) {
863 ValueDecl *Self = cast<ObjCMethodDecl>(CurFuncDecl)->getSelfDecl();
864 LocalDeclMap[Self] = GetAddrOfBlockDecl(Self, false);
865 }
866
Mike Stumpb289b3f2009-10-01 22:29:41 +0000867 // Save a spot to insert the debug information for all the BlockDeclRefDecls.
868 llvm::BasicBlock *entry = Builder.GetInsertBlock();
869 llvm::BasicBlock::iterator entry_ptr = Builder.GetInsertPoint();
870 --entry_ptr;
871
Chris Lattner161d36d2009-02-28 19:01:03 +0000872 EmitStmt(BExpr->getBody());
Mike Stumpb289b3f2009-10-01 22:29:41 +0000873
Mike Stumpde8c5c72009-10-01 00:27:30 +0000874 // Remember where we were...
875 llvm::BasicBlock *resume = Builder.GetInsertBlock();
Mike Stumpb289b3f2009-10-01 22:29:41 +0000876
Mike Stumpde8c5c72009-10-01 00:27:30 +0000877 // Go back to the entry.
Mike Stumpb289b3f2009-10-01 22:29:41 +0000878 ++entry_ptr;
879 Builder.SetInsertPoint(entry, entry_ptr);
880
Mike Stumpb1a6e682009-09-30 02:43:10 +0000881 if (CGDebugInfo *DI = getDebugInfo()) {
Mike Stumpb1a6e682009-09-30 02:43:10 +0000882 // Emit debug information for all the BlockDeclRefDecls.
John McCallea1471e2010-05-20 01:18:31 +0000883 // FIXME: also for 'this'
884 for (unsigned i = 0, e = BlockLayout.size(); i != e; ++i) {
885 if (const BlockDeclRefExpr *BDRE =
886 dyn_cast<BlockDeclRefExpr>(BlockLayout[i])) {
Mike Stumpb1a6e682009-09-30 02:43:10 +0000887 const ValueDecl *D = BDRE->getDecl();
888 DI->setLocation(D->getLocation());
889 DI->EmitDeclareOfBlockDeclRefVariable(BDRE,
890 LocalDeclMap[getBlockStructDecl()],
891 Builder, this);
892 }
893 }
Mike Stumpb1a6e682009-09-30 02:43:10 +0000894 }
Mike Stumpde8c5c72009-10-01 00:27:30 +0000895 // And resume where we left off.
896 if (resume == 0)
897 Builder.ClearInsertionPoint();
898 else
899 Builder.SetInsertPoint(resume);
Mike Stumpb1a6e682009-09-30 02:43:10 +0000900
Chris Lattner161d36d2009-02-28 19:01:03 +0000901 FinishFunction(cast<CompoundStmt>(BExpr->getBody())->getRBracLoc());
Anders Carlssond5cab542009-02-12 17:55:02 +0000902
Mike Stump8a2b4b12009-02-25 23:33:13 +0000903 // The runtime needs a minimum alignment of a void *.
Ken Dyck30a8a272010-01-26 19:13:33 +0000904 CharUnits MinAlign = getContext().getTypeAlignInChars(getContext().VoidPtrTy);
Ken Dyck199c3d62010-01-11 17:06:35 +0000905 BlockOffset = CharUnits::fromQuantity(
Ken Dyck30a8a272010-01-26 19:13:33 +0000906 llvm::RoundUpToAlignment(BlockOffset.getQuantity(),
907 MinAlign.getQuantity()));
Mike Stump8a2b4b12009-02-25 23:33:13 +0000908
John McCallee504292010-05-21 04:11:14 +0000909 Info.BlockSize = BlockOffset;
910 Info.BlockAlign = BlockAlign;
911 Info.BlockLayout = BlockLayout;
912 Info.BlockHasCopyDispose = BlockHasCopyDispose;
Anders Carlssond5cab542009-02-12 17:55:02 +0000913 return Fn;
914}
Mike Stumpa99038c2009-02-28 09:07:16 +0000915
John McCallea1471e2010-05-20 01:18:31 +0000916CharUnits BlockFunction::getBlockOffset(CharUnits Size, CharUnits Align) {
917 assert((Align.isPositive()) && "alignment must be 1 byte or more");
Mike Stumpa99038c2009-02-28 09:07:16 +0000918
Ken Dyck199c3d62010-01-11 17:06:35 +0000919 CharUnits OldOffset = BlockOffset;
Mike Stumpa99038c2009-02-28 09:07:16 +0000920
921 // Ensure proper alignment, even if it means we have to have a gap
Ken Dyck199c3d62010-01-11 17:06:35 +0000922 BlockOffset = CharUnits::fromQuantity(
Ken Dyck30a8a272010-01-26 19:13:33 +0000923 llvm::RoundUpToAlignment(BlockOffset.getQuantity(), Align.getQuantity()));
Mike Stumpa99038c2009-02-28 09:07:16 +0000924 BlockAlign = std::max(Align, BlockAlign);
Mike Stump00470a12009-03-05 08:32:30 +0000925
Ken Dyck199c3d62010-01-11 17:06:35 +0000926 CharUnits Pad = BlockOffset - OldOffset;
927 if (Pad.isPositive()) {
Mike Stumpa99038c2009-02-28 09:07:16 +0000928 QualType PadTy = getContext().getConstantArrayType(getContext().CharTy,
Ken Dyck199c3d62010-01-11 17:06:35 +0000929 llvm::APInt(32,
930 Pad.getQuantity()),
Mike Stumpa99038c2009-02-28 09:07:16 +0000931 ArrayType::Normal, 0);
Douglas Gregorba55ec22010-05-11 18:17:16 +0000932 ValueDecl *PadDecl = VarDecl::Create(getContext(),
933 getContext().getTranslationUnitDecl(),
934 SourceLocation(),
Douglas Gregor16573fa2010-04-19 22:54:31 +0000935 0, QualType(PadTy), 0,
936 VarDecl::None, VarDecl::None);
John McCallea1471e2010-05-20 01:18:31 +0000937 Expr *E = new (getContext()) DeclRefExpr(PadDecl, PadDecl->getType(),
938 SourceLocation());
939 BlockLayout.push_back(E);
Mike Stumpa99038c2009-02-28 09:07:16 +0000940 }
Mike Stumpa99038c2009-02-28 09:07:16 +0000941
942 BlockOffset += Size;
John McCallea1471e2010-05-20 01:18:31 +0000943 return BlockOffset - Size;
Mike Stumpa99038c2009-02-28 09:07:16 +0000944}
Mike Stumpdab514f2009-03-04 03:23:46 +0000945
Mike Stump08920992009-03-07 02:35:30 +0000946llvm::Constant *BlockFunction::
947GenerateCopyHelperFunction(bool BlockHasCopyDispose, const llvm::StructType *T,
Mike Stumpb7477cf2009-04-10 18:52:28 +0000948 std::vector<HelperInfo> *NoteForHelperp) {
Mike Stumpa4f668f2009-03-06 01:33:24 +0000949 QualType R = getContext().VoidTy;
950
951 FunctionArgList Args;
952 // FIXME: This leaks
Mike Stump08920992009-03-07 02:35:30 +0000953 ImplicitParamDecl *Dst =
Mike Stumpea26cb52009-10-21 03:49:08 +0000954 ImplicitParamDecl::Create(getContext(), 0,
955 SourceLocation(), 0,
Mike Stump08920992009-03-07 02:35:30 +0000956 getContext().getPointerType(getContext().VoidTy));
957 Args.push_back(std::make_pair(Dst, Dst->getType()));
Mike Stumpa4f668f2009-03-06 01:33:24 +0000958 ImplicitParamDecl *Src =
Mike Stumpea26cb52009-10-21 03:49:08 +0000959 ImplicitParamDecl::Create(getContext(), 0,
960 SourceLocation(), 0,
Mike Stumpa4f668f2009-03-06 01:33:24 +0000961 getContext().getPointerType(getContext().VoidTy));
Mike Stumpa4f668f2009-03-06 01:33:24 +0000962 Args.push_back(std::make_pair(Src, Src->getType()));
Mike Stump1eb44332009-09-09 15:08:12 +0000963
Mike Stumpa4f668f2009-03-06 01:33:24 +0000964 const CGFunctionInfo &FI =
Rafael Espindola264ba482010-03-30 20:24:48 +0000965 CGM.getTypes().getFunctionInfo(R, Args, FunctionType::ExtInfo());
Mike Stumpa4f668f2009-03-06 01:33:24 +0000966
Mike Stump3899a7f2009-06-05 23:26:36 +0000967 // FIXME: We'd like to put these into a mergable by content, with
968 // internal linkage.
Mike Stumpa4f668f2009-03-06 01:33:24 +0000969 CodeGenTypes &Types = CGM.getTypes();
970 const llvm::FunctionType *LTy = Types.GetFunctionType(FI, false);
971
972 llvm::Function *Fn =
973 llvm::Function::Create(LTy, llvm::GlobalValue::InternalLinkage,
Benjamin Kramer3cf7c5d2010-01-22 13:59:13 +0000974 "__copy_helper_block_", &CGM.getModule());
Mike Stumpa4f668f2009-03-06 01:33:24 +0000975
976 IdentifierInfo *II
977 = &CGM.getContext().Idents.get("__copy_helper_block_");
978
979 FunctionDecl *FD = FunctionDecl::Create(getContext(),
980 getContext().getTranslationUnitDecl(),
Argyrios Kyrtzidisa1d56622009-08-19 01:27:57 +0000981 SourceLocation(), II, R, 0,
Douglas Gregor16573fa2010-04-19 22:54:31 +0000982 FunctionDecl::Static,
983 FunctionDecl::None,
984 false,
Mike Stumpa4f668f2009-03-06 01:33:24 +0000985 true);
986 CGF.StartFunction(FD, R, Fn, Args, SourceLocation());
Mike Stump08920992009-03-07 02:35:30 +0000987
988 llvm::Value *SrcObj = CGF.GetAddrOfLocalVar(Src);
989 llvm::Type *PtrPtrT;
Mike Stump08920992009-03-07 02:35:30 +0000990
Mike Stumpb7477cf2009-04-10 18:52:28 +0000991 if (NoteForHelperp) {
992 std::vector<HelperInfo> &NoteForHelper = *NoteForHelperp;
Mike Stump08920992009-03-07 02:35:30 +0000993
Owen Anderson96e0fc72009-07-29 22:16:19 +0000994 PtrPtrT = llvm::PointerType::get(llvm::PointerType::get(T, 0), 0);
Mike Stumpb7477cf2009-04-10 18:52:28 +0000995 SrcObj = Builder.CreateBitCast(SrcObj, PtrPtrT);
996 SrcObj = Builder.CreateLoad(SrcObj);
Mike Stump08920992009-03-07 02:35:30 +0000997
Mike Stumpb7477cf2009-04-10 18:52:28 +0000998 llvm::Value *DstObj = CGF.GetAddrOfLocalVar(Dst);
Mike Stumpc2f4c342009-04-15 22:11:36 +0000999 llvm::Type *PtrPtrT;
Owen Anderson96e0fc72009-07-29 22:16:19 +00001000 PtrPtrT = llvm::PointerType::get(llvm::PointerType::get(T, 0), 0);
Mike Stumpc2f4c342009-04-15 22:11:36 +00001001 DstObj = Builder.CreateBitCast(DstObj, PtrPtrT);
1002 DstObj = Builder.CreateLoad(DstObj);
Mike Stump08920992009-03-07 02:35:30 +00001003
Mike Stumpb7477cf2009-04-10 18:52:28 +00001004 for (unsigned i=0; i < NoteForHelper.size(); ++i) {
1005 int flag = NoteForHelper[i].flag;
1006 int index = NoteForHelper[i].index;
Mike Stump08920992009-03-07 02:35:30 +00001007
Mike Stumpb7477cf2009-04-10 18:52:28 +00001008 if ((NoteForHelper[i].flag & BLOCK_FIELD_IS_BYREF)
1009 || NoteForHelper[i].RequiresCopying) {
1010 llvm::Value *Srcv = SrcObj;
1011 Srcv = Builder.CreateStructGEP(Srcv, index);
1012 Srcv = Builder.CreateBitCast(Srcv,
Owen Anderson96e0fc72009-07-29 22:16:19 +00001013 llvm::PointerType::get(PtrToInt8Ty, 0));
Mike Stumpb7477cf2009-04-10 18:52:28 +00001014 Srcv = Builder.CreateLoad(Srcv);
1015
1016 llvm::Value *Dstv = Builder.CreateStructGEP(DstObj, index);
1017 Dstv = Builder.CreateBitCast(Dstv, PtrToInt8Ty);
1018
Owen Anderson0032b272009-08-13 21:57:51 +00001019 llvm::Value *N = llvm::ConstantInt::get(
1020 llvm::Type::getInt32Ty(T->getContext()), flag);
Mike Stumpb7477cf2009-04-10 18:52:28 +00001021 llvm::Value *F = getBlockObjectAssign();
1022 Builder.CreateCall3(F, Dstv, Srcv, N);
1023 }
Mike Stump08920992009-03-07 02:35:30 +00001024 }
1025 }
1026
Mike Stumpa4f668f2009-03-06 01:33:24 +00001027 CGF.FinishFunction();
1028
Owen Anderson3c4972d2009-07-29 18:54:39 +00001029 return llvm::ConstantExpr::getBitCast(Fn, PtrToInt8Ty);
Mike Stumpdab514f2009-03-04 03:23:46 +00001030}
1031
Mike Stumpcf62d392009-03-06 18:42:23 +00001032llvm::Constant *BlockFunction::
Mike Stump08920992009-03-07 02:35:30 +00001033GenerateDestroyHelperFunction(bool BlockHasCopyDispose,
1034 const llvm::StructType* T,
Mike Stumpb7477cf2009-04-10 18:52:28 +00001035 std::vector<HelperInfo> *NoteForHelperp) {
Mike Stumpa4f668f2009-03-06 01:33:24 +00001036 QualType R = getContext().VoidTy;
1037
1038 FunctionArgList Args;
1039 // FIXME: This leaks
1040 ImplicitParamDecl *Src =
Mike Stumpea26cb52009-10-21 03:49:08 +00001041 ImplicitParamDecl::Create(getContext(), 0,
1042 SourceLocation(), 0,
Mike Stumpa4f668f2009-03-06 01:33:24 +00001043 getContext().getPointerType(getContext().VoidTy));
1044
1045 Args.push_back(std::make_pair(Src, Src->getType()));
Mike Stump1eb44332009-09-09 15:08:12 +00001046
Mike Stumpa4f668f2009-03-06 01:33:24 +00001047 const CGFunctionInfo &FI =
Rafael Espindola264ba482010-03-30 20:24:48 +00001048 CGM.getTypes().getFunctionInfo(R, Args, FunctionType::ExtInfo());
Mike Stumpa4f668f2009-03-06 01:33:24 +00001049
Mike Stump3899a7f2009-06-05 23:26:36 +00001050 // FIXME: We'd like to put these into a mergable by content, with
1051 // internal linkage.
Mike Stumpa4f668f2009-03-06 01:33:24 +00001052 CodeGenTypes &Types = CGM.getTypes();
1053 const llvm::FunctionType *LTy = Types.GetFunctionType(FI, false);
1054
1055 llvm::Function *Fn =
1056 llvm::Function::Create(LTy, llvm::GlobalValue::InternalLinkage,
Benjamin Kramer3cf7c5d2010-01-22 13:59:13 +00001057 "__destroy_helper_block_", &CGM.getModule());
Mike Stumpa4f668f2009-03-06 01:33:24 +00001058
1059 IdentifierInfo *II
1060 = &CGM.getContext().Idents.get("__destroy_helper_block_");
1061
1062 FunctionDecl *FD = FunctionDecl::Create(getContext(),
1063 getContext().getTranslationUnitDecl(),
Argyrios Kyrtzidisa1d56622009-08-19 01:27:57 +00001064 SourceLocation(), II, R, 0,
Douglas Gregor16573fa2010-04-19 22:54:31 +00001065 FunctionDecl::Static,
1066 FunctionDecl::None,
1067 false, true);
Mike Stumpa4f668f2009-03-06 01:33:24 +00001068 CGF.StartFunction(FD, R, Fn, Args, SourceLocation());
Mike Stump1edf6b62009-03-07 02:53:18 +00001069
Mike Stumpb7477cf2009-04-10 18:52:28 +00001070 if (NoteForHelperp) {
1071 std::vector<HelperInfo> &NoteForHelper = *NoteForHelperp;
Mike Stump1edf6b62009-03-07 02:53:18 +00001072
Mike Stumpb7477cf2009-04-10 18:52:28 +00001073 llvm::Value *SrcObj = CGF.GetAddrOfLocalVar(Src);
1074 llvm::Type *PtrPtrT;
Owen Anderson96e0fc72009-07-29 22:16:19 +00001075 PtrPtrT = llvm::PointerType::get(llvm::PointerType::get(T, 0), 0);
Mike Stumpb7477cf2009-04-10 18:52:28 +00001076 SrcObj = Builder.CreateBitCast(SrcObj, PtrPtrT);
1077 SrcObj = Builder.CreateLoad(SrcObj);
Mike Stump1edf6b62009-03-07 02:53:18 +00001078
Mike Stumpb7477cf2009-04-10 18:52:28 +00001079 for (unsigned i=0; i < NoteForHelper.size(); ++i) {
1080 int flag = NoteForHelper[i].flag;
1081 int index = NoteForHelper[i].index;
Mike Stump1edf6b62009-03-07 02:53:18 +00001082
Mike Stumpb7477cf2009-04-10 18:52:28 +00001083 if ((NoteForHelper[i].flag & BLOCK_FIELD_IS_BYREF)
1084 || NoteForHelper[i].RequiresCopying) {
1085 llvm::Value *Srcv = SrcObj;
1086 Srcv = Builder.CreateStructGEP(Srcv, index);
1087 Srcv = Builder.CreateBitCast(Srcv,
Owen Anderson96e0fc72009-07-29 22:16:19 +00001088 llvm::PointerType::get(PtrToInt8Ty, 0));
Mike Stumpb7477cf2009-04-10 18:52:28 +00001089 Srcv = Builder.CreateLoad(Srcv);
1090
1091 BuildBlockRelease(Srcv, flag);
1092 }
Mike Stump1edf6b62009-03-07 02:53:18 +00001093 }
1094 }
1095
Mike Stumpa4f668f2009-03-06 01:33:24 +00001096 CGF.FinishFunction();
1097
Owen Anderson3c4972d2009-07-29 18:54:39 +00001098 return llvm::ConstantExpr::getBitCast(Fn, PtrToInt8Ty);
Mike Stumpa4f668f2009-03-06 01:33:24 +00001099}
1100
Mike Stump08920992009-03-07 02:35:30 +00001101llvm::Constant *BlockFunction::BuildCopyHelper(const llvm::StructType *T,
Mike Stumpb7477cf2009-04-10 18:52:28 +00001102 std::vector<HelperInfo> *NoteForHelper) {
Mike Stump08920992009-03-07 02:35:30 +00001103 return CodeGenFunction(CGM).GenerateCopyHelperFunction(BlockHasCopyDispose,
1104 T, NoteForHelper);
Mike Stumpa4f668f2009-03-06 01:33:24 +00001105}
1106
Mike Stump08920992009-03-07 02:35:30 +00001107llvm::Constant *BlockFunction::BuildDestroyHelper(const llvm::StructType *T,
Mike Stumpb7477cf2009-04-10 18:52:28 +00001108 std::vector<HelperInfo> *NoteForHelperp) {
Mike Stump08920992009-03-07 02:35:30 +00001109 return CodeGenFunction(CGM).GenerateDestroyHelperFunction(BlockHasCopyDispose,
Mike Stumpb7477cf2009-04-10 18:52:28 +00001110 T, NoteForHelperp);
Mike Stumpdab514f2009-03-04 03:23:46 +00001111}
Mike Stump797b6322009-03-05 01:23:13 +00001112
Mike Stumpee094222009-03-06 06:12:24 +00001113llvm::Constant *BlockFunction::
1114GeneratebyrefCopyHelperFunction(const llvm::Type *T, int flag) {
Mike Stump45031c02009-03-06 02:29:21 +00001115 QualType R = getContext().VoidTy;
1116
1117 FunctionArgList Args;
1118 // FIXME: This leaks
Mike Stumpee094222009-03-06 06:12:24 +00001119 ImplicitParamDecl *Dst =
Mike Stumpea26cb52009-10-21 03:49:08 +00001120 ImplicitParamDecl::Create(getContext(), 0,
1121 SourceLocation(), 0,
Mike Stumpee094222009-03-06 06:12:24 +00001122 getContext().getPointerType(getContext().VoidTy));
1123 Args.push_back(std::make_pair(Dst, Dst->getType()));
1124
1125 // FIXME: This leaks
Mike Stump45031c02009-03-06 02:29:21 +00001126 ImplicitParamDecl *Src =
Mike Stumpea26cb52009-10-21 03:49:08 +00001127 ImplicitParamDecl::Create(getContext(), 0,
1128 SourceLocation(), 0,
Mike Stump45031c02009-03-06 02:29:21 +00001129 getContext().getPointerType(getContext().VoidTy));
Mike Stump45031c02009-03-06 02:29:21 +00001130 Args.push_back(std::make_pair(Src, Src->getType()));
Mike Stump1eb44332009-09-09 15:08:12 +00001131
Mike Stump45031c02009-03-06 02:29:21 +00001132 const CGFunctionInfo &FI =
Rafael Espindola264ba482010-03-30 20:24:48 +00001133 CGM.getTypes().getFunctionInfo(R, Args, FunctionType::ExtInfo());
Mike Stump45031c02009-03-06 02:29:21 +00001134
Mike Stump45031c02009-03-06 02:29:21 +00001135 CodeGenTypes &Types = CGM.getTypes();
1136 const llvm::FunctionType *LTy = Types.GetFunctionType(FI, false);
1137
Mike Stump3899a7f2009-06-05 23:26:36 +00001138 // FIXME: We'd like to put these into a mergable by content, with
1139 // internal linkage.
Mike Stump45031c02009-03-06 02:29:21 +00001140 llvm::Function *Fn =
1141 llvm::Function::Create(LTy, llvm::GlobalValue::InternalLinkage,
Benjamin Kramer3cf7c5d2010-01-22 13:59:13 +00001142 "__Block_byref_id_object_copy_", &CGM.getModule());
Mike Stump45031c02009-03-06 02:29:21 +00001143
1144 IdentifierInfo *II
1145 = &CGM.getContext().Idents.get("__Block_byref_id_object_copy_");
1146
1147 FunctionDecl *FD = FunctionDecl::Create(getContext(),
1148 getContext().getTranslationUnitDecl(),
Argyrios Kyrtzidisa1d56622009-08-19 01:27:57 +00001149 SourceLocation(), II, R, 0,
Douglas Gregor16573fa2010-04-19 22:54:31 +00001150 FunctionDecl::Static,
1151 FunctionDecl::None,
1152 false, true);
Mike Stump45031c02009-03-06 02:29:21 +00001153 CGF.StartFunction(FD, R, Fn, Args, SourceLocation());
Mike Stumpee094222009-03-06 06:12:24 +00001154
1155 // dst->x
1156 llvm::Value *V = CGF.GetAddrOfLocalVar(Dst);
Owen Anderson96e0fc72009-07-29 22:16:19 +00001157 V = Builder.CreateBitCast(V, llvm::PointerType::get(T, 0));
Mike Stumpc2f4c342009-04-15 22:11:36 +00001158 V = Builder.CreateLoad(V);
Mike Stumpee094222009-03-06 06:12:24 +00001159 V = Builder.CreateStructGEP(V, 6, "x");
1160 llvm::Value *DstObj = Builder.CreateBitCast(V, PtrToInt8Ty);
1161
1162 // src->x
1163 V = CGF.GetAddrOfLocalVar(Src);
1164 V = Builder.CreateLoad(V);
1165 V = Builder.CreateBitCast(V, T);
1166 V = Builder.CreateStructGEP(V, 6, "x");
Owen Anderson96e0fc72009-07-29 22:16:19 +00001167 V = Builder.CreateBitCast(V, llvm::PointerType::get(PtrToInt8Ty, 0));
Mike Stumpee094222009-03-06 06:12:24 +00001168 llvm::Value *SrcObj = Builder.CreateLoad(V);
Mike Stump1eb44332009-09-09 15:08:12 +00001169
Mike Stumpee094222009-03-06 06:12:24 +00001170 flag |= BLOCK_BYREF_CALLER;
1171
Owen Anderson0032b272009-08-13 21:57:51 +00001172 llvm::Value *N = llvm::ConstantInt::get(
1173 llvm::Type::getInt32Ty(T->getContext()), flag);
Mike Stumpee094222009-03-06 06:12:24 +00001174 llvm::Value *F = getBlockObjectAssign();
1175 Builder.CreateCall3(F, DstObj, SrcObj, N);
1176
Mike Stump45031c02009-03-06 02:29:21 +00001177 CGF.FinishFunction();
1178
Owen Anderson3c4972d2009-07-29 18:54:39 +00001179 return llvm::ConstantExpr::getBitCast(Fn, PtrToInt8Ty);
Mike Stump45031c02009-03-06 02:29:21 +00001180}
1181
Mike Stump1851b682009-03-06 04:53:30 +00001182llvm::Constant *
1183BlockFunction::GeneratebyrefDestroyHelperFunction(const llvm::Type *T,
1184 int flag) {
Mike Stump45031c02009-03-06 02:29:21 +00001185 QualType R = getContext().VoidTy;
1186
1187 FunctionArgList Args;
1188 // FIXME: This leaks
1189 ImplicitParamDecl *Src =
Mike Stumpea26cb52009-10-21 03:49:08 +00001190 ImplicitParamDecl::Create(getContext(), 0,
1191 SourceLocation(), 0,
Mike Stump45031c02009-03-06 02:29:21 +00001192 getContext().getPointerType(getContext().VoidTy));
1193
1194 Args.push_back(std::make_pair(Src, Src->getType()));
Mike Stump1eb44332009-09-09 15:08:12 +00001195
Mike Stump45031c02009-03-06 02:29:21 +00001196 const CGFunctionInfo &FI =
Rafael Espindola264ba482010-03-30 20:24:48 +00001197 CGM.getTypes().getFunctionInfo(R, Args, FunctionType::ExtInfo());
Mike Stump45031c02009-03-06 02:29:21 +00001198
Mike Stump45031c02009-03-06 02:29:21 +00001199 CodeGenTypes &Types = CGM.getTypes();
1200 const llvm::FunctionType *LTy = Types.GetFunctionType(FI, false);
1201
Mike Stump3899a7f2009-06-05 23:26:36 +00001202 // FIXME: We'd like to put these into a mergable by content, with
1203 // internal linkage.
Mike Stump45031c02009-03-06 02:29:21 +00001204 llvm::Function *Fn =
1205 llvm::Function::Create(LTy, llvm::GlobalValue::InternalLinkage,
Benjamin Kramer3cf7c5d2010-01-22 13:59:13 +00001206 "__Block_byref_id_object_dispose_",
Mike Stump45031c02009-03-06 02:29:21 +00001207 &CGM.getModule());
1208
1209 IdentifierInfo *II
1210 = &CGM.getContext().Idents.get("__Block_byref_id_object_dispose_");
1211
1212 FunctionDecl *FD = FunctionDecl::Create(getContext(),
1213 getContext().getTranslationUnitDecl(),
Argyrios Kyrtzidisa1d56622009-08-19 01:27:57 +00001214 SourceLocation(), II, R, 0,
Douglas Gregor16573fa2010-04-19 22:54:31 +00001215 FunctionDecl::Static,
1216 FunctionDecl::None,
1217 false, true);
Mike Stump45031c02009-03-06 02:29:21 +00001218 CGF.StartFunction(FD, R, Fn, Args, SourceLocation());
Mike Stump1851b682009-03-06 04:53:30 +00001219
1220 llvm::Value *V = CGF.GetAddrOfLocalVar(Src);
Owen Anderson96e0fc72009-07-29 22:16:19 +00001221 V = Builder.CreateBitCast(V, llvm::PointerType::get(T, 0));
Mike Stumpc2f4c342009-04-15 22:11:36 +00001222 V = Builder.CreateLoad(V);
Mike Stump1851b682009-03-06 04:53:30 +00001223 V = Builder.CreateStructGEP(V, 6, "x");
Owen Anderson96e0fc72009-07-29 22:16:19 +00001224 V = Builder.CreateBitCast(V, llvm::PointerType::get(PtrToInt8Ty, 0));
Mike Stumpc2f4c342009-04-15 22:11:36 +00001225 V = Builder.CreateLoad(V);
Mike Stump1851b682009-03-06 04:53:30 +00001226
Mike Stump1851b682009-03-06 04:53:30 +00001227 flag |= BLOCK_BYREF_CALLER;
1228 BuildBlockRelease(V, flag);
Mike Stump45031c02009-03-06 02:29:21 +00001229 CGF.FinishFunction();
1230
Owen Anderson3c4972d2009-07-29 18:54:39 +00001231 return llvm::ConstantExpr::getBitCast(Fn, PtrToInt8Ty);
Mike Stump45031c02009-03-06 02:29:21 +00001232}
1233
Mike Stumpee094222009-03-06 06:12:24 +00001234llvm::Constant *BlockFunction::BuildbyrefCopyHelper(const llvm::Type *T,
Chris Lattner10976d92009-12-05 08:21:30 +00001235 int Flag, unsigned Align) {
1236 // All alignments below that of pointer alignment collapse down to just
Mike Stump3899a7f2009-06-05 23:26:36 +00001237 // pointer alignment, as we always have at least that much alignment to begin
1238 // with.
1239 Align /= unsigned(CGF.Target.getPointerAlign(0)/8);
Chris Lattner10976d92009-12-05 08:21:30 +00001240
Mike Stump3899a7f2009-06-05 23:26:36 +00001241 // As an optimization, we only generate a single function of each kind we
1242 // might need. We need a different one for each alignment and for each
1243 // setting of flags. We mix Align and flag to get the kind.
Chris Lattner10976d92009-12-05 08:21:30 +00001244 uint64_t Kind = (uint64_t)Align*BLOCK_BYREF_CURRENT_MAX + Flag;
1245 llvm::Constant *&Entry = CGM.AssignCache[Kind];
Mike Stump3899a7f2009-06-05 23:26:36 +00001246 if (Entry)
1247 return Entry;
Chris Lattner10976d92009-12-05 08:21:30 +00001248 return Entry = CodeGenFunction(CGM).GeneratebyrefCopyHelperFunction(T, Flag);
Mike Stump45031c02009-03-06 02:29:21 +00001249}
1250
Mike Stump1851b682009-03-06 04:53:30 +00001251llvm::Constant *BlockFunction::BuildbyrefDestroyHelper(const llvm::Type *T,
Chris Lattner10976d92009-12-05 08:21:30 +00001252 int Flag,
Mike Stump3899a7f2009-06-05 23:26:36 +00001253 unsigned Align) {
1254 // All alignments below that of pointer alignment collpase down to just
1255 // pointer alignment, as we always have at least that much alignment to begin
1256 // with.
1257 Align /= unsigned(CGF.Target.getPointerAlign(0)/8);
Chris Lattner10976d92009-12-05 08:21:30 +00001258
Mike Stump3899a7f2009-06-05 23:26:36 +00001259 // As an optimization, we only generate a single function of each kind we
1260 // might need. We need a different one for each alignment and for each
1261 // setting of flags. We mix Align and flag to get the kind.
Chris Lattner10976d92009-12-05 08:21:30 +00001262 uint64_t Kind = (uint64_t)Align*BLOCK_BYREF_CURRENT_MAX + Flag;
1263 llvm::Constant *&Entry = CGM.DestroyCache[Kind];
Mike Stump3899a7f2009-06-05 23:26:36 +00001264 if (Entry)
1265 return Entry;
Chris Lattner10976d92009-12-05 08:21:30 +00001266 return Entry=CodeGenFunction(CGM).GeneratebyrefDestroyHelperFunction(T, Flag);
Mike Stump45031c02009-03-06 02:29:21 +00001267}
1268
Mike Stump797b6322009-03-05 01:23:13 +00001269llvm::Value *BlockFunction::getBlockObjectDispose() {
1270 if (CGM.BlockObjectDispose == 0) {
1271 const llvm::FunctionType *FTy;
1272 std::vector<const llvm::Type*> ArgTys;
Owen Anderson0032b272009-08-13 21:57:51 +00001273 const llvm::Type *ResultType = llvm::Type::getVoidTy(VMContext);
Mike Stump797b6322009-03-05 01:23:13 +00001274 ArgTys.push_back(PtrToInt8Ty);
Owen Anderson0032b272009-08-13 21:57:51 +00001275 ArgTys.push_back(llvm::Type::getInt32Ty(VMContext));
Owen Anderson96e0fc72009-07-29 22:16:19 +00001276 FTy = llvm::FunctionType::get(ResultType, ArgTys, false);
Mike Stump00470a12009-03-05 08:32:30 +00001277 CGM.BlockObjectDispose
Mike Stump797b6322009-03-05 01:23:13 +00001278 = CGM.CreateRuntimeFunction(FTy, "_Block_object_dispose");
1279 }
1280 return CGM.BlockObjectDispose;
1281}
1282
Mike Stumpee094222009-03-06 06:12:24 +00001283llvm::Value *BlockFunction::getBlockObjectAssign() {
1284 if (CGM.BlockObjectAssign == 0) {
1285 const llvm::FunctionType *FTy;
1286 std::vector<const llvm::Type*> ArgTys;
Owen Anderson0032b272009-08-13 21:57:51 +00001287 const llvm::Type *ResultType = llvm::Type::getVoidTy(VMContext);
Mike Stumpee094222009-03-06 06:12:24 +00001288 ArgTys.push_back(PtrToInt8Ty);
1289 ArgTys.push_back(PtrToInt8Ty);
Owen Anderson0032b272009-08-13 21:57:51 +00001290 ArgTys.push_back(llvm::Type::getInt32Ty(VMContext));
Owen Anderson96e0fc72009-07-29 22:16:19 +00001291 FTy = llvm::FunctionType::get(ResultType, ArgTys, false);
Mike Stumpee094222009-03-06 06:12:24 +00001292 CGM.BlockObjectAssign
1293 = CGM.CreateRuntimeFunction(FTy, "_Block_object_assign");
1294 }
1295 return CGM.BlockObjectAssign;
1296}
1297
Mike Stump1851b682009-03-06 04:53:30 +00001298void BlockFunction::BuildBlockRelease(llvm::Value *V, int flag) {
Mike Stump797b6322009-03-05 01:23:13 +00001299 llvm::Value *F = getBlockObjectDispose();
Mike Stump1851b682009-03-06 04:53:30 +00001300 llvm::Value *N;
Mike Stump797b6322009-03-05 01:23:13 +00001301 V = Builder.CreateBitCast(V, PtrToInt8Ty);
Owen Anderson0032b272009-08-13 21:57:51 +00001302 N = llvm::ConstantInt::get(llvm::Type::getInt32Ty(V->getContext()), flag);
Mike Stump797b6322009-03-05 01:23:13 +00001303 Builder.CreateCall2(F, V, N);
1304}
Mike Stump00470a12009-03-05 08:32:30 +00001305
1306ASTContext &BlockFunction::getContext() const { return CGM.getContext(); }
Mike Stump08920992009-03-07 02:35:30 +00001307
1308BlockFunction::BlockFunction(CodeGenModule &cgm, CodeGenFunction &cgf,
1309 CGBuilderTy &B)
Owen Andersona1cf15f2009-07-14 23:10:40 +00001310 : CGM(cgm), CGF(cgf), VMContext(cgm.getLLVMContext()), Builder(B) {
Owen Anderson0032b272009-08-13 21:57:51 +00001311 PtrToInt8Ty = llvm::PointerType::getUnqual(
1312 llvm::Type::getInt8Ty(VMContext));
Mike Stump08920992009-03-07 02:35:30 +00001313
1314 BlockHasCopyDispose = false;
1315}