CGObjC.cpp revision 2284ac9ec80299fcdefae9a2787cf85105a0f203
15508518a2702b00be3b15a26d772bde968972f54Anders Carlsson//===---- CGBuiltin.cpp - Emit LLVM Code for builtins ---------------------===// 25508518a2702b00be3b15a26d772bde968972f54Anders Carlsson// 35508518a2702b00be3b15a26d772bde968972f54Anders Carlsson// The LLVM Compiler Infrastructure 45508518a2702b00be3b15a26d772bde968972f54Anders Carlsson// 50bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// This file is distributed under the University of Illinois Open Source 60bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// License. See LICENSE.TXT for details. 75508518a2702b00be3b15a26d772bde968972f54Anders Carlsson// 85508518a2702b00be3b15a26d772bde968972f54Anders Carlsson//===----------------------------------------------------------------------===// 95508518a2702b00be3b15a26d772bde968972f54Anders Carlsson// 105508518a2702b00be3b15a26d772bde968972f54Anders Carlsson// This contains code to emit Objective-C code as LLVM code. 115508518a2702b00be3b15a26d772bde968972f54Anders Carlsson// 125508518a2702b00be3b15a26d772bde968972f54Anders Carlsson//===----------------------------------------------------------------------===// 135508518a2702b00be3b15a26d772bde968972f54Anders Carlsson 142979ec73b4f974d85f2ce84167712177a44c6f09Ted Kremenek#include "CGObjCRuntime.h" 155508518a2702b00be3b15a26d772bde968972f54Anders Carlsson#include "CodeGenFunction.h" 165508518a2702b00be3b15a26d772bde968972f54Anders Carlsson#include "CodeGenModule.h" 1785c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar#include "clang/AST/ASTContext.h" 18c4a1dea2dc56bd1357ec91b829a0b9e68229a13eDaniel Dunbar#include "clang/AST/DeclObjC.h" 19e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar#include "clang/Basic/Diagnostic.h" 203d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson#include "llvm/ADT/STLExtras.h" 21c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar#include "llvm/Target/TargetData.h" 224111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner 235508518a2702b00be3b15a26d772bde968972f54Anders Carlssonusing namespace clang; 245508518a2702b00be3b15a26d772bde968972f54Anders Carlssonusing namespace CodeGen; 255508518a2702b00be3b15a26d772bde968972f54Anders Carlsson 268fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner/// Emits an instance of NSConstantString representing the object. 27bbce49b9e5c6d7f05926b89f8e6fd235ae01c250Daniel Dunbarllvm::Value *CodeGenFunction::EmitObjCStringLiteral(const ObjCStringLiteral *E) { 28bbce49b9e5c6d7f05926b89f8e6fd235ae01c250Daniel Dunbar std::string String(E->getString()->getStrData(), E->getString()->getByteLength()); 29bbce49b9e5c6d7f05926b89f8e6fd235ae01c250Daniel Dunbar llvm::Constant *C = CGM.getObjCRuntime().GenerateConstantString(String); 30ed7c618f849e2541b1d0288c43154937652c5b15Daniel Dunbar // FIXME: This bitcast should just be made an invariant on the Runtime. 31bbce49b9e5c6d7f05926b89f8e6fd235ae01c250Daniel Dunbar return llvm::ConstantExpr::getBitCast(C, ConvertType(E->getType())); 328fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner} 338fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner 348fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner/// Emit a selector. 358fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattnerllvm::Value *CodeGenFunction::EmitObjCSelectorExpr(const ObjCSelectorExpr *E) { 368fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner // Untyped selector. 378fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner // Note that this implementation allows for non-constant strings to be passed 388fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner // as arguments to @selector(). Currently, the only thing preventing this 398fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner // behaviour is the type checking in the front end. 40208ff5e8a073de2a5d15cbe03cab8a4c0d935e28Daniel Dunbar return CGM.getObjCRuntime().GetSelector(Builder, E->getSelector()); 418fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner} 428fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner 43ed7c618f849e2541b1d0288c43154937652c5b15Daniel Dunbarllvm::Value *CodeGenFunction::EmitObjCProtocolExpr(const ObjCProtocolExpr *E) { 44ed7c618f849e2541b1d0288c43154937652c5b15Daniel Dunbar // FIXME: This should pass the Decl not the name. 45ed7c618f849e2541b1d0288c43154937652c5b15Daniel Dunbar return CGM.getObjCRuntime().GenerateProtocolRef(Builder, E->getProtocol()); 46ed7c618f849e2541b1d0288c43154937652c5b15Daniel Dunbar} 478fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner 488fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner 498f2926b73ed635afecd020da787af6a837601a2bDaniel DunbarRValue CodeGenFunction::EmitObjCMessageExpr(const ObjCMessageExpr *E) { 508fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner // Only the lookup mechanism and first two arguments of the method 518fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner // implementation vary between runtimes. We can get the receiver and 528fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner // arguments in generic code. 538fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner 54208ff5e8a073de2a5d15cbe03cab8a4c0d935e28Daniel Dunbar CGObjCRuntime &Runtime = CGM.getObjCRuntime(); 558fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner const Expr *ReceiverExpr = E->getReceiver(); 568fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner bool isSuperMessage = false; 57f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar bool isClassMessage = false; 588fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner // Find the receiver 598fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner llvm::Value *Receiver; 608fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner if (!ReceiverExpr) { 61ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar const ObjCInterfaceDecl *OID = E->getClassInfo().first; 62ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar 63ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar // Very special case, super send in class method. The receiver is 64ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar // self (the class object) and the send uses super semantics. 65ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar if (!OID) { 66ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar assert(!strcmp(E->getClassName()->getName(), "super") && 67ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar "Unexpected missing class interface in message send."); 68ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar isSuperMessage = true; 69f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar Receiver = LoadObjCSelf(); 70f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar } else { 71f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar Receiver = Runtime.GetClass(Builder, OID); 728fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner } 73f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar 74f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar isClassMessage = true; 753304e55f613ce34d9a14c3aaf06f5949408b3092Chris Lattner } else if (isa<PredefinedExpr>(E->getReceiver())) { 763304e55f613ce34d9a14c3aaf06f5949408b3092Chris Lattner assert(cast<PredefinedExpr>(E->getReceiver())->getIdentType() == 773304e55f613ce34d9a14c3aaf06f5949408b3092Chris Lattner PredefinedExpr::ObjCSuper); 788fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner isSuperMessage = true; 798fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner Receiver = LoadObjCSelf(); 808fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner } else { 812bedbf8549bb33293c6a53e5da6cbd8de290d014Daniel Dunbar Receiver = EmitScalarExpr(E->getReceiver()); 828fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner } 838fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner 8419cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar CallArgList Args; 8519cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar for (CallExpr::const_arg_iterator i = E->arg_begin(), e = E->arg_end(); 8619cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar i != e; ++i) 8746f45b9bec4a265ad8400a538e5ec3a5683617f1Daniel Dunbar Args.push_back(std::make_pair(EmitAnyExprToTemp(*i), (*i)->getType())); 8819cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar 898fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner if (isSuperMessage) { 909384c768e93f270118a30ce96546083a666da284Chris Lattner // super is only valid in an Objective-C method 919384c768e93f270118a30ce96546083a666da284Chris Lattner const ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(CurFuncDecl); 927f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar return Runtime.GenerateMessageSendSuper(*this, E->getType(), 937f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar E->getSelector(), 94f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar OMD->getClassInterface(), 95f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar Receiver, 9619cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar isClassMessage, 9719cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar Args); 988fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner } 997f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar return Runtime.GenerateMessageSend(*this, E->getType(), E->getSelector(), 1007f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar Receiver, isClassMessage, Args); 1015508518a2702b00be3b15a26d772bde968972f54Anders Carlsson} 1025508518a2702b00be3b15a26d772bde968972f54Anders Carlsson 103af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// StartObjCMethod - Begin emission of an ObjCMethod. This generates 104af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// the LLVM function and sets the other context used by 105af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// CodeGenFunction. 106af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbarvoid CodeGenFunction::StartObjCMethod(const ObjCMethodDecl *OMD) { 1077c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar FunctionArgList Args; 1087c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar llvm::Function *Fn = CGM.getObjCRuntime().GenerateMethod(OMD); 109f80519b919a348db004fba18530706314d1ebfb5Daniel Dunbar 1107c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar CGM.SetMethodAttributes(OMD, Fn); 1114111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner 1127c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar Args.push_back(std::make_pair(OMD->getSelfDecl(), 1137c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar OMD->getSelfDecl()->getType())); 1147c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar Args.push_back(std::make_pair(OMD->getCmdDecl(), 1157c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar OMD->getCmdDecl()->getType())); 1164111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner 1177c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar for (unsigned i = 0, e = OMD->getNumParams(); i != e; ++i) { 1187c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar ParmVarDecl *IPD = OMD->getParamDecl(i); 1197c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar Args.push_back(std::make_pair(IPD, IPD->getType())); 1204111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner } 121b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar 1222284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar StartFunction(OMD, OMD->getResultType(), Fn, Args, OMD->getLocEnd()); 123af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar} 124af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 125af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// Generate an Objective-C method. An Objective-C method is a C function with 126af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// its pointer, name, and types registered in the class struture. 127af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbarvoid CodeGenFunction::GenerateObjCMethod(const ObjCMethodDecl *OMD) { 128af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar StartObjCMethod(OMD); 129af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar EmitStmt(OMD->getBody()); 1302284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar FinishFunction(cast<CompoundStmt>(OMD->getBody())->getRBracLoc()); 131af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar} 132af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 133af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar// FIXME: I wasn't sure about the synthesis approach. If we end up 134af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar// generating an AST for the whole body we can just fall back to 135af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar// having a GenerateFunction which takes the body Stmt. 136af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 137af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// GenerateObjCGetter - Generate an Objective-C property getter 138af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// function. The given Decl must be either an ObjCCategoryImplDecl 139af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// or an ObjCImplementationDecl. 140af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbarvoid CodeGenFunction::GenerateObjCGetter(const ObjCPropertyImplDecl *PID) { 141c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar ObjCIvarDecl *Ivar = PID->getPropertyIvarDecl(); 142af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar const ObjCPropertyDecl *PD = PID->getPropertyDecl(); 143af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar ObjCMethodDecl *OMD = PD->getGetterMethodDecl(); 144af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar assert(OMD && "Invalid call to generate getter (empty method)"); 145af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar // FIXME: This is rather murky, we create this here since they will 146af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar // not have been created by Sema for us. 147af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar OMD->createImplicitParams(getContext()); 148af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar StartObjCMethod(OMD); 149af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 150c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // Determine if we should use an objc_getProperty call for 151c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // this. Non-atomic and properties with assign semantics are 152c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // directly evaluated, and in gc-only mode we don't need it at all. 153c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar if (CGM.getLangOptions().getGCMode() != LangOptions::GCOnly && 154c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar PD->getSetterKind() != ObjCPropertyDecl::Assign && 155c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar !(PD->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_nonatomic)) { 156c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar llvm::Value *GetPropertyFn = 157c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar CGM.getObjCRuntime().GetPropertyGetFunction(); 158c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar 159c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar if (!GetPropertyFn) { 160c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar CGM.ErrorUnsupported(PID, "Obj-C getter requiring atomic copy"); 161c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar FinishFunction(); 162c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar return; 163c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar } 164c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar 165c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // Return (ivar-type) objc_getProperty((id) self, _cmd, offset, true). 166c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // FIXME: Can't this be simpler? This might even be worse than the 167c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // corresponding gcc code. 168c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar CodeGenTypes &Types = CGM.getTypes(); 169c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar ValueDecl *Cmd = OMD->getCmdDecl(); 170c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar llvm::Value *CmdVal = Builder.CreateLoad(LocalDeclMap[Cmd], "cmd"); 171c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar QualType IdTy = getContext().getObjCIdType(); 172c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar llvm::Value *SelfAsId = 173c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Builder.CreateBitCast(LoadObjCSelf(), Types.ConvertType(IdTy)); 174c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar llvm::Value *Offset = EmitIvarOffset(OMD->getClassInterface(), Ivar); 175c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar llvm::Value *True = 176c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar llvm::ConstantInt::get(Types.ConvertTypeForMem(getContext().BoolTy), 1); 177c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar CallArgList Args; 178c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Args.push_back(std::make_pair(RValue::get(SelfAsId), IdTy)); 179c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Args.push_back(std::make_pair(RValue::get(CmdVal), Cmd->getType())); 180c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Args.push_back(std::make_pair(RValue::get(Offset), getContext().LongTy)); 181c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Args.push_back(std::make_pair(RValue::get(True), getContext().BoolTy)); 182c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar RValue RV = EmitCall(GetPropertyFn, PD->getType(), Args); 183c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // We need to fix the type here. Ivars with copy & retain are 184c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // always objects so we don't need to worry about complex or 185c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // aggregates. 186c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar RV = RValue::get(Builder.CreateBitCast(RV.getScalarVal(), 187c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Types.ConvertType(PD->getType()))); 188c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar EmitReturnOfRValue(RV, PD->getType()); 189c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar } else { 190c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar EmitReturnOfRValue(EmitLoadOfLValue(EmitLValueForIvar(LoadObjCSelf(), 191c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Ivar, 0), 192c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Ivar->getType()), 193c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar PD->getType()); 194c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar } 195af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 196af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar FinishFunction(); 197af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar} 198af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 199af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// GenerateObjCSetter - Generate an Objective-C property setter 200af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// function. The given Decl must be either an ObjCCategoryImplDecl 201af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// or an ObjCImplementationDecl. 202af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbarvoid CodeGenFunction::GenerateObjCSetter(const ObjCPropertyImplDecl *PID) { 20386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar ObjCIvarDecl *Ivar = PID->getPropertyIvarDecl(); 204af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar const ObjCPropertyDecl *PD = PID->getPropertyDecl(); 205af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar ObjCMethodDecl *OMD = PD->getSetterMethodDecl(); 206af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar assert(OMD && "Invalid call to generate setter (empty method)"); 207af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar // FIXME: This is rather murky, we create this here since they will 208af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar // not have been created by Sema for us. 209af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar OMD->createImplicitParams(getContext()); 210af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar StartObjCMethod(OMD); 211b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar 21286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar bool IsCopy = PD->getSetterKind() == ObjCPropertyDecl::Copy; 21386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar bool IsAtomic = 21486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar !(PD->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_nonatomic); 21586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar 21686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // Determine if we should use an objc_setProperty call for 21786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // this. Properties with 'copy' semantics always use it, as do 21886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // non-atomic properties with 'release' semantics as long as we are 21986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // not in gc-only mode. 22086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar if (IsCopy || 22186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar (CGM.getLangOptions().getGCMode() != LangOptions::GCOnly && 22286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar PD->getSetterKind() == ObjCPropertyDecl::Retain)) { 22386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::Value *SetPropertyFn = 22486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar CGM.getObjCRuntime().GetPropertySetFunction(); 22586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar 22686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar if (!SetPropertyFn) { 22786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar CGM.ErrorUnsupported(PID, "Obj-C getter requiring atomic copy"); 22886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar FinishFunction(); 22986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar return; 23086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar } 23186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar 23286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // Emit objc_setProperty((id) self, _cmd, offset, arg, 23386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // <is-atomic>, <is-copy>). 23486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // FIXME: Can't this be simpler? This might even be worse than the 23586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // corresponding gcc code. 23686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar CodeGenTypes &Types = CGM.getTypes(); 23786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar ValueDecl *Cmd = OMD->getCmdDecl(); 23886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::Value *CmdVal = Builder.CreateLoad(LocalDeclMap[Cmd], "cmd"); 23986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar QualType IdTy = getContext().getObjCIdType(); 24086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::Value *SelfAsId = 24186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Builder.CreateBitCast(LoadObjCSelf(), Types.ConvertType(IdTy)); 24286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::Value *Offset = EmitIvarOffset(OMD->getClassInterface(), Ivar); 24386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::Value *Arg = LocalDeclMap[OMD->getParamDecl(0)]; 24486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::Value *ArgAsId = 24586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Builder.CreateBitCast(Builder.CreateLoad(Arg, "arg"), 24686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Types.ConvertType(IdTy)); 24786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::Value *True = 24886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::ConstantInt::get(Types.ConvertTypeForMem(getContext().BoolTy), 1); 24986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::Value *False = 25086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::ConstantInt::get(Types.ConvertTypeForMem(getContext().BoolTy), 0); 25186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar CallArgList Args; 25286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Args.push_back(std::make_pair(RValue::get(SelfAsId), IdTy)); 25386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Args.push_back(std::make_pair(RValue::get(CmdVal), Cmd->getType())); 25486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Args.push_back(std::make_pair(RValue::get(Offset), getContext().LongTy)); 25586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Args.push_back(std::make_pair(RValue::get(ArgAsId), IdTy)); 25686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Args.push_back(std::make_pair(RValue::get(IsAtomic ? True : False), 25786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar getContext().BoolTy)); 25886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Args.push_back(std::make_pair(RValue::get(IsCopy ? True : False), 25986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar getContext().BoolTy)); 26086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar EmitCall(SetPropertyFn, PD->getType(), Args); 26186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar } else { 26286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar SourceLocation Loc = PD->getLocation(); 26386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar ValueDecl *Self = OMD->getSelfDecl(); 26486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar ObjCIvarDecl *Ivar = PID->getPropertyIvarDecl(); 26586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar DeclRefExpr Base(Self, Self->getType(), Loc); 26686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar ParmVarDecl *ArgDecl = OMD->getParamDecl(0); 26786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar DeclRefExpr Arg(ArgDecl, ArgDecl->getType(), Loc); 26886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar ObjCIvarRefExpr IvarRef(Ivar, Ivar->getType(), Loc, &Base, 26986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar true, true); 27086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar BinaryOperator Assign(&IvarRef, &Arg, BinaryOperator::Assign, 27186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Ivar->getType(), Loc); 27286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar EmitStmt(&Assign); 27386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar } 274af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 275af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar FinishFunction(); 2764111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner} 2774111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner 278c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbarllvm::Value *CodeGenFunction::LoadObjCSelf() { 279b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar const ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(CurFuncDecl); 280b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar return Builder.CreateLoad(LocalDeclMap[OMD->getSelfDecl()], "self"); 2814111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner} 2824111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner 2839c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel DunbarRValue CodeGenFunction::EmitObjCPropertyGet(const ObjCPropertyRefExpr *E) { 2849c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar // Determine getter selector. 2859c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar Selector S; 286e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar if (E->getKind() == ObjCPropertyRefExpr::MethodRef) { 287e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar S = E->getGetterMethod()->getSelector(); 2889c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar } else { 289e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar S = E->getProperty()->getGetterName(); 2909c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar } 2919c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar 2927f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar return CGM.getObjCRuntime(). 2937f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar GenerateMessageSend(*this, E->getType(), S, 2947f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar EmitScalarExpr(E->getBase()), 2957f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar false, CallArgList()); 2969c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar} 2979c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar 29885c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbarvoid CodeGenFunction::EmitObjCPropertySet(const ObjCPropertyRefExpr *E, 29985c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar RValue Src) { 3007f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar Selector S; 301e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar if (E->getKind() == ObjCPropertyRefExpr::MethodRef) { 302e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar ObjCMethodDecl *Setter = E->getSetterMethod(); 303e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar 304e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar if (Setter) { 305e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar S = Setter->getSelector(); 306e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar } else { 307e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar // FIXME: This should be diagnosed by sema. 308e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar SourceRange Range = E->getSourceRange(); 309e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar CGM.getDiags().Report(getContext().getFullLoc(E->getLocStart()), 310e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar diag::err_typecheck_assign_const, 0, 0, 311e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar &Range, 1); 312e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar return; 313e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar } 3147f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar } else { 315e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar S = E->getProperty()->getSetterName(); 3167f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar } 3177f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar 3187f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar CallArgList Args; 31946f45b9bec4a265ad8400a538e5ec3a5683617f1Daniel Dunbar Args.push_back(std::make_pair(Src, E->getType())); 3207f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar CGM.getObjCRuntime().GenerateMessageSend(*this, getContext().VoidTy, S, 3217f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar EmitScalarExpr(E->getBase()), 3227f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar false, Args); 32385c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar} 32485c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar 3253d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlssonvoid CodeGenFunction::EmitObjCForCollectionStmt(const ObjCForCollectionStmt &S) 3263d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson{ 327c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar llvm::Function *EnumerationMutationFn = 328c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar CGM.getObjCRuntime().EnumerationMutationFunction(); 329f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *DeclAddress; 330f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson QualType ElementTy; 331f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 332c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar if (!EnumerationMutationFn) { 333c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar CGM.ErrorUnsupported(&S, "Obj-C fast enumeration for this runtime"); 334c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar return; 335c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar } 336c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar 337f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson if (const DeclStmt *SD = dyn_cast<DeclStmt>(S.getElement())) { 338f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson EmitStmt(SD); 33939741cecde917affbcbdfb2942ff1a9eae8f3488Ted Kremenek const ScopedDecl* D = SD->getSolitaryDecl(); 34039741cecde917affbcbdfb2942ff1a9eae8f3488Ted Kremenek ElementTy = cast<ValueDecl>(D)->getType(); 34139741cecde917affbcbdfb2942ff1a9eae8f3488Ted Kremenek DeclAddress = LocalDeclMap[D]; 342f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson } else { 343f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson ElementTy = cast<Expr>(S.getElement())->getType(); 344f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson DeclAddress = 0; 345f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson } 346f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 347f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // Fast enumeration state. 348f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson QualType StateTy = getContext().getObjCFastEnumerationStateType(); 349f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::AllocaInst *StatePtr = CreateTempAlloca(ConvertType(StateTy), 350f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson "state.ptr"); 351f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson StatePtr->setAlignment(getContext().getTypeAlign(StateTy) >> 3); 3522abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson EmitMemSetToZero(StatePtr, StateTy); 353f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 354f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // Number of elements in the items array. 3552abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson static const unsigned NumItems = 16; 356f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 357f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // Get selector 358f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::SmallVector<IdentifierInfo*, 3> II; 359f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson II.push_back(&CGM.getContext().Idents.get("countByEnumeratingWithState")); 360f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson II.push_back(&CGM.getContext().Idents.get("objects")); 361f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson II.push_back(&CGM.getContext().Idents.get("count")); 362f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Selector FastEnumSel = CGM.getContext().Selectors.getSelector(II.size(), 363f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson &II[0]); 364f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 365f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson QualType ItemsTy = 366f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson getContext().getConstantArrayType(getContext().getObjCIdType(), 367f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::APInt(32, NumItems), 368f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson ArrayType::Normal, 0); 369f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *ItemsPtr = CreateTempAlloca(ConvertType(ItemsTy), "items.ptr"); 370f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 371f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *Collection = EmitScalarExpr(S.getCollection()); 372f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 373f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson CallArgList Args; 37446f45b9bec4a265ad8400a538e5ec3a5683617f1Daniel Dunbar Args.push_back(std::make_pair(RValue::get(StatePtr), 375f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson getContext().getPointerType(StateTy))); 376f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 37746f45b9bec4a265ad8400a538e5ec3a5683617f1Daniel Dunbar Args.push_back(std::make_pair(RValue::get(ItemsPtr), 378f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson getContext().getPointerType(ItemsTy))); 379f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 380f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson const llvm::Type *UnsignedLongLTy = ConvertType(getContext().UnsignedLongTy); 381f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Constant *Count = llvm::ConstantInt::get(UnsignedLongLTy, NumItems); 38246f45b9bec4a265ad8400a538e5ec3a5683617f1Daniel Dunbar Args.push_back(std::make_pair(RValue::get(Count), 38346f45b9bec4a265ad8400a538e5ec3a5683617f1Daniel Dunbar getContext().UnsignedLongTy)); 384f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 385f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson RValue CountRV = 386f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson CGM.getObjCRuntime().GenerateMessageSend(*this, 387f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson getContext().UnsignedLongTy, 388f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson FastEnumSel, 389f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Collection, false, Args); 390f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 391f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *LimitPtr = CreateTempAlloca(UnsignedLongLTy, "limit.ptr"); 392f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateStore(CountRV.getScalarVal(), LimitPtr); 393f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 394f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::BasicBlock *NoElements = llvm::BasicBlock::Create("noelements"); 3952abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::BasicBlock *SetStartMutations = 3962abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::BasicBlock::Create("setstartmutations"); 397f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 398f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *Limit = Builder.CreateLoad(LimitPtr); 399f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *Zero = llvm::Constant::getNullValue(UnsignedLongLTy); 400f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 401f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *IsZero = Builder.CreateICmpEQ(Limit, Zero, "iszero"); 4022abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson Builder.CreateCondBr(IsZero, NoElements, SetStartMutations); 403f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 4042abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson EmitBlock(SetStartMutations); 4052abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4062abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::Value *StartMutationsPtr = 4072abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson CreateTempAlloca(UnsignedLongLTy); 4082abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4092abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::Value *StateMutationsPtrPtr = 4102abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson Builder.CreateStructGEP(StatePtr, 2, "mutationsptr.ptr"); 4112abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::Value *StateMutationsPtr = Builder.CreateLoad(StateMutationsPtrPtr, 4122abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson "mutationsptr"); 4132abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4142abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::Value *StateMutations = Builder.CreateLoad(StateMutationsPtr, 4152abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson "mutations"); 4162abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4172abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson Builder.CreateStore(StateMutations, StartMutationsPtr); 4182abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4192abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::BasicBlock *LoopStart = llvm::BasicBlock::Create("loopstart"); 420f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson EmitBlock(LoopStart); 421f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 422f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *CounterPtr = CreateTempAlloca(UnsignedLongLTy, "counter.ptr"); 423f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateStore(Zero, CounterPtr); 424f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 4252abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::BasicBlock *LoopBody = llvm::BasicBlock::Create("loopbody"); 426f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson EmitBlock(LoopBody); 427f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 4282abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson StateMutationsPtr = Builder.CreateLoad(StateMutationsPtrPtr, "mutationsptr"); 4292abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson StateMutations = Builder.CreateLoad(StateMutationsPtr, "statemutations"); 4302abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4312abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::Value *StartMutations = Builder.CreateLoad(StartMutationsPtr, 4322abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson "mutations"); 4332abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::Value *MutationsEqual = Builder.CreateICmpEQ(StateMutations, 4342abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson StartMutations, 4352abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson "tobool"); 4362abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4372abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4382abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::BasicBlock *WasMutated = llvm::BasicBlock::Create("wasmutated"); 4392abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::BasicBlock *WasNotMutated = llvm::BasicBlock::Create("wasnotmutated"); 4402abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4412abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson Builder.CreateCondBr(MutationsEqual, WasNotMutated, WasMutated); 4422abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4432abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson EmitBlock(WasMutated); 4442abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::Value *V = 4452abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson Builder.CreateBitCast(Collection, 4462abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson ConvertType(getContext().getObjCIdType()), 4472abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson "tmp"); 448c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Builder.CreateCall(EnumerationMutationFn, V); 4492abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4502abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson EmitBlock(WasNotMutated); 4512abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 452f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *StateItemsPtr = 453f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateStructGEP(StatePtr, 1, "stateitems.ptr"); 454f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 455f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *Counter = Builder.CreateLoad(CounterPtr, "counter"); 456f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 457f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *EnumStateItems = Builder.CreateLoad(StateItemsPtr, 458f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson "stateitems"); 459f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 460f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *CurrentItemPtr = 461f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateGEP(EnumStateItems, Counter, "currentitem.ptr"); 462f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 463f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *CurrentItem = Builder.CreateLoad(CurrentItemPtr, "currentitem"); 464f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 465f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // Cast the item to the right type. 466f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson CurrentItem = Builder.CreateBitCast(CurrentItem, 467f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson ConvertType(ElementTy), "tmp"); 468f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 469f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson if (!DeclAddress) { 470f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson LValue LV = EmitLValue(cast<Expr>(S.getElement())); 471f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 472f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // Set the value to null. 473f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateStore(CurrentItem, LV.getAddress()); 474f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson } else 475f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateStore(CurrentItem, DeclAddress); 476f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 477f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // Increment the counter. 478f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Counter = Builder.CreateAdd(Counter, 479f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::ConstantInt::get(UnsignedLongLTy, 1)); 480f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateStore(Counter, CounterPtr); 481f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 482f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::BasicBlock *LoopEnd = llvm::BasicBlock::Create("loopend"); 483f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::BasicBlock *AfterBody = llvm::BasicBlock::Create("afterbody"); 484f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 485f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson BreakContinueStack.push_back(BreakContinue(LoopEnd, AfterBody)); 486f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 487f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson EmitStmt(S.getBody()); 488f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 489f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson BreakContinueStack.pop_back(); 490f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 491f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson EmitBlock(AfterBody); 492f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 493f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::BasicBlock *FetchMore = llvm::BasicBlock::Create("fetchmore"); 494f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 495f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *IsLess = Builder.CreateICmpULT(Counter, Limit, "isless"); 496fe2b2c08984f861f82339138302689480c658ecdDaniel Dunbar Builder.CreateCondBr(IsLess, LoopBody, FetchMore); 497f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 498f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // Fetch more elements. 499f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson EmitBlock(FetchMore); 500f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 501f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson CountRV = 502f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson CGM.getObjCRuntime().GenerateMessageSend(*this, 503f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson getContext().UnsignedLongTy, 504f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson FastEnumSel, 505f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Collection, false, Args); 506f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateStore(CountRV.getScalarVal(), LimitPtr); 507f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Limit = Builder.CreateLoad(LimitPtr); 508f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 509f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson IsZero = Builder.CreateICmpEQ(Limit, Zero, "iszero"); 510f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateCondBr(IsZero, NoElements, LoopStart); 511f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 512f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // No more elements. 513f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson EmitBlock(NoElements); 514f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 515f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson if (!DeclAddress) { 516f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // If the element was not a declaration, set it to be null. 517f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 518f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson LValue LV = EmitLValue(cast<Expr>(S.getElement())); 519f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 520f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // Set the value to null. 521f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateStore(llvm::Constant::getNullValue(ConvertType(ElementTy)), 522f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson LV.getAddress()); 523f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson } 524f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 525f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson EmitBlock(LoopEnd); 5263d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson} 5273d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson 52864d5d6c5903157c521af496479d06dc26032d718Anders Carlssonvoid CodeGenFunction::EmitObjCAtTryStmt(const ObjCAtTryStmt &S) 52964d5d6c5903157c521af496479d06dc26032d718Anders Carlsson{ 53064d5d6c5903157c521af496479d06dc26032d718Anders Carlsson CGM.getObjCRuntime().EmitTryStmt(*this, S); 53164d5d6c5903157c521af496479d06dc26032d718Anders Carlsson} 53264d5d6c5903157c521af496479d06dc26032d718Anders Carlsson 53364d5d6c5903157c521af496479d06dc26032d718Anders Carlssonvoid CodeGenFunction::EmitObjCAtThrowStmt(const ObjCAtThrowStmt &S) 53464d5d6c5903157c521af496479d06dc26032d718Anders Carlsson{ 53564d5d6c5903157c521af496479d06dc26032d718Anders Carlsson CGM.getObjCRuntime().EmitThrowStmt(*this, S); 53664d5d6c5903157c521af496479d06dc26032d718Anders Carlsson} 53764d5d6c5903157c521af496479d06dc26032d718Anders Carlsson 5382979ec73b4f974d85f2ce84167712177a44c6f09Ted KremenekCGObjCRuntime::~CGObjCRuntime() {} 539