CGObjC.cpp revision aaa63a761c6671a08e3f4f463435b72739fa194b
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. 2771fcec9abf2ce66d5e17a24bd021680e94e42f0dDaniel Dunbarllvm::Value *CodeGenFunction::EmitObjCStringLiteral(const ObjCStringLiteral *E) 2871fcec9abf2ce66d5e17a24bd021680e94e42f0dDaniel Dunbar{ 2971fcec9abf2ce66d5e17a24bd021680e94e42f0dDaniel Dunbar std::string String(E->getString()->getStrData(), 3071fcec9abf2ce66d5e17a24bd021680e94e42f0dDaniel Dunbar E->getString()->getByteLength()); 31bbce49b9e5c6d7f05926b89f8e6fd235ae01c250Daniel Dunbar llvm::Constant *C = CGM.getObjCRuntime().GenerateConstantString(String); 32ed7c618f849e2541b1d0288c43154937652c5b15Daniel Dunbar // FIXME: This bitcast should just be made an invariant on the Runtime. 33bbce49b9e5c6d7f05926b89f8e6fd235ae01c250Daniel Dunbar return llvm::ConstantExpr::getBitCast(C, ConvertType(E->getType())); 348fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner} 358fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner 368fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner/// Emit a selector. 378fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattnerllvm::Value *CodeGenFunction::EmitObjCSelectorExpr(const ObjCSelectorExpr *E) { 388fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner // Untyped selector. 398fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner // Note that this implementation allows for non-constant strings to be passed 408fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner // as arguments to @selector(). Currently, the only thing preventing this 418fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner // behaviour is the type checking in the front end. 42208ff5e8a073de2a5d15cbe03cab8a4c0d935e28Daniel Dunbar return CGM.getObjCRuntime().GetSelector(Builder, E->getSelector()); 438fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner} 448fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner 45ed7c618f849e2541b1d0288c43154937652c5b15Daniel Dunbarllvm::Value *CodeGenFunction::EmitObjCProtocolExpr(const ObjCProtocolExpr *E) { 46ed7c618f849e2541b1d0288c43154937652c5b15Daniel Dunbar // FIXME: This should pass the Decl not the name. 47ed7c618f849e2541b1d0288c43154937652c5b15Daniel Dunbar return CGM.getObjCRuntime().GenerateProtocolRef(Builder, E->getProtocol()); 48ed7c618f849e2541b1d0288c43154937652c5b15Daniel Dunbar} 498fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner 508fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner 518f2926b73ed635afecd020da787af6a837601a2bDaniel DunbarRValue CodeGenFunction::EmitObjCMessageExpr(const ObjCMessageExpr *E) { 528fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner // Only the lookup mechanism and first two arguments of the method 538fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner // implementation vary between runtimes. We can get the receiver and 548fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner // arguments in generic code. 558fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner 56208ff5e8a073de2a5d15cbe03cab8a4c0d935e28Daniel Dunbar CGObjCRuntime &Runtime = CGM.getObjCRuntime(); 578fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner const Expr *ReceiverExpr = E->getReceiver(); 588fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner bool isSuperMessage = false; 59f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar bool isClassMessage = false; 608fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner // Find the receiver 618fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner llvm::Value *Receiver; 628fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner if (!ReceiverExpr) { 63ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar const ObjCInterfaceDecl *OID = E->getClassInfo().first; 64ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar 65ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar // Very special case, super send in class method. The receiver is 66ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar // self (the class object) and the send uses super semantics. 67ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar if (!OID) { 6892e62b02226410bcad8584541b8f1ff4d35ebab9Chris Lattner assert(E->getClassName()->isStr("super") && 69ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar "Unexpected missing class interface in message send."); 70ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar isSuperMessage = true; 71f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar Receiver = LoadObjCSelf(); 72f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar } else { 73f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar Receiver = Runtime.GetClass(Builder, OID); 748fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner } 75f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar 76f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar isClassMessage = true; 77cd9b46e5442a3ef17f83f75177d8545cb5b3e2b9Douglas Gregor } else if (isa<ObjCSuperExpr>(E->getReceiver())) { 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. 140fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanianvoid CodeGenFunction::GenerateObjCGetter(ObjCImplementationDecl *IMP, 141fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian const ObjCPropertyImplDecl *PID) { 142c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar ObjCIvarDecl *Ivar = PID->getPropertyIvarDecl(); 143af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar const ObjCPropertyDecl *PD = PID->getPropertyDecl(); 144af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar ObjCMethodDecl *OMD = PD->getGetterMethodDecl(); 145af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar assert(OMD && "Invalid call to generate getter (empty method)"); 146af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar // FIXME: This is rather murky, we create this here since they will 147af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar // not have been created by Sema for us. 148fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian OMD->createImplicitParams(getContext(), IMP->getClassInterface()); 149af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar StartObjCMethod(OMD); 150af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 151c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // Determine if we should use an objc_getProperty call for 152447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian // this. Non-atomic properties are directly evaluated. 153447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian // atomic 'copy' and 'retain' properties are also directly 154447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian // evaluated in gc-only mode. 155c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar if (CGM.getLangOptions().getGCMode() != LangOptions::GCOnly && 156447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian !(PD->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_nonatomic) && 157447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian (PD->getSetterKind() == ObjCPropertyDecl::Copy || 158447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian PD->getSetterKind() == ObjCPropertyDecl::Retain)) { 159c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar llvm::Value *GetPropertyFn = 160c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar CGM.getObjCRuntime().GetPropertyGetFunction(); 161c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar 162c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar if (!GetPropertyFn) { 163c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar CGM.ErrorUnsupported(PID, "Obj-C getter requiring atomic copy"); 164c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar FinishFunction(); 165c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar return; 166c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar } 167c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar 168c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // Return (ivar-type) objc_getProperty((id) self, _cmd, offset, true). 169c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // FIXME: Can't this be simpler? This might even be worse than the 170c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // corresponding gcc code. 171c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar CodeGenTypes &Types = CGM.getTypes(); 172c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar ValueDecl *Cmd = OMD->getCmdDecl(); 173c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar llvm::Value *CmdVal = Builder.CreateLoad(LocalDeclMap[Cmd], "cmd"); 174c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar QualType IdTy = getContext().getObjCIdType(); 175c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar llvm::Value *SelfAsId = 176c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Builder.CreateBitCast(LoadObjCSelf(), Types.ConvertType(IdTy)); 177fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian llvm::Value *Offset = EmitIvarOffset(IMP->getClassInterface(), Ivar); 178c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar llvm::Value *True = 179c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar llvm::ConstantInt::get(Types.ConvertTypeForMem(getContext().BoolTy), 1); 180c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar CallArgList Args; 181c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Args.push_back(std::make_pair(RValue::get(SelfAsId), IdTy)); 182c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Args.push_back(std::make_pair(RValue::get(CmdVal), Cmd->getType())); 183c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Args.push_back(std::make_pair(RValue::get(Offset), getContext().LongTy)); 184c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Args.push_back(std::make_pair(RValue::get(True), getContext().BoolTy)); 185c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar RValue RV = EmitCall(GetPropertyFn, PD->getType(), Args); 186c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // We need to fix the type here. Ivars with copy & retain are 187c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // always objects so we don't need to worry about complex or 188c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // aggregates. 189c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar RV = RValue::get(Builder.CreateBitCast(RV.getScalarVal(), 190c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Types.ConvertType(PD->getType()))); 191c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar EmitReturnOfRValue(RV, PD->getType()); 192c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar } else { 1936010bca98a617a40951561c380a89afd261fb0acFariborz Jahanian LValue LV = EmitLValueForIvar(LoadObjCSelf(), Ivar, 0); 1946010bca98a617a40951561c380a89afd261fb0acFariborz Jahanian if (hasAggregateLLVMType(Ivar->getType())) { 1956010bca98a617a40951561c380a89afd261fb0acFariborz Jahanian EmitAggregateCopy(ReturnValue, LV.getAddress(), Ivar->getType()); 1966010bca98a617a40951561c380a89afd261fb0acFariborz Jahanian } 1976010bca98a617a40951561c380a89afd261fb0acFariborz Jahanian else 1986010bca98a617a40951561c380a89afd261fb0acFariborz Jahanian EmitReturnOfRValue(EmitLoadOfLValue(LV, Ivar->getType()), 1996010bca98a617a40951561c380a89afd261fb0acFariborz Jahanian PD->getType()); 200c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar } 201af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 202af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar FinishFunction(); 203af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar} 204af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 205af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// GenerateObjCSetter - Generate an Objective-C property setter 206af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// function. The given Decl must be either an ObjCCategoryImplDecl 207af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// or an ObjCImplementationDecl. 208fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanianvoid CodeGenFunction::GenerateObjCSetter(ObjCImplementationDecl *IMP, 209fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian const ObjCPropertyImplDecl *PID) { 21086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar ObjCIvarDecl *Ivar = PID->getPropertyIvarDecl(); 211af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar const ObjCPropertyDecl *PD = PID->getPropertyDecl(); 212af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar ObjCMethodDecl *OMD = PD->getSetterMethodDecl(); 213af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar assert(OMD && "Invalid call to generate setter (empty method)"); 214af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar // FIXME: This is rather murky, we create this here since they will 215af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar // not have been created by Sema for us. 216fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian OMD->createImplicitParams(getContext(), IMP->getClassInterface()); 217af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar StartObjCMethod(OMD); 218b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar 21986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar bool IsCopy = PD->getSetterKind() == ObjCPropertyDecl::Copy; 22086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar bool IsAtomic = 22186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar !(PD->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_nonatomic); 22286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar 22386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // Determine if we should use an objc_setProperty call for 22486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // this. Properties with 'copy' semantics always use it, as do 22586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // non-atomic properties with 'release' semantics as long as we are 22686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // not in gc-only mode. 22786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar if (IsCopy || 22886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar (CGM.getLangOptions().getGCMode() != LangOptions::GCOnly && 22986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar PD->getSetterKind() == ObjCPropertyDecl::Retain)) { 23086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::Value *SetPropertyFn = 23186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar CGM.getObjCRuntime().GetPropertySetFunction(); 23286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar 23386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar if (!SetPropertyFn) { 23486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar CGM.ErrorUnsupported(PID, "Obj-C getter requiring atomic copy"); 23586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar FinishFunction(); 23686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar return; 23786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar } 23886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar 23986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // Emit objc_setProperty((id) self, _cmd, offset, arg, 24086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // <is-atomic>, <is-copy>). 24186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // FIXME: Can't this be simpler? This might even be worse than the 24286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // corresponding gcc code. 24386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar CodeGenTypes &Types = CGM.getTypes(); 24486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar ValueDecl *Cmd = OMD->getCmdDecl(); 24586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::Value *CmdVal = Builder.CreateLoad(LocalDeclMap[Cmd], "cmd"); 24686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar QualType IdTy = getContext().getObjCIdType(); 24786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::Value *SelfAsId = 24886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Builder.CreateBitCast(LoadObjCSelf(), Types.ConvertType(IdTy)); 249fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian llvm::Value *Offset = EmitIvarOffset(IMP->getClassInterface(), Ivar); 25086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::Value *Arg = LocalDeclMap[OMD->getParamDecl(0)]; 25186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::Value *ArgAsId = 25286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Builder.CreateBitCast(Builder.CreateLoad(Arg, "arg"), 25386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Types.ConvertType(IdTy)); 25486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::Value *True = 25586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::ConstantInt::get(Types.ConvertTypeForMem(getContext().BoolTy), 1); 25686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::Value *False = 25786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::ConstantInt::get(Types.ConvertTypeForMem(getContext().BoolTy), 0); 25886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar CallArgList Args; 25986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Args.push_back(std::make_pair(RValue::get(SelfAsId), IdTy)); 26086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Args.push_back(std::make_pair(RValue::get(CmdVal), Cmd->getType())); 26186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Args.push_back(std::make_pair(RValue::get(Offset), getContext().LongTy)); 26286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Args.push_back(std::make_pair(RValue::get(ArgAsId), IdTy)); 26386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Args.push_back(std::make_pair(RValue::get(IsAtomic ? True : False), 26486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar getContext().BoolTy)); 26586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Args.push_back(std::make_pair(RValue::get(IsCopy ? True : False), 26686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar getContext().BoolTy)); 26786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar EmitCall(SetPropertyFn, PD->getType(), Args); 26886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar } else { 26986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar SourceLocation Loc = PD->getLocation(); 27086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar ValueDecl *Self = OMD->getSelfDecl(); 27186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar ObjCIvarDecl *Ivar = PID->getPropertyIvarDecl(); 27286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar DeclRefExpr Base(Self, Self->getType(), Loc); 27386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar ParmVarDecl *ArgDecl = OMD->getParamDecl(0); 27486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar DeclRefExpr Arg(ArgDecl, ArgDecl->getType(), Loc); 275aaa63a761c6671a08e3f4f463435b72739fa194bFariborz Jahanian ObjCInterfaceDecl *OI = IMP->getClassInterface(); 276aaa63a761c6671a08e3f4f463435b72739fa194bFariborz Jahanian FieldDecl *FD = OI->lookupFieldDeclForIvar(getContext(), Ivar); 277aaa63a761c6671a08e3f4f463435b72739fa194bFariborz Jahanian ObjCIvarRefExpr IvarRef(Ivar, FD, Ivar->getType(), Loc, &Base, 27886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar true, true); 27986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar BinaryOperator Assign(&IvarRef, &Arg, BinaryOperator::Assign, 28086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Ivar->getType(), Loc); 28186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar EmitStmt(&Assign); 28286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar } 283af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 284af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar FinishFunction(); 2854111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner} 2864111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner 287c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbarllvm::Value *CodeGenFunction::LoadObjCSelf() { 288b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar const ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(CurFuncDecl); 289b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar return Builder.CreateLoad(LocalDeclMap[OMD->getSelfDecl()], "self"); 2904111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner} 2914111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner 2925daf570d0ce027e18ed5f9d66e6b2a14a40b720dFariborz JahanianRValue CodeGenFunction::EmitObjCPropertyGet(const Expr *Exp) { 29343f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian // FIXME: Split it into two separate routines. 2945daf570d0ce027e18ed5f9d66e6b2a14a40b720dFariborz Jahanian if (const ObjCPropertyRefExpr *E = dyn_cast<ObjCPropertyRefExpr>(Exp)) { 2955daf570d0ce027e18ed5f9d66e6b2a14a40b720dFariborz Jahanian Selector S = E->getProperty()->getGetterName(); 2965daf570d0ce027e18ed5f9d66e6b2a14a40b720dFariborz Jahanian return CGM.getObjCRuntime(). 29743f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian GenerateMessageSend(*this, Exp->getType(), S, 29843f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian EmitScalarExpr(E->getBase()), 29943f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian false, CallArgList()); 30043f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian } 30143f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian else if (const ObjCKVCRefExpr *E = dyn_cast<ObjCKVCRefExpr>(Exp)) { 30243f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian Selector S = E->getGetterMethod()->getSelector(); 30343f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian return CGM.getObjCRuntime(). 30443f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian GenerateMessageSend(*this, Exp->getType(), S, 30543f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian EmitScalarExpr(E->getBase()), 30643f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian false, CallArgList()); 3075daf570d0ce027e18ed5f9d66e6b2a14a40b720dFariborz Jahanian } 30843f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian else 30943f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian assert (0 && "bad expression node in EmitObjCPropertyGet"); 3109c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar} 3119c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar 31243f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanianvoid CodeGenFunction::EmitObjCPropertySet(const Expr *Exp, 31385c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar RValue Src) { 31443f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian // FIXME: Split it into two separate routines. 31543f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian if (const ObjCPropertyRefExpr *E = dyn_cast<ObjCPropertyRefExpr>(Exp)) { 31643f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian Selector S = E->getProperty()->getSetterName(); 31743f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian CallArgList Args; 31843f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian Args.push_back(std::make_pair(Src, E->getType())); 31943f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian CGM.getObjCRuntime().GenerateMessageSend(*this, getContext().VoidTy, S, 32043f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian EmitScalarExpr(E->getBase()), 32143f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian false, Args); 32243f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian } 32343f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian else if (const ObjCKVCRefExpr *E = dyn_cast<ObjCKVCRefExpr>(Exp)) { 32443f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian Selector S = E->getSetterMethod()->getSelector(); 32543f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian CallArgList Args; 32643f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian Args.push_back(std::make_pair(Src, E->getType())); 32743f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian CGM.getObjCRuntime().GenerateMessageSend(*this, getContext().VoidTy, S, 32843f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian EmitScalarExpr(E->getBase()), 32943f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian false, Args); 33043f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian } 33143f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian else 33243f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian assert (0 && "bad expression node in EmitObjCPropertySet"); 33385c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar} 33485c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar 3353d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlssonvoid CodeGenFunction::EmitObjCForCollectionStmt(const ObjCForCollectionStmt &S) 3363d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson{ 337c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar llvm::Function *EnumerationMutationFn = 338c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar CGM.getObjCRuntime().EnumerationMutationFunction(); 339f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *DeclAddress; 340f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson QualType ElementTy; 341f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 342c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar if (!EnumerationMutationFn) { 343c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar CGM.ErrorUnsupported(&S, "Obj-C fast enumeration for this runtime"); 344c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar return; 345c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar } 346c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar 347f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson if (const DeclStmt *SD = dyn_cast<DeclStmt>(S.getElement())) { 348f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson EmitStmt(SD); 349a448fb2da03ece39978784793eea68760e8205a1Daniel Dunbar assert(HaveInsertPoint() && "DeclStmt destroyed insert point!"); 35039741cecde917affbcbdfb2942ff1a9eae8f3488Ted Kremenek const ScopedDecl* D = SD->getSolitaryDecl(); 35139741cecde917affbcbdfb2942ff1a9eae8f3488Ted Kremenek ElementTy = cast<ValueDecl>(D)->getType(); 35239741cecde917affbcbdfb2942ff1a9eae8f3488Ted Kremenek DeclAddress = LocalDeclMap[D]; 353f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson } else { 354f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson ElementTy = cast<Expr>(S.getElement())->getType(); 355f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson DeclAddress = 0; 356f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson } 357f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 358f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // Fast enumeration state. 359f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson QualType StateTy = getContext().getObjCFastEnumerationStateType(); 360f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::AllocaInst *StatePtr = CreateTempAlloca(ConvertType(StateTy), 361f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson "state.ptr"); 362f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson StatePtr->setAlignment(getContext().getTypeAlign(StateTy) >> 3); 3632abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson EmitMemSetToZero(StatePtr, StateTy); 364f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 365f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // Number of elements in the items array. 3662abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson static const unsigned NumItems = 16; 367f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 368f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // Get selector 369f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::SmallVector<IdentifierInfo*, 3> II; 370f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson II.push_back(&CGM.getContext().Idents.get("countByEnumeratingWithState")); 371f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson II.push_back(&CGM.getContext().Idents.get("objects")); 372f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson II.push_back(&CGM.getContext().Idents.get("count")); 373f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Selector FastEnumSel = CGM.getContext().Selectors.getSelector(II.size(), 374f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson &II[0]); 375f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 376f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson QualType ItemsTy = 377f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson getContext().getConstantArrayType(getContext().getObjCIdType(), 378f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::APInt(32, NumItems), 379f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson ArrayType::Normal, 0); 380f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *ItemsPtr = CreateTempAlloca(ConvertType(ItemsTy), "items.ptr"); 381f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 382f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *Collection = EmitScalarExpr(S.getCollection()); 383f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 384f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson CallArgList Args; 38546f45b9bec4a265ad8400a538e5ec3a5683617f1Daniel Dunbar Args.push_back(std::make_pair(RValue::get(StatePtr), 386f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson getContext().getPointerType(StateTy))); 387f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 38846f45b9bec4a265ad8400a538e5ec3a5683617f1Daniel Dunbar Args.push_back(std::make_pair(RValue::get(ItemsPtr), 389f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson getContext().getPointerType(ItemsTy))); 390f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 391f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson const llvm::Type *UnsignedLongLTy = ConvertType(getContext().UnsignedLongTy); 392f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Constant *Count = llvm::ConstantInt::get(UnsignedLongLTy, NumItems); 39346f45b9bec4a265ad8400a538e5ec3a5683617f1Daniel Dunbar Args.push_back(std::make_pair(RValue::get(Count), 39446f45b9bec4a265ad8400a538e5ec3a5683617f1Daniel Dunbar getContext().UnsignedLongTy)); 395f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 396f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson RValue CountRV = 397f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson CGM.getObjCRuntime().GenerateMessageSend(*this, 398f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson getContext().UnsignedLongTy, 399f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson FastEnumSel, 400f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Collection, false, Args); 401f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 402f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *LimitPtr = CreateTempAlloca(UnsignedLongLTy, "limit.ptr"); 403f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateStore(CountRV.getScalarVal(), LimitPtr); 404f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 40555e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar llvm::BasicBlock *NoElements = createBasicBlock("noelements"); 40655e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar llvm::BasicBlock *SetStartMutations = createBasicBlock("setstartmutations"); 407f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 408f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *Limit = Builder.CreateLoad(LimitPtr); 409f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *Zero = llvm::Constant::getNullValue(UnsignedLongLTy); 410f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 411f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *IsZero = Builder.CreateICmpEQ(Limit, Zero, "iszero"); 4122abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson Builder.CreateCondBr(IsZero, NoElements, SetStartMutations); 413f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 4142abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson EmitBlock(SetStartMutations); 4152abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4162abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::Value *StartMutationsPtr = 4172abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson CreateTempAlloca(UnsignedLongLTy); 4182abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4192abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::Value *StateMutationsPtrPtr = 4202abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson Builder.CreateStructGEP(StatePtr, 2, "mutationsptr.ptr"); 4212abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::Value *StateMutationsPtr = Builder.CreateLoad(StateMutationsPtrPtr, 4222abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson "mutationsptr"); 4232abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4242abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::Value *StateMutations = Builder.CreateLoad(StateMutationsPtr, 4252abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson "mutations"); 4262abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4272abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson Builder.CreateStore(StateMutations, StartMutationsPtr); 4282abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 42955e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar llvm::BasicBlock *LoopStart = createBasicBlock("loopstart"); 430f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson EmitBlock(LoopStart); 431f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 432f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *CounterPtr = CreateTempAlloca(UnsignedLongLTy, "counter.ptr"); 433f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateStore(Zero, CounterPtr); 434f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 43555e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar llvm::BasicBlock *LoopBody = createBasicBlock("loopbody"); 436f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson EmitBlock(LoopBody); 437f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 4382abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson StateMutationsPtr = Builder.CreateLoad(StateMutationsPtrPtr, "mutationsptr"); 4392abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson StateMutations = Builder.CreateLoad(StateMutationsPtr, "statemutations"); 4402abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4412abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::Value *StartMutations = Builder.CreateLoad(StartMutationsPtr, 4422abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson "mutations"); 4432abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::Value *MutationsEqual = Builder.CreateICmpEQ(StateMutations, 4442abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson StartMutations, 4452abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson "tobool"); 4462abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4472abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 44855e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar llvm::BasicBlock *WasMutated = createBasicBlock("wasmutated"); 44955e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar llvm::BasicBlock *WasNotMutated = createBasicBlock("wasnotmutated"); 4502abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4512abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson Builder.CreateCondBr(MutationsEqual, WasNotMutated, WasMutated); 4522abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4532abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson EmitBlock(WasMutated); 4542abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::Value *V = 4552abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson Builder.CreateBitCast(Collection, 4562abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson ConvertType(getContext().getObjCIdType()), 4572abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson "tmp"); 458c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Builder.CreateCall(EnumerationMutationFn, V); 4592abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4602abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson EmitBlock(WasNotMutated); 4612abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 462f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *StateItemsPtr = 463f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateStructGEP(StatePtr, 1, "stateitems.ptr"); 464f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 465f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *Counter = Builder.CreateLoad(CounterPtr, "counter"); 466f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 467f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *EnumStateItems = Builder.CreateLoad(StateItemsPtr, 468f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson "stateitems"); 469f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 470f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *CurrentItemPtr = 471f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateGEP(EnumStateItems, Counter, "currentitem.ptr"); 472f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 473f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *CurrentItem = Builder.CreateLoad(CurrentItemPtr, "currentitem"); 474f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 475f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // Cast the item to the right type. 476f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson CurrentItem = Builder.CreateBitCast(CurrentItem, 477f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson ConvertType(ElementTy), "tmp"); 478f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 479f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson if (!DeclAddress) { 480f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson LValue LV = EmitLValue(cast<Expr>(S.getElement())); 481f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 482f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // Set the value to null. 483f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateStore(CurrentItem, LV.getAddress()); 484f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson } else 485f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateStore(CurrentItem, DeclAddress); 486f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 487f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // Increment the counter. 488f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Counter = Builder.CreateAdd(Counter, 489f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::ConstantInt::get(UnsignedLongLTy, 1)); 490f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateStore(Counter, CounterPtr); 491f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 49255e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar llvm::BasicBlock *LoopEnd = createBasicBlock("loopend"); 49355e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar llvm::BasicBlock *AfterBody = createBasicBlock("afterbody"); 494f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 495f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson BreakContinueStack.push_back(BreakContinue(LoopEnd, AfterBody)); 496f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 497f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson EmitStmt(S.getBody()); 498f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 499f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson BreakContinueStack.pop_back(); 500f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 501f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson EmitBlock(AfterBody); 502f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 50355e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar llvm::BasicBlock *FetchMore = createBasicBlock("fetchmore"); 504f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 505f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *IsLess = Builder.CreateICmpULT(Counter, Limit, "isless"); 506fe2b2c08984f861f82339138302689480c658ecdDaniel Dunbar Builder.CreateCondBr(IsLess, LoopBody, FetchMore); 507f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 508f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // Fetch more elements. 509f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson EmitBlock(FetchMore); 510f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 511f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson CountRV = 512f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson CGM.getObjCRuntime().GenerateMessageSend(*this, 513f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson getContext().UnsignedLongTy, 514f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson FastEnumSel, 515f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Collection, false, Args); 516f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateStore(CountRV.getScalarVal(), LimitPtr); 517f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Limit = Builder.CreateLoad(LimitPtr); 518f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 519f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson IsZero = Builder.CreateICmpEQ(Limit, Zero, "iszero"); 520f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateCondBr(IsZero, NoElements, LoopStart); 521f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 522f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // No more elements. 523f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson EmitBlock(NoElements); 524f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 525f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson if (!DeclAddress) { 526f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // If the element was not a declaration, set it to be null. 527f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 528f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson LValue LV = EmitLValue(cast<Expr>(S.getElement())); 529f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 530f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // Set the value to null. 531f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateStore(llvm::Constant::getNullValue(ConvertType(ElementTy)), 532f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson LV.getAddress()); 533f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson } 534f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 535f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson EmitBlock(LoopEnd); 5363d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson} 5373d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson 53864d5d6c5903157c521af496479d06dc26032d718Anders Carlssonvoid CodeGenFunction::EmitObjCAtTryStmt(const ObjCAtTryStmt &S) 53964d5d6c5903157c521af496479d06dc26032d718Anders Carlsson{ 540bd71be4683c195260d5245118b1e13e6b2e20504Fariborz Jahanian CGM.getObjCRuntime().EmitTryOrSynchronizedStmt(*this, S); 54164d5d6c5903157c521af496479d06dc26032d718Anders Carlsson} 54264d5d6c5903157c521af496479d06dc26032d718Anders Carlsson 54364d5d6c5903157c521af496479d06dc26032d718Anders Carlssonvoid CodeGenFunction::EmitObjCAtThrowStmt(const ObjCAtThrowStmt &S) 54464d5d6c5903157c521af496479d06dc26032d718Anders Carlsson{ 54564d5d6c5903157c521af496479d06dc26032d718Anders Carlsson CGM.getObjCRuntime().EmitThrowStmt(*this, S); 54664d5d6c5903157c521af496479d06dc26032d718Anders Carlsson} 54764d5d6c5903157c521af496479d06dc26032d718Anders Carlsson 54810cac6f7115b59a466bb8d2d51cdddeb38aadc37Chris Lattnervoid CodeGenFunction::EmitObjCAtSynchronizedStmt( 54910cac6f7115b59a466bb8d2d51cdddeb38aadc37Chris Lattner const ObjCAtSynchronizedStmt &S) 55010cac6f7115b59a466bb8d2d51cdddeb38aadc37Chris Lattner{ 551bd71be4683c195260d5245118b1e13e6b2e20504Fariborz Jahanian CGM.getObjCRuntime().EmitTryOrSynchronizedStmt(*this, S); 55210cac6f7115b59a466bb8d2d51cdddeb38aadc37Chris Lattner} 55310cac6f7115b59a466bb8d2d51cdddeb38aadc37Chris Lattner 5542979ec73b4f974d85f2ce84167712177a44c6f09Ted KremenekCGObjCRuntime::~CGObjCRuntime() {} 555