CGObjC.cpp revision 55e874299f2ad827646a4ca9ea38c402aaeb38c9
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; 75cd9b46e5442a3ef17f83f75177d8545cb5b3e2b9Douglas Gregor } else if (isa<ObjCSuperExpr>(E->getReceiver())) { 768fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner isSuperMessage = true; 778fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner Receiver = LoadObjCSelf(); 788fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner } else { 792bedbf8549bb33293c6a53e5da6cbd8de290d014Daniel Dunbar Receiver = EmitScalarExpr(E->getReceiver()); 808fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner } 818fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner 8219cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar CallArgList Args; 8319cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar for (CallExpr::const_arg_iterator i = E->arg_begin(), e = E->arg_end(); 8419cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar i != e; ++i) 8546f45b9bec4a265ad8400a538e5ec3a5683617f1Daniel Dunbar Args.push_back(std::make_pair(EmitAnyExprToTemp(*i), (*i)->getType())); 8619cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar 878fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner if (isSuperMessage) { 889384c768e93f270118a30ce96546083a666da284Chris Lattner // super is only valid in an Objective-C method 899384c768e93f270118a30ce96546083a666da284Chris Lattner const ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(CurFuncDecl); 907f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar return Runtime.GenerateMessageSendSuper(*this, E->getType(), 917f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar E->getSelector(), 92f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar OMD->getClassInterface(), 93f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar Receiver, 9419cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar isClassMessage, 9519cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar Args); 968fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner } 977f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar return Runtime.GenerateMessageSend(*this, E->getType(), E->getSelector(), 987f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar Receiver, isClassMessage, Args); 995508518a2702b00be3b15a26d772bde968972f54Anders Carlsson} 1005508518a2702b00be3b15a26d772bde968972f54Anders Carlsson 101af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// StartObjCMethod - Begin emission of an ObjCMethod. This generates 102af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// the LLVM function and sets the other context used by 103af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// CodeGenFunction. 104af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbarvoid CodeGenFunction::StartObjCMethod(const ObjCMethodDecl *OMD) { 1057c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar FunctionArgList Args; 1067c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar llvm::Function *Fn = CGM.getObjCRuntime().GenerateMethod(OMD); 107f80519b919a348db004fba18530706314d1ebfb5Daniel Dunbar 1087c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar CGM.SetMethodAttributes(OMD, Fn); 1094111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner 1107c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar Args.push_back(std::make_pair(OMD->getSelfDecl(), 1117c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar OMD->getSelfDecl()->getType())); 1127c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar Args.push_back(std::make_pair(OMD->getCmdDecl(), 1137c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar OMD->getCmdDecl()->getType())); 1144111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner 1157c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar for (unsigned i = 0, e = OMD->getNumParams(); i != e; ++i) { 1167c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar ParmVarDecl *IPD = OMD->getParamDecl(i); 1177c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar Args.push_back(std::make_pair(IPD, IPD->getType())); 1184111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner } 119b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar 1202284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar StartFunction(OMD, OMD->getResultType(), Fn, Args, OMD->getLocEnd()); 121af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar} 122af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 123af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// Generate an Objective-C method. An Objective-C method is a C function with 124af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// its pointer, name, and types registered in the class struture. 125af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbarvoid CodeGenFunction::GenerateObjCMethod(const ObjCMethodDecl *OMD) { 126af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar StartObjCMethod(OMD); 127af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar EmitStmt(OMD->getBody()); 1282284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar FinishFunction(cast<CompoundStmt>(OMD->getBody())->getRBracLoc()); 129af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar} 130af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 131af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar// FIXME: I wasn't sure about the synthesis approach. If we end up 132af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar// generating an AST for the whole body we can just fall back to 133af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar// having a GenerateFunction which takes the body Stmt. 134af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 135af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// GenerateObjCGetter - Generate an Objective-C property getter 136af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// function. The given Decl must be either an ObjCCategoryImplDecl 137af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// or an ObjCImplementationDecl. 138af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbarvoid CodeGenFunction::GenerateObjCGetter(const ObjCPropertyImplDecl *PID) { 139c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar ObjCIvarDecl *Ivar = PID->getPropertyIvarDecl(); 140af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar const ObjCPropertyDecl *PD = PID->getPropertyDecl(); 141af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar ObjCMethodDecl *OMD = PD->getGetterMethodDecl(); 142af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar assert(OMD && "Invalid call to generate getter (empty method)"); 143af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar // FIXME: This is rather murky, we create this here since they will 144af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar // not have been created by Sema for us. 145af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar OMD->createImplicitParams(getContext()); 146af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar StartObjCMethod(OMD); 147af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 148c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // Determine if we should use an objc_getProperty call for 149c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // this. Non-atomic and properties with assign semantics are 150c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // directly evaluated, and in gc-only mode we don't need it at all. 151c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar if (CGM.getLangOptions().getGCMode() != LangOptions::GCOnly && 152c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar PD->getSetterKind() != ObjCPropertyDecl::Assign && 153c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar !(PD->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_nonatomic)) { 154c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar llvm::Value *GetPropertyFn = 155c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar CGM.getObjCRuntime().GetPropertyGetFunction(); 156c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar 157c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar if (!GetPropertyFn) { 158c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar CGM.ErrorUnsupported(PID, "Obj-C getter requiring atomic copy"); 159c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar FinishFunction(); 160c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar return; 161c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar } 162c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar 163c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // Return (ivar-type) objc_getProperty((id) self, _cmd, offset, true). 164c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // FIXME: Can't this be simpler? This might even be worse than the 165c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // corresponding gcc code. 166c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar CodeGenTypes &Types = CGM.getTypes(); 167c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar ValueDecl *Cmd = OMD->getCmdDecl(); 168c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar llvm::Value *CmdVal = Builder.CreateLoad(LocalDeclMap[Cmd], "cmd"); 169c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar QualType IdTy = getContext().getObjCIdType(); 170c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar llvm::Value *SelfAsId = 171c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Builder.CreateBitCast(LoadObjCSelf(), Types.ConvertType(IdTy)); 172c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar llvm::Value *Offset = EmitIvarOffset(OMD->getClassInterface(), Ivar); 173c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar llvm::Value *True = 174c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar llvm::ConstantInt::get(Types.ConvertTypeForMem(getContext().BoolTy), 1); 175c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar CallArgList Args; 176c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Args.push_back(std::make_pair(RValue::get(SelfAsId), IdTy)); 177c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Args.push_back(std::make_pair(RValue::get(CmdVal), Cmd->getType())); 178c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Args.push_back(std::make_pair(RValue::get(Offset), getContext().LongTy)); 179c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Args.push_back(std::make_pair(RValue::get(True), getContext().BoolTy)); 180c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar RValue RV = EmitCall(GetPropertyFn, PD->getType(), Args); 181c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // We need to fix the type here. Ivars with copy & retain are 182c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // always objects so we don't need to worry about complex or 183c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // aggregates. 184c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar RV = RValue::get(Builder.CreateBitCast(RV.getScalarVal(), 185c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Types.ConvertType(PD->getType()))); 186c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar EmitReturnOfRValue(RV, PD->getType()); 187c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar } else { 188c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar EmitReturnOfRValue(EmitLoadOfLValue(EmitLValueForIvar(LoadObjCSelf(), 189c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Ivar, 0), 190c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Ivar->getType()), 191c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar PD->getType()); 192c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar } 193af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 194af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar FinishFunction(); 195af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar} 196af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 197af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// GenerateObjCSetter - Generate an Objective-C property setter 198af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// function. The given Decl must be either an ObjCCategoryImplDecl 199af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// or an ObjCImplementationDecl. 200af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbarvoid CodeGenFunction::GenerateObjCSetter(const ObjCPropertyImplDecl *PID) { 20186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar ObjCIvarDecl *Ivar = PID->getPropertyIvarDecl(); 202af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar const ObjCPropertyDecl *PD = PID->getPropertyDecl(); 203af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar ObjCMethodDecl *OMD = PD->getSetterMethodDecl(); 204af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar assert(OMD && "Invalid call to generate setter (empty method)"); 205af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar // FIXME: This is rather murky, we create this here since they will 206af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar // not have been created by Sema for us. 207af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar OMD->createImplicitParams(getContext()); 208af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar StartObjCMethod(OMD); 209b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar 21086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar bool IsCopy = PD->getSetterKind() == ObjCPropertyDecl::Copy; 21186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar bool IsAtomic = 21286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar !(PD->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_nonatomic); 21386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar 21486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // Determine if we should use an objc_setProperty call for 21586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // this. Properties with 'copy' semantics always use it, as do 21686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // non-atomic properties with 'release' semantics as long as we are 21786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // not in gc-only mode. 21886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar if (IsCopy || 21986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar (CGM.getLangOptions().getGCMode() != LangOptions::GCOnly && 22086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar PD->getSetterKind() == ObjCPropertyDecl::Retain)) { 22186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::Value *SetPropertyFn = 22286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar CGM.getObjCRuntime().GetPropertySetFunction(); 22386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar 22486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar if (!SetPropertyFn) { 22586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar CGM.ErrorUnsupported(PID, "Obj-C getter requiring atomic copy"); 22686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar FinishFunction(); 22786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar return; 22886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar } 22986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar 23086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // Emit objc_setProperty((id) self, _cmd, offset, arg, 23186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // <is-atomic>, <is-copy>). 23286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // FIXME: Can't this be simpler? This might even be worse than the 23386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // corresponding gcc code. 23486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar CodeGenTypes &Types = CGM.getTypes(); 23586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar ValueDecl *Cmd = OMD->getCmdDecl(); 23686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::Value *CmdVal = Builder.CreateLoad(LocalDeclMap[Cmd], "cmd"); 23786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar QualType IdTy = getContext().getObjCIdType(); 23886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::Value *SelfAsId = 23986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Builder.CreateBitCast(LoadObjCSelf(), Types.ConvertType(IdTy)); 24086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::Value *Offset = EmitIvarOffset(OMD->getClassInterface(), Ivar); 24186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::Value *Arg = LocalDeclMap[OMD->getParamDecl(0)]; 24286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::Value *ArgAsId = 24386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Builder.CreateBitCast(Builder.CreateLoad(Arg, "arg"), 24486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Types.ConvertType(IdTy)); 24586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::Value *True = 24686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::ConstantInt::get(Types.ConvertTypeForMem(getContext().BoolTy), 1); 24786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::Value *False = 24886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::ConstantInt::get(Types.ConvertTypeForMem(getContext().BoolTy), 0); 24986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar CallArgList Args; 25086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Args.push_back(std::make_pair(RValue::get(SelfAsId), IdTy)); 25186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Args.push_back(std::make_pair(RValue::get(CmdVal), Cmd->getType())); 25286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Args.push_back(std::make_pair(RValue::get(Offset), getContext().LongTy)); 25386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Args.push_back(std::make_pair(RValue::get(ArgAsId), IdTy)); 25486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Args.push_back(std::make_pair(RValue::get(IsAtomic ? True : False), 25586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar getContext().BoolTy)); 25686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Args.push_back(std::make_pair(RValue::get(IsCopy ? True : False), 25786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar getContext().BoolTy)); 25886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar EmitCall(SetPropertyFn, PD->getType(), Args); 25986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar } else { 26086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar SourceLocation Loc = PD->getLocation(); 26186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar ValueDecl *Self = OMD->getSelfDecl(); 26286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar ObjCIvarDecl *Ivar = PID->getPropertyIvarDecl(); 26386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar DeclRefExpr Base(Self, Self->getType(), Loc); 26486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar ParmVarDecl *ArgDecl = OMD->getParamDecl(0); 26586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar DeclRefExpr Arg(ArgDecl, ArgDecl->getType(), Loc); 26686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar ObjCIvarRefExpr IvarRef(Ivar, Ivar->getType(), Loc, &Base, 26786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar true, true); 26886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar BinaryOperator Assign(&IvarRef, &Arg, BinaryOperator::Assign, 26986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Ivar->getType(), Loc); 27086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar EmitStmt(&Assign); 27186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar } 272af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 273af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar FinishFunction(); 2744111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner} 2754111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner 276c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbarllvm::Value *CodeGenFunction::LoadObjCSelf() { 277b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar const ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(CurFuncDecl); 278b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar return Builder.CreateLoad(LocalDeclMap[OMD->getSelfDecl()], "self"); 2794111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner} 2804111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner 2819c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel DunbarRValue CodeGenFunction::EmitObjCPropertyGet(const ObjCPropertyRefExpr *E) { 2829c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar // Determine getter selector. 2839c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar Selector S; 284e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar if (E->getKind() == ObjCPropertyRefExpr::MethodRef) { 285e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar S = E->getGetterMethod()->getSelector(); 2869c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar } else { 287e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar S = E->getProperty()->getGetterName(); 2889c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar } 2899c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar 2907f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar return CGM.getObjCRuntime(). 2917f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar GenerateMessageSend(*this, E->getType(), S, 2927f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar EmitScalarExpr(E->getBase()), 2937f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar false, CallArgList()); 2949c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar} 2959c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar 29685c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbarvoid CodeGenFunction::EmitObjCPropertySet(const ObjCPropertyRefExpr *E, 29785c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar RValue Src) { 2987f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar Selector S; 299e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar if (E->getKind() == ObjCPropertyRefExpr::MethodRef) { 300e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar ObjCMethodDecl *Setter = E->getSetterMethod(); 301e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar 302e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar if (Setter) { 303e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar S = Setter->getSelector(); 304e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar } else { 305e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar // FIXME: This should be diagnosed by sema. 306e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar SourceRange Range = E->getSourceRange(); 307e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar CGM.getDiags().Report(getContext().getFullLoc(E->getLocStart()), 308e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar diag::err_typecheck_assign_const, 0, 0, 309e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar &Range, 1); 310e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar return; 311e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar } 3127f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar } else { 313e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar S = E->getProperty()->getSetterName(); 3147f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar } 3157f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar 3167f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar CallArgList Args; 31746f45b9bec4a265ad8400a538e5ec3a5683617f1Daniel Dunbar Args.push_back(std::make_pair(Src, E->getType())); 3187f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar CGM.getObjCRuntime().GenerateMessageSend(*this, getContext().VoidTy, S, 3197f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar EmitScalarExpr(E->getBase()), 3207f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar false, Args); 32185c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar} 32285c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar 3233d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlssonvoid CodeGenFunction::EmitObjCForCollectionStmt(const ObjCForCollectionStmt &S) 3243d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson{ 325c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar llvm::Function *EnumerationMutationFn = 326c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar CGM.getObjCRuntime().EnumerationMutationFunction(); 327f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *DeclAddress; 328f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson QualType ElementTy; 329f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 330c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar if (!EnumerationMutationFn) { 331c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar CGM.ErrorUnsupported(&S, "Obj-C fast enumeration for this runtime"); 332c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar return; 333c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar } 334c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar 335f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson if (const DeclStmt *SD = dyn_cast<DeclStmt>(S.getElement())) { 336f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson EmitStmt(SD); 33739741cecde917affbcbdfb2942ff1a9eae8f3488Ted Kremenek const ScopedDecl* D = SD->getSolitaryDecl(); 33839741cecde917affbcbdfb2942ff1a9eae8f3488Ted Kremenek ElementTy = cast<ValueDecl>(D)->getType(); 33939741cecde917affbcbdfb2942ff1a9eae8f3488Ted Kremenek DeclAddress = LocalDeclMap[D]; 340f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson } else { 341f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson ElementTy = cast<Expr>(S.getElement())->getType(); 342f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson DeclAddress = 0; 343f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson } 344f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 345f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // Fast enumeration state. 346f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson QualType StateTy = getContext().getObjCFastEnumerationStateType(); 347f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::AllocaInst *StatePtr = CreateTempAlloca(ConvertType(StateTy), 348f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson "state.ptr"); 349f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson StatePtr->setAlignment(getContext().getTypeAlign(StateTy) >> 3); 3502abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson EmitMemSetToZero(StatePtr, StateTy); 351f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 352f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // Number of elements in the items array. 3532abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson static const unsigned NumItems = 16; 354f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 355f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // Get selector 356f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::SmallVector<IdentifierInfo*, 3> II; 357f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson II.push_back(&CGM.getContext().Idents.get("countByEnumeratingWithState")); 358f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson II.push_back(&CGM.getContext().Idents.get("objects")); 359f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson II.push_back(&CGM.getContext().Idents.get("count")); 360f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Selector FastEnumSel = CGM.getContext().Selectors.getSelector(II.size(), 361f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson &II[0]); 362f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 363f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson QualType ItemsTy = 364f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson getContext().getConstantArrayType(getContext().getObjCIdType(), 365f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::APInt(32, NumItems), 366f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson ArrayType::Normal, 0); 367f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *ItemsPtr = CreateTempAlloca(ConvertType(ItemsTy), "items.ptr"); 368f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 369f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *Collection = EmitScalarExpr(S.getCollection()); 370f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 371f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson CallArgList Args; 37246f45b9bec4a265ad8400a538e5ec3a5683617f1Daniel Dunbar Args.push_back(std::make_pair(RValue::get(StatePtr), 373f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson getContext().getPointerType(StateTy))); 374f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 37546f45b9bec4a265ad8400a538e5ec3a5683617f1Daniel Dunbar Args.push_back(std::make_pair(RValue::get(ItemsPtr), 376f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson getContext().getPointerType(ItemsTy))); 377f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 378f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson const llvm::Type *UnsignedLongLTy = ConvertType(getContext().UnsignedLongTy); 379f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Constant *Count = llvm::ConstantInt::get(UnsignedLongLTy, NumItems); 38046f45b9bec4a265ad8400a538e5ec3a5683617f1Daniel Dunbar Args.push_back(std::make_pair(RValue::get(Count), 38146f45b9bec4a265ad8400a538e5ec3a5683617f1Daniel Dunbar getContext().UnsignedLongTy)); 382f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 383f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson RValue CountRV = 384f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson CGM.getObjCRuntime().GenerateMessageSend(*this, 385f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson getContext().UnsignedLongTy, 386f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson FastEnumSel, 387f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Collection, false, Args); 388f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 389f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *LimitPtr = CreateTempAlloca(UnsignedLongLTy, "limit.ptr"); 390f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateStore(CountRV.getScalarVal(), LimitPtr); 391f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 39255e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar llvm::BasicBlock *NoElements = createBasicBlock("noelements"); 39355e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar llvm::BasicBlock *SetStartMutations = createBasicBlock("setstartmutations"); 394f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 395f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *Limit = Builder.CreateLoad(LimitPtr); 396f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *Zero = llvm::Constant::getNullValue(UnsignedLongLTy); 397f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 398f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *IsZero = Builder.CreateICmpEQ(Limit, Zero, "iszero"); 3992abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson Builder.CreateCondBr(IsZero, NoElements, SetStartMutations); 400f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 4012abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson EmitBlock(SetStartMutations); 4022abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4032abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::Value *StartMutationsPtr = 4042abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson CreateTempAlloca(UnsignedLongLTy); 4052abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4062abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::Value *StateMutationsPtrPtr = 4072abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson Builder.CreateStructGEP(StatePtr, 2, "mutationsptr.ptr"); 4082abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::Value *StateMutationsPtr = Builder.CreateLoad(StateMutationsPtrPtr, 4092abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson "mutationsptr"); 4102abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4112abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::Value *StateMutations = Builder.CreateLoad(StateMutationsPtr, 4122abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson "mutations"); 4132abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4142abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson Builder.CreateStore(StateMutations, StartMutationsPtr); 4152abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 41655e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar llvm::BasicBlock *LoopStart = createBasicBlock("loopstart"); 417f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson EmitBlock(LoopStart); 418f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 419f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *CounterPtr = CreateTempAlloca(UnsignedLongLTy, "counter.ptr"); 420f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateStore(Zero, CounterPtr); 421f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 42255e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar llvm::BasicBlock *LoopBody = createBasicBlock("loopbody"); 423f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson EmitBlock(LoopBody); 424f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 4252abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson StateMutationsPtr = Builder.CreateLoad(StateMutationsPtrPtr, "mutationsptr"); 4262abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson StateMutations = Builder.CreateLoad(StateMutationsPtr, "statemutations"); 4272abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4282abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::Value *StartMutations = Builder.CreateLoad(StartMutationsPtr, 4292abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson "mutations"); 4302abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::Value *MutationsEqual = Builder.CreateICmpEQ(StateMutations, 4312abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson StartMutations, 4322abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson "tobool"); 4332abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4342abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 43555e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar llvm::BasicBlock *WasMutated = createBasicBlock("wasmutated"); 43655e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar llvm::BasicBlock *WasNotMutated = createBasicBlock("wasnotmutated"); 4372abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4382abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson Builder.CreateCondBr(MutationsEqual, WasNotMutated, WasMutated); 4392abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4402abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson EmitBlock(WasMutated); 4412abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::Value *V = 4422abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson Builder.CreateBitCast(Collection, 4432abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson ConvertType(getContext().getObjCIdType()), 4442abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson "tmp"); 445c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Builder.CreateCall(EnumerationMutationFn, V); 4462abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 4472abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson EmitBlock(WasNotMutated); 4482abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 449f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *StateItemsPtr = 450f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateStructGEP(StatePtr, 1, "stateitems.ptr"); 451f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 452f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *Counter = Builder.CreateLoad(CounterPtr, "counter"); 453f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 454f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *EnumStateItems = Builder.CreateLoad(StateItemsPtr, 455f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson "stateitems"); 456f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 457f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *CurrentItemPtr = 458f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateGEP(EnumStateItems, Counter, "currentitem.ptr"); 459f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 460f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *CurrentItem = Builder.CreateLoad(CurrentItemPtr, "currentitem"); 461f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 462f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // Cast the item to the right type. 463f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson CurrentItem = Builder.CreateBitCast(CurrentItem, 464f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson ConvertType(ElementTy), "tmp"); 465f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 466f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson if (!DeclAddress) { 467f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson LValue LV = EmitLValue(cast<Expr>(S.getElement())); 468f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 469f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // Set the value to null. 470f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateStore(CurrentItem, LV.getAddress()); 471f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson } else 472f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateStore(CurrentItem, DeclAddress); 473f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 474f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // Increment the counter. 475f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Counter = Builder.CreateAdd(Counter, 476f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::ConstantInt::get(UnsignedLongLTy, 1)); 477f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateStore(Counter, CounterPtr); 478f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 47955e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar llvm::BasicBlock *LoopEnd = createBasicBlock("loopend"); 48055e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar llvm::BasicBlock *AfterBody = createBasicBlock("afterbody"); 481f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 482f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson BreakContinueStack.push_back(BreakContinue(LoopEnd, AfterBody)); 483f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 484f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson EmitStmt(S.getBody()); 485f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 486f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson BreakContinueStack.pop_back(); 487f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 488f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson EmitBlock(AfterBody); 489f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 49055e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar llvm::BasicBlock *FetchMore = createBasicBlock("fetchmore"); 491f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 492f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *IsLess = Builder.CreateICmpULT(Counter, Limit, "isless"); 493fe2b2c08984f861f82339138302689480c658ecdDaniel Dunbar Builder.CreateCondBr(IsLess, LoopBody, FetchMore); 494f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 495f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // Fetch more elements. 496f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson EmitBlock(FetchMore); 497f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 498f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson CountRV = 499f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson CGM.getObjCRuntime().GenerateMessageSend(*this, 500f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson getContext().UnsignedLongTy, 501f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson FastEnumSel, 502f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Collection, false, Args); 503f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateStore(CountRV.getScalarVal(), LimitPtr); 504f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Limit = Builder.CreateLoad(LimitPtr); 505f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 506f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson IsZero = Builder.CreateICmpEQ(Limit, Zero, "iszero"); 507f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateCondBr(IsZero, NoElements, LoopStart); 508f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 509f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // No more elements. 510f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson EmitBlock(NoElements); 511f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 512f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson if (!DeclAddress) { 513f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // If the element was not a declaration, set it to be null. 514f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 515f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson LValue LV = EmitLValue(cast<Expr>(S.getElement())); 516f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 517f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // Set the value to null. 518f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson Builder.CreateStore(llvm::Constant::getNullValue(ConvertType(ElementTy)), 519f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson LV.getAddress()); 520f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson } 521f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 522f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson EmitBlock(LoopEnd); 5233d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson} 5243d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson 52564d5d6c5903157c521af496479d06dc26032d718Anders Carlssonvoid CodeGenFunction::EmitObjCAtTryStmt(const ObjCAtTryStmt &S) 52664d5d6c5903157c521af496479d06dc26032d718Anders Carlsson{ 52764d5d6c5903157c521af496479d06dc26032d718Anders Carlsson CGM.getObjCRuntime().EmitTryStmt(*this, S); 52864d5d6c5903157c521af496479d06dc26032d718Anders Carlsson} 52964d5d6c5903157c521af496479d06dc26032d718Anders Carlsson 53064d5d6c5903157c521af496479d06dc26032d718Anders Carlssonvoid CodeGenFunction::EmitObjCAtThrowStmt(const ObjCAtThrowStmt &S) 53164d5d6c5903157c521af496479d06dc26032d718Anders Carlsson{ 53264d5d6c5903157c521af496479d06dc26032d718Anders Carlsson CGM.getObjCRuntime().EmitThrowStmt(*this, S); 53364d5d6c5903157c521af496479d06dc26032d718Anders Carlsson} 53464d5d6c5903157c521af496479d06dc26032d718Anders Carlsson 5352979ec73b4f974d85f2ce84167712177a44c6f09Ted KremenekCGObjCRuntime::~CGObjCRuntime() {} 536