CGObjC.cpp revision d26bc76c98006609002d9930f8840490e88ac5b5
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 14bcbd03ac0ac0890a436e1a179d3a285e914d41faDevang Patel#include "CGDebugInfo.h" 152979ec73b4f974d85f2ce84167712177a44c6f09Ted Kremenek#include "CGObjCRuntime.h" 165508518a2702b00be3b15a26d772bde968972f54Anders Carlsson#include "CodeGenFunction.h" 175508518a2702b00be3b15a26d772bde968972f54Anders Carlsson#include "CodeGenModule.h" 1885c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar#include "clang/AST/ASTContext.h" 19c4a1dea2dc56bd1357ec91b829a0b9e68229a13eDaniel Dunbar#include "clang/AST/DeclObjC.h" 2016f0049415ec596504891259e2a83e19871c0d52Chris Lattner#include "clang/AST/StmtObjC.h" 21e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar#include "clang/Basic/Diagnostic.h" 223d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson#include "llvm/ADT/STLExtras.h" 23c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar#include "llvm/Target/TargetData.h" 245508518a2702b00be3b15a26d772bde968972f54Anders Carlssonusing namespace clang; 255508518a2702b00be3b15a26d772bde968972f54Anders Carlssonusing namespace CodeGen; 265508518a2702b00be3b15a26d772bde968972f54Anders Carlsson 278fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner/// Emits an instance of NSConstantString representing the object. 281eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpllvm::Value *CodeGenFunction::EmitObjCStringLiteral(const ObjCStringLiteral *E) 2971fcec9abf2ce66d5e17a24bd021680e94e42f0dDaniel Dunbar{ 300d13f6fdbdd6f06e2449b8834dda53334abd399aDavid Chisnall llvm::Constant *C = 310d13f6fdbdd6f06e2449b8834dda53334abd399aDavid Chisnall CGM.getObjCRuntime().GenerateConstantString(E->getString()); 32ed7c618f849e2541b1d0288c43154937652c5b15Daniel Dunbar // FIXME: This bitcast should just be made an invariant on the Runtime. 333c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson 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. 426d5a1c28593443f3973ef38f8fa042d59182412dDaniel 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 51ef072fd2f3347cfd857d6eb787b245b950771430John McCallRValue CodeGenFunction::EmitObjCMessageExpr(const ObjCMessageExpr *E, 52ef072fd2f3347cfd857d6eb787b245b950771430John McCall ReturnValueSlot Return) { 538fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner // Only the lookup mechanism and first two arguments of the method 548fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner // implementation vary between runtimes. We can get the receiver and 558fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner // arguments in generic code. 561eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 57208ff5e8a073de2a5d15cbe03cab8a4c0d935e28Daniel Dunbar CGObjCRuntime &Runtime = CGM.getObjCRuntime(); 588fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner bool isSuperMessage = false; 59f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar bool isClassMessage = false; 60c6cd5fd3eae71f8841504a396563343cfaaf503eDavid Chisnall ObjCInterfaceDecl *OID = 0; 618fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner // Find the receiver 620b647a6ea18151149d624ab373e6fe0e819e4a9aDaniel Dunbar llvm::Value *Receiver = 0; 6304badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor switch (E->getReceiverKind()) { 6404badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor case ObjCMessageExpr::Instance: 6504badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor Receiver = EmitScalarExpr(E->getInstanceReceiver()); 6604badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor break; 671eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 6804badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor case ObjCMessageExpr::Class: { 693031c63f7b5b09d5f64609fa7a1922a05b520fa7John McCall const ObjCObjectType *ObjTy 703031c63f7b5b09d5f64609fa7a1922a05b520fa7John McCall = E->getClassReceiver()->getAs<ObjCObjectType>(); 713031c63f7b5b09d5f64609fa7a1922a05b520fa7John McCall assert(ObjTy && "Invalid Objective-C class message send"); 723031c63f7b5b09d5f64609fa7a1922a05b520fa7John McCall OID = ObjTy->getInterface(); 733031c63f7b5b09d5f64609fa7a1922a05b520fa7John McCall assert(OID && "Invalid Objective-C class message send"); 74c6cd5fd3eae71f8841504a396563343cfaaf503eDavid Chisnall Receiver = Runtime.GetClass(Builder, OID); 75f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar isClassMessage = true; 7604badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor break; 7704badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor } 7804badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor 7904badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor case ObjCMessageExpr::SuperInstance: 8004badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor Receiver = LoadObjCSelf(); 818fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner isSuperMessage = true; 8204badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor break; 8304badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor 8404badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor case ObjCMessageExpr::SuperClass: 858fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner Receiver = LoadObjCSelf(); 8604badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor isSuperMessage = true; 8704badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor isClassMessage = true; 8804badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor break; 898fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner } 908fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner 9119cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar CallArgList Args; 92131038e2125d98f1be0d9cb62561a7cede41bb44Anders Carlsson EmitCallArgs(Args, E->getMethodDecl(), E->arg_begin(), E->arg_end()); 931eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 947e70fb217dcdf96faf34df3e197c3831c86f8089Anders Carlsson QualType ResultType = 957e70fb217dcdf96faf34df3e197c3831c86f8089Anders Carlsson E->getMethodDecl() ? E->getMethodDecl()->getResultType() : E->getType(); 967e70fb217dcdf96faf34df3e197c3831c86f8089Anders Carlsson 978fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner if (isSuperMessage) { 989384c768e93f270118a30ce96546083a666da284Chris Lattner // super is only valid in an Objective-C method 999384c768e93f270118a30ce96546083a666da284Chris Lattner const ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(CurFuncDecl); 1007ce77920a35060f1c8dd72e541e42ce296ccd168Fariborz Jahanian bool isCategoryImpl = isa<ObjCCategoryImplDecl>(OMD->getDeclContext()); 1017e70fb217dcdf96faf34df3e197c3831c86f8089Anders Carlsson return Runtime.GenerateMessageSendSuper(*this, Return, ResultType, 1027f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar E->getSelector(), 103f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar OMD->getClassInterface(), 1047ce77920a35060f1c8dd72e541e42ce296ccd168Fariborz Jahanian isCategoryImpl, 105f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar Receiver, 10619cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar isClassMessage, 107d6c93d703541c992e06eb9a59a2d826a30da65b2Daniel Dunbar Args, 108d6c93d703541c992e06eb9a59a2d826a30da65b2Daniel Dunbar E->getMethodDecl()); 1098fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner } 110d6c93d703541c992e06eb9a59a2d826a30da65b2Daniel Dunbar 1117e70fb217dcdf96faf34df3e197c3831c86f8089Anders Carlsson return Runtime.GenerateMessageSend(*this, Return, ResultType, 112ef072fd2f3347cfd857d6eb787b245b950771430John McCall E->getSelector(), 113c6cd5fd3eae71f8841504a396563343cfaaf503eDavid Chisnall Receiver, Args, OID, 114df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian E->getMethodDecl()); 1155508518a2702b00be3b15a26d772bde968972f54Anders Carlsson} 1165508518a2702b00be3b15a26d772bde968972f54Anders Carlsson 117af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// StartObjCMethod - Begin emission of an ObjCMethod. This generates 118af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// the LLVM function and sets the other context used by 119af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// CodeGenFunction. 120679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanianvoid CodeGenFunction::StartObjCMethod(const ObjCMethodDecl *OMD, 121679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanian const ObjCContainerDecl *CD) { 122d26bc76c98006609002d9930f8840490e88ac5b5John McCall FunctionArgList args; 1234800ea6ff8017cf803c32a5fd63b94c0614014e3Devang Patel // Check if we should generate debug info for this method. 124aa11289f754d220c9c155b68a4f84cdcfcefef6aDevang Patel if (CGM.getModuleDebugInfo() && !OMD->hasAttr<NoDebugAttr>()) 125aa11289f754d220c9c155b68a4f84cdcfcefef6aDevang Patel DebugInfo = CGM.getModuleDebugInfo(); 1264800ea6ff8017cf803c32a5fd63b94c0614014e3Devang Patel 127679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanian llvm::Function *Fn = CGM.getObjCRuntime().GenerateMethod(OMD, CD); 128f80519b919a348db004fba18530706314d1ebfb5Daniel Dunbar 1290e4f40e1bbc4dce16bbb9870300a435419f1b3d5Daniel Dunbar const CGFunctionInfo &FI = CGM.getTypes().getFunctionInfo(OMD); 1300e4f40e1bbc4dce16bbb9870300a435419f1b3d5Daniel Dunbar CGM.SetInternalFunctionAttributes(OMD, Fn, FI); 1314111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner 132d26bc76c98006609002d9930f8840490e88ac5b5John McCall args.push_back(OMD->getSelfDecl()); 133d26bc76c98006609002d9930f8840490e88ac5b5John McCall args.push_back(OMD->getCmdDecl()); 1344111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner 13589951a86b594513c2a013532ed45d197413b1087Chris Lattner for (ObjCMethodDecl::param_iterator PI = OMD->param_begin(), 13689951a86b594513c2a013532ed45d197413b1087Chris Lattner E = OMD->param_end(); PI != E; ++PI) 137d26bc76c98006609002d9930f8840490e88ac5b5John McCall args.push_back(*PI); 138b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar 13914110477887e3dc168ffc6c191e72d705051f99ePeter Collingbourne CurGD = OMD; 14014110477887e3dc168ffc6c191e72d705051f99ePeter Collingbourne 141d26bc76c98006609002d9930f8840490e88ac5b5John McCall StartFunction(OMD, OMD->getResultType(), Fn, FI, args, OMD->getLocStart()); 142af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar} 143af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 1442846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanianvoid CodeGenFunction::GenerateObjCGetterBody(ObjCIvarDecl *Ivar, 1452846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian bool IsAtomic, bool IsStrong) { 1462846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian LValue LV = EmitLValueForIvar(TypeOfSelfObject(), LoadObjCSelf(), 1472846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian Ivar, 0); 1482846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian llvm::Value *GetCopyStructFn = 1492846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian CGM.getObjCRuntime().GetGetStructFunction(); 1502846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian CodeGenTypes &Types = CGM.getTypes(); 1512846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian // objc_copyStruct (ReturnValue, &structIvar, 1522846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian // sizeof (Type of Ivar), isAtomic, false); 1532846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian CallArgList Args; 1542846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian RValue RV = RValue::get(Builder.CreateBitCast(ReturnValue, 1552846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian Types.ConvertType(getContext().VoidPtrTy))); 1562846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian Args.push_back(std::make_pair(RV, getContext().VoidPtrTy)); 1572846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian RV = RValue::get(Builder.CreateBitCast(LV.getAddress(), 1582846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian Types.ConvertType(getContext().VoidPtrTy))); 1592846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian Args.push_back(std::make_pair(RV, getContext().VoidPtrTy)); 1602846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian // sizeof (Type of Ivar) 1612846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian CharUnits Size = getContext().getTypeSizeInChars(Ivar->getType()); 1622846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian llvm::Value *SizeVal = 1632846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian llvm::ConstantInt::get(Types.ConvertType(getContext().LongTy), 1642846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian Size.getQuantity()); 1652846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian Args.push_back(std::make_pair(RValue::get(SizeVal), 1662846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian getContext().LongTy)); 1672846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian llvm::Value *isAtomic = 1682846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy), 1692846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian IsAtomic ? 1 : 0); 1702846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian Args.push_back(std::make_pair(RValue::get(isAtomic), 1712846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian getContext().BoolTy)); 1722846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian llvm::Value *hasStrong = 1732846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy), 1742846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian IsStrong ? 1 : 0); 1752846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian Args.push_back(std::make_pair(RValue::get(hasStrong), 1762846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian getContext().BoolTy)); 1772846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian EmitCall(Types.getFunctionInfo(getContext().VoidTy, Args, 1782846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian FunctionType::ExtInfo()), 1792846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian GetCopyStructFn, ReturnValueSlot(), Args); 1802846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian} 1812846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian 182af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// Generate an Objective-C method. An Objective-C method is a C function with 1831eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump/// its pointer, name, and types registered in the class struture. 184af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbarvoid CodeGenFunction::GenerateObjCMethod(const ObjCMethodDecl *OMD) { 185679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanian StartObjCMethod(OMD, OMD->getClassInterface()); 1866fb0aee4f9dc261bbec72e1283ad8dc0557a6d96Argyrios Kyrtzidis EmitStmt(OMD->getBody()); 1876fb0aee4f9dc261bbec72e1283ad8dc0557a6d96Argyrios Kyrtzidis FinishFunction(OMD->getBodyRBrace()); 188af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar} 189af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 190f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump// FIXME: I wasn't sure about the synthesis approach. If we end up generating an 191f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump// AST for the whole body we can just fall back to having a GenerateFunction 192f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump// which takes the body Stmt. 193af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 194af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// GenerateObjCGetter - Generate an Objective-C property getter 195489034cf8bde09360e0089f401b2929597b125d8Steve Naroff/// function. The given Decl must be an ObjCImplementationDecl. @synthesize 196489034cf8bde09360e0089f401b2929597b125d8Steve Naroff/// is illegal within a category. 197fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanianvoid CodeGenFunction::GenerateObjCGetter(ObjCImplementationDecl *IMP, 198fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian const ObjCPropertyImplDecl *PID) { 199c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar ObjCIvarDecl *Ivar = PID->getPropertyIvarDecl(); 200af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar const ObjCPropertyDecl *PD = PID->getPropertyDecl(); 20115bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian bool IsAtomic = 20215bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian !(PD->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_nonatomic); 203af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar ObjCMethodDecl *OMD = PD->getGetterMethodDecl(); 204af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar assert(OMD && "Invalid call to generate getter (empty method)"); 205679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanian StartObjCMethod(OMD, IMP->getClassInterface()); 20615bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian 207c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // Determine if we should use an objc_getProperty call for 208447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian // this. Non-atomic properties are directly evaluated. 209447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian // atomic 'copy' and 'retain' properties are also directly 210447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian // evaluated in gc-only mode. 211c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar if (CGM.getLangOptions().getGCMode() != LangOptions::GCOnly && 21215bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian IsAtomic && 213447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian (PD->getSetterKind() == ObjCPropertyDecl::Copy || 214447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian PD->getSetterKind() == ObjCPropertyDecl::Retain)) { 2151eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *GetPropertyFn = 216c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar CGM.getObjCRuntime().GetPropertyGetFunction(); 2171eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 218c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar if (!GetPropertyFn) { 219c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar CGM.ErrorUnsupported(PID, "Obj-C getter requiring atomic copy"); 220c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar FinishFunction(); 221c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar return; 222c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar } 223c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar 224c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // Return (ivar-type) objc_getProperty((id) self, _cmd, offset, true). 225c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // FIXME: Can't this be simpler? This might even be worse than the 226c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // corresponding gcc code. 227c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar CodeGenTypes &Types = CGM.getTypes(); 228c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar ValueDecl *Cmd = OMD->getCmdDecl(); 229c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar llvm::Value *CmdVal = Builder.CreateLoad(LocalDeclMap[Cmd], "cmd"); 230c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar QualType IdTy = getContext().getObjCIdType(); 2311eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *SelfAsId = 232c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Builder.CreateBitCast(LoadObjCSelf(), Types.ConvertType(IdTy)); 233fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian llvm::Value *Offset = EmitIvarOffset(IMP->getClassInterface(), Ivar); 234c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar llvm::Value *True = 2354a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy), 1); 236c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar CallArgList Args; 237c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Args.push_back(std::make_pair(RValue::get(SelfAsId), IdTy)); 238c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Args.push_back(std::make_pair(RValue::get(CmdVal), Cmd->getType())); 239c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Args.push_back(std::make_pair(RValue::get(Offset), getContext().LongTy)); 240c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Args.push_back(std::make_pair(RValue::get(True), getContext().BoolTy)); 241e4be5a66072f7c7618071284c8d2a9c6d8e691cfDaniel Dunbar // FIXME: We shouldn't need to get the function info here, the 242e4be5a66072f7c7618071284c8d2a9c6d8e691cfDaniel Dunbar // runtime already should have computed it to build the function. 24304a67a6aa3dfdc92d57f7f8d93ba397348c868a4John McCall RValue RV = EmitCall(Types.getFunctionInfo(PD->getType(), Args, 244264ba48dc98f3f843935a485d5b086f7e0fdc4f1Rafael Espindola FunctionType::ExtInfo()), 245f3c47c9525153aea2de0ec4bd615b9cf2d81c103Anders Carlsson GetPropertyFn, ReturnValueSlot(), Args); 246c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // We need to fix the type here. Ivars with copy & retain are 247c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // always objects so we don't need to worry about complex or 248c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar // aggregates. 2491eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump RV = RValue::get(Builder.CreateBitCast(RV.getScalarVal(), 250c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar Types.ConvertType(PD->getType()))); 251c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar EmitReturnOfRValue(RV, PD->getType()); 252c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar } else { 2532846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian const llvm::Triple &Triple = getContext().Target.getTriple(); 2542846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian QualType IVART = Ivar->getType(); 2552846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian if (IsAtomic && 2562846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian IVART->isScalarType() && 2572846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian (Triple.getArch() == llvm::Triple::arm || 2582846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian Triple.getArch() == llvm::Triple::thumb) && 2592846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian (getContext().getTypeSizeInChars(IVART) 2602846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian > CharUnits::fromQuantity(4)) && 2612846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian CGM.getObjCRuntime().GetGetStructFunction()) { 2622846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian GenerateObjCGetterBody(Ivar, true, false); 2632846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian } 2642846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian else if (IVART->isAnyComplexType()) { 26597a73cd8e2b81f5aed9f59e07e7787e3fd3b8d00Fariborz Jahanian LValue LV = EmitLValueForIvar(TypeOfSelfObject(), LoadObjCSelf(), 26697a73cd8e2b81f5aed9f59e07e7787e3fd3b8d00Fariborz Jahanian Ivar, 0); 2671b23fe61cf4437668280212d0ad6cb7196f51529Fariborz Jahanian ComplexPairTy Pair = LoadComplexFromAddr(LV.getAddress(), 2681b23fe61cf4437668280212d0ad6cb7196f51529Fariborz Jahanian LV.isVolatileQualified()); 2691b23fe61cf4437668280212d0ad6cb7196f51529Fariborz Jahanian StoreComplexToAddr(Pair, ReturnValue, LV.isVolatileQualified()); 2701b23fe61cf4437668280212d0ad6cb7196f51529Fariborz Jahanian } 2712846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian else if (hasAggregateLLVMType(IVART)) { 27215bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian bool IsStrong = false; 2732846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian if ((IsAtomic || (IsStrong = IvarTypeWithAggrGCObjects(IVART))) 2740b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian && CurFnInfo->getReturnInfo().getKind() == ABIArgInfo::Indirect 2758fac25d33b13e25f512dd921d4d5a4b565f5d175David Chisnall && CGM.getObjCRuntime().GetGetStructFunction()) { 2762846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian GenerateObjCGetterBody(Ivar, IsAtomic, IsStrong); 2770b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian } 27897a73cd8e2b81f5aed9f59e07e7787e3fd3b8d00Fariborz Jahanian else { 27997a73cd8e2b81f5aed9f59e07e7787e3fd3b8d00Fariborz Jahanian if (PID->getGetterCXXConstructor()) { 28097a73cd8e2b81f5aed9f59e07e7787e3fd3b8d00Fariborz Jahanian ReturnStmt *Stmt = 28197a73cd8e2b81f5aed9f59e07e7787e3fd3b8d00Fariborz Jahanian new (getContext()) ReturnStmt(SourceLocation(), 2825077c3876beeaed32280af88244e8050078619a8Douglas Gregor PID->getGetterCXXConstructor(), 2835077c3876beeaed32280af88244e8050078619a8Douglas Gregor 0); 28497a73cd8e2b81f5aed9f59e07e7787e3fd3b8d00Fariborz Jahanian EmitReturnStmt(*Stmt); 28597a73cd8e2b81f5aed9f59e07e7787e3fd3b8d00Fariborz Jahanian } 28697a73cd8e2b81f5aed9f59e07e7787e3fd3b8d00Fariborz Jahanian else { 28797a73cd8e2b81f5aed9f59e07e7787e3fd3b8d00Fariborz Jahanian LValue LV = EmitLValueForIvar(TypeOfSelfObject(), LoadObjCSelf(), 28897a73cd8e2b81f5aed9f59e07e7787e3fd3b8d00Fariborz Jahanian Ivar, 0); 2892846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian EmitAggregateCopy(ReturnValue, LV.getAddress(), IVART); 29097a73cd8e2b81f5aed9f59e07e7787e3fd3b8d00Fariborz Jahanian } 29197a73cd8e2b81f5aed9f59e07e7787e3fd3b8d00Fariborz Jahanian } 2922846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian } 2932846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian else { 2942846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian LValue LV = EmitLValueForIvar(TypeOfSelfObject(), LoadObjCSelf(), 29597a73cd8e2b81f5aed9f59e07e7787e3fd3b8d00Fariborz Jahanian Ivar, 0); 2962846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian CodeGenTypes &Types = CGM.getTypes(); 2972846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian RValue RV = EmitLoadOfLValue(LV, IVART); 2982846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian RV = RValue::get(Builder.CreateBitCast(RV.getScalarVal(), 2992846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian Types.ConvertType(PD->getType()))); 3002846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian EmitReturnOfRValue(RV, PD->getType()); 301ed1d29d62595a83ccf6ef23eb2759d355206df2eFariborz Jahanian } 302c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar } 303af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 304af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar FinishFunction(); 305af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar} 306af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 3072846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanianvoid CodeGenFunction::GenerateObjCAtomicSetterBody(ObjCMethodDecl *OMD, 3082846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian ObjCIvarDecl *Ivar) { 3092846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian // objc_copyStruct (&structIvar, &Arg, 3102846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian // sizeof (struct something), true, false); 3112846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian llvm::Value *GetCopyStructFn = 3122846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian CGM.getObjCRuntime().GetSetStructFunction(); 3132846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian CodeGenTypes &Types = CGM.getTypes(); 3142846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian CallArgList Args; 3152846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian LValue LV = EmitLValueForIvar(TypeOfSelfObject(), LoadObjCSelf(), Ivar, 0); 3162846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian RValue RV = 3172846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian RValue::get(Builder.CreateBitCast(LV.getAddress(), 3182846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian Types.ConvertType(getContext().VoidPtrTy))); 3192846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian Args.push_back(std::make_pair(RV, getContext().VoidPtrTy)); 3202846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian llvm::Value *Arg = LocalDeclMap[*OMD->param_begin()]; 3212846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian llvm::Value *ArgAsPtrTy = 3222846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian Builder.CreateBitCast(Arg, 3232846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian Types.ConvertType(getContext().VoidPtrTy)); 3242846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian RV = RValue::get(ArgAsPtrTy); 3252846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian Args.push_back(std::make_pair(RV, getContext().VoidPtrTy)); 3262846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian // sizeof (Type of Ivar) 3272846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian CharUnits Size = getContext().getTypeSizeInChars(Ivar->getType()); 3282846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian llvm::Value *SizeVal = 3292846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian llvm::ConstantInt::get(Types.ConvertType(getContext().LongTy), 3302846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian Size.getQuantity()); 3312846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian Args.push_back(std::make_pair(RValue::get(SizeVal), 3322846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian getContext().LongTy)); 3332846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian llvm::Value *True = 3342846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy), 1); 3352846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian Args.push_back(std::make_pair(RValue::get(True), getContext().BoolTy)); 3362846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian llvm::Value *False = 3372846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy), 0); 3382846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian Args.push_back(std::make_pair(RValue::get(False), getContext().BoolTy)); 3392846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian EmitCall(Types.getFunctionInfo(getContext().VoidTy, Args, 3402846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian FunctionType::ExtInfo()), 3412846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian GetCopyStructFn, ReturnValueSlot(), Args); 3422846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian} 3432846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian 344af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// GenerateObjCSetter - Generate an Objective-C property setter 345489034cf8bde09360e0089f401b2929597b125d8Steve Naroff/// function. The given Decl must be an ObjCImplementationDecl. @synthesize 346489034cf8bde09360e0089f401b2929597b125d8Steve Naroff/// is illegal within a category. 347fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanianvoid CodeGenFunction::GenerateObjCSetter(ObjCImplementationDecl *IMP, 348fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian const ObjCPropertyImplDecl *PID) { 34986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar ObjCIvarDecl *Ivar = PID->getPropertyIvarDecl(); 350af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar const ObjCPropertyDecl *PD = PID->getPropertyDecl(); 351af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar ObjCMethodDecl *OMD = PD->getSetterMethodDecl(); 352af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar assert(OMD && "Invalid call to generate setter (empty method)"); 353679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanian StartObjCMethod(OMD, IMP->getClassInterface()); 354b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar 35586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar bool IsCopy = PD->getSetterKind() == ObjCPropertyDecl::Copy; 3561eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump bool IsAtomic = 35786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar !(PD->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_nonatomic); 35886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar 35986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // Determine if we should use an objc_setProperty call for 36086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // this. Properties with 'copy' semantics always use it, as do 36186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // non-atomic properties with 'release' semantics as long as we are 36286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // not in gc-only mode. 36386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar if (IsCopy || 36486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar (CGM.getLangOptions().getGCMode() != LangOptions::GCOnly && 36586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar PD->getSetterKind() == ObjCPropertyDecl::Retain)) { 3661eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *SetPropertyFn = 36786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar CGM.getObjCRuntime().GetPropertySetFunction(); 3681eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 36986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar if (!SetPropertyFn) { 37086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar CGM.ErrorUnsupported(PID, "Obj-C getter requiring atomic copy"); 37186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar FinishFunction(); 37286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar return; 37386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar } 3741eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 3751eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump // Emit objc_setProperty((id) self, _cmd, offset, arg, 37686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // <is-atomic>, <is-copy>). 37786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // FIXME: Can't this be simpler? This might even be worse than the 37886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar // corresponding gcc code. 37986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar CodeGenTypes &Types = CGM.getTypes(); 38086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar ValueDecl *Cmd = OMD->getCmdDecl(); 38186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::Value *CmdVal = Builder.CreateLoad(LocalDeclMap[Cmd], "cmd"); 38286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar QualType IdTy = getContext().getObjCIdType(); 3831eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *SelfAsId = 38486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Builder.CreateBitCast(LoadObjCSelf(), Types.ConvertType(IdTy)); 385fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian llvm::Value *Offset = EmitIvarOffset(IMP->getClassInterface(), Ivar); 38689951a86b594513c2a013532ed45d197413b1087Chris Lattner llvm::Value *Arg = LocalDeclMap[*OMD->param_begin()]; 3871eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *ArgAsId = 38886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Builder.CreateBitCast(Builder.CreateLoad(Arg, "arg"), 38986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Types.ConvertType(IdTy)); 39086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::Value *True = 3914a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy), 1); 39286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar llvm::Value *False = 3934a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy), 0); 39486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar CallArgList Args; 39586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Args.push_back(std::make_pair(RValue::get(SelfAsId), IdTy)); 39686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Args.push_back(std::make_pair(RValue::get(CmdVal), Cmd->getType())); 39786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Args.push_back(std::make_pair(RValue::get(Offset), getContext().LongTy)); 39886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar Args.push_back(std::make_pair(RValue::get(ArgAsId), IdTy)); 3991eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Args.push_back(std::make_pair(RValue::get(IsAtomic ? True : False), 40086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar getContext().BoolTy)); 4011eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Args.push_back(std::make_pair(RValue::get(IsCopy ? True : False), 40286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar getContext().BoolTy)); 403f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump // FIXME: We shouldn't need to get the function info here, the runtime 404f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump // already should have computed it to build the function. 40504a67a6aa3dfdc92d57f7f8d93ba397348c868a4John McCall EmitCall(Types.getFunctionInfo(getContext().VoidTy, Args, 406264ba48dc98f3f843935a485d5b086f7e0fdc4f1Rafael Espindola FunctionType::ExtInfo()), 407264ba48dc98f3f843935a485d5b086f7e0fdc4f1Rafael Espindola SetPropertyFn, 408f3c47c9525153aea2de0ec4bd615b9cf2d81c103Anders Carlsson ReturnValueSlot(), Args); 4090b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian } else if (IsAtomic && hasAggregateLLVMType(Ivar->getType()) && 4100b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian !Ivar->getType()->isAnyComplexType() && 4110b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian IndirectObjCSetterArg(*CurFnInfo) 4128fac25d33b13e25f512dd921d4d5a4b565f5d175David Chisnall && CGM.getObjCRuntime().GetSetStructFunction()) { 4130b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian // objc_copyStruct (&structIvar, &Arg, 4140b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian // sizeof (struct something), true, false); 4152846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian GenerateObjCAtomicSetterBody(OMD, Ivar); 41697a73cd8e2b81f5aed9f59e07e7787e3fd3b8d00Fariborz Jahanian } else if (PID->getSetterCXXAssignment()) { 4172a41637a995affa1563f4d82a8b026e326a2faa0John McCall EmitIgnoredExpr(PID->getSetterCXXAssignment()); 41886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar } else { 4192846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian const llvm::Triple &Triple = getContext().Target.getTriple(); 4202846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian QualType IVART = Ivar->getType(); 4212846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian if (IsAtomic && 4222846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian IVART->isScalarType() && 4232846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian (Triple.getArch() == llvm::Triple::arm || 4242846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian Triple.getArch() == llvm::Triple::thumb) && 4252846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian (getContext().getTypeSizeInChars(IVART) 4262846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian > CharUnits::fromQuantity(4)) && 4272846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian CGM.getObjCRuntime().GetGetStructFunction()) { 4282846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian GenerateObjCAtomicSetterBody(OMD, Ivar); 4292846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian } 4302846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian else { 4312846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian // FIXME: Find a clean way to avoid AST node creation. 4322846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian SourceLocation Loc = PD->getLocation(); 4332846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian ValueDecl *Self = OMD->getSelfDecl(); 4342846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian ObjCIvarDecl *Ivar = PID->getPropertyIvarDecl(); 4352846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian DeclRefExpr Base(Self, Self->getType(), VK_RValue, Loc); 4362846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian ParmVarDecl *ArgDecl = *OMD->param_begin(); 4372846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian DeclRefExpr Arg(ArgDecl, ArgDecl->getType(), VK_LValue, Loc); 4382846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian ObjCIvarRefExpr IvarRef(Ivar, Ivar->getType(), Loc, &Base, true, true); 43945e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar 4402846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian // The property type can differ from the ivar type in some situations with 4412846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian // Objective-C pointer types, we can always bit cast the RHS in these cases. 4422846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian if (getContext().getCanonicalType(Ivar->getType()) != 4432846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian getContext().getCanonicalType(ArgDecl->getType())) { 4442846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian ImplicitCastExpr ArgCasted(ImplicitCastExpr::OnStack, 4452846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian Ivar->getType(), CK_BitCast, &Arg, 4462846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian VK_RValue); 4472846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian BinaryOperator Assign(&IvarRef, &ArgCasted, BO_Assign, 4482846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian Ivar->getType(), VK_RValue, OK_Ordinary, Loc); 4492846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian EmitStmt(&Assign); 4502846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian } else { 4512846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian BinaryOperator Assign(&IvarRef, &Arg, BO_Assign, 4522846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian Ivar->getType(), VK_RValue, OK_Ordinary, Loc); 4532846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian EmitStmt(&Assign); 4542846b97965e980ad2e7c8d444b82cc21d733a699Fariborz Jahanian } 45545e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar } 45686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar } 457af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 458af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar FinishFunction(); 4594111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner} 4604111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner 461109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanianvoid CodeGenFunction::GenerateObjCCtorDtorMethod(ObjCImplementationDecl *IMP, 462109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian ObjCMethodDecl *MD, 463109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian bool ctor) { 464cbb67480094b3bcb5b715acd827cbad55e2a204cSean Hunt llvm::SmallVector<CXXCtorInitializer *, 8> IvarInitializers; 465109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian MD->createImplicitParams(CGM.getContext(), IMP->getClassInterface()); 466109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian StartObjCMethod(MD, IMP->getClassInterface()); 467109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian for (ObjCImplementationDecl::init_const_iterator B = IMP->init_begin(), 468109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian E = IMP->init_end(); B != E; ++B) { 469cbb67480094b3bcb5b715acd827cbad55e2a204cSean Hunt CXXCtorInitializer *Member = (*B); 470109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian IvarInitializers.push_back(Member); 471109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian } 472109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian if (ctor) { 473109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian for (unsigned I = 0, E = IvarInitializers.size(); I != E; ++I) { 474cbb67480094b3bcb5b715acd827cbad55e2a204cSean Hunt CXXCtorInitializer *IvarInit = IvarInitializers[I]; 47500eb3f9c5b33e3d99aee1f8b75dd9c9678fdd66bFrancois Pichet FieldDecl *Field = IvarInit->getAnyMember(); 476109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian ObjCIvarDecl *Ivar = cast<ObjCIvarDecl>(Field); 4779b4d4fc49f30f1caa35d680702f1921afad81971Fariborz Jahanian LValue LV = EmitLValueForIvar(TypeOfSelfObject(), 4789b4d4fc49f30f1caa35d680702f1921afad81971Fariborz Jahanian LoadObjCSelf(), Ivar, 0); 479558d2abc7f9fd6801cc7677200992313ae90b5d8John McCall EmitAggExpr(IvarInit->getInit(), AggValueSlot::forLValue(LV, true)); 480109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian } 481109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian // constructor returns 'self'. 482109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian CodeGenTypes &Types = CGM.getTypes(); 483109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian QualType IdTy(CGM.getContext().getObjCIdType()); 484109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian llvm::Value *SelfAsId = 485109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian Builder.CreateBitCast(LoadObjCSelf(), Types.ConvertType(IdTy)); 486109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian EmitReturnOfRValue(RValue::get(SelfAsId), IdTy); 487bc397cf90355f17c974b0bdf3960e8fb38caf5d6Chandler Carruth } else { 488109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian // dtor 489109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian for (size_t i = IvarInitializers.size(); i > 0; --i) { 49000eb3f9c5b33e3d99aee1f8b75dd9c9678fdd66bFrancois Pichet FieldDecl *Field = IvarInitializers[i - 1]->getAnyMember(); 491109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian QualType FieldType = Field->getType(); 4929b4d4fc49f30f1caa35d680702f1921afad81971Fariborz Jahanian const ConstantArrayType *Array = 4939b4d4fc49f30f1caa35d680702f1921afad81971Fariborz Jahanian getContext().getAsConstantArrayType(FieldType); 4949b4d4fc49f30f1caa35d680702f1921afad81971Fariborz Jahanian if (Array) 4959b4d4fc49f30f1caa35d680702f1921afad81971Fariborz Jahanian FieldType = getContext().getBaseElementType(FieldType); 4969b4d4fc49f30f1caa35d680702f1921afad81971Fariborz Jahanian 497109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian ObjCIvarDecl *Ivar = cast<ObjCIvarDecl>(Field); 498109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian LValue LV = EmitLValueForIvar(TypeOfSelfObject(), 499109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian LoadObjCSelf(), Ivar, 0); 500109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian const RecordType *RT = FieldType->getAs<RecordType>(); 501109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian CXXRecordDecl *FieldClassDecl = cast<CXXRecordDecl>(RT->getDecl()); 5021d110e05e0ff48c1c7a483d6b7fd094cdf28316aDouglas Gregor CXXDestructorDecl *Dtor = FieldClassDecl->getDestructor(); 503bc397cf90355f17c974b0bdf3960e8fb38caf5d6Chandler Carruth if (!Dtor->isTrivial()) { 5048b688ed1d56065458d9e22f813577e0dff5c488eFariborz Jahanian if (Array) { 5058b688ed1d56065458d9e22f813577e0dff5c488eFariborz Jahanian const llvm::Type *BasePtr = ConvertType(FieldType); 5068b688ed1d56065458d9e22f813577e0dff5c488eFariborz Jahanian BasePtr = llvm::PointerType::getUnqual(BasePtr); 5078b688ed1d56065458d9e22f813577e0dff5c488eFariborz Jahanian llvm::Value *BaseAddrPtr = 5088b688ed1d56065458d9e22f813577e0dff5c488eFariborz Jahanian Builder.CreateBitCast(LV.getAddress(), BasePtr); 5098b688ed1d56065458d9e22f813577e0dff5c488eFariborz Jahanian EmitCXXAggrDestructorCall(Dtor, 5108b688ed1d56065458d9e22f813577e0dff5c488eFariborz Jahanian Array, BaseAddrPtr); 511bc397cf90355f17c974b0bdf3960e8fb38caf5d6Chandler Carruth } else { 5128b688ed1d56065458d9e22f813577e0dff5c488eFariborz Jahanian EmitCXXDestructorCall(Dtor, 5138b688ed1d56065458d9e22f813577e0dff5c488eFariborz Jahanian Dtor_Complete, /*ForVirtualBase=*/false, 5148b688ed1d56065458d9e22f813577e0dff5c488eFariborz Jahanian LV.getAddress()); 515bc397cf90355f17c974b0bdf3960e8fb38caf5d6Chandler Carruth } 516bc397cf90355f17c974b0bdf3960e8fb38caf5d6Chandler Carruth } 517bc397cf90355f17c974b0bdf3960e8fb38caf5d6Chandler Carruth } 518109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian } 519109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian FinishFunction(); 520109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian} 521109dfc6ca6652f60c55ed0f2631aebf323d0200dFariborz Jahanian 5220b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanianbool CodeGenFunction::IndirectObjCSetterArg(const CGFunctionInfo &FI) { 5230b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian CGFunctionInfo::const_arg_iterator it = FI.arg_begin(); 5240b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian it++; it++; 5250b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian const ABIArgInfo &AI = it->info; 5260b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian // FIXME. Is this sufficient check? 5270b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian return (AI.getKind() == ABIArgInfo::Indirect); 5280b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian} 5290b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian 53015bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanianbool CodeGenFunction::IvarTypeWithAggrGCObjects(QualType Ty) { 53115bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian if (CGM.getLangOptions().getGCMode() == LangOptions::NonGC) 53215bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian return false; 53315bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian if (const RecordType *FDTTy = Ty.getTypePtr()->getAs<RecordType>()) 53415bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian return FDTTy->getDecl()->hasObjectMember(); 53515bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian return false; 53615bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian} 53715bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian 538c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbarllvm::Value *CodeGenFunction::LoadObjCSelf() { 539b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar const ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(CurFuncDecl); 540b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar return Builder.CreateLoad(LocalDeclMap[OMD->getSelfDecl()], "self"); 5414111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner} 5424111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner 54345012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz JahanianQualType CodeGenFunction::TypeOfSelfObject() { 54445012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz Jahanian const ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(CurFuncDecl); 54545012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz Jahanian ImplicitParamDecl *selfDecl = OMD->getSelfDecl(); 54614108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff const ObjCObjectPointerType *PTy = cast<ObjCObjectPointerType>( 54714108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff getContext().getCanonicalType(selfDecl->getType())); 54845012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz Jahanian return PTy->getPointeeType(); 54945012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz Jahanian} 55045012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz Jahanian 551e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCallLValue 552e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCallCodeGenFunction::EmitObjCPropertyRefLValue(const ObjCPropertyRefExpr *E) { 553e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall // This is a special l-value that just issues sends when we load or 554e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall // store through it. 555e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall 556e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall // For certain base kinds, we need to emit the base immediately. 557e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall llvm::Value *Base; 558e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall if (E->isSuperReceiver()) 559e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall Base = LoadObjCSelf(); 560e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall else if (E->isClassReceiver()) 561e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall Base = CGM.getObjCRuntime().GetClass(Builder, E->getClassReceiver()); 562e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall else 563e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall Base = EmitScalarExpr(E->getBase()); 564e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall return LValue::MakePropertyRef(E, Base); 565e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall} 566e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall 567e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCallstatic RValue GenerateMessageSendSuper(CodeGenFunction &CGF, 568e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall ReturnValueSlot Return, 569e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall QualType ResultType, 570e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall Selector S, 571e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall llvm::Value *Receiver, 572e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall const CallArgList &CallArgs) { 573e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall const ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(CGF.CurFuncDecl); 574f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian bool isClassMessage = OMD->isClassMethod(); 575f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian bool isCategoryImpl = isa<ObjCCategoryImplDecl>(OMD->getDeclContext()); 576e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall return CGF.CGM.getObjCRuntime() 577e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall .GenerateMessageSendSuper(CGF, Return, ResultType, 578e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall S, OMD->getClassInterface(), 579e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall isCategoryImpl, Receiver, 580e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall isClassMessage, CallArgs); 581f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian} 582f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian 583119a1c6c4029d30cae7b31a2826aa0ff70d01668John McCallRValue CodeGenFunction::EmitLoadOfPropertyRefLValue(LValue LV, 584119a1c6c4029d30cae7b31a2826aa0ff70d01668John McCall ReturnValueSlot Return) { 585119a1c6c4029d30cae7b31a2826aa0ff70d01668John McCall const ObjCPropertyRefExpr *E = LV.getPropertyRefExpr(); 58612f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall QualType ResultType; 58712f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall Selector S; 58812f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall if (E->isExplicitProperty()) { 58912f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall const ObjCPropertyDecl *Property = E->getExplicitProperty(); 59012f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall S = Property->getGetterName(); 59112f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall ResultType = E->getType(); 592b3589f44c5d295cd41de2c83f3475116835eeebdMike Stump } else { 59312f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall const ObjCMethodDecl *Getter = E->getImplicitPropertyGetter(); 59412f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall S = Getter->getSelector(); 59512f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall ResultType = Getter->getResultType(); // with reference! 5965daf570d0ce027e18ed5f9d66e6b2a14a40b720dFariborz Jahanian } 59712f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall 598e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall llvm::Value *Receiver = LV.getPropertyRefBaseAddr(); 599e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall 600e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall // Accesses to 'super' follow a different code path. 60112f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall if (E->isSuperReceiver()) 602e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall return GenerateMessageSendSuper(*this, Return, ResultType, 603e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall S, Receiver, CallArgList()); 60412f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall 605119a1c6c4029d30cae7b31a2826aa0ff70d01668John McCall const ObjCInterfaceDecl *ReceiverClass 606119a1c6c4029d30cae7b31a2826aa0ff70d01668John McCall = (E->isClassReceiver() ? E->getClassReceiver() : 0); 60712f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall return CGM.getObjCRuntime(). 60812f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall GenerateMessageSend(*this, Return, ResultType, S, 60912f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall Receiver, CallArgList(), ReceiverClass); 6109c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar} 6119c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar 612119a1c6c4029d30cae7b31a2826aa0ff70d01668John McCallvoid CodeGenFunction::EmitStoreThroughPropertyRefLValue(RValue Src, 613119a1c6c4029d30cae7b31a2826aa0ff70d01668John McCall LValue Dst) { 614119a1c6c4029d30cae7b31a2826aa0ff70d01668John McCall const ObjCPropertyRefExpr *E = Dst.getPropertyRefExpr(); 61512f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall Selector S = E->getSetterSelector(); 61612f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall QualType ArgType; 61712f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall if (E->isImplicitProperty()) { 61812f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall const ObjCMethodDecl *Setter = E->getImplicitPropertySetter(); 61912f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall ObjCMethodDecl::param_iterator P = Setter->param_begin(); 62012f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall ArgType = (*P)->getType(); 62112f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall } else { 62212f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall ArgType = E->getType(); 62312f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall } 624b19c76e857d21b722d0a207cb45b26d7cb20a73fFariborz Jahanian // FIXME. Other than scalars, AST is not adequate for setter and 625b19c76e857d21b722d0a207cb45b26d7cb20a73fFariborz Jahanian // getter type mismatches which require conversion. 626b19c76e857d21b722d0a207cb45b26d7cb20a73fFariborz Jahanian if (Src.isScalar()) { 627b19c76e857d21b722d0a207cb45b26d7cb20a73fFariborz Jahanian llvm::Value *SrcVal = Src.getScalarVal(); 628b19c76e857d21b722d0a207cb45b26d7cb20a73fFariborz Jahanian QualType DstType = getContext().getCanonicalType(ArgType); 629b19c76e857d21b722d0a207cb45b26d7cb20a73fFariborz Jahanian const llvm::Type *DstTy = ConvertType(DstType); 630b19c76e857d21b722d0a207cb45b26d7cb20a73fFariborz Jahanian if (SrcVal->getType() != DstTy) 631b19c76e857d21b722d0a207cb45b26d7cb20a73fFariborz Jahanian Src = 632b19c76e857d21b722d0a207cb45b26d7cb20a73fFariborz Jahanian RValue::get(EmitScalarConversion(SrcVal, E->getType(), DstType)); 633b19c76e857d21b722d0a207cb45b26d7cb20a73fFariborz Jahanian } 634b19c76e857d21b722d0a207cb45b26d7cb20a73fFariborz Jahanian 635e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall CallArgList Args; 636e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall Args.push_back(std::make_pair(Src, ArgType)); 637e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall 638e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall llvm::Value *Receiver = Dst.getPropertyRefBaseAddr(); 639e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall QualType ResultType = getContext().VoidTy; 640e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall 64112f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall if (E->isSuperReceiver()) { 642e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall GenerateMessageSendSuper(*this, ReturnValueSlot(), 643e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall ResultType, S, Receiver, Args); 64412f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall return; 64512f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall } 64612f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall 647119a1c6c4029d30cae7b31a2826aa0ff70d01668John McCall const ObjCInterfaceDecl *ReceiverClass 648119a1c6c4029d30cae7b31a2826aa0ff70d01668John McCall = (E->isClassReceiver() ? E->getClassReceiver() : 0); 64912f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall 65012f78a6741a4cb3d904340f8d3d2714568b50e7aJohn McCall CGM.getObjCRuntime().GenerateMessageSend(*this, ReturnValueSlot(), 651e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall ResultType, S, Receiver, Args, 652e68b9842d2d6adc2c72c81c845a2c68e58d9d3a4John McCall ReceiverClass); 65385c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar} 65485c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar 65574391b48b4791cded373683a3baf67314f358d50Chris Lattnervoid CodeGenFunction::EmitObjCForCollectionStmt(const ObjCForCollectionStmt &S){ 6561eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Constant *EnumerationMutationFn = 657c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar CGM.getObjCRuntime().EnumerationMutationFunction(); 6581eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 659c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar if (!EnumerationMutationFn) { 660c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar CGM.ErrorUnsupported(&S, "Obj-C fast enumeration for this runtime"); 661c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar return; 662c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar } 663c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar 66457b3b6a60856eaec30fd876a8a3face8f7e3ad7bJohn McCall // The local variable comes into scope immediately. 66557b3b6a60856eaec30fd876a8a3face8f7e3ad7bJohn McCall AutoVarEmission variable = AutoVarEmission::invalid(); 66657b3b6a60856eaec30fd876a8a3face8f7e3ad7bJohn McCall if (const DeclStmt *SD = dyn_cast<DeclStmt>(S.getElement())) 66757b3b6a60856eaec30fd876a8a3face8f7e3ad7bJohn McCall variable = EmitAutoVarAlloca(*cast<VarDecl>(SD->getSingleDecl())); 66857b3b6a60856eaec30fd876a8a3face8f7e3ad7bJohn McCall 669bcbd03ac0ac0890a436e1a179d3a285e914d41faDevang Patel CGDebugInfo *DI = getDebugInfo(); 670bcbd03ac0ac0890a436e1a179d3a285e914d41faDevang Patel if (DI) { 671bcbd03ac0ac0890a436e1a179d3a285e914d41faDevang Patel DI->setLocation(S.getSourceRange().getBegin()); 672bcbd03ac0ac0890a436e1a179d3a285e914d41faDevang Patel DI->EmitRegionStart(Builder); 673bcbd03ac0ac0890a436e1a179d3a285e914d41faDevang Patel } 674bcbd03ac0ac0890a436e1a179d3a285e914d41faDevang Patel 675d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall JumpDest LoopEnd = getJumpDestInCurrentScope("forcoll.end"); 676d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall JumpDest AfterBody = getJumpDestInCurrentScope("forcoll.next"); 6771eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 678f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // Fast enumeration state. 679f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson QualType StateTy = getContext().getObjCFastEnumerationStateType(); 680195337d2e5d4625ae9dc1328c7cdbc7115b0261bDaniel Dunbar llvm::Value *StatePtr = CreateMemTemp(StateTy, "state.ptr"); 6811884eb0b5c55edda4893ddec45e7dbad79758782Anders Carlsson EmitNullInitialization(StatePtr, StateTy); 6821eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 683f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // Number of elements in the items array. 6842abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson static const unsigned NumItems = 16; 6851eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 686d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // Fetch the countByEnumeratingWithState:objects:count: selector. 687ad4688669579d5d7b025137a095be66936d7ea31Benjamin Kramer IdentifierInfo *II[] = { 688ad4688669579d5d7b025137a095be66936d7ea31Benjamin Kramer &CGM.getContext().Idents.get("countByEnumeratingWithState"), 689ad4688669579d5d7b025137a095be66936d7ea31Benjamin Kramer &CGM.getContext().Idents.get("objects"), 690ad4688669579d5d7b025137a095be66936d7ea31Benjamin Kramer &CGM.getContext().Idents.get("count") 691ad4688669579d5d7b025137a095be66936d7ea31Benjamin Kramer }; 692ad4688669579d5d7b025137a095be66936d7ea31Benjamin Kramer Selector FastEnumSel = 693ad4688669579d5d7b025137a095be66936d7ea31Benjamin Kramer CGM.getContext().Selectors.getSelector(llvm::array_lengthof(II), &II[0]); 694f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 695f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson QualType ItemsTy = 696f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson getContext().getConstantArrayType(getContext().getObjCIdType(), 6971eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::APInt(32, NumItems), 698f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson ArrayType::Normal, 0); 699195337d2e5d4625ae9dc1328c7cdbc7115b0261bDaniel Dunbar llvm::Value *ItemsPtr = CreateMemTemp(ItemsTy, "items.ptr"); 7001eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 701d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // Emit the collection pointer. 702f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson llvm::Value *Collection = EmitScalarExpr(S.getCollection()); 7031eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 704d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // Send it our message: 705f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson CallArgList Args; 706d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall 707d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // The first argument is a temporary of the enumeration-state type. 7081eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Args.push_back(std::make_pair(RValue::get(StatePtr), 709f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson getContext().getPointerType(StateTy))); 7101eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 711d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // The second argument is a temporary array with space for NumItems 712d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // pointers. We'll actually be loading elements from the array 713d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // pointer written into the control state; this buffer is so that 714d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // collections that *aren't* backed by arrays can still queue up 715d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // batches of elements. 7161eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Args.push_back(std::make_pair(RValue::get(ItemsPtr), 717f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson getContext().getPointerType(ItemsTy))); 7181eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 719d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // The third argument is the capacity of that temporary array. 720f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson const llvm::Type *UnsignedLongLTy = ConvertType(getContext().UnsignedLongTy); 7214a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson llvm::Constant *Count = llvm::ConstantInt::get(UnsignedLongLTy, NumItems); 7221eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Args.push_back(std::make_pair(RValue::get(Count), 72346f45b9bec4a265ad8400a538e5ec3a5683617f1Daniel Dunbar getContext().UnsignedLongTy)); 7241eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 725d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // Start the enumeration. 7261eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump RValue CountRV = 727ef072fd2f3347cfd857d6eb787b245b950771430John McCall CGM.getObjCRuntime().GenerateMessageSend(*this, ReturnValueSlot(), 728f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson getContext().UnsignedLongTy, 729f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson FastEnumSel, 730c6cd5fd3eae71f8841504a396563343cfaaf503eDavid Chisnall Collection, Args); 731f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 732d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // The initial number of objects that were returned in the buffer. 733d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall llvm::Value *initialBufferLimit = CountRV.getScalarVal(); 7341eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 735d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall llvm::BasicBlock *EmptyBB = createBasicBlock("forcoll.empty"); 736d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall llvm::BasicBlock *LoopInitBB = createBasicBlock("forcoll.loopinit"); 737f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 738d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall llvm::Value *zero = llvm::Constant::getNullValue(UnsignedLongLTy); 739f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 740d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // If the limit pointer was zero to begin with, the collection is 741d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // empty; skip all this. 742d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall Builder.CreateCondBr(Builder.CreateICmpEQ(initialBufferLimit, zero, "iszero"), 743d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall EmptyBB, LoopInitBB); 7441eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 745d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // Otherwise, initialize the loop. 746d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall EmitBlock(LoopInitBB); 7471eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 748d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // Save the initial mutations value. This is the value at an 749d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // address that was written into the state object by 750d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // countByEnumeratingWithState:objects:count:. 7511eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *StateMutationsPtrPtr = 7522abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson Builder.CreateStructGEP(StatePtr, 2, "mutationsptr.ptr"); 7531eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *StateMutationsPtr = Builder.CreateLoad(StateMutationsPtrPtr, 7542abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson "mutationsptr"); 7551eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 756d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall llvm::Value *initialMutations = 757d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall Builder.CreateLoad(StateMutationsPtr, "forcoll.initial-mutations"); 7581eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 759d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // Start looping. This is the point we return to whenever we have a 760d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // fresh, non-empty batch of objects. 761d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall llvm::BasicBlock *LoopBodyBB = createBasicBlock("forcoll.loopbody"); 762d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall EmitBlock(LoopBodyBB); 7631eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 764d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // The current index into the buffer. 765d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall llvm::PHINode *index = Builder.CreatePHI(UnsignedLongLTy, "forcoll.index"); 766d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall index->addIncoming(zero, LoopInitBB); 767f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 768d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // The current buffer size. 769d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall llvm::PHINode *count = Builder.CreatePHI(UnsignedLongLTy, "forcoll.count"); 770d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall count->addIncoming(initialBufferLimit, LoopInitBB); 771f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 772d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // Check whether the mutations value has changed from where it was 773d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // at start. StateMutationsPtr should actually be invariant between 774d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // refreshes. 7752abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson StateMutationsPtr = Builder.CreateLoad(StateMutationsPtrPtr, "mutationsptr"); 776d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall llvm::Value *currentMutations 777d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall = Builder.CreateLoad(StateMutationsPtr, "statemutations"); 7781eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 779d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall llvm::BasicBlock *WasMutatedBB = createBasicBlock("forcoll.mutated"); 780361cf980a7d976ef11a37b49567412b6b63a89d7Dan Gohman llvm::BasicBlock *WasNotMutatedBB = createBasicBlock("forcoll.notmutated"); 7811eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 782d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall Builder.CreateCondBr(Builder.CreateICmpEQ(currentMutations, initialMutations), 783d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall WasNotMutatedBB, WasMutatedBB); 7841eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 785d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // If so, call the enumeration-mutation function. 786d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall EmitBlock(WasMutatedBB); 7872abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson llvm::Value *V = 7881eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Builder.CreateBitCast(Collection, 7892abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson ConvertType(getContext().getObjCIdType()), 7902abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson "tmp"); 7912b2105e92fc77016992dae3f117f526e73af5ea9Daniel Dunbar CallArgList Args2; 7921eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Args2.push_back(std::make_pair(RValue::get(V), 7932b2105e92fc77016992dae3f117f526e73af5ea9Daniel Dunbar getContext().getObjCIdType())); 794f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump // FIXME: We shouldn't need to get the function info here, the runtime already 795f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump // should have computed it to build the function. 79604a67a6aa3dfdc92d57f7f8d93ba397348c868a4John McCall EmitCall(CGM.getTypes().getFunctionInfo(getContext().VoidTy, Args2, 797264ba48dc98f3f843935a485d5b086f7e0fdc4f1Rafael Espindola FunctionType::ExtInfo()), 798f3c47c9525153aea2de0ec4bd615b9cf2d81c103Anders Carlsson EnumerationMutationFn, ReturnValueSlot(), Args2); 7991eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 800d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // Otherwise, or if the mutation function returns, just continue. 801d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall EmitBlock(WasNotMutatedBB); 8021eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 803d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // Initialize the element variable. 804d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall RunCleanupsScope elementVariableScope(*this); 80557b3b6a60856eaec30fd876a8a3face8f7e3ad7bJohn McCall bool elementIsVariable; 806d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall LValue elementLValue; 807d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall QualType elementType; 808d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall if (const DeclStmt *SD = dyn_cast<DeclStmt>(S.getElement())) { 80957b3b6a60856eaec30fd876a8a3face8f7e3ad7bJohn McCall // Initialize the variable, in case it's a __block variable or something. 81057b3b6a60856eaec30fd876a8a3face8f7e3ad7bJohn McCall EmitAutoVarInit(variable); 811f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 81257b3b6a60856eaec30fd876a8a3face8f7e3ad7bJohn McCall const VarDecl* D = cast<VarDecl>(SD->getSingleDecl()); 813d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall DeclRefExpr tempDRE(const_cast<VarDecl*>(D), D->getType(), 814d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall VK_LValue, SourceLocation()); 815d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall elementLValue = EmitLValue(&tempDRE); 816d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall elementType = D->getType(); 81757b3b6a60856eaec30fd876a8a3face8f7e3ad7bJohn McCall elementIsVariable = true; 818d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall } else { 819d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall elementLValue = LValue(); // suppress warning 820d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall elementType = cast<Expr>(S.getElement())->getType(); 82157b3b6a60856eaec30fd876a8a3face8f7e3ad7bJohn McCall elementIsVariable = false; 822d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall } 823d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall const llvm::Type *convertedElementType = ConvertType(elementType); 824f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 825d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // Fetch the buffer out of the enumeration state. 826d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // TODO: this pointer should actually be invariant between 827d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // refreshes, which would help us do certain loop optimizations. 828d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall llvm::Value *StateItemsPtr = 829d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall Builder.CreateStructGEP(StatePtr, 1, "stateitems.ptr"); 830d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall llvm::Value *EnumStateItems = 831d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall Builder.CreateLoad(StateItemsPtr, "stateitems"); 832f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 833d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // Fetch the value at the current index from the buffer. 8341eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *CurrentItemPtr = 835d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall Builder.CreateGEP(EnumStateItems, index, "currentitem.ptr"); 836d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall llvm::Value *CurrentItem = Builder.CreateLoad(CurrentItemPtr); 8371eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 838d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // Cast that value to the right type. 839d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall CurrentItem = Builder.CreateBitCast(CurrentItem, convertedElementType, 840d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall "currentitem"); 8411eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 842d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // Make sure we have an l-value. Yes, this gets evaluated every 843d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // time through the loop. 84457b3b6a60856eaec30fd876a8a3face8f7e3ad7bJohn McCall if (!elementIsVariable) 845d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall elementLValue = EmitLValue(cast<Expr>(S.getElement())); 8461eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 847d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall EmitStoreThroughLValue(RValue::get(CurrentItem), elementLValue, elementType); 8481eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 84957b3b6a60856eaec30fd876a8a3face8f7e3ad7bJohn McCall // If we do have an element variable, this assignment is the end of 85057b3b6a60856eaec30fd876a8a3face8f7e3ad7bJohn McCall // its initialization. 85157b3b6a60856eaec30fd876a8a3face8f7e3ad7bJohn McCall if (elementIsVariable) 85257b3b6a60856eaec30fd876a8a3face8f7e3ad7bJohn McCall EmitAutoVarCleanups(variable); 85357b3b6a60856eaec30fd876a8a3face8f7e3ad7bJohn McCall 854d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // Perform the loop body, setting up break and continue labels. 855e4b6d342c29d5cb9d311756100df1603810fa892Anders Carlsson BreakContinueStack.push_back(BreakContinue(LoopEnd, AfterBody)); 856d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall { 857d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall RunCleanupsScope Scope(*this); 858d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall EmitStmt(S.getBody()); 859d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall } 860f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson BreakContinueStack.pop_back(); 8611eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 862d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // Destroy the element variable now. 863d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall elementVariableScope.ForceCleanup(); 864d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall 865d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // Check whether there are more elements. 866ff8e11579fc904aa4032d90d2be6ce1ac5fc9fe1John McCall EmitBlock(AfterBody.getBlock()); 8671eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 868d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall llvm::BasicBlock *FetchMoreBB = createBasicBlock("forcoll.refetch"); 869d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall 870d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // First we check in the local buffer. 871d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall llvm::Value *indexPlusOne 872d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall = Builder.CreateAdd(index, llvm::ConstantInt::get(UnsignedLongLTy, 1)); 873d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall 874d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // If we haven't overrun the buffer yet, we can continue. 875d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall Builder.CreateCondBr(Builder.CreateICmpULT(indexPlusOne, count), 876d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall LoopBodyBB, FetchMoreBB); 877f0906c4edb37b20141428ca77fa7dfd00b976eafFariborz Jahanian 878d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall index->addIncoming(indexPlusOne, AfterBody.getBlock()); 879d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall count->addIncoming(count, AfterBody.getBlock()); 880f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 881d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // Otherwise, we have to fetch more elements. 882d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall EmitBlock(FetchMoreBB); 8831eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 8841eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump CountRV = 885ef072fd2f3347cfd857d6eb787b245b950771430John McCall CGM.getObjCRuntime().GenerateMessageSend(*this, ReturnValueSlot(), 886f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson getContext().UnsignedLongTy, 8871eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump FastEnumSel, 888c6cd5fd3eae71f8841504a396563343cfaaf503eDavid Chisnall Collection, Args); 8891eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 890d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // If we got a zero count, we're done. 891d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall llvm::Value *refetchCount = CountRV.getScalarVal(); 892d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall 893d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall // (note that the message send might split FetchMoreBB) 894d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall index->addIncoming(zero, Builder.GetInsertBlock()); 895d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall count->addIncoming(refetchCount, Builder.GetInsertBlock()); 896d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall 897d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall Builder.CreateCondBr(Builder.CreateICmpEQ(refetchCount, zero), 898d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall EmptyBB, LoopBodyBB); 8991eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 900f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // No more elements. 901d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall EmitBlock(EmptyBB); 902f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 90357b3b6a60856eaec30fd876a8a3face8f7e3ad7bJohn McCall if (!elementIsVariable) { 904f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson // If the element was not a declaration, set it to be null. 905f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 906d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall llvm::Value *null = llvm::Constant::getNullValue(convertedElementType); 907d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall elementLValue = EmitLValue(cast<Expr>(S.getElement())); 908d88687fc8b3b6e0bce1f7cb83d347ef009ab5480John McCall EmitStoreThroughLValue(RValue::get(null), elementLValue, elementType); 909f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson } 910f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson 911bcbd03ac0ac0890a436e1a179d3a285e914d41faDevang Patel if (DI) { 912bcbd03ac0ac0890a436e1a179d3a285e914d41faDevang Patel DI->setLocation(S.getSourceRange().getEnd()); 913bcbd03ac0ac0890a436e1a179d3a285e914d41faDevang Patel DI->EmitRegionEnd(Builder); 914bcbd03ac0ac0890a436e1a179d3a285e914d41faDevang Patel } 915bcbd03ac0ac0890a436e1a179d3a285e914d41faDevang Patel 916ff8e11579fc904aa4032d90d2be6ce1ac5fc9fe1John McCall EmitBlock(LoopEnd.getBlock()); 9173d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson} 9183d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson 9191eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpvoid CodeGenFunction::EmitObjCAtTryStmt(const ObjCAtTryStmt &S) { 920f1549f66a8216a78112286e3978cea2c29d6334cJohn McCall CGM.getObjCRuntime().EmitTryStmt(*this, S); 92164d5d6c5903157c521af496479d06dc26032d718Anders Carlsson} 92264d5d6c5903157c521af496479d06dc26032d718Anders Carlsson 9231eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpvoid CodeGenFunction::EmitObjCAtThrowStmt(const ObjCAtThrowStmt &S) { 92464d5d6c5903157c521af496479d06dc26032d718Anders Carlsson CGM.getObjCRuntime().EmitThrowStmt(*this, S); 92564d5d6c5903157c521af496479d06dc26032d718Anders Carlsson} 92664d5d6c5903157c521af496479d06dc26032d718Anders Carlsson 92710cac6f7115b59a466bb8d2d51cdddeb38aadc37Chris Lattnervoid CodeGenFunction::EmitObjCAtSynchronizedStmt( 9281eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const ObjCAtSynchronizedStmt &S) { 929f1549f66a8216a78112286e3978cea2c29d6334cJohn McCall CGM.getObjCRuntime().EmitSynchronizedStmt(*this, S); 93010cac6f7115b59a466bb8d2d51cdddeb38aadc37Chris Lattner} 93110cac6f7115b59a466bb8d2d51cdddeb38aadc37Chris Lattner 9322979ec73b4f974d85f2ce84167712177a44c6f09Ted KremenekCGObjCRuntime::~CGObjCRuntime() {} 933