blob: fed19b4267aa53985bfb9caea7da118d0dd188a0 [file] [log] [blame]
Anders Carlsson76f4a902007-08-21 17:43:55 +00001//===---- CGBuiltin.cpp - Emit LLVM Code for builtins ---------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner5b12ab82007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Anders Carlsson76f4a902007-08-21 17:43:55 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This contains code to emit Objective-C code as LLVM code.
11//
12//===----------------------------------------------------------------------===//
13
Devang Pateld2d66652011-01-19 01:36:36 +000014#include "CGDebugInfo.h"
Ted Kremenek43e06332008-04-09 15:51:31 +000015#include "CGObjCRuntime.h"
Anders Carlsson76f4a902007-08-21 17:43:55 +000016#include "CodeGenFunction.h"
17#include "CodeGenModule.h"
Daniel Dunbar9e22c0d2008-08-29 08:11:39 +000018#include "clang/AST/ASTContext.h"
Daniel Dunbar6e8aa532008-08-11 05:35:13 +000019#include "clang/AST/DeclObjC.h"
Chris Lattnerf0b64d72009-04-26 01:32:48 +000020#include "clang/AST/StmtObjC.h"
Daniel Dunbarc5d33042008-09-03 00:27:26 +000021#include "clang/Basic/Diagnostic.h"
Anders Carlsson2e744e82008-08-30 19:51:14 +000022#include "llvm/ADT/STLExtras.h"
Daniel Dunbara08dff12008-09-24 04:04:31 +000023#include "llvm/Target/TargetData.h"
Anders Carlsson76f4a902007-08-21 17:43:55 +000024using namespace clang;
25using namespace CodeGen;
26
Chris Lattnerb1d329d2008-06-24 17:04:18 +000027/// Emits an instance of NSConstantString representing the object.
Mike Stump11289f42009-09-09 15:08:12 +000028llvm::Value *CodeGenFunction::EmitObjCStringLiteral(const ObjCStringLiteral *E)
Daniel Dunbar44b58a22008-11-25 21:53:21 +000029{
David Chisnall481e3a82010-01-23 02:40:42 +000030 llvm::Constant *C =
31 CGM.getObjCRuntime().GenerateConstantString(E->getString());
Daniel Dunbar66912a12008-08-20 00:28:19 +000032 // FIXME: This bitcast should just be made an invariant on the Runtime.
Owen Andersonade90fd2009-07-29 18:54:39 +000033 return llvm::ConstantExpr::getBitCast(C, ConvertType(E->getType()));
Chris Lattnerb1d329d2008-06-24 17:04:18 +000034}
35
36/// Emit a selector.
37llvm::Value *CodeGenFunction::EmitObjCSelectorExpr(const ObjCSelectorExpr *E) {
38 // Untyped selector.
39 // Note that this implementation allows for non-constant strings to be passed
40 // as arguments to @selector(). Currently, the only thing preventing this
41 // behaviour is the type checking in the front end.
Daniel Dunbar45858d22010-02-03 20:11:42 +000042 return CGM.getObjCRuntime().GetSelector(Builder, E->getSelector());
Chris Lattnerb1d329d2008-06-24 17:04:18 +000043}
44
Daniel Dunbar66912a12008-08-20 00:28:19 +000045llvm::Value *CodeGenFunction::EmitObjCProtocolExpr(const ObjCProtocolExpr *E) {
46 // FIXME: This should pass the Decl not the name.
47 return CGM.getObjCRuntime().GenerateProtocolRef(Builder, E->getProtocol());
48}
Chris Lattnerb1d329d2008-06-24 17:04:18 +000049
50
John McCall78a15112010-05-22 01:48:05 +000051RValue CodeGenFunction::EmitObjCMessageExpr(const ObjCMessageExpr *E,
52 ReturnValueSlot Return) {
Chris Lattnerb1d329d2008-06-24 17:04:18 +000053 // Only the lookup mechanism and first two arguments of the method
54 // implementation vary between runtimes. We can get the receiver and
55 // arguments in generic code.
Mike Stump11289f42009-09-09 15:08:12 +000056
Daniel Dunbar8d480592008-08-11 18:12:00 +000057 CGObjCRuntime &Runtime = CGM.getObjCRuntime();
Chris Lattnerb1d329d2008-06-24 17:04:18 +000058 bool isSuperMessage = false;
Daniel Dunbarca8531a2008-08-25 08:19:24 +000059 bool isClassMessage = false;
David Chisnall01aa4672010-04-28 19:33:36 +000060 ObjCInterfaceDecl *OID = 0;
Chris Lattnerb1d329d2008-06-24 17:04:18 +000061 // Find the receiver
Daniel Dunbarb2197802010-04-22 03:17:06 +000062 llvm::Value *Receiver = 0;
Douglas Gregor9a129192010-04-21 00:45:42 +000063 switch (E->getReceiverKind()) {
64 case ObjCMessageExpr::Instance:
65 Receiver = EmitScalarExpr(E->getInstanceReceiver());
66 break;
Daniel Dunbar7c6d3a72008-08-16 00:25:02 +000067
Douglas Gregor9a129192010-04-21 00:45:42 +000068 case ObjCMessageExpr::Class: {
John McCall3e294922010-05-17 20:12:43 +000069 const ObjCObjectType *ObjTy
70 = E->getClassReceiver()->getAs<ObjCObjectType>();
71 assert(ObjTy && "Invalid Objective-C class message send");
72 OID = ObjTy->getInterface();
73 assert(OID && "Invalid Objective-C class message send");
David Chisnall01aa4672010-04-28 19:33:36 +000074 Receiver = Runtime.GetClass(Builder, OID);
Daniel Dunbarca8531a2008-08-25 08:19:24 +000075 isClassMessage = true;
Douglas Gregor9a129192010-04-21 00:45:42 +000076 break;
77 }
78
79 case ObjCMessageExpr::SuperInstance:
Chris Lattnerb1d329d2008-06-24 17:04:18 +000080 Receiver = LoadObjCSelf();
Douglas Gregor9a129192010-04-21 00:45:42 +000081 isSuperMessage = true;
82 break;
83
84 case ObjCMessageExpr::SuperClass:
85 Receiver = LoadObjCSelf();
86 isSuperMessage = true;
87 isClassMessage = true;
88 break;
Chris Lattnerb1d329d2008-06-24 17:04:18 +000089 }
90
Daniel Dunbarc722b852008-08-30 03:02:31 +000091 CallArgList Args;
Anders Carlsson623dcae2009-04-18 20:29:27 +000092 EmitCallArgs(Args, E->getMethodDecl(), E->arg_begin(), E->arg_end());
Mike Stump11289f42009-09-09 15:08:12 +000093
Anders Carlsson280e61f12010-06-21 20:59:55 +000094 QualType ResultType =
95 E->getMethodDecl() ? E->getMethodDecl()->getResultType() : E->getType();
96
Chris Lattnerb1d329d2008-06-24 17:04:18 +000097 if (isSuperMessage) {
Chris Lattner6cfec782008-06-26 04:42:20 +000098 // super is only valid in an Objective-C method
99 const ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(CurFuncDecl);
Fariborz Jahanianbac73ac2009-02-28 20:07:56 +0000100 bool isCategoryImpl = isa<ObjCCategoryImplDecl>(OMD->getDeclContext());
Anders Carlsson280e61f12010-06-21 20:59:55 +0000101 return Runtime.GenerateMessageSendSuper(*this, Return, ResultType,
Daniel Dunbar4b8c6db2008-08-30 05:35:15 +0000102 E->getSelector(),
Daniel Dunbarca8531a2008-08-25 08:19:24 +0000103 OMD->getClassInterface(),
Fariborz Jahanianbac73ac2009-02-28 20:07:56 +0000104 isCategoryImpl,
Daniel Dunbarca8531a2008-08-25 08:19:24 +0000105 Receiver,
Daniel Dunbarc722b852008-08-30 03:02:31 +0000106 isClassMessage,
Daniel Dunbaraff9fca2009-09-17 04:01:22 +0000107 Args,
108 E->getMethodDecl());
Chris Lattnerb1d329d2008-06-24 17:04:18 +0000109 }
Daniel Dunbaraff9fca2009-09-17 04:01:22 +0000110
Anders Carlsson280e61f12010-06-21 20:59:55 +0000111 return Runtime.GenerateMessageSend(*this, Return, ResultType,
John McCall78a15112010-05-22 01:48:05 +0000112 E->getSelector(),
David Chisnall01aa4672010-04-28 19:33:36 +0000113 Receiver, Args, OID,
Fariborz Jahanianf3648b82009-05-05 21:36:57 +0000114 E->getMethodDecl());
Anders Carlsson76f4a902007-08-21 17:43:55 +0000115}
116
Daniel Dunbar89654ee2008-08-26 08:29:31 +0000117/// StartObjCMethod - Begin emission of an ObjCMethod. This generates
118/// the LLVM function and sets the other context used by
119/// CodeGenFunction.
Fariborz Jahanian0196a1c2009-01-10 21:06:09 +0000120void CodeGenFunction::StartObjCMethod(const ObjCMethodDecl *OMD,
121 const ObjCContainerDecl *CD) {
John McCalla738c252011-03-09 04:27:21 +0000122 FunctionArgList args;
Devang Patela2c048e2010-04-05 21:09:15 +0000123 // Check if we should generate debug info for this method.
Devang Pateld6ffebb2011-03-07 18:45:56 +0000124 if (CGM.getModuleDebugInfo() && !OMD->hasAttr<NoDebugAttr>())
125 DebugInfo = CGM.getModuleDebugInfo();
Devang Patela2c048e2010-04-05 21:09:15 +0000126
Fariborz Jahanian0196a1c2009-01-10 21:06:09 +0000127 llvm::Function *Fn = CGM.getObjCRuntime().GenerateMethod(OMD, CD);
Daniel Dunbar449a3392008-09-04 23:41:35 +0000128
Daniel Dunbarc3e7cff2009-04-17 00:48:04 +0000129 const CGFunctionInfo &FI = CGM.getTypes().getFunctionInfo(OMD);
130 CGM.SetInternalFunctionAttributes(OMD, Fn, FI);
Chris Lattner5696e7b2008-06-17 18:05:57 +0000131
John McCalla738c252011-03-09 04:27:21 +0000132 args.push_back(OMD->getSelfDecl());
133 args.push_back(OMD->getCmdDecl());
Chris Lattner5696e7b2008-06-17 18:05:57 +0000134
Chris Lattnera4997152009-02-20 18:43:26 +0000135 for (ObjCMethodDecl::param_iterator PI = OMD->param_begin(),
136 E = OMD->param_end(); PI != E; ++PI)
John McCalla738c252011-03-09 04:27:21 +0000137 args.push_back(*PI);
Chris Lattner5696e7b2008-06-17 18:05:57 +0000138
Peter Collingbourne0ff0b372011-01-13 18:57:25 +0000139 CurGD = OMD;
140
John McCalla738c252011-03-09 04:27:21 +0000141 StartFunction(OMD, OMD->getResultType(), Fn, FI, args, OMD->getLocStart());
Daniel Dunbar89654ee2008-08-26 08:29:31 +0000142}
Daniel Dunbara94ecd22008-08-16 03:19:19 +0000143
Fariborz Jahanian302a3d42011-02-18 19:15:13 +0000144void CodeGenFunction::GenerateObjCGetterBody(ObjCIvarDecl *Ivar,
145 bool IsAtomic, bool IsStrong) {
146 LValue LV = EmitLValueForIvar(TypeOfSelfObject(), LoadObjCSelf(),
147 Ivar, 0);
148 llvm::Value *GetCopyStructFn =
149 CGM.getObjCRuntime().GetGetStructFunction();
150 CodeGenTypes &Types = CGM.getTypes();
151 // objc_copyStruct (ReturnValue, &structIvar,
152 // sizeof (Type of Ivar), isAtomic, false);
153 CallArgList Args;
154 RValue RV = RValue::get(Builder.CreateBitCast(ReturnValue,
155 Types.ConvertType(getContext().VoidPtrTy)));
156 Args.push_back(std::make_pair(RV, getContext().VoidPtrTy));
157 RV = RValue::get(Builder.CreateBitCast(LV.getAddress(),
158 Types.ConvertType(getContext().VoidPtrTy)));
159 Args.push_back(std::make_pair(RV, getContext().VoidPtrTy));
160 // sizeof (Type of Ivar)
161 CharUnits Size = getContext().getTypeSizeInChars(Ivar->getType());
162 llvm::Value *SizeVal =
163 llvm::ConstantInt::get(Types.ConvertType(getContext().LongTy),
164 Size.getQuantity());
165 Args.push_back(std::make_pair(RValue::get(SizeVal),
166 getContext().LongTy));
167 llvm::Value *isAtomic =
168 llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy),
169 IsAtomic ? 1 : 0);
170 Args.push_back(std::make_pair(RValue::get(isAtomic),
171 getContext().BoolTy));
172 llvm::Value *hasStrong =
173 llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy),
174 IsStrong ? 1 : 0);
175 Args.push_back(std::make_pair(RValue::get(hasStrong),
176 getContext().BoolTy));
177 EmitCall(Types.getFunctionInfo(getContext().VoidTy, Args,
178 FunctionType::ExtInfo()),
179 GetCopyStructFn, ReturnValueSlot(), Args);
180}
181
Daniel Dunbar89654ee2008-08-26 08:29:31 +0000182/// Generate an Objective-C method. An Objective-C method is a C function with
Mike Stump11289f42009-09-09 15:08:12 +0000183/// its pointer, name, and types registered in the class struture.
Daniel Dunbar89654ee2008-08-26 08:29:31 +0000184void CodeGenFunction::GenerateObjCMethod(const ObjCMethodDecl *OMD) {
Fariborz Jahanian0196a1c2009-01-10 21:06:09 +0000185 StartObjCMethod(OMD, OMD->getClassInterface());
Argyrios Kyrtzidisddcd1322009-06-30 02:35:26 +0000186 EmitStmt(OMD->getBody());
187 FinishFunction(OMD->getBodyRBrace());
Daniel Dunbar89654ee2008-08-26 08:29:31 +0000188}
189
Mike Stump18bb9282009-05-16 07:57:57 +0000190// FIXME: I wasn't sure about the synthesis approach. If we end up generating an
191// AST for the whole body we can just fall back to having a GenerateFunction
192// which takes the body Stmt.
Daniel Dunbar89654ee2008-08-26 08:29:31 +0000193
194/// GenerateObjCGetter - Generate an Objective-C property getter
Steve Naroff5a7dd782009-01-10 22:55:25 +0000195/// function. The given Decl must be an ObjCImplementationDecl. @synthesize
196/// is illegal within a category.
Fariborz Jahanian3d8552a2008-12-09 20:23:04 +0000197void CodeGenFunction::GenerateObjCGetter(ObjCImplementationDecl *IMP,
198 const ObjCPropertyImplDecl *PID) {
Daniel Dunbara08dff12008-09-24 04:04:31 +0000199 ObjCIvarDecl *Ivar = PID->getPropertyIvarDecl();
Daniel Dunbar89654ee2008-08-26 08:29:31 +0000200 const ObjCPropertyDecl *PD = PID->getPropertyDecl();
Fariborz Jahanian7e9d52a2010-04-13 18:32:24 +0000201 bool IsAtomic =
202 !(PD->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_nonatomic);
Daniel Dunbar89654ee2008-08-26 08:29:31 +0000203 ObjCMethodDecl *OMD = PD->getGetterMethodDecl();
204 assert(OMD && "Invalid call to generate getter (empty method)");
Fariborz Jahanian0196a1c2009-01-10 21:06:09 +0000205 StartObjCMethod(OMD, IMP->getClassInterface());
Fariborz Jahanian7e9d52a2010-04-13 18:32:24 +0000206
Daniel Dunbara08dff12008-09-24 04:04:31 +0000207 // Determine if we should use an objc_getProperty call for
Fariborz Jahanian8e0079c2008-12-08 23:56:17 +0000208 // this. Non-atomic properties are directly evaluated.
209 // atomic 'copy' and 'retain' properties are also directly
210 // evaluated in gc-only mode.
Daniel Dunbara08dff12008-09-24 04:04:31 +0000211 if (CGM.getLangOptions().getGCMode() != LangOptions::GCOnly &&
Fariborz Jahanian7e9d52a2010-04-13 18:32:24 +0000212 IsAtomic &&
Fariborz Jahanian8e0079c2008-12-08 23:56:17 +0000213 (PD->getSetterKind() == ObjCPropertyDecl::Copy ||
214 PD->getSetterKind() == ObjCPropertyDecl::Retain)) {
Mike Stump11289f42009-09-09 15:08:12 +0000215 llvm::Value *GetPropertyFn =
Daniel Dunbara08dff12008-09-24 04:04:31 +0000216 CGM.getObjCRuntime().GetPropertyGetFunction();
Mike Stump11289f42009-09-09 15:08:12 +0000217
Daniel Dunbara08dff12008-09-24 04:04:31 +0000218 if (!GetPropertyFn) {
219 CGM.ErrorUnsupported(PID, "Obj-C getter requiring atomic copy");
220 FinishFunction();
221 return;
222 }
223
224 // Return (ivar-type) objc_getProperty((id) self, _cmd, offset, true).
225 // FIXME: Can't this be simpler? This might even be worse than the
226 // corresponding gcc code.
227 CodeGenTypes &Types = CGM.getTypes();
228 ValueDecl *Cmd = OMD->getCmdDecl();
229 llvm::Value *CmdVal = Builder.CreateLoad(LocalDeclMap[Cmd], "cmd");
230 QualType IdTy = getContext().getObjCIdType();
Mike Stump11289f42009-09-09 15:08:12 +0000231 llvm::Value *SelfAsId =
Daniel Dunbara08dff12008-09-24 04:04:31 +0000232 Builder.CreateBitCast(LoadObjCSelf(), Types.ConvertType(IdTy));
Fariborz Jahanian3d8552a2008-12-09 20:23:04 +0000233 llvm::Value *Offset = EmitIvarOffset(IMP->getClassInterface(), Ivar);
Daniel Dunbara08dff12008-09-24 04:04:31 +0000234 llvm::Value *True =
Owen Andersonb7a2fe62009-07-24 23:12:58 +0000235 llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy), 1);
Daniel Dunbara08dff12008-09-24 04:04:31 +0000236 CallArgList Args;
237 Args.push_back(std::make_pair(RValue::get(SelfAsId), IdTy));
238 Args.push_back(std::make_pair(RValue::get(CmdVal), Cmd->getType()));
David Chisnall08a45252011-03-22 20:03:13 +0000239 Args.push_back(std::make_pair(RValue::get(Offset),
240 getContext().getPointerDiffType()));
Daniel Dunbara08dff12008-09-24 04:04:31 +0000241 Args.push_back(std::make_pair(RValue::get(True), getContext().BoolTy));
Daniel Dunbar1ef73732009-02-03 23:43:59 +0000242 // FIXME: We shouldn't need to get the function info here, the
243 // runtime already should have computed it to build the function.
John McCallab26cfa2010-02-05 21:31:56 +0000244 RValue RV = EmitCall(Types.getFunctionInfo(PD->getType(), Args,
Rafael Espindolac50c27c2010-03-30 20:24:48 +0000245 FunctionType::ExtInfo()),
Anders Carlsson61a401c2009-12-24 19:25:24 +0000246 GetPropertyFn, ReturnValueSlot(), Args);
Daniel Dunbara08dff12008-09-24 04:04:31 +0000247 // We need to fix the type here. Ivars with copy & retain are
248 // always objects so we don't need to worry about complex or
249 // aggregates.
Mike Stump11289f42009-09-09 15:08:12 +0000250 RV = RValue::get(Builder.CreateBitCast(RV.getScalarVal(),
Daniel Dunbara08dff12008-09-24 04:04:31 +0000251 Types.ConvertType(PD->getType())));
252 EmitReturnOfRValue(RV, PD->getType());
253 } else {
Fariborz Jahanian302a3d42011-02-18 19:15:13 +0000254 const llvm::Triple &Triple = getContext().Target.getTriple();
255 QualType IVART = Ivar->getType();
256 if (IsAtomic &&
257 IVART->isScalarType() &&
258 (Triple.getArch() == llvm::Triple::arm ||
259 Triple.getArch() == llvm::Triple::thumb) &&
260 (getContext().getTypeSizeInChars(IVART)
261 > CharUnits::fromQuantity(4)) &&
262 CGM.getObjCRuntime().GetGetStructFunction()) {
263 GenerateObjCGetterBody(Ivar, true, false);
264 }
Fariborz Jahanian0f4c7112011-04-05 21:41:23 +0000265 else if (IsAtomic &&
266 (IVART->isScalarType() && !IVART->isRealFloatingType()) &&
267 Triple.getArch() == llvm::Triple::x86 &&
268 (getContext().getTypeSizeInChars(IVART)
269 > CharUnits::fromQuantity(4)) &&
270 CGM.getObjCRuntime().GetGetStructFunction()) {
271 GenerateObjCGetterBody(Ivar, true, false);
272 }
273 else if (IsAtomic &&
274 (IVART->isScalarType() && !IVART->isRealFloatingType()) &&
275 Triple.getArch() == llvm::Triple::x86_64 &&
276 (getContext().getTypeSizeInChars(IVART)
277 > CharUnits::fromQuantity(8)) &&
278 CGM.getObjCRuntime().GetGetStructFunction()) {
279 GenerateObjCGetterBody(Ivar, true, false);
280 }
Fariborz Jahanian302a3d42011-02-18 19:15:13 +0000281 else if (IVART->isAnyComplexType()) {
Fariborz Jahanianb8993382010-05-06 15:45:36 +0000282 LValue LV = EmitLValueForIvar(TypeOfSelfObject(), LoadObjCSelf(),
283 Ivar, 0);
Fariborz Jahanianf9c45852010-03-25 21:56:43 +0000284 ComplexPairTy Pair = LoadComplexFromAddr(LV.getAddress(),
285 LV.isVolatileQualified());
286 StoreComplexToAddr(Pair, ReturnValue, LV.isVolatileQualified());
287 }
Fariborz Jahanian302a3d42011-02-18 19:15:13 +0000288 else if (hasAggregateLLVMType(IVART)) {
Fariborz Jahanian7e9d52a2010-04-13 18:32:24 +0000289 bool IsStrong = false;
Fariborz Jahanian10a95ca2011-04-05 23:01:27 +0000290 if ((IsStrong = IvarTypeWithAggrGCObjects(IVART))
Fariborz Jahanian08b0f662010-04-13 00:38:05 +0000291 && CurFnInfo->getReturnInfo().getKind() == ABIArgInfo::Indirect
David Chisnall168b80f2010-12-26 22:13:16 +0000292 && CGM.getObjCRuntime().GetGetStructFunction()) {
Fariborz Jahanian302a3d42011-02-18 19:15:13 +0000293 GenerateObjCGetterBody(Ivar, IsAtomic, IsStrong);
Fariborz Jahanian08b0f662010-04-13 00:38:05 +0000294 }
Fariborz Jahanianb8993382010-05-06 15:45:36 +0000295 else {
296 if (PID->getGetterCXXConstructor()) {
297 ReturnStmt *Stmt =
298 new (getContext()) ReturnStmt(SourceLocation(),
Douglas Gregor6fd1b182010-05-15 06:01:05 +0000299 PID->getGetterCXXConstructor(),
300 0);
Fariborz Jahanianb8993382010-05-06 15:45:36 +0000301 EmitReturnStmt(*Stmt);
Fariborz Jahanian0f4c7112011-04-05 21:41:23 +0000302 } else if (IsAtomic &&
303 !IVART->isAnyComplexType() &&
304 Triple.getArch() == llvm::Triple::x86 &&
305 (getContext().getTypeSizeInChars(IVART)
306 > CharUnits::fromQuantity(4)) &&
307 CGM.getObjCRuntime().GetGetStructFunction()) {
308 GenerateObjCGetterBody(Ivar, true, false);
309 }
310 else if (IsAtomic &&
311 !IVART->isAnyComplexType() &&
312 Triple.getArch() == llvm::Triple::x86_64 &&
313 (getContext().getTypeSizeInChars(IVART)
314 > CharUnits::fromQuantity(8)) &&
315 CGM.getObjCRuntime().GetGetStructFunction()) {
316 GenerateObjCGetterBody(Ivar, true, false);
Fariborz Jahanianb8993382010-05-06 15:45:36 +0000317 }
318 else {
319 LValue LV = EmitLValueForIvar(TypeOfSelfObject(), LoadObjCSelf(),
320 Ivar, 0);
Fariborz Jahanian302a3d42011-02-18 19:15:13 +0000321 EmitAggregateCopy(ReturnValue, LV.getAddress(), IVART);
Fariborz Jahanianb8993382010-05-06 15:45:36 +0000322 }
323 }
Fariborz Jahanian302a3d42011-02-18 19:15:13 +0000324 }
325 else {
326 LValue LV = EmitLValueForIvar(TypeOfSelfObject(), LoadObjCSelf(),
Fariborz Jahanianb8993382010-05-06 15:45:36 +0000327 Ivar, 0);
Fariborz Jahanianb24b5682011-03-28 23:47:18 +0000328 if (PD->getType()->isReferenceType()) {
329 RValue RV = RValue::get(LV.getAddress());
330 EmitReturnOfRValue(RV, PD->getType());
331 }
332 else {
333 CodeGenTypes &Types = CGM.getTypes();
334 RValue RV = EmitLoadOfLValue(LV, IVART);
335 RV = RValue::get(Builder.CreateBitCast(RV.getScalarVal(),
Fariborz Jahanian302a3d42011-02-18 19:15:13 +0000336 Types.ConvertType(PD->getType())));
Fariborz Jahanianb24b5682011-03-28 23:47:18 +0000337 EmitReturnOfRValue(RV, PD->getType());
338 }
Fariborz Jahanianeab5ecd2009-03-03 18:49:40 +0000339 }
Daniel Dunbara08dff12008-09-24 04:04:31 +0000340 }
Daniel Dunbar89654ee2008-08-26 08:29:31 +0000341
342 FinishFunction();
343}
344
Fariborz Jahanian302a3d42011-02-18 19:15:13 +0000345void CodeGenFunction::GenerateObjCAtomicSetterBody(ObjCMethodDecl *OMD,
346 ObjCIvarDecl *Ivar) {
347 // objc_copyStruct (&structIvar, &Arg,
348 // sizeof (struct something), true, false);
349 llvm::Value *GetCopyStructFn =
350 CGM.getObjCRuntime().GetSetStructFunction();
351 CodeGenTypes &Types = CGM.getTypes();
352 CallArgList Args;
353 LValue LV = EmitLValueForIvar(TypeOfSelfObject(), LoadObjCSelf(), Ivar, 0);
354 RValue RV =
355 RValue::get(Builder.CreateBitCast(LV.getAddress(),
356 Types.ConvertType(getContext().VoidPtrTy)));
357 Args.push_back(std::make_pair(RV, getContext().VoidPtrTy));
358 llvm::Value *Arg = LocalDeclMap[*OMD->param_begin()];
359 llvm::Value *ArgAsPtrTy =
360 Builder.CreateBitCast(Arg,
361 Types.ConvertType(getContext().VoidPtrTy));
362 RV = RValue::get(ArgAsPtrTy);
363 Args.push_back(std::make_pair(RV, getContext().VoidPtrTy));
364 // sizeof (Type of Ivar)
365 CharUnits Size = getContext().getTypeSizeInChars(Ivar->getType());
366 llvm::Value *SizeVal =
367 llvm::ConstantInt::get(Types.ConvertType(getContext().LongTy),
368 Size.getQuantity());
369 Args.push_back(std::make_pair(RValue::get(SizeVal),
370 getContext().LongTy));
371 llvm::Value *True =
372 llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy), 1);
373 Args.push_back(std::make_pair(RValue::get(True), getContext().BoolTy));
374 llvm::Value *False =
375 llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy), 0);
376 Args.push_back(std::make_pair(RValue::get(False), getContext().BoolTy));
377 EmitCall(Types.getFunctionInfo(getContext().VoidTy, Args,
378 FunctionType::ExtInfo()),
379 GetCopyStructFn, ReturnValueSlot(), Args);
380}
381
Daniel Dunbar89654ee2008-08-26 08:29:31 +0000382/// GenerateObjCSetter - Generate an Objective-C property setter
Steve Naroff5a7dd782009-01-10 22:55:25 +0000383/// function. The given Decl must be an ObjCImplementationDecl. @synthesize
384/// is illegal within a category.
Fariborz Jahanian3d8552a2008-12-09 20:23:04 +0000385void CodeGenFunction::GenerateObjCSetter(ObjCImplementationDecl *IMP,
386 const ObjCPropertyImplDecl *PID) {
Daniel Dunbar5449ce52008-09-24 06:32:09 +0000387 ObjCIvarDecl *Ivar = PID->getPropertyIvarDecl();
Daniel Dunbar89654ee2008-08-26 08:29:31 +0000388 const ObjCPropertyDecl *PD = PID->getPropertyDecl();
389 ObjCMethodDecl *OMD = PD->getSetterMethodDecl();
390 assert(OMD && "Invalid call to generate setter (empty method)");
Fariborz Jahanian0196a1c2009-01-10 21:06:09 +0000391 StartObjCMethod(OMD, IMP->getClassInterface());
Fariborz Jahanian0f4c7112011-04-05 21:41:23 +0000392 const llvm::Triple &Triple = getContext().Target.getTriple();
393 QualType IVART = Ivar->getType();
Daniel Dunbar5449ce52008-09-24 06:32:09 +0000394 bool IsCopy = PD->getSetterKind() == ObjCPropertyDecl::Copy;
Mike Stump11289f42009-09-09 15:08:12 +0000395 bool IsAtomic =
Daniel Dunbar5449ce52008-09-24 06:32:09 +0000396 !(PD->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_nonatomic);
397
398 // Determine if we should use an objc_setProperty call for
399 // this. Properties with 'copy' semantics always use it, as do
400 // non-atomic properties with 'release' semantics as long as we are
401 // not in gc-only mode.
402 if (IsCopy ||
403 (CGM.getLangOptions().getGCMode() != LangOptions::GCOnly &&
404 PD->getSetterKind() == ObjCPropertyDecl::Retain)) {
Mike Stump11289f42009-09-09 15:08:12 +0000405 llvm::Value *SetPropertyFn =
Daniel Dunbar5449ce52008-09-24 06:32:09 +0000406 CGM.getObjCRuntime().GetPropertySetFunction();
Mike Stump11289f42009-09-09 15:08:12 +0000407
Daniel Dunbar5449ce52008-09-24 06:32:09 +0000408 if (!SetPropertyFn) {
409 CGM.ErrorUnsupported(PID, "Obj-C getter requiring atomic copy");
410 FinishFunction();
411 return;
412 }
Mike Stump11289f42009-09-09 15:08:12 +0000413
414 // Emit objc_setProperty((id) self, _cmd, offset, arg,
Daniel Dunbar5449ce52008-09-24 06:32:09 +0000415 // <is-atomic>, <is-copy>).
416 // FIXME: Can't this be simpler? This might even be worse than the
417 // corresponding gcc code.
418 CodeGenTypes &Types = CGM.getTypes();
419 ValueDecl *Cmd = OMD->getCmdDecl();
420 llvm::Value *CmdVal = Builder.CreateLoad(LocalDeclMap[Cmd], "cmd");
421 QualType IdTy = getContext().getObjCIdType();
Mike Stump11289f42009-09-09 15:08:12 +0000422 llvm::Value *SelfAsId =
Daniel Dunbar5449ce52008-09-24 06:32:09 +0000423 Builder.CreateBitCast(LoadObjCSelf(), Types.ConvertType(IdTy));
Fariborz Jahanian3d8552a2008-12-09 20:23:04 +0000424 llvm::Value *Offset = EmitIvarOffset(IMP->getClassInterface(), Ivar);
Chris Lattnera4997152009-02-20 18:43:26 +0000425 llvm::Value *Arg = LocalDeclMap[*OMD->param_begin()];
Mike Stump11289f42009-09-09 15:08:12 +0000426 llvm::Value *ArgAsId =
Daniel Dunbar5449ce52008-09-24 06:32:09 +0000427 Builder.CreateBitCast(Builder.CreateLoad(Arg, "arg"),
428 Types.ConvertType(IdTy));
429 llvm::Value *True =
Owen Andersonb7a2fe62009-07-24 23:12:58 +0000430 llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy), 1);
Daniel Dunbar5449ce52008-09-24 06:32:09 +0000431 llvm::Value *False =
Owen Andersonb7a2fe62009-07-24 23:12:58 +0000432 llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy), 0);
Daniel Dunbar5449ce52008-09-24 06:32:09 +0000433 CallArgList Args;
434 Args.push_back(std::make_pair(RValue::get(SelfAsId), IdTy));
435 Args.push_back(std::make_pair(RValue::get(CmdVal), Cmd->getType()));
David Chisnall08a45252011-03-22 20:03:13 +0000436 Args.push_back(std::make_pair(RValue::get(Offset),
437 getContext().getPointerDiffType()));
Daniel Dunbar5449ce52008-09-24 06:32:09 +0000438 Args.push_back(std::make_pair(RValue::get(ArgAsId), IdTy));
Mike Stump11289f42009-09-09 15:08:12 +0000439 Args.push_back(std::make_pair(RValue::get(IsAtomic ? True : False),
Daniel Dunbar5449ce52008-09-24 06:32:09 +0000440 getContext().BoolTy));
Mike Stump11289f42009-09-09 15:08:12 +0000441 Args.push_back(std::make_pair(RValue::get(IsCopy ? True : False),
Daniel Dunbar5449ce52008-09-24 06:32:09 +0000442 getContext().BoolTy));
Mike Stump18bb9282009-05-16 07:57:57 +0000443 // FIXME: We shouldn't need to get the function info here, the runtime
444 // already should have computed it to build the function.
John McCallab26cfa2010-02-05 21:31:56 +0000445 EmitCall(Types.getFunctionInfo(getContext().VoidTy, Args,
Rafael Espindolac50c27c2010-03-30 20:24:48 +0000446 FunctionType::ExtInfo()),
447 SetPropertyFn,
Anders Carlsson61a401c2009-12-24 19:25:24 +0000448 ReturnValueSlot(), Args);
Fariborz Jahanian0f4c7112011-04-05 21:41:23 +0000449 } else if (IsAtomic && hasAggregateLLVMType(IVART) &&
450 !IVART->isAnyComplexType() &&
Fariborz Jahanian10a95ca2011-04-05 23:01:27 +0000451 !PID->getGetterCXXConstructor() &&
Fariborz Jahanian0f4c7112011-04-05 21:41:23 +0000452 ((Triple.getArch() == llvm::Triple::x86 &&
453 (getContext().getTypeSizeInChars(IVART)
454 > CharUnits::fromQuantity(4))) ||
455 (Triple.getArch() == llvm::Triple::x86_64 &&
456 (getContext().getTypeSizeInChars(IVART)
457 > CharUnits::fromQuantity(8))))
David Chisnall168b80f2010-12-26 22:13:16 +0000458 && CGM.getObjCRuntime().GetSetStructFunction()) {
Fariborz Jahanian0f4c7112011-04-05 21:41:23 +0000459 // objc_copyStruct (&structIvar, &Arg,
460 // sizeof (struct something), true, false);
Fariborz Jahanian302a3d42011-02-18 19:15:13 +0000461 GenerateObjCAtomicSetterBody(OMD, Ivar);
Fariborz Jahanianb8993382010-05-06 15:45:36 +0000462 } else if (PID->getSetterCXXAssignment()) {
John McCalla2342eb2010-12-05 02:00:02 +0000463 EmitIgnoredExpr(PID->getSetterCXXAssignment());
Daniel Dunbar5449ce52008-09-24 06:32:09 +0000464 } else {
Fariborz Jahanian302a3d42011-02-18 19:15:13 +0000465 if (IsAtomic &&
466 IVART->isScalarType() &&
467 (Triple.getArch() == llvm::Triple::arm ||
468 Triple.getArch() == llvm::Triple::thumb) &&
469 (getContext().getTypeSizeInChars(IVART)
470 > CharUnits::fromQuantity(4)) &&
471 CGM.getObjCRuntime().GetGetStructFunction()) {
472 GenerateObjCAtomicSetterBody(OMD, Ivar);
473 }
Fariborz Jahanian0f4c7112011-04-05 21:41:23 +0000474 else if (IsAtomic &&
475 (IVART->isScalarType() && !IVART->isRealFloatingType()) &&
476 Triple.getArch() == llvm::Triple::x86 &&
477 (getContext().getTypeSizeInChars(IVART)
478 > CharUnits::fromQuantity(4)) &&
479 CGM.getObjCRuntime().GetGetStructFunction()) {
480 GenerateObjCAtomicSetterBody(OMD, Ivar);
481 }
482 else if (IsAtomic &&
483 (IVART->isScalarType() && !IVART->isRealFloatingType()) &&
484 Triple.getArch() == llvm::Triple::x86_64 &&
485 (getContext().getTypeSizeInChars(IVART)
486 > CharUnits::fromQuantity(8)) &&
487 CGM.getObjCRuntime().GetGetStructFunction()) {
488 GenerateObjCAtomicSetterBody(OMD, Ivar);
489 }
Fariborz Jahanian302a3d42011-02-18 19:15:13 +0000490 else {
491 // FIXME: Find a clean way to avoid AST node creation.
492 SourceLocation Loc = PD->getLocation();
493 ValueDecl *Self = OMD->getSelfDecl();
494 ObjCIvarDecl *Ivar = PID->getPropertyIvarDecl();
495 DeclRefExpr Base(Self, Self->getType(), VK_RValue, Loc);
496 ParmVarDecl *ArgDecl = *OMD->param_begin();
Fariborz Jahanianb24b5682011-03-28 23:47:18 +0000497 QualType T = ArgDecl->getType();
498 if (T->isReferenceType())
499 T = cast<ReferenceType>(T)->getPointeeType();
500 DeclRefExpr Arg(ArgDecl, T, VK_LValue, Loc);
Fariborz Jahanian302a3d42011-02-18 19:15:13 +0000501 ObjCIvarRefExpr IvarRef(Ivar, Ivar->getType(), Loc, &Base, true, true);
Daniel Dunbarc14753b2009-10-27 19:21:30 +0000502
Fariborz Jahanian302a3d42011-02-18 19:15:13 +0000503 // The property type can differ from the ivar type in some situations with
504 // Objective-C pointer types, we can always bit cast the RHS in these cases.
505 if (getContext().getCanonicalType(Ivar->getType()) !=
506 getContext().getCanonicalType(ArgDecl->getType())) {
507 ImplicitCastExpr ArgCasted(ImplicitCastExpr::OnStack,
508 Ivar->getType(), CK_BitCast, &Arg,
509 VK_RValue);
510 BinaryOperator Assign(&IvarRef, &ArgCasted, BO_Assign,
511 Ivar->getType(), VK_RValue, OK_Ordinary, Loc);
512 EmitStmt(&Assign);
513 } else {
514 BinaryOperator Assign(&IvarRef, &Arg, BO_Assign,
515 Ivar->getType(), VK_RValue, OK_Ordinary, Loc);
516 EmitStmt(&Assign);
517 }
Daniel Dunbarc14753b2009-10-27 19:21:30 +0000518 }
Daniel Dunbar5449ce52008-09-24 06:32:09 +0000519 }
Daniel Dunbar89654ee2008-08-26 08:29:31 +0000520
521 FinishFunction();
Chris Lattner5696e7b2008-06-17 18:05:57 +0000522}
523
John McCall6a4fa522011-03-22 07:05:39 +0000524// FIXME: these are stolen from CGClass.cpp, which is lame.
525namespace {
526 struct CallArrayIvarDtor : EHScopeStack::Cleanup {
527 const ObjCIvarDecl *ivar;
528 llvm::Value *self;
529 CallArrayIvarDtor(const ObjCIvarDecl *ivar, llvm::Value *self)
530 : ivar(ivar), self(self) {}
531
532 void Emit(CodeGenFunction &CGF, bool IsForEH) {
533 LValue lvalue =
534 CGF.EmitLValueForIvar(CGF.TypeOfSelfObject(), self, ivar, 0);
535
536 QualType type = ivar->getType();
537 const ConstantArrayType *arrayType
538 = CGF.getContext().getAsConstantArrayType(type);
539 QualType baseType = CGF.getContext().getBaseElementType(arrayType);
540 const CXXRecordDecl *classDecl = baseType->getAsCXXRecordDecl();
541
542 llvm::Value *base
543 = CGF.Builder.CreateBitCast(lvalue.getAddress(),
544 CGF.ConvertType(baseType)->getPointerTo());
545 CGF.EmitCXXAggrDestructorCall(classDecl->getDestructor(),
546 arrayType, base);
547 }
548 };
549
550 struct CallIvarDtor : EHScopeStack::Cleanup {
551 const ObjCIvarDecl *ivar;
552 llvm::Value *self;
553 CallIvarDtor(const ObjCIvarDecl *ivar, llvm::Value *self)
554 : ivar(ivar), self(self) {}
555
556 void Emit(CodeGenFunction &CGF, bool IsForEH) {
557 LValue lvalue =
558 CGF.EmitLValueForIvar(CGF.TypeOfSelfObject(), self, ivar, 0);
559
560 QualType type = ivar->getType();
561 const CXXRecordDecl *classDecl = type->getAsCXXRecordDecl();
562
563 CGF.EmitCXXDestructorCall(classDecl->getDestructor(),
564 Dtor_Complete, /*ForVirtualBase=*/false,
565 lvalue.getAddress());
566 }
567 };
568}
569
570static void emitCXXDestructMethod(CodeGenFunction &CGF,
571 ObjCImplementationDecl *impl) {
572 CodeGenFunction::RunCleanupsScope scope(CGF);
573
574 llvm::Value *self = CGF.LoadObjCSelf();
575
576 ObjCInterfaceDecl *iface
577 = const_cast<ObjCInterfaceDecl*>(impl->getClassInterface());
578 for (ObjCIvarDecl *ivar = iface->all_declared_ivar_begin();
579 ivar; ivar = ivar->getNextIvar()) {
580 QualType type = ivar->getType();
581
582 // Drill down to the base element type.
583 QualType baseType = type;
584 const ConstantArrayType *arrayType =
585 CGF.getContext().getAsConstantArrayType(baseType);
586 if (arrayType) baseType = CGF.getContext().getBaseElementType(arrayType);
587
588 // Check whether the ivar is a destructible type.
589 QualType::DestructionKind destructKind = baseType.isDestructedType();
590 assert(destructKind == type.isDestructedType());
591
592 switch (destructKind) {
593 case QualType::DK_none:
594 continue;
595
596 case QualType::DK_cxx_destructor:
597 if (arrayType)
598 CGF.EHStack.pushCleanup<CallArrayIvarDtor>(NormalAndEHCleanup,
599 ivar, self);
600 else
601 CGF.EHStack.pushCleanup<CallIvarDtor>(NormalAndEHCleanup,
602 ivar, self);
603 break;
604 }
605 }
606
607 assert(scope.requiresCleanups() && "nothing to do in .cxx_destruct?");
608}
609
Fariborz Jahanian0dec1e02010-04-28 21:28:56 +0000610void CodeGenFunction::GenerateObjCCtorDtorMethod(ObjCImplementationDecl *IMP,
611 ObjCMethodDecl *MD,
612 bool ctor) {
Fariborz Jahanian0dec1e02010-04-28 21:28:56 +0000613 MD->createImplicitParams(CGM.getContext(), IMP->getClassInterface());
614 StartObjCMethod(MD, IMP->getClassInterface());
John McCall6a4fa522011-03-22 07:05:39 +0000615
616 // Emit .cxx_construct.
Fariborz Jahanian0dec1e02010-04-28 21:28:56 +0000617 if (ctor) {
John McCall6a4fa522011-03-22 07:05:39 +0000618 llvm::SmallVector<CXXCtorInitializer *, 8> IvarInitializers;
619 for (ObjCImplementationDecl::init_const_iterator B = IMP->init_begin(),
620 E = IMP->init_end(); B != E; ++B) {
621 CXXCtorInitializer *IvarInit = (*B);
Francois Pichetd583da02010-12-04 09:14:42 +0000622 FieldDecl *Field = IvarInit->getAnyMember();
Fariborz Jahanian0dec1e02010-04-28 21:28:56 +0000623 ObjCIvarDecl *Ivar = cast<ObjCIvarDecl>(Field);
Fariborz Jahanian499b9022010-04-28 22:30:33 +0000624 LValue LV = EmitLValueForIvar(TypeOfSelfObject(),
625 LoadObjCSelf(), Ivar, 0);
John McCall7a626f62010-09-15 10:14:12 +0000626 EmitAggExpr(IvarInit->getInit(), AggValueSlot::forLValue(LV, true));
Fariborz Jahanian0dec1e02010-04-28 21:28:56 +0000627 }
628 // constructor returns 'self'.
629 CodeGenTypes &Types = CGM.getTypes();
630 QualType IdTy(CGM.getContext().getObjCIdType());
631 llvm::Value *SelfAsId =
632 Builder.CreateBitCast(LoadObjCSelf(), Types.ConvertType(IdTy));
633 EmitReturnOfRValue(RValue::get(SelfAsId), IdTy);
John McCall6a4fa522011-03-22 07:05:39 +0000634
635 // Emit .cxx_destruct.
Chandler Carruthf3983652010-05-06 00:20:39 +0000636 } else {
John McCall6a4fa522011-03-22 07:05:39 +0000637 emitCXXDestructMethod(*this, IMP);
Fariborz Jahanian0dec1e02010-04-28 21:28:56 +0000638 }
639 FinishFunction();
640}
641
Fariborz Jahanian08b0f662010-04-13 00:38:05 +0000642bool CodeGenFunction::IndirectObjCSetterArg(const CGFunctionInfo &FI) {
643 CGFunctionInfo::const_arg_iterator it = FI.arg_begin();
644 it++; it++;
645 const ABIArgInfo &AI = it->info;
646 // FIXME. Is this sufficient check?
647 return (AI.getKind() == ABIArgInfo::Indirect);
648}
649
Fariborz Jahanian7e9d52a2010-04-13 18:32:24 +0000650bool CodeGenFunction::IvarTypeWithAggrGCObjects(QualType Ty) {
651 if (CGM.getLangOptions().getGCMode() == LangOptions::NonGC)
652 return false;
653 if (const RecordType *FDTTy = Ty.getTypePtr()->getAs<RecordType>())
654 return FDTTy->getDecl()->hasObjectMember();
655 return false;
656}
657
Daniel Dunbara08dff12008-09-24 04:04:31 +0000658llvm::Value *CodeGenFunction::LoadObjCSelf() {
Daniel Dunbara94ecd22008-08-16 03:19:19 +0000659 const ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(CurFuncDecl);
660 return Builder.CreateLoad(LocalDeclMap[OMD->getSelfDecl()], "self");
Chris Lattner5696e7b2008-06-17 18:05:57 +0000661}
662
Fariborz Jahanianc88a70d2009-02-03 00:09:52 +0000663QualType CodeGenFunction::TypeOfSelfObject() {
664 const ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(CurFuncDecl);
665 ImplicitParamDecl *selfDecl = OMD->getSelfDecl();
Steve Naroff7cae42b2009-07-10 23:34:53 +0000666 const ObjCObjectPointerType *PTy = cast<ObjCObjectPointerType>(
667 getContext().getCanonicalType(selfDecl->getType()));
Fariborz Jahanianc88a70d2009-02-03 00:09:52 +0000668 return PTy->getPointeeType();
669}
670
John McCall0692a322010-12-04 03:11:00 +0000671LValue
672CodeGenFunction::EmitObjCPropertyRefLValue(const ObjCPropertyRefExpr *E) {
673 // This is a special l-value that just issues sends when we load or
674 // store through it.
675
676 // For certain base kinds, we need to emit the base immediately.
677 llvm::Value *Base;
678 if (E->isSuperReceiver())
679 Base = LoadObjCSelf();
680 else if (E->isClassReceiver())
681 Base = CGM.getObjCRuntime().GetClass(Builder, E->getClassReceiver());
682 else
683 Base = EmitScalarExpr(E->getBase());
684 return LValue::MakePropertyRef(E, Base);
685}
686
687static RValue GenerateMessageSendSuper(CodeGenFunction &CGF,
688 ReturnValueSlot Return,
689 QualType ResultType,
690 Selector S,
691 llvm::Value *Receiver,
692 const CallArgList &CallArgs) {
693 const ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(CGF.CurFuncDecl);
Fariborz Jahanian391d4fc2009-03-20 19:18:21 +0000694 bool isClassMessage = OMD->isClassMethod();
695 bool isCategoryImpl = isa<ObjCCategoryImplDecl>(OMD->getDeclContext());
John McCall0692a322010-12-04 03:11:00 +0000696 return CGF.CGM.getObjCRuntime()
697 .GenerateMessageSendSuper(CGF, Return, ResultType,
698 S, OMD->getClassInterface(),
699 isCategoryImpl, Receiver,
700 isClassMessage, CallArgs);
Fariborz Jahanian391d4fc2009-03-20 19:18:21 +0000701}
702
John McCallf3eb96f2010-12-04 02:32:38 +0000703RValue CodeGenFunction::EmitLoadOfPropertyRefLValue(LValue LV,
704 ReturnValueSlot Return) {
705 const ObjCPropertyRefExpr *E = LV.getPropertyRefExpr();
Fariborz Jahanian7a26ba42011-03-30 16:11:20 +0000706 QualType ResultType = E->getGetterResultType();
John McCallb7bd14f2010-12-02 01:19:52 +0000707 Selector S;
708 if (E->isExplicitProperty()) {
709 const ObjCPropertyDecl *Property = E->getExplicitProperty();
710 S = Property->getGetterName();
Mike Stump658fe022009-07-30 22:28:39 +0000711 } else {
John McCallb7bd14f2010-12-02 01:19:52 +0000712 const ObjCMethodDecl *Getter = E->getImplicitPropertyGetter();
713 S = Getter->getSelector();
Fariborz Jahanian9ac53512008-11-22 22:30:21 +0000714 }
John McCallb7bd14f2010-12-02 01:19:52 +0000715
John McCallf3eb96f2010-12-04 02:32:38 +0000716 llvm::Value *Receiver = LV.getPropertyRefBaseAddr();
John McCall0692a322010-12-04 03:11:00 +0000717
718 // Accesses to 'super' follow a different code path.
719 if (E->isSuperReceiver())
720 return GenerateMessageSendSuper(*this, Return, ResultType,
721 S, Receiver, CallArgList());
722
John McCallf3eb96f2010-12-04 02:32:38 +0000723 const ObjCInterfaceDecl *ReceiverClass
724 = (E->isClassReceiver() ? E->getClassReceiver() : 0);
John McCallb7bd14f2010-12-02 01:19:52 +0000725 return CGM.getObjCRuntime().
726 GenerateMessageSend(*this, Return, ResultType, S,
727 Receiver, CallArgList(), ReceiverClass);
Daniel Dunbar55310df2008-08-27 06:57:25 +0000728}
729
John McCallf3eb96f2010-12-04 02:32:38 +0000730void CodeGenFunction::EmitStoreThroughPropertyRefLValue(RValue Src,
731 LValue Dst) {
732 const ObjCPropertyRefExpr *E = Dst.getPropertyRefExpr();
John McCallb7bd14f2010-12-02 01:19:52 +0000733 Selector S = E->getSetterSelector();
Fariborz Jahanian7a26ba42011-03-30 16:11:20 +0000734 QualType ArgType = E->getSetterArgType();
735
Fariborz Jahanian701f0942011-02-08 22:33:23 +0000736 // FIXME. Other than scalars, AST is not adequate for setter and
737 // getter type mismatches which require conversion.
738 if (Src.isScalar()) {
739 llvm::Value *SrcVal = Src.getScalarVal();
740 QualType DstType = getContext().getCanonicalType(ArgType);
741 const llvm::Type *DstTy = ConvertType(DstType);
742 if (SrcVal->getType() != DstTy)
743 Src =
744 RValue::get(EmitScalarConversion(SrcVal, E->getType(), DstType));
745 }
746
John McCall0692a322010-12-04 03:11:00 +0000747 CallArgList Args;
748 Args.push_back(std::make_pair(Src, ArgType));
749
750 llvm::Value *Receiver = Dst.getPropertyRefBaseAddr();
751 QualType ResultType = getContext().VoidTy;
752
John McCallb7bd14f2010-12-02 01:19:52 +0000753 if (E->isSuperReceiver()) {
John McCall0692a322010-12-04 03:11:00 +0000754 GenerateMessageSendSuper(*this, ReturnValueSlot(),
755 ResultType, S, Receiver, Args);
John McCallb7bd14f2010-12-02 01:19:52 +0000756 return;
757 }
758
John McCallf3eb96f2010-12-04 02:32:38 +0000759 const ObjCInterfaceDecl *ReceiverClass
760 = (E->isClassReceiver() ? E->getClassReceiver() : 0);
John McCallb7bd14f2010-12-02 01:19:52 +0000761
John McCallb7bd14f2010-12-02 01:19:52 +0000762 CGM.getObjCRuntime().GenerateMessageSend(*this, ReturnValueSlot(),
John McCall0692a322010-12-04 03:11:00 +0000763 ResultType, S, Receiver, Args,
764 ReceiverClass);
Daniel Dunbar9e22c0d2008-08-29 08:11:39 +0000765}
766
Chris Lattnerd4808922009-03-22 21:03:39 +0000767void CodeGenFunction::EmitObjCForCollectionStmt(const ObjCForCollectionStmt &S){
Mike Stump11289f42009-09-09 15:08:12 +0000768 llvm::Constant *EnumerationMutationFn =
Daniel Dunbara08dff12008-09-24 04:04:31 +0000769 CGM.getObjCRuntime().EnumerationMutationFunction();
Mike Stump11289f42009-09-09 15:08:12 +0000770
Daniel Dunbara08dff12008-09-24 04:04:31 +0000771 if (!EnumerationMutationFn) {
772 CGM.ErrorUnsupported(&S, "Obj-C fast enumeration for this runtime");
773 return;
774 }
775
John McCall9e2e22f2011-02-22 07:16:58 +0000776 // The local variable comes into scope immediately.
777 AutoVarEmission variable = AutoVarEmission::invalid();
778 if (const DeclStmt *SD = dyn_cast<DeclStmt>(S.getElement()))
779 variable = EmitAutoVarAlloca(*cast<VarDecl>(SD->getSingleDecl()));
780
Devang Pateld2d66652011-01-19 01:36:36 +0000781 CGDebugInfo *DI = getDebugInfo();
782 if (DI) {
783 DI->setLocation(S.getSourceRange().getBegin());
784 DI->EmitRegionStart(Builder);
785 }
786
John McCall1c926b72011-01-07 01:49:06 +0000787 JumpDest LoopEnd = getJumpDestInCurrentScope("forcoll.end");
788 JumpDest AfterBody = getJumpDestInCurrentScope("forcoll.next");
Mike Stump11289f42009-09-09 15:08:12 +0000789
Anders Carlsson75658592008-08-31 02:33:12 +0000790 // Fast enumeration state.
791 QualType StateTy = getContext().getObjCFastEnumerationStateType();
Daniel Dunbara7566f12010-02-09 02:48:28 +0000792 llvm::Value *StatePtr = CreateMemTemp(StateTy, "state.ptr");
Anders Carlssonc0964b62010-05-22 17:35:42 +0000793 EmitNullInitialization(StatePtr, StateTy);
Mike Stump11289f42009-09-09 15:08:12 +0000794
Anders Carlsson75658592008-08-31 02:33:12 +0000795 // Number of elements in the items array.
Anders Carlsson3f35a262008-08-31 04:05:03 +0000796 static const unsigned NumItems = 16;
Mike Stump11289f42009-09-09 15:08:12 +0000797
John McCall1c926b72011-01-07 01:49:06 +0000798 // Fetch the countByEnumeratingWithState:objects:count: selector.
Benjamin Kramer9e649c32010-03-30 11:36:44 +0000799 IdentifierInfo *II[] = {
800 &CGM.getContext().Idents.get("countByEnumeratingWithState"),
801 &CGM.getContext().Idents.get("objects"),
802 &CGM.getContext().Idents.get("count")
803 };
804 Selector FastEnumSel =
805 CGM.getContext().Selectors.getSelector(llvm::array_lengthof(II), &II[0]);
Anders Carlsson75658592008-08-31 02:33:12 +0000806
807 QualType ItemsTy =
808 getContext().getConstantArrayType(getContext().getObjCIdType(),
Mike Stump11289f42009-09-09 15:08:12 +0000809 llvm::APInt(32, NumItems),
Anders Carlsson75658592008-08-31 02:33:12 +0000810 ArrayType::Normal, 0);
Daniel Dunbara7566f12010-02-09 02:48:28 +0000811 llvm::Value *ItemsPtr = CreateMemTemp(ItemsTy, "items.ptr");
Mike Stump11289f42009-09-09 15:08:12 +0000812
John McCall1c926b72011-01-07 01:49:06 +0000813 // Emit the collection pointer.
Anders Carlsson75658592008-08-31 02:33:12 +0000814 llvm::Value *Collection = EmitScalarExpr(S.getCollection());
Mike Stump11289f42009-09-09 15:08:12 +0000815
John McCall1c926b72011-01-07 01:49:06 +0000816 // Send it our message:
Anders Carlsson75658592008-08-31 02:33:12 +0000817 CallArgList Args;
John McCall1c926b72011-01-07 01:49:06 +0000818
819 // The first argument is a temporary of the enumeration-state type.
Mike Stump11289f42009-09-09 15:08:12 +0000820 Args.push_back(std::make_pair(RValue::get(StatePtr),
Anders Carlsson75658592008-08-31 02:33:12 +0000821 getContext().getPointerType(StateTy)));
Mike Stump11289f42009-09-09 15:08:12 +0000822
John McCall1c926b72011-01-07 01:49:06 +0000823 // The second argument is a temporary array with space for NumItems
824 // pointers. We'll actually be loading elements from the array
825 // pointer written into the control state; this buffer is so that
826 // collections that *aren't* backed by arrays can still queue up
827 // batches of elements.
Mike Stump11289f42009-09-09 15:08:12 +0000828 Args.push_back(std::make_pair(RValue::get(ItemsPtr),
Anders Carlsson75658592008-08-31 02:33:12 +0000829 getContext().getPointerType(ItemsTy)));
Mike Stump11289f42009-09-09 15:08:12 +0000830
John McCall1c926b72011-01-07 01:49:06 +0000831 // The third argument is the capacity of that temporary array.
Anders Carlsson75658592008-08-31 02:33:12 +0000832 const llvm::Type *UnsignedLongLTy = ConvertType(getContext().UnsignedLongTy);
Owen Andersonb7a2fe62009-07-24 23:12:58 +0000833 llvm::Constant *Count = llvm::ConstantInt::get(UnsignedLongLTy, NumItems);
Mike Stump11289f42009-09-09 15:08:12 +0000834 Args.push_back(std::make_pair(RValue::get(Count),
Daniel Dunbar41cf9de2008-09-09 01:06:48 +0000835 getContext().UnsignedLongTy));
Mike Stump11289f42009-09-09 15:08:12 +0000836
John McCall1c926b72011-01-07 01:49:06 +0000837 // Start the enumeration.
Mike Stump11289f42009-09-09 15:08:12 +0000838 RValue CountRV =
John McCall78a15112010-05-22 01:48:05 +0000839 CGM.getObjCRuntime().GenerateMessageSend(*this, ReturnValueSlot(),
Anders Carlsson75658592008-08-31 02:33:12 +0000840 getContext().UnsignedLongTy,
841 FastEnumSel,
David Chisnall01aa4672010-04-28 19:33:36 +0000842 Collection, Args);
Anders Carlsson75658592008-08-31 02:33:12 +0000843
John McCall1c926b72011-01-07 01:49:06 +0000844 // The initial number of objects that were returned in the buffer.
845 llvm::Value *initialBufferLimit = CountRV.getScalarVal();
Mike Stump11289f42009-09-09 15:08:12 +0000846
John McCall1c926b72011-01-07 01:49:06 +0000847 llvm::BasicBlock *EmptyBB = createBasicBlock("forcoll.empty");
848 llvm::BasicBlock *LoopInitBB = createBasicBlock("forcoll.loopinit");
Mike Stump11289f42009-09-09 15:08:12 +0000849
John McCall1c926b72011-01-07 01:49:06 +0000850 llvm::Value *zero = llvm::Constant::getNullValue(UnsignedLongLTy);
Anders Carlsson75658592008-08-31 02:33:12 +0000851
John McCall1c926b72011-01-07 01:49:06 +0000852 // If the limit pointer was zero to begin with, the collection is
853 // empty; skip all this.
854 Builder.CreateCondBr(Builder.CreateICmpEQ(initialBufferLimit, zero, "iszero"),
855 EmptyBB, LoopInitBB);
Anders Carlsson75658592008-08-31 02:33:12 +0000856
John McCall1c926b72011-01-07 01:49:06 +0000857 // Otherwise, initialize the loop.
858 EmitBlock(LoopInitBB);
Mike Stump11289f42009-09-09 15:08:12 +0000859
John McCall1c926b72011-01-07 01:49:06 +0000860 // Save the initial mutations value. This is the value at an
861 // address that was written into the state object by
862 // countByEnumeratingWithState:objects:count:.
Mike Stump11289f42009-09-09 15:08:12 +0000863 llvm::Value *StateMutationsPtrPtr =
Anders Carlsson3f35a262008-08-31 04:05:03 +0000864 Builder.CreateStructGEP(StatePtr, 2, "mutationsptr.ptr");
Mike Stump11289f42009-09-09 15:08:12 +0000865 llvm::Value *StateMutationsPtr = Builder.CreateLoad(StateMutationsPtrPtr,
Anders Carlsson3f35a262008-08-31 04:05:03 +0000866 "mutationsptr");
Mike Stump11289f42009-09-09 15:08:12 +0000867
John McCall1c926b72011-01-07 01:49:06 +0000868 llvm::Value *initialMutations =
869 Builder.CreateLoad(StateMutationsPtr, "forcoll.initial-mutations");
Mike Stump11289f42009-09-09 15:08:12 +0000870
John McCall1c926b72011-01-07 01:49:06 +0000871 // Start looping. This is the point we return to whenever we have a
872 // fresh, non-empty batch of objects.
873 llvm::BasicBlock *LoopBodyBB = createBasicBlock("forcoll.loopbody");
874 EmitBlock(LoopBodyBB);
Mike Stump11289f42009-09-09 15:08:12 +0000875
John McCall1c926b72011-01-07 01:49:06 +0000876 // The current index into the buffer.
Jay Foad20c0f022011-03-30 11:28:58 +0000877 llvm::PHINode *index = Builder.CreatePHI(UnsignedLongLTy, 3, "forcoll.index");
John McCall1c926b72011-01-07 01:49:06 +0000878 index->addIncoming(zero, LoopInitBB);
Anders Carlsson75658592008-08-31 02:33:12 +0000879
John McCall1c926b72011-01-07 01:49:06 +0000880 // The current buffer size.
Jay Foad20c0f022011-03-30 11:28:58 +0000881 llvm::PHINode *count = Builder.CreatePHI(UnsignedLongLTy, 3, "forcoll.count");
John McCall1c926b72011-01-07 01:49:06 +0000882 count->addIncoming(initialBufferLimit, LoopInitBB);
Mike Stump11289f42009-09-09 15:08:12 +0000883
John McCall1c926b72011-01-07 01:49:06 +0000884 // Check whether the mutations value has changed from where it was
885 // at start. StateMutationsPtr should actually be invariant between
886 // refreshes.
Anders Carlsson3f35a262008-08-31 04:05:03 +0000887 StateMutationsPtr = Builder.CreateLoad(StateMutationsPtrPtr, "mutationsptr");
John McCall1c926b72011-01-07 01:49:06 +0000888 llvm::Value *currentMutations
889 = Builder.CreateLoad(StateMutationsPtr, "statemutations");
Anders Carlsson3f35a262008-08-31 04:05:03 +0000890
John McCall1c926b72011-01-07 01:49:06 +0000891 llvm::BasicBlock *WasMutatedBB = createBasicBlock("forcoll.mutated");
Dan Gohman6ca99822011-03-02 22:39:34 +0000892 llvm::BasicBlock *WasNotMutatedBB = createBasicBlock("forcoll.notmutated");
Mike Stump11289f42009-09-09 15:08:12 +0000893
John McCall1c926b72011-01-07 01:49:06 +0000894 Builder.CreateCondBr(Builder.CreateICmpEQ(currentMutations, initialMutations),
895 WasNotMutatedBB, WasMutatedBB);
Mike Stump11289f42009-09-09 15:08:12 +0000896
John McCall1c926b72011-01-07 01:49:06 +0000897 // If so, call the enumeration-mutation function.
898 EmitBlock(WasMutatedBB);
Anders Carlsson3f35a262008-08-31 04:05:03 +0000899 llvm::Value *V =
Mike Stump11289f42009-09-09 15:08:12 +0000900 Builder.CreateBitCast(Collection,
Anders Carlsson3f35a262008-08-31 04:05:03 +0000901 ConvertType(getContext().getObjCIdType()),
902 "tmp");
Daniel Dunbar84388bf2009-02-03 23:55:40 +0000903 CallArgList Args2;
Mike Stump11289f42009-09-09 15:08:12 +0000904 Args2.push_back(std::make_pair(RValue::get(V),
Daniel Dunbar84388bf2009-02-03 23:55:40 +0000905 getContext().getObjCIdType()));
Mike Stump18bb9282009-05-16 07:57:57 +0000906 // FIXME: We shouldn't need to get the function info here, the runtime already
907 // should have computed it to build the function.
John McCallab26cfa2010-02-05 21:31:56 +0000908 EmitCall(CGM.getTypes().getFunctionInfo(getContext().VoidTy, Args2,
Rafael Espindolac50c27c2010-03-30 20:24:48 +0000909 FunctionType::ExtInfo()),
Anders Carlsson61a401c2009-12-24 19:25:24 +0000910 EnumerationMutationFn, ReturnValueSlot(), Args2);
Mike Stump11289f42009-09-09 15:08:12 +0000911
John McCall1c926b72011-01-07 01:49:06 +0000912 // Otherwise, or if the mutation function returns, just continue.
913 EmitBlock(WasNotMutatedBB);
Mike Stump11289f42009-09-09 15:08:12 +0000914
John McCall1c926b72011-01-07 01:49:06 +0000915 // Initialize the element variable.
916 RunCleanupsScope elementVariableScope(*this);
John McCall9e2e22f2011-02-22 07:16:58 +0000917 bool elementIsVariable;
John McCall1c926b72011-01-07 01:49:06 +0000918 LValue elementLValue;
919 QualType elementType;
920 if (const DeclStmt *SD = dyn_cast<DeclStmt>(S.getElement())) {
John McCall9e2e22f2011-02-22 07:16:58 +0000921 // Initialize the variable, in case it's a __block variable or something.
922 EmitAutoVarInit(variable);
John McCall1c926b72011-01-07 01:49:06 +0000923
John McCall9e2e22f2011-02-22 07:16:58 +0000924 const VarDecl* D = cast<VarDecl>(SD->getSingleDecl());
John McCall1c926b72011-01-07 01:49:06 +0000925 DeclRefExpr tempDRE(const_cast<VarDecl*>(D), D->getType(),
926 VK_LValue, SourceLocation());
927 elementLValue = EmitLValue(&tempDRE);
928 elementType = D->getType();
John McCall9e2e22f2011-02-22 07:16:58 +0000929 elementIsVariable = true;
John McCall1c926b72011-01-07 01:49:06 +0000930 } else {
931 elementLValue = LValue(); // suppress warning
932 elementType = cast<Expr>(S.getElement())->getType();
John McCall9e2e22f2011-02-22 07:16:58 +0000933 elementIsVariable = false;
John McCall1c926b72011-01-07 01:49:06 +0000934 }
935 const llvm::Type *convertedElementType = ConvertType(elementType);
936
937 // Fetch the buffer out of the enumeration state.
938 // TODO: this pointer should actually be invariant between
939 // refreshes, which would help us do certain loop optimizations.
Mike Stump11289f42009-09-09 15:08:12 +0000940 llvm::Value *StateItemsPtr =
Anders Carlsson75658592008-08-31 02:33:12 +0000941 Builder.CreateStructGEP(StatePtr, 1, "stateitems.ptr");
John McCall1c926b72011-01-07 01:49:06 +0000942 llvm::Value *EnumStateItems =
943 Builder.CreateLoad(StateItemsPtr, "stateitems");
Anders Carlsson75658592008-08-31 02:33:12 +0000944
John McCall1c926b72011-01-07 01:49:06 +0000945 // Fetch the value at the current index from the buffer.
Mike Stump11289f42009-09-09 15:08:12 +0000946 llvm::Value *CurrentItemPtr =
John McCall1c926b72011-01-07 01:49:06 +0000947 Builder.CreateGEP(EnumStateItems, index, "currentitem.ptr");
948 llvm::Value *CurrentItem = Builder.CreateLoad(CurrentItemPtr);
Mike Stump11289f42009-09-09 15:08:12 +0000949
John McCall1c926b72011-01-07 01:49:06 +0000950 // Cast that value to the right type.
951 CurrentItem = Builder.CreateBitCast(CurrentItem, convertedElementType,
952 "currentitem");
Mike Stump11289f42009-09-09 15:08:12 +0000953
John McCall1c926b72011-01-07 01:49:06 +0000954 // Make sure we have an l-value. Yes, this gets evaluated every
955 // time through the loop.
John McCall9e2e22f2011-02-22 07:16:58 +0000956 if (!elementIsVariable)
John McCall1c926b72011-01-07 01:49:06 +0000957 elementLValue = EmitLValue(cast<Expr>(S.getElement()));
Mike Stump11289f42009-09-09 15:08:12 +0000958
John McCall1c926b72011-01-07 01:49:06 +0000959 EmitStoreThroughLValue(RValue::get(CurrentItem), elementLValue, elementType);
Mike Stump11289f42009-09-09 15:08:12 +0000960
John McCall9e2e22f2011-02-22 07:16:58 +0000961 // If we do have an element variable, this assignment is the end of
962 // its initialization.
963 if (elementIsVariable)
964 EmitAutoVarCleanups(variable);
965
John McCall1c926b72011-01-07 01:49:06 +0000966 // Perform the loop body, setting up break and continue labels.
Anders Carlsson33747b62009-02-10 05:52:02 +0000967 BreakContinueStack.push_back(BreakContinue(LoopEnd, AfterBody));
John McCall1c926b72011-01-07 01:49:06 +0000968 {
969 RunCleanupsScope Scope(*this);
970 EmitStmt(S.getBody());
971 }
Anders Carlsson75658592008-08-31 02:33:12 +0000972 BreakContinueStack.pop_back();
Mike Stump11289f42009-09-09 15:08:12 +0000973
John McCall1c926b72011-01-07 01:49:06 +0000974 // Destroy the element variable now.
975 elementVariableScope.ForceCleanup();
976
977 // Check whether there are more elements.
John McCallad5d61e2010-07-23 21:56:41 +0000978 EmitBlock(AfterBody.getBlock());
Mike Stump11289f42009-09-09 15:08:12 +0000979
John McCall1c926b72011-01-07 01:49:06 +0000980 llvm::BasicBlock *FetchMoreBB = createBasicBlock("forcoll.refetch");
Fariborz Jahanian6e7ecc82009-01-06 18:56:31 +0000981
John McCall1c926b72011-01-07 01:49:06 +0000982 // First we check in the local buffer.
983 llvm::Value *indexPlusOne
984 = Builder.CreateAdd(index, llvm::ConstantInt::get(UnsignedLongLTy, 1));
Anders Carlsson75658592008-08-31 02:33:12 +0000985
John McCall1c926b72011-01-07 01:49:06 +0000986 // If we haven't overrun the buffer yet, we can continue.
987 Builder.CreateCondBr(Builder.CreateICmpULT(indexPlusOne, count),
988 LoopBodyBB, FetchMoreBB);
989
990 index->addIncoming(indexPlusOne, AfterBody.getBlock());
991 count->addIncoming(count, AfterBody.getBlock());
992
993 // Otherwise, we have to fetch more elements.
994 EmitBlock(FetchMoreBB);
Mike Stump11289f42009-09-09 15:08:12 +0000995
996 CountRV =
John McCall78a15112010-05-22 01:48:05 +0000997 CGM.getObjCRuntime().GenerateMessageSend(*this, ReturnValueSlot(),
Anders Carlsson75658592008-08-31 02:33:12 +0000998 getContext().UnsignedLongTy,
Mike Stump11289f42009-09-09 15:08:12 +0000999 FastEnumSel,
David Chisnall01aa4672010-04-28 19:33:36 +00001000 Collection, Args);
Mike Stump11289f42009-09-09 15:08:12 +00001001
John McCall1c926b72011-01-07 01:49:06 +00001002 // If we got a zero count, we're done.
1003 llvm::Value *refetchCount = CountRV.getScalarVal();
1004
1005 // (note that the message send might split FetchMoreBB)
1006 index->addIncoming(zero, Builder.GetInsertBlock());
1007 count->addIncoming(refetchCount, Builder.GetInsertBlock());
1008
1009 Builder.CreateCondBr(Builder.CreateICmpEQ(refetchCount, zero),
1010 EmptyBB, LoopBodyBB);
Mike Stump11289f42009-09-09 15:08:12 +00001011
Anders Carlsson75658592008-08-31 02:33:12 +00001012 // No more elements.
John McCall1c926b72011-01-07 01:49:06 +00001013 EmitBlock(EmptyBB);
Anders Carlsson75658592008-08-31 02:33:12 +00001014
John McCall9e2e22f2011-02-22 07:16:58 +00001015 if (!elementIsVariable) {
Anders Carlsson75658592008-08-31 02:33:12 +00001016 // If the element was not a declaration, set it to be null.
1017
John McCall1c926b72011-01-07 01:49:06 +00001018 llvm::Value *null = llvm::Constant::getNullValue(convertedElementType);
1019 elementLValue = EmitLValue(cast<Expr>(S.getElement()));
1020 EmitStoreThroughLValue(RValue::get(null), elementLValue, elementType);
Anders Carlsson75658592008-08-31 02:33:12 +00001021 }
1022
Devang Pateld2d66652011-01-19 01:36:36 +00001023 if (DI) {
1024 DI->setLocation(S.getSourceRange().getEnd());
1025 DI->EmitRegionEnd(Builder);
1026 }
1027
John McCallad5d61e2010-07-23 21:56:41 +00001028 EmitBlock(LoopEnd.getBlock());
Anders Carlsson2e744e82008-08-30 19:51:14 +00001029}
1030
Mike Stump11289f42009-09-09 15:08:12 +00001031void CodeGenFunction::EmitObjCAtTryStmt(const ObjCAtTryStmt &S) {
John McCallbd309292010-07-06 01:34:17 +00001032 CGM.getObjCRuntime().EmitTryStmt(*this, S);
Anders Carlsson1963b0c2008-09-09 10:04:29 +00001033}
1034
Mike Stump11289f42009-09-09 15:08:12 +00001035void CodeGenFunction::EmitObjCAtThrowStmt(const ObjCAtThrowStmt &S) {
Anders Carlsson1963b0c2008-09-09 10:04:29 +00001036 CGM.getObjCRuntime().EmitThrowStmt(*this, S);
1037}
1038
Chris Lattnere132e242008-11-15 21:26:17 +00001039void CodeGenFunction::EmitObjCAtSynchronizedStmt(
Mike Stump11289f42009-09-09 15:08:12 +00001040 const ObjCAtSynchronizedStmt &S) {
John McCallbd309292010-07-06 01:34:17 +00001041 CGM.getObjCRuntime().EmitSynchronizedStmt(*this, S);
Chris Lattnere132e242008-11-15 21:26:17 +00001042}
1043
Ted Kremenek43e06332008-04-09 15:51:31 +00001044CGObjCRuntime::~CGObjCRuntime() {}