CGObjC.cpp revision 3523d4f59eb0aa1f200dcb943093ecfe75008735
15508518a2702b00be3b15a26d772bde968972f54Anders Carlsson//===---- CGBuiltin.cpp - Emit LLVM Code for builtins ---------------------===//
25508518a2702b00be3b15a26d772bde968972f54Anders Carlsson//
35508518a2702b00be3b15a26d772bde968972f54Anders Carlsson//                     The LLVM Compiler Infrastructure
45508518a2702b00be3b15a26d772bde968972f54Anders Carlsson//
50bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// This file is distributed under the University of Illinois Open Source
60bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// License. See LICENSE.TXT for details.
75508518a2702b00be3b15a26d772bde968972f54Anders Carlsson//
85508518a2702b00be3b15a26d772bde968972f54Anders Carlsson//===----------------------------------------------------------------------===//
95508518a2702b00be3b15a26d772bde968972f54Anders Carlsson//
105508518a2702b00be3b15a26d772bde968972f54Anders Carlsson// This contains code to emit Objective-C code as LLVM code.
115508518a2702b00be3b15a26d772bde968972f54Anders Carlsson//
125508518a2702b00be3b15a26d772bde968972f54Anders Carlsson//===----------------------------------------------------------------------===//
135508518a2702b00be3b15a26d772bde968972f54Anders Carlsson
142979ec73b4f974d85f2ce84167712177a44c6f09Ted Kremenek#include "CGObjCRuntime.h"
155508518a2702b00be3b15a26d772bde968972f54Anders Carlsson#include "CodeGenFunction.h"
165508518a2702b00be3b15a26d772bde968972f54Anders Carlsson#include "CodeGenModule.h"
1785c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar#include "clang/AST/ASTContext.h"
18c4a1dea2dc56bd1357ec91b829a0b9e68229a13eDaniel Dunbar#include "clang/AST/DeclObjC.h"
19e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar#include "clang/Basic/Diagnostic.h"
203d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson#include "llvm/ADT/STLExtras.h"
21c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar#include "llvm/Target/TargetData.h"
224111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner
235508518a2702b00be3b15a26d772bde968972f54Anders Carlssonusing namespace clang;
245508518a2702b00be3b15a26d772bde968972f54Anders Carlssonusing namespace CodeGen;
255508518a2702b00be3b15a26d772bde968972f54Anders Carlsson
268fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner/// Emits an instance of NSConstantString representing the object.
2771fcec9abf2ce66d5e17a24bd021680e94e42f0dDaniel Dunbarllvm::Value *CodeGenFunction::EmitObjCStringLiteral(const ObjCStringLiteral *E)
2871fcec9abf2ce66d5e17a24bd021680e94e42f0dDaniel Dunbar{
2971fcec9abf2ce66d5e17a24bd021680e94e42f0dDaniel Dunbar  std::string String(E->getString()->getStrData(),
3071fcec9abf2ce66d5e17a24bd021680e94e42f0dDaniel Dunbar                     E->getString()->getByteLength());
31bbce49b9e5c6d7f05926b89f8e6fd235ae01c250Daniel Dunbar  llvm::Constant *C = CGM.getObjCRuntime().GenerateConstantString(String);
32ed7c618f849e2541b1d0288c43154937652c5b15Daniel Dunbar  // FIXME: This bitcast should just be made an invariant on the Runtime.
33bbce49b9e5c6d7f05926b89f8e6fd235ae01c250Daniel Dunbar  return llvm::ConstantExpr::getBitCast(C, ConvertType(E->getType()));
348fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner}
358fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner
368fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner/// Emit a selector.
378fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattnerllvm::Value *CodeGenFunction::EmitObjCSelectorExpr(const ObjCSelectorExpr *E) {
388fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  // Untyped selector.
398fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  // Note that this implementation allows for non-constant strings to be passed
408fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  // as arguments to @selector().  Currently, the only thing preventing this
418fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  // behaviour is the type checking in the front end.
42208ff5e8a073de2a5d15cbe03cab8a4c0d935e28Daniel Dunbar  return CGM.getObjCRuntime().GetSelector(Builder, E->getSelector());
438fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner}
448fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner
45ed7c618f849e2541b1d0288c43154937652c5b15Daniel Dunbarllvm::Value *CodeGenFunction::EmitObjCProtocolExpr(const ObjCProtocolExpr *E) {
46ed7c618f849e2541b1d0288c43154937652c5b15Daniel Dunbar  // FIXME: This should pass the Decl not the name.
47ed7c618f849e2541b1d0288c43154937652c5b15Daniel Dunbar  return CGM.getObjCRuntime().GenerateProtocolRef(Builder, E->getProtocol());
48ed7c618f849e2541b1d0288c43154937652c5b15Daniel Dunbar}
498fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner
508fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner
518f2926b73ed635afecd020da787af6a837601a2bDaniel DunbarRValue CodeGenFunction::EmitObjCMessageExpr(const ObjCMessageExpr *E) {
528fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  // Only the lookup mechanism and first two arguments of the method
538fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  // implementation vary between runtimes.  We can get the receiver and
548fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  // arguments in generic code.
558fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner
56208ff5e8a073de2a5d15cbe03cab8a4c0d935e28Daniel Dunbar  CGObjCRuntime &Runtime = CGM.getObjCRuntime();
578fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  const Expr *ReceiverExpr = E->getReceiver();
588fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  bool isSuperMessage = false;
59f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar  bool isClassMessage = false;
608fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  // Find the receiver
618fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  llvm::Value *Receiver;
628fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  if (!ReceiverExpr) {
63ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar    const ObjCInterfaceDecl *OID = E->getClassInfo().first;
64ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar
65ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar    // Very special case, super send in class method. The receiver is
66ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar    // self (the class object) and the send uses super semantics.
67ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar    if (!OID) {
6892e62b02226410bcad8584541b8f1ff4d35ebab9Chris Lattner      assert(E->getClassName()->isStr("super") &&
69ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar             "Unexpected missing class interface in message send.");
70ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar      isSuperMessage = true;
71f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar      Receiver = LoadObjCSelf();
72f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar    } else {
73f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar      Receiver = Runtime.GetClass(Builder, OID);
748fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner    }
75f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar
76f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar    isClassMessage = true;
77cd9b46e5442a3ef17f83f75177d8545cb5b3e2b9Douglas Gregor  } else if (isa<ObjCSuperExpr>(E->getReceiver())) {
788fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner    isSuperMessage = true;
798fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner    Receiver = LoadObjCSelf();
808fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  } else {
812bedbf8549bb33293c6a53e5da6cbd8de290d014Daniel Dunbar    Receiver = EmitScalarExpr(E->getReceiver());
828fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  }
838fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner
8419cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar  CallArgList Args;
8519cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar  for (CallExpr::const_arg_iterator i = E->arg_begin(), e = E->arg_end();
8619cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar       i != e; ++i)
8746f45b9bec4a265ad8400a538e5ec3a5683617f1Daniel Dunbar    Args.push_back(std::make_pair(EmitAnyExprToTemp(*i), (*i)->getType()));
8819cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar
898fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  if (isSuperMessage) {
909384c768e93f270118a30ce96546083a666da284Chris Lattner    // super is only valid in an Objective-C method
919384c768e93f270118a30ce96546083a666da284Chris Lattner    const ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(CurFuncDecl);
927ce77920a35060f1c8dd72e541e42ce296ccd168Fariborz Jahanian    bool isCategoryImpl = isa<ObjCCategoryImplDecl>(OMD->getDeclContext());
937f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar    return Runtime.GenerateMessageSendSuper(*this, E->getType(),
947f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar                                            E->getSelector(),
95f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar                                            OMD->getClassInterface(),
967ce77920a35060f1c8dd72e541e42ce296ccd168Fariborz Jahanian                                            isCategoryImpl,
97f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar                                            Receiver,
9819cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar                                            isClassMessage,
9919cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar                                            Args);
1008fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  }
1017f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar  return Runtime.GenerateMessageSend(*this, E->getType(), E->getSelector(),
1027f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar                                     Receiver, isClassMessage, Args);
1035508518a2702b00be3b15a26d772bde968972f54Anders Carlsson}
1045508518a2702b00be3b15a26d772bde968972f54Anders Carlsson
105af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// StartObjCMethod - Begin emission of an ObjCMethod. This generates
106af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// the LLVM function and sets the other context used by
107af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// CodeGenFunction.
108679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanianvoid CodeGenFunction::StartObjCMethod(const ObjCMethodDecl *OMD,
109679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanian                                      const ObjCContainerDecl *CD) {
1107c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar  FunctionArgList Args;
111679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanian  llvm::Function *Fn = CGM.getObjCRuntime().GenerateMethod(OMD, CD);
112f80519b919a348db004fba18530706314d1ebfb5Daniel Dunbar
1137c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar  CGM.SetMethodAttributes(OMD, Fn);
1144111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner
1157c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar  Args.push_back(std::make_pair(OMD->getSelfDecl(),
1167c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar                                OMD->getSelfDecl()->getType()));
1177c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar  Args.push_back(std::make_pair(OMD->getCmdDecl(),
1187c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar                                OMD->getCmdDecl()->getType()));
1194111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner
12089951a86b594513c2a013532ed45d197413b1087Chris Lattner  for (ObjCMethodDecl::param_iterator PI = OMD->param_begin(),
12189951a86b594513c2a013532ed45d197413b1087Chris Lattner       E = OMD->param_end(); PI != E; ++PI)
12289951a86b594513c2a013532ed45d197413b1087Chris Lattner    Args.push_back(std::make_pair(*PI, (*PI)->getType()));
123b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar
1242284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar  StartFunction(OMD, OMD->getResultType(), Fn, Args, OMD->getLocEnd());
125af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar}
126af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar
127af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// Generate an Objective-C method.  An Objective-C method is a C function with
128af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// its pointer, name, and types registered in the class struture.
129af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbarvoid CodeGenFunction::GenerateObjCMethod(const ObjCMethodDecl *OMD) {
1301d6a451ceed4bd654462040bd8e880f69649ee9aDevang Patel  // Check if we should generate debug info for this method.
1311d6a451ceed4bd654462040bd8e880f69649ee9aDevang Patel  if (CGM.getDebugInfo() && !OMD->getAttr<NodebugAttr>())
1321d6a451ceed4bd654462040bd8e880f69649ee9aDevang Patel    DebugInfo = CGM.getDebugInfo();
133679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanian  StartObjCMethod(OMD, OMD->getClassInterface());
134af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  EmitStmt(OMD->getBody());
1352284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar  FinishFunction(cast<CompoundStmt>(OMD->getBody())->getRBracLoc());
136af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar}
137af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar
138af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar// FIXME: I wasn't sure about the synthesis approach. If we end up
139af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar// generating an AST for the whole body we can just fall back to
140af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar// having a GenerateFunction which takes the body Stmt.
141af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar
142af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// GenerateObjCGetter - Generate an Objective-C property getter
143489034cf8bde09360e0089f401b2929597b125d8Steve Naroff/// function. The given Decl must be an ObjCImplementationDecl. @synthesize
144489034cf8bde09360e0089f401b2929597b125d8Steve Naroff/// is illegal within a category.
145fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanianvoid CodeGenFunction::GenerateObjCGetter(ObjCImplementationDecl *IMP,
146fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian                                         const ObjCPropertyImplDecl *PID) {
147c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar  ObjCIvarDecl *Ivar = PID->getPropertyIvarDecl();
148af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  const ObjCPropertyDecl *PD = PID->getPropertyDecl();
149af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  ObjCMethodDecl *OMD = PD->getGetterMethodDecl();
150af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  assert(OMD && "Invalid call to generate getter (empty method)");
151af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  // FIXME: This is rather murky, we create this here since they will
152af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  // not have been created by Sema for us.
153fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian  OMD->createImplicitParams(getContext(), IMP->getClassInterface());
154679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanian  StartObjCMethod(OMD, IMP->getClassInterface());
155af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar
156c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar  // Determine if we should use an objc_getProperty call for
157447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian  // this. Non-atomic properties are directly evaluated.
158447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian  // atomic 'copy' and 'retain' properties are also directly
159447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian  // evaluated in gc-only mode.
160c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar  if (CGM.getLangOptions().getGCMode() != LangOptions::GCOnly &&
161447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian      !(PD->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_nonatomic) &&
162447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian      (PD->getSetterKind() == ObjCPropertyDecl::Copy ||
163447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian       PD->getSetterKind() == ObjCPropertyDecl::Retain)) {
164c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    llvm::Value *GetPropertyFn =
165c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar      CGM.getObjCRuntime().GetPropertyGetFunction();
166c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar
167c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    if (!GetPropertyFn) {
168c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar      CGM.ErrorUnsupported(PID, "Obj-C getter requiring atomic copy");
169c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar      FinishFunction();
170c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar      return;
171c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    }
172c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar
173c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    // Return (ivar-type) objc_getProperty((id) self, _cmd, offset, true).
174c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    // FIXME: Can't this be simpler? This might even be worse than the
175c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    // corresponding gcc code.
176c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    CodeGenTypes &Types = CGM.getTypes();
177c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    ValueDecl *Cmd = OMD->getCmdDecl();
178c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    llvm::Value *CmdVal = Builder.CreateLoad(LocalDeclMap[Cmd], "cmd");
179c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    QualType IdTy = getContext().getObjCIdType();
180c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    llvm::Value *SelfAsId =
181c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar      Builder.CreateBitCast(LoadObjCSelf(), Types.ConvertType(IdTy));
182fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian    llvm::Value *Offset = EmitIvarOffset(IMP->getClassInterface(), Ivar);
183c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    llvm::Value *True =
184be395f6b29762c37938637ffef5f59514e04751aDaniel Dunbar      llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy), 1);
185c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    CallArgList Args;
186c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    Args.push_back(std::make_pair(RValue::get(SelfAsId), IdTy));
187c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    Args.push_back(std::make_pair(RValue::get(CmdVal), Cmd->getType()));
188c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    Args.push_back(std::make_pair(RValue::get(Offset), getContext().LongTy));
189c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    Args.push_back(std::make_pair(RValue::get(True), getContext().BoolTy));
190e4be5a66072f7c7618071284c8d2a9c6d8e691cfDaniel Dunbar    // FIXME: We shouldn't need to get the function info here, the
191e4be5a66072f7c7618071284c8d2a9c6d8e691cfDaniel Dunbar    // runtime already should have computed it to build the function.
192541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar    RValue RV = EmitCall(Types.getFunctionInfo(PD->getType(), Args),
19388b5396b0897f28d22ae3debf4a0d97b33b6c362Daniel Dunbar                         GetPropertyFn, Args);
194c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    // We need to fix the type here. Ivars with copy & retain are
195c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    // always objects so we don't need to worry about complex or
196c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    // aggregates.
197c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    RV = RValue::get(Builder.CreateBitCast(RV.getScalarVal(),
198c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar                                           Types.ConvertType(PD->getType())));
199c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    EmitReturnOfRValue(RV, PD->getType());
200c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar  } else {
201fd64bb635dc221baa19f81d5d2a084f7eb269f7fFariborz Jahanian    FieldDecl *Field =
202fd64bb635dc221baa19f81d5d2a084f7eb269f7fFariborz Jahanian      IMP->getClassInterface()->lookupFieldDeclForIvar(getContext(), Ivar);
20345012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz Jahanian    LValue LV = EmitLValueForIvar(TypeOfSelfObject(),
20445012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz Jahanian                                  LoadObjCSelf(), Ivar, Field, 0);
2056010bca98a617a40951561c380a89afd261fb0acFariborz Jahanian    if (hasAggregateLLVMType(Ivar->getType())) {
2066010bca98a617a40951561c380a89afd261fb0acFariborz Jahanian      EmitAggregateCopy(ReturnValue, LV.getAddress(), Ivar->getType());
2076010bca98a617a40951561c380a89afd261fb0acFariborz Jahanian    }
208ed1d29d62595a83ccf6ef23eb2759d355206df2eFariborz Jahanian    else {
209ed1d29d62595a83ccf6ef23eb2759d355206df2eFariborz Jahanian      CodeGenTypes &Types = CGM.getTypes();
210ed1d29d62595a83ccf6ef23eb2759d355206df2eFariborz Jahanian      RValue RV = EmitLoadOfLValue(LV, Ivar->getType());
211ed1d29d62595a83ccf6ef23eb2759d355206df2eFariborz Jahanian      RV = RValue::get(Builder.CreateBitCast(RV.getScalarVal(),
212ed1d29d62595a83ccf6ef23eb2759d355206df2eFariborz Jahanian                       Types.ConvertType(PD->getType())));
213ed1d29d62595a83ccf6ef23eb2759d355206df2eFariborz Jahanian      EmitReturnOfRValue(RV, PD->getType());
214ed1d29d62595a83ccf6ef23eb2759d355206df2eFariborz Jahanian    }
215c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar  }
216af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar
217af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  FinishFunction();
218af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar}
219af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar
220af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// GenerateObjCSetter - Generate an Objective-C property setter
221489034cf8bde09360e0089f401b2929597b125d8Steve Naroff/// function. The given Decl must be an ObjCImplementationDecl. @synthesize
222489034cf8bde09360e0089f401b2929597b125d8Steve Naroff/// is illegal within a category.
223fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanianvoid CodeGenFunction::GenerateObjCSetter(ObjCImplementationDecl *IMP,
224fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian                                         const ObjCPropertyImplDecl *PID) {
22586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  ObjCIvarDecl *Ivar = PID->getPropertyIvarDecl();
226af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  const ObjCPropertyDecl *PD = PID->getPropertyDecl();
227af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  ObjCMethodDecl *OMD = PD->getSetterMethodDecl();
228af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  assert(OMD && "Invalid call to generate setter (empty method)");
229af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  // FIXME: This is rather murky, we create this here since they will
230af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  // not have been created by Sema for us.
231fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian  OMD->createImplicitParams(getContext(), IMP->getClassInterface());
232679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanian  StartObjCMethod(OMD, IMP->getClassInterface());
233b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar
23486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  bool IsCopy = PD->getSetterKind() == ObjCPropertyDecl::Copy;
23586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  bool IsAtomic =
23686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    !(PD->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_nonatomic);
23786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar
23886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  // Determine if we should use an objc_setProperty call for
23986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  // this. Properties with 'copy' semantics always use it, as do
24086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  // non-atomic properties with 'release' semantics as long as we are
24186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  // not in gc-only mode.
24286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  if (IsCopy ||
24386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar      (CGM.getLangOptions().getGCMode() != LangOptions::GCOnly &&
24486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar       PD->getSetterKind() == ObjCPropertyDecl::Retain)) {
24586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    llvm::Value *SetPropertyFn =
24686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar      CGM.getObjCRuntime().GetPropertySetFunction();
24786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar
24886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    if (!SetPropertyFn) {
24986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar      CGM.ErrorUnsupported(PID, "Obj-C getter requiring atomic copy");
25086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar      FinishFunction();
25186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar      return;
25286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    }
25386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar
25486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    // Emit objc_setProperty((id) self, _cmd, offset, arg,
25586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    //                       <is-atomic>, <is-copy>).
25686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    // FIXME: Can't this be simpler? This might even be worse than the
25786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    // corresponding gcc code.
25886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    CodeGenTypes &Types = CGM.getTypes();
25986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    ValueDecl *Cmd = OMD->getCmdDecl();
26086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    llvm::Value *CmdVal = Builder.CreateLoad(LocalDeclMap[Cmd], "cmd");
26186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    QualType IdTy = getContext().getObjCIdType();
26286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    llvm::Value *SelfAsId =
26386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar      Builder.CreateBitCast(LoadObjCSelf(), Types.ConvertType(IdTy));
264fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian    llvm::Value *Offset = EmitIvarOffset(IMP->getClassInterface(), Ivar);
26589951a86b594513c2a013532ed45d197413b1087Chris Lattner    llvm::Value *Arg = LocalDeclMap[*OMD->param_begin()];
26686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    llvm::Value *ArgAsId =
26786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar      Builder.CreateBitCast(Builder.CreateLoad(Arg, "arg"),
26886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar                            Types.ConvertType(IdTy));
26986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    llvm::Value *True =
270be395f6b29762c37938637ffef5f59514e04751aDaniel Dunbar      llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy), 1);
27186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    llvm::Value *False =
272be395f6b29762c37938637ffef5f59514e04751aDaniel Dunbar      llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy), 0);
27386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    CallArgList Args;
27486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    Args.push_back(std::make_pair(RValue::get(SelfAsId), IdTy));
27586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    Args.push_back(std::make_pair(RValue::get(CmdVal), Cmd->getType()));
27686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    Args.push_back(std::make_pair(RValue::get(Offset), getContext().LongTy));
27786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    Args.push_back(std::make_pair(RValue::get(ArgAsId), IdTy));
27886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    Args.push_back(std::make_pair(RValue::get(IsAtomic ? True : False),
27986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar                                  getContext().BoolTy));
28086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    Args.push_back(std::make_pair(RValue::get(IsCopy ? True : False),
28186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar                                  getContext().BoolTy));
282e4be5a66072f7c7618071284c8d2a9c6d8e691cfDaniel Dunbar    // FIXME: We shouldn't need to get the function info here, the
283e4be5a66072f7c7618071284c8d2a9c6d8e691cfDaniel Dunbar    // runtime already should have computed it to build the function.
284e4be5a66072f7c7618071284c8d2a9c6d8e691cfDaniel Dunbar    EmitCall(Types.getFunctionInfo(getContext().VoidTy, Args),
285541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar             SetPropertyFn, Args);
28686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  } else {
28786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    SourceLocation Loc = PD->getLocation();
28886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    ValueDecl *Self = OMD->getSelfDecl();
28986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    ObjCIvarDecl *Ivar = PID->getPropertyIvarDecl();
29086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    DeclRefExpr Base(Self, Self->getType(), Loc);
29189951a86b594513c2a013532ed45d197413b1087Chris Lattner    ParmVarDecl *ArgDecl = *OMD->param_begin();
29286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    DeclRefExpr Arg(ArgDecl, ArgDecl->getType(), Loc);
293aaa63a761c6671a08e3f4f463435b72739fa194bFariborz Jahanian    ObjCInterfaceDecl *OI = IMP->getClassInterface();
294efc4c4bdbd8fee90b93deb3b5cfaeb044ae22557Fariborz Jahanian    ObjCIvarRefExpr IvarRef(Ivar, Ivar->getType(), Loc, &Base,
29586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar                            true, true);
296efc4c4bdbd8fee90b93deb3b5cfaeb044ae22557Fariborz Jahanian    getContext().setFieldDecl(OI, Ivar, &IvarRef);
29786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    BinaryOperator Assign(&IvarRef, &Arg, BinaryOperator::Assign,
29886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar                          Ivar->getType(), Loc);
29986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    EmitStmt(&Assign);
30086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  }
301af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar
302af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  FinishFunction();
3034111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner}
3044111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner
305c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbarllvm::Value *CodeGenFunction::LoadObjCSelf() {
306b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar  const ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(CurFuncDecl);
307b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar  return Builder.CreateLoad(LocalDeclMap[OMD->getSelfDecl()], "self");
3084111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner}
3094111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner
31045012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz JahanianQualType CodeGenFunction::TypeOfSelfObject() {
31145012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz Jahanian  const ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(CurFuncDecl);
31245012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz Jahanian  ImplicitParamDecl *selfDecl = OMD->getSelfDecl();
31345012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz Jahanian  const PointerType *PTy =
31445012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz Jahanian    cast<PointerType>(getContext().getCanonicalType(selfDecl->getType()));
31545012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz Jahanian  return PTy->getPointeeType();
31645012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz Jahanian}
31745012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz Jahanian
3185daf570d0ce027e18ed5f9d66e6b2a14a40b720dFariborz JahanianRValue CodeGenFunction::EmitObjCPropertyGet(const Expr *Exp) {
31943f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian  // FIXME: Split it into two separate routines.
3205daf570d0ce027e18ed5f9d66e6b2a14a40b720dFariborz Jahanian  if (const ObjCPropertyRefExpr *E = dyn_cast<ObjCPropertyRefExpr>(Exp)) {
3215daf570d0ce027e18ed5f9d66e6b2a14a40b720dFariborz Jahanian    Selector S = E->getProperty()->getGetterName();
3225daf570d0ce027e18ed5f9d66e6b2a14a40b720dFariborz Jahanian    return CGM.getObjCRuntime().
32343f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian             GenerateMessageSend(*this, Exp->getType(), S,
32443f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian                                 EmitScalarExpr(E->getBase()),
32543f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian                                 false, CallArgList());
32643f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian  }
327f185319f25efd6094870f287030270fad26085baDaniel Dunbar  else {
328f479cea608dae347bc06c7a7279ab54fe34d47f6Daniel Dunbar    const ObjCKVCRefExpr *KE = cast<ObjCKVCRefExpr>(Exp);
329f479cea608dae347bc06c7a7279ab54fe34d47f6Daniel Dunbar    Selector S = KE->getGetterMethod()->getSelector();
3303523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian    llvm::Value *Receiver;
3313523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian    if (KE->getClassProp()) {
3323523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian      const ObjCInterfaceDecl *OID = KE->getClassProp();
3333523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian      Receiver = CGM.getObjCRuntime().GetClass(Builder, OID);
3343523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian    }
3353523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian    else
3363523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian      Receiver = EmitScalarExpr(KE->getBase());
33743f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian    return CGM.getObjCRuntime().
33843f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian             GenerateMessageSend(*this, Exp->getType(), S,
3393523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian                                 Receiver,
3403523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian                                 KE->getClassProp() != 0, CallArgList());
3415daf570d0ce027e18ed5f9d66e6b2a14a40b720dFariborz Jahanian  }
3429c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar}
3439c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar
34443f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanianvoid CodeGenFunction::EmitObjCPropertySet(const Expr *Exp,
34585c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar                                          RValue Src) {
34643f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian  // FIXME: Split it into two separate routines.
34743f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian  if (const ObjCPropertyRefExpr *E = dyn_cast<ObjCPropertyRefExpr>(Exp)) {
34843f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian    Selector S = E->getProperty()->getSetterName();
34943f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian    CallArgList Args;
35043f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian    Args.push_back(std::make_pair(Src, E->getType()));
35143f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian    CGM.getObjCRuntime().GenerateMessageSend(*this, getContext().VoidTy, S,
35243f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian                                             EmitScalarExpr(E->getBase()),
35343f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian                                             false, Args);
35443f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian  }
35543f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian  else if (const ObjCKVCRefExpr *E = dyn_cast<ObjCKVCRefExpr>(Exp)) {
35643f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian    Selector S = E->getSetterMethod()->getSelector();
35743f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian    CallArgList Args;
3583523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian    llvm::Value *Receiver;
3593523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian    if (E->getClassProp()) {
3603523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian      const ObjCInterfaceDecl *OID = E->getClassProp();
3613523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian      Receiver = CGM.getObjCRuntime().GetClass(Builder, OID);
3623523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian    }
3633523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian    else
3643523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian      Receiver = EmitScalarExpr(E->getBase());
36543f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian    Args.push_back(std::make_pair(Src, E->getType()));
36643f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian    CGM.getObjCRuntime().GenerateMessageSend(*this, getContext().VoidTy, S,
3673523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian                                             Receiver,
3683523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian                                             E->getClassProp() != 0, Args);
36943f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian  }
37043f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian  else
37143f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian    assert (0 && "bad expression node in EmitObjCPropertySet");
37285c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar}
37385c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar
3743d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlssonvoid CodeGenFunction::EmitObjCForCollectionStmt(const ObjCForCollectionStmt &S)
3753d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson{
376c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar  llvm::Function *EnumerationMutationFn =
377c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    CGM.getObjCRuntime().EnumerationMutationFunction();
378f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *DeclAddress;
379f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  QualType ElementTy;
380f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
381c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar  if (!EnumerationMutationFn) {
382c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    CGM.ErrorUnsupported(&S, "Obj-C fast enumeration for this runtime");
383c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    return;
384c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar  }
385c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar
386f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  if (const DeclStmt *SD = dyn_cast<DeclStmt>(S.getElement())) {
387f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    EmitStmt(SD);
388a448fb2da03ece39978784793eea68760e8205a1Daniel Dunbar    assert(HaveInsertPoint() && "DeclStmt destroyed insert point!");
3894afa39deaa245592977136d367251ee2c173dd8dDouglas Gregor    const Decl* D = SD->getSolitaryDecl();
39039741cecde917affbcbdfb2942ff1a9eae8f3488Ted Kremenek    ElementTy = cast<ValueDecl>(D)->getType();
39139741cecde917affbcbdfb2942ff1a9eae8f3488Ted Kremenek    DeclAddress = LocalDeclMap[D];
392f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  } else {
393f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    ElementTy = cast<Expr>(S.getElement())->getType();
394f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    DeclAddress = 0;
395f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  }
396f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
397f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  // Fast enumeration state.
398f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  QualType StateTy = getContext().getObjCFastEnumerationStateType();
399f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::AllocaInst *StatePtr = CreateTempAlloca(ConvertType(StateTy),
400f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                                "state.ptr");
401f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  StatePtr->setAlignment(getContext().getTypeAlign(StateTy) >> 3);
4022abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  EmitMemSetToZero(StatePtr, StateTy);
403f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
404f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  // Number of elements in the items array.
4052abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  static const unsigned NumItems = 16;
406f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
407f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  // Get selector
408f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::SmallVector<IdentifierInfo*, 3> II;
409f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  II.push_back(&CGM.getContext().Idents.get("countByEnumeratingWithState"));
410f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  II.push_back(&CGM.getContext().Idents.get("objects"));
411f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  II.push_back(&CGM.getContext().Idents.get("count"));
412f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  Selector FastEnumSel = CGM.getContext().Selectors.getSelector(II.size(),
413f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                                                &II[0]);
414f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
415f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  QualType ItemsTy =
416f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    getContext().getConstantArrayType(getContext().getObjCIdType(),
417f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                      llvm::APInt(32, NumItems),
418f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                      ArrayType::Normal, 0);
419f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *ItemsPtr = CreateTempAlloca(ConvertType(ItemsTy), "items.ptr");
420f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
421f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *Collection = EmitScalarExpr(S.getCollection());
422f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
423f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  CallArgList Args;
42446f45b9bec4a265ad8400a538e5ec3a5683617f1Daniel Dunbar  Args.push_back(std::make_pair(RValue::get(StatePtr),
425f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                getContext().getPointerType(StateTy)));
426f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
42746f45b9bec4a265ad8400a538e5ec3a5683617f1Daniel Dunbar  Args.push_back(std::make_pair(RValue::get(ItemsPtr),
428f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                getContext().getPointerType(ItemsTy)));
429f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
430f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  const llvm::Type *UnsignedLongLTy = ConvertType(getContext().UnsignedLongTy);
431f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Constant *Count = llvm::ConstantInt::get(UnsignedLongLTy, NumItems);
43246f45b9bec4a265ad8400a538e5ec3a5683617f1Daniel Dunbar  Args.push_back(std::make_pair(RValue::get(Count),
43346f45b9bec4a265ad8400a538e5ec3a5683617f1Daniel Dunbar                                getContext().UnsignedLongTy));
434f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
435f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  RValue CountRV =
436f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    CGM.getObjCRuntime().GenerateMessageSend(*this,
437f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                             getContext().UnsignedLongTy,
438f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                             FastEnumSel,
439f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                             Collection, false, Args);
440f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
441f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *LimitPtr = CreateTempAlloca(UnsignedLongLTy, "limit.ptr");
442f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  Builder.CreateStore(CountRV.getScalarVal(), LimitPtr);
443f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
44455e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar  llvm::BasicBlock *NoElements = createBasicBlock("noelements");
44555e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar  llvm::BasicBlock *SetStartMutations = createBasicBlock("setstartmutations");
446f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
447f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *Limit = Builder.CreateLoad(LimitPtr);
448f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *Zero = llvm::Constant::getNullValue(UnsignedLongLTy);
449f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
450f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *IsZero = Builder.CreateICmpEQ(Limit, Zero, "iszero");
4512abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  Builder.CreateCondBr(IsZero, NoElements, SetStartMutations);
452f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
4532abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  EmitBlock(SetStartMutations);
4542abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson
4552abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  llvm::Value *StartMutationsPtr =
4562abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson    CreateTempAlloca(UnsignedLongLTy);
4572abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson
4582abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  llvm::Value *StateMutationsPtrPtr =
4592abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson    Builder.CreateStructGEP(StatePtr, 2, "mutationsptr.ptr");
4602abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  llvm::Value *StateMutationsPtr = Builder.CreateLoad(StateMutationsPtrPtr,
4612abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson                                                      "mutationsptr");
4622abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson
4632abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  llvm::Value *StateMutations = Builder.CreateLoad(StateMutationsPtr,
4642abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson                                                   "mutations");
4652abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson
4662abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  Builder.CreateStore(StateMutations, StartMutationsPtr);
4672abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson
46855e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar  llvm::BasicBlock *LoopStart = createBasicBlock("loopstart");
469f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  EmitBlock(LoopStart);
470f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
471f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *CounterPtr = CreateTempAlloca(UnsignedLongLTy, "counter.ptr");
472f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  Builder.CreateStore(Zero, CounterPtr);
473f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
47455e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar  llvm::BasicBlock *LoopBody = createBasicBlock("loopbody");
475f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  EmitBlock(LoopBody);
476f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
4772abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  StateMutationsPtr = Builder.CreateLoad(StateMutationsPtrPtr, "mutationsptr");
4782abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  StateMutations = Builder.CreateLoad(StateMutationsPtr, "statemutations");
4792abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson
4802abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  llvm::Value *StartMutations = Builder.CreateLoad(StartMutationsPtr,
4812abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson                                                   "mutations");
4822abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  llvm::Value *MutationsEqual = Builder.CreateICmpEQ(StateMutations,
4832abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson                                                     StartMutations,
4842abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson                                                     "tobool");
4852abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson
4862abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson
48755e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar  llvm::BasicBlock *WasMutated = createBasicBlock("wasmutated");
48855e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar  llvm::BasicBlock *WasNotMutated = createBasicBlock("wasnotmutated");
4892abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson
4902abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  Builder.CreateCondBr(MutationsEqual, WasNotMutated, WasMutated);
4912abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson
4922abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  EmitBlock(WasMutated);
4932abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  llvm::Value *V =
4942abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson    Builder.CreateBitCast(Collection,
4952abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson                          ConvertType(getContext().getObjCIdType()),
4962abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson                          "tmp");
4972b2105e92fc77016992dae3f117f526e73af5ea9Daniel Dunbar  CallArgList Args2;
4982b2105e92fc77016992dae3f117f526e73af5ea9Daniel Dunbar  Args2.push_back(std::make_pair(RValue::get(V),
4992b2105e92fc77016992dae3f117f526e73af5ea9Daniel Dunbar                                getContext().getObjCIdType()));
5002b2105e92fc77016992dae3f117f526e73af5ea9Daniel Dunbar  // FIXME: We shouldn't need to get the function info here, the
5012b2105e92fc77016992dae3f117f526e73af5ea9Daniel Dunbar  // runtime already should have computed it to build the function.
50290350b6f815eecd9441119b1412695d33fb2b98fDaniel Dunbar  EmitCall(CGM.getTypes().getFunctionInfo(getContext().VoidTy, Args2),
5032b2105e92fc77016992dae3f117f526e73af5ea9Daniel Dunbar           EnumerationMutationFn, Args2);
5042abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson
5052abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  EmitBlock(WasNotMutated);
5062abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson
507f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *StateItemsPtr =
508f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    Builder.CreateStructGEP(StatePtr, 1, "stateitems.ptr");
509f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
510f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *Counter = Builder.CreateLoad(CounterPtr, "counter");
511f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
512f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *EnumStateItems = Builder.CreateLoad(StateItemsPtr,
513f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                                   "stateitems");
514f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
515f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *CurrentItemPtr =
516f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    Builder.CreateGEP(EnumStateItems, Counter, "currentitem.ptr");
517f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
518f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *CurrentItem = Builder.CreateLoad(CurrentItemPtr, "currentitem");
519f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
520f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  // Cast the item to the right type.
521f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  CurrentItem = Builder.CreateBitCast(CurrentItem,
522f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                      ConvertType(ElementTy), "tmp");
523f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
524f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  if (!DeclAddress) {
525f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    LValue LV = EmitLValue(cast<Expr>(S.getElement()));
526f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
527f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    // Set the value to null.
528f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    Builder.CreateStore(CurrentItem, LV.getAddress());
529f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  } else
530f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    Builder.CreateStore(CurrentItem, DeclAddress);
531f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
532f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  // Increment the counter.
533f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  Counter = Builder.CreateAdd(Counter,
534f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                              llvm::ConstantInt::get(UnsignedLongLTy, 1));
535f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  Builder.CreateStore(Counter, CounterPtr);
536f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
53755e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar  llvm::BasicBlock *LoopEnd = createBasicBlock("loopend");
53855e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar  llvm::BasicBlock *AfterBody = createBasicBlock("afterbody");
539f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
540e4b6d342c29d5cb9d311756100df1603810fa892Anders Carlsson  BreakContinueStack.push_back(BreakContinue(LoopEnd, AfterBody));
541f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
542f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  EmitStmt(S.getBody());
543f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
544f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  BreakContinueStack.pop_back();
545f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
546f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  EmitBlock(AfterBody);
547f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
54855e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar  llvm::BasicBlock *FetchMore = createBasicBlock("fetchmore");
549f0906c4edb37b20141428ca77fa7dfd00b976eafFariborz Jahanian
550f0906c4edb37b20141428ca77fa7dfd00b976eafFariborz Jahanian  Counter = Builder.CreateLoad(CounterPtr);
551f0906c4edb37b20141428ca77fa7dfd00b976eafFariborz Jahanian  Limit = Builder.CreateLoad(LimitPtr);
552f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *IsLess = Builder.CreateICmpULT(Counter, Limit, "isless");
553fe2b2c08984f861f82339138302689480c658ecdDaniel Dunbar  Builder.CreateCondBr(IsLess, LoopBody, FetchMore);
554f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
555f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  // Fetch more elements.
556f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  EmitBlock(FetchMore);
557f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
558f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  CountRV =
559f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    CGM.getObjCRuntime().GenerateMessageSend(*this,
560f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                             getContext().UnsignedLongTy,
561f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                             FastEnumSel,
562f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                             Collection, false, Args);
563f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  Builder.CreateStore(CountRV.getScalarVal(), LimitPtr);
564f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  Limit = Builder.CreateLoad(LimitPtr);
565f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
566f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  IsZero = Builder.CreateICmpEQ(Limit, Zero, "iszero");
567f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  Builder.CreateCondBr(IsZero, NoElements, LoopStart);
568f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
569f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  // No more elements.
570f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  EmitBlock(NoElements);
571f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
572f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  if (!DeclAddress) {
573f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    // If the element was not a declaration, set it to be null.
574f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
575f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    LValue LV = EmitLValue(cast<Expr>(S.getElement()));
576f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
577f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    // Set the value to null.
578f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    Builder.CreateStore(llvm::Constant::getNullValue(ConvertType(ElementTy)),
579f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                        LV.getAddress());
580f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  }
581f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
582f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  EmitBlock(LoopEnd);
5833d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson}
5843d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson
58564d5d6c5903157c521af496479d06dc26032d718Anders Carlssonvoid CodeGenFunction::EmitObjCAtTryStmt(const ObjCAtTryStmt &S)
58664d5d6c5903157c521af496479d06dc26032d718Anders Carlsson{
587bd71be4683c195260d5245118b1e13e6b2e20504Fariborz Jahanian  CGM.getObjCRuntime().EmitTryOrSynchronizedStmt(*this, S);
58864d5d6c5903157c521af496479d06dc26032d718Anders Carlsson}
58964d5d6c5903157c521af496479d06dc26032d718Anders Carlsson
59064d5d6c5903157c521af496479d06dc26032d718Anders Carlssonvoid CodeGenFunction::EmitObjCAtThrowStmt(const ObjCAtThrowStmt &S)
59164d5d6c5903157c521af496479d06dc26032d718Anders Carlsson{
59264d5d6c5903157c521af496479d06dc26032d718Anders Carlsson  CGM.getObjCRuntime().EmitThrowStmt(*this, S);
59364d5d6c5903157c521af496479d06dc26032d718Anders Carlsson}
59464d5d6c5903157c521af496479d06dc26032d718Anders Carlsson
59510cac6f7115b59a466bb8d2d51cdddeb38aadc37Chris Lattnervoid CodeGenFunction::EmitObjCAtSynchronizedStmt(
59610cac6f7115b59a466bb8d2d51cdddeb38aadc37Chris Lattner                                              const ObjCAtSynchronizedStmt &S)
59710cac6f7115b59a466bb8d2d51cdddeb38aadc37Chris Lattner{
598bd71be4683c195260d5245118b1e13e6b2e20504Fariborz Jahanian  CGM.getObjCRuntime().EmitTryOrSynchronizedStmt(*this, S);
59910cac6f7115b59a466bb8d2d51cdddeb38aadc37Chris Lattner}
60010cac6f7115b59a466bb8d2d51cdddeb38aadc37Chris Lattner
6012979ec73b4f974d85f2ce84167712177a44c6f09Ted KremenekCGObjCRuntime::~CGObjCRuntime() {}
602