CGObjC.cpp revision 04badcf84c8d504d8491c7c7e29b58f52cb16640
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  bool isSuperMessage = false;
57f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar  bool isClassMessage = false;
588fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  // Find the receiver
598fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  llvm::Value *Receiver;
6004badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor  switch (E->getReceiverKind()) {
6104badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor  case ObjCMessageExpr::Instance:
6204badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor    Receiver = EmitScalarExpr(E->getInstanceReceiver());
6304badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor    break;
641eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
6504badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor  case ObjCMessageExpr::Class: {
6604badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor    const ObjCInterfaceType *IFace
6704badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor      = E->getClassReceiver()->getAs<ObjCInterfaceType>();
6804badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor    assert(IFace && "Invalid Objective-C class message send");
6904badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor    Receiver = Runtime.GetClass(Builder, IFace->getDecl());
70f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar    isClassMessage = true;
7104badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor    break;
7204badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor  }
7304badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor
7404badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor  case ObjCMessageExpr::SuperInstance:
7504badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor    Receiver = LoadObjCSelf();
768fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner    isSuperMessage = true;
7704badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor    break;
7804badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor
7904badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor  case ObjCMessageExpr::SuperClass:
808fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner    Receiver = LoadObjCSelf();
8104badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor    isSuperMessage = true;
8204badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor    isClassMessage = true;
8304badcf84c8d504d8491c7c7e29b58f52cb16640Douglas Gregor    break;
848fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  }
858fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner
8619cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar  CallArgList Args;
87131038e2125d98f1be0d9cb62561a7cede41bb44Anders Carlsson  EmitCallArgs(Args, E->getMethodDecl(), E->arg_begin(), E->arg_end());
881eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
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,
99d6c93d703541c992e06eb9a59a2d826a30da65b2Daniel Dunbar                                            Args,
100d6c93d703541c992e06eb9a59a2d826a30da65b2Daniel Dunbar                                            E->getMethodDecl());
1018fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner  }
102d6c93d703541c992e06eb9a59a2d826a30da65b2Daniel Dunbar
1031eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  return Runtime.GenerateMessageSend(*this, E->getType(), E->getSelector(),
104df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian                                     Receiver, isClassMessage, Args,
105df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian                                     E->getMethodDecl());
1065508518a2702b00be3b15a26d772bde968972f54Anders Carlsson}
1075508518a2702b00be3b15a26d772bde968972f54Anders Carlsson
108af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// StartObjCMethod - Begin emission of an ObjCMethod. This generates
109af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// the LLVM function and sets the other context used by
110af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// CodeGenFunction.
111679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanianvoid CodeGenFunction::StartObjCMethod(const ObjCMethodDecl *OMD,
112679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanian                                      const ObjCContainerDecl *CD) {
1137c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar  FunctionArgList Args;
1144800ea6ff8017cf803c32a5fd63b94c0614014e3Devang Patel  // Check if we should generate debug info for this method.
1154800ea6ff8017cf803c32a5fd63b94c0614014e3Devang Patel  if (CGM.getDebugInfo() && !OMD->hasAttr<NoDebugAttr>())
1164800ea6ff8017cf803c32a5fd63b94c0614014e3Devang Patel    DebugInfo = CGM.getDebugInfo();
1174800ea6ff8017cf803c32a5fd63b94c0614014e3Devang Patel
118679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanian  llvm::Function *Fn = CGM.getObjCRuntime().GenerateMethod(OMD, CD);
119f80519b919a348db004fba18530706314d1ebfb5Daniel Dunbar
1200e4f40e1bbc4dce16bbb9870300a435419f1b3d5Daniel Dunbar  const CGFunctionInfo &FI = CGM.getTypes().getFunctionInfo(OMD);
1210e4f40e1bbc4dce16bbb9870300a435419f1b3d5Daniel Dunbar  CGM.SetInternalFunctionAttributes(OMD, Fn, FI);
1224111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner
1231eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  Args.push_back(std::make_pair(OMD->getSelfDecl(),
1247c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar                                OMD->getSelfDecl()->getType()));
1257c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar  Args.push_back(std::make_pair(OMD->getCmdDecl(),
1267c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar                                OMD->getCmdDecl()->getType()));
1274111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner
12889951a86b594513c2a013532ed45d197413b1087Chris Lattner  for (ObjCMethodDecl::param_iterator PI = OMD->param_begin(),
12989951a86b594513c2a013532ed45d197413b1087Chris Lattner       E = OMD->param_end(); PI != E; ++PI)
13089951a86b594513c2a013532ed45d197413b1087Chris Lattner    Args.push_back(std::make_pair(*PI, (*PI)->getType()));
131b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar
132a92d613a1a3881fb5002ce99e5721056161bcd28Devang Patel  StartFunction(OMD, OMD->getResultType(), Fn, Args, OMD->getLocStart());
133af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar}
134af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar
135af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// Generate an Objective-C method.  An Objective-C method is a C function with
1361eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump/// its pointer, name, and types registered in the class struture.
137af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbarvoid CodeGenFunction::GenerateObjCMethod(const ObjCMethodDecl *OMD) {
138679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanian  StartObjCMethod(OMD, OMD->getClassInterface());
1396fb0aee4f9dc261bbec72e1283ad8dc0557a6d96Argyrios Kyrtzidis  EmitStmt(OMD->getBody());
1406fb0aee4f9dc261bbec72e1283ad8dc0557a6d96Argyrios Kyrtzidis  FinishFunction(OMD->getBodyRBrace());
141af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar}
142af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar
143f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump// FIXME: I wasn't sure about the synthesis approach. If we end up generating an
144f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump// AST for the whole body we can just fall back to having a GenerateFunction
145f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump// which takes the body Stmt.
146af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar
147af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// GenerateObjCGetter - Generate an Objective-C property getter
148489034cf8bde09360e0089f401b2929597b125d8Steve Naroff/// function. The given Decl must be an ObjCImplementationDecl. @synthesize
149489034cf8bde09360e0089f401b2929597b125d8Steve Naroff/// is illegal within a category.
150fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanianvoid CodeGenFunction::GenerateObjCGetter(ObjCImplementationDecl *IMP,
151fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian                                         const ObjCPropertyImplDecl *PID) {
152c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar  ObjCIvarDecl *Ivar = PID->getPropertyIvarDecl();
153af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  const ObjCPropertyDecl *PD = PID->getPropertyDecl();
15415bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian  bool IsAtomic =
15515bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian    !(PD->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_nonatomic);
156af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  ObjCMethodDecl *OMD = PD->getGetterMethodDecl();
157af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  assert(OMD && "Invalid call to generate getter (empty method)");
158f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump  // FIXME: This is rather murky, we create this here since they will not have
159f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump  // been created by Sema for us.
160fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian  OMD->createImplicitParams(getContext(), IMP->getClassInterface());
161679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanian  StartObjCMethod(OMD, IMP->getClassInterface());
16215bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian
163c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar  // Determine if we should use an objc_getProperty call for
164447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian  // this. Non-atomic properties are directly evaluated.
165447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian  // atomic 'copy' and 'retain' properties are also directly
166447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian  // evaluated in gc-only mode.
167c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar  if (CGM.getLangOptions().getGCMode() != LangOptions::GCOnly &&
16815bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian      IsAtomic &&
169447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian      (PD->getSetterKind() == ObjCPropertyDecl::Copy ||
170447d7aeb9499d7ade42be7d63fa03b37b1d2fc09Fariborz Jahanian       PD->getSetterKind() == ObjCPropertyDecl::Retain)) {
1711eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    llvm::Value *GetPropertyFn =
172c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar      CGM.getObjCRuntime().GetPropertyGetFunction();
1731eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
174c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    if (!GetPropertyFn) {
175c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar      CGM.ErrorUnsupported(PID, "Obj-C getter requiring atomic copy");
176c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar      FinishFunction();
177c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar      return;
178c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    }
179c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar
180c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    // Return (ivar-type) objc_getProperty((id) self, _cmd, offset, true).
181c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    // FIXME: Can't this be simpler? This might even be worse than the
182c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    // corresponding gcc code.
183c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    CodeGenTypes &Types = CGM.getTypes();
184c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    ValueDecl *Cmd = OMD->getCmdDecl();
185c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    llvm::Value *CmdVal = Builder.CreateLoad(LocalDeclMap[Cmd], "cmd");
186c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    QualType IdTy = getContext().getObjCIdType();
1871eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    llvm::Value *SelfAsId =
188c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar      Builder.CreateBitCast(LoadObjCSelf(), Types.ConvertType(IdTy));
189fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian    llvm::Value *Offset = EmitIvarOffset(IMP->getClassInterface(), Ivar);
190c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    llvm::Value *True =
1914a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson      llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy), 1);
192c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    CallArgList Args;
193c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    Args.push_back(std::make_pair(RValue::get(SelfAsId), IdTy));
194c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    Args.push_back(std::make_pair(RValue::get(CmdVal), Cmd->getType()));
195c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    Args.push_back(std::make_pair(RValue::get(Offset), getContext().LongTy));
196c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    Args.push_back(std::make_pair(RValue::get(True), getContext().BoolTy));
197e4be5a66072f7c7618071284c8d2a9c6d8e691cfDaniel Dunbar    // FIXME: We shouldn't need to get the function info here, the
198e4be5a66072f7c7618071284c8d2a9c6d8e691cfDaniel Dunbar    // runtime already should have computed it to build the function.
19904a67a6aa3dfdc92d57f7f8d93ba397348c868a4John McCall    RValue RV = EmitCall(Types.getFunctionInfo(PD->getType(), Args,
200264ba48dc98f3f843935a485d5b086f7e0fdc4f1Rafael Espindola                                               FunctionType::ExtInfo()),
201f3c47c9525153aea2de0ec4bd615b9cf2d81c103Anders Carlsson                         GetPropertyFn, ReturnValueSlot(), Args);
202c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    // We need to fix the type here. Ivars with copy & retain are
203c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    // always objects so we don't need to worry about complex or
204c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    // aggregates.
2051eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    RV = RValue::get(Builder.CreateBitCast(RV.getScalarVal(),
206c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar                                           Types.ConvertType(PD->getType())));
207c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    EmitReturnOfRValue(RV, PD->getType());
208c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar  } else {
209525c9b7baeeff022127cd1b167579f3bda73b3edDaniel Dunbar    LValue LV = EmitLValueForIvar(TypeOfSelfObject(), LoadObjCSelf(), Ivar, 0);
2101b23fe61cf4437668280212d0ad6cb7196f51529Fariborz Jahanian    if (Ivar->getType()->isAnyComplexType()) {
2111b23fe61cf4437668280212d0ad6cb7196f51529Fariborz Jahanian      ComplexPairTy Pair = LoadComplexFromAddr(LV.getAddress(),
2121b23fe61cf4437668280212d0ad6cb7196f51529Fariborz Jahanian                                               LV.isVolatileQualified());
2131b23fe61cf4437668280212d0ad6cb7196f51529Fariborz Jahanian      StoreComplexToAddr(Pair, ReturnValue, LV.isVolatileQualified());
2141b23fe61cf4437668280212d0ad6cb7196f51529Fariborz Jahanian    }
2151b23fe61cf4437668280212d0ad6cb7196f51529Fariborz Jahanian    else if (hasAggregateLLVMType(Ivar->getType())) {
21615bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian      bool IsStrong = false;
21715bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian      if ((IsAtomic || (IsStrong = IvarTypeWithAggrGCObjects(Ivar->getType())))
2180b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian          && CurFnInfo->getReturnInfo().getKind() == ABIArgInfo::Indirect
2190b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian          && CGM.getObjCRuntime().GetCopyStructFunction()) {
2200b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian        llvm::Value *GetCopyStructFn =
2210b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian          CGM.getObjCRuntime().GetCopyStructFunction();
2220b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian        CodeGenTypes &Types = CGM.getTypes();
2230b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian        // objc_copyStruct (ReturnValue, &structIvar,
2240b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian        //                  sizeof (Type of Ivar), isAtomic, false);
2250b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian        CallArgList Args;
2260b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian        RValue RV = RValue::get(Builder.CreateBitCast(ReturnValue,
2270b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian                                    Types.ConvertType(getContext().VoidPtrTy)));
2280b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian        Args.push_back(std::make_pair(RV, getContext().VoidPtrTy));
2290b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian        RV = RValue::get(Builder.CreateBitCast(LV.getAddress(),
2300b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian                                    Types.ConvertType(getContext().VoidPtrTy)));
2310b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian        Args.push_back(std::make_pair(RV, getContext().VoidPtrTy));
2320b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian        // sizeof (Type of Ivar)
2330b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian        uint64_t Size =  getContext().getTypeSize(Ivar->getType()) / 8;
2340b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian        llvm::Value *SizeVal =
2350b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian          llvm::ConstantInt::get(Types.ConvertType(getContext().LongTy), Size);
2360b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian        Args.push_back(std::make_pair(RValue::get(SizeVal),
2370b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian                                      getContext().LongTy));
2380b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian        llvm::Value *isAtomic =
23908adf327cdcbf838990915bcdaebfdaf553144b7Fariborz Jahanian          llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy),
24008adf327cdcbf838990915bcdaebfdaf553144b7Fariborz Jahanian                                 IsAtomic ? 1 : 0);
2410b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian        Args.push_back(std::make_pair(RValue::get(isAtomic),
2420b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian                                      getContext().BoolTy));
24315bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian        llvm::Value *hasStrong =
24415bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian          llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy),
24515bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian                                 IsStrong ? 1 : 0);
24615bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian        Args.push_back(std::make_pair(RValue::get(hasStrong),
24715bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian                                      getContext().BoolTy));
2480b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian        EmitCall(Types.getFunctionInfo(getContext().VoidTy, Args,
2490b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian                                       FunctionType::ExtInfo()),
2500b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian                 GetCopyStructFn, ReturnValueSlot(), Args);
2510b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian      }
2520b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian      else
2530b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian        EmitAggregateCopy(ReturnValue, LV.getAddress(), Ivar->getType());
254b3589f44c5d295cd41de2c83f3475116835eeebdMike Stump    } else {
255ed1d29d62595a83ccf6ef23eb2759d355206df2eFariborz Jahanian      CodeGenTypes &Types = CGM.getTypes();
256ed1d29d62595a83ccf6ef23eb2759d355206df2eFariborz Jahanian      RValue RV = EmitLoadOfLValue(LV, Ivar->getType());
257ed1d29d62595a83ccf6ef23eb2759d355206df2eFariborz Jahanian      RV = RValue::get(Builder.CreateBitCast(RV.getScalarVal(),
2581eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump                       Types.ConvertType(PD->getType())));
259ed1d29d62595a83ccf6ef23eb2759d355206df2eFariborz Jahanian      EmitReturnOfRValue(RV, PD->getType());
260ed1d29d62595a83ccf6ef23eb2759d355206df2eFariborz Jahanian    }
261c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar  }
262af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar
263af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  FinishFunction();
264af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar}
265af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar
266af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar/// GenerateObjCSetter - Generate an Objective-C property setter
267489034cf8bde09360e0089f401b2929597b125d8Steve Naroff/// function. The given Decl must be an ObjCImplementationDecl. @synthesize
268489034cf8bde09360e0089f401b2929597b125d8Steve Naroff/// is illegal within a category.
269fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanianvoid CodeGenFunction::GenerateObjCSetter(ObjCImplementationDecl *IMP,
270fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian                                         const ObjCPropertyImplDecl *PID) {
27186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  ObjCIvarDecl *Ivar = PID->getPropertyIvarDecl();
272af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  const ObjCPropertyDecl *PD = PID->getPropertyDecl();
273af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  ObjCMethodDecl *OMD = PD->getSetterMethodDecl();
274af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  assert(OMD && "Invalid call to generate setter (empty method)");
275f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump  // FIXME: This is rather murky, we create this here since they will not have
276f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump  // been created by Sema for us.
277fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian  OMD->createImplicitParams(getContext(), IMP->getClassInterface());
278679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanian  StartObjCMethod(OMD, IMP->getClassInterface());
279b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar
28086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  bool IsCopy = PD->getSetterKind() == ObjCPropertyDecl::Copy;
2811eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  bool IsAtomic =
28286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    !(PD->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_nonatomic);
28386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar
28486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  // Determine if we should use an objc_setProperty call for
28586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  // this. Properties with 'copy' semantics always use it, as do
28686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  // non-atomic properties with 'release' semantics as long as we are
28786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  // not in gc-only mode.
28886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  if (IsCopy ||
28986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar      (CGM.getLangOptions().getGCMode() != LangOptions::GCOnly &&
29086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar       PD->getSetterKind() == ObjCPropertyDecl::Retain)) {
2911eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    llvm::Value *SetPropertyFn =
29286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar      CGM.getObjCRuntime().GetPropertySetFunction();
2931eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
29486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    if (!SetPropertyFn) {
29586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar      CGM.ErrorUnsupported(PID, "Obj-C getter requiring atomic copy");
29686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar      FinishFunction();
29786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar      return;
29886957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    }
2991eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
3001eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    // Emit objc_setProperty((id) self, _cmd, offset, arg,
30186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    //                       <is-atomic>, <is-copy>).
30286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    // FIXME: Can't this be simpler? This might even be worse than the
30386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    // corresponding gcc code.
30486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    CodeGenTypes &Types = CGM.getTypes();
30586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    ValueDecl *Cmd = OMD->getCmdDecl();
30686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    llvm::Value *CmdVal = Builder.CreateLoad(LocalDeclMap[Cmd], "cmd");
30786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    QualType IdTy = getContext().getObjCIdType();
3081eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    llvm::Value *SelfAsId =
30986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar      Builder.CreateBitCast(LoadObjCSelf(), Types.ConvertType(IdTy));
310fef30b55230064d334a669a065a1c9acdb87cdfeFariborz Jahanian    llvm::Value *Offset = EmitIvarOffset(IMP->getClassInterface(), Ivar);
31189951a86b594513c2a013532ed45d197413b1087Chris Lattner    llvm::Value *Arg = LocalDeclMap[*OMD->param_begin()];
3121eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    llvm::Value *ArgAsId =
31386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar      Builder.CreateBitCast(Builder.CreateLoad(Arg, "arg"),
31486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar                            Types.ConvertType(IdTy));
31586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    llvm::Value *True =
3164a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson      llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy), 1);
31786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    llvm::Value *False =
3184a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson      llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy), 0);
31986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    CallArgList Args;
32086957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    Args.push_back(std::make_pair(RValue::get(SelfAsId), IdTy));
32186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    Args.push_back(std::make_pair(RValue::get(CmdVal), Cmd->getType()));
32286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    Args.push_back(std::make_pair(RValue::get(Offset), getContext().LongTy));
32386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    Args.push_back(std::make_pair(RValue::get(ArgAsId), IdTy));
3241eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    Args.push_back(std::make_pair(RValue::get(IsAtomic ? True : False),
32586957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar                                  getContext().BoolTy));
3261eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    Args.push_back(std::make_pair(RValue::get(IsCopy ? True : False),
32786957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar                                  getContext().BoolTy));
328f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump    // FIXME: We shouldn't need to get the function info here, the runtime
329f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump    // already should have computed it to build the function.
33004a67a6aa3dfdc92d57f7f8d93ba397348c868a4John McCall    EmitCall(Types.getFunctionInfo(getContext().VoidTy, Args,
331264ba48dc98f3f843935a485d5b086f7e0fdc4f1Rafael Espindola                                   FunctionType::ExtInfo()),
332264ba48dc98f3f843935a485d5b086f7e0fdc4f1Rafael Espindola             SetPropertyFn,
333f3c47c9525153aea2de0ec4bd615b9cf2d81c103Anders Carlsson             ReturnValueSlot(), Args);
3340b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian  } else if (IsAtomic && hasAggregateLLVMType(Ivar->getType()) &&
3350b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian             !Ivar->getType()->isAnyComplexType() &&
3360b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian             IndirectObjCSetterArg(*CurFnInfo)
3370b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian             && CGM.getObjCRuntime().GetCopyStructFunction()) {
3380b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian    // objc_copyStruct (&structIvar, &Arg,
3390b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian    //                  sizeof (struct something), true, false);
3400b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian    llvm::Value *GetCopyStructFn =
3410b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian      CGM.getObjCRuntime().GetCopyStructFunction();
3420b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian    CodeGenTypes &Types = CGM.getTypes();
3430b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian    CallArgList Args;
3440b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian    LValue LV = EmitLValueForIvar(TypeOfSelfObject(), LoadObjCSelf(), Ivar, 0);
3450b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian    RValue RV = RValue::get(Builder.CreateBitCast(LV.getAddress(),
3460b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian                                    Types.ConvertType(getContext().VoidPtrTy)));
3470b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian    Args.push_back(std::make_pair(RV, getContext().VoidPtrTy));
3480b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian    llvm::Value *Arg = LocalDeclMap[*OMD->param_begin()];
3490b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian    llvm::Value *ArgAsPtrTy =
3500b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian      Builder.CreateBitCast(Arg,
3510b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian                            Types.ConvertType(getContext().VoidPtrTy));
3520b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian    RV = RValue::get(ArgAsPtrTy);
3530b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian    Args.push_back(std::make_pair(RV, getContext().VoidPtrTy));
3540b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian    // sizeof (Type of Ivar)
3550b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian    uint64_t Size =  getContext().getTypeSize(Ivar->getType()) / 8;
3560b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian    llvm::Value *SizeVal =
3570b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian      llvm::ConstantInt::get(Types.ConvertType(getContext().LongTy), Size);
3580b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian    Args.push_back(std::make_pair(RValue::get(SizeVal),
3590b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian                                  getContext().LongTy));
3600b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian    llvm::Value *True =
3610b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian      llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy), 1);
3620b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian    Args.push_back(std::make_pair(RValue::get(True), getContext().BoolTy));
3630b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian    llvm::Value *False =
3640b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian      llvm::ConstantInt::get(Types.ConvertType(getContext().BoolTy), 0);
3650b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian    Args.push_back(std::make_pair(RValue::get(False), getContext().BoolTy));
3660b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian    EmitCall(Types.getFunctionInfo(getContext().VoidTy, Args,
3670b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian                                   FunctionType::ExtInfo()),
3680b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian             GetCopyStructFn, ReturnValueSlot(), Args);
36986957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  } else {
37045e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar    // FIXME: Find a clean way to avoid AST node creation.
37186957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    SourceLocation Loc = PD->getLocation();
37286957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    ValueDecl *Self = OMD->getSelfDecl();
37386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    ObjCIvarDecl *Ivar = PID->getPropertyIvarDecl();
37486957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    DeclRefExpr Base(Self, Self->getType(), Loc);
37589951a86b594513c2a013532ed45d197413b1087Chris Lattner    ParmVarDecl *ArgDecl = *OMD->param_begin();
37686957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar    DeclRefExpr Arg(ArgDecl, ArgDecl->getType(), Loc);
37745e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar    ObjCIvarRefExpr IvarRef(Ivar, Ivar->getType(), Loc, &Base, true, true);
37845e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar
37945e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar    // The property type can differ from the ivar type in some situations with
38045e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar    // Objective-C pointer types, we can always bit cast the RHS in these cases.
38145e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar    if (getContext().getCanonicalType(Ivar->getType()) !=
38245e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar        getContext().getCanonicalType(ArgDecl->getType())) {
38345e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar      ImplicitCastExpr ArgCasted(Ivar->getType(), CastExpr::CK_BitCast, &Arg,
38445e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar                                 false);
38545e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar      BinaryOperator Assign(&IvarRef, &ArgCasted, BinaryOperator::Assign,
38645e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar                            Ivar->getType(), Loc);
38745e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar      EmitStmt(&Assign);
38845e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar    } else {
38945e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar      BinaryOperator Assign(&IvarRef, &Arg, BinaryOperator::Assign,
39045e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar                            Ivar->getType(), Loc);
39145e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar      EmitStmt(&Assign);
39245e8423d7dcea657c14c55347e8a30ac904d7501Daniel Dunbar    }
39386957eb200492e95a09bce1b2c76f66345468f84Daniel Dunbar  }
394af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar
395af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar  FinishFunction();
3964111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner}
3974111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner
3980b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanianbool CodeGenFunction::IndirectObjCSetterArg(const CGFunctionInfo &FI) {
3990b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian  CGFunctionInfo::const_arg_iterator it = FI.arg_begin();
4000b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian  it++; it++;
4010b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian  const ABIArgInfo &AI = it->info;
4020b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian  // FIXME. Is this sufficient check?
4030b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian  return (AI.getKind() == ABIArgInfo::Indirect);
4040b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian}
4050b2bd47151ee9205ad6c66d1ffb921918106088aFariborz Jahanian
40615bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanianbool CodeGenFunction::IvarTypeWithAggrGCObjects(QualType Ty) {
40715bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian  if (CGM.getLangOptions().getGCMode() == LangOptions::NonGC)
40815bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian    return false;
40915bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian  if (const RecordType *FDTTy = Ty.getTypePtr()->getAs<RecordType>())
41015bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian    return FDTTy->getDecl()->hasObjectMember();
41115bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian  return false;
41215bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian}
41315bd58842adaa4f8cca4e58047ed18e033858d9bFariborz Jahanian
414c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbarllvm::Value *CodeGenFunction::LoadObjCSelf() {
415b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar  const ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(CurFuncDecl);
4166cc88f78fd36d3511b89412b193494b3e423cbffMike Stump  // See if we need to lazily forward self inside a block literal.
4176cc88f78fd36d3511b89412b193494b3e423cbffMike Stump  BlockForwardSelf();
418b7ec246872b412f0e7bb9e93eacfd78cfa6adfb3Daniel Dunbar  return Builder.CreateLoad(LocalDeclMap[OMD->getSelfDecl()], "self");
4194111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner}
4204111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner
42145012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz JahanianQualType CodeGenFunction::TypeOfSelfObject() {
42245012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz Jahanian  const ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(CurFuncDecl);
42345012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz Jahanian  ImplicitParamDecl *selfDecl = OMD->getSelfDecl();
42414108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff  const ObjCObjectPointerType *PTy = cast<ObjCObjectPointerType>(
42514108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff    getContext().getCanonicalType(selfDecl->getType()));
42645012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz Jahanian  return PTy->getPointeeType();
42745012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz Jahanian}
42845012a7ef5abf1042c893f3f2fa5c23cb5485ea9Fariborz Jahanian
4291eb4433ac451dc16f4133a88af2d002ac26c58efMike StumpRValue CodeGenFunction::EmitObjCSuperPropertyGet(const Expr *Exp,
430f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                 const Selector &S) {
431f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian  llvm::Value *Receiver = LoadObjCSelf();
432f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian  const ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(CurFuncDecl);
433f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian  bool isClassMessage = OMD->isClassMethod();
434f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian  bool isCategoryImpl = isa<ObjCCategoryImplDecl>(OMD->getDeclContext());
4351eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  return CGM.getObjCRuntime().GenerateMessageSendSuper(*this,
436f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                       Exp->getType(),
437f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                       S,
438f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                       OMD->getClassInterface(),
439f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                       isCategoryImpl,
440f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                       Receiver,
441f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                       isClassMessage,
442f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                       CallArgList());
4431eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
444f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian}
445f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian
4465daf570d0ce027e18ed5f9d66e6b2a14a40b720dFariborz JahanianRValue CodeGenFunction::EmitObjCPropertyGet(const Expr *Exp) {
447d2e1eb064cfb8d361ea1dd4f6253a4e20f24d88dFariborz Jahanian  Exp = Exp->IgnoreParens();
44843f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian  // FIXME: Split it into two separate routines.
4495daf570d0ce027e18ed5f9d66e6b2a14a40b720dFariborz Jahanian  if (const ObjCPropertyRefExpr *E = dyn_cast<ObjCPropertyRefExpr>(Exp)) {
4505daf570d0ce027e18ed5f9d66e6b2a14a40b720dFariborz Jahanian    Selector S = E->getProperty()->getGetterName();
451f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian    if (isa<ObjCSuperExpr>(E->getBase()))
452f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian      return EmitObjCSuperPropertyGet(E, S);
4535daf570d0ce027e18ed5f9d66e6b2a14a40b720dFariborz Jahanian    return CGM.getObjCRuntime().
4541eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump             GenerateMessageSend(*this, Exp->getType(), S,
4551eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump                                 EmitScalarExpr(E->getBase()),
45643f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian                                 false, CallArgList());
457b3589f44c5d295cd41de2c83f3475116835eeebdMike Stump  } else {
4581eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    const ObjCImplicitSetterGetterRefExpr *KE =
45909105f52b1f28cbb1374c27c3c70f5517e2c465dFariborz Jahanian      cast<ObjCImplicitSetterGetterRefExpr>(Exp);
460f479cea608dae347bc06c7a7279ab54fe34d47f6Daniel Dunbar    Selector S = KE->getGetterMethod()->getSelector();
4613523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian    llvm::Value *Receiver;
462d2ae5aa732e8587816fd7a7be911460e337c178eFariborz Jahanian    if (KE->getInterfaceDecl()) {
463d2ae5aa732e8587816fd7a7be911460e337c178eFariborz Jahanian      const ObjCInterfaceDecl *OID = KE->getInterfaceDecl();
4643523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian      Receiver = CGM.getObjCRuntime().GetClass(Builder, OID);
465b3589f44c5d295cd41de2c83f3475116835eeebdMike Stump    } else if (isa<ObjCSuperExpr>(KE->getBase()))
466f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian      return EmitObjCSuperPropertyGet(KE, S);
4671eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    else
4683523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian      Receiver = EmitScalarExpr(KE->getBase());
46943f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian    return CGM.getObjCRuntime().
4701eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump             GenerateMessageSend(*this, Exp->getType(), S,
4711eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump                                 Receiver,
472d2ae5aa732e8587816fd7a7be911460e337c178eFariborz Jahanian                                 KE->getInterfaceDecl() != 0, CallArgList());
4735daf570d0ce027e18ed5f9d66e6b2a14a40b720dFariborz Jahanian  }
4749c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar}
4759c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar
476f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanianvoid CodeGenFunction::EmitObjCSuperPropertySet(const Expr *Exp,
477f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                               const Selector &S,
478f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                               RValue Src) {
479f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian  CallArgList Args;
480f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian  llvm::Value *Receiver = LoadObjCSelf();
481f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian  const ObjCMethodDecl *OMD = cast<ObjCMethodDecl>(CurFuncDecl);
482f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian  bool isClassMessage = OMD->isClassMethod();
483f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian  bool isCategoryImpl = isa<ObjCCategoryImplDecl>(OMD->getDeclContext());
484f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian  Args.push_back(std::make_pair(Src, Exp->getType()));
4851eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  CGM.getObjCRuntime().GenerateMessageSendSuper(*this,
486f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                Exp->getType(),
487f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                S,
488f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                OMD->getClassInterface(),
489f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                isCategoryImpl,
490f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                Receiver,
491f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                isClassMessage,
492f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian                                                Args);
493f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian  return;
494f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian}
495f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian
49643f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanianvoid CodeGenFunction::EmitObjCPropertySet(const Expr *Exp,
49785c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar                                          RValue Src) {
49843f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian  // FIXME: Split it into two separate routines.
49943f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian  if (const ObjCPropertyRefExpr *E = dyn_cast<ObjCPropertyRefExpr>(Exp)) {
50043f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian    Selector S = E->getProperty()->getSetterName();
501f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian    if (isa<ObjCSuperExpr>(E->getBase())) {
502f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian      EmitObjCSuperPropertySet(E, S, Src);
503f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian      return;
5041eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    }
50543f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian    CallArgList Args;
50643f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian    Args.push_back(std::make_pair(Src, E->getType()));
5071eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    CGM.getObjCRuntime().GenerateMessageSend(*this, getContext().VoidTy, S,
5081eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump                                             EmitScalarExpr(E->getBase()),
50943f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian                                             false, Args);
5101eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  } else if (const ObjCImplicitSetterGetterRefExpr *E =
51109105f52b1f28cbb1374c27c3c70f5517e2c465dFariborz Jahanian               dyn_cast<ObjCImplicitSetterGetterRefExpr>(Exp)) {
51243f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian    Selector S = E->getSetterMethod()->getSelector();
51343f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian    CallArgList Args;
5143523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian    llvm::Value *Receiver;
515d2ae5aa732e8587816fd7a7be911460e337c178eFariborz Jahanian    if (E->getInterfaceDecl()) {
516d2ae5aa732e8587816fd7a7be911460e337c178eFariborz Jahanian      const ObjCInterfaceDecl *OID = E->getInterfaceDecl();
5173523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian      Receiver = CGM.getObjCRuntime().GetClass(Builder, OID);
518b3589f44c5d295cd41de2c83f3475116835eeebdMike Stump    } else if (isa<ObjCSuperExpr>(E->getBase())) {
519f469557743f77918d2ca8226e2ee2888998ffd4aFariborz Jahanian      EmitObjCSuperPropertySet(E, S, Src);
5208e5d23236ad05f9b18114d5486b3a3aeadf42e00Fariborz Jahanian      return;
521b3589f44c5d295cd41de2c83f3475116835eeebdMike Stump    } else
5223523d4f59eb0aa1f200dcb943093ecfe75008735Fariborz Jahanian      Receiver = EmitScalarExpr(E->getBase());
52343f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian    Args.push_back(std::make_pair(Src, E->getType()));
5241eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    CGM.getObjCRuntime().GenerateMessageSend(*this, getContext().VoidTy, S,
5251eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump                                             Receiver,
526d2ae5aa732e8587816fd7a7be911460e337c178eFariborz Jahanian                                             E->getInterfaceDecl() != 0, Args);
527b3589f44c5d295cd41de2c83f3475116835eeebdMike Stump  } else
52843f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian    assert (0 && "bad expression node in EmitObjCPropertySet");
52985c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar}
53085c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar
53174391b48b4791cded373683a3baf67314f358d50Chris Lattnervoid CodeGenFunction::EmitObjCForCollectionStmt(const ObjCForCollectionStmt &S){
5321eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  llvm::Constant *EnumerationMutationFn =
533c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    CGM.getObjCRuntime().EnumerationMutationFunction();
534f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *DeclAddress;
535f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  QualType ElementTy;
5361eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
537c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar  if (!EnumerationMutationFn) {
538c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    CGM.ErrorUnsupported(&S, "Obj-C fast enumeration for this runtime");
539c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar    return;
540c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar  }
541c1cf4a579f8a0a77719deedc1b8f850b77d36ecfDaniel Dunbar
542f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  if (const DeclStmt *SD = dyn_cast<DeclStmt>(S.getElement())) {
543f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    EmitStmt(SD);
544a448fb2da03ece39978784793eea68760e8205a1Daniel Dunbar    assert(HaveInsertPoint() && "DeclStmt destroyed insert point!");
5457e24e82a70a2c681f4291a3397bcd1e1005f251aChris Lattner    const Decl* D = SD->getSingleDecl();
54639741cecde917affbcbdfb2942ff1a9eae8f3488Ted Kremenek    ElementTy = cast<ValueDecl>(D)->getType();
5471eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    DeclAddress = LocalDeclMap[D];
548f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  } else {
549f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    ElementTy = cast<Expr>(S.getElement())->getType();
550f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    DeclAddress = 0;
551f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  }
5521eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
553f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  // Fast enumeration state.
554f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  QualType StateTy = getContext().getObjCFastEnumerationStateType();
555195337d2e5d4625ae9dc1328c7cdbc7115b0261bDaniel Dunbar  llvm::Value *StatePtr = CreateMemTemp(StateTy, "state.ptr");
5562abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  EmitMemSetToZero(StatePtr, StateTy);
5571eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
558f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  // Number of elements in the items array.
5592abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  static const unsigned NumItems = 16;
5601eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
561f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  // Get selector
562ad4688669579d5d7b025137a095be66936d7ea31Benjamin Kramer  IdentifierInfo *II[] = {
563ad4688669579d5d7b025137a095be66936d7ea31Benjamin Kramer    &CGM.getContext().Idents.get("countByEnumeratingWithState"),
564ad4688669579d5d7b025137a095be66936d7ea31Benjamin Kramer    &CGM.getContext().Idents.get("objects"),
565ad4688669579d5d7b025137a095be66936d7ea31Benjamin Kramer    &CGM.getContext().Idents.get("count")
566ad4688669579d5d7b025137a095be66936d7ea31Benjamin Kramer  };
567ad4688669579d5d7b025137a095be66936d7ea31Benjamin Kramer  Selector FastEnumSel =
568ad4688669579d5d7b025137a095be66936d7ea31Benjamin Kramer    CGM.getContext().Selectors.getSelector(llvm::array_lengthof(II), &II[0]);
569f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
570f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  QualType ItemsTy =
571f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    getContext().getConstantArrayType(getContext().getObjCIdType(),
5721eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump                                      llvm::APInt(32, NumItems),
573f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                      ArrayType::Normal, 0);
574195337d2e5d4625ae9dc1328c7cdbc7115b0261bDaniel Dunbar  llvm::Value *ItemsPtr = CreateMemTemp(ItemsTy, "items.ptr");
5751eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
576f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *Collection = EmitScalarExpr(S.getCollection());
5771eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
578f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  CallArgList Args;
5791eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  Args.push_back(std::make_pair(RValue::get(StatePtr),
580f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                getContext().getPointerType(StateTy)));
5811eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
5821eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  Args.push_back(std::make_pair(RValue::get(ItemsPtr),
583f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                getContext().getPointerType(ItemsTy)));
5841eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
585f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  const llvm::Type *UnsignedLongLTy = ConvertType(getContext().UnsignedLongTy);
5864a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson  llvm::Constant *Count = llvm::ConstantInt::get(UnsignedLongLTy, NumItems);
5871eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  Args.push_back(std::make_pair(RValue::get(Count),
58846f45b9bec4a265ad8400a538e5ec3a5683617f1Daniel Dunbar                                getContext().UnsignedLongTy));
5891eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
5901eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  RValue CountRV =
5911eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    CGM.getObjCRuntime().GenerateMessageSend(*this,
592f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                             getContext().UnsignedLongTy,
593f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                             FastEnumSel,
594f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                             Collection, false, Args);
595f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
596195337d2e5d4625ae9dc1328c7cdbc7115b0261bDaniel Dunbar  llvm::Value *LimitPtr = CreateMemTemp(getContext().UnsignedLongTy,
597195337d2e5d4625ae9dc1328c7cdbc7115b0261bDaniel Dunbar                                        "limit.ptr");
598f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  Builder.CreateStore(CountRV.getScalarVal(), LimitPtr);
5991eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
60055e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar  llvm::BasicBlock *NoElements = createBasicBlock("noelements");
60155e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar  llvm::BasicBlock *SetStartMutations = createBasicBlock("setstartmutations");
6021eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
603f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *Limit = Builder.CreateLoad(LimitPtr);
604c9c88b4159791c48e486ca94e3743b5979e2b7a6Owen Anderson  llvm::Value *Zero = llvm::Constant::getNullValue(UnsignedLongLTy);
605f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
606f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *IsZero = Builder.CreateICmpEQ(Limit, Zero, "iszero");
6072abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  Builder.CreateCondBr(IsZero, NoElements, SetStartMutations);
608f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
6092abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  EmitBlock(SetStartMutations);
6101eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
611195337d2e5d4625ae9dc1328c7cdbc7115b0261bDaniel Dunbar  llvm::Value *StartMutationsPtr = CreateMemTemp(getContext().UnsignedLongTy);
6121eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
6131eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  llvm::Value *StateMutationsPtrPtr =
6142abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson    Builder.CreateStructGEP(StatePtr, 2, "mutationsptr.ptr");
6151eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  llvm::Value *StateMutationsPtr = Builder.CreateLoad(StateMutationsPtrPtr,
6162abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson                                                      "mutationsptr");
6171eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
6181eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  llvm::Value *StateMutations = Builder.CreateLoad(StateMutationsPtr,
6192abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson                                                   "mutations");
6201eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
6212abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  Builder.CreateStore(StateMutations, StartMutationsPtr);
6221eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
62355e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar  llvm::BasicBlock *LoopStart = createBasicBlock("loopstart");
624f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  EmitBlock(LoopStart);
625f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
626195337d2e5d4625ae9dc1328c7cdbc7115b0261bDaniel Dunbar  llvm::Value *CounterPtr = CreateMemTemp(getContext().UnsignedLongTy,
627195337d2e5d4625ae9dc1328c7cdbc7115b0261bDaniel Dunbar                                       "counter.ptr");
628f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  Builder.CreateStore(Zero, CounterPtr);
6291eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
6301eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  llvm::BasicBlock *LoopBody = createBasicBlock("loopbody");
631f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  EmitBlock(LoopBody);
632f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
6332abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  StateMutationsPtr = Builder.CreateLoad(StateMutationsPtrPtr, "mutationsptr");
6342abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  StateMutations = Builder.CreateLoad(StateMutationsPtr, "statemutations");
6352abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson
6361eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  llvm::Value *StartMutations = Builder.CreateLoad(StartMutationsPtr,
6372abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson                                                   "mutations");
6381eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  llvm::Value *MutationsEqual = Builder.CreateICmpEQ(StateMutations,
6392abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson                                                     StartMutations,
6402abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson                                                     "tobool");
6411eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
6421eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
64355e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar  llvm::BasicBlock *WasMutated = createBasicBlock("wasmutated");
64455e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar  llvm::BasicBlock *WasNotMutated = createBasicBlock("wasnotmutated");
6451eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
6462abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  Builder.CreateCondBr(MutationsEqual, WasNotMutated, WasMutated);
6471eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
6482abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  EmitBlock(WasMutated);
6492abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  llvm::Value *V =
6501eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    Builder.CreateBitCast(Collection,
6512abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson                          ConvertType(getContext().getObjCIdType()),
6522abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson                          "tmp");
6532b2105e92fc77016992dae3f117f526e73af5ea9Daniel Dunbar  CallArgList Args2;
6541eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  Args2.push_back(std::make_pair(RValue::get(V),
6552b2105e92fc77016992dae3f117f526e73af5ea9Daniel Dunbar                                getContext().getObjCIdType()));
656f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump  // FIXME: We shouldn't need to get the function info here, the runtime already
657f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump  // should have computed it to build the function.
65804a67a6aa3dfdc92d57f7f8d93ba397348c868a4John McCall  EmitCall(CGM.getTypes().getFunctionInfo(getContext().VoidTy, Args2,
659264ba48dc98f3f843935a485d5b086f7e0fdc4f1Rafael Espindola                                          FunctionType::ExtInfo()),
660f3c47c9525153aea2de0ec4bd615b9cf2d81c103Anders Carlsson           EnumerationMutationFn, ReturnValueSlot(), Args2);
6611eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
6622abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson  EmitBlock(WasNotMutated);
6631eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
6641eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  llvm::Value *StateItemsPtr =
665f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    Builder.CreateStructGEP(StatePtr, 1, "stateitems.ptr");
666f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
667f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *Counter = Builder.CreateLoad(CounterPtr, "counter");
668f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
669f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *EnumStateItems = Builder.CreateLoad(StateItemsPtr,
670f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                                   "stateitems");
671f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
6721eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  llvm::Value *CurrentItemPtr =
673f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    Builder.CreateGEP(EnumStateItems, Counter, "currentitem.ptr");
6741eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
675f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *CurrentItem = Builder.CreateLoad(CurrentItemPtr, "currentitem");
6761eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
677f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  // Cast the item to the right type.
678f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  CurrentItem = Builder.CreateBitCast(CurrentItem,
679f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                      ConvertType(ElementTy), "tmp");
6801eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
681f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  if (!DeclAddress) {
682f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    LValue LV = EmitLValue(cast<Expr>(S.getElement()));
6831eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
684f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    // Set the value to null.
685f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    Builder.CreateStore(CurrentItem, LV.getAddress());
686f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  } else
687f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    Builder.CreateStore(CurrentItem, DeclAddress);
6881eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
689f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  // Increment the counter.
6901eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  Counter = Builder.CreateAdd(Counter,
6914a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson                              llvm::ConstantInt::get(UnsignedLongLTy, 1));
692f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  Builder.CreateStore(Counter, CounterPtr);
6931eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
69455e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar  llvm::BasicBlock *LoopEnd = createBasicBlock("loopend");
69555e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar  llvm::BasicBlock *AfterBody = createBasicBlock("afterbody");
6961eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
697e4b6d342c29d5cb9d311756100df1603810fa892Anders Carlsson  BreakContinueStack.push_back(BreakContinue(LoopEnd, AfterBody));
698f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
699f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  EmitStmt(S.getBody());
7001eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
701f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  BreakContinueStack.pop_back();
7021eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
703f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  EmitBlock(AfterBody);
7041eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
70555e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar  llvm::BasicBlock *FetchMore = createBasicBlock("fetchmore");
706f0906c4edb37b20141428ca77fa7dfd00b976eafFariborz Jahanian
707f0906c4edb37b20141428ca77fa7dfd00b976eafFariborz Jahanian  Counter = Builder.CreateLoad(CounterPtr);
708f0906c4edb37b20141428ca77fa7dfd00b976eafFariborz Jahanian  Limit = Builder.CreateLoad(LimitPtr);
709f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  llvm::Value *IsLess = Builder.CreateICmpULT(Counter, Limit, "isless");
710fe2b2c08984f861f82339138302689480c658ecdDaniel Dunbar  Builder.CreateCondBr(IsLess, LoopBody, FetchMore);
711f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
712f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  // Fetch more elements.
713f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  EmitBlock(FetchMore);
7141eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
7151eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  CountRV =
7161eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    CGM.getObjCRuntime().GenerateMessageSend(*this,
717f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                             getContext().UnsignedLongTy,
7181eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump                                             FastEnumSel,
719f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                                             Collection, false, Args);
720f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  Builder.CreateStore(CountRV.getScalarVal(), LimitPtr);
721f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  Limit = Builder.CreateLoad(LimitPtr);
7221eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
723f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  IsZero = Builder.CreateICmpEQ(Limit, Zero, "iszero");
724f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  Builder.CreateCondBr(IsZero, NoElements, LoopStart);
7251eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
726f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  // No more elements.
727f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  EmitBlock(NoElements);
728f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
729f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  if (!DeclAddress) {
730f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    // If the element was not a declaration, set it to be null.
731f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
732f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    LValue LV = EmitLValue(cast<Expr>(S.getElement()));
7331eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
734f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson    // Set the value to null.
735c9c88b4159791c48e486ca94e3743b5979e2b7a6Owen Anderson    Builder.CreateStore(llvm::Constant::getNullValue(ConvertType(ElementTy)),
736f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson                        LV.getAddress());
737f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  }
738f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson
739f484c31f4d6934f56070c2942d4dfdf3fee84074Anders Carlsson  EmitBlock(LoopEnd);
7403d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson}
7413d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson
7421eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpvoid CodeGenFunction::EmitObjCAtTryStmt(const ObjCAtTryStmt &S) {
743bd71be4683c195260d5245118b1e13e6b2e20504Fariborz Jahanian  CGM.getObjCRuntime().EmitTryOrSynchronizedStmt(*this, S);
74464d5d6c5903157c521af496479d06dc26032d718Anders Carlsson}
74564d5d6c5903157c521af496479d06dc26032d718Anders Carlsson
7461eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpvoid CodeGenFunction::EmitObjCAtThrowStmt(const ObjCAtThrowStmt &S) {
74764d5d6c5903157c521af496479d06dc26032d718Anders Carlsson  CGM.getObjCRuntime().EmitThrowStmt(*this, S);
74864d5d6c5903157c521af496479d06dc26032d718Anders Carlsson}
74964d5d6c5903157c521af496479d06dc26032d718Anders Carlsson
75010cac6f7115b59a466bb8d2d51cdddeb38aadc37Chris Lattnervoid CodeGenFunction::EmitObjCAtSynchronizedStmt(
7511eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump                                              const ObjCAtSynchronizedStmt &S) {
752bd71be4683c195260d5245118b1e13e6b2e20504Fariborz Jahanian  CGM.getObjCRuntime().EmitTryOrSynchronizedStmt(*this, S);
75310cac6f7115b59a466bb8d2d51cdddeb38aadc37Chris Lattner}
75410cac6f7115b59a466bb8d2d51cdddeb38aadc37Chris Lattner
7552979ec73b4f974d85f2ce84167712177a44c6f09Ted KremenekCGObjCRuntime::~CGObjCRuntime() {}
756