CGObjC.cpp revision 195337d2e5d4625ae9dc1328c7cdbc7115b0261b
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"
1916f0049415ec596504891259e2a83e19871c0d52Chris Lattner#include "clang/AST/StmtObjC.h"
20e66f4e3e3ae9d7d11b0c302211066fad69228abaDaniel Dunbar#include "clang/Basic/Diagnostic.h"
213d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson#include "llvm/ADT/STLExtras.h"
22c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar#include "llvm/Target/TargetData.h"
235508518a2702b00be3b15a26d772bde968972f54Anders Carlssonusing namespace clang;
245508518a2702b00be3b15a26d772bde968972f54Anders Carlssonusing namespace CodeGen;
255508518a2702b00be3b15a26d772bde968972f54Anders Carlsson
268fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner/// Emits an instance of NSConstantString representing the object.
271eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpllvm::Value *CodeGenFunction::EmitObjCStringLiteral(const ObjCStringLiteral *E)
2871fcec9abf2ce66d5e17a24bd021680e94e42f0dDaniel Dunbar{
290d13f6fdbdd6f06e2449b8834dda53334abd399aDavid Chisnall  llvm::Constant *C =
300d13f6fdbdd6f06e2449b8834dda53334abd399aDavid Chisnall      CGM.getObjCRuntime().GenerateConstantString(E->getString());
31ed7c618f849e2541b1d0288c43154937652c5b15Daniel Dunbar  // FIXME: This bitcast should just be made an invariant on the Runtime.
323c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson  return llvm::ConstantExpr::getBitCast(C, ConvertType(E->getType()));
338fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner}
348fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner
358fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner/// Emit a selector.
368fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattnerllvm::Value *CodeGenFunction::EmitObjCSelectorExpr(const ObjCSelectorExpr *E) {
378fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  // Untyped selector.
388fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  // Note that this implementation allows for non-constant strings to be passed
398fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  // as arguments to @selector().  Currently, the only thing preventing this
408fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  // behaviour is the type checking in the front end.
416d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar  return CGM.getObjCRuntime().GetSelector(Builder, E->getSelector());
428fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner}
438fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner
44ed7c618f849e2541b1d0288c43154937652c5b15Daniel Dunbarllvm::Value *CodeGenFunction::EmitObjCProtocolExpr(const ObjCProtocolExpr *E) {
45ed7c618f849e2541b1d0288c43154937652c5b15Daniel Dunbar  // FIXME: This should pass the Decl not the name.
46ed7c618f849e2541b1d0288c43154937652c5b15Daniel Dunbar  return CGM.getObjCRuntime().GenerateProtocolRef(Builder, E->getProtocol());
47ed7c618f849e2541b1d0288c43154937652c5b15Daniel Dunbar}
488fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner
498fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner
508f2926b73ed635afecd020da787af6a837601a2bDaniel DunbarRValue CodeGenFunction::EmitObjCMessageExpr(const ObjCMessageExpr *E) {
518fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  // Only the lookup mechanism and first two arguments of the method
528fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  // implementation vary between runtimes.  We can get the receiver and
538fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  // arguments in generic code.
541eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
55208ff5e8a073de2a5d15cbe03cab8a4c0d935e28Daniel Dunbar  CGObjCRuntime &Runtime = CGM.getObjCRuntime();
568fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  const Expr *ReceiverExpr = E->getReceiver();
578fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  bool isSuperMessage = false;
58f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar  bool isClassMessage = false;
598fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  // Find the receiver
608fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  llvm::Value *Receiver;
618fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  if (!ReceiverExpr) {
62ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar    const ObjCInterfaceDecl *OID = E->getClassInfo().first;
63ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar
64ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar    // Very special case, super send in class method. The receiver is
65ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar    // self (the class object) and the send uses super semantics.
66ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar    if (!OID) {
6792e62b02226410bcad8584541b8f1ff4d35ebab9Chris Lattner      assert(E->getClassName()->isStr("super") &&
68ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar             "Unexpected missing class interface in message send.");
69ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar      isSuperMessage = true;
70f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar      Receiver = LoadObjCSelf();
71f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar    } else {
72f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar      Receiver = Runtime.GetClass(Builder, OID);
738fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner    }
741eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
75f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar    isClassMessage = true;
76cd9b46e5442a3ef17f83f75177d8545cb5b3e2b9Douglas Gregor  } else if (isa<ObjCSuperExpr>(E->getReceiver())) {
778fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner    isSuperMessage = true;
788fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner    Receiver = LoadObjCSelf();
798fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  } else {
802bedbf8549bb33293c6a53e5da6cbd8de290d014Daniel Dunbar    Receiver = EmitScalarExpr(E->getReceiver());
818fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  }
828fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner
8319cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar  CallArgList Args;
84131038e2125d98f1be0d9cb62561a7cede41bb44Anders Carlsson  EmitCallArgs(Args, E->getMethodDecl(), E->arg_begin(), E->arg_end());
851eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
868fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  if (isSuperMessage) {
879384c768e93f270118a30ce96546083a666da284Chris Lattner    // super is only valid in an Objective-C method
889384c768e93f270118a30ce96546083a666da284Chris Lattner    const ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(CurFuncDecl);
897ce77920a35060f1c8dd72e541e42ce296ccd168Fariborz Jahanian    bool isCategoryImpl = isa<ObjCCategoryImplDecl>(OMD->getDeclContext());
907f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar    return Runtime.GenerateMessageSendSuper(*this, E->getType(),
917f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar                                            E->getSelector(),
92f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar                                            OMD->getClassInterface(),
937ce77920a35060f1c8dd72e541e42ce296ccd168Fariborz Jahanian                                            isCategoryImpl,
94f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar                                            Receiver,
9519cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar                                            isClassMessage,
96d6c93d703541c992e06eb9a59a2d826a30da65b2Daniel Dunbar                                            Args,
97d6c93d703541c992e06eb9a59a2d826a30da65b2Daniel Dunbar                                            E->getMethodDecl());
988fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  }
99d6c93d703541c992e06eb9a59a2d826a30da65b2Daniel Dunbar
1001eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  return Runtime.GenerateMessageSend(*this, E->getType(), E->getSelector(),
101df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian                                     Receiver, isClassMessage, Args,
102df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian                                     E->getMethodDecl());
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
1130e4f40e1bbc4dce16bbb9870300a435419f1b3d5Daniel Dunbar  const CGFunctionInfo &FI = CGM.getTypes().getFunctionInfo(OMD);
1140e4f40e1bbc4dce16bbb9870300a435419f1b3d5Daniel Dunbar  CGM.SetInternalFunctionAttributes(OMD, Fn, FI);
1154111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner
1161eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  Args.push_back(std::make_pair(OMD->getSelfDecl(),
1177c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar                                OMD->getSelfDecl()->getType()));
1187c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar  Args.push_back(std::make_pair(OMD->getCmdDecl(),
1197c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar                                OMD->getCmdDecl()->getType()));
1204111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner
12189951a86b594513c2a013532ed45d197413b1087Chris Lattner  for (ObjCMethodDecl::param_iterator PI = OMD->param_begin(),
12289951a86b594513c2a013532ed45d197413b1087Chris Lattner       E = OMD->param_end(); PI != E; ++PI)
12389951a86b594513c2a013532ed45d197413b1087Chris Lattner    Args.push_back(std::make_pair(*PI, (*PI)->getType()));
124b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar
1252284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar  StartFunction(OMD, OMD->getResultType(), Fn, Args, OMD->getLocEnd());
126af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar}
127af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar
128af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// Generate an Objective-C method.  An Objective-C method is a C function with
1291eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump/// its pointer, name, and types registered in the class struture.
130af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbarvoid CodeGenFunction::GenerateObjCMethod(const ObjCMethodDecl *OMD) {
1311d6a451ceed4bd654462040bd8e880f69649ee9aDevang Patel  // Check if we should generate debug info for this method.
1321feade8e520be483293dbf55eb57a51720899589Mike Stump  if (CGM.getDebugInfo() && !OMD->hasAttr<NoDebugAttr>())
1331d6a451ceed4bd654462040bd8e880f69649ee9aDevang Patel    DebugInfo = CGM.getDebugInfo();
134679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanian  StartObjCMethod(OMD, OMD->getClassInterface());
1356fb0aee4f9dc261bbec72e1283ad8dc0557a6d96Argyrios Kyrtzidis  EmitStmt(OMD->getBody());
1366fb0aee4f9dc261bbec72e1283ad8dc0557a6d96Argyrios Kyrtzidis  FinishFunction(OMD->getBodyRBrace());
137af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar}
138af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar
139f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump// FIXME: I wasn't sure about the synthesis approach. If we end up generating an
140f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump// AST for the whole body we can just fall back to having a GenerateFunction
141f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump// which takes the body Stmt.
142af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar
143af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// GenerateObjCGetter - Generate an Objective-C property getter
144489034cf8bde09360e0089f401b2929597b125d8Steve Naroff/// function. The given Decl must be an ObjCImplementationDecl. @synthesize
145489034cf8bde09360e0089f401b2929597b125d8Steve Naroff/// is illegal within a category.
146fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanianvoid CodeGenFunction::GenerateObjCGetter(ObjCImplementationDecl *IMP,
147fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian                                         const ObjCPropertyImplDecl *PID) {
148c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar  ObjCIvarDecl *Ivar = PID->getPropertyIvarDecl();
149af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  const ObjCPropertyDecl *PD = PID->getPropertyDecl();
150af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  ObjCMethodDecl *OMD = PD->getGetterMethodDecl();
151af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  assert(OMD && "Invalid call to generate getter (empty method)");
152f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump  // FIXME: This is rather murky, we create this here since they will not have
153f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump  // been created by Sema for us.
154fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian  OMD->createImplicitParams(getContext(), IMP->getClassInterface());
155679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanian  StartObjCMethod(OMD, IMP->getClassInterface());
156af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar
157c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar  // Determine if we should use an objc_getProperty call for
158447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian  // this. Non-atomic properties are directly evaluated.
159447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian  // atomic 'copy' and 'retain' properties are also directly
160447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian  // evaluated in gc-only mode.
161c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar  if (CGM.getLangOptions().getGCMode() != LangOptions::GCOnly &&
162447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian      !(PD->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_nonatomic) &&
163447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian      (PD->getSetterKind() == ObjCPropertyDecl::Copy ||
164447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian       PD->getSetterKind() == ObjCPropertyDecl::Retain)) {
1651eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    llvm::Value *GetPropertyFn =
166c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar      CGM.getObjCRuntime().GetPropertyGetFunction();
1671eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
168c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    if (!GetPropertyFn) {
169c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar      CGM.ErrorUnsupported(PID, "Obj-C getter requiring atomic copy");
170c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar      FinishFunction();
171c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar      return;
172c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    }
173c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar
174c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    // Return (ivar-type) objc_getProperty((id) self, _cmd, offset, true).
175c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    // FIXME: Can't this be simpler? This might even be worse than the
176c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    // corresponding gcc code.
177c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    CodeGenTypes &Types = CGM.getTypes();
178c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    ValueDecl *Cmd = OMD->getCmdDecl();
179c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    llvm::Value *CmdVal = Builder.CreateLoad(LocalDeclMap[Cmd], "cmd");
180c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    QualType IdTy = getContext().getObjCIdType();
1811eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    llvm::Value *SelfAsId =
182c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar      Builder.CreateBitCast(LoadObjCSelf(), Types.ConvertType(IdTy));
183fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian    llvm::Value *Offset = EmitIvarOffset(IMP->getClassInterface(), Ivar);
184c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    llvm::Value *True =
1854a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson      llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy), 1);
186c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    CallArgList Args;
187c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    Args.push_back(std::make_pair(RValue::get(SelfAsId), IdTy));
188c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    Args.push_back(std::make_pair(RValue::get(CmdVal), Cmd->getType()));
189c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    Args.push_back(std::make_pair(RValue::get(Offset), getContext().LongTy));
190c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    Args.push_back(std::make_pair(RValue::get(True), getContext().BoolTy));
191e4be5a66072f7c7618071284c8d2a9c6d8e691cfDaniel Dunbar    // FIXME: We shouldn't need to get the function info here, the
192e4be5a66072f7c7618071284c8d2a9c6d8e691cfDaniel Dunbar    // runtime already should have computed it to build the function.
19304a67a6aa3dfdc92d57f7f8d93ba397348c868a4John McCall    RValue RV = EmitCall(Types.getFunctionInfo(PD->getType(), Args,
19404a67a6aa3dfdc92d57f7f8d93ba397348c868a4John McCall                                               CC_Default, false),
195f3c47c9525153aea2de0ec4bd615b9cf2d81c103Anders Carlsson                         GetPropertyFn, ReturnValueSlot(), Args);
196c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    // We need to fix the type here. Ivars with copy & retain are
197c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    // always objects so we don't need to worry about complex or
198c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    // aggregates.
1991eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    RV = RValue::get(Builder.CreateBitCast(RV.getScalarVal(),
200c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar                                           Types.ConvertType(PD->getType())));
201c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    EmitReturnOfRValue(RV, PD->getType());
202c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar  } else {
203525c9b7baeeff022127cd1b167579f3bda73b3edDaniel Dunbar    LValue LV = EmitLValueForIvar(TypeOfSelfObject(), LoadObjCSelf(), Ivar, 0);
2046010bca98a617a40951561c380a89afd261fb0acFariborz Jahanian    if (hasAggregateLLVMType(Ivar->getType())) {
2056010bca98a617a40951561c380a89afd261fb0acFariborz Jahanian      EmitAggregateCopy(ReturnValue, LV.getAddress(), Ivar->getType());
206b3589f44c5d295cd41de2c83f3475116835eeebdMike Stump    } else {
207ed1d29d62595a83ccf6ef23eb2759d355206df2eFariborz Jahanian      CodeGenTypes &Types = CGM.getTypes();
208ed1d29d62595a83ccf6ef23eb2759d355206df2eFariborz Jahanian      RValue RV = EmitLoadOfLValue(LV, Ivar->getType());
209ed1d29d62595a83ccf6ef23eb2759d355206df2eFariborz Jahanian      RV = RValue::get(Builder.CreateBitCast(RV.getScalarVal(),
2101eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump                       Types.ConvertType(PD->getType())));
211ed1d29d62595a83ccf6ef23eb2759d355206df2eFariborz Jahanian      EmitReturnOfRValue(RV, PD->getType());
212ed1d29d62595a83ccf6ef23eb2759d355206df2eFariborz Jahanian    }
213c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar  }
214af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar
215af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  FinishFunction();
216af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar}
217af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar
218af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// GenerateObjCSetter - Generate an Objective-C property setter
219489034cf8bde09360e0089f401b2929597b125d8Steve Naroff/// function. The given Decl must be an ObjCImplementationDecl. @synthesize
220489034cf8bde09360e0089f401b2929597b125d8Steve Naroff/// is illegal within a category.
221fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanianvoid CodeGenFunction::GenerateObjCSetter(ObjCImplementationDecl *IMP,
222fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian                                         const ObjCPropertyImplDecl *PID) {
22386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  ObjCIvarDecl *Ivar = PID->getPropertyIvarDecl();
224af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  const ObjCPropertyDecl *PD = PID->getPropertyDecl();
225af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  ObjCMethodDecl *OMD = PD->getSetterMethodDecl();
226af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  assert(OMD && "Invalid call to generate setter (empty method)");
227f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump  // FIXME: This is rather murky, we create this here since they will not have
228f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump  // been created by Sema for us.
229fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian  OMD->createImplicitParams(getContext(), IMP->getClassInterface());
230679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanian  StartObjCMethod(OMD, IMP->getClassInterface());
231b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar
23286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  bool IsCopy = PD->getSetterKind() == ObjCPropertyDecl::Copy;
2331eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  bool IsAtomic =
23486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    !(PD->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_nonatomic);
23586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar
23686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  // Determine if we should use an objc_setProperty call for
23786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  // this. Properties with 'copy' semantics always use it, as do
23886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  // non-atomic properties with 'release' semantics as long as we are
23986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  // not in gc-only mode.
24086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  if (IsCopy ||
24186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar      (CGM.getLangOptions().getGCMode() != LangOptions::GCOnly &&
24286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar       PD->getSetterKind() == ObjCPropertyDecl::Retain)) {
2431eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    llvm::Value *SetPropertyFn =
24486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar      CGM.getObjCRuntime().GetPropertySetFunction();
2451eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
24686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    if (!SetPropertyFn) {
24786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar      CGM.ErrorUnsupported(PID, "Obj-C getter requiring atomic copy");
24886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar      FinishFunction();
24986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar      return;
25086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    }
2511eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
2521eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    // Emit objc_setProperty((id) self, _cmd, offset, arg,
25386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    //                       <is-atomic>, <is-copy>).
25486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    // FIXME: Can't this be simpler? This might even be worse than the
25586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    // corresponding gcc code.
25686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    CodeGenTypes &Types = CGM.getTypes();
25786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    ValueDecl *Cmd = OMD->getCmdDecl();
25886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    llvm::Value *CmdVal = Builder.CreateLoad(LocalDeclMap[Cmd], "cmd");
25986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    QualType IdTy = getContext().getObjCIdType();
2601eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    llvm::Value *SelfAsId =
26186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar      Builder.CreateBitCast(LoadObjCSelf(), Types.ConvertType(IdTy));
262fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian    llvm::Value *Offset = EmitIvarOffset(IMP->getClassInterface(), Ivar);
26389951a86b594513c2a013532ed45d197413b1087Chris Lattner    llvm::Value *Arg = LocalDeclMap[*OMD->param_begin()];
2641eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    llvm::Value *ArgAsId =
26586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar      Builder.CreateBitCast(Builder.CreateLoad(Arg, "arg"),
26686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar                            Types.ConvertType(IdTy));
26786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    llvm::Value *True =
2684a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson      llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy), 1);
26986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    llvm::Value *False =
2704a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson      llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy), 0);
27186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    CallArgList Args;
27286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    Args.push_back(std::make_pair(RValue::get(SelfAsId), IdTy));
27386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    Args.push_back(std::make_pair(RValue::get(CmdVal), Cmd->getType()));
27486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    Args.push_back(std::make_pair(RValue::get(Offset), getContext().LongTy));
27586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    Args.push_back(std::make_pair(RValue::get(ArgAsId), IdTy));
2761eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    Args.push_back(std::make_pair(RValue::get(IsAtomic ? True : False),
27786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar                                  getContext().BoolTy));
2781eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    Args.push_back(std::make_pair(RValue::get(IsCopy ? True : False),
27986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar                                  getContext().BoolTy));
280f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump    // FIXME: We shouldn't need to get the function info here, the runtime
281f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump    // already should have computed it to build the function.
28204a67a6aa3dfdc92d57f7f8d93ba397348c868a4John McCall    EmitCall(Types.getFunctionInfo(getContext().VoidTy, Args,
28304a67a6aa3dfdc92d57f7f8d93ba397348c868a4John McCall                                   CC_Default, false), SetPropertyFn,
284f3c47c9525153aea2de0ec4bd615b9cf2d81c103Anders Carlsson             ReturnValueSlot(), Args);
28586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  } else {
28645e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar    // FIXME: Find a clean way to avoid AST node creation.
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);
29345e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar    ObjCIvarRefExpr IvarRef(Ivar, Ivar->getType(), Loc, &Base, true, true);
29445e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar
29545e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar    // The property type can differ from the ivar type in some situations with
29645e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar    // Objective-C pointer types, we can always bit cast the RHS in these cases.
29745e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar    if (getContext().getCanonicalType(Ivar->getType()) !=
29845e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar        getContext().getCanonicalType(ArgDecl->getType())) {
29945e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar      ImplicitCastExpr ArgCasted(Ivar->getType(), CastExpr::CK_BitCast, &Arg,
30045e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar                                 false);
30145e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar      BinaryOperator Assign(&IvarRef, &ArgCasted, BinaryOperator::Assign,
30245e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar                            Ivar->getType(), Loc);
30345e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar      EmitStmt(&Assign);
30445e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar    } else {
30545e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar      BinaryOperator Assign(&IvarRef, &Arg, BinaryOperator::Assign,
30645e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar                            Ivar->getType(), Loc);
30745e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar      EmitStmt(&Assign);
30845e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar    }
30986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  }
310af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar
311af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  FinishFunction();
3124111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner}
3134111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner
314c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbarllvm::Value *CodeGenFunction::LoadObjCSelf() {
315b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar  const ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(CurFuncDecl);
3166cc88f78fd36d3511b89412b193494b3e423cbffMike Stump  // See if we need to lazily forward self inside a block literal.
3176cc88f78fd36d3511b89412b193494b3e423cbffMike Stump  BlockForwardSelf();
318b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar  return Builder.CreateLoad(LocalDeclMap[OMD->getSelfDecl()], "self");
3194111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner}
3204111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner
32145012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz JahanianQualType CodeGenFunction::TypeOfSelfObject() {
32245012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz Jahanian  const ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(CurFuncDecl);
32345012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz Jahanian  ImplicitParamDecl *selfDecl = OMD->getSelfDecl();
32414108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff  const ObjCObjectPointerType *PTy = cast<ObjCObjectPointerType>(
32514108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff    getContext().getCanonicalType(selfDecl->getType()));
32645012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz Jahanian  return PTy->getPointeeType();
32745012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz Jahanian}
32845012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz Jahanian
3291eb4433ac451dc16f4133a88af2d002ac26c58efMike StumpRValue CodeGenFunction::EmitObjCSuperPropertyGet(const Expr *Exp,
330f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                 const Selector &S) {
331f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian  llvm::Value *Receiver = LoadObjCSelf();
332f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian  const ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(CurFuncDecl);
333f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian  bool isClassMessage = OMD->isClassMethod();
334f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian  bool isCategoryImpl = isa<ObjCCategoryImplDecl>(OMD->getDeclContext());
3351eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  return CGM.getObjCRuntime().GenerateMessageSendSuper(*this,
336f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                       Exp->getType(),
337f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                       S,
338f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                       OMD->getClassInterface(),
339f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                       isCategoryImpl,
340f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                       Receiver,
341f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                       isClassMessage,
342f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                       CallArgList());
3431eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
344f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian}
345f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian
3465daf570d0ce027e18ed5f9d66e6b2a14a40b720dFariborz JahanianRValue CodeGenFunction::EmitObjCPropertyGet(const Expr *Exp) {
347d2e1eb064cfb8d361ea1dd4f6253a4e20f24d88dFariborz Jahanian  Exp = Exp->IgnoreParens();
34843f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian  // FIXME: Split it into two separate routines.
3495daf570d0ce027e18ed5f9d66e6b2a14a40b720dFariborz Jahanian  if (const ObjCPropertyRefExpr *E = dyn_cast<ObjCPropertyRefExpr>(Exp)) {
3505daf570d0ce027e18ed5f9d66e6b2a14a40b720dFariborz Jahanian    Selector S = E->getProperty()->getGetterName();
351f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian    if (isa<ObjCSuperExpr>(E->getBase()))
352f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian      return EmitObjCSuperPropertyGet(E, S);
3535daf570d0ce027e18ed5f9d66e6b2a14a40b720dFariborz Jahanian    return CGM.getObjCRuntime().
3541eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump             GenerateMessageSend(*this, Exp->getType(), S,
3551eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump                                 EmitScalarExpr(E->getBase()),
35643f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian                                 false, CallArgList());
357b3589f44c5d295cd41de2c83f3475116835eeebdMike Stump  } else {
3581eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    const ObjCImplicitSetterGetterRefExpr *KE =
35909105f52b1f28cbb1374c27c3c70f5517e2c465dFariborz Jahanian      cast<ObjCImplicitSetterGetterRefExpr>(Exp);
360f479cea608dae347bc06c7a7279ab54fe34d47f6Daniel Dunbar    Selector S = KE->getGetterMethod()->getSelector();
3613523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian    llvm::Value *Receiver;
362d2ae5aa732e8587816fd7a7be911460e337c178eFariborz Jahanian    if (KE->getInterfaceDecl()) {
363d2ae5aa732e8587816fd7a7be911460e337c178eFariborz Jahanian      const ObjCInterfaceDecl *OID = KE->getInterfaceDecl();
3643523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian      Receiver = CGM.getObjCRuntime().GetClass(Builder, OID);
365b3589f44c5d295cd41de2c83f3475116835eeebdMike Stump    } else if (isa<ObjCSuperExpr>(KE->getBase()))
366f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian      return EmitObjCSuperPropertyGet(KE, S);
3671eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    else
3683523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian      Receiver = EmitScalarExpr(KE->getBase());
36943f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian    return CGM.getObjCRuntime().
3701eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump             GenerateMessageSend(*this, Exp->getType(), S,
3711eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump                                 Receiver,
372d2ae5aa732e8587816fd7a7be911460e337c178eFariborz Jahanian                                 KE->getInterfaceDecl() != 0, CallArgList());
3735daf570d0ce027e18ed5f9d66e6b2a14a40b720dFariborz Jahanian  }
3749c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar}
3759c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar
376f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanianvoid CodeGenFunction::EmitObjCSuperPropertySet(const Expr *Exp,
377f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                               const Selector &S,
378f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                               RValue Src) {
379f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian  CallArgList Args;
380f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian  llvm::Value *Receiver = LoadObjCSelf();
381f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian  const ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(CurFuncDecl);
382f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian  bool isClassMessage = OMD->isClassMethod();
383f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian  bool isCategoryImpl = isa<ObjCCategoryImplDecl>(OMD->getDeclContext());
384f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian  Args.push_back(std::make_pair(Src, Exp->getType()));
3851eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  CGM.getObjCRuntime().GenerateMessageSendSuper(*this,
386f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                Exp->getType(),
387f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                S,
388f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                OMD->getClassInterface(),
389f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                isCategoryImpl,
390f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                Receiver,
391f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                isClassMessage,
392f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                Args);
393f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian  return;
394f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian}
395f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian
39643f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanianvoid CodeGenFunction::EmitObjCPropertySet(const Expr *Exp,
39785c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar                                          RValue Src) {
39843f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian  // FIXME: Split it into two separate routines.
39943f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian  if (const ObjCPropertyRefExpr *E = dyn_cast<ObjCPropertyRefExpr>(Exp)) {
40043f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian    Selector S = E->getProperty()->getSetterName();
401f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian    if (isa<ObjCSuperExpr>(E->getBase())) {
402f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian      EmitObjCSuperPropertySet(E, S, Src);
403f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian      return;
4041eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    }
40543f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian    CallArgList Args;
40643f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian    Args.push_back(std::make_pair(Src, E->getType()));
4071eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    CGM.getObjCRuntime().GenerateMessageSend(*this, getContext().VoidTy, S,
4081eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump                                             EmitScalarExpr(E->getBase()),
40943f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian                                             false, Args);
4101eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  } else if (const ObjCImplicitSetterGetterRefExpr *E =
41109105f52b1f28cbb1374c27c3c70f5517e2c465dFariborz Jahanian               dyn_cast<ObjCImplicitSetterGetterRefExpr>(Exp)) {
41243f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian    Selector S = E->getSetterMethod()->getSelector();
41343f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian    CallArgList Args;
4143523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian    llvm::Value *Receiver;
415d2ae5aa732e8587816fd7a7be911460e337c178eFariborz Jahanian    if (E->getInterfaceDecl()) {
416d2ae5aa732e8587816fd7a7be911460e337c178eFariborz Jahanian      const ObjCInterfaceDecl *OID = E->getInterfaceDecl();
4173523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian      Receiver = CGM.getObjCRuntime().GetClass(Builder, OID);
418b3589f44c5d295cd41de2c83f3475116835eeebdMike Stump    } else if (isa<ObjCSuperExpr>(E->getBase())) {
419f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian      EmitObjCSuperPropertySet(E, S, Src);
4208e5d23236ad05f9b18114d5486b3a3aeadf42e00Fariborz Jahanian      return;
421b3589f44c5d295cd41de2c83f3475116835eeebdMike Stump    } else
4223523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian      Receiver = EmitScalarExpr(E->getBase());
42343f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian    Args.push_back(std::make_pair(Src, E->getType()));
4241eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    CGM.getObjCRuntime().GenerateMessageSend(*this, getContext().VoidTy, S,
4251eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump                                             Receiver,
426d2ae5aa732e8587816fd7a7be911460e337c178eFariborz Jahanian                                             E->getInterfaceDecl() != 0, Args);
427b3589f44c5d295cd41de2c83f3475116835eeebdMike Stump  } else
42843f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian    assert (0 && "bad expression node in EmitObjCPropertySet");
42985c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar}
43085c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar
43174391b48b4791cded373683a3baf67314f358d50Chris Lattnervoid CodeGenFunction::EmitObjCForCollectionStmt(const ObjCForCollectionStmt &S){
4321eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  llvm::Constant *EnumerationMutationFn =
433c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    CGM.getObjCRuntime().EnumerationMutationFunction();
434f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *DeclAddress;
435f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  QualType ElementTy;
4361eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
437c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar  if (!EnumerationMutationFn) {
438c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    CGM.ErrorUnsupported(&S, "Obj-C fast enumeration for this runtime");
439c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    return;
440c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar  }
441c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar
442f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  if (const DeclStmt *SD = dyn_cast<DeclStmt>(S.getElement())) {
443f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    EmitStmt(SD);
444a448fb2da03ece39978784793eea68760e8205a1Daniel Dunbar    assert(HaveInsertPoint() && "DeclStmt destroyed insert point!");
4457e24e82a70a2c681f4291a3397bcd1e1005f251aChris Lattner    const Decl* D = SD->getSingleDecl();
44639741cecde917affbcbdfb2942ff1a9eae8f3488Ted Kremenek    ElementTy = cast<ValueDecl>(D)->getType();
4471eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    DeclAddress = LocalDeclMap[D];
448f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  } else {
449f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    ElementTy = cast<Expr>(S.getElement())->getType();
450f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    DeclAddress = 0;
451f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  }
4521eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
453f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  // Fast enumeration state.
454f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  QualType StateTy = getContext().getObjCFastEnumerationStateType();
455195337d2e5d4625ae9dc1328c7cdbc7115b0261bDaniel Dunbar  llvm::Value *StatePtr = CreateMemTemp(StateTy, "state.ptr");
4562abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  EmitMemSetToZero(StatePtr, StateTy);
4571eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
458f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  // Number of elements in the items array.
4592abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  static const unsigned NumItems = 16;
4601eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
461f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  // Get selector
462f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::SmallVector<IdentifierInfo*, 3> II;
463f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  II.push_back(&CGM.getContext().Idents.get("countByEnumeratingWithState"));
464f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  II.push_back(&CGM.getContext().Idents.get("objects"));
465f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  II.push_back(&CGM.getContext().Idents.get("count"));
4661eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  Selector FastEnumSel = CGM.getContext().Selectors.getSelector(II.size(),
467f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                                                &II[0]);
468f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
469f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  QualType ItemsTy =
470f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    getContext().getConstantArrayType(getContext().getObjCIdType(),
4711eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump                                      llvm::APInt(32, NumItems),
472f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                      ArrayType::Normal, 0);
473195337d2e5d4625ae9dc1328c7cdbc7115b0261bDaniel Dunbar  llvm::Value *ItemsPtr = CreateMemTemp(ItemsTy, "items.ptr");
4741eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
475f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *Collection = EmitScalarExpr(S.getCollection());
4761eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
477f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  CallArgList Args;
4781eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  Args.push_back(std::make_pair(RValue::get(StatePtr),
479f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                getContext().getPointerType(StateTy)));
4801eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
4811eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  Args.push_back(std::make_pair(RValue::get(ItemsPtr),
482f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                getContext().getPointerType(ItemsTy)));
4831eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
484f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  const llvm::Type *UnsignedLongLTy = ConvertType(getContext().UnsignedLongTy);
4854a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson  llvm::Constant *Count = llvm::ConstantInt::get(UnsignedLongLTy, NumItems);
4861eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  Args.push_back(std::make_pair(RValue::get(Count),
48746f45b9bec4a265ad8400a538e5ec3a5683617f1Daniel Dunbar                                getContext().UnsignedLongTy));
4881eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
4891eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  RValue CountRV =
4901eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    CGM.getObjCRuntime().GenerateMessageSend(*this,
491f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                             getContext().UnsignedLongTy,
492f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                             FastEnumSel,
493f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                             Collection, false, Args);
494f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
495195337d2e5d4625ae9dc1328c7cdbc7115b0261bDaniel Dunbar  llvm::Value *LimitPtr = CreateMemTemp(getContext().UnsignedLongTy,
496195337d2e5d4625ae9dc1328c7cdbc7115b0261bDaniel Dunbar                                        "limit.ptr");
497f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  Builder.CreateStore(CountRV.getScalarVal(), LimitPtr);
4981eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
49955e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar  llvm::BasicBlock *NoElements = createBasicBlock("noelements");
50055e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar  llvm::BasicBlock *SetStartMutations = createBasicBlock("setstartmutations");
5011eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
502f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *Limit = Builder.CreateLoad(LimitPtr);
503c9c88b4159791c48e486ca94e3743b5979e2b7a6Owen Anderson  llvm::Value *Zero = llvm::Constant::getNullValue(UnsignedLongLTy);
504f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
505f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *IsZero = Builder.CreateICmpEQ(Limit, Zero, "iszero");
5062abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  Builder.CreateCondBr(IsZero, NoElements, SetStartMutations);
507f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
5082abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  EmitBlock(SetStartMutations);
5091eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
510195337d2e5d4625ae9dc1328c7cdbc7115b0261bDaniel Dunbar  llvm::Value *StartMutationsPtr = CreateMemTemp(getContext().UnsignedLongTy);
5111eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
5121eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  llvm::Value *StateMutationsPtrPtr =
5132abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson    Builder.CreateStructGEP(StatePtr, 2, "mutationsptr.ptr");
5141eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  llvm::Value *StateMutationsPtr = Builder.CreateLoad(StateMutationsPtrPtr,
5152abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson                                                      "mutationsptr");
5161eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
5171eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  llvm::Value *StateMutations = Builder.CreateLoad(StateMutationsPtr,
5182abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson                                                   "mutations");
5191eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
5202abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  Builder.CreateStore(StateMutations, StartMutationsPtr);
5211eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
52255e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar  llvm::BasicBlock *LoopStart = createBasicBlock("loopstart");
523f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  EmitBlock(LoopStart);
524f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
525195337d2e5d4625ae9dc1328c7cdbc7115b0261bDaniel Dunbar  llvm::Value *CounterPtr = CreateMemTemp(getContext().UnsignedLongTy,
526195337d2e5d4625ae9dc1328c7cdbc7115b0261bDaniel Dunbar                                       "counter.ptr");
527f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  Builder.CreateStore(Zero, CounterPtr);
5281eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
5291eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  llvm::BasicBlock *LoopBody = createBasicBlock("loopbody");
530f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  EmitBlock(LoopBody);
531f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
5322abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  StateMutationsPtr = Builder.CreateLoad(StateMutationsPtrPtr, "mutationsptr");
5332abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  StateMutations = Builder.CreateLoad(StateMutationsPtr, "statemutations");
5342abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson
5351eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  llvm::Value *StartMutations = Builder.CreateLoad(StartMutationsPtr,
5362abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson                                                   "mutations");
5371eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  llvm::Value *MutationsEqual = Builder.CreateICmpEQ(StateMutations,
5382abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson                                                     StartMutations,
5392abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson                                                     "tobool");
5401eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
5411eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
54255e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar  llvm::BasicBlock *WasMutated = createBasicBlock("wasmutated");
54355e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar  llvm::BasicBlock *WasNotMutated = createBasicBlock("wasnotmutated");
5441eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
5452abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  Builder.CreateCondBr(MutationsEqual, WasNotMutated, WasMutated);
5461eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
5472abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  EmitBlock(WasMutated);
5482abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  llvm::Value *V =
5491eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    Builder.CreateBitCast(Collection,
5502abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson                          ConvertType(getContext().getObjCIdType()),
5512abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson                          "tmp");
5522b2105e92fc77016992dae3f117f526e73af5ea9Daniel Dunbar  CallArgList Args2;
5531eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  Args2.push_back(std::make_pair(RValue::get(V),
5542b2105e92fc77016992dae3f117f526e73af5ea9Daniel Dunbar                                getContext().getObjCIdType()));
555f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump  // FIXME: We shouldn't need to get the function info here, the runtime already
556f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump  // should have computed it to build the function.
55704a67a6aa3dfdc92d57f7f8d93ba397348c868a4John McCall  EmitCall(CGM.getTypes().getFunctionInfo(getContext().VoidTy, Args2,
55804a67a6aa3dfdc92d57f7f8d93ba397348c868a4John McCall                                          CC_Default, false),
559f3c47c9525153aea2de0ec4bd615b9cf2d81c103Anders Carlsson           EnumerationMutationFn, ReturnValueSlot(), Args2);
5601eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
5612abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  EmitBlock(WasNotMutated);
5621eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
5631eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  llvm::Value *StateItemsPtr =
564f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    Builder.CreateStructGEP(StatePtr, 1, "stateitems.ptr");
565f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
566f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *Counter = Builder.CreateLoad(CounterPtr, "counter");
567f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
568f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *EnumStateItems = Builder.CreateLoad(StateItemsPtr,
569f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                                   "stateitems");
570f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
5711eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  llvm::Value *CurrentItemPtr =
572f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    Builder.CreateGEP(EnumStateItems, Counter, "currentitem.ptr");
5731eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
574f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *CurrentItem = Builder.CreateLoad(CurrentItemPtr, "currentitem");
5751eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
576f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  // Cast the item to the right type.
577f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  CurrentItem = Builder.CreateBitCast(CurrentItem,
578f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                      ConvertType(ElementTy), "tmp");
5791eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
580f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  if (!DeclAddress) {
581f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    LValue LV = EmitLValue(cast<Expr>(S.getElement()));
5821eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
583f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    // Set the value to null.
584f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    Builder.CreateStore(CurrentItem, LV.getAddress());
585f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  } else
586f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    Builder.CreateStore(CurrentItem, DeclAddress);
5871eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
588f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  // Increment the counter.
5891eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  Counter = Builder.CreateAdd(Counter,
5904a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson                              llvm::ConstantInt::get(UnsignedLongLTy, 1));
591f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  Builder.CreateStore(Counter, CounterPtr);
5921eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
59355e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar  llvm::BasicBlock *LoopEnd = createBasicBlock("loopend");
59455e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar  llvm::BasicBlock *AfterBody = createBasicBlock("afterbody");
5951eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
596e4b6d342c29d5cb9d311756100df1603810fa892Anders Carlsson  BreakContinueStack.push_back(BreakContinue(LoopEnd, AfterBody));
597f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
598f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  EmitStmt(S.getBody());
5991eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
600f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  BreakContinueStack.pop_back();
6011eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
602f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  EmitBlock(AfterBody);
6031eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
60455e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar  llvm::BasicBlock *FetchMore = createBasicBlock("fetchmore");
605f0906c4edb37b20141428ca77fa7dfd00b976eafFariborz Jahanian
606f0906c4edb37b20141428ca77fa7dfd00b976eafFariborz Jahanian  Counter = Builder.CreateLoad(CounterPtr);
607f0906c4edb37b20141428ca77fa7dfd00b976eafFariborz Jahanian  Limit = Builder.CreateLoad(LimitPtr);
608f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *IsLess = Builder.CreateICmpULT(Counter, Limit, "isless");
609fe2b2c08984f861f82339138302689480c658ecdDaniel Dunbar  Builder.CreateCondBr(IsLess, LoopBody, FetchMore);
610f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
611f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  // Fetch more elements.
612f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  EmitBlock(FetchMore);
6131eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
6141eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  CountRV =
6151eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    CGM.getObjCRuntime().GenerateMessageSend(*this,
616f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                             getContext().UnsignedLongTy,
6171eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump                                             FastEnumSel,
618f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                             Collection, false, Args);
619f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  Builder.CreateStore(CountRV.getScalarVal(), LimitPtr);
620f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  Limit = Builder.CreateLoad(LimitPtr);
6211eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
622f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  IsZero = Builder.CreateICmpEQ(Limit, Zero, "iszero");
623f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  Builder.CreateCondBr(IsZero, NoElements, LoopStart);
6241eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
625f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  // No more elements.
626f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  EmitBlock(NoElements);
627f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
628f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  if (!DeclAddress) {
629f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    // If the element was not a declaration, set it to be null.
630f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
631f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    LValue LV = EmitLValue(cast<Expr>(S.getElement()));
6321eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
633f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    // Set the value to null.
634c9c88b4159791c48e486ca94e3743b5979e2b7a6Owen Anderson    Builder.CreateStore(llvm::Constant::getNullValue(ConvertType(ElementTy)),
635f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                        LV.getAddress());
636f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  }
637f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
638f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  EmitBlock(LoopEnd);
6393d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson}
6403d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson
6411eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpvoid CodeGenFunction::EmitObjCAtTryStmt(const ObjCAtTryStmt &S) {
642bd71be4683c195260d5245118b1e13e6b2e20504Fariborz Jahanian  CGM.getObjCRuntime().EmitTryOrSynchronizedStmt(*this, S);
64364d5d6c5903157c521af496479d06dc26032d718Anders Carlsson}
64464d5d6c5903157c521af496479d06dc26032d718Anders Carlsson
6451eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpvoid CodeGenFunction::EmitObjCAtThrowStmt(const ObjCAtThrowStmt &S) {
64664d5d6c5903157c521af496479d06dc26032d718Anders Carlsson  CGM.getObjCRuntime().EmitThrowStmt(*this, S);
64764d5d6c5903157c521af496479d06dc26032d718Anders Carlsson}
64864d5d6c5903157c521af496479d06dc26032d718Anders Carlsson
64910cac6f7115b59a466bb8d2d51cdddeb38aadc37Chris Lattnervoid CodeGenFunction::EmitObjCAtSynchronizedStmt(
6501eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump                                              const ObjCAtSynchronizedStmt &S) {
651bd71be4683c195260d5245118b1e13e6b2e20504Fariborz Jahanian  CGM.getObjCRuntime().EmitTryOrSynchronizedStmt(*this, S);
65210cac6f7115b59a466bb8d2d51cdddeb38aadc37Chris Lattner}
65310cac6f7115b59a466bb8d2d51cdddeb38aadc37Chris Lattner
6542979ec73b4f974d85f2ce84167712177a44c6f09Ted KremenekCGObjCRuntime::~CGObjCRuntime() {}
655