CGObjCGNU.cpp revision dd5c98f709837e5dd3da08d44d1ce407975df2cf
120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov//===------- CGObjCGNU.cpp - Emit LLVM Code from ASTs for a Module --------===// 20f984268b05edab2cc555a427c441baa9c252658Chris Lattner// 30f984268b05edab2cc555a427c441baa9c252658Chris Lattner// The LLVM Compiler Infrastructure 40f984268b05edab2cc555a427c441baa9c252658Chris Lattner// 50f984268b05edab2cc555a427c441baa9c252658Chris Lattner// This file is distributed under the University of Illinois Open Source 60f984268b05edab2cc555a427c441baa9c252658Chris Lattner// License. See LICENSE.TXT for details. 70f984268b05edab2cc555a427c441baa9c252658Chris Lattner// 80f984268b05edab2cc555a427c441baa9c252658Chris Lattner//===----------------------------------------------------------------------===// 90f984268b05edab2cc555a427c441baa9c252658Chris Lattner// 1020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov// This provides Objective-C code generation targetting the GNU runtime. The 1120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov// class in this file generates structures used by the GNU Objective-C runtime 1220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov// library. These structures are defined in objc/objc.h and objc/objc-api.h in 1320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov// the GNU runtime distribution. 140f984268b05edab2cc555a427c441baa9c252658Chris Lattner// 150f984268b05edab2cc555a427c441baa9c252658Chris Lattner//===----------------------------------------------------------------------===// 160f984268b05edab2cc555a427c441baa9c252658Chris Lattner 170f984268b05edab2cc555a427c441baa9c252658Chris Lattner#include "CGObjCRuntime.h" 18dce1406f1c1f572cfd61c494546572d63461c741Chris Lattner#include "CodeGenModule.h" 198f2926b73ed635afecd020da787af6a837601a2bDaniel Dunbar#include "CodeGenFunction.h" 205dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 21dce1406f1c1f572cfd61c494546572d63461c741Chris Lattner#include "clang/AST/ASTContext.h" 22e91593ef084479340582b2ba177b44be50a717b7Daniel Dunbar#include "clang/AST/Decl.h" 23af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar#include "clang/AST/DeclObjC.h" 2419cc4abea06a9b49e0e16a50d335c064cd723572Anders Carlsson#include "clang/AST/RecordLayout.h" 2516f0049415ec596504891259e2a83e19871c0d52Chris Lattner#include "clang/AST/StmtObjC.h" 265dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 275dc0867af17b3bd6f567897433853b2b4767446cChris Lattner#include "llvm/Intrinsics.h" 280f984268b05edab2cc555a427c441baa9c252658Chris Lattner#include "llvm/Module.h" 29c6cd5fd3eae71f8841504a396563343cfaaf503eDavid Chisnall#include "llvm/LLVMContext.h" 300f984268b05edab2cc555a427c441baa9c252658Chris Lattner#include "llvm/ADT/SmallVector.h" 3120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov#include "llvm/ADT/StringMap.h" 327ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar#include "llvm/Support/Compiler.h" 337ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar#include "llvm/Target/TargetData.h" 345dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 3520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov#include <map> 36e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner 37e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner 38dce1406f1c1f572cfd61c494546572d63461c741Chris Lattnerusing namespace clang; 3946f45b9bec4a265ad8400a538e5ec3a5683617f1Daniel Dunbarusing namespace CodeGen; 4020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovusing llvm::dyn_cast; 4120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 4220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov// The version of the runtime that this class targets. Must match the version 4320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov// in the runtime. 4420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovstatic const int RuntimeVersion = 8; 459cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanianstatic const int NonFragileRuntimeVersion = 9; 4620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovstatic const int ProtocolVersion = 2; 47d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanianstatic const int NonFragileProtocolVersion = 3; 480f984268b05edab2cc555a427c441baa9c252658Chris Lattner 490f984268b05edab2cc555a427c441baa9c252658Chris Lattnernamespace { 50dce1406f1c1f572cfd61c494546572d63461c741Chris Lattnerclass CGObjCGNU : public CodeGen::CGObjCRuntime { 510f984268b05edab2cc555a427c441baa9c252658Chris Lattnerprivate: 52dce1406f1c1f572cfd61c494546572d63461c741Chris Lattner CodeGen::CodeGenModule &CGM; 530f984268b05edab2cc555a427c441baa9c252658Chris Lattner llvm::Module &TheModule; 54e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner const llvm::PointerType *SelectorTy; 55d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian const llvm::IntegerType *Int8Ty; 56e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner const llvm::PointerType *PtrToInt8Ty; 57b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian const llvm::FunctionType *IMPTy; 58e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner const llvm::PointerType *IdTy; 59ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall const llvm::PointerType *PtrToIdTy; 60ead608af31b6c9abeae1ca6d0b75094dac4641c0John McCall CanQualType ASTIdTy; 61e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner const llvm::IntegerType *IntTy; 62e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner const llvm::PointerType *PtrTy; 63e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner const llvm::IntegerType *LongTy; 64e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner const llvm::PointerType *PtrToIntTy; 655efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar llvm::GlobalAlias *ClassPtrAlias; 665efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar llvm::GlobalAlias *MetaClassPtrAlias; 6720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Classes; 6820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Categories; 6920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> ConstantStrings; 7048272a078e54d501cb05edd797c54b8e82ceb520David Chisnall llvm::StringMap<llvm::Constant*> ObjCStrings; 7120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Function *LoadFunction; 7220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::StringMap<llvm::Constant*> ExistingProtocols; 7320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov typedef std::pair<std::string, std::string> TypedSelector; 7420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::map<TypedSelector, llvm::GlobalAlias*> TypedSelectors; 7520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::StringMap<llvm::GlobalAlias*> UntypedSelectors; 76ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall // Selectors that we don't emit in GC mode 77ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall Selector RetainSel, ReleaseSel, AutoreleaseSel; 78ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall // Functions used for GC. 79ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall llvm::Constant *IvarAssignFn, *StrongCastAssignFn, *MemMoveFn, *WeakReadFn, 80ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall *WeakAssignFn, *GlobalAssignFn; 8120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Some zeros used for GEPs in lots of places. 8220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *Zeros[2]; 8320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *NULLPtr; 84a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::LLVMContext &VMContext; 85c6cd5fd3eae71f8841504a396563343cfaaf503eDavid Chisnall /// Metadata kind used to tie method lookups to message sends. 86c6cd5fd3eae71f8841504a396563343cfaaf503eDavid Chisnall unsigned msgSendMDKind; 8720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovprivate: 8820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *GenerateIvarList( 8920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &IvarNames, 9020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &IvarTypes, 9120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &IvarOffsets); 9220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *GenerateMethodList(const std::string &ClassName, 9320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const std::string &CategoryName, 941eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const llvm::SmallVectorImpl<Selector> &MethodSels, 951eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const llvm::SmallVectorImpl<llvm::Constant *> &MethodTypes, 9620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov bool isClassMethodList); 97f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian llvm::Constant *GenerateEmptyProtocol(const std::string &ProtocolName); 98d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *GeneratePropertyList(const ObjCImplementationDecl *OID, 99d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::SmallVectorImpl<Selector> &InstanceMethodSels, 100d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::SmallVectorImpl<llvm::Constant*> &InstanceMethodTypes); 10120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *GenerateProtocolList( 10220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<std::string> &Protocols); 103d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // To ensure that all protocols are seen by the runtime, we add a category on 104d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // a class defined in the runtime, declaring no methods, but adopting the 105d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // protocols. 106d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian void GenerateProtocolHolderCategory(void); 10720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *GenerateClassStructure( 10820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *MetaClass, 10920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *SuperClass, 11020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov unsigned info, 111d002cc6fc5b72bf00e3b7b4571ccf0f23c789b4bChris Lattner const char *Name, 11220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *Version, 11320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *InstanceSize, 11420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *IVars, 11520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *Methods, 116d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *Protocols, 117d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *IvarOffsets, 1188c757f9ea33dccff4da7810e0c1bda59c19ddc9aDavid Chisnall llvm::Constant *Properties, 1198c757f9ea33dccff4da7810e0c1bda59c19ddc9aDavid Chisnall bool isMeta=false); 12020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *GenerateProtocolMethodList( 12120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &MethodNames, 12220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &MethodTypes); 12320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *MakeConstantString(const std::string &Str, const std::string 12420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov &Name=""); 125d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *ExportUniqueString(const std::string &Str, const std::string 126d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian prefix); 12720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *MakeGlobal(const llvm::StructType *Ty, 12874a8bbf0654fbbf37be04b240b5bbe591f37f242Benjamin Kramer std::vector<llvm::Constant*> &V, llvm::StringRef Name="", 12941d63ed274d1bf7ba7459f218c8f6a385fc5c6d6David Chisnall llvm::GlobalValue::LinkageTypes linkage=llvm::GlobalValue::InternalLinkage); 13020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *MakeGlobal(const llvm::ArrayType *Ty, 13174a8bbf0654fbbf37be04b240b5bbe591f37f242Benjamin Kramer std::vector<llvm::Constant*> &V, llvm::StringRef Name="", 13241d63ed274d1bf7ba7459f218c8f6a385fc5c6d6David Chisnall llvm::GlobalValue::LinkageTypes linkage=llvm::GlobalValue::InternalLinkage); 1339cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian llvm::GlobalVariable *ObjCIvarOffsetVariable(const ObjCInterfaceDecl *ID, 1349cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian const ObjCIvarDecl *Ivar); 1352a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner void EmitClassRef(const std::string &className); 136ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall llvm::Value* EnforceType(CGBuilderTy B, llvm::Value *V, const llvm::Type *Ty){ 137ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall if (V->getType() == Ty) return V; 138ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall return B.CreateBitCast(V, Ty); 139ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall } 1400f984268b05edab2cc555a427c441baa9c252658Chris Lattnerpublic: 141dce1406f1c1f572cfd61c494546572d63461c741Chris Lattner CGObjCGNU(CodeGen::CodeGenModule &cgm); 1420d13f6fdbdd6f06e2449b8834dda53334abd399aDavid Chisnall virtual llvm::Constant *GenerateConstantString(const StringLiteral *); 1431eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump virtual CodeGen::RValue 1448f2926b73ed635afecd020da787af6a837601a2bDaniel Dunbar GenerateMessageSend(CodeGen::CodeGenFunction &CGF, 1457f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar QualType ResultType, 1467f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar Selector Sel, 147f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar llvm::Value *Receiver, 148df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian const CallArgList &CallArgs, 149c6cd5fd3eae71f8841504a396563343cfaaf503eDavid Chisnall const ObjCInterfaceDecl *Class, 150df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian const ObjCMethodDecl *Method); 1511eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump virtual CodeGen::RValue 1528f2926b73ed635afecd020da787af6a837601a2bDaniel Dunbar GenerateMessageSendSuper(CodeGen::CodeGenFunction &CGF, 1537f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar QualType ResultType, 1547f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar Selector Sel, 155f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar const ObjCInterfaceDecl *Class, 1567ce77920a35060f1c8dd72e541e42ce296ccd168Fariborz Jahanian bool isCategoryImpl, 157f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar llvm::Value *Receiver, 15819cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar bool IsClassMessage, 159d6c93d703541c992e06eb9a59a2d826a30da65b2Daniel Dunbar const CallArgList &CallArgs, 160d6c93d703541c992e06eb9a59a2d826a30da65b2Daniel Dunbar const ObjCMethodDecl *Method); 16145d196b8387dcefc4df26cda114fa34c6528e928Daniel Dunbar virtual llvm::Value *GetClass(CGBuilderTy &Builder, 162ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar const ObjCInterfaceDecl *OID); 1636d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar virtual llvm::Value *GetSelector(CGBuilderTy &Builder, Selector Sel); 1646d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar virtual llvm::Value *GetSelector(CGBuilderTy &Builder, const ObjCMethodDecl 1656d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar *Method); 1661eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1671eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump virtual llvm::Function *GenerateMethod(const ObjCMethodDecl *OMD, 168679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanian const ObjCContainerDecl *CD); 1697ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar virtual void GenerateCategory(const ObjCCategoryImplDecl *CMD); 1707ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar virtual void GenerateClass(const ObjCImplementationDecl *ClassDecl); 17145d196b8387dcefc4df26cda114fa34c6528e928Daniel Dunbar virtual llvm::Value *GenerateProtocolRef(CGBuilderTy &Builder, 172af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar const ObjCProtocolDecl *PD); 173af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar virtual void GenerateProtocol(const ObjCProtocolDecl *PD); 17420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov virtual llvm::Function *ModuleInitFunction(); 17549f6602707887eea1a558a1dffe0213102f887f2Daniel Dunbar virtual llvm::Function *GetPropertyGetFunction(); 17649f6602707887eea1a558a1dffe0213102f887f2Daniel Dunbar virtual llvm::Function *GetPropertySetFunction(); 1776cc590602f41c3e98e8af0023d54296c8eca7910Fariborz Jahanian virtual llvm::Function *GetCopyStructFunction(); 178309a4368cd299cff30ab22709e2b772cf8059e45Daniel Dunbar virtual llvm::Constant *EnumerationMutationFunction(); 1791eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 180bd71be4683c195260d5245118b1e13e6b2e20504Fariborz Jahanian virtual void EmitTryOrSynchronizedStmt(CodeGen::CodeGenFunction &CGF, 181bd71be4683c195260d5245118b1e13e6b2e20504Fariborz Jahanian const Stmt &S); 18264d5d6c5903157c521af496479d06dc26032d718Anders Carlsson virtual void EmitThrowStmt(CodeGen::CodeGenFunction &CGF, 18364d5d6c5903157c521af496479d06dc26032d718Anders Carlsson const ObjCAtThrowStmt &S); 1843e283e344595e0bd499b13b30a92b7d9c10a2140Fariborz Jahanian virtual llvm::Value * EmitObjCWeakRead(CodeGen::CodeGenFunction &CGF, 1856dc2317b59cb1180a59f6c283d96b7a5dfeb5307Fariborz Jahanian llvm::Value *AddrWeakObj); 1863e283e344595e0bd499b13b30a92b7d9c10a2140Fariborz Jahanian virtual void EmitObjCWeakAssign(CodeGen::CodeGenFunction &CGF, 1873e283e344595e0bd499b13b30a92b7d9c10a2140Fariborz Jahanian llvm::Value *src, llvm::Value *dst); 18858626500527695865683d1d65053743de8770b60Fariborz Jahanian virtual void EmitObjCGlobalAssign(CodeGen::CodeGenFunction &CGF, 18958626500527695865683d1d65053743de8770b60Fariborz Jahanian llvm::Value *src, llvm::Value *dest); 1907eda8367cf63caee8acf907356b1d199ccaa6e89Fariborz Jahanian virtual void EmitObjCIvarAssign(CodeGen::CodeGenFunction &CGF, 1916c7a1f364796ce1acb988714e9e42076d1ce332eFariborz Jahanian llvm::Value *src, llvm::Value *dest, 1926c7a1f364796ce1acb988714e9e42076d1ce332eFariborz Jahanian llvm::Value *ivarOffset); 19358626500527695865683d1d65053743de8770b60Fariborz Jahanian virtual void EmitObjCStrongCastAssign(CodeGen::CodeGenFunction &CGF, 19458626500527695865683d1d65053743de8770b60Fariborz Jahanian llvm::Value *src, llvm::Value *dest); 195082b02e8403d3ee9d2ded969fbe0e5d472f04cd8Fariborz Jahanian virtual void EmitGCMemmoveCollectable(CodeGen::CodeGenFunction &CGF, 1961eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *DestPtr, 197082b02e8403d3ee9d2ded969fbe0e5d472f04cd8Fariborz Jahanian llvm::Value *SrcPtr, 19808c321380fff07d476a19daab6d29522c046cd49Fariborz Jahanian QualType Ty); 199598d3f61b6ca854e9d3c2f3359e24468502a61aaFariborz Jahanian virtual LValue EmitObjCValueForIvar(CodeGen::CodeGenFunction &CGF, 200598d3f61b6ca854e9d3c2f3359e24468502a61aaFariborz Jahanian QualType ObjectTy, 201598d3f61b6ca854e9d3c2f3359e24468502a61aaFariborz Jahanian llvm::Value *BaseValue, 202598d3f61b6ca854e9d3c2f3359e24468502a61aaFariborz Jahanian const ObjCIvarDecl *Ivar, 203598d3f61b6ca854e9d3c2f3359e24468502a61aaFariborz Jahanian unsigned CVRQualifiers); 204f63aa3fd429cdb9145d78f0b656bc78754efedb9Fariborz Jahanian virtual llvm::Value *EmitIvarOffset(CodeGen::CodeGenFunction &CGF, 2052a03192a02dbf4fdff438d1e658356bde871aba4Daniel Dunbar const ObjCInterfaceDecl *Interface, 206f63aa3fd429cdb9145d78f0b656bc78754efedb9Fariborz Jahanian const ObjCIvarDecl *Ivar); 2070f984268b05edab2cc555a427c441baa9c252658Chris Lattner}; 2080f984268b05edab2cc555a427c441baa9c252658Chris Lattner} // end anonymous namespace 2090f984268b05edab2cc555a427c441baa9c252658Chris Lattner 21020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 2112a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner/// Emits a reference to a dummy variable which is emitted with each class. 2122a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner/// This ensures that a linker error will be generated when trying to link 2132a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner/// together modules where a referenced class is not defined. 214bb1c8600218b3244340331165fc7cba7bf227655Mike Stumpvoid CGObjCGNU::EmitClassRef(const std::string &className) { 2152a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner std::string symbolRef = "__objc_class_ref_" + className; 2162a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner // Don't emit two copies of the same symbol 217bb1c8600218b3244340331165fc7cba7bf227655Mike Stump if (TheModule.getGlobalVariable(symbolRef)) 218bb1c8600218b3244340331165fc7cba7bf227655Mike Stump return; 2192a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner std::string symbolName = "__objc_class_name_" + className; 2202a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner llvm::GlobalVariable *ClassSymbol = TheModule.getGlobalVariable(symbolName); 2212a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner if (!ClassSymbol) { 2221c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson ClassSymbol = new llvm::GlobalVariable(TheModule, LongTy, false, 2231c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson llvm::GlobalValue::ExternalLinkage, 0, symbolName); 2242a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner } 2251c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson new llvm::GlobalVariable(TheModule, ClassSymbol->getType(), true, 226f35271b8677a5f31498b89587b1da42a06dd46fdChris Lattner llvm::GlobalValue::WeakAnyLinkage, ClassSymbol, symbolRef); 2272a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner} 22820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 229d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanianstatic std::string SymbolNameForMethod(const std::string &ClassName, const 230d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::string &CategoryName, const std::string &MethodName, bool isClassMethod) 231d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian{ 232d346736dfe5ef584a2d0c9d27d217408ee394b9bDavid Chisnall std::string MethodNameColonStripped = MethodName; 233d346736dfe5ef584a2d0c9d27d217408ee394b9bDavid Chisnall std::replace(MethodNameColonStripped.begin(), MethodNameColonStripped.end(), 234d346736dfe5ef584a2d0c9d27d217408ee394b9bDavid Chisnall ':', '_'); 235d346736dfe5ef584a2d0c9d27d217408ee394b9bDavid Chisnall return std::string(isClassMethod ? "_c_" : "_i_") + ClassName + "_" + 236d346736dfe5ef584a2d0c9d27d217408ee394b9bDavid Chisnall CategoryName + "_" + MethodNameColonStripped; 23720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 23820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 239dce1406f1c1f572cfd61c494546572d63461c741Chris LattnerCGObjCGNU::CGObjCGNU(CodeGen::CodeGenModule &cgm) 2405efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar : CGM(cgm), TheModule(CGM.getModule()), ClassPtrAlias(0), 241a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson MetaClassPtrAlias(0), VMContext(cgm.getLLVMContext()) { 242c6cd5fd3eae71f8841504a396563343cfaaf503eDavid Chisnall 243c6cd5fd3eae71f8841504a396563343cfaaf503eDavid Chisnall msgSendMDKind = VMContext.getMDKindID("GNUObjCMessageSend"); 244c6cd5fd3eae71f8841504a396563343cfaaf503eDavid Chisnall 245e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner IntTy = cast<llvm::IntegerType>( 246e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner CGM.getTypes().ConvertType(CGM.getContext().IntTy)); 247e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner LongTy = cast<llvm::IntegerType>( 248e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner CGM.getTypes().ConvertType(CGM.getContext().LongTy)); 2491eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 250d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Int8Ty = llvm::Type::getInt8Ty(VMContext); 251d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // C string type. Used in lots of places. 252d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian PtrToInt8Ty = llvm::PointerType::getUnqual(Int8Ty); 253d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 2544a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson Zeros[0] = llvm::ConstantInt::get(LongTy, 0); 25520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Zeros[1] = Zeros[0]; 256d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian NULLPtr = llvm::ConstantPointerNull::get(PtrToInt8Ty); 257391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner // Get the selector Type. 2580d13f6fdbdd6f06e2449b8834dda53334abd399aDavid Chisnall QualType selTy = CGM.getContext().getObjCSelType(); 2590d13f6fdbdd6f06e2449b8834dda53334abd399aDavid Chisnall if (QualType() == selTy) { 2600d13f6fdbdd6f06e2449b8834dda53334abd399aDavid Chisnall SelectorTy = PtrToInt8Ty; 2610d13f6fdbdd6f06e2449b8834dda53334abd399aDavid Chisnall } else { 2620d13f6fdbdd6f06e2449b8834dda53334abd399aDavid Chisnall SelectorTy = cast<llvm::PointerType>(CGM.getTypes().ConvertType(selTy)); 2630d13f6fdbdd6f06e2449b8834dda53334abd399aDavid Chisnall } 264e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner 26596e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson PtrToIntTy = llvm::PointerType::getUnqual(IntTy); 266391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner PtrTy = PtrToInt8Ty; 2671eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 268391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner // Object type 269ead608af31b6c9abeae1ca6d0b75094dac4641c0John McCall ASTIdTy = CGM.getContext().getCanonicalType(CGM.getContext().getObjCIdType()); 2700d13f6fdbdd6f06e2449b8834dda53334abd399aDavid Chisnall if (QualType() == ASTIdTy) { 2710d13f6fdbdd6f06e2449b8834dda53334abd399aDavid Chisnall IdTy = PtrToInt8Ty; 2720d13f6fdbdd6f06e2449b8834dda53334abd399aDavid Chisnall } else { 2730d13f6fdbdd6f06e2449b8834dda53334abd399aDavid Chisnall IdTy = cast<llvm::PointerType>(CGM.getTypes().ConvertType(ASTIdTy)); 2740d13f6fdbdd6f06e2449b8834dda53334abd399aDavid Chisnall } 275ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall PtrToIdTy = llvm::PointerType::getUnqual(IdTy); 2761eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 277391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner // IMP type 278391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner std::vector<const llvm::Type*> IMPArgs; 279391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner IMPArgs.push_back(IdTy); 280391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner IMPArgs.push_back(SelectorTy); 28196e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson IMPTy = llvm::FunctionType::get(IdTy, IMPArgs, true); 282ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall 283ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall if (CGM.getLangOptions().getGCMode() != LangOptions::NonGC) { 284ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall // Get selectors needed in GC mode 285ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall RetainSel = GetNullarySelector("retain", CGM.getContext()); 286ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall ReleaseSel = GetNullarySelector("release", CGM.getContext()); 287ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall AutoreleaseSel = GetNullarySelector("autorelease", CGM.getContext()); 288ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall 289ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall // Get functions needed in GC mode 290ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall 291ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall // id objc_assign_ivar(id, id, ptrdiff_t); 292ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall std::vector<const llvm::Type*> Args(1, IdTy); 293ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall Args.push_back(PtrToIdTy); 294ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall // FIXME: ptrdiff_t 295ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall Args.push_back(LongTy); 296ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall llvm::FunctionType *FTy = llvm::FunctionType::get(IdTy, Args, false); 297ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall IvarAssignFn = CGM.CreateRuntimeFunction(FTy, "objc_assign_ivar"); 298ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall // id objc_assign_strongCast (id, id*) 299ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall Args.pop_back(); 300ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall FTy = llvm::FunctionType::get(IdTy, Args, false); 301ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall StrongCastAssignFn = 302ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall CGM.CreateRuntimeFunction(FTy, "objc_assign_strongCast"); 303ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall // id objc_assign_global(id, id*); 304ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall FTy = llvm::FunctionType::get(IdTy, Args, false); 305ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall GlobalAssignFn = CGM.CreateRuntimeFunction(FTy, "objc_assign_global"); 306ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall // id objc_assign_weak(id, id*); 307ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall FTy = llvm::FunctionType::get(IdTy, Args, false); 308ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall WeakAssignFn = CGM.CreateRuntimeFunction(FTy, "objc_assign_weak"); 309ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall // id objc_read_weak(id*); 310ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall Args.clear(); 311ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall Args.push_back(PtrToIdTy); 312ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall FTy = llvm::FunctionType::get(IdTy, Args, false); 313ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall WeakReadFn = CGM.CreateRuntimeFunction(FTy, "objc_read_weak"); 314ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall // void *objc_memmove_collectable(void*, void *, size_t); 315ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall Args.clear(); 316ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall Args.push_back(PtrToInt8Ty); 317ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall Args.push_back(PtrToInt8Ty); 318ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall // FIXME: size_t 319ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall Args.push_back(LongTy); 320ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall FTy = llvm::FunctionType::get(IdTy, Args, false); 321ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall MemMoveFn = CGM.CreateRuntimeFunction(FTy, "objc_memmove_collectable"); 322ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall } 32320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 324bb1c8600218b3244340331165fc7cba7bf227655Mike Stump 32520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov// This has to perform the lookup every time, since posing and related 32620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov// techniques can modify the name -> class mapping. 32745d196b8387dcefc4df26cda114fa34c6528e928Daniel Dunbarllvm::Value *CGObjCGNU::GetClass(CGBuilderTy &Builder, 328ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar const ObjCInterfaceDecl *OID) { 329d9d22dd9c94618490dbffb0e2caf222530ca39d3Chris Lattner llvm::Value *ClassName = CGM.GetAddrOfConstantCString(OID->getNameAsString()); 33041d63ed274d1bf7ba7459f218c8f6a385fc5c6d6David Chisnall // With the incompatible ABI, this will need to be replaced with a direct 33141d63ed274d1bf7ba7459f218c8f6a385fc5c6d6David Chisnall // reference to the class symbol. For the compatible nonfragile ABI we are 33241d63ed274d1bf7ba7459f218c8f6a385fc5c6d6David Chisnall // still performing this lookup at run time but emitting the symbol for the 33341d63ed274d1bf7ba7459f218c8f6a385fc5c6d6David Chisnall // class externally so that we can make the switch later. 3342a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner EmitClassRef(OID->getNameAsString()); 335ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar ClassName = Builder.CreateStructGEP(ClassName, 0); 336ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar 33726c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian std::vector<const llvm::Type*> Params(1, PtrToInt8Ty); 33820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *ClassLookupFn = 33996e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson CGM.CreateRuntimeFunction(llvm::FunctionType::get(IdTy, 34026c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian Params, 34126c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian true), 34226c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian "objc_lookup_class"); 34320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov return Builder.CreateCall(ClassLookupFn, ClassName); 344391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner} 345391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner 3466d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbarllvm::Value *CGObjCGNU::GetSelector(CGBuilderTy &Builder, Selector Sel) { 347077bf5e2f48acfa9e7d69429b6e4ba86ea14896dChris Lattner llvm::GlobalAlias *&US = UntypedSelectors[Sel.getAsString()]; 3488e67b63530b4f39a48bc12d97376f373a6901279Chris Lattner if (US == 0) 3496d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar US = new llvm::GlobalAlias(llvm::PointerType::getUnqual(SelectorTy), 3500f436560640a1cff5b6d96f80f540770f139453fDavid Chisnall llvm::GlobalValue::PrivateLinkage, 3510f436560640a1cff5b6d96f80f540770f139453fDavid Chisnall ".objc_untyped_selector_alias"+Sel.getAsString(), 3528e67b63530b4f39a48bc12d97376f373a6901279Chris Lattner NULL, &TheModule); 3531eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 3546d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar return Builder.CreateLoad(US); 355df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian} 356df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian 3576d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbarllvm::Value *CGObjCGNU::GetSelector(CGBuilderTy &Builder, const ObjCMethodDecl 358df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian *Method) { 359df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian 360df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian std::string SelName = Method->getSelector().getAsString(); 361df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian std::string SelTypes; 362df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian CGM.getContext().getObjCEncodingForMethodDecl(Method, SelTypes); 363df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian // Typed selectors 364df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian TypedSelector Selector = TypedSelector(SelName, 365df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian SelTypes); 366df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian 367df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian // If it's already cached, return it. 368bb1c8600218b3244340331165fc7cba7bf227655Mike Stump if (TypedSelectors[Selector]) { 3696d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar return Builder.CreateLoad(TypedSelectors[Selector]); 370df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian } 371df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian 372df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian // If it isn't, cache it. 373df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian llvm::GlobalAlias *Sel = new llvm::GlobalAlias( 3746d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar llvm::PointerType::getUnqual(SelectorTy), 3750f436560640a1cff5b6d96f80f540770f139453fDavid Chisnall llvm::GlobalValue::PrivateLinkage, ".objc_selector_alias" + SelName, 376df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian NULL, &TheModule); 377df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian TypedSelectors[Selector] = Sel; 378df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian 3796d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar return Builder.CreateLoad(Sel); 3808e67b63530b4f39a48bc12d97376f373a6901279Chris Lattner} 3818e67b63530b4f39a48bc12d97376f373a6901279Chris Lattner 3825e7dcc62e4637591959f9c372f6c5258d0d263e0Chris Lattnerllvm::Constant *CGObjCGNU::MakeConstantString(const std::string &Str, 3835e7dcc62e4637591959f9c372f6c5258d0d263e0Chris Lattner const std::string &Name) { 3848a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall llvm::Constant *ConstStr = CGM.GetAddrOfConstantCString(Str, Name.c_str()); 3853c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson return llvm::ConstantExpr::getGetElementPtr(ConstStr, Zeros, 2); 38620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 387d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanianllvm::Constant *CGObjCGNU::ExportUniqueString(const std::string &Str, 388d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian const std::string prefix) { 389d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::string name = prefix + Str; 390d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *ConstStr = TheModule.getGlobalVariable(name); 391d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian if (!ConstStr) { 392d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *value = llvm::ConstantArray::get(VMContext, Str, true); 393d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ConstStr = new llvm::GlobalVariable(TheModule, value->getType(), true, 394d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::GlobalValue::LinkOnceODRLinkage, value, prefix + Str); 395d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } 396d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian return llvm::ConstantExpr::getGetElementPtr(ConstStr, Zeros, 2); 397d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian} 398bb1c8600218b3244340331165fc7cba7bf227655Mike Stump 39920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovllvm::Constant *CGObjCGNU::MakeGlobal(const llvm::StructType *Ty, 40074a8bbf0654fbbf37be04b240b5bbe591f37f242Benjamin Kramer std::vector<llvm::Constant*> &V, llvm::StringRef Name, 40141d63ed274d1bf7ba7459f218c8f6a385fc5c6d6David Chisnall llvm::GlobalValue::LinkageTypes linkage) { 40208e252425ca2cbdc44ba65d9a657ed5398014e36Owen Anderson llvm::Constant *C = llvm::ConstantStruct::get(Ty, V); 4031c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson return new llvm::GlobalVariable(TheModule, Ty, false, 4041c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson llvm::GlobalValue::InternalLinkage, C, Name); 40520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 406bb1c8600218b3244340331165fc7cba7bf227655Mike Stump 40720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovllvm::Constant *CGObjCGNU::MakeGlobal(const llvm::ArrayType *Ty, 40874a8bbf0654fbbf37be04b240b5bbe591f37f242Benjamin Kramer std::vector<llvm::Constant*> &V, llvm::StringRef Name, 40941d63ed274d1bf7ba7459f218c8f6a385fc5c6d6David Chisnall llvm::GlobalValue::LinkageTypes linkage) { 4107db6d838aad4083fe86d7bf703a75fe6e8a17856Owen Anderson llvm::Constant *C = llvm::ConstantArray::get(Ty, V); 4111c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson return new llvm::GlobalVariable(TheModule, Ty, false, 412bb1c8600218b3244340331165fc7cba7bf227655Mike Stump llvm::GlobalValue::InternalLinkage, C, Name); 41320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 41420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 41520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov/// Generate an NSConstantString object. 4160d13f6fdbdd6f06e2449b8834dda53334abd399aDavid Chisnallllvm::Constant *CGObjCGNU::GenerateConstantString(const StringLiteral *SL) { 41748272a078e54d501cb05edd797c54b8e82ceb520David Chisnall 4180d13f6fdbdd6f06e2449b8834dda53334abd399aDavid Chisnall std::string Str(SL->getStrData(), SL->getByteLength()); 4190d13f6fdbdd6f06e2449b8834dda53334abd399aDavid Chisnall 42048272a078e54d501cb05edd797c54b8e82ceb520David Chisnall // Look for an existing one 42148272a078e54d501cb05edd797c54b8e82ceb520David Chisnall llvm::StringMap<llvm::Constant*>::iterator old = ObjCStrings.find(Str); 42248272a078e54d501cb05edd797c54b8e82ceb520David Chisnall if (old != ObjCStrings.end()) 42348272a078e54d501cb05edd797c54b8e82ceb520David Chisnall return old->getValue(); 42448272a078e54d501cb05edd797c54b8e82ceb520David Chisnall 42520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Ivars; 42620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Ivars.push_back(NULLPtr); 42713fd7e5111032f54b538dd66d035b0ccc1f82467Chris Lattner Ivars.push_back(MakeConstantString(Str)); 4284a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson Ivars.push_back(llvm::ConstantInt::get(IntTy, Str.size())); 42920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *ObjCStr = MakeGlobal( 43047a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType::get(VMContext, PtrToInt8Ty, PtrToInt8Ty, IntTy, NULL), 43120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Ivars, ".objc_str"); 43248272a078e54d501cb05edd797c54b8e82ceb520David Chisnall ObjCStr = llvm::ConstantExpr::getBitCast(ObjCStr, PtrToInt8Ty); 43348272a078e54d501cb05edd797c54b8e82ceb520David Chisnall ObjCStrings[Str] = ObjCStr; 43448272a078e54d501cb05edd797c54b8e82ceb520David Chisnall ConstantStrings.push_back(ObjCStr); 43520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov return ObjCStr; 43620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 43720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 43820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov///Generates a message send where the super is the receiver. This is a message 43920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov///send to self with special delivery semantics indicating which class's method 44020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov///should be called. 4418f2926b73ed635afecd020da787af6a837601a2bDaniel DunbarCodeGen::RValue 4428f2926b73ed635afecd020da787af6a837601a2bDaniel DunbarCGObjCGNU::GenerateMessageSendSuper(CodeGen::CodeGenFunction &CGF, 4437f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar QualType ResultType, 4447f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar Selector Sel, 445f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar const ObjCInterfaceDecl *Class, 4467ce77920a35060f1c8dd72e541e42ce296ccd168Fariborz Jahanian bool isCategoryImpl, 447f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar llvm::Value *Receiver, 44819cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar bool IsClassMessage, 449d6c93d703541c992e06eb9a59a2d826a30da65b2Daniel Dunbar const CallArgList &CallArgs, 450d6c93d703541c992e06eb9a59a2d826a30da65b2Daniel Dunbar const ObjCMethodDecl *Method) { 451ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall if (CGM.getLangOptions().getGCMode() != LangOptions::NonGC) { 452ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall if (Sel == RetainSel || Sel == AutoreleaseSel) { 453ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall return RValue::get(Receiver); 454ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall } 455ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall if (Sel == ReleaseSel) { 456ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall return RValue::get(0); 457ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall } 458ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall } 459b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian llvm::Value *cmd = GetSelector(CGF.Builder, Sel); 460b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian 461b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian CallArgList ActualArgs; 462b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian 463b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian ActualArgs.push_back( 4640f436560640a1cff5b6d96f80f540770f139453fDavid Chisnall std::make_pair(RValue::get(CGF.Builder.CreateBitCast(Receiver, IdTy)), 4650f436560640a1cff5b6d96f80f540770f139453fDavid Chisnall ASTIdTy)); 466b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian ActualArgs.push_back(std::make_pair(RValue::get(cmd), 467b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian CGF.getContext().getObjCSelType())); 468b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian ActualArgs.insert(ActualArgs.end(), CallArgs.begin(), CallArgs.end()); 469b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian 470b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian CodeGenTypes &Types = CGM.getTypes(); 47104a67a6aa3dfdc92d57f7f8d93ba397348c868a4John McCall const CGFunctionInfo &FnInfo = Types.getFunctionInfo(ResultType, ActualArgs, 472264ba48dc98f3f843935a485d5b086f7e0fdc4f1Rafael Espindola FunctionType::ExtInfo()); 4736793966aa221764f579cc8436bd641e1ec339c6dDaniel Dunbar const llvm::FunctionType *impType = 4746793966aa221764f579cc8436bd641e1ec339c6dDaniel Dunbar Types.GetFunctionType(FnInfo, Method ? Method->isVariadic() : false); 475b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian 4765efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar llvm::Value *ReceiverClass = 0; 47748e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner if (isCategoryImpl) { 47848e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner llvm::Constant *classLookupFunction = 0; 47948e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner std::vector<const llvm::Type*> Params; 48048e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner Params.push_back(PtrTy); 48148e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner if (IsClassMessage) { 48296e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson classLookupFunction = CGM.CreateRuntimeFunction(llvm::FunctionType::get( 48348e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner IdTy, Params, true), "objc_get_meta_class"); 48448e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner } else { 48596e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson classLookupFunction = CGM.CreateRuntimeFunction(llvm::FunctionType::get( 48648e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner IdTy, Params, true), "objc_get_class"); 4875efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar } 48848e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner ReceiverClass = CGF.Builder.CreateCall(classLookupFunction, 48948e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner MakeConstantString(Class->getNameAsString())); 4905efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar } else { 49148e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner // Set up global aliases for the metaclass or class pointer if they do not 49248e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner // already exist. These will are forward-references which will be set to 493bb1c8600218b3244340331165fc7cba7bf227655Mike Stump // pointers to the class and metaclass structure created for the runtime 494bb1c8600218b3244340331165fc7cba7bf227655Mike Stump // load function. To send a message to super, we look up the value of the 49548e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner // super_class pointer from either the class or metaclass structure. 49648e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner if (IsClassMessage) { 49748e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner if (!MetaClassPtrAlias) { 49848e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner MetaClassPtrAlias = new llvm::GlobalAlias(IdTy, 49948e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner llvm::GlobalValue::InternalLinkage, ".objc_metaclass_ref" + 50048e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner Class->getNameAsString(), NULL, &TheModule); 50148e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner } 50248e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner ReceiverClass = MetaClassPtrAlias; 50348e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner } else { 50448e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner if (!ClassPtrAlias) { 50548e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner ClassPtrAlias = new llvm::GlobalAlias(IdTy, 50648e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner llvm::GlobalValue::InternalLinkage, ".objc_class_ref" + 50748e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner Class->getNameAsString(), NULL, &TheModule); 50848e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner } 50948e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner ReceiverClass = ClassPtrAlias; 5105efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar } 51171238f67c5df13eef19450d66b7a7ab28377192aChris Lattner } 5125efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar // Cast the pointer to a simplified version of the class structure 5131eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump ReceiverClass = CGF.Builder.CreateBitCast(ReceiverClass, 51496e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::PointerType::getUnqual( 51547a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType::get(VMContext, IdTy, IdTy, NULL))); 5165efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar // Get the superclass pointer 5175efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar ReceiverClass = CGF.Builder.CreateStructGEP(ReceiverClass, 1); 5185efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar // Load the superclass pointer 5195efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar ReceiverClass = CGF.Builder.CreateLoad(ReceiverClass); 52020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Construct the structure used to look up the IMP 52147a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType *ObjCSuperTy = llvm::StructType::get(VMContext, 52247a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson Receiver->getType(), IdTy, NULL); 5238f2926b73ed635afecd020da787af6a837601a2bDaniel Dunbar llvm::Value *ObjCSuper = CGF.Builder.CreateAlloca(ObjCSuperTy); 524b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian 5258f2926b73ed635afecd020da787af6a837601a2bDaniel Dunbar CGF.Builder.CreateStore(Receiver, CGF.Builder.CreateStructGEP(ObjCSuper, 0)); 5265efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar CGF.Builder.CreateStore(ReceiverClass, 5275efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar CGF.Builder.CreateStructGEP(ObjCSuper, 1)); 52820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 52920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Get the IMP 53026c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian std::vector<const llvm::Type*> Params; 53196e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson Params.push_back(llvm::PointerType::getUnqual(ObjCSuperTy)); 53226c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian Params.push_back(SelectorTy); 5331eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Constant *lookupFunction = 53496e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson CGM.CreateRuntimeFunction(llvm::FunctionType::get( 53596e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::PointerType::getUnqual(impType), Params, true), 53626c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian "objc_msg_lookup_super"); 53726c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian 53820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Value *lookupArgs[] = {ObjCSuper, cmd}; 5398f2926b73ed635afecd020da787af6a837601a2bDaniel Dunbar llvm::Value *imp = CGF.Builder.CreateCall(lookupFunction, lookupArgs, 54020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov lookupArgs+2); 54120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 542dd5c98f709837e5dd3da08d44d1ce407975df2cfDavid Chisnall llvm::Value *impMD[] = { 543dd5c98f709837e5dd3da08d44d1ce407975df2cfDavid Chisnall llvm::MDString::get(VMContext, Sel.getAsString()), 544dd5c98f709837e5dd3da08d44d1ce407975df2cfDavid Chisnall llvm::MDString::get(VMContext, Class->getSuperClass()->getNameAsString()), 545dd5c98f709837e5dd3da08d44d1ce407975df2cfDavid Chisnall llvm::ConstantInt::get(llvm::Type::getInt1Ty(VMContext), IsClassMessage) 546dd5c98f709837e5dd3da08d44d1ce407975df2cfDavid Chisnall }; 547dd5c98f709837e5dd3da08d44d1ce407975df2cfDavid Chisnall llvm::MDNode *node = llvm::MDNode::get(VMContext, impMD, 3); 548dd5c98f709837e5dd3da08d44d1ce407975df2cfDavid Chisnall 549dd5c98f709837e5dd3da08d44d1ce407975df2cfDavid Chisnall return CGF.EmitCall(FnInfo, imp, ReturnValueSlot(), ActualArgs, 550dd5c98f709837e5dd3da08d44d1ce407975df2cfDavid Chisnall 0, msgSendMDKind, node); 55120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 55220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 5531eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump/// Generate code for a message send expression. 5548f2926b73ed635afecd020da787af6a837601a2bDaniel DunbarCodeGen::RValue 5558f2926b73ed635afecd020da787af6a837601a2bDaniel DunbarCGObjCGNU::GenerateMessageSend(CodeGen::CodeGenFunction &CGF, 5567f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar QualType ResultType, 5577f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar Selector Sel, 558f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar llvm::Value *Receiver, 559df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian const CallArgList &CallArgs, 560c6cd5fd3eae71f8841504a396563343cfaaf503eDavid Chisnall const ObjCInterfaceDecl *Class, 561df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian const ObjCMethodDecl *Method) { 562664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall // Strip out message sends to retain / release in GC mode 563ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall if (CGM.getLangOptions().getGCMode() != LangOptions::NonGC) { 564ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall if (Sel == RetainSel || Sel == AutoreleaseSel) { 565ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall return RValue::get(Receiver); 566ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall } 567ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall if (Sel == ReleaseSel) { 568ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall return RValue::get(0); 569ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall } 570ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall } 571664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall 572d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian CGBuilderTy &Builder = CGF.Builder; 573664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall 574664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall // If the return type is something that goes in an integer register, the 575664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall // runtime will handle 0 returns. For other cases, we fill in the 0 value 576664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall // ourselves. 577664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall // 578664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall // The language spec says the result of this kind of message send is 579664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall // undefined, but lots of people seem to have forgotten to read that 580664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall // paragraph and insist on sending messages to nil that have structure 581664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall // returns. With GCC, this generates a random return value (whatever happens 582664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall // to be on the stack / in those registers at the time) on most platforms, 583664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall // and generates a SegV on SPARC. With LLVM it corrupts the stack. 584664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall bool isPointerSizedReturn = false; 585254e2d9e61dd0adb9c5e219d901f9872fd951728David Chisnall if (ResultType->isAnyPointerType() || ResultType->isIntegralType() || 586254e2d9e61dd0adb9c5e219d901f9872fd951728David Chisnall ResultType->isVoidType()) 587664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall isPointerSizedReturn = true; 588664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall 589664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall llvm::BasicBlock *startBB = 0; 590664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall llvm::BasicBlock *messageBB = 0; 591664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall llvm::BasicBlock *contiueBB = 0; 592664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall 593664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall if (!isPointerSizedReturn) { 594664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall startBB = Builder.GetInsertBlock(); 595664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall messageBB = CGF.createBasicBlock("msgSend"); 596664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall contiueBB = CGF.createBasicBlock("continue"); 597664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall 598664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall llvm::Value *isNil = Builder.CreateICmpEQ(Receiver, 599664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall llvm::Constant::getNullValue(Receiver->getType())); 600664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall Builder.CreateCondBr(isNil, contiueBB, messageBB); 601664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall CGF.EmitBlock(messageBB); 602664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall } 603664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall 6040f436560640a1cff5b6d96f80f540770f139453fDavid Chisnall IdTy = cast<llvm::PointerType>(CGM.getTypes().ConvertType(ASTIdTy)); 605df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian llvm::Value *cmd; 606df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian if (Method) 607d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian cmd = GetSelector(Builder, Method); 608df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian else 609d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian cmd = GetSelector(Builder, Sel); 610b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian CallArgList ActualArgs; 611b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian 612d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Receiver = Builder.CreateBitCast(Receiver, IdTy); 613b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian ActualArgs.push_back( 614d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::make_pair(RValue::get(Receiver), ASTIdTy)); 615b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian ActualArgs.push_back(std::make_pair(RValue::get(cmd), 616b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian CGF.getContext().getObjCSelType())); 617b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian ActualArgs.insert(ActualArgs.end(), CallArgs.begin(), CallArgs.end()); 618b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian 619b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian CodeGenTypes &Types = CGM.getTypes(); 62004a67a6aa3dfdc92d57f7f8d93ba397348c868a4John McCall const CGFunctionInfo &FnInfo = Types.getFunctionInfo(ResultType, ActualArgs, 621264ba48dc98f3f843935a485d5b086f7e0fdc4f1Rafael Espindola FunctionType::ExtInfo()); 6226793966aa221764f579cc8436bd641e1ec339c6dDaniel Dunbar const llvm::FunctionType *impType = 6236793966aa221764f579cc8436bd641e1ec339c6dDaniel Dunbar Types.GetFunctionType(FnInfo, Method ? Method->isVariadic() : false); 6240f984268b05edab2cc555a427c441baa9c252658Chris Lattner 62534e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian llvm::Value *imp; 62634e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian // For sender-aware dispatch, we pass the sender as the third argument to a 62734e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian // lookup function. When sending messages from C code, the sender is nil. 628d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // objc_msg_lookup_sender(id *receiver, SEL selector, id sender); 629d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian if (CGM.getContext().getLangOptions().ObjCNonFragileABI) { 630d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 631d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::vector<const llvm::Type*> Params; 632d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Value *ReceiverPtr = CGF.CreateTempAlloca(Receiver->getType()); 633d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Builder.CreateStore(Receiver, ReceiverPtr); 634d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Params.push_back(ReceiverPtr->getType()); 635d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Params.push_back(SelectorTy); 63634e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian llvm::Value *self; 63734e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian 63834e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian if (isa<ObjCMethodDecl>(CGF.CurFuncDecl)) { 63934e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian self = CGF.LoadObjCSelf(); 64034e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian } else { 64103e205031b08669f05c41eed5b896fc94c4a12bbOwen Anderson self = llvm::ConstantPointerNull::get(IdTy); 64234e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian } 643d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 64434e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian Params.push_back(self->getType()); 645d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 646d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // The lookup function returns a slot, which can be safely cached. 647d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Type *SlotTy = llvm::StructType::get(VMContext, PtrTy, PtrTy, PtrTy, 648d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian IntTy, llvm::PointerType::getUnqual(impType), NULL); 6491eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Constant *lookupFunction = 65096e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson CGM.CreateRuntimeFunction(llvm::FunctionType::get( 651d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::PointerType::getUnqual(SlotTy), Params, true), 65234e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian "objc_msg_lookup_sender"); 65326c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian 654d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // The lookup function is guaranteed not to capture the receiver pointer. 655d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian if (llvm::Function *LookupFn = dyn_cast<llvm::Function>(lookupFunction)) { 656d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian LookupFn->setDoesNotCapture(1); 657d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } 658d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 659866163bf6c66211a9b4d5ba160ac02de04ce4be6David Chisnall llvm::CallInst *slot = 660d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Builder.CreateCall3(lookupFunction, ReceiverPtr, cmd, self); 661866163bf6c66211a9b4d5ba160ac02de04ce4be6David Chisnall slot->setOnlyReadsMemory(); 662866163bf6c66211a9b4d5ba160ac02de04ce4be6David Chisnall 663d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian imp = Builder.CreateLoad(Builder.CreateStructGEP(slot, 4)); 664c6cd5fd3eae71f8841504a396563343cfaaf503eDavid Chisnall 665d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // The lookup function may have changed the receiver, so make sure we use 666d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // the new one. 667d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ActualArgs[0] = 668d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::make_pair(RValue::get(Builder.CreateLoad(ReceiverPtr)), ASTIdTy); 66934e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian } else { 670d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::vector<const llvm::Type*> Params; 671d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Params.push_back(Receiver->getType()); 672d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Params.push_back(SelectorTy); 6731eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Constant *lookupFunction = 67496e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson CGM.CreateRuntimeFunction(llvm::FunctionType::get( 67596e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::PointerType::getUnqual(impType), Params, true), 67634e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian "objc_msg_lookup"); 67734e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian 678d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian imp = Builder.CreateCall2(lookupFunction, Receiver, cmd); 67934e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian } 680dd5c98f709837e5dd3da08d44d1ce407975df2cfDavid Chisnall llvm::Value *impMD[] = { 681dd5c98f709837e5dd3da08d44d1ce407975df2cfDavid Chisnall llvm::MDString::get(VMContext, Sel.getAsString()), 682dd5c98f709837e5dd3da08d44d1ce407975df2cfDavid Chisnall llvm::MDString::get(VMContext, Class ? Class->getNameAsString() :""), 683dd5c98f709837e5dd3da08d44d1ce407975df2cfDavid Chisnall llvm::ConstantInt::get(llvm::Type::getInt1Ty(VMContext), Class!=0) 684dd5c98f709837e5dd3da08d44d1ce407975df2cfDavid Chisnall }; 685dd5c98f709837e5dd3da08d44d1ce407975df2cfDavid Chisnall llvm::MDNode *node = llvm::MDNode::get(VMContext, impMD, 3); 686dd5c98f709837e5dd3da08d44d1ce407975df2cfDavid Chisnall 687dd5c98f709837e5dd3da08d44d1ce407975df2cfDavid Chisnall RValue msgRet = CGF.EmitCall(FnInfo, imp, ReturnValueSlot(), ActualArgs, 688dd5c98f709837e5dd3da08d44d1ce407975df2cfDavid Chisnall 0, msgSendMDKind, node); 689664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall 690664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall if (!isPointerSizedReturn) { 691664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall CGF.EmitBlock(contiueBB); 692664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall if (msgRet.isScalar()) { 693664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall llvm::Value *v = msgRet.getScalarVal(); 694664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall llvm::PHINode *phi = Builder.CreatePHI(v->getType()); 695664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall phi->addIncoming(v, messageBB); 696664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall phi->addIncoming(llvm::Constant::getNullValue(v->getType()), startBB); 697664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall msgRet = RValue::get(phi); 698664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall } else if (msgRet.isAggregate()) { 699664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall llvm::Value *v = msgRet.getAggregateAddr(); 700664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall llvm::PHINode *phi = Builder.CreatePHI(v->getType()); 701664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall const llvm::PointerType *RetTy = cast<llvm::PointerType>(v->getType()); 702866163bf6c66211a9b4d5ba160ac02de04ce4be6David Chisnall llvm::AllocaInst *NullVal = 703866163bf6c66211a9b4d5ba160ac02de04ce4be6David Chisnall CGF.CreateTempAlloca(RetTy->getElementType(), "null"); 704664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall CGF.InitTempAlloca(NullVal, 705664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall llvm::Constant::getNullValue(RetTy->getElementType())); 706664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall phi->addIncoming(v, messageBB); 707664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall phi->addIncoming(NullVal, startBB); 708664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall msgRet = RValue::getAggregate(phi); 709664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall } else /* isComplex() */ { 710664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall std::pair<llvm::Value*,llvm::Value*> v = msgRet.getComplexVal(); 711664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall llvm::PHINode *phi = Builder.CreatePHI(v.first->getType()); 712664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall phi->addIncoming(v.first, messageBB); 713664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall phi->addIncoming(llvm::Constant::getNullValue(v.first->getType()), 714664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall startBB); 715664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall llvm::PHINode *phi2 = Builder.CreatePHI(v.second->getType()); 716664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall phi2->addIncoming(v.second, messageBB); 717664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall phi2->addIncoming(llvm::Constant::getNullValue(v.second->getType()), 718664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall startBB); 719664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall msgRet = RValue::getComplex(phi, phi2); 720664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall } 721664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall } 722664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall return msgRet; 72320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 72420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 7251eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump/// Generates a MethodList. Used in construction of a objc_class and 72620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov/// objc_category structures. 72720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovllvm::Constant *CGObjCGNU::GenerateMethodList(const std::string &ClassName, 7281eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const std::string &CategoryName, 7291eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const llvm::SmallVectorImpl<Selector> &MethodSels, 7301eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const llvm::SmallVectorImpl<llvm::Constant *> &MethodTypes, 73120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov bool isClassMethodList) { 7320f436560640a1cff5b6d96f80f540770f139453fDavid Chisnall if (MethodSels.empty()) 7330f436560640a1cff5b6d96f80f540770f139453fDavid Chisnall return NULLPtr; 7341eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump // Get the method structure type. 73547a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType *ObjCMethodTy = llvm::StructType::get(VMContext, 73620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, // Really a selector, but the runtime creates it us. 73720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, // Method types 73896e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::PointerType::getUnqual(IMPTy), //Method pointer 73920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov NULL); 74020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Methods; 74120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Elements; 74220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov for (unsigned int i = 0, e = MethodTypes.size(); i < e; ++i) { 74320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 7441e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian if (llvm::Constant *Method = 74520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov TheModule.getFunction(SymbolNameForMethod(ClassName, CategoryName, 746077bf5e2f48acfa9e7d69429b6e4ba86ea14896dChris Lattner MethodSels[i].getAsString(), 7471e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian isClassMethodList))) { 7488a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall llvm::Constant *C = MakeConstantString(MethodSels[i].getAsString()); 7498a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall Elements.push_back(C); 7508a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall Elements.push_back(MethodTypes[i]); 7513c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson Method = llvm::ConstantExpr::getBitCast(Method, 75296e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::PointerType::getUnqual(IMPTy)); 7531e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian Elements.push_back(Method); 75408e252425ca2cbdc44ba65d9a657ed5398014e36Owen Anderson Methods.push_back(llvm::ConstantStruct::get(ObjCMethodTy, Elements)); 7551e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian } 75620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 75720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 75820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Array of method structures 75996e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::ArrayType *ObjCMethodArrayTy = llvm::ArrayType::get(ObjCMethodTy, 7601e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian Methods.size()); 7617db6d838aad4083fe86d7bf703a75fe6e8a17856Owen Anderson llvm::Constant *MethodArray = llvm::ConstantArray::get(ObjCMethodArrayTy, 762fba676396703e87a5034e5f308aa30a633468f66Chris Lattner Methods); 76320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 76420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Structure containing list pointer, array and array count 76520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::SmallVector<const llvm::Type*, 16> ObjCMethodListFields; 7668c8f69ec1477424e11faef6b235505584d61e522Owen Anderson llvm::PATypeHolder OpaqueNextTy = llvm::OpaqueType::get(VMContext); 76796e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::Type *NextPtrTy = llvm::PointerType::getUnqual(OpaqueNextTy); 76847a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType *ObjCMethodListTy = llvm::StructType::get(VMContext, 7691eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump NextPtrTy, 7701eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump IntTy, 77120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ObjCMethodArrayTy, 77220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov NULL); 77320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Refine next pointer type to concrete type 77420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::cast<llvm::OpaqueType>( 77520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov OpaqueNextTy.get())->refineAbstractTypeTo(ObjCMethodListTy); 77620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ObjCMethodListTy = llvm::cast<llvm::StructType>(OpaqueNextTy.get()); 77720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 77820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Methods.clear(); 77903e205031b08669f05c41eed5b896fc94c4a12bbOwen Anderson Methods.push_back(llvm::ConstantPointerNull::get( 78096e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::PointerType::getUnqual(ObjCMethodListTy))); 7810032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson Methods.push_back(llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), 78220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov MethodTypes.size())); 78320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Methods.push_back(MethodArray); 7841eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 78520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Create an instance of the structure 78620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov return MakeGlobal(ObjCMethodListTy, Methods, ".objc_method_list"); 78720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 78820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 78920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov/// Generates an IvarList. Used in construction of a objc_class. 79020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovllvm::Constant *CGObjCGNU::GenerateIvarList( 79120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &IvarNames, 79220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &IvarTypes, 79320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &IvarOffsets) { 7941804463ee790ac3cc73f72597ccb38b983f7d263David Chisnall if (IvarNames.size() == 0) 7951804463ee790ac3cc73f72597ccb38b983f7d263David Chisnall return NULLPtr; 7961eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump // Get the method structure type. 79747a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType *ObjCIvarTy = llvm::StructType::get(VMContext, 79820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, 79920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, 80020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov IntTy, 80120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov NULL); 80220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Ivars; 80320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Elements; 80420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov for (unsigned int i = 0, e = IvarNames.size() ; i < e ; i++) { 80520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 8068a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall Elements.push_back(IvarNames[i]); 8078a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall Elements.push_back(IvarTypes[i]); 80820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(IvarOffsets[i]); 80908e252425ca2cbdc44ba65d9a657ed5398014e36Owen Anderson Ivars.push_back(llvm::ConstantStruct::get(ObjCIvarTy, Elements)); 81020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 81120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 81220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Array of method structures 81396e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::ArrayType *ObjCIvarArrayTy = llvm::ArrayType::get(ObjCIvarTy, 81420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov IvarNames.size()); 81520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 8161eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 81720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 8184a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson Elements.push_back(llvm::ConstantInt::get(IntTy, (int)IvarNames.size())); 8197db6d838aad4083fe86d7bf703a75fe6e8a17856Owen Anderson Elements.push_back(llvm::ConstantArray::get(ObjCIvarArrayTy, Ivars)); 82020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Structure containing array and array count 82147a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType *ObjCIvarListTy = llvm::StructType::get(VMContext, IntTy, 82220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ObjCIvarArrayTy, 82320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov NULL); 82420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 82520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Create an instance of the structure 82620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov return MakeGlobal(ObjCIvarListTy, Elements, ".objc_ivar_list"); 8270f984268b05edab2cc555a427c441baa9c252658Chris Lattner} 8280f984268b05edab2cc555a427c441baa9c252658Chris Lattner 82920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov/// Generate a class structure 83020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovllvm::Constant *CGObjCGNU::GenerateClassStructure( 83120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *MetaClass, 83220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *SuperClass, 83320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov unsigned info, 834d002cc6fc5b72bf00e3b7b4571ccf0f23c789b4bChris Lattner const char *Name, 83520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *Version, 83620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *InstanceSize, 83720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *IVars, 83820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *Methods, 839d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *Protocols, 840d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *IvarOffsets, 8418c757f9ea33dccff4da7810e0c1bda59c19ddc9aDavid Chisnall llvm::Constant *Properties, 8428c757f9ea33dccff4da7810e0c1bda59c19ddc9aDavid Chisnall bool isMeta) { 84320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Set up the class structure 84420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Note: Several of these are char*s when they should be ids. This is 84520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // because the runtime performs this translation on load. 846d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // 847d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // Fields marked New ABI are part of the GNUstep runtime. We emit them 848d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // anyway; the classes will still work with the GNU runtime, they will just 849d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // be ignored. 85047a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType *ClassTy = llvm::StructType::get(VMContext, 85120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, // class_pointer 85220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, // super_class 85320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, // name 85420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov LongTy, // version 85520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov LongTy, // info 85620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov LongTy, // instance_size 85720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov IVars->getType(), // ivars 85820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Methods->getType(), // methods 8591eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump // These are all filled in by the runtime, so we pretend 86020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrTy, // dtable 86120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrTy, // subclass_list 86220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrTy, // sibling_class 86320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrTy, // protocols 86420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrTy, // gc_object_type 865d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // New ABI: 866d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian LongTy, // abi_version 867d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian IvarOffsets->getType(), // ivar_offsets 868d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Properties->getType(), // properties 86920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov NULL); 8704a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson llvm::Constant *Zero = llvm::ConstantInt::get(LongTy, 0); 87120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Fill in the structure 87220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Elements; 8733c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson Elements.push_back(llvm::ConstantExpr::getBitCast(MetaClass, PtrToInt8Ty)); 87420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(SuperClass); 875d002cc6fc5b72bf00e3b7b4571ccf0f23c789b4bChris Lattner Elements.push_back(MakeConstantString(Name, ".class_name")); 87620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(Zero); 8774a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson Elements.push_back(llvm::ConstantInt::get(LongTy, info)); 87820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(InstanceSize); 87920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(IVars); 88020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(Methods); 881d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(NULLPtr); 882d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(NULLPtr); 883d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(NULLPtr); 8843c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson Elements.push_back(llvm::ConstantExpr::getBitCast(Protocols, PtrTy)); 885d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(NULLPtr); 886d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(Zero); 887d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(IvarOffsets); 888d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(Properties); 88920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Create an instance of the structure 89041d63ed274d1bf7ba7459f218c8f6a385fc5c6d6David Chisnall // This is now an externally visible symbol, so that we can speed up class 89141d63ed274d1bf7ba7459f218c8f6a385fc5c6d6David Chisnall // messages in the next ABI. 8928c757f9ea33dccff4da7810e0c1bda59c19ddc9aDavid Chisnall return MakeGlobal(ClassTy, Elements, (isMeta ? "_OBJC_METACLASS_": 8938c757f9ea33dccff4da7810e0c1bda59c19ddc9aDavid Chisnall "_OBJC_CLASS_") + std::string(Name), llvm::GlobalValue::ExternalLinkage); 89420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 89520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 89620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovllvm::Constant *CGObjCGNU::GenerateProtocolMethodList( 89720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &MethodNames, 89820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &MethodTypes) { 8991eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump // Get the method structure type. 90047a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType *ObjCMethodDescTy = llvm::StructType::get(VMContext, 90120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, // Really a selector, but the runtime does the casting for us. 90220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, 90320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov NULL); 90420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Methods; 90520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Elements; 90620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov for (unsigned int i = 0, e = MethodTypes.size() ; i < e ; i++) { 90720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 9081eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Elements.push_back(MethodNames[i]); 9098a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall Elements.push_back(MethodTypes[i]); 91008e252425ca2cbdc44ba65d9a657ed5398014e36Owen Anderson Methods.push_back(llvm::ConstantStruct::get(ObjCMethodDescTy, Elements)); 91120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 91296e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::ArrayType *ObjCMethodArrayTy = llvm::ArrayType::get(ObjCMethodDescTy, 91320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov MethodNames.size()); 9147db6d838aad4083fe86d7bf703a75fe6e8a17856Owen Anderson llvm::Constant *Array = llvm::ConstantArray::get(ObjCMethodArrayTy, 915bb1c8600218b3244340331165fc7cba7bf227655Mike Stump Methods); 91647a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType *ObjCMethodDescListTy = llvm::StructType::get(VMContext, 91720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov IntTy, ObjCMethodArrayTy, NULL); 91820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Methods.clear(); 9194a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson Methods.push_back(llvm::ConstantInt::get(IntTy, MethodNames.size())); 92020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Methods.push_back(Array); 92120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov return MakeGlobal(ObjCMethodDescListTy, Methods, ".objc_method_list"); 92220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 923bb1c8600218b3244340331165fc7cba7bf227655Mike Stump 92420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov// Create the protocol list structure used in classes, categories and so on 92520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovllvm::Constant *CGObjCGNU::GenerateProtocolList( 92620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<std::string> &Protocols) { 92796e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::ArrayType *ProtocolArrayTy = llvm::ArrayType::get(PtrToInt8Ty, 92820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Protocols.size()); 92947a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType *ProtocolListTy = llvm::StructType::get(VMContext, 93020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrTy, //Should be a recurisve pointer, but it's always NULL here. 93120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov LongTy,//FIXME: Should be size_t 93220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ProtocolArrayTy, 93320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov NULL); 9341eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump std::vector<llvm::Constant*> Elements; 93520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov for (const std::string *iter = Protocols.begin(), *endIter = Protocols.end(); 93620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov iter != endIter ; iter++) { 937ff80fabfa42d4aadbbaab4d61fa518d80b5a981aDavid Chisnall llvm::Constant *protocol = 0; 938ff80fabfa42d4aadbbaab4d61fa518d80b5a981aDavid Chisnall llvm::StringMap<llvm::Constant*>::iterator value = 939ff80fabfa42d4aadbbaab4d61fa518d80b5a981aDavid Chisnall ExistingProtocols.find(*iter); 940ff80fabfa42d4aadbbaab4d61fa518d80b5a981aDavid Chisnall if (value == ExistingProtocols.end()) { 941f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian protocol = GenerateEmptyProtocol(*iter); 942ff80fabfa42d4aadbbaab4d61fa518d80b5a981aDavid Chisnall } else { 943ff80fabfa42d4aadbbaab4d61fa518d80b5a981aDavid Chisnall protocol = value->getValue(); 944ff80fabfa42d4aadbbaab4d61fa518d80b5a981aDavid Chisnall } 9453c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson llvm::Constant *Ptr = llvm::ConstantExpr::getBitCast(protocol, 946a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson PtrToInt8Ty); 94720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(Ptr); 94820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 9497db6d838aad4083fe86d7bf703a75fe6e8a17856Owen Anderson llvm::Constant * ProtocolArray = llvm::ConstantArray::get(ProtocolArrayTy, 95020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements); 95120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 95220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(NULLPtr); 9534a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson Elements.push_back(llvm::ConstantInt::get(LongTy, Protocols.size())); 95420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(ProtocolArray); 95520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov return MakeGlobal(ProtocolListTy, Elements, ".objc_protocol_list"); 95620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 95720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 9581eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpllvm::Value *CGObjCGNU::GenerateProtocolRef(CGBuilderTy &Builder, 959af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar const ObjCProtocolDecl *PD) { 960f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian llvm::Value *protocol = ExistingProtocols[PD->getNameAsString()]; 9611eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const llvm::Type *T = 962f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian CGM.getTypes().ConvertType(CGM.getContext().getObjCProtoType()); 96396e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson return Builder.CreateBitCast(protocol, llvm::PointerType::getUnqual(T)); 964f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian} 965f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian 966f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanianllvm::Constant *CGObjCGNU::GenerateEmptyProtocol( 967f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian const std::string &ProtocolName) { 968f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian llvm::SmallVector<std::string, 0> EmptyStringVector; 969f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian llvm::SmallVector<llvm::Constant*, 0> EmptyConstantVector; 970f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian 971f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian llvm::Constant *ProtocolList = GenerateProtocolList(EmptyStringVector); 972d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *MethodList = 973f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian GenerateProtocolMethodList(EmptyConstantVector, EmptyConstantVector); 974f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian // Protocols are objects containing lists of the methods implemented and 975f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian // protocols adopted. 97647a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType *ProtocolTy = llvm::StructType::get(VMContext, IdTy, 977f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian PtrToInt8Ty, 978f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian ProtocolList->getType(), 979d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian MethodList->getType(), 980d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian MethodList->getType(), 981d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian MethodList->getType(), 982d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian MethodList->getType(), 983f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian NULL); 9841eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump std::vector<llvm::Constant*> Elements; 985f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian // The isa pointer must be set to a magic number so the runtime knows it's 986f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian // the correct layout. 987d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian int Version = CGM.getContext().getLangOptions().ObjCNonFragileABI ? 988d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian NonFragileProtocolVersion : ProtocolVersion; 9893c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson Elements.push_back(llvm::ConstantExpr::getIntToPtr( 990d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), Version), IdTy)); 991f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian Elements.push_back(MakeConstantString(ProtocolName, ".objc_protocol_name")); 992f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian Elements.push_back(ProtocolList); 993d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(MethodList); 994d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(MethodList); 995d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(MethodList); 996d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(MethodList); 997f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian return MakeGlobal(ProtocolTy, Elements, ".objc_protocol"); 99820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 99920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 1000af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbarvoid CGObjCGNU::GenerateProtocol(const ObjCProtocolDecl *PD) { 1001af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar ASTContext &Context = CGM.getContext(); 10028ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner std::string ProtocolName = PD->getNameAsString(); 1003af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar llvm::SmallVector<std::string, 16> Protocols; 1004af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar for (ObjCProtocolDecl::protocol_iterator PI = PD->protocol_begin(), 1005af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar E = PD->protocol_end(); PI != E; ++PI) 1006d9d22dd9c94618490dbffb0e2caf222530ca39d3Chris Lattner Protocols.push_back((*PI)->getNameAsString()); 1007af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> InstanceMethodNames; 1008af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> InstanceMethodTypes; 1009d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::SmallVector<llvm::Constant*, 16> OptionalInstanceMethodNames; 1010d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::SmallVector<llvm::Constant*, 16> OptionalInstanceMethodTypes; 101117945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis for (ObjCProtocolDecl::instmeth_iterator iter = PD->instmeth_begin(), 101217945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis E = PD->instmeth_end(); iter != E; iter++) { 1013af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar std::string TypeStr; 1014af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar Context.getObjCEncodingForMethodDecl(*iter, TypeStr); 1015d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian if ((*iter)->getImplementationControl() == ObjCMethodDecl::Optional) { 1016d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian InstanceMethodNames.push_back( 1017d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian MakeConstantString((*iter)->getSelector().getAsString())); 1018d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian InstanceMethodTypes.push_back(MakeConstantString(TypeStr)); 1019d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } else { 1020d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian OptionalInstanceMethodNames.push_back( 1021d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian MakeConstantString((*iter)->getSelector().getAsString())); 1022d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian OptionalInstanceMethodTypes.push_back(MakeConstantString(TypeStr)); 1023d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } 1024af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar } 1025af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar // Collect information about class methods: 1026af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> ClassMethodNames; 1027af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> ClassMethodTypes; 1028d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::SmallVector<llvm::Constant*, 16> OptionalClassMethodNames; 1029d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::SmallVector<llvm::Constant*, 16> OptionalClassMethodTypes; 10301eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump for (ObjCProtocolDecl::classmeth_iterator 103117945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis iter = PD->classmeth_begin(), endIter = PD->classmeth_end(); 103217945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis iter != endIter ; iter++) { 1033af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar std::string TypeStr; 1034af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar Context.getObjCEncodingForMethodDecl((*iter),TypeStr); 1035d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian if ((*iter)->getImplementationControl() == ObjCMethodDecl::Optional) { 1036d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ClassMethodNames.push_back( 1037d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian MakeConstantString((*iter)->getSelector().getAsString())); 1038d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ClassMethodTypes.push_back(MakeConstantString(TypeStr)); 1039d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } else { 1040d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian OptionalClassMethodNames.push_back( 1041d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian MakeConstantString((*iter)->getSelector().getAsString())); 1042d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian OptionalClassMethodTypes.push_back(MakeConstantString(TypeStr)); 1043d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } 1044af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar } 104520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 104620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *ProtocolList = GenerateProtocolList(Protocols); 104720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *InstanceMethodList = 104820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov GenerateProtocolMethodList(InstanceMethodNames, InstanceMethodTypes); 104920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *ClassMethodList = 105020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov GenerateProtocolMethodList(ClassMethodNames, ClassMethodTypes); 1051d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *OptionalInstanceMethodList = 1052d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian GenerateProtocolMethodList(OptionalInstanceMethodNames, 1053d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian OptionalInstanceMethodTypes); 1054d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *OptionalClassMethodList = 1055d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian GenerateProtocolMethodList(OptionalClassMethodNames, 1056d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian OptionalClassMethodTypes); 1057d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 1058d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // Property metadata: name, attributes, isSynthesized, setter name, setter 1059d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // types, getter name, getter types. 1060d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // The isSynthesized value is always set to 0 in a protocol. It exists to 1061d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // simplify the runtime library by allowing it to use the same data 1062d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // structures for protocol metadata everywhere. 1063d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::StructType *PropertyMetadataTy = llvm::StructType::get(VMContext, 1064d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian PtrToInt8Ty, Int8Ty, Int8Ty, PtrToInt8Ty, PtrToInt8Ty, PtrToInt8Ty, 1065d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian PtrToInt8Ty, NULL); 1066d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::vector<llvm::Constant*> Properties; 1067d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::vector<llvm::Constant*> OptionalProperties; 1068d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 1069d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // Add all of the property methods need adding to the method list and to the 1070d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // property metadata list. 1071d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian for (ObjCContainerDecl::prop_iterator 1072d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian iter = PD->prop_begin(), endIter = PD->prop_end(); 1073d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian iter != endIter ; iter++) { 1074d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::vector<llvm::Constant*> Fields; 1075d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ObjCPropertyDecl *property = (*iter); 1076d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 1077d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(MakeConstantString(property->getNameAsString())); 1078d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(llvm::ConstantInt::get(Int8Ty, 1079d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian property->getPropertyAttributes())); 1080d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(llvm::ConstantInt::get(Int8Ty, 0)); 1081d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian if (ObjCMethodDecl *getter = property->getGetterMethodDecl()) { 1082d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::string TypeStr; 1083d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Context.getObjCEncodingForMethodDecl(getter,TypeStr); 1084d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *TypeEncoding = MakeConstantString(TypeStr); 1085d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian InstanceMethodTypes.push_back(TypeEncoding); 1086d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(MakeConstantString(getter->getSelector().getAsString())); 1087d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(TypeEncoding); 1088d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } else { 1089d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(NULLPtr); 1090d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(NULLPtr); 1091d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } 1092d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian if (ObjCMethodDecl *setter = property->getSetterMethodDecl()) { 1093d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::string TypeStr; 1094d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Context.getObjCEncodingForMethodDecl(setter,TypeStr); 1095d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *TypeEncoding = MakeConstantString(TypeStr); 1096d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian InstanceMethodTypes.push_back(TypeEncoding); 1097d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(MakeConstantString(setter->getSelector().getAsString())); 1098d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(TypeEncoding); 1099d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } else { 1100d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(NULLPtr); 1101d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(NULLPtr); 1102d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } 1103d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian if (property->getPropertyImplementation() == ObjCPropertyDecl::Optional) { 1104d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian OptionalProperties.push_back(llvm::ConstantStruct::get(PropertyMetadataTy, Fields)); 1105d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } else { 1106d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Properties.push_back(llvm::ConstantStruct::get(PropertyMetadataTy, Fields)); 1107d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } 1108d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } 1109d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *PropertyArray = llvm::ConstantArray::get( 1110d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::ArrayType::get(PropertyMetadataTy, Properties.size()), Properties); 1111d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant* PropertyListInitFields[] = 1112d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian {llvm::ConstantInt::get(IntTy, Properties.size()), NULLPtr, PropertyArray}; 1113d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 1114d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *PropertyListInit = 11150d36dd28bb40b08a93d7f64196794882eee08ee8Nick Lewycky llvm::ConstantStruct::get(VMContext, PropertyListInitFields, 3, false); 1116d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *PropertyList = new llvm::GlobalVariable(TheModule, 1117d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian PropertyListInit->getType(), false, llvm::GlobalValue::InternalLinkage, 1118d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian PropertyListInit, ".objc_property_list"); 1119d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 1120d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *OptionalPropertyArray = 1121d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::ConstantArray::get(llvm::ArrayType::get(PropertyMetadataTy, 1122d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian OptionalProperties.size()) , OptionalProperties); 1123d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant* OptionalPropertyListInitFields[] = { 1124d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::ConstantInt::get(IntTy, OptionalProperties.size()), NULLPtr, 1125d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian OptionalPropertyArray }; 1126d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 1127d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *OptionalPropertyListInit = 11280d36dd28bb40b08a93d7f64196794882eee08ee8Nick Lewycky llvm::ConstantStruct::get(VMContext, OptionalPropertyListInitFields, 3, false); 1129d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *OptionalPropertyList = new llvm::GlobalVariable(TheModule, 1130d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian OptionalPropertyListInit->getType(), false, 1131d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::GlobalValue::InternalLinkage, OptionalPropertyListInit, 1132d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ".objc_property_list"); 1133d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 113420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Protocols are objects containing lists of the methods implemented and 113520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // protocols adopted. 113647a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType *ProtocolTy = llvm::StructType::get(VMContext, IdTy, 113720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, 113820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ProtocolList->getType(), 113920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov InstanceMethodList->getType(), 114020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ClassMethodList->getType(), 1141d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian OptionalInstanceMethodList->getType(), 1142d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian OptionalClassMethodList->getType(), 1143d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian PropertyList->getType(), 1144d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian OptionalPropertyList->getType(), 114520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov NULL); 11461eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump std::vector<llvm::Constant*> Elements; 114720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // The isa pointer must be set to a magic number so the runtime knows it's 114820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // the correct layout. 1149d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian int Version = CGM.getContext().getLangOptions().ObjCNonFragileABI ? 1150d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian NonFragileProtocolVersion : ProtocolVersion; 11513c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson Elements.push_back(llvm::ConstantExpr::getIntToPtr( 1152d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), Version), IdTy)); 115320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(MakeConstantString(ProtocolName, ".objc_protocol_name")); 115420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(ProtocolList); 115520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(InstanceMethodList); 115620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(ClassMethodList); 1157d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(OptionalInstanceMethodList); 1158d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(OptionalClassMethodList); 1159d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(PropertyList); 1160d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(OptionalPropertyList); 11611eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump ExistingProtocols[ProtocolName] = 11623c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson llvm::ConstantExpr::getBitCast(MakeGlobal(ProtocolTy, Elements, 116320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ".objc_protocol"), IdTy); 116420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 1165d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanianvoid CGObjCGNU::GenerateProtocolHolderCategory(void) { 1166d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // Collect information about instance methods 1167d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::SmallVector<Selector, 1> MethodSels; 1168d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::SmallVector<llvm::Constant*, 1> MethodTypes; 1169d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 1170d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::vector<llvm::Constant*> Elements; 1171d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian const std::string ClassName = "__ObjC_Protocol_Holder_Ugly_Hack"; 1172d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian const std::string CategoryName = "AnotherHack"; 1173d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(MakeConstantString(CategoryName)); 1174d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(MakeConstantString(ClassName)); 1175d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // Instance method list 1176d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(llvm::ConstantExpr::getBitCast(GenerateMethodList( 1177d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ClassName, CategoryName, MethodSels, MethodTypes, false), PtrTy)); 1178d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // Class method list 1179d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(llvm::ConstantExpr::getBitCast(GenerateMethodList( 1180d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ClassName, CategoryName, MethodSels, MethodTypes, true), PtrTy)); 1181d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // Protocol list 1182d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::ArrayType *ProtocolArrayTy = llvm::ArrayType::get(PtrTy, 1183d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ExistingProtocols.size()); 1184d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::StructType *ProtocolListTy = llvm::StructType::get(VMContext, 1185d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian PtrTy, //Should be a recurisve pointer, but it's always NULL here. 1186d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian LongTy,//FIXME: Should be size_t 1187d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ProtocolArrayTy, 1188d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian NULL); 1189d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::vector<llvm::Constant*> ProtocolElements; 1190d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian for (llvm::StringMapIterator<llvm::Constant*> iter = 1191d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ExistingProtocols.begin(), endIter = ExistingProtocols.end(); 1192d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian iter != endIter ; iter++) { 1193d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *Ptr = llvm::ConstantExpr::getBitCast(iter->getValue(), 1194d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian PtrTy); 1195d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ProtocolElements.push_back(Ptr); 1196d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } 1197d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant * ProtocolArray = llvm::ConstantArray::get(ProtocolArrayTy, 1198d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ProtocolElements); 1199d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ProtocolElements.clear(); 1200d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ProtocolElements.push_back(NULLPtr); 1201d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ProtocolElements.push_back(llvm::ConstantInt::get(LongTy, 1202d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ExistingProtocols.size())); 1203d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ProtocolElements.push_back(ProtocolArray); 1204d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(llvm::ConstantExpr::getBitCast(MakeGlobal(ProtocolListTy, 1205d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ProtocolElements, ".objc_protocol_list"), PtrTy)); 1206d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Categories.push_back(llvm::ConstantExpr::getBitCast( 1207d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian MakeGlobal(llvm::StructType::get(VMContext, PtrToInt8Ty, PtrToInt8Ty, 1208d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian PtrTy, PtrTy, PtrTy, NULL), Elements), PtrTy)); 1209d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian} 121020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 12117ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbarvoid CGObjCGNU::GenerateCategory(const ObjCCategoryImplDecl *OCD) { 12128ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner std::string ClassName = OCD->getClassInterface()->getNameAsString(); 12138ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner std::string CategoryName = OCD->getNameAsString(); 12147ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Collect information about instance methods 12157ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<Selector, 16> InstanceMethodSels; 12167ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> InstanceMethodTypes; 1217653f1b1bf293a9bd96fd4dd6372e779cc7af1597Douglas Gregor for (ObjCCategoryImplDecl::instmeth_iterator 121817945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis iter = OCD->instmeth_begin(), endIter = OCD->instmeth_end(); 1219653f1b1bf293a9bd96fd4dd6372e779cc7af1597Douglas Gregor iter != endIter ; iter++) { 12207ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar InstanceMethodSels.push_back((*iter)->getSelector()); 12217ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar std::string TypeStr; 12227ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar CGM.getContext().getObjCEncodingForMethodDecl(*iter,TypeStr); 12238a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall InstanceMethodTypes.push_back(MakeConstantString(TypeStr)); 12247ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar } 12257ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 12267ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Collect information about class methods 12277ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<Selector, 16> ClassMethodSels; 12287ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> ClassMethodTypes; 12291eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump for (ObjCCategoryImplDecl::classmeth_iterator 123017945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis iter = OCD->classmeth_begin(), endIter = OCD->classmeth_end(); 1231653f1b1bf293a9bd96fd4dd6372e779cc7af1597Douglas Gregor iter != endIter ; iter++) { 12327ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar ClassMethodSels.push_back((*iter)->getSelector()); 12337ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar std::string TypeStr; 12347ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar CGM.getContext().getObjCEncodingForMethodDecl(*iter,TypeStr); 12358a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall ClassMethodTypes.push_back(MakeConstantString(TypeStr)); 12367ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar } 12377ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 12387ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Collect the names of referenced protocols 12397ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<std::string, 16> Protocols; 1240ad9e06d82ae627e858e5bfe4a7f1f9337b5b0a15David Chisnall const ObjCCategoryDecl *CatDecl = OCD->getCategoryDecl(); 1241ad9e06d82ae627e858e5bfe4a7f1f9337b5b0a15David Chisnall const ObjCList<ObjCProtocolDecl> &Protos = CatDecl->getReferencedProtocols(); 12427ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar for (ObjCList<ObjCProtocolDecl>::iterator I = Protos.begin(), 12437ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar E = Protos.end(); I != E; ++I) 1244d9d22dd9c94618490dbffb0e2caf222530ca39d3Chris Lattner Protocols.push_back((*I)->getNameAsString()); 12457ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 124620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Elements; 124720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(MakeConstantString(CategoryName)); 124820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(MakeConstantString(ClassName)); 12491eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump // Instance method list 12503c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson Elements.push_back(llvm::ConstantExpr::getBitCast(GenerateMethodList( 1251a4210076fc1d7ac0a20b8b4a79e18a8ae33b9c69Chris Lattner ClassName, CategoryName, InstanceMethodSels, InstanceMethodTypes, 125220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov false), PtrTy)); 125320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Class method list 12543c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson Elements.push_back(llvm::ConstantExpr::getBitCast(GenerateMethodList( 1255a4210076fc1d7ac0a20b8b4a79e18a8ae33b9c69Chris Lattner ClassName, CategoryName, ClassMethodSels, ClassMethodTypes, true), 125620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrTy)); 125720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Protocol list 12583c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson Elements.push_back(llvm::ConstantExpr::getBitCast( 125920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov GenerateProtocolList(Protocols), PtrTy)); 12603c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson Categories.push_back(llvm::ConstantExpr::getBitCast( 12611eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump MakeGlobal(llvm::StructType::get(VMContext, PtrToInt8Ty, PtrToInt8Ty, 126247a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson PtrTy, PtrTy, PtrTy, NULL), Elements), PtrTy)); 126320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 12647ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 1265d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanianllvm::Constant *CGObjCGNU::GeneratePropertyList(const ObjCImplementationDecl *OID, 1266d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::SmallVectorImpl<Selector> &InstanceMethodSels, 1267d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::SmallVectorImpl<llvm::Constant*> &InstanceMethodTypes) { 1268d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ASTContext &Context = CGM.getContext(); 1269d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // 1270d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // Property metadata: name, attributes, isSynthesized, setter name, setter 1271d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // types, getter name, getter types. 1272d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::StructType *PropertyMetadataTy = llvm::StructType::get(VMContext, 1273d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian PtrToInt8Ty, Int8Ty, Int8Ty, PtrToInt8Ty, PtrToInt8Ty, PtrToInt8Ty, 1274d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian PtrToInt8Ty, NULL); 1275d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::vector<llvm::Constant*> Properties; 1276d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 1277d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 1278d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // Add all of the property methods need adding to the method list and to the 1279d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // property metadata list. 1280d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian for (ObjCImplDecl::propimpl_iterator 1281d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian iter = OID->propimpl_begin(), endIter = OID->propimpl_end(); 1282d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian iter != endIter ; iter++) { 1283d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::vector<llvm::Constant*> Fields; 1284d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ObjCPropertyDecl *property = (*iter)->getPropertyDecl(); 128542ba04a072c69d84a6660e4498215086662910acDavid Chisnall ObjCPropertyImplDecl *propertyImpl = *iter; 128642ba04a072c69d84a6660e4498215086662910acDavid Chisnall bool isSynthesized = (propertyImpl->getPropertyImplementation() == 128742ba04a072c69d84a6660e4498215086662910acDavid Chisnall ObjCPropertyImplDecl::Synthesize); 1288d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 1289d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(MakeConstantString(property->getNameAsString())); 1290d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(llvm::ConstantInt::get(Int8Ty, 1291d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian property->getPropertyAttributes())); 129242ba04a072c69d84a6660e4498215086662910acDavid Chisnall Fields.push_back(llvm::ConstantInt::get(Int8Ty, isSynthesized)); 1293d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian if (ObjCMethodDecl *getter = property->getGetterMethodDecl()) { 1294d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::string TypeStr; 1295d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Context.getObjCEncodingForMethodDecl(getter,TypeStr); 1296d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *TypeEncoding = MakeConstantString(TypeStr); 129742ba04a072c69d84a6660e4498215086662910acDavid Chisnall if (isSynthesized) { 129842ba04a072c69d84a6660e4498215086662910acDavid Chisnall InstanceMethodTypes.push_back(TypeEncoding); 129942ba04a072c69d84a6660e4498215086662910acDavid Chisnall InstanceMethodSels.push_back(getter->getSelector()); 130042ba04a072c69d84a6660e4498215086662910acDavid Chisnall } 1301d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(MakeConstantString(getter->getSelector().getAsString())); 1302d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(TypeEncoding); 1303d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } else { 1304d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(NULLPtr); 1305d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(NULLPtr); 1306d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } 1307d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian if (ObjCMethodDecl *setter = property->getSetterMethodDecl()) { 1308d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::string TypeStr; 1309d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Context.getObjCEncodingForMethodDecl(setter,TypeStr); 1310d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *TypeEncoding = MakeConstantString(TypeStr); 131142ba04a072c69d84a6660e4498215086662910acDavid Chisnall if (isSynthesized) { 131242ba04a072c69d84a6660e4498215086662910acDavid Chisnall InstanceMethodTypes.push_back(TypeEncoding); 131342ba04a072c69d84a6660e4498215086662910acDavid Chisnall InstanceMethodSels.push_back(setter->getSelector()); 131442ba04a072c69d84a6660e4498215086662910acDavid Chisnall } 1315d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(MakeConstantString(setter->getSelector().getAsString())); 1316d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(TypeEncoding); 1317d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } else { 1318d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(NULLPtr); 1319d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(NULLPtr); 1320d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } 1321d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Properties.push_back(llvm::ConstantStruct::get(PropertyMetadataTy, Fields)); 1322d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } 1323d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::ArrayType *PropertyArrayTy = 1324d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::ArrayType::get(PropertyMetadataTy, Properties.size()); 1325d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *PropertyArray = llvm::ConstantArray::get(PropertyArrayTy, 1326d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Properties); 1327d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant* PropertyListInitFields[] = 1328d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian {llvm::ConstantInt::get(IntTy, Properties.size()), NULLPtr, PropertyArray}; 1329d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 1330d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *PropertyListInit = 13310d36dd28bb40b08a93d7f64196794882eee08ee8Nick Lewycky llvm::ConstantStruct::get(VMContext, PropertyListInitFields, 3, false); 1332d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian return new llvm::GlobalVariable(TheModule, PropertyListInit->getType(), false, 1333d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::GlobalValue::InternalLinkage, PropertyListInit, 1334d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ".objc_property_list"); 1335d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian} 1336d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 13377ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbarvoid CGObjCGNU::GenerateClass(const ObjCImplementationDecl *OID) { 13387ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar ASTContext &Context = CGM.getContext(); 13397ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 13407ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Get the superclass name. 13411eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const ObjCInterfaceDecl * SuperClassDecl = 13427ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar OID->getClassInterface()->getSuperClass(); 13438ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner std::string SuperClassName; 13442a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner if (SuperClassDecl) { 13458ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner SuperClassName = SuperClassDecl->getNameAsString(); 13462a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner EmitClassRef(SuperClassName); 13472a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner } 13487ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 13497ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Get the class name 135009dc6660487fc2f4a4bb2032e30123d3e0da7230Chris Lattner ObjCInterfaceDecl *ClassDecl = 135109dc6660487fc2f4a4bb2032e30123d3e0da7230Chris Lattner const_cast<ObjCInterfaceDecl *>(OID->getClassInterface()); 13528ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner std::string ClassName = ClassDecl->getNameAsString(); 13532a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner // Emit the symbol that is used to generate linker errors if this class is 13542a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner // referenced in other modules but not declared. 1355c51db23f58bd887b16cf91554aa86c430a2496e7Fariborz Jahanian std::string classSymbolName = "__objc_class_name_" + ClassName; 13561eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump if (llvm::GlobalVariable *symbol = 1357c51db23f58bd887b16cf91554aa86c430a2496e7Fariborz Jahanian TheModule.getGlobalVariable(classSymbolName)) { 13584a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson symbol->setInitializer(llvm::ConstantInt::get(LongTy, 0)); 1359c51db23f58bd887b16cf91554aa86c430a2496e7Fariborz Jahanian } else { 13601c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson new llvm::GlobalVariable(TheModule, LongTy, false, 13614a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson llvm::GlobalValue::ExternalLinkage, llvm::ConstantInt::get(LongTy, 0), 13621c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson classSymbolName); 1363c51db23f58bd887b16cf91554aa86c430a2496e7Fariborz Jahanian } 13641eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 13652bebbf0acee55404de4b8846713b64429e744e8fDaniel Dunbar // Get the size of instances. 13662bebbf0acee55404de4b8846713b64429e744e8fDaniel Dunbar int instanceSize = Context.getASTObjCImplementationLayout(OID).getSize() / 8; 13677ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 13687ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Collect information about instance variables. 13697ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> IvarNames; 13707ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> IvarTypes; 13717ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> IvarOffsets; 13721eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1373d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::vector<llvm::Constant*> IvarOffsetValues; 1374d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 13751eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump int superInstanceSize = !SuperClassDecl ? 0 : 13769cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian Context.getASTObjCInterfaceLayout(SuperClassDecl).getSize() / 8; 13779cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian // For non-fragile ivars, set the instance size to 0 - {the size of just this 13789cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian // class}. The runtime will then set this to the correct value on load. 13799cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian if (CGM.getContext().getLangOptions().ObjCNonFragileABI) { 13809cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian instanceSize = 0 - (instanceSize - superInstanceSize); 13819cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian } 13827f63cb098f2461643f71ea590c1a477603f27f63David Chisnall 13837f63cb098f2461643f71ea590c1a477603f27f63David Chisnall // Collect declared and synthesized ivars. 13847f63cb098f2461643f71ea590c1a477603f27f63David Chisnall llvm::SmallVector<ObjCIvarDecl*, 16> OIvars; 13857f63cb098f2461643f71ea590c1a477603f27f63David Chisnall CGM.getContext().ShallowCollectObjCIvars(ClassDecl, OIvars); 13867f63cb098f2461643f71ea590c1a477603f27f63David Chisnall 13877f63cb098f2461643f71ea590c1a477603f27f63David Chisnall for (unsigned i = 0, e = OIvars.size(); i != e; ++i) { 13887f63cb098f2461643f71ea590c1a477603f27f63David Chisnall ObjCIvarDecl *IVD = OIvars[i]; 13897ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Store the name 13907f63cb098f2461643f71ea590c1a477603f27f63David Chisnall IvarNames.push_back(MakeConstantString(IVD->getNameAsString())); 13917ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Get the type encoding for this ivar 13927ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar std::string TypeStr; 13937f63cb098f2461643f71ea590c1a477603f27f63David Chisnall Context.getObjCEncodingForType(IVD->getType(), TypeStr); 13948a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall IvarTypes.push_back(MakeConstantString(TypeStr)); 13957ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Get the offset 1396d901da531433254210a08e8b1f9e1ad049b340aaDavid Chisnall uint64_t BaseOffset = ComputeIvarBaseOffset(CGM, OID, IVD); 1397aecbf24a6bad049437f8fec97e557d414003a3dbDavid Chisnall uint64_t Offset = BaseOffset; 13989cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian if (CGM.getContext().getLangOptions().ObjCNonFragileABI) { 1399d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Offset = BaseOffset - superInstanceSize; 14009cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian } 14017ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar IvarOffsets.push_back( 14020032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), Offset)); 1403d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian IvarOffsetValues.push_back(new llvm::GlobalVariable(TheModule, IntTy, 1404d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian false, llvm::GlobalValue::ExternalLinkage, 1405d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::ConstantInt::get(IntTy, BaseOffset), 1406d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian "__objc_ivar_offset_value_" + ClassName +"." + 14077f63cb098f2461643f71ea590c1a477603f27f63David Chisnall IVD->getNameAsString())); 14087ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar } 1409d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *IvarOffsetArrayInit = 1410d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::ConstantArray::get(llvm::ArrayType::get(PtrToIntTy, 1411d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian IvarOffsetValues.size()), IvarOffsetValues); 1412d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::GlobalVariable *IvarOffsetArray = new llvm::GlobalVariable(TheModule, 1413d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian IvarOffsetArrayInit->getType(), false, 1414d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::GlobalValue::InternalLinkage, IvarOffsetArrayInit, 1415d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ".ivar.offsets"); 14167ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 14177ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Collect information about instance methods 14187ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<Selector, 16> InstanceMethodSels; 14197ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> InstanceMethodTypes; 14201eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump for (ObjCImplementationDecl::instmeth_iterator 142117945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis iter = OID->instmeth_begin(), endIter = OID->instmeth_end(); 1422653f1b1bf293a9bd96fd4dd6372e779cc7af1597Douglas Gregor iter != endIter ; iter++) { 14237ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar InstanceMethodSels.push_back((*iter)->getSelector()); 14247ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar std::string TypeStr; 14257ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar Context.getObjCEncodingForMethodDecl((*iter),TypeStr); 14268a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall InstanceMethodTypes.push_back(MakeConstantString(TypeStr)); 14277ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar } 1428d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 1429d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *Properties = GeneratePropertyList(OID, InstanceMethodSels, 1430d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian InstanceMethodTypes); 1431d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 14327ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 14337ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Collect information about class methods 14347ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<Selector, 16> ClassMethodSels; 14357ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> ClassMethodTypes; 1436653f1b1bf293a9bd96fd4dd6372e779cc7af1597Douglas Gregor for (ObjCImplementationDecl::classmeth_iterator 143717945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis iter = OID->classmeth_begin(), endIter = OID->classmeth_end(); 1438653f1b1bf293a9bd96fd4dd6372e779cc7af1597Douglas Gregor iter != endIter ; iter++) { 14397ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar ClassMethodSels.push_back((*iter)->getSelector()); 14407ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar std::string TypeStr; 14417ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar Context.getObjCEncodingForMethodDecl((*iter),TypeStr); 14428a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall ClassMethodTypes.push_back(MakeConstantString(TypeStr)); 14437ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar } 14447ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Collect the names of referenced protocols 14457ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<std::string, 16> Protocols; 14467ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar const ObjCList<ObjCProtocolDecl> &Protos =ClassDecl->getReferencedProtocols(); 14477ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar for (ObjCList<ObjCProtocolDecl>::iterator I = Protos.begin(), 14487ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar E = Protos.end(); I != E; ++I) 1449d9d22dd9c94618490dbffb0e2caf222530ca39d3Chris Lattner Protocols.push_back((*I)->getNameAsString()); 14507ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 14517ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 14527ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 145320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Get the superclass pointer. 145420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *SuperClass; 14558ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner if (!SuperClassName.empty()) { 145620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov SuperClass = MakeConstantString(SuperClassName, ".super_class_name"); 145720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } else { 145803e205031b08669f05c41eed5b896fc94c4a12bbOwen Anderson SuperClass = llvm::ConstantPointerNull::get(PtrToInt8Ty); 145920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 146020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Empty vector used to construct empty method lists 146120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::SmallVector<llvm::Constant*, 1> empty; 146220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Generate the method and instance variable lists 146320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *MethodList = GenerateMethodList(ClassName, "", 1464a4210076fc1d7ac0a20b8b4a79e18a8ae33b9c69Chris Lattner InstanceMethodSels, InstanceMethodTypes, false); 146520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *ClassMethodList = GenerateMethodList(ClassName, "", 1466a4210076fc1d7ac0a20b8b4a79e18a8ae33b9c69Chris Lattner ClassMethodSels, ClassMethodTypes, true); 146720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *IvarList = GenerateIvarList(IvarNames, IvarTypes, 146820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov IvarOffsets); 14691eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump // Irrespective of whether we are compiling for a fragile or non-fragile ABI, 14708a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // we emit a symbol containing the offset for each ivar in the class. This 14718a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // allows code compiled for the non-Fragile ABI to inherit from code compiled 14728a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // for the legacy ABI, without causing problems. The converse is also 14738a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // possible, but causes all ivar accesses to be fragile. 14748a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall int i = 0; 14758a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // Offset pointer for getting at the correct field in the ivar list when 14768a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // setting up the alias. These are: The base address for the global, the 14778a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // ivar array (second field), the ivar in this list (set for each ivar), and 14788a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // the offset (third field in ivar structure) 14798a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall const llvm::Type *IndexTy = llvm::Type::getInt32Ty(VMContext); 14808a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall llvm::Constant *offsetPointerIndexes[] = {Zeros[0], 14811eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::ConstantInt::get(IndexTy, 1), 0, 14828a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall llvm::ConstantInt::get(IndexTy, 2) }; 14838a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall 14848a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall for (ObjCInterfaceDecl::ivar_iterator iter = ClassDecl->ivar_begin(), 14858a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall endIter = ClassDecl->ivar_end() ; iter != endIter ; iter++) { 14868a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall const std::string Name = "__objc_ivar_offset_" + ClassName + '.' 14878a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall +(*iter)->getNameAsString(); 14888a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall offsetPointerIndexes[2] = llvm::ConstantInt::get(IndexTy, i++); 14898a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // Get the correct ivar field 14908a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall llvm::Constant *offsetValue = llvm::ConstantExpr::getGetElementPtr( 14918a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall IvarList, offsetPointerIndexes, 4); 14928a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // Get the existing alias, if one exists. 14938a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall llvm::GlobalVariable *offset = TheModule.getNamedGlobal(Name); 14948a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall if (offset) { 14958a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall offset->setInitializer(offsetValue); 14968a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // If this is the real definition, change its linkage type so that 14978a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // different modules will use this one, rather than their private 14988a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // copy. 14998a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall offset->setLinkage(llvm::GlobalValue::ExternalLinkage); 15008a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall } else { 15018a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // Add a new alias if there isn't one already. 15028a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall offset = new llvm::GlobalVariable(TheModule, offsetValue->getType(), 15038a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall false, llvm::GlobalValue::ExternalLinkage, offsetValue, Name); 15048a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall } 15058a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall } 150620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov //Generate metaclass for class methods 150720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *MetaClassStruct = GenerateClassStructure(NULLPtr, 15081804463ee790ac3cc73f72597ccb38b983f7d263David Chisnall NULLPtr, 0x12L, ClassName.c_str(), 0, Zeros[0], GenerateIvarList( 15098c757f9ea33dccff4da7810e0c1bda59c19ddc9aDavid Chisnall empty, empty, empty), ClassMethodList, NULLPtr, NULLPtr, NULLPtr, true); 15105efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar 151120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Generate the class structure 15128ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner llvm::Constant *ClassStruct = 1513d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian GenerateClassStructure(MetaClassStruct, SuperClass, 0x11L, 15148ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner ClassName.c_str(), 0, 15154a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson llvm::ConstantInt::get(LongTy, instanceSize), IvarList, 1516d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian MethodList, GenerateProtocolList(Protocols), IvarOffsetArray, 1517d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Properties); 15185efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar 15195efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar // Resolve the class aliases, if they exist. 15205efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar if (ClassPtrAlias) { 15215efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar ClassPtrAlias->setAliasee( 15223c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson llvm::ConstantExpr::getBitCast(ClassStruct, IdTy)); 15235efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar ClassPtrAlias = 0; 15245efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar } 15255efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar if (MetaClassPtrAlias) { 15265efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar MetaClassPtrAlias->setAliasee( 15273c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson llvm::ConstantExpr::getBitCast(MetaClassStruct, IdTy)); 15285efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar MetaClassPtrAlias = 0; 15295efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar } 15305efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar 153120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Add class structure to list to be added to the symtab later 15323c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson ClassStruct = llvm::ConstantExpr::getBitCast(ClassStruct, PtrToInt8Ty); 153320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Classes.push_back(ClassStruct); 153420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 153520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 1536c38e9affd4519ea199af22419c8c794973cc4b23Fariborz Jahanian 15371eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpllvm::Function *CGObjCGNU::ModuleInitFunction() { 153820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Only emit an ObjC load function if no Objective-C stuff has been called 153920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov if (Classes.empty() && Categories.empty() && ConstantStrings.empty() && 154020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ExistingProtocols.empty() && TypedSelectors.empty() && 15415f58b911304f7d114f929d1726a09cd1c828a5ddAnton Korobeynikov UntypedSelectors.empty()) 154220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov return NULL; 15431b8956e1ce4c5770982d6e59edb16979b500677aEli Friedman 1544d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // Add all referenced protocols to a category. 1545d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian GenerateProtocolHolderCategory(); 1546d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 1547e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner const llvm::StructType *SelStructTy = dyn_cast<llvm::StructType>( 1548e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner SelectorTy->getElementType()); 1549e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner const llvm::Type *SelStructPtrTy = SelectorTy; 1550e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner bool isSelOpaque = false; 1551e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner if (SelStructTy == 0) { 155247a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson SelStructTy = llvm::StructType::get(VMContext, PtrToInt8Ty, 155347a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson PtrToInt8Ty, NULL); 155496e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson SelStructPtrTy = llvm::PointerType::getUnqual(SelStructTy); 1555e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner isSelOpaque = true; 1556e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner } 1557e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner 15581b8956e1ce4c5770982d6e59edb16979b500677aEli Friedman // Name the ObjC types to make the IR a bit easier to read 1559e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner TheModule.addTypeName(".objc_selector", SelStructPtrTy); 15601b8956e1ce4c5770982d6e59edb16979b500677aEli Friedman TheModule.addTypeName(".objc_id", IdTy); 15611b8956e1ce4c5770982d6e59edb16979b500677aEli Friedman TheModule.addTypeName(".objc_imp", IMPTy); 15621b8956e1ce4c5770982d6e59edb16979b500677aEli Friedman 156320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Elements; 156471238f67c5df13eef19450d66b7a7ab28377192aChris Lattner llvm::Constant *Statics = NULLPtr; 156520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Generate statics list: 156671238f67c5df13eef19450d66b7a7ab28377192aChris Lattner if (ConstantStrings.size()) { 156796e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::ArrayType *StaticsArrayTy = llvm::ArrayType::get(PtrToInt8Ty, 156871238f67c5df13eef19450d66b7a7ab28377192aChris Lattner ConstantStrings.size() + 1); 156971238f67c5df13eef19450d66b7a7ab28377192aChris Lattner ConstantStrings.push_back(NULLPtr); 15708a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall 15711b0969590e712d7d52fc9c0d43d3ab85c36d07a6Daniel Dunbar llvm::StringRef StringClass = CGM.getLangOptions().ObjCConstantStringClass; 15721b0969590e712d7d52fc9c0d43d3ab85c36d07a6Daniel Dunbar if (StringClass.empty()) StringClass = "NXConstantString"; 15738a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall Elements.push_back(MakeConstantString(StringClass, 15748a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall ".objc_static_class_name")); 15757db6d838aad4083fe86d7bf703a75fe6e8a17856Owen Anderson Elements.push_back(llvm::ConstantArray::get(StaticsArrayTy, 157671238f67c5df13eef19450d66b7a7ab28377192aChris Lattner ConstantStrings)); 15771eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::StructType *StaticsListTy = 157847a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType::get(VMContext, PtrToInt8Ty, StaticsArrayTy, NULL); 1579a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::Type *StaticsListPtrTy = 158096e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::PointerType::getUnqual(StaticsListTy); 158171238f67c5df13eef19450d66b7a7ab28377192aChris Lattner Statics = MakeGlobal(StaticsListTy, Elements, ".objc_statics"); 15821eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::ArrayType *StaticsListArrayTy = 158396e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::ArrayType::get(StaticsListPtrTy, 2); 158471238f67c5df13eef19450d66b7a7ab28377192aChris Lattner Elements.clear(); 158571238f67c5df13eef19450d66b7a7ab28377192aChris Lattner Elements.push_back(Statics); 1586c9c88b4159791c48e486ca94e3743b5979e2b7a6Owen Anderson Elements.push_back(llvm::Constant::getNullValue(StaticsListPtrTy)); 158771238f67c5df13eef19450d66b7a7ab28377192aChris Lattner Statics = MakeGlobal(StaticsListArrayTy, Elements, ".objc_statics_ptr"); 15883c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson Statics = llvm::ConstantExpr::getBitCast(Statics, PtrTy); 158971238f67c5df13eef19450d66b7a7ab28377192aChris Lattner } 159020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Array of classes, categories, and constant objects 159196e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::ArrayType *ClassListTy = llvm::ArrayType::get(PtrToInt8Ty, 159220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Classes.size() + Categories.size() + 2); 15931eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::StructType *SymTabTy = llvm::StructType::get(VMContext, 159447a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson LongTy, SelStructPtrTy, 15950032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::Type::getInt16Ty(VMContext), 15960032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::Type::getInt16Ty(VMContext), 1597630404b16e886238ed68a1abbfe2e548f43aa664Chris Lattner ClassListTy, NULL); 159820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 159920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 160020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Pointer to an array of selectors used in this module. 160120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Selectors; 160220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov for (std::map<TypedSelector, llvm::GlobalAlias*>::iterator 160320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov iter = TypedSelectors.begin(), iterEnd = TypedSelectors.end(); 160420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov iter != iterEnd ; ++iter) { 1605d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(ExportUniqueString(iter->first.first, ".objc_sel_name")); 1606a7c5b0832cc78efa899463b8faa573a1473d53d2David Chisnall Elements.push_back(MakeConstantString(iter->first.second, 1607630404b16e886238ed68a1abbfe2e548f43aa664Chris Lattner ".objc_sel_types")); 160808e252425ca2cbdc44ba65d9a657ed5398014e36Owen Anderson Selectors.push_back(llvm::ConstantStruct::get(SelStructTy, Elements)); 160920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 161020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 161120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov for (llvm::StringMap<llvm::GlobalAlias*>::iterator 161220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov iter = UntypedSelectors.begin(), iterEnd = UntypedSelectors.end(); 1613630404b16e886238ed68a1abbfe2e548f43aa664Chris Lattner iter != iterEnd; ++iter) { 161420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back( 1615d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ExportUniqueString(iter->getKeyData(), ".objc_sel_name")); 161620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(NULLPtr); 161708e252425ca2cbdc44ba65d9a657ed5398014e36Owen Anderson Selectors.push_back(llvm::ConstantStruct::get(SelStructTy, Elements)); 161820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 161920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 162020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(NULLPtr); 162120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(NULLPtr); 162208e252425ca2cbdc44ba65d9a657ed5398014e36Owen Anderson Selectors.push_back(llvm::ConstantStruct::get(SelStructTy, Elements)); 162320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 162420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Number of static selectors 16254a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson Elements.push_back(llvm::ConstantInt::get(LongTy, Selectors.size() )); 162620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *SelectorList = MakeGlobal( 162796e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::ArrayType::get(SelStructTy, Selectors.size()), Selectors, 162820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ".objc_selector_list"); 16291eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Elements.push_back(llvm::ConstantExpr::getBitCast(SelectorList, 1630e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner SelStructPtrTy)); 163120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 163220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Now that all of the static selectors exist, create pointers to them. 163320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov int index = 0; 163420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov for (std::map<TypedSelector, llvm::GlobalAlias*>::iterator 163520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov iter=TypedSelectors.begin(), iterEnd =TypedSelectors.end(); 163620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov iter != iterEnd; ++iter) { 163720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *Idxs[] = {Zeros[0], 16380032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), index++), Zeros[0]}; 16396d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar llvm::Constant *SelPtr = new llvm::GlobalVariable(TheModule, SelStructPtrTy, 16406d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar true, llvm::GlobalValue::InternalLinkage, 16416d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar llvm::ConstantExpr::getGetElementPtr(SelectorList, Idxs, 2), 16426d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar ".objc_sel_ptr"); 1643e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner // If selectors are defined as an opaque type, cast the pointer to this 1644e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner // type. 1645e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner if (isSelOpaque) { 16466d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar SelPtr = llvm::ConstantExpr::getBitCast(SelPtr, 16476d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar llvm::PointerType::getUnqual(SelectorTy)); 1648e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner } 16496d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar (*iter).second->setAliasee(SelPtr); 165020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 165120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov for (llvm::StringMap<llvm::GlobalAlias*>::iterator 165220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov iter=UntypedSelectors.begin(), iterEnd = UntypedSelectors.end(); 165320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov iter != iterEnd; iter++) { 165420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *Idxs[] = {Zeros[0], 16550032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), index++), Zeros[0]}; 16566d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar llvm::Constant *SelPtr = new llvm::GlobalVariable 16576d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar (TheModule, SelStructPtrTy, 16586d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar true, llvm::GlobalValue::InternalLinkage, 16596d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar llvm::ConstantExpr::getGetElementPtr(SelectorList, Idxs, 2), 16606d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar ".objc_sel_ptr"); 1661e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner // If selectors are defined as an opaque type, cast the pointer to this 1662e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner // type. 1663e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner if (isSelOpaque) { 16646d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar SelPtr = llvm::ConstantExpr::getBitCast(SelPtr, 16656d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar llvm::PointerType::getUnqual(SelectorTy)); 1666e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner } 16676d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar (*iter).second->setAliasee(SelPtr); 166820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 166920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Number of classes defined. 16701eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Elements.push_back(llvm::ConstantInt::get(llvm::Type::getInt16Ty(VMContext), 167120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Classes.size())); 167220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Number of categories defined 16731eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Elements.push_back(llvm::ConstantInt::get(llvm::Type::getInt16Ty(VMContext), 167420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Categories.size())); 167520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Create an array of classes, then categories, then static object instances 167620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Classes.insert(Classes.end(), Categories.begin(), Categories.end()); 167720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // NULL-terminated list of static object instances (mainly constant strings) 167820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Classes.push_back(Statics); 167920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Classes.push_back(NULLPtr); 16807db6d838aad4083fe86d7bf703a75fe6e8a17856Owen Anderson llvm::Constant *ClassList = llvm::ConstantArray::get(ClassListTy, Classes); 168120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(ClassList); 16821eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump // Construct the symbol table 168320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *SymTab= MakeGlobal(SymTabTy, Elements); 168420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 168520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // The symbol table is contained in a module which has some version-checking 168620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // constants 168747a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType * ModuleTy = llvm::StructType::get(VMContext, LongTy, LongTy, 168896e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson PtrToInt8Ty, llvm::PointerType::getUnqual(SymTabTy), NULL); 168920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 169020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Runtime version used for compatibility checking. 16919cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian if (CGM.getContext().getLangOptions().ObjCNonFragileABI) { 16921eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Elements.push_back(llvm::ConstantInt::get(LongTy, 1693d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian NonFragileRuntimeVersion)); 16949cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian } else { 16954a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson Elements.push_back(llvm::ConstantInt::get(LongTy, RuntimeVersion)); 16969cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian } 169791a0b51438e5259a79d68d7450c453827beed9e2Fariborz Jahanian // sizeof(ModuleTy) 169874a8bbf0654fbbf37be04b240b5bbe591f37f242Benjamin Kramer llvm::TargetData td(&TheModule); 16994a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson Elements.push_back(llvm::ConstantInt::get(LongTy, 1700a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson td.getTypeSizeInBits(ModuleTy)/8)); 170120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov //FIXME: Should be the path to the file where this module was declared 170220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(NULLPtr); 170320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(SymTab); 170420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Value *Module = MakeGlobal(ModuleTy, Elements); 170520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 170620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Create the load function calling the runtime entry point with the module 170720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // structure 170820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Function * LoadFunction = llvm::Function::Create( 17090032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::FunctionType::get(llvm::Type::getVoidTy(VMContext), false), 171020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::GlobalValue::InternalLinkage, ".objc_load_function", 171120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov &TheModule); 17120032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::BasicBlock *EntryBB = 17130032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::BasicBlock::Create(VMContext, "entry", LoadFunction); 1714a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson CGBuilderTy Builder(VMContext); 171520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Builder.SetInsertPoint(EntryBB); 171626c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian 171726c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian std::vector<const llvm::Type*> Params(1, 171896e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::PointerType::getUnqual(ModuleTy)); 171996e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::Value *Register = CGM.CreateRuntimeFunction(llvm::FunctionType::get( 17200032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::Type::getVoidTy(VMContext), Params, true), "__objc_exec_class"); 172120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Builder.CreateCall(Register, Module); 172220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Builder.CreateRetVoid(); 17239cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian 172420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov return LoadFunction; 172520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 17267ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 1727679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanianllvm::Function *CGObjCGNU::GenerateMethod(const ObjCMethodDecl *OMD, 17281eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const ObjCContainerDecl *CD) { 17291eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const ObjCCategoryImplDecl *OCD = 17303e0a540b6d846178857289ec0eb8470a278d11a3Steve Naroff dyn_cast<ObjCCategoryImplDecl>(OMD->getDeclContext()); 1731077bf5e2f48acfa9e7d69429b6e4ba86ea14896dChris Lattner std::string CategoryName = OCD ? OCD->getNameAsString() : ""; 17324c8c8e93ca3b63de4d30f4a460b50fe63fd6bd3bDavid Chisnall std::string ClassName = CD->getName(); 1733077bf5e2f48acfa9e7d69429b6e4ba86ea14896dChris Lattner std::string MethodName = OMD->getSelector().getAsString(); 1734f8d49f64ef6ab7e632717a31631fc289aab69428Douglas Gregor bool isClassMethod = !OMD->isInstanceMethod(); 1735391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner 1736541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar CodeGenTypes &Types = CGM.getTypes(); 17371eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const llvm::FunctionType *MethodTy = 1738541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar Types.GetFunctionType(Types.getFunctionInfo(OMD), OMD->isVariadic()); 173920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::string FunctionName = SymbolNameForMethod(ClassName, CategoryName, 174020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov MethodName, isClassMethod); 174120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 1742d6c93d703541c992e06eb9a59a2d826a30da65b2Daniel Dunbar llvm::Function *Method 17431eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump = llvm::Function::Create(MethodTy, 17441eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::GlobalValue::InternalLinkage, 17451eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump FunctionName, 17461eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump &TheModule); 1747391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner return Method; 1748391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner} 1749391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner 175049f6602707887eea1a558a1dffe0213102f887f2Daniel Dunbarllvm::Function *CGObjCGNU::GetPropertyGetFunction() { 17511eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump std::vector<const llvm::Type*> Params; 17521eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const llvm::Type *BoolTy = 17531eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump CGM.getTypes().ConvertType(CGM.getContext().BoolTy); 17541eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Params.push_back(IdTy); 17551eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Params.push_back(SelectorTy); 17567f63cb098f2461643f71ea590c1a477603f27f63David Chisnall Params.push_back(IntTy); 17571eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Params.push_back(BoolTy); 17587f63cb098f2461643f71ea590c1a477603f27f63David Chisnall // void objc_getProperty (id, SEL, int, bool) 17591eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const llvm::FunctionType *FTy = 17601eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::FunctionType::get(IdTy, Params, false); 17611eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump return cast<llvm::Function>(CGM.CreateRuntimeFunction(FTy, 17621eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump "objc_getProperty")); 176349f6602707887eea1a558a1dffe0213102f887f2Daniel Dunbar} 176449f6602707887eea1a558a1dffe0213102f887f2Daniel Dunbar 176549f6602707887eea1a558a1dffe0213102f887f2Daniel Dunbarllvm::Function *CGObjCGNU::GetPropertySetFunction() { 17661eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump std::vector<const llvm::Type*> Params; 17671eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const llvm::Type *BoolTy = 17681eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump CGM.getTypes().ConvertType(CGM.getContext().BoolTy); 17691eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Params.push_back(IdTy); 17701eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Params.push_back(SelectorTy); 17717f63cb098f2461643f71ea590c1a477603f27f63David Chisnall Params.push_back(IntTy); 17721eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Params.push_back(IdTy); 17731eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Params.push_back(BoolTy); 17741eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Params.push_back(BoolTy); 17757f63cb098f2461643f71ea590c1a477603f27f63David Chisnall // void objc_setProperty (id, SEL, int, id, bool, bool) 17761eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const llvm::FunctionType *FTy = 17771eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::FunctionType::get(llvm::Type::getVoidTy(VMContext), Params, false); 17781eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump return cast<llvm::Function>(CGM.CreateRuntimeFunction(FTy, 17791eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump "objc_setProperty")); 178049f6602707887eea1a558a1dffe0213102f887f2Daniel Dunbar} 178149f6602707887eea1a558a1dffe0213102f887f2Daniel Dunbar 17826cc590602f41c3e98e8af0023d54296c8eca7910Fariborz Jahanian// FIXME. Implement this. 17836cc590602f41c3e98e8af0023d54296c8eca7910Fariborz Jahanianllvm::Function *CGObjCGNU::GetCopyStructFunction() { 17846cc590602f41c3e98e8af0023d54296c8eca7910Fariborz Jahanian return 0; 17856cc590602f41c3e98e8af0023d54296c8eca7910Fariborz Jahanian} 17866cc590602f41c3e98e8af0023d54296c8eca7910Fariborz Jahanian 1787309a4368cd299cff30ab22709e2b772cf8059e45Daniel Dunbarllvm::Constant *CGObjCGNU::EnumerationMutationFunction() { 1788309a4368cd299cff30ab22709e2b772cf8059e45Daniel Dunbar CodeGen::CodeGenTypes &Types = CGM.getTypes(); 1789309a4368cd299cff30ab22709e2b772cf8059e45Daniel Dunbar ASTContext &Ctx = CGM.getContext(); 1790309a4368cd299cff30ab22709e2b772cf8059e45Daniel Dunbar // void objc_enumerationMutation (id) 1791ead608af31b6c9abeae1ca6d0b75094dac4641c0John McCall llvm::SmallVector<CanQualType,1> Params; 17920f436560640a1cff5b6d96f80f540770f139453fDavid Chisnall Params.push_back(ASTIdTy); 1793309a4368cd299cff30ab22709e2b772cf8059e45Daniel Dunbar const llvm::FunctionType *FTy = 179404a67a6aa3dfdc92d57f7f8d93ba397348c868a4John McCall Types.GetFunctionType(Types.getFunctionInfo(Ctx.VoidTy, Params, 1795264ba48dc98f3f843935a485d5b086f7e0fdc4f1Rafael Espindola FunctionType::ExtInfo()), false); 1796309a4368cd299cff30ab22709e2b772cf8059e45Daniel Dunbar return CGM.CreateRuntimeFunction(FTy, "objc_enumerationMutation"); 17972abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson} 17982abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 1799bd71be4683c195260d5245118b1e13e6b2e20504Fariborz Jahanianvoid CGObjCGNU::EmitTryOrSynchronizedStmt(CodeGen::CodeGenFunction &CGF, 1800bd71be4683c195260d5245118b1e13e6b2e20504Fariborz Jahanian const Stmt &S) { 18015dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Pointer to the personality function 18025dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::Constant *Personality = 18030032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson CGM.CreateRuntimeFunction(llvm::FunctionType::get(llvm::Type::getInt32Ty(VMContext), 1804b59761b2530bf54926bf67de11956f3820ac38d9Chris Lattner true), 18055dc0867af17b3bd6f567897433853b2b4767446cChris Lattner "__gnu_objc_personality_v0"); 18063c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson Personality = llvm::ConstantExpr::getBitCast(Personality, PtrTy); 18075dc0867af17b3bd6f567897433853b2b4767446cChris Lattner std::vector<const llvm::Type*> Params; 18085dc0867af17b3bd6f567897433853b2b4767446cChris Lattner Params.push_back(PtrTy); 18095dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::Value *RethrowFn = 18100032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson CGM.CreateRuntimeFunction(llvm::FunctionType::get(llvm::Type::getVoidTy(VMContext), 181190665bd87f4ef7c230742e038cd0bad68e40fc78David Chisnall Params, false), "_Unwind_Resume"); 18125dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18135dc0867af17b3bd6f567897433853b2b4767446cChris Lattner bool isTry = isa<ObjCAtTryStmt>(S); 18145dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *TryBlock = CGF.createBasicBlock("try"); 18155dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *PrevLandingPad = CGF.getInvokeDest(); 18165dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *TryHandler = CGF.createBasicBlock("try.handler"); 1817d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner llvm::BasicBlock *CatchInCatch = CGF.createBasicBlock("catch.rethrow"); 18185dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *FinallyBlock = CGF.createBasicBlock("finally"); 18195dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *FinallyRethrow = CGF.createBasicBlock("finally.throw"); 18205dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *FinallyEnd = CGF.createBasicBlock("finally.end"); 18215dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18220faa51632584b8d56311d5792a2a275729bc67e3David Chisnall // @synchronized() 18235dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (!isTry) { 1824d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner std::vector<const llvm::Type*> Args(1, IdTy); 1825d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner llvm::FunctionType *FTy = 18260032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::FunctionType::get(llvm::Type::getVoidTy(VMContext), Args, false); 1827d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner llvm::Value *SyncEnter = CGM.CreateRuntimeFunction(FTy, "objc_sync_enter"); 18281eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *SyncArg = 1829d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.EmitScalarExpr(cast<ObjCAtSynchronizedStmt>(S).getSynchExpr()); 1830d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner SyncArg = CGF.Builder.CreateBitCast(SyncArg, IdTy); 1831d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.Builder.CreateCall(SyncEnter, SyncArg); 18325dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 18335dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 1834d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner 18355dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Push an EH context entry, used for handling rethrows and jumps 18365dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // through finally. 18375dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.PushCleanupBlock(FinallyBlock); 18385dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18395dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Emit the statements in the @try {} block 18405dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.setInvokeDest(TryHandler); 18415dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18425dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBlock(TryBlock); 18431eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump CGF.EmitStmt(isTry ? cast<ObjCAtTryStmt>(S).getTryBody() 18445dc0867af17b3bd6f567897433853b2b4767446cChris Lattner : cast<ObjCAtSynchronizedStmt>(S).getSynchBody()); 18455dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18465dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Jump to @finally if there is no exception 18475dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBranchThroughCleanup(FinallyEnd); 18485dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18495dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Emit the handlers 18505dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBlock(TryHandler); 18515dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 1852bb422ad4f449cd195a141309a886ff467baac5b2Chris Lattner // Get the correct versions of the exception handling intrinsics 18531eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *llvm_eh_exception = 18545dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.CGM.getIntrinsic(llvm::Intrinsic::eh_exception); 1855790b20ed2cec72b4a79d1829ffc2c0339acbdec3Duncan Sands llvm::Value *llvm_eh_selector = 1856790b20ed2cec72b4a79d1829ffc2c0339acbdec3Duncan Sands CGF.CGM.getIntrinsic(llvm::Intrinsic::eh_selector); 1857790b20ed2cec72b4a79d1829ffc2c0339acbdec3Duncan Sands llvm::Value *llvm_eh_typeid_for = 1858790b20ed2cec72b4a79d1829ffc2c0339acbdec3Duncan Sands CGF.CGM.getIntrinsic(llvm::Intrinsic::eh_typeid_for); 18595dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18605dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Exception object 18615dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::Value *Exc = CGF.Builder.CreateCall(llvm_eh_exception, "exc"); 18625dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::Value *RethrowPtr = CGF.CreateTempAlloca(Exc->getType(), "_rethrow"); 18635dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18645dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::SmallVector<llvm::Value*, 8> ESelArgs; 1865c00d8e18ad3d903acfeb5d05163ce90713066a3fDouglas Gregor llvm::SmallVector<std::pair<const VarDecl*, const Stmt*>, 8> Handlers; 18665dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18675dc0867af17b3bd6f567897433853b2b4767446cChris Lattner ESelArgs.push_back(Exc); 18685dc0867af17b3bd6f567897433853b2b4767446cChris Lattner ESelArgs.push_back(Personality); 18695dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18705dc0867af17b3bd6f567897433853b2b4767446cChris Lattner bool HasCatchAll = false; 18715dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Only @try blocks are allowed @catch blocks, but both can have @finally 18725dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (isTry) { 18738f5e3dd32e443768d9dbbad7191e123e6733750cDouglas Gregor if (cast<ObjCAtTryStmt>(S).getNumCatchStmts()) { 18748f5e3dd32e443768d9dbbad7191e123e6733750cDouglas Gregor const ObjCAtTryStmt &AtTry = cast<ObjCAtTryStmt>(S); 1875d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.setInvokeDest(CatchInCatch); 18765dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18778f5e3dd32e443768d9dbbad7191e123e6733750cDouglas Gregor for (unsigned I = 0, N = AtTry.getNumCatchStmts(); I != N; ++I) { 18788f5e3dd32e443768d9dbbad7191e123e6733750cDouglas Gregor const ObjCAtCatchStmt *CatchStmt = AtTry.getCatchStmt(I); 1879c00d8e18ad3d903acfeb5d05163ce90713066a3fDouglas Gregor const VarDecl *CatchDecl = CatchStmt->getCatchParamDecl(); 1880bb1c8600218b3244340331165fc7cba7bf227655Mike Stump Handlers.push_back(std::make_pair(CatchDecl, 1881bb1c8600218b3244340331165fc7cba7bf227655Mike Stump CatchStmt->getCatchBody())); 18825dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18835dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // @catch() and @catch(id) both catch any ObjC exception 188414108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff if (!CatchDecl || CatchDecl->getType()->isObjCIdType() 18855dc0867af17b3bd6f567897433853b2b4767446cChris Lattner || CatchDecl->getType()->isObjCQualifiedIdType()) { 18865dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Use i8* null here to signal this is a catch all, not a cleanup. 18875dc0867af17b3bd6f567897433853b2b4767446cChris Lattner ESelArgs.push_back(NULLPtr); 18885dc0867af17b3bd6f567897433853b2b4767446cChris Lattner HasCatchAll = true; 18895dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // No further catches after this one will ever by reached 18905dc0867af17b3bd6f567897433853b2b4767446cChris Lattner break; 18911eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump } 18925dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18935dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // All other types should be Objective-C interface pointer types. 18941eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const ObjCObjectPointerType *OPT = 1895183700f494ec9b6701b6efe82bcb25f4c79ba561John McCall CatchDecl->getType()->getAs<ObjCObjectPointerType>(); 189614108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff assert(OPT && "Invalid @catch type."); 18971eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const ObjCInterfaceType *IT = 1898183700f494ec9b6701b6efe82bcb25f4c79ba561John McCall OPT->getPointeeType()->getAs<ObjCInterfaceType>(); 18995dc0867af17b3bd6f567897433853b2b4767446cChris Lattner assert(IT && "Invalid @catch type."); 1900bb422ad4f449cd195a141309a886ff467baac5b2Chris Lattner llvm::Value *EHType = 1901bb422ad4f449cd195a141309a886ff467baac5b2Chris Lattner MakeConstantString(IT->getDecl()->getNameAsString()); 19025dc0867af17b3bd6f567897433853b2b4767446cChris Lattner ESelArgs.push_back(EHType); 19035dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 19045dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 19055dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 19065dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 19075dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // We use a cleanup unless there was already a catch all. 19085dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (!HasCatchAll) { 19090032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson ESelArgs.push_back(llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), 0)); 19105dc0867af17b3bd6f567897433853b2b4767446cChris Lattner Handlers.push_back(std::make_pair((const ParmVarDecl*) 0, (const Stmt*) 0)); 19115dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 19125dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 19135dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Find which handler was matched. 1914bb422ad4f449cd195a141309a886ff467baac5b2Chris Lattner llvm::Value *ESelector = CGF.Builder.CreateCall(llvm_eh_selector, 19155dc0867af17b3bd6f567897433853b2b4767446cChris Lattner ESelArgs.begin(), ESelArgs.end(), "selector"); 19165dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 19175dc0867af17b3bd6f567897433853b2b4767446cChris Lattner for (unsigned i = 0, e = Handlers.size(); i != e; ++i) { 1918c00d8e18ad3d903acfeb5d05163ce90713066a3fDouglas Gregor const VarDecl *CatchParam = Handlers[i].first; 19195dc0867af17b3bd6f567897433853b2b4767446cChris Lattner const Stmt *CatchBody = Handlers[i].second; 19205dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 19215dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *Next = 0; 19225dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 19235dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // The last handler always matches. 19245dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (i + 1 != e) { 19255dc0867af17b3bd6f567897433853b2b4767446cChris Lattner assert(CatchParam && "Only last handler can be a catch all."); 19265dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 19275dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Test whether this block matches the type for the selector and branch 19285dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // to Match if it does, or to the next BB if it doesn't. 19295dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *Match = CGF.createBasicBlock("match"); 19305dc0867af17b3bd6f567897433853b2b4767446cChris Lattner Next = CGF.createBasicBlock("catch.next"); 1931bb422ad4f449cd195a141309a886ff467baac5b2Chris Lattner llvm::Value *Id = CGF.Builder.CreateCall(llvm_eh_typeid_for, 19325dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.Builder.CreateBitCast(ESelArgs[i+2], PtrTy)); 19335dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.Builder.CreateCondBr(CGF.Builder.CreateICmpEQ(ESelector, Id), Match, 19345dc0867af17b3bd6f567897433853b2b4767446cChris Lattner Next); 19355dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 19365dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBlock(Match); 19375dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 19381eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 19395dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (CatchBody) { 19405dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::Value *ExcObject = CGF.Builder.CreateBitCast(Exc, 19415dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.ConvertType(CatchParam->getType())); 19421eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 19435dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Bind the catch parameter if it exists. 19445dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (CatchParam) { 19455dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // CatchParam is a ParmVarDecl because of the grammar 19465dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // construction used to handle this, but for codegen purposes 19475dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // we treat this as a local decl. 19485dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitLocalBlockVarDecl(*CatchParam); 19495dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.Builder.CreateStore(ExcObject, CGF.GetAddrOfLocalVar(CatchParam)); 19505dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 19515dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 19525dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.ObjCEHValueStack.push_back(ExcObject); 19535dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitStmt(CatchBody); 19545dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.ObjCEHValueStack.pop_back(); 19555dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 19565dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBranchThroughCleanup(FinallyEnd); 19575dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 19585dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (Next) 19595dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBlock(Next); 19605dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } else { 19615dc0867af17b3bd6f567897433853b2b4767446cChris Lattner assert(!Next && "catchup should be last handler."); 19625dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 19635dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.Builder.CreateStore(Exc, RethrowPtr); 19645dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBranchThroughCleanup(FinallyRethrow); 19655dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 19665dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 1967d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner // The @finally block is a secondary landing pad for any exceptions thrown in 1968d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner // @catch() blocks 1969d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.EmitBlock(CatchInCatch); 1970d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner Exc = CGF.Builder.CreateCall(llvm_eh_exception, "exc"); 1971d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner ESelArgs.clear(); 1972d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner ESelArgs.push_back(Exc); 1973d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner ESelArgs.push_back(Personality); 19740faa51632584b8d56311d5792a2a275729bc67e3David Chisnall // If there is a @catch or @finally clause in outside of this one then we 19750faa51632584b8d56311d5792a2a275729bc67e3David Chisnall // need to make sure that we catch and rethrow it. 19760faa51632584b8d56311d5792a2a275729bc67e3David Chisnall if (PrevLandingPad) { 19770faa51632584b8d56311d5792a2a275729bc67e3David Chisnall ESelArgs.push_back(NULLPtr); 19780faa51632584b8d56311d5792a2a275729bc67e3David Chisnall } else { 19790faa51632584b8d56311d5792a2a275729bc67e3David Chisnall ESelArgs.push_back(llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), 0)); 19800faa51632584b8d56311d5792a2a275729bc67e3David Chisnall } 1981d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.Builder.CreateCall(llvm_eh_selector, ESelArgs.begin(), ESelArgs.end(), 1982d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner "selector"); 1983d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.Builder.CreateCall(llvm_eh_typeid_for, 1984d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.Builder.CreateIntToPtr(ESelArgs[2], PtrTy)); 1985d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.Builder.CreateStore(Exc, RethrowPtr); 1986d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.EmitBranchThroughCleanup(FinallyRethrow); 1987d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner 19885dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CodeGenFunction::CleanupBlockInfo Info = CGF.PopCleanupBlock(); 19895dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 19905dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.setInvokeDest(PrevLandingPad); 19915dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 19925dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBlock(FinallyBlock); 19935dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 1994d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner 19955dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (isTry) { 19961eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump if (const ObjCAtFinallyStmt* FinallyStmt = 19975dc0867af17b3bd6f567897433853b2b4767446cChris Lattner cast<ObjCAtTryStmt>(S).getFinallyStmt()) 19985dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitStmt(FinallyStmt->getFinallyBody()); 19995dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } else { 2000d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner // Emit 'objc_sync_exit(expr)' as finally's sole statement for 20015dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // @synchronized. 2002d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner std::vector<const llvm::Type*> Args(1, IdTy); 2003d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner llvm::FunctionType *FTy = 20040032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::FunctionType::get(llvm::Type::getVoidTy(VMContext), Args, false); 2005d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner llvm::Value *SyncExit = CGM.CreateRuntimeFunction(FTy, "objc_sync_exit"); 20061eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *SyncArg = 2007d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.EmitScalarExpr(cast<ObjCAtSynchronizedStmt>(S).getSynchExpr()); 2008d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner SyncArg = CGF.Builder.CreateBitCast(SyncArg, IdTy); 2009d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.Builder.CreateCall(SyncExit, SyncArg); 20105dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 20115dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 20125dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (Info.SwitchBlock) 20135dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBlock(Info.SwitchBlock); 20145dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (Info.EndBlock) 20155dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBlock(Info.EndBlock); 20165dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 20175dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Branch around the rethrow code. 20185dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBranch(FinallyEnd); 20195dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 20205dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBlock(FinallyRethrow); 20211eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 20220faa51632584b8d56311d5792a2a275729bc67e3David Chisnall llvm::Value *ExceptionObject = CGF.Builder.CreateLoad(RethrowPtr); 20230faa51632584b8d56311d5792a2a275729bc67e3David Chisnall llvm::BasicBlock *UnwindBB = CGF.getInvokeDest(); 20240faa51632584b8d56311d5792a2a275729bc67e3David Chisnall if (!UnwindBB) { 20250faa51632584b8d56311d5792a2a275729bc67e3David Chisnall CGF.Builder.CreateCall(RethrowFn, ExceptionObject); 20260faa51632584b8d56311d5792a2a275729bc67e3David Chisnall // Exception always thrown, next instruction is never reached. 20270faa51632584b8d56311d5792a2a275729bc67e3David Chisnall CGF.Builder.CreateUnreachable(); 20280faa51632584b8d56311d5792a2a275729bc67e3David Chisnall } else { 20290faa51632584b8d56311d5792a2a275729bc67e3David Chisnall // If there is a @catch block outside this scope, we invoke instead of 20300faa51632584b8d56311d5792a2a275729bc67e3David Chisnall // calling because we may return to this function. This is very slow, but 20310faa51632584b8d56311d5792a2a275729bc67e3David Chisnall // some people still do it. It would be nice to add an optimised path for 20320faa51632584b8d56311d5792a2a275729bc67e3David Chisnall // this. 20330faa51632584b8d56311d5792a2a275729bc67e3David Chisnall CGF.Builder.CreateInvoke(RethrowFn, UnwindBB, UnwindBB, &ExceptionObject, 20340faa51632584b8d56311d5792a2a275729bc67e3David Chisnall &ExceptionObject+1); 20350faa51632584b8d56311d5792a2a275729bc67e3David Chisnall } 20365dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 20370faa51632584b8d56311d5792a2a275729bc67e3David Chisnall CGF.EmitBlock(FinallyEnd); 203864d5d6c5903157c521af496479d06dc26032d718Anders Carlsson} 203964d5d6c5903157c521af496479d06dc26032d718Anders Carlsson 204064d5d6c5903157c521af496479d06dc26032d718Anders Carlssonvoid CGObjCGNU::EmitThrowStmt(CodeGen::CodeGenFunction &CGF, 204149f6602707887eea1a558a1dffe0213102f887f2Daniel Dunbar const ObjCAtThrowStmt &S) { 20425dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::Value *ExceptionAsObject; 20435dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 20445dc0867af17b3bd6f567897433853b2b4767446cChris Lattner std::vector<const llvm::Type*> Args(1, IdTy); 20455dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::FunctionType *FTy = 20460032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::FunctionType::get(llvm::Type::getVoidTy(VMContext), Args, false); 20471eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *ThrowFn = 20485dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGM.CreateRuntimeFunction(FTy, "objc_exception_throw"); 20491eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 20505dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (const Expr *ThrowExpr = S.getThrowExpr()) { 20515dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::Value *Exception = CGF.EmitScalarExpr(ThrowExpr); 20521e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian ExceptionAsObject = Exception; 20535dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } else { 20541eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump assert((!CGF.ObjCEHValueStack.empty() && CGF.ObjCEHValueStack.back()) && 20555dc0867af17b3bd6f567897433853b2b4767446cChris Lattner "Unexpected rethrow outside @catch block."); 20565dc0867af17b3bd6f567897433853b2b4767446cChris Lattner ExceptionAsObject = CGF.ObjCEHValueStack.back(); 20575dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 20581e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian ExceptionAsObject = 20591e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian CGF.Builder.CreateBitCast(ExceptionAsObject, IdTy, "tmp"); 20601eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 20615dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Note: This may have to be an invoke, if we want to support constructs like: 20625dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // @try { 20635dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // @throw(obj); 20645dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // } 20655dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // @catch(id) ... 20665dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // 20675dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // This is effectively turning @throw into an incredibly-expensive goto, but 20685dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // it may happen as a result of inlining followed by missed optimizations, or 20695dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // as a result of stupidity. 20705dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *UnwindBB = CGF.getInvokeDest(); 20715dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (!UnwindBB) { 20725dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.Builder.CreateCall(ThrowFn, ExceptionAsObject); 20735dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.Builder.CreateUnreachable(); 20745dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } else { 20755dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.Builder.CreateInvoke(ThrowFn, UnwindBB, UnwindBB, &ExceptionAsObject, 20765dc0867af17b3bd6f567897433853b2b4767446cChris Lattner &ExceptionAsObject+1); 20775dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 20785dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Clear the insertion point to indicate we are in unreachable code. 20795dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.Builder.ClearInsertionPoint(); 208064d5d6c5903157c521af496479d06dc26032d718Anders Carlsson} 208164d5d6c5903157c521af496479d06dc26032d718Anders Carlsson 20823e283e344595e0bd499b13b30a92b7d9c10a2140Fariborz Jahanianllvm::Value * CGObjCGNU::EmitObjCWeakRead(CodeGen::CodeGenFunction &CGF, 20831eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *AddrWeakObj) { 2084ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall CGBuilderTy B = CGF.Builder; 2085ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall AddrWeakObj = EnforceType(B, AddrWeakObj, IdTy); 2086ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall return B.CreateCall(WeakReadFn, AddrWeakObj); 20876dc2317b59cb1180a59f6c283d96b7a5dfeb5307Fariborz Jahanian} 20886dc2317b59cb1180a59f6c283d96b7a5dfeb5307Fariborz Jahanian 20893e283e344595e0bd499b13b30a92b7d9c10a2140Fariborz Jahanianvoid CGObjCGNU::EmitObjCWeakAssign(CodeGen::CodeGenFunction &CGF, 20901eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *src, llvm::Value *dst) { 2091ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall CGBuilderTy B = CGF.Builder; 2092ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall src = EnforceType(B, src, IdTy); 2093ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall dst = EnforceType(B, dst, PtrToIdTy); 2094ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall B.CreateCall2(WeakAssignFn, src, dst); 20953e283e344595e0bd499b13b30a92b7d9c10a2140Fariborz Jahanian} 20963e283e344595e0bd499b13b30a92b7d9c10a2140Fariborz Jahanian 209758626500527695865683d1d65053743de8770b60Fariborz Jahanianvoid CGObjCGNU::EmitObjCGlobalAssign(CodeGen::CodeGenFunction &CGF, 20981eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *src, llvm::Value *dst) { 2099ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall CGBuilderTy B = CGF.Builder; 2100ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall src = EnforceType(B, src, IdTy); 2101ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall dst = EnforceType(B, dst, PtrToIdTy); 2102ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall B.CreateCall2(GlobalAssignFn, src, dst); 210358626500527695865683d1d65053743de8770b60Fariborz Jahanian} 210458626500527695865683d1d65053743de8770b60Fariborz Jahanian 21057eda8367cf63caee8acf907356b1d199ccaa6e89Fariborz Jahanianvoid CGObjCGNU::EmitObjCIvarAssign(CodeGen::CodeGenFunction &CGF, 21066c7a1f364796ce1acb988714e9e42076d1ce332eFariborz Jahanian llvm::Value *src, llvm::Value *dst, 21076c7a1f364796ce1acb988714e9e42076d1ce332eFariborz Jahanian llvm::Value *ivarOffset) { 2108ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall CGBuilderTy B = CGF.Builder; 2109ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall src = EnforceType(B, src, IdTy); 2110ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall dst = EnforceType(B, dst, PtrToIdTy); 2111ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall B.CreateCall3(IvarAssignFn, src, dst, ivarOffset); 21127eda8367cf63caee8acf907356b1d199ccaa6e89Fariborz Jahanian} 21137eda8367cf63caee8acf907356b1d199ccaa6e89Fariborz Jahanian 211458626500527695865683d1d65053743de8770b60Fariborz Jahanianvoid CGObjCGNU::EmitObjCStrongCastAssign(CodeGen::CodeGenFunction &CGF, 21151eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *src, llvm::Value *dst) { 2116ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall CGBuilderTy B = CGF.Builder; 2117ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall src = EnforceType(B, src, IdTy); 2118ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall dst = EnforceType(B, dst, PtrToIdTy); 2119ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall B.CreateCall2(StrongCastAssignFn, src, dst); 212058626500527695865683d1d65053743de8770b60Fariborz Jahanian} 212158626500527695865683d1d65053743de8770b60Fariborz Jahanian 2122082b02e8403d3ee9d2ded969fbe0e5d472f04cd8Fariborz Jahanianvoid CGObjCGNU::EmitGCMemmoveCollectable(CodeGen::CodeGenFunction &CGF, 21231eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *DestPtr, 2124082b02e8403d3ee9d2ded969fbe0e5d472f04cd8Fariborz Jahanian llvm::Value *SrcPtr, 212508c321380fff07d476a19daab6d29522c046cd49Fariborz Jahanian QualType Ty) { 2126ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall CGBuilderTy B = CGF.Builder; 2127ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall DestPtr = EnforceType(B, DestPtr, IdTy); 2128ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall SrcPtr = EnforceType(B, SrcPtr, PtrToIdTy); 2129ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall 2130ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall std::pair<uint64_t, unsigned> TypeInfo = CGM.getContext().getTypeInfo(Ty); 2131ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall unsigned long size = TypeInfo.first/8; 2132ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall // FIXME: size_t 2133ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall llvm::Value *N = llvm::ConstantInt::get(LongTy, size); 2134ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall 2135ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall B.CreateCall3(MemMoveFn, DestPtr, SrcPtr, N); 2136082b02e8403d3ee9d2ded969fbe0e5d472f04cd8Fariborz Jahanian} 2137082b02e8403d3ee9d2ded969fbe0e5d472f04cd8Fariborz Jahanian 21389cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanianllvm::GlobalVariable *CGObjCGNU::ObjCIvarOffsetVariable( 21399cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian const ObjCInterfaceDecl *ID, 21409cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian const ObjCIvarDecl *Ivar) { 21419cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian const std::string Name = "__objc_ivar_offset_" + ID->getNameAsString() 21429cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian + '.' + Ivar->getNameAsString(); 21439cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian // Emit the variable and initialize it with what we think the correct value 21449cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian // is. This allows code compiled with non-fragile ivars to work correctly 21459cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian // when linked against code which isn't (most of the time). 21468a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall llvm::GlobalVariable *IvarOffsetPointer = TheModule.getNamedGlobal(Name); 21478a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall if (!IvarOffsetPointer) { 2148d901da531433254210a08e8b1f9e1ad049b340aaDavid Chisnall uint64_t Offset; 2149d901da531433254210a08e8b1f9e1ad049b340aaDavid Chisnall if (ObjCImplementationDecl *OID = 2150cb421fa690da545b58a720abe5f1c49b166dbde7Dan Gohman CGM.getContext().getObjCImplementation( 2151cb421fa690da545b58a720abe5f1c49b166dbde7Dan Gohman const_cast<ObjCInterfaceDecl *>(ID))) 2152d901da531433254210a08e8b1f9e1ad049b340aaDavid Chisnall Offset = ComputeIvarBaseOffset(CGM, OID, Ivar); 2153d901da531433254210a08e8b1f9e1ad049b340aaDavid Chisnall else 2154d901da531433254210a08e8b1f9e1ad049b340aaDavid Chisnall Offset = ComputeIvarBaseOffset(CGM, ID, Ivar); 2155d901da531433254210a08e8b1f9e1ad049b340aaDavid Chisnall 21569cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian llvm::ConstantInt *OffsetGuess = 2157f950837b8250c7f08d0b7b15ace0b35740721c9dDavid Chisnall llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), Offset, "ivar"); 21588a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // Don't emit the guess in non-PIC code because the linker will not be able 21598a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // to replace it with the real version for a library. In non-PIC code you 21608a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // must compile with the fragile ABI if you want to use ivars from a 21611eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump // GCC-compiled class. 21628a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall if (CGM.getLangOptions().PICLevel) { 21638a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall llvm::GlobalVariable *IvarOffsetGV = new llvm::GlobalVariable(TheModule, 21648a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall llvm::Type::getInt32Ty(VMContext), false, 21658a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall llvm::GlobalValue::PrivateLinkage, OffsetGuess, Name+".guess"); 21668a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall IvarOffsetPointer = new llvm::GlobalVariable(TheModule, 21678a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall IvarOffsetGV->getType(), false, llvm::GlobalValue::LinkOnceAnyLinkage, 21688a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall IvarOffsetGV, Name); 21698a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall } else { 21708a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall IvarOffsetPointer = new llvm::GlobalVariable(TheModule, 21713c0ef8cc0dc246bd3083e8cdd63005e8873d36d2Benjamin Kramer llvm::Type::getInt32PtrTy(VMContext), false, 21723c0ef8cc0dc246bd3083e8cdd63005e8873d36d2Benjamin Kramer llvm::GlobalValue::ExternalLinkage, 0, Name); 21738a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall } 21749cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian } 21758a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall return IvarOffsetPointer; 21769cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian} 21779cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian 2178598d3f61b6ca854e9d3c2f3359e24468502a61aaFariborz JahanianLValue CGObjCGNU::EmitObjCValueForIvar(CodeGen::CodeGenFunction &CGF, 2179598d3f61b6ca854e9d3c2f3359e24468502a61aaFariborz Jahanian QualType ObjectTy, 2180598d3f61b6ca854e9d3c2f3359e24468502a61aaFariborz Jahanian llvm::Value *BaseValue, 2181598d3f61b6ca854e9d3c2f3359e24468502a61aaFariborz Jahanian const ObjCIvarDecl *Ivar, 2182598d3f61b6ca854e9d3c2f3359e24468502a61aaFariborz Jahanian unsigned CVRQualifiers) { 2183183700f494ec9b6701b6efe82bcb25f4c79ba561John McCall const ObjCInterfaceDecl *ID = ObjectTy->getAs<ObjCInterfaceType>()->getDecl(); 21849777687562c338601c2f17906e65e1c1a0aad96fDaniel Dunbar return EmitValueForIvarAtOffset(CGF, ID, BaseValue, Ivar, CVRQualifiers, 21859777687562c338601c2f17906e65e1c1a0aad96fDaniel Dunbar EmitIvarOffset(CGF, ID, Ivar)); 21860bb20361a321593887f067515dd04cf109f4c74aFariborz Jahanian} 2187bb1c8600218b3244340331165fc7cba7bf227655Mike Stump 21889cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanianstatic const ObjCInterfaceDecl *FindIvarInterface(ASTContext &Context, 21899cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian const ObjCInterfaceDecl *OID, 21909cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian const ObjCIvarDecl *OIVD) { 21919cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian llvm::SmallVector<ObjCIvarDecl*, 16> Ivars; 21928e6ac1d80055fa37b9b84029c7e751624ba7f84cFariborz Jahanian Context.ShallowCollectObjCIvars(OID, Ivars); 21939cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian for (unsigned k = 0, e = Ivars.size(); k != e; ++k) { 21949cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian if (OIVD == Ivars[k]) 21959cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian return OID; 21969cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian } 21971eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 21989cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian // Otherwise check in the super class. 21999cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian if (const ObjCInterfaceDecl *Super = OID->getSuperClass()) 22009cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian return FindIvarInterface(Context, Super, OIVD); 22011eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 22029cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian return 0; 22039cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian} 22040bb20361a321593887f067515dd04cf109f4c74aFariborz Jahanian 2205f63aa3fd429cdb9145d78f0b656bc78754efedb9Fariborz Jahanianllvm::Value *CGObjCGNU::EmitIvarOffset(CodeGen::CodeGenFunction &CGF, 22062a03192a02dbf4fdff438d1e658356bde871aba4Daniel Dunbar const ObjCInterfaceDecl *Interface, 2207f63aa3fd429cdb9145d78f0b656bc78754efedb9Fariborz Jahanian const ObjCIvarDecl *Ivar) { 22088a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall if (CGM.getLangOptions().ObjCNonFragileABI) { 22099cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian Interface = FindIvarInterface(CGM.getContext(), Interface, Ivar); 22108a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall return CGF.Builder.CreateLoad(CGF.Builder.CreateLoad( 22118a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall ObjCIvarOffsetVariable(Interface, Ivar), false, "ivar")); 22129cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian } 22139777687562c338601c2f17906e65e1c1a0aad96fDaniel Dunbar uint64_t Offset = ComputeIvarBaseOffset(CGF.CGM, Interface, Ivar); 22144a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson return llvm::ConstantInt::get(LongTy, Offset, "ivar"); 2215f63aa3fd429cdb9145d78f0b656bc78754efedb9Fariborz Jahanian} 2216f63aa3fd429cdb9145d78f0b656bc78754efedb9Fariborz Jahanian 2217bb1c8600218b3244340331165fc7cba7bf227655Mike StumpCodeGen::CGObjCRuntime * 2218bb1c8600218b3244340331165fc7cba7bf227655Mike StumpCodeGen::CreateGNUObjCRuntime(CodeGen::CodeGenModule &CGM) { 2219dce1406f1c1f572cfd61c494546572d63461c741Chris Lattner return new CGObjCGNU(CGM); 22200f984268b05edab2cc555a427c441baa9c252658Chris Lattner} 2221