CGObjCGNU.cpp revision 866163bf6c66211a9b4d5ba160ac02de04ce4be6
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 542f3c47c9525153aea2de0ec4bd615b9cf2d81c103Anders Carlsson return CGF.EmitCall(FnInfo, imp, ReturnValueSlot(), ActualArgs); 54320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 54420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 5451eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump/// Generate code for a message send expression. 5468f2926b73ed635afecd020da787af6a837601a2bDaniel DunbarCodeGen::RValue 5478f2926b73ed635afecd020da787af6a837601a2bDaniel DunbarCGObjCGNU::GenerateMessageSend(CodeGen::CodeGenFunction &CGF, 5487f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar QualType ResultType, 5497f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar Selector Sel, 550f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar llvm::Value *Receiver, 551df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian const CallArgList &CallArgs, 552c6cd5fd3eae71f8841504a396563343cfaaf503eDavid Chisnall const ObjCInterfaceDecl *Class, 553df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian const ObjCMethodDecl *Method) { 554664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall // Strip out message sends to retain / release in GC mode 555ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall if (CGM.getLangOptions().getGCMode() != LangOptions::NonGC) { 556ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall if (Sel == RetainSel || Sel == AutoreleaseSel) { 557ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall return RValue::get(Receiver); 558ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall } 559ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall if (Sel == ReleaseSel) { 560ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall return RValue::get(0); 561ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall } 562ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall } 563664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall 564d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian CGBuilderTy &Builder = CGF.Builder; 565664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall 566664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall // If the return type is something that goes in an integer register, the 567664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall // runtime will handle 0 returns. For other cases, we fill in the 0 value 568664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall // ourselves. 569664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall // 570664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall // The language spec says the result of this kind of message send is 571664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall // undefined, but lots of people seem to have forgotten to read that 572664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall // paragraph and insist on sending messages to nil that have structure 573664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall // returns. With GCC, this generates a random return value (whatever happens 574664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall // to be on the stack / in those registers at the time) on most platforms, 575664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall // and generates a SegV on SPARC. With LLVM it corrupts the stack. 576664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall bool isPointerSizedReturn = false; 577254e2d9e61dd0adb9c5e219d901f9872fd951728David Chisnall if (ResultType->isAnyPointerType() || ResultType->isIntegralType() || 578254e2d9e61dd0adb9c5e219d901f9872fd951728David Chisnall ResultType->isVoidType()) 579664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall isPointerSizedReturn = true; 580664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall 581664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall llvm::BasicBlock *startBB = 0; 582664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall llvm::BasicBlock *messageBB = 0; 583664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall llvm::BasicBlock *contiueBB = 0; 584664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall 585664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall if (!isPointerSizedReturn) { 586664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall startBB = Builder.GetInsertBlock(); 587664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall messageBB = CGF.createBasicBlock("msgSend"); 588664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall contiueBB = CGF.createBasicBlock("continue"); 589664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall 590664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall llvm::Value *isNil = Builder.CreateICmpEQ(Receiver, 591664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall llvm::Constant::getNullValue(Receiver->getType())); 592664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall Builder.CreateCondBr(isNil, contiueBB, messageBB); 593664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall CGF.EmitBlock(messageBB); 594664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall } 595664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall 5960f436560640a1cff5b6d96f80f540770f139453fDavid Chisnall IdTy = cast<llvm::PointerType>(CGM.getTypes().ConvertType(ASTIdTy)); 597df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian llvm::Value *cmd; 598df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian if (Method) 599d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian cmd = GetSelector(Builder, Method); 600df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian else 601d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian cmd = GetSelector(Builder, Sel); 602b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian CallArgList ActualArgs; 603b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian 604d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Receiver = Builder.CreateBitCast(Receiver, IdTy); 605b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian ActualArgs.push_back( 606d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::make_pair(RValue::get(Receiver), ASTIdTy)); 607b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian ActualArgs.push_back(std::make_pair(RValue::get(cmd), 608b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian CGF.getContext().getObjCSelType())); 609b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian ActualArgs.insert(ActualArgs.end(), CallArgs.begin(), CallArgs.end()); 610b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian 611b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian CodeGenTypes &Types = CGM.getTypes(); 61204a67a6aa3dfdc92d57f7f8d93ba397348c868a4John McCall const CGFunctionInfo &FnInfo = Types.getFunctionInfo(ResultType, ActualArgs, 613264ba48dc98f3f843935a485d5b086f7e0fdc4f1Rafael Espindola FunctionType::ExtInfo()); 6146793966aa221764f579cc8436bd641e1ec339c6dDaniel Dunbar const llvm::FunctionType *impType = 6156793966aa221764f579cc8436bd641e1ec339c6dDaniel Dunbar Types.GetFunctionType(FnInfo, Method ? Method->isVariadic() : false); 6160f984268b05edab2cc555a427c441baa9c252658Chris Lattner 61734e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian llvm::Value *imp; 61834e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian // For sender-aware dispatch, we pass the sender as the third argument to a 61934e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian // lookup function. When sending messages from C code, the sender is nil. 620d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // objc_msg_lookup_sender(id *receiver, SEL selector, id sender); 621d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian if (CGM.getContext().getLangOptions().ObjCNonFragileABI) { 622d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 623d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::vector<const llvm::Type*> Params; 624d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Value *ReceiverPtr = CGF.CreateTempAlloca(Receiver->getType()); 625d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Builder.CreateStore(Receiver, ReceiverPtr); 626d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Params.push_back(ReceiverPtr->getType()); 627d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Params.push_back(SelectorTy); 62834e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian llvm::Value *self; 62934e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian 63034e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian if (isa<ObjCMethodDecl>(CGF.CurFuncDecl)) { 63134e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian self = CGF.LoadObjCSelf(); 63234e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian } else { 63303e205031b08669f05c41eed5b896fc94c4a12bbOwen Anderson self = llvm::ConstantPointerNull::get(IdTy); 63434e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian } 635d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 63634e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian Params.push_back(self->getType()); 637d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 638d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // The lookup function returns a slot, which can be safely cached. 639d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Type *SlotTy = llvm::StructType::get(VMContext, PtrTy, PtrTy, PtrTy, 640d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian IntTy, llvm::PointerType::getUnqual(impType), NULL); 6411eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Constant *lookupFunction = 64296e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson CGM.CreateRuntimeFunction(llvm::FunctionType::get( 643d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::PointerType::getUnqual(SlotTy), Params, true), 64434e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian "objc_msg_lookup_sender"); 64526c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian 646d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // The lookup function is guaranteed not to capture the receiver pointer. 647d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian if (llvm::Function *LookupFn = dyn_cast<llvm::Function>(lookupFunction)) { 648d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian LookupFn->setDoesNotCapture(1); 649d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } 650d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 651866163bf6c66211a9b4d5ba160ac02de04ce4be6David Chisnall llvm::CallInst *slot = 652d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Builder.CreateCall3(lookupFunction, ReceiverPtr, cmd, self); 653866163bf6c66211a9b4d5ba160ac02de04ce4be6David Chisnall slot->setOnlyReadsMemory(); 654866163bf6c66211a9b4d5ba160ac02de04ce4be6David Chisnall 655d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian imp = Builder.CreateLoad(Builder.CreateStructGEP(slot, 4)); 656c6cd5fd3eae71f8841504a396563343cfaaf503eDavid Chisnall llvm::Value *impMD[] = { 657c6cd5fd3eae71f8841504a396563343cfaaf503eDavid Chisnall llvm::MDString::get(VMContext, Sel.getAsString()), 658c6cd5fd3eae71f8841504a396563343cfaaf503eDavid Chisnall llvm::MDString::get(VMContext, Class ? Class->getNameAsString() :""), 659c6cd5fd3eae71f8841504a396563343cfaaf503eDavid Chisnall }; 660c6cd5fd3eae71f8841504a396563343cfaaf503eDavid Chisnall llvm::MDNode *node = llvm::MDNode::get(VMContext, impMD, 2); 661c6cd5fd3eae71f8841504a396563343cfaaf503eDavid Chisnall cast<llvm::Instruction>(imp)->setMetadata(msgSendMDKind, node); 662c6cd5fd3eae71f8841504a396563343cfaaf503eDavid Chisnall 663d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // The lookup function may have changed the receiver, so make sure we use 664d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // the new one. 665d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ActualArgs[0] = 666d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::make_pair(RValue::get(Builder.CreateLoad(ReceiverPtr)), ASTIdTy); 66734e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian } else { 668d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::vector<const llvm::Type*> Params; 669d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Params.push_back(Receiver->getType()); 670d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Params.push_back(SelectorTy); 6711eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Constant *lookupFunction = 67296e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson CGM.CreateRuntimeFunction(llvm::FunctionType::get( 67396e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::PointerType::getUnqual(impType), Params, true), 67434e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian "objc_msg_lookup"); 67534e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian 676d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian imp = Builder.CreateCall2(lookupFunction, Receiver, cmd); 67734e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian } 678664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall RValue msgRet = 679664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall CGF.EmitCall(FnInfo, imp, ReturnValueSlot(), ActualArgs); 680664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall 681664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall if (!isPointerSizedReturn) { 682664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall CGF.EmitBlock(contiueBB); 683664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall if (msgRet.isScalar()) { 684664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall llvm::Value *v = msgRet.getScalarVal(); 685664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall llvm::PHINode *phi = Builder.CreatePHI(v->getType()); 686664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall phi->addIncoming(v, messageBB); 687664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall phi->addIncoming(llvm::Constant::getNullValue(v->getType()), startBB); 688664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall msgRet = RValue::get(phi); 689664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall } else if (msgRet.isAggregate()) { 690664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall llvm::Value *v = msgRet.getAggregateAddr(); 691664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall llvm::PHINode *phi = Builder.CreatePHI(v->getType()); 692664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall const llvm::PointerType *RetTy = cast<llvm::PointerType>(v->getType()); 693866163bf6c66211a9b4d5ba160ac02de04ce4be6David Chisnall llvm::AllocaInst *NullVal = 694866163bf6c66211a9b4d5ba160ac02de04ce4be6David Chisnall CGF.CreateTempAlloca(RetTy->getElementType(), "null"); 695664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall CGF.InitTempAlloca(NullVal, 696664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall llvm::Constant::getNullValue(RetTy->getElementType())); 697664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall phi->addIncoming(v, messageBB); 698664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall phi->addIncoming(NullVal, startBB); 699664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall msgRet = RValue::getAggregate(phi); 700664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall } else /* isComplex() */ { 701664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall std::pair<llvm::Value*,llvm::Value*> v = msgRet.getComplexVal(); 702664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall llvm::PHINode *phi = Builder.CreatePHI(v.first->getType()); 703664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall phi->addIncoming(v.first, messageBB); 704664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall phi->addIncoming(llvm::Constant::getNullValue(v.first->getType()), 705664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall startBB); 706664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall llvm::PHINode *phi2 = Builder.CreatePHI(v.second->getType()); 707664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall phi2->addIncoming(v.second, messageBB); 708664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall phi2->addIncoming(llvm::Constant::getNullValue(v.second->getType()), 709664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall startBB); 710664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall msgRet = RValue::getComplex(phi, phi2); 711664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall } 712664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall } 713664b7c74aff2ccdf9d13eae08b3466326fc6cc1fDavid Chisnall return msgRet; 71420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 71520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 7161eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump/// Generates a MethodList. Used in construction of a objc_class and 71720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov/// objc_category structures. 71820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovllvm::Constant *CGObjCGNU::GenerateMethodList(const std::string &ClassName, 7191eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const std::string &CategoryName, 7201eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const llvm::SmallVectorImpl<Selector> &MethodSels, 7211eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const llvm::SmallVectorImpl<llvm::Constant *> &MethodTypes, 72220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov bool isClassMethodList) { 7230f436560640a1cff5b6d96f80f540770f139453fDavid Chisnall if (MethodSels.empty()) 7240f436560640a1cff5b6d96f80f540770f139453fDavid Chisnall return NULLPtr; 7251eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump // Get the method structure type. 72647a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType *ObjCMethodTy = llvm::StructType::get(VMContext, 72720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, // Really a selector, but the runtime creates it us. 72820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, // Method types 72996e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::PointerType::getUnqual(IMPTy), //Method pointer 73020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov NULL); 73120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Methods; 73220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Elements; 73320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov for (unsigned int i = 0, e = MethodTypes.size(); i < e; ++i) { 73420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 7351e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian if (llvm::Constant *Method = 73620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov TheModule.getFunction(SymbolNameForMethod(ClassName, CategoryName, 737077bf5e2f48acfa9e7d69429b6e4ba86ea14896dChris Lattner MethodSels[i].getAsString(), 7381e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian isClassMethodList))) { 7398a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall llvm::Constant *C = MakeConstantString(MethodSels[i].getAsString()); 7408a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall Elements.push_back(C); 7418a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall Elements.push_back(MethodTypes[i]); 7423c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson Method = llvm::ConstantExpr::getBitCast(Method, 74396e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::PointerType::getUnqual(IMPTy)); 7441e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian Elements.push_back(Method); 74508e252425ca2cbdc44ba65d9a657ed5398014e36Owen Anderson Methods.push_back(llvm::ConstantStruct::get(ObjCMethodTy, Elements)); 7461e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian } 74720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 74820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 74920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Array of method structures 75096e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::ArrayType *ObjCMethodArrayTy = llvm::ArrayType::get(ObjCMethodTy, 7511e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian Methods.size()); 7527db6d838aad4083fe86d7bf703a75fe6e8a17856Owen Anderson llvm::Constant *MethodArray = llvm::ConstantArray::get(ObjCMethodArrayTy, 753fba676396703e87a5034e5f308aa30a633468f66Chris Lattner Methods); 75420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 75520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Structure containing list pointer, array and array count 75620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::SmallVector<const llvm::Type*, 16> ObjCMethodListFields; 7578c8f69ec1477424e11faef6b235505584d61e522Owen Anderson llvm::PATypeHolder OpaqueNextTy = llvm::OpaqueType::get(VMContext); 75896e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::Type *NextPtrTy = llvm::PointerType::getUnqual(OpaqueNextTy); 75947a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType *ObjCMethodListTy = llvm::StructType::get(VMContext, 7601eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump NextPtrTy, 7611eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump IntTy, 76220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ObjCMethodArrayTy, 76320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov NULL); 76420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Refine next pointer type to concrete type 76520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::cast<llvm::OpaqueType>( 76620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov OpaqueNextTy.get())->refineAbstractTypeTo(ObjCMethodListTy); 76720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ObjCMethodListTy = llvm::cast<llvm::StructType>(OpaqueNextTy.get()); 76820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 76920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Methods.clear(); 77003e205031b08669f05c41eed5b896fc94c4a12bbOwen Anderson Methods.push_back(llvm::ConstantPointerNull::get( 77196e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::PointerType::getUnqual(ObjCMethodListTy))); 7720032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson Methods.push_back(llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), 77320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov MethodTypes.size())); 77420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Methods.push_back(MethodArray); 7751eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 77620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Create an instance of the structure 77720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov return MakeGlobal(ObjCMethodListTy, Methods, ".objc_method_list"); 77820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 77920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 78020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov/// Generates an IvarList. Used in construction of a objc_class. 78120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovllvm::Constant *CGObjCGNU::GenerateIvarList( 78220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &IvarNames, 78320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &IvarTypes, 78420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &IvarOffsets) { 7851804463ee790ac3cc73f72597ccb38b983f7d263David Chisnall if (IvarNames.size() == 0) 7861804463ee790ac3cc73f72597ccb38b983f7d263David Chisnall return NULLPtr; 7871eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump // Get the method structure type. 78847a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType *ObjCIvarTy = llvm::StructType::get(VMContext, 78920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, 79020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, 79120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov IntTy, 79220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov NULL); 79320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Ivars; 79420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Elements; 79520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov for (unsigned int i = 0, e = IvarNames.size() ; i < e ; i++) { 79620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 7978a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall Elements.push_back(IvarNames[i]); 7988a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall Elements.push_back(IvarTypes[i]); 79920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(IvarOffsets[i]); 80008e252425ca2cbdc44ba65d9a657ed5398014e36Owen Anderson Ivars.push_back(llvm::ConstantStruct::get(ObjCIvarTy, Elements)); 80120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 80220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 80320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Array of method structures 80496e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::ArrayType *ObjCIvarArrayTy = llvm::ArrayType::get(ObjCIvarTy, 80520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov IvarNames.size()); 80620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 8071eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 80820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 8094a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson Elements.push_back(llvm::ConstantInt::get(IntTy, (int)IvarNames.size())); 8107db6d838aad4083fe86d7bf703a75fe6e8a17856Owen Anderson Elements.push_back(llvm::ConstantArray::get(ObjCIvarArrayTy, Ivars)); 81120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Structure containing array and array count 81247a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType *ObjCIvarListTy = llvm::StructType::get(VMContext, IntTy, 81320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ObjCIvarArrayTy, 81420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov NULL); 81520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 81620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Create an instance of the structure 81720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov return MakeGlobal(ObjCIvarListTy, Elements, ".objc_ivar_list"); 8180f984268b05edab2cc555a427c441baa9c252658Chris Lattner} 8190f984268b05edab2cc555a427c441baa9c252658Chris Lattner 82020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov/// Generate a class structure 82120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovllvm::Constant *CGObjCGNU::GenerateClassStructure( 82220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *MetaClass, 82320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *SuperClass, 82420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov unsigned info, 825d002cc6fc5b72bf00e3b7b4571ccf0f23c789b4bChris Lattner const char *Name, 82620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *Version, 82720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *InstanceSize, 82820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *IVars, 82920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *Methods, 830d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *Protocols, 831d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *IvarOffsets, 8328c757f9ea33dccff4da7810e0c1bda59c19ddc9aDavid Chisnall llvm::Constant *Properties, 8338c757f9ea33dccff4da7810e0c1bda59c19ddc9aDavid Chisnall bool isMeta) { 83420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Set up the class structure 83520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Note: Several of these are char*s when they should be ids. This is 83620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // because the runtime performs this translation on load. 837d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // 838d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // Fields marked New ABI are part of the GNUstep runtime. We emit them 839d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // anyway; the classes will still work with the GNU runtime, they will just 840d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // be ignored. 84147a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType *ClassTy = llvm::StructType::get(VMContext, 84220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, // class_pointer 84320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, // super_class 84420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, // name 84520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov LongTy, // version 84620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov LongTy, // info 84720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov LongTy, // instance_size 84820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov IVars->getType(), // ivars 84920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Methods->getType(), // methods 8501eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump // These are all filled in by the runtime, so we pretend 85120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrTy, // dtable 85220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrTy, // subclass_list 85320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrTy, // sibling_class 85420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrTy, // protocols 85520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrTy, // gc_object_type 856d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // New ABI: 857d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian LongTy, // abi_version 858d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian IvarOffsets->getType(), // ivar_offsets 859d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Properties->getType(), // properties 86020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov NULL); 8614a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson llvm::Constant *Zero = llvm::ConstantInt::get(LongTy, 0); 86220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Fill in the structure 86320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Elements; 8643c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson Elements.push_back(llvm::ConstantExpr::getBitCast(MetaClass, PtrToInt8Ty)); 86520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(SuperClass); 866d002cc6fc5b72bf00e3b7b4571ccf0f23c789b4bChris Lattner Elements.push_back(MakeConstantString(Name, ".class_name")); 86720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(Zero); 8684a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson Elements.push_back(llvm::ConstantInt::get(LongTy, info)); 86920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(InstanceSize); 87020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(IVars); 87120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(Methods); 872d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(NULLPtr); 873d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(NULLPtr); 874d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(NULLPtr); 8753c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson Elements.push_back(llvm::ConstantExpr::getBitCast(Protocols, PtrTy)); 876d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(NULLPtr); 877d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(Zero); 878d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(IvarOffsets); 879d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(Properties); 88020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Create an instance of the structure 88141d63ed274d1bf7ba7459f218c8f6a385fc5c6d6David Chisnall // This is now an externally visible symbol, so that we can speed up class 88241d63ed274d1bf7ba7459f218c8f6a385fc5c6d6David Chisnall // messages in the next ABI. 8838c757f9ea33dccff4da7810e0c1bda59c19ddc9aDavid Chisnall return MakeGlobal(ClassTy, Elements, (isMeta ? "_OBJC_METACLASS_": 8848c757f9ea33dccff4da7810e0c1bda59c19ddc9aDavid Chisnall "_OBJC_CLASS_") + std::string(Name), llvm::GlobalValue::ExternalLinkage); 88520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 88620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 88720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovllvm::Constant *CGObjCGNU::GenerateProtocolMethodList( 88820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &MethodNames, 88920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &MethodTypes) { 8901eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump // Get the method structure type. 89147a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType *ObjCMethodDescTy = llvm::StructType::get(VMContext, 89220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, // Really a selector, but the runtime does the casting for us. 89320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, 89420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov NULL); 89520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Methods; 89620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Elements; 89720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov for (unsigned int i = 0, e = MethodTypes.size() ; i < e ; i++) { 89820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 8991eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Elements.push_back(MethodNames[i]); 9008a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall Elements.push_back(MethodTypes[i]); 90108e252425ca2cbdc44ba65d9a657ed5398014e36Owen Anderson Methods.push_back(llvm::ConstantStruct::get(ObjCMethodDescTy, Elements)); 90220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 90396e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::ArrayType *ObjCMethodArrayTy = llvm::ArrayType::get(ObjCMethodDescTy, 90420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov MethodNames.size()); 9057db6d838aad4083fe86d7bf703a75fe6e8a17856Owen Anderson llvm::Constant *Array = llvm::ConstantArray::get(ObjCMethodArrayTy, 906bb1c8600218b3244340331165fc7cba7bf227655Mike Stump Methods); 90747a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType *ObjCMethodDescListTy = llvm::StructType::get(VMContext, 90820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov IntTy, ObjCMethodArrayTy, NULL); 90920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Methods.clear(); 9104a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson Methods.push_back(llvm::ConstantInt::get(IntTy, MethodNames.size())); 91120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Methods.push_back(Array); 91220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov return MakeGlobal(ObjCMethodDescListTy, Methods, ".objc_method_list"); 91320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 914bb1c8600218b3244340331165fc7cba7bf227655Mike Stump 91520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov// Create the protocol list structure used in classes, categories and so on 91620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovllvm::Constant *CGObjCGNU::GenerateProtocolList( 91720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<std::string> &Protocols) { 91896e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::ArrayType *ProtocolArrayTy = llvm::ArrayType::get(PtrToInt8Ty, 91920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Protocols.size()); 92047a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType *ProtocolListTy = llvm::StructType::get(VMContext, 92120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrTy, //Should be a recurisve pointer, but it's always NULL here. 92220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov LongTy,//FIXME: Should be size_t 92320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ProtocolArrayTy, 92420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov NULL); 9251eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump std::vector<llvm::Constant*> Elements; 92620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov for (const std::string *iter = Protocols.begin(), *endIter = Protocols.end(); 92720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov iter != endIter ; iter++) { 928ff80fabfa42d4aadbbaab4d61fa518d80b5a981aDavid Chisnall llvm::Constant *protocol = 0; 929ff80fabfa42d4aadbbaab4d61fa518d80b5a981aDavid Chisnall llvm::StringMap<llvm::Constant*>::iterator value = 930ff80fabfa42d4aadbbaab4d61fa518d80b5a981aDavid Chisnall ExistingProtocols.find(*iter); 931ff80fabfa42d4aadbbaab4d61fa518d80b5a981aDavid Chisnall if (value == ExistingProtocols.end()) { 932f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian protocol = GenerateEmptyProtocol(*iter); 933ff80fabfa42d4aadbbaab4d61fa518d80b5a981aDavid Chisnall } else { 934ff80fabfa42d4aadbbaab4d61fa518d80b5a981aDavid Chisnall protocol = value->getValue(); 935ff80fabfa42d4aadbbaab4d61fa518d80b5a981aDavid Chisnall } 9363c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson llvm::Constant *Ptr = llvm::ConstantExpr::getBitCast(protocol, 937a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson PtrToInt8Ty); 93820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(Ptr); 93920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 9407db6d838aad4083fe86d7bf703a75fe6e8a17856Owen Anderson llvm::Constant * ProtocolArray = llvm::ConstantArray::get(ProtocolArrayTy, 94120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements); 94220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 94320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(NULLPtr); 9444a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson Elements.push_back(llvm::ConstantInt::get(LongTy, Protocols.size())); 94520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(ProtocolArray); 94620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov return MakeGlobal(ProtocolListTy, Elements, ".objc_protocol_list"); 94720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 94820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 9491eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpllvm::Value *CGObjCGNU::GenerateProtocolRef(CGBuilderTy &Builder, 950af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar const ObjCProtocolDecl *PD) { 951f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian llvm::Value *protocol = ExistingProtocols[PD->getNameAsString()]; 9521eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const llvm::Type *T = 953f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian CGM.getTypes().ConvertType(CGM.getContext().getObjCProtoType()); 95496e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson return Builder.CreateBitCast(protocol, llvm::PointerType::getUnqual(T)); 955f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian} 956f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian 957f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanianllvm::Constant *CGObjCGNU::GenerateEmptyProtocol( 958f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian const std::string &ProtocolName) { 959f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian llvm::SmallVector<std::string, 0> EmptyStringVector; 960f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian llvm::SmallVector<llvm::Constant*, 0> EmptyConstantVector; 961f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian 962f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian llvm::Constant *ProtocolList = GenerateProtocolList(EmptyStringVector); 963d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *MethodList = 964f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian GenerateProtocolMethodList(EmptyConstantVector, EmptyConstantVector); 965f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian // Protocols are objects containing lists of the methods implemented and 966f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian // protocols adopted. 96747a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType *ProtocolTy = llvm::StructType::get(VMContext, IdTy, 968f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian PtrToInt8Ty, 969f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian ProtocolList->getType(), 970d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian MethodList->getType(), 971d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian MethodList->getType(), 972d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian MethodList->getType(), 973d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian MethodList->getType(), 974f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian NULL); 9751eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump std::vector<llvm::Constant*> Elements; 976f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian // The isa pointer must be set to a magic number so the runtime knows it's 977f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian // the correct layout. 978d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian int Version = CGM.getContext().getLangOptions().ObjCNonFragileABI ? 979d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian NonFragileProtocolVersion : ProtocolVersion; 9803c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson Elements.push_back(llvm::ConstantExpr::getIntToPtr( 981d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), Version), IdTy)); 982f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian Elements.push_back(MakeConstantString(ProtocolName, ".objc_protocol_name")); 983f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian Elements.push_back(ProtocolList); 984d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(MethodList); 985d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(MethodList); 986d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(MethodList); 987d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(MethodList); 988f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian return MakeGlobal(ProtocolTy, Elements, ".objc_protocol"); 98920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 99020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 991af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbarvoid CGObjCGNU::GenerateProtocol(const ObjCProtocolDecl *PD) { 992af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar ASTContext &Context = CGM.getContext(); 9938ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner std::string ProtocolName = PD->getNameAsString(); 994af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar llvm::SmallVector<std::string, 16> Protocols; 995af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar for (ObjCProtocolDecl::protocol_iterator PI = PD->protocol_begin(), 996af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar E = PD->protocol_end(); PI != E; ++PI) 997d9d22dd9c94618490dbffb0e2caf222530ca39d3Chris Lattner Protocols.push_back((*PI)->getNameAsString()); 998af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> InstanceMethodNames; 999af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> InstanceMethodTypes; 1000d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::SmallVector<llvm::Constant*, 16> OptionalInstanceMethodNames; 1001d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::SmallVector<llvm::Constant*, 16> OptionalInstanceMethodTypes; 100217945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis for (ObjCProtocolDecl::instmeth_iterator iter = PD->instmeth_begin(), 100317945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis E = PD->instmeth_end(); iter != E; iter++) { 1004af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar std::string TypeStr; 1005af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar Context.getObjCEncodingForMethodDecl(*iter, TypeStr); 1006d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian if ((*iter)->getImplementationControl() == ObjCMethodDecl::Optional) { 1007d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian InstanceMethodNames.push_back( 1008d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian MakeConstantString((*iter)->getSelector().getAsString())); 1009d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian InstanceMethodTypes.push_back(MakeConstantString(TypeStr)); 1010d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } else { 1011d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian OptionalInstanceMethodNames.push_back( 1012d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian MakeConstantString((*iter)->getSelector().getAsString())); 1013d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian OptionalInstanceMethodTypes.push_back(MakeConstantString(TypeStr)); 1014d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } 1015af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar } 1016af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar // Collect information about class methods: 1017af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> ClassMethodNames; 1018af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> ClassMethodTypes; 1019d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::SmallVector<llvm::Constant*, 16> OptionalClassMethodNames; 1020d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::SmallVector<llvm::Constant*, 16> OptionalClassMethodTypes; 10211eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump for (ObjCProtocolDecl::classmeth_iterator 102217945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis iter = PD->classmeth_begin(), endIter = PD->classmeth_end(); 102317945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis iter != endIter ; iter++) { 1024af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar std::string TypeStr; 1025af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar Context.getObjCEncodingForMethodDecl((*iter),TypeStr); 1026d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian if ((*iter)->getImplementationControl() == ObjCMethodDecl::Optional) { 1027d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ClassMethodNames.push_back( 1028d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian MakeConstantString((*iter)->getSelector().getAsString())); 1029d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ClassMethodTypes.push_back(MakeConstantString(TypeStr)); 1030d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } else { 1031d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian OptionalClassMethodNames.push_back( 1032d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian MakeConstantString((*iter)->getSelector().getAsString())); 1033d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian OptionalClassMethodTypes.push_back(MakeConstantString(TypeStr)); 1034d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } 1035af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar } 103620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 103720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *ProtocolList = GenerateProtocolList(Protocols); 103820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *InstanceMethodList = 103920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov GenerateProtocolMethodList(InstanceMethodNames, InstanceMethodTypes); 104020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *ClassMethodList = 104120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov GenerateProtocolMethodList(ClassMethodNames, ClassMethodTypes); 1042d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *OptionalInstanceMethodList = 1043d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian GenerateProtocolMethodList(OptionalInstanceMethodNames, 1044d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian OptionalInstanceMethodTypes); 1045d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *OptionalClassMethodList = 1046d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian GenerateProtocolMethodList(OptionalClassMethodNames, 1047d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian OptionalClassMethodTypes); 1048d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 1049d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // Property metadata: name, attributes, isSynthesized, setter name, setter 1050d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // types, getter name, getter types. 1051d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // The isSynthesized value is always set to 0 in a protocol. It exists to 1052d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // simplify the runtime library by allowing it to use the same data 1053d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // structures for protocol metadata everywhere. 1054d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::StructType *PropertyMetadataTy = llvm::StructType::get(VMContext, 1055d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian PtrToInt8Ty, Int8Ty, Int8Ty, PtrToInt8Ty, PtrToInt8Ty, PtrToInt8Ty, 1056d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian PtrToInt8Ty, NULL); 1057d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::vector<llvm::Constant*> Properties; 1058d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::vector<llvm::Constant*> OptionalProperties; 1059d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 1060d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // Add all of the property methods need adding to the method list and to the 1061d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // property metadata list. 1062d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian for (ObjCContainerDecl::prop_iterator 1063d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian iter = PD->prop_begin(), endIter = PD->prop_end(); 1064d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian iter != endIter ; iter++) { 1065d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::vector<llvm::Constant*> Fields; 1066d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ObjCPropertyDecl *property = (*iter); 1067d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 1068d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(MakeConstantString(property->getNameAsString())); 1069d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(llvm::ConstantInt::get(Int8Ty, 1070d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian property->getPropertyAttributes())); 1071d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(llvm::ConstantInt::get(Int8Ty, 0)); 1072d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian if (ObjCMethodDecl *getter = property->getGetterMethodDecl()) { 1073d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::string TypeStr; 1074d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Context.getObjCEncodingForMethodDecl(getter,TypeStr); 1075d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *TypeEncoding = MakeConstantString(TypeStr); 1076d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian InstanceMethodTypes.push_back(TypeEncoding); 1077d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(MakeConstantString(getter->getSelector().getAsString())); 1078d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(TypeEncoding); 1079d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } else { 1080d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(NULLPtr); 1081d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(NULLPtr); 1082d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } 1083d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian if (ObjCMethodDecl *setter = property->getSetterMethodDecl()) { 1084d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::string TypeStr; 1085d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Context.getObjCEncodingForMethodDecl(setter,TypeStr); 1086d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *TypeEncoding = MakeConstantString(TypeStr); 1087d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian InstanceMethodTypes.push_back(TypeEncoding); 1088d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(MakeConstantString(setter->getSelector().getAsString())); 1089d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(TypeEncoding); 1090d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } else { 1091d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(NULLPtr); 1092d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(NULLPtr); 1093d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } 1094d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian if (property->getPropertyImplementation() == ObjCPropertyDecl::Optional) { 1095d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian OptionalProperties.push_back(llvm::ConstantStruct::get(PropertyMetadataTy, Fields)); 1096d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } else { 1097d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Properties.push_back(llvm::ConstantStruct::get(PropertyMetadataTy, Fields)); 1098d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } 1099d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } 1100d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *PropertyArray = llvm::ConstantArray::get( 1101d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::ArrayType::get(PropertyMetadataTy, Properties.size()), Properties); 1102d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant* PropertyListInitFields[] = 1103d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian {llvm::ConstantInt::get(IntTy, Properties.size()), NULLPtr, PropertyArray}; 1104d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 1105d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *PropertyListInit = 11060d36dd28bb40b08a93d7f64196794882eee08ee8Nick Lewycky llvm::ConstantStruct::get(VMContext, PropertyListInitFields, 3, false); 1107d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *PropertyList = new llvm::GlobalVariable(TheModule, 1108d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian PropertyListInit->getType(), false, llvm::GlobalValue::InternalLinkage, 1109d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian PropertyListInit, ".objc_property_list"); 1110d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 1111d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *OptionalPropertyArray = 1112d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::ConstantArray::get(llvm::ArrayType::get(PropertyMetadataTy, 1113d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian OptionalProperties.size()) , OptionalProperties); 1114d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant* OptionalPropertyListInitFields[] = { 1115d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::ConstantInt::get(IntTy, OptionalProperties.size()), NULLPtr, 1116d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian OptionalPropertyArray }; 1117d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 1118d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *OptionalPropertyListInit = 11190d36dd28bb40b08a93d7f64196794882eee08ee8Nick Lewycky llvm::ConstantStruct::get(VMContext, OptionalPropertyListInitFields, 3, false); 1120d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *OptionalPropertyList = new llvm::GlobalVariable(TheModule, 1121d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian OptionalPropertyListInit->getType(), false, 1122d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::GlobalValue::InternalLinkage, OptionalPropertyListInit, 1123d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ".objc_property_list"); 1124d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 112520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Protocols are objects containing lists of the methods implemented and 112620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // protocols adopted. 112747a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType *ProtocolTy = llvm::StructType::get(VMContext, IdTy, 112820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, 112920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ProtocolList->getType(), 113020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov InstanceMethodList->getType(), 113120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ClassMethodList->getType(), 1132d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian OptionalInstanceMethodList->getType(), 1133d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian OptionalClassMethodList->getType(), 1134d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian PropertyList->getType(), 1135d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian OptionalPropertyList->getType(), 113620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov NULL); 11371eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump std::vector<llvm::Constant*> Elements; 113820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // The isa pointer must be set to a magic number so the runtime knows it's 113920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // the correct layout. 1140d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian int Version = CGM.getContext().getLangOptions().ObjCNonFragileABI ? 1141d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian NonFragileProtocolVersion : ProtocolVersion; 11423c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson Elements.push_back(llvm::ConstantExpr::getIntToPtr( 1143d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), Version), IdTy)); 114420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(MakeConstantString(ProtocolName, ".objc_protocol_name")); 114520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(ProtocolList); 114620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(InstanceMethodList); 114720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(ClassMethodList); 1148d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(OptionalInstanceMethodList); 1149d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(OptionalClassMethodList); 1150d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(PropertyList); 1151d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(OptionalPropertyList); 11521eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump ExistingProtocols[ProtocolName] = 11533c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson llvm::ConstantExpr::getBitCast(MakeGlobal(ProtocolTy, Elements, 115420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ".objc_protocol"), IdTy); 115520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 1156d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanianvoid CGObjCGNU::GenerateProtocolHolderCategory(void) { 1157d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // Collect information about instance methods 1158d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::SmallVector<Selector, 1> MethodSels; 1159d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::SmallVector<llvm::Constant*, 1> MethodTypes; 1160d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 1161d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::vector<llvm::Constant*> Elements; 1162d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian const std::string ClassName = "__ObjC_Protocol_Holder_Ugly_Hack"; 1163d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian const std::string CategoryName = "AnotherHack"; 1164d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(MakeConstantString(CategoryName)); 1165d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(MakeConstantString(ClassName)); 1166d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // Instance method list 1167d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(llvm::ConstantExpr::getBitCast(GenerateMethodList( 1168d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ClassName, CategoryName, MethodSels, MethodTypes, false), PtrTy)); 1169d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // Class method list 1170d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(llvm::ConstantExpr::getBitCast(GenerateMethodList( 1171d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ClassName, CategoryName, MethodSels, MethodTypes, true), PtrTy)); 1172d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // Protocol list 1173d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::ArrayType *ProtocolArrayTy = llvm::ArrayType::get(PtrTy, 1174d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ExistingProtocols.size()); 1175d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::StructType *ProtocolListTy = llvm::StructType::get(VMContext, 1176d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian PtrTy, //Should be a recurisve pointer, but it's always NULL here. 1177d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian LongTy,//FIXME: Should be size_t 1178d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ProtocolArrayTy, 1179d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian NULL); 1180d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::vector<llvm::Constant*> ProtocolElements; 1181d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian for (llvm::StringMapIterator<llvm::Constant*> iter = 1182d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ExistingProtocols.begin(), endIter = ExistingProtocols.end(); 1183d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian iter != endIter ; iter++) { 1184d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *Ptr = llvm::ConstantExpr::getBitCast(iter->getValue(), 1185d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian PtrTy); 1186d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ProtocolElements.push_back(Ptr); 1187d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } 1188d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant * ProtocolArray = llvm::ConstantArray::get(ProtocolArrayTy, 1189d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ProtocolElements); 1190d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ProtocolElements.clear(); 1191d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ProtocolElements.push_back(NULLPtr); 1192d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ProtocolElements.push_back(llvm::ConstantInt::get(LongTy, 1193d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ExistingProtocols.size())); 1194d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ProtocolElements.push_back(ProtocolArray); 1195d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(llvm::ConstantExpr::getBitCast(MakeGlobal(ProtocolListTy, 1196d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ProtocolElements, ".objc_protocol_list"), PtrTy)); 1197d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Categories.push_back(llvm::ConstantExpr::getBitCast( 1198d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian MakeGlobal(llvm::StructType::get(VMContext, PtrToInt8Ty, PtrToInt8Ty, 1199d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian PtrTy, PtrTy, PtrTy, NULL), Elements), PtrTy)); 1200d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian} 120120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 12027ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbarvoid CGObjCGNU::GenerateCategory(const ObjCCategoryImplDecl *OCD) { 12038ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner std::string ClassName = OCD->getClassInterface()->getNameAsString(); 12048ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner std::string CategoryName = OCD->getNameAsString(); 12057ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Collect information about instance methods 12067ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<Selector, 16> InstanceMethodSels; 12077ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> InstanceMethodTypes; 1208653f1b1bf293a9bd96fd4dd6372e779cc7af1597Douglas Gregor for (ObjCCategoryImplDecl::instmeth_iterator 120917945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis iter = OCD->instmeth_begin(), endIter = OCD->instmeth_end(); 1210653f1b1bf293a9bd96fd4dd6372e779cc7af1597Douglas Gregor iter != endIter ; iter++) { 12117ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar InstanceMethodSels.push_back((*iter)->getSelector()); 12127ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar std::string TypeStr; 12137ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar CGM.getContext().getObjCEncodingForMethodDecl(*iter,TypeStr); 12148a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall InstanceMethodTypes.push_back(MakeConstantString(TypeStr)); 12157ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar } 12167ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 12177ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Collect information about class methods 12187ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<Selector, 16> ClassMethodSels; 12197ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> ClassMethodTypes; 12201eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump for (ObjCCategoryImplDecl::classmeth_iterator 122117945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis iter = OCD->classmeth_begin(), endIter = OCD->classmeth_end(); 1222653f1b1bf293a9bd96fd4dd6372e779cc7af1597Douglas Gregor iter != endIter ; iter++) { 12237ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar ClassMethodSels.push_back((*iter)->getSelector()); 12247ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar std::string TypeStr; 12257ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar CGM.getContext().getObjCEncodingForMethodDecl(*iter,TypeStr); 12268a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall ClassMethodTypes.push_back(MakeConstantString(TypeStr)); 12277ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar } 12287ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 12297ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Collect the names of referenced protocols 12307ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<std::string, 16> Protocols; 1231ad9e06d82ae627e858e5bfe4a7f1f9337b5b0a15David Chisnall const ObjCCategoryDecl *CatDecl = OCD->getCategoryDecl(); 1232ad9e06d82ae627e858e5bfe4a7f1f9337b5b0a15David Chisnall const ObjCList<ObjCProtocolDecl> &Protos = CatDecl->getReferencedProtocols(); 12337ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar for (ObjCList<ObjCProtocolDecl>::iterator I = Protos.begin(), 12347ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar E = Protos.end(); I != E; ++I) 1235d9d22dd9c94618490dbffb0e2caf222530ca39d3Chris Lattner Protocols.push_back((*I)->getNameAsString()); 12367ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 123720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Elements; 123820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(MakeConstantString(CategoryName)); 123920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(MakeConstantString(ClassName)); 12401eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump // Instance method list 12413c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson Elements.push_back(llvm::ConstantExpr::getBitCast(GenerateMethodList( 1242a4210076fc1d7ac0a20b8b4a79e18a8ae33b9c69Chris Lattner ClassName, CategoryName, InstanceMethodSels, InstanceMethodTypes, 124320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov false), PtrTy)); 124420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Class method list 12453c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson Elements.push_back(llvm::ConstantExpr::getBitCast(GenerateMethodList( 1246a4210076fc1d7ac0a20b8b4a79e18a8ae33b9c69Chris Lattner ClassName, CategoryName, ClassMethodSels, ClassMethodTypes, true), 124720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrTy)); 124820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Protocol list 12493c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson Elements.push_back(llvm::ConstantExpr::getBitCast( 125020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov GenerateProtocolList(Protocols), PtrTy)); 12513c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson Categories.push_back(llvm::ConstantExpr::getBitCast( 12521eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump MakeGlobal(llvm::StructType::get(VMContext, PtrToInt8Ty, PtrToInt8Ty, 125347a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson PtrTy, PtrTy, PtrTy, NULL), Elements), PtrTy)); 125420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 12557ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 1256d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanianllvm::Constant *CGObjCGNU::GeneratePropertyList(const ObjCImplementationDecl *OID, 1257d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::SmallVectorImpl<Selector> &InstanceMethodSels, 1258d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::SmallVectorImpl<llvm::Constant*> &InstanceMethodTypes) { 1259d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ASTContext &Context = CGM.getContext(); 1260d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // 1261d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // Property metadata: name, attributes, isSynthesized, setter name, setter 1262d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // types, getter name, getter types. 1263d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::StructType *PropertyMetadataTy = llvm::StructType::get(VMContext, 1264d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian PtrToInt8Ty, Int8Ty, Int8Ty, PtrToInt8Ty, PtrToInt8Ty, PtrToInt8Ty, 1265d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian PtrToInt8Ty, NULL); 1266d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::vector<llvm::Constant*> Properties; 1267d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 1268d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 1269d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // Add all of the property methods need adding to the method list and to the 1270d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // property metadata list. 1271d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian for (ObjCImplDecl::propimpl_iterator 1272d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian iter = OID->propimpl_begin(), endIter = OID->propimpl_end(); 1273d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian iter != endIter ; iter++) { 1274d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::vector<llvm::Constant*> Fields; 1275d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ObjCPropertyDecl *property = (*iter)->getPropertyDecl(); 127642ba04a072c69d84a6660e4498215086662910acDavid Chisnall ObjCPropertyImplDecl *propertyImpl = *iter; 127742ba04a072c69d84a6660e4498215086662910acDavid Chisnall bool isSynthesized = (propertyImpl->getPropertyImplementation() == 127842ba04a072c69d84a6660e4498215086662910acDavid Chisnall ObjCPropertyImplDecl::Synthesize); 1279d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 1280d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(MakeConstantString(property->getNameAsString())); 1281d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(llvm::ConstantInt::get(Int8Ty, 1282d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian property->getPropertyAttributes())); 128342ba04a072c69d84a6660e4498215086662910acDavid Chisnall Fields.push_back(llvm::ConstantInt::get(Int8Ty, isSynthesized)); 1284d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian if (ObjCMethodDecl *getter = property->getGetterMethodDecl()) { 1285d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::string TypeStr; 1286d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Context.getObjCEncodingForMethodDecl(getter,TypeStr); 1287d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *TypeEncoding = MakeConstantString(TypeStr); 128842ba04a072c69d84a6660e4498215086662910acDavid Chisnall if (isSynthesized) { 128942ba04a072c69d84a6660e4498215086662910acDavid Chisnall InstanceMethodTypes.push_back(TypeEncoding); 129042ba04a072c69d84a6660e4498215086662910acDavid Chisnall InstanceMethodSels.push_back(getter->getSelector()); 129142ba04a072c69d84a6660e4498215086662910acDavid Chisnall } 1292d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(MakeConstantString(getter->getSelector().getAsString())); 1293d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(TypeEncoding); 1294d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } else { 1295d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(NULLPtr); 1296d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(NULLPtr); 1297d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } 1298d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian if (ObjCMethodDecl *setter = property->getSetterMethodDecl()) { 1299d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::string TypeStr; 1300d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Context.getObjCEncodingForMethodDecl(setter,TypeStr); 1301d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *TypeEncoding = MakeConstantString(TypeStr); 130242ba04a072c69d84a6660e4498215086662910acDavid Chisnall if (isSynthesized) { 130342ba04a072c69d84a6660e4498215086662910acDavid Chisnall InstanceMethodTypes.push_back(TypeEncoding); 130442ba04a072c69d84a6660e4498215086662910acDavid Chisnall InstanceMethodSels.push_back(setter->getSelector()); 130542ba04a072c69d84a6660e4498215086662910acDavid Chisnall } 1306d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(MakeConstantString(setter->getSelector().getAsString())); 1307d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(TypeEncoding); 1308d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } else { 1309d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(NULLPtr); 1310d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Fields.push_back(NULLPtr); 1311d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } 1312d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Properties.push_back(llvm::ConstantStruct::get(PropertyMetadataTy, Fields)); 1313d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian } 1314d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::ArrayType *PropertyArrayTy = 1315d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::ArrayType::get(PropertyMetadataTy, Properties.size()); 1316d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *PropertyArray = llvm::ConstantArray::get(PropertyArrayTy, 1317d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Properties); 1318d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant* PropertyListInitFields[] = 1319d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian {llvm::ConstantInt::get(IntTy, Properties.size()), NULLPtr, PropertyArray}; 1320d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 1321d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *PropertyListInit = 13220d36dd28bb40b08a93d7f64196794882eee08ee8Nick Lewycky llvm::ConstantStruct::get(VMContext, PropertyListInitFields, 3, false); 1323d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian return new llvm::GlobalVariable(TheModule, PropertyListInit->getType(), false, 1324d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::GlobalValue::InternalLinkage, PropertyListInit, 1325d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ".objc_property_list"); 1326d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian} 1327d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 13287ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbarvoid CGObjCGNU::GenerateClass(const ObjCImplementationDecl *OID) { 13297ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar ASTContext &Context = CGM.getContext(); 13307ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 13317ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Get the superclass name. 13321eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const ObjCInterfaceDecl * SuperClassDecl = 13337ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar OID->getClassInterface()->getSuperClass(); 13348ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner std::string SuperClassName; 13352a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner if (SuperClassDecl) { 13368ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner SuperClassName = SuperClassDecl->getNameAsString(); 13372a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner EmitClassRef(SuperClassName); 13382a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner } 13397ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 13407ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Get the class name 134109dc6660487fc2f4a4bb2032e30123d3e0da7230Chris Lattner ObjCInterfaceDecl *ClassDecl = 134209dc6660487fc2f4a4bb2032e30123d3e0da7230Chris Lattner const_cast<ObjCInterfaceDecl *>(OID->getClassInterface()); 13438ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner std::string ClassName = ClassDecl->getNameAsString(); 13442a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner // Emit the symbol that is used to generate linker errors if this class is 13452a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner // referenced in other modules but not declared. 1346c51db23f58bd887b16cf91554aa86c430a2496e7Fariborz Jahanian std::string classSymbolName = "__objc_class_name_" + ClassName; 13471eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump if (llvm::GlobalVariable *symbol = 1348c51db23f58bd887b16cf91554aa86c430a2496e7Fariborz Jahanian TheModule.getGlobalVariable(classSymbolName)) { 13494a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson symbol->setInitializer(llvm::ConstantInt::get(LongTy, 0)); 1350c51db23f58bd887b16cf91554aa86c430a2496e7Fariborz Jahanian } else { 13511c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson new llvm::GlobalVariable(TheModule, LongTy, false, 13524a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson llvm::GlobalValue::ExternalLinkage, llvm::ConstantInt::get(LongTy, 0), 13531c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson classSymbolName); 1354c51db23f58bd887b16cf91554aa86c430a2496e7Fariborz Jahanian } 13551eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 13562bebbf0acee55404de4b8846713b64429e744e8fDaniel Dunbar // Get the size of instances. 13572bebbf0acee55404de4b8846713b64429e744e8fDaniel Dunbar int instanceSize = Context.getASTObjCImplementationLayout(OID).getSize() / 8; 13587ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 13597ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Collect information about instance variables. 13607ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> IvarNames; 13617ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> IvarTypes; 13627ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> IvarOffsets; 13631eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1364d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian std::vector<llvm::Constant*> IvarOffsetValues; 1365d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 13661eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump int superInstanceSize = !SuperClassDecl ? 0 : 13679cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian Context.getASTObjCInterfaceLayout(SuperClassDecl).getSize() / 8; 13689cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian // For non-fragile ivars, set the instance size to 0 - {the size of just this 13699cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian // class}. The runtime will then set this to the correct value on load. 13709cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian if (CGM.getContext().getLangOptions().ObjCNonFragileABI) { 13719cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian instanceSize = 0 - (instanceSize - superInstanceSize); 13729cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian } 13737f63cb098f2461643f71ea590c1a477603f27f63David Chisnall 13747f63cb098f2461643f71ea590c1a477603f27f63David Chisnall // Collect declared and synthesized ivars. 13757f63cb098f2461643f71ea590c1a477603f27f63David Chisnall llvm::SmallVector<ObjCIvarDecl*, 16> OIvars; 13767f63cb098f2461643f71ea590c1a477603f27f63David Chisnall CGM.getContext().ShallowCollectObjCIvars(ClassDecl, OIvars); 13777f63cb098f2461643f71ea590c1a477603f27f63David Chisnall 13787f63cb098f2461643f71ea590c1a477603f27f63David Chisnall for (unsigned i = 0, e = OIvars.size(); i != e; ++i) { 13797f63cb098f2461643f71ea590c1a477603f27f63David Chisnall ObjCIvarDecl *IVD = OIvars[i]; 13807ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Store the name 13817f63cb098f2461643f71ea590c1a477603f27f63David Chisnall IvarNames.push_back(MakeConstantString(IVD->getNameAsString())); 13827ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Get the type encoding for this ivar 13837ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar std::string TypeStr; 13847f63cb098f2461643f71ea590c1a477603f27f63David Chisnall Context.getObjCEncodingForType(IVD->getType(), TypeStr); 13858a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall IvarTypes.push_back(MakeConstantString(TypeStr)); 13867ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Get the offset 1387d901da531433254210a08e8b1f9e1ad049b340aaDavid Chisnall uint64_t BaseOffset = ComputeIvarBaseOffset(CGM, OID, IVD); 1388aecbf24a6bad049437f8fec97e557d414003a3dbDavid Chisnall uint64_t Offset = BaseOffset; 13899cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian if (CGM.getContext().getLangOptions().ObjCNonFragileABI) { 1390d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Offset = BaseOffset - superInstanceSize; 13919cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian } 13927ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar IvarOffsets.push_back( 13930032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), Offset)); 1394d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian IvarOffsetValues.push_back(new llvm::GlobalVariable(TheModule, IntTy, 1395d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian false, llvm::GlobalValue::ExternalLinkage, 1396d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::ConstantInt::get(IntTy, BaseOffset), 1397d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian "__objc_ivar_offset_value_" + ClassName +"." + 13987f63cb098f2461643f71ea590c1a477603f27f63David Chisnall IVD->getNameAsString())); 13997ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar } 1400d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *IvarOffsetArrayInit = 1401d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::ConstantArray::get(llvm::ArrayType::get(PtrToIntTy, 1402d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian IvarOffsetValues.size()), IvarOffsetValues); 1403d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::GlobalVariable *IvarOffsetArray = new llvm::GlobalVariable(TheModule, 1404d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian IvarOffsetArrayInit->getType(), false, 1405d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::GlobalValue::InternalLinkage, IvarOffsetArrayInit, 1406d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ".ivar.offsets"); 14077ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 14087ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Collect information about instance methods 14097ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<Selector, 16> InstanceMethodSels; 14107ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> InstanceMethodTypes; 14111eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump for (ObjCImplementationDecl::instmeth_iterator 141217945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis iter = OID->instmeth_begin(), endIter = OID->instmeth_end(); 1413653f1b1bf293a9bd96fd4dd6372e779cc7af1597Douglas Gregor iter != endIter ; iter++) { 14147ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar InstanceMethodSels.push_back((*iter)->getSelector()); 14157ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar std::string TypeStr; 14167ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar Context.getObjCEncodingForMethodDecl((*iter),TypeStr); 14178a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall InstanceMethodTypes.push_back(MakeConstantString(TypeStr)); 14187ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar } 1419d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 1420d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian llvm::Constant *Properties = GeneratePropertyList(OID, InstanceMethodSels, 1421d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian InstanceMethodTypes); 1422d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 14237ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 14247ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Collect information about class methods 14257ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<Selector, 16> ClassMethodSels; 14267ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> ClassMethodTypes; 1427653f1b1bf293a9bd96fd4dd6372e779cc7af1597Douglas Gregor for (ObjCImplementationDecl::classmeth_iterator 142817945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis iter = OID->classmeth_begin(), endIter = OID->classmeth_end(); 1429653f1b1bf293a9bd96fd4dd6372e779cc7af1597Douglas Gregor iter != endIter ; iter++) { 14307ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar ClassMethodSels.push_back((*iter)->getSelector()); 14317ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar std::string TypeStr; 14327ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar Context.getObjCEncodingForMethodDecl((*iter),TypeStr); 14338a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall ClassMethodTypes.push_back(MakeConstantString(TypeStr)); 14347ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar } 14357ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Collect the names of referenced protocols 14367ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<std::string, 16> Protocols; 14377ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar const ObjCList<ObjCProtocolDecl> &Protos =ClassDecl->getReferencedProtocols(); 14387ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar for (ObjCList<ObjCProtocolDecl>::iterator I = Protos.begin(), 14397ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar E = Protos.end(); I != E; ++I) 1440d9d22dd9c94618490dbffb0e2caf222530ca39d3Chris Lattner Protocols.push_back((*I)->getNameAsString()); 14417ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 14427ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 14437ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 144420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Get the superclass pointer. 144520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *SuperClass; 14468ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner if (!SuperClassName.empty()) { 144720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov SuperClass = MakeConstantString(SuperClassName, ".super_class_name"); 144820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } else { 144903e205031b08669f05c41eed5b896fc94c4a12bbOwen Anderson SuperClass = llvm::ConstantPointerNull::get(PtrToInt8Ty); 145020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 145120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Empty vector used to construct empty method lists 145220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::SmallVector<llvm::Constant*, 1> empty; 145320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Generate the method and instance variable lists 145420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *MethodList = GenerateMethodList(ClassName, "", 1455a4210076fc1d7ac0a20b8b4a79e18a8ae33b9c69Chris Lattner InstanceMethodSels, InstanceMethodTypes, false); 145620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *ClassMethodList = GenerateMethodList(ClassName, "", 1457a4210076fc1d7ac0a20b8b4a79e18a8ae33b9c69Chris Lattner ClassMethodSels, ClassMethodTypes, true); 145820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *IvarList = GenerateIvarList(IvarNames, IvarTypes, 145920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov IvarOffsets); 14601eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump // Irrespective of whether we are compiling for a fragile or non-fragile ABI, 14618a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // we emit a symbol containing the offset for each ivar in the class. This 14628a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // allows code compiled for the non-Fragile ABI to inherit from code compiled 14638a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // for the legacy ABI, without causing problems. The converse is also 14648a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // possible, but causes all ivar accesses to be fragile. 14658a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall int i = 0; 14668a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // Offset pointer for getting at the correct field in the ivar list when 14678a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // setting up the alias. These are: The base address for the global, the 14688a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // ivar array (second field), the ivar in this list (set for each ivar), and 14698a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // the offset (third field in ivar structure) 14708a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall const llvm::Type *IndexTy = llvm::Type::getInt32Ty(VMContext); 14718a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall llvm::Constant *offsetPointerIndexes[] = {Zeros[0], 14721eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::ConstantInt::get(IndexTy, 1), 0, 14738a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall llvm::ConstantInt::get(IndexTy, 2) }; 14748a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall 14758a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall for (ObjCInterfaceDecl::ivar_iterator iter = ClassDecl->ivar_begin(), 14768a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall endIter = ClassDecl->ivar_end() ; iter != endIter ; iter++) { 14778a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall const std::string Name = "__objc_ivar_offset_" + ClassName + '.' 14788a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall +(*iter)->getNameAsString(); 14798a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall offsetPointerIndexes[2] = llvm::ConstantInt::get(IndexTy, i++); 14808a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // Get the correct ivar field 14818a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall llvm::Constant *offsetValue = llvm::ConstantExpr::getGetElementPtr( 14828a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall IvarList, offsetPointerIndexes, 4); 14838a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // Get the existing alias, if one exists. 14848a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall llvm::GlobalVariable *offset = TheModule.getNamedGlobal(Name); 14858a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall if (offset) { 14868a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall offset->setInitializer(offsetValue); 14878a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // If this is the real definition, change its linkage type so that 14888a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // different modules will use this one, rather than their private 14898a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // copy. 14908a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall offset->setLinkage(llvm::GlobalValue::ExternalLinkage); 14918a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall } else { 14928a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // Add a new alias if there isn't one already. 14938a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall offset = new llvm::GlobalVariable(TheModule, offsetValue->getType(), 14948a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall false, llvm::GlobalValue::ExternalLinkage, offsetValue, Name); 14958a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall } 14968a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall } 149720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov //Generate metaclass for class methods 149820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *MetaClassStruct = GenerateClassStructure(NULLPtr, 14991804463ee790ac3cc73f72597ccb38b983f7d263David Chisnall NULLPtr, 0x12L, ClassName.c_str(), 0, Zeros[0], GenerateIvarList( 15008c757f9ea33dccff4da7810e0c1bda59c19ddc9aDavid Chisnall empty, empty, empty), ClassMethodList, NULLPtr, NULLPtr, NULLPtr, true); 15015efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar 150220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Generate the class structure 15038ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner llvm::Constant *ClassStruct = 1504d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian GenerateClassStructure(MetaClassStruct, SuperClass, 0x11L, 15058ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner ClassName.c_str(), 0, 15064a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson llvm::ConstantInt::get(LongTy, instanceSize), IvarList, 1507d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian MethodList, GenerateProtocolList(Protocols), IvarOffsetArray, 1508d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Properties); 15095efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar 15105efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar // Resolve the class aliases, if they exist. 15115efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar if (ClassPtrAlias) { 15125efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar ClassPtrAlias->setAliasee( 15133c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson llvm::ConstantExpr::getBitCast(ClassStruct, IdTy)); 15145efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar ClassPtrAlias = 0; 15155efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar } 15165efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar if (MetaClassPtrAlias) { 15175efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar MetaClassPtrAlias->setAliasee( 15183c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson llvm::ConstantExpr::getBitCast(MetaClassStruct, IdTy)); 15195efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar MetaClassPtrAlias = 0; 15205efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar } 15215efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar 152220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Add class structure to list to be added to the symtab later 15233c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson ClassStruct = llvm::ConstantExpr::getBitCast(ClassStruct, PtrToInt8Ty); 152420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Classes.push_back(ClassStruct); 152520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 152620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 1527c38e9affd4519ea199af22419c8c794973cc4b23Fariborz Jahanian 15281eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpllvm::Function *CGObjCGNU::ModuleInitFunction() { 152920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Only emit an ObjC load function if no Objective-C stuff has been called 153020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov if (Classes.empty() && Categories.empty() && ConstantStrings.empty() && 153120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ExistingProtocols.empty() && TypedSelectors.empty() && 15325f58b911304f7d114f929d1726a09cd1c828a5ddAnton Korobeynikov UntypedSelectors.empty()) 153320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov return NULL; 15341b8956e1ce4c5770982d6e59edb16979b500677aEli Friedman 1535d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian // Add all referenced protocols to a category. 1536d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian GenerateProtocolHolderCategory(); 1537d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian 1538e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner const llvm::StructType *SelStructTy = dyn_cast<llvm::StructType>( 1539e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner SelectorTy->getElementType()); 1540e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner const llvm::Type *SelStructPtrTy = SelectorTy; 1541e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner bool isSelOpaque = false; 1542e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner if (SelStructTy == 0) { 154347a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson SelStructTy = llvm::StructType::get(VMContext, PtrToInt8Ty, 154447a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson PtrToInt8Ty, NULL); 154596e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson SelStructPtrTy = llvm::PointerType::getUnqual(SelStructTy); 1546e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner isSelOpaque = true; 1547e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner } 1548e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner 15491b8956e1ce4c5770982d6e59edb16979b500677aEli Friedman // Name the ObjC types to make the IR a bit easier to read 1550e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner TheModule.addTypeName(".objc_selector", SelStructPtrTy); 15511b8956e1ce4c5770982d6e59edb16979b500677aEli Friedman TheModule.addTypeName(".objc_id", IdTy); 15521b8956e1ce4c5770982d6e59edb16979b500677aEli Friedman TheModule.addTypeName(".objc_imp", IMPTy); 15531b8956e1ce4c5770982d6e59edb16979b500677aEli Friedman 155420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Elements; 155571238f67c5df13eef19450d66b7a7ab28377192aChris Lattner llvm::Constant *Statics = NULLPtr; 155620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Generate statics list: 155771238f67c5df13eef19450d66b7a7ab28377192aChris Lattner if (ConstantStrings.size()) { 155896e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::ArrayType *StaticsArrayTy = llvm::ArrayType::get(PtrToInt8Ty, 155971238f67c5df13eef19450d66b7a7ab28377192aChris Lattner ConstantStrings.size() + 1); 156071238f67c5df13eef19450d66b7a7ab28377192aChris Lattner ConstantStrings.push_back(NULLPtr); 15618a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall 15621b0969590e712d7d52fc9c0d43d3ab85c36d07a6Daniel Dunbar llvm::StringRef StringClass = CGM.getLangOptions().ObjCConstantStringClass; 15631b0969590e712d7d52fc9c0d43d3ab85c36d07a6Daniel Dunbar if (StringClass.empty()) StringClass = "NXConstantString"; 15648a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall Elements.push_back(MakeConstantString(StringClass, 15658a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall ".objc_static_class_name")); 15667db6d838aad4083fe86d7bf703a75fe6e8a17856Owen Anderson Elements.push_back(llvm::ConstantArray::get(StaticsArrayTy, 156771238f67c5df13eef19450d66b7a7ab28377192aChris Lattner ConstantStrings)); 15681eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::StructType *StaticsListTy = 156947a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType::get(VMContext, PtrToInt8Ty, StaticsArrayTy, NULL); 1570a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::Type *StaticsListPtrTy = 157196e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::PointerType::getUnqual(StaticsListTy); 157271238f67c5df13eef19450d66b7a7ab28377192aChris Lattner Statics = MakeGlobal(StaticsListTy, Elements, ".objc_statics"); 15731eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::ArrayType *StaticsListArrayTy = 157496e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::ArrayType::get(StaticsListPtrTy, 2); 157571238f67c5df13eef19450d66b7a7ab28377192aChris Lattner Elements.clear(); 157671238f67c5df13eef19450d66b7a7ab28377192aChris Lattner Elements.push_back(Statics); 1577c9c88b4159791c48e486ca94e3743b5979e2b7a6Owen Anderson Elements.push_back(llvm::Constant::getNullValue(StaticsListPtrTy)); 157871238f67c5df13eef19450d66b7a7ab28377192aChris Lattner Statics = MakeGlobal(StaticsListArrayTy, Elements, ".objc_statics_ptr"); 15793c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson Statics = llvm::ConstantExpr::getBitCast(Statics, PtrTy); 158071238f67c5df13eef19450d66b7a7ab28377192aChris Lattner } 158120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Array of classes, categories, and constant objects 158296e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::ArrayType *ClassListTy = llvm::ArrayType::get(PtrToInt8Ty, 158320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Classes.size() + Categories.size() + 2); 15841eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::StructType *SymTabTy = llvm::StructType::get(VMContext, 158547a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson LongTy, SelStructPtrTy, 15860032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::Type::getInt16Ty(VMContext), 15870032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::Type::getInt16Ty(VMContext), 1588630404b16e886238ed68a1abbfe2e548f43aa664Chris Lattner ClassListTy, NULL); 158920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 159020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 159120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Pointer to an array of selectors used in this module. 159220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Selectors; 159320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov for (std::map<TypedSelector, llvm::GlobalAlias*>::iterator 159420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov iter = TypedSelectors.begin(), iterEnd = TypedSelectors.end(); 159520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov iter != iterEnd ; ++iter) { 1596d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian Elements.push_back(ExportUniqueString(iter->first.first, ".objc_sel_name")); 1597a7c5b0832cc78efa899463b8faa573a1473d53d2David Chisnall Elements.push_back(MakeConstantString(iter->first.second, 1598630404b16e886238ed68a1abbfe2e548f43aa664Chris Lattner ".objc_sel_types")); 159908e252425ca2cbdc44ba65d9a657ed5398014e36Owen Anderson Selectors.push_back(llvm::ConstantStruct::get(SelStructTy, Elements)); 160020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 160120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 160220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov for (llvm::StringMap<llvm::GlobalAlias*>::iterator 160320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov iter = UntypedSelectors.begin(), iterEnd = UntypedSelectors.end(); 1604630404b16e886238ed68a1abbfe2e548f43aa664Chris Lattner iter != iterEnd; ++iter) { 160520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back( 1606d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian ExportUniqueString(iter->getKeyData(), ".objc_sel_name")); 160720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(NULLPtr); 160808e252425ca2cbdc44ba65d9a657ed5398014e36Owen Anderson Selectors.push_back(llvm::ConstantStruct::get(SelStructTy, Elements)); 160920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 161020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 161120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(NULLPtr); 161220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(NULLPtr); 161308e252425ca2cbdc44ba65d9a657ed5398014e36Owen Anderson Selectors.push_back(llvm::ConstantStruct::get(SelStructTy, Elements)); 161420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 161520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Number of static selectors 16164a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson Elements.push_back(llvm::ConstantInt::get(LongTy, Selectors.size() )); 161720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *SelectorList = MakeGlobal( 161896e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::ArrayType::get(SelStructTy, Selectors.size()), Selectors, 161920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ".objc_selector_list"); 16201eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Elements.push_back(llvm::ConstantExpr::getBitCast(SelectorList, 1621e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner SelStructPtrTy)); 162220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 162320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Now that all of the static selectors exist, create pointers to them. 162420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov int index = 0; 162520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov for (std::map<TypedSelector, llvm::GlobalAlias*>::iterator 162620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov iter=TypedSelectors.begin(), iterEnd =TypedSelectors.end(); 162720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov iter != iterEnd; ++iter) { 162820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *Idxs[] = {Zeros[0], 16290032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), index++), Zeros[0]}; 16306d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar llvm::Constant *SelPtr = new llvm::GlobalVariable(TheModule, SelStructPtrTy, 16316d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar true, llvm::GlobalValue::InternalLinkage, 16326d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar llvm::ConstantExpr::getGetElementPtr(SelectorList, Idxs, 2), 16336d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar ".objc_sel_ptr"); 1634e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner // If selectors are defined as an opaque type, cast the pointer to this 1635e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner // type. 1636e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner if (isSelOpaque) { 16376d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar SelPtr = llvm::ConstantExpr::getBitCast(SelPtr, 16386d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar llvm::PointerType::getUnqual(SelectorTy)); 1639e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner } 16406d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar (*iter).second->setAliasee(SelPtr); 164120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 164220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov for (llvm::StringMap<llvm::GlobalAlias*>::iterator 164320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov iter=UntypedSelectors.begin(), iterEnd = UntypedSelectors.end(); 164420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov iter != iterEnd; iter++) { 164520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *Idxs[] = {Zeros[0], 16460032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), index++), Zeros[0]}; 16476d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar llvm::Constant *SelPtr = new llvm::GlobalVariable 16486d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar (TheModule, SelStructPtrTy, 16496d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar true, llvm::GlobalValue::InternalLinkage, 16506d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar llvm::ConstantExpr::getGetElementPtr(SelectorList, Idxs, 2), 16516d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar ".objc_sel_ptr"); 1652e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner // If selectors are defined as an opaque type, cast the pointer to this 1653e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner // type. 1654e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner if (isSelOpaque) { 16556d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar SelPtr = llvm::ConstantExpr::getBitCast(SelPtr, 16566d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar llvm::PointerType::getUnqual(SelectorTy)); 1657e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner } 16586d5a1c28593443f3973ef38f8fa042d59182412dDaniel Dunbar (*iter).second->setAliasee(SelPtr); 165920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 166020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Number of classes defined. 16611eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Elements.push_back(llvm::ConstantInt::get(llvm::Type::getInt16Ty(VMContext), 166220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Classes.size())); 166320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Number of categories defined 16641eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Elements.push_back(llvm::ConstantInt::get(llvm::Type::getInt16Ty(VMContext), 166520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Categories.size())); 166620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Create an array of classes, then categories, then static object instances 166720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Classes.insert(Classes.end(), Categories.begin(), Categories.end()); 166820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // NULL-terminated list of static object instances (mainly constant strings) 166920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Classes.push_back(Statics); 167020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Classes.push_back(NULLPtr); 16717db6d838aad4083fe86d7bf703a75fe6e8a17856Owen Anderson llvm::Constant *ClassList = llvm::ConstantArray::get(ClassListTy, Classes); 167220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(ClassList); 16731eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump // Construct the symbol table 167420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *SymTab= MakeGlobal(SymTabTy, Elements); 167520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 167620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // The symbol table is contained in a module which has some version-checking 167720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // constants 167847a434ff3d49e7906eda88e8e8242e4297725b32Owen Anderson llvm::StructType * ModuleTy = llvm::StructType::get(VMContext, LongTy, LongTy, 167996e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson PtrToInt8Ty, llvm::PointerType::getUnqual(SymTabTy), NULL); 168020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 168120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Runtime version used for compatibility checking. 16829cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian if (CGM.getContext().getLangOptions().ObjCNonFragileABI) { 16831eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Elements.push_back(llvm::ConstantInt::get(LongTy, 1684d9a1db3a4ded1c8f0daa43c0d6167576e2766453Fariborz Jahanian NonFragileRuntimeVersion)); 16859cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian } else { 16864a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson Elements.push_back(llvm::ConstantInt::get(LongTy, RuntimeVersion)); 16879cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian } 168891a0b51438e5259a79d68d7450c453827beed9e2Fariborz Jahanian // sizeof(ModuleTy) 168974a8bbf0654fbbf37be04b240b5bbe591f37f242Benjamin Kramer llvm::TargetData td(&TheModule); 16904a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson Elements.push_back(llvm::ConstantInt::get(LongTy, 1691a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson td.getTypeSizeInBits(ModuleTy)/8)); 169220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov //FIXME: Should be the path to the file where this module was declared 169320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(NULLPtr); 169420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(SymTab); 169520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Value *Module = MakeGlobal(ModuleTy, Elements); 169620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 169720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Create the load function calling the runtime entry point with the module 169820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // structure 169920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Function * LoadFunction = llvm::Function::Create( 17000032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::FunctionType::get(llvm::Type::getVoidTy(VMContext), false), 170120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::GlobalValue::InternalLinkage, ".objc_load_function", 170220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov &TheModule); 17030032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::BasicBlock *EntryBB = 17040032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::BasicBlock::Create(VMContext, "entry", LoadFunction); 1705a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson CGBuilderTy Builder(VMContext); 170620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Builder.SetInsertPoint(EntryBB); 170726c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian 170826c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian std::vector<const llvm::Type*> Params(1, 170996e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::PointerType::getUnqual(ModuleTy)); 171096e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::Value *Register = CGM.CreateRuntimeFunction(llvm::FunctionType::get( 17110032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::Type::getVoidTy(VMContext), Params, true), "__objc_exec_class"); 171220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Builder.CreateCall(Register, Module); 171320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Builder.CreateRetVoid(); 17149cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian 171520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov return LoadFunction; 171620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 17177ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 1718679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanianllvm::Function *CGObjCGNU::GenerateMethod(const ObjCMethodDecl *OMD, 17191eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const ObjCContainerDecl *CD) { 17201eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const ObjCCategoryImplDecl *OCD = 17213e0a540b6d846178857289ec0eb8470a278d11a3Steve Naroff dyn_cast<ObjCCategoryImplDecl>(OMD->getDeclContext()); 1722077bf5e2f48acfa9e7d69429b6e4ba86ea14896dChris Lattner std::string CategoryName = OCD ? OCD->getNameAsString() : ""; 17234c8c8e93ca3b63de4d30f4a460b50fe63fd6bd3bDavid Chisnall std::string ClassName = CD->getName(); 1724077bf5e2f48acfa9e7d69429b6e4ba86ea14896dChris Lattner std::string MethodName = OMD->getSelector().getAsString(); 1725f8d49f64ef6ab7e632717a31631fc289aab69428Douglas Gregor bool isClassMethod = !OMD->isInstanceMethod(); 1726391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner 1727541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar CodeGenTypes &Types = CGM.getTypes(); 17281eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const llvm::FunctionType *MethodTy = 1729541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar Types.GetFunctionType(Types.getFunctionInfo(OMD), OMD->isVariadic()); 173020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::string FunctionName = SymbolNameForMethod(ClassName, CategoryName, 173120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov MethodName, isClassMethod); 173220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 1733d6c93d703541c992e06eb9a59a2d826a30da65b2Daniel Dunbar llvm::Function *Method 17341eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump = llvm::Function::Create(MethodTy, 17351eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::GlobalValue::InternalLinkage, 17361eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump FunctionName, 17371eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump &TheModule); 1738391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner return Method; 1739391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner} 1740391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner 174149f6602707887eea1a558a1dffe0213102f887f2Daniel Dunbarllvm::Function *CGObjCGNU::GetPropertyGetFunction() { 17421eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump std::vector<const llvm::Type*> Params; 17431eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const llvm::Type *BoolTy = 17441eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump CGM.getTypes().ConvertType(CGM.getContext().BoolTy); 17451eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Params.push_back(IdTy); 17461eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Params.push_back(SelectorTy); 17477f63cb098f2461643f71ea590c1a477603f27f63David Chisnall Params.push_back(IntTy); 17481eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Params.push_back(BoolTy); 17497f63cb098f2461643f71ea590c1a477603f27f63David Chisnall // void objc_getProperty (id, SEL, int, bool) 17501eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const llvm::FunctionType *FTy = 17511eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::FunctionType::get(IdTy, Params, false); 17521eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump return cast<llvm::Function>(CGM.CreateRuntimeFunction(FTy, 17531eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump "objc_getProperty")); 175449f6602707887eea1a558a1dffe0213102f887f2Daniel Dunbar} 175549f6602707887eea1a558a1dffe0213102f887f2Daniel Dunbar 175649f6602707887eea1a558a1dffe0213102f887f2Daniel Dunbarllvm::Function *CGObjCGNU::GetPropertySetFunction() { 17571eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump std::vector<const llvm::Type*> Params; 17581eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const llvm::Type *BoolTy = 17591eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump CGM.getTypes().ConvertType(CGM.getContext().BoolTy); 17601eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Params.push_back(IdTy); 17611eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Params.push_back(SelectorTy); 17627f63cb098f2461643f71ea590c1a477603f27f63David Chisnall Params.push_back(IntTy); 17631eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Params.push_back(IdTy); 17641eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Params.push_back(BoolTy); 17651eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Params.push_back(BoolTy); 17667f63cb098f2461643f71ea590c1a477603f27f63David Chisnall // void objc_setProperty (id, SEL, int, id, bool, bool) 17671eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const llvm::FunctionType *FTy = 17681eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::FunctionType::get(llvm::Type::getVoidTy(VMContext), Params, false); 17691eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump return cast<llvm::Function>(CGM.CreateRuntimeFunction(FTy, 17701eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump "objc_setProperty")); 177149f6602707887eea1a558a1dffe0213102f887f2Daniel Dunbar} 177249f6602707887eea1a558a1dffe0213102f887f2Daniel Dunbar 17736cc590602f41c3e98e8af0023d54296c8eca7910Fariborz Jahanian// FIXME. Implement this. 17746cc590602f41c3e98e8af0023d54296c8eca7910Fariborz Jahanianllvm::Function *CGObjCGNU::GetCopyStructFunction() { 17756cc590602f41c3e98e8af0023d54296c8eca7910Fariborz Jahanian return 0; 17766cc590602f41c3e98e8af0023d54296c8eca7910Fariborz Jahanian} 17776cc590602f41c3e98e8af0023d54296c8eca7910Fariborz Jahanian 1778309a4368cd299cff30ab22709e2b772cf8059e45Daniel Dunbarllvm::Constant *CGObjCGNU::EnumerationMutationFunction() { 1779309a4368cd299cff30ab22709e2b772cf8059e45Daniel Dunbar CodeGen::CodeGenTypes &Types = CGM.getTypes(); 1780309a4368cd299cff30ab22709e2b772cf8059e45Daniel Dunbar ASTContext &Ctx = CGM.getContext(); 1781309a4368cd299cff30ab22709e2b772cf8059e45Daniel Dunbar // void objc_enumerationMutation (id) 1782ead608af31b6c9abeae1ca6d0b75094dac4641c0John McCall llvm::SmallVector<CanQualType,1> Params; 17830f436560640a1cff5b6d96f80f540770f139453fDavid Chisnall Params.push_back(ASTIdTy); 1784309a4368cd299cff30ab22709e2b772cf8059e45Daniel Dunbar const llvm::FunctionType *FTy = 178504a67a6aa3dfdc92d57f7f8d93ba397348c868a4John McCall Types.GetFunctionType(Types.getFunctionInfo(Ctx.VoidTy, Params, 1786264ba48dc98f3f843935a485d5b086f7e0fdc4f1Rafael Espindola FunctionType::ExtInfo()), false); 1787309a4368cd299cff30ab22709e2b772cf8059e45Daniel Dunbar return CGM.CreateRuntimeFunction(FTy, "objc_enumerationMutation"); 17882abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson} 17892abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 1790bd71be4683c195260d5245118b1e13e6b2e20504Fariborz Jahanianvoid CGObjCGNU::EmitTryOrSynchronizedStmt(CodeGen::CodeGenFunction &CGF, 1791bd71be4683c195260d5245118b1e13e6b2e20504Fariborz Jahanian const Stmt &S) { 17925dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Pointer to the personality function 17935dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::Constant *Personality = 17940032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson CGM.CreateRuntimeFunction(llvm::FunctionType::get(llvm::Type::getInt32Ty(VMContext), 1795b59761b2530bf54926bf67de11956f3820ac38d9Chris Lattner true), 17965dc0867af17b3bd6f567897433853b2b4767446cChris Lattner "__gnu_objc_personality_v0"); 17973c4972def972f8ca44dcd0561779a12aaa6fec97Owen Anderson Personality = llvm::ConstantExpr::getBitCast(Personality, PtrTy); 17985dc0867af17b3bd6f567897433853b2b4767446cChris Lattner std::vector<const llvm::Type*> Params; 17995dc0867af17b3bd6f567897433853b2b4767446cChris Lattner Params.push_back(PtrTy); 18005dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::Value *RethrowFn = 18010032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson CGM.CreateRuntimeFunction(llvm::FunctionType::get(llvm::Type::getVoidTy(VMContext), 180290665bd87f4ef7c230742e038cd0bad68e40fc78David Chisnall Params, false), "_Unwind_Resume"); 18035dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18045dc0867af17b3bd6f567897433853b2b4767446cChris Lattner bool isTry = isa<ObjCAtTryStmt>(S); 18055dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *TryBlock = CGF.createBasicBlock("try"); 18065dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *PrevLandingPad = CGF.getInvokeDest(); 18075dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *TryHandler = CGF.createBasicBlock("try.handler"); 1808d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner llvm::BasicBlock *CatchInCatch = CGF.createBasicBlock("catch.rethrow"); 18095dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *FinallyBlock = CGF.createBasicBlock("finally"); 18105dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *FinallyRethrow = CGF.createBasicBlock("finally.throw"); 18115dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *FinallyEnd = CGF.createBasicBlock("finally.end"); 18125dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18130faa51632584b8d56311d5792a2a275729bc67e3David Chisnall // @synchronized() 18145dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (!isTry) { 1815d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner std::vector<const llvm::Type*> Args(1, IdTy); 1816d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner llvm::FunctionType *FTy = 18170032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::FunctionType::get(llvm::Type::getVoidTy(VMContext), Args, false); 1818d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner llvm::Value *SyncEnter = CGM.CreateRuntimeFunction(FTy, "objc_sync_enter"); 18191eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *SyncArg = 1820d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.EmitScalarExpr(cast<ObjCAtSynchronizedStmt>(S).getSynchExpr()); 1821d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner SyncArg = CGF.Builder.CreateBitCast(SyncArg, IdTy); 1822d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.Builder.CreateCall(SyncEnter, SyncArg); 18235dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 18245dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 1825d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner 18265dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Push an EH context entry, used for handling rethrows and jumps 18275dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // through finally. 18285dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.PushCleanupBlock(FinallyBlock); 18295dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18305dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Emit the statements in the @try {} block 18315dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.setInvokeDest(TryHandler); 18325dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18335dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBlock(TryBlock); 18341eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump CGF.EmitStmt(isTry ? cast<ObjCAtTryStmt>(S).getTryBody() 18355dc0867af17b3bd6f567897433853b2b4767446cChris Lattner : cast<ObjCAtSynchronizedStmt>(S).getSynchBody()); 18365dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18375dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Jump to @finally if there is no exception 18385dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBranchThroughCleanup(FinallyEnd); 18395dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18405dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Emit the handlers 18415dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBlock(TryHandler); 18425dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 1843bb422ad4f449cd195a141309a886ff467baac5b2Chris Lattner // Get the correct versions of the exception handling intrinsics 18441eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *llvm_eh_exception = 18455dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.CGM.getIntrinsic(llvm::Intrinsic::eh_exception); 1846790b20ed2cec72b4a79d1829ffc2c0339acbdec3Duncan Sands llvm::Value *llvm_eh_selector = 1847790b20ed2cec72b4a79d1829ffc2c0339acbdec3Duncan Sands CGF.CGM.getIntrinsic(llvm::Intrinsic::eh_selector); 1848790b20ed2cec72b4a79d1829ffc2c0339acbdec3Duncan Sands llvm::Value *llvm_eh_typeid_for = 1849790b20ed2cec72b4a79d1829ffc2c0339acbdec3Duncan Sands CGF.CGM.getIntrinsic(llvm::Intrinsic::eh_typeid_for); 18505dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18515dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Exception object 18525dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::Value *Exc = CGF.Builder.CreateCall(llvm_eh_exception, "exc"); 18535dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::Value *RethrowPtr = CGF.CreateTempAlloca(Exc->getType(), "_rethrow"); 18545dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18555dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::SmallVector<llvm::Value*, 8> ESelArgs; 1856c00d8e18ad3d903acfeb5d05163ce90713066a3fDouglas Gregor llvm::SmallVector<std::pair<const VarDecl*, const Stmt*>, 8> Handlers; 18575dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18585dc0867af17b3bd6f567897433853b2b4767446cChris Lattner ESelArgs.push_back(Exc); 18595dc0867af17b3bd6f567897433853b2b4767446cChris Lattner ESelArgs.push_back(Personality); 18605dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18615dc0867af17b3bd6f567897433853b2b4767446cChris Lattner bool HasCatchAll = false; 18625dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Only @try blocks are allowed @catch blocks, but both can have @finally 18635dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (isTry) { 18648f5e3dd32e443768d9dbbad7191e123e6733750cDouglas Gregor if (cast<ObjCAtTryStmt>(S).getNumCatchStmts()) { 18658f5e3dd32e443768d9dbbad7191e123e6733750cDouglas Gregor const ObjCAtTryStmt &AtTry = cast<ObjCAtTryStmt>(S); 1866d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.setInvokeDest(CatchInCatch); 18675dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18688f5e3dd32e443768d9dbbad7191e123e6733750cDouglas Gregor for (unsigned I = 0, N = AtTry.getNumCatchStmts(); I != N; ++I) { 18698f5e3dd32e443768d9dbbad7191e123e6733750cDouglas Gregor const ObjCAtCatchStmt *CatchStmt = AtTry.getCatchStmt(I); 1870c00d8e18ad3d903acfeb5d05163ce90713066a3fDouglas Gregor const VarDecl *CatchDecl = CatchStmt->getCatchParamDecl(); 1871bb1c8600218b3244340331165fc7cba7bf227655Mike Stump Handlers.push_back(std::make_pair(CatchDecl, 1872bb1c8600218b3244340331165fc7cba7bf227655Mike Stump CatchStmt->getCatchBody())); 18735dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18745dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // @catch() and @catch(id) both catch any ObjC exception 187514108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff if (!CatchDecl || CatchDecl->getType()->isObjCIdType() 18765dc0867af17b3bd6f567897433853b2b4767446cChris Lattner || CatchDecl->getType()->isObjCQualifiedIdType()) { 18775dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Use i8* null here to signal this is a catch all, not a cleanup. 18785dc0867af17b3bd6f567897433853b2b4767446cChris Lattner ESelArgs.push_back(NULLPtr); 18795dc0867af17b3bd6f567897433853b2b4767446cChris Lattner HasCatchAll = true; 18805dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // No further catches after this one will ever by reached 18815dc0867af17b3bd6f567897433853b2b4767446cChris Lattner break; 18821eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump } 18835dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18845dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // All other types should be Objective-C interface pointer types. 18851eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const ObjCObjectPointerType *OPT = 1886183700f494ec9b6701b6efe82bcb25f4c79ba561John McCall CatchDecl->getType()->getAs<ObjCObjectPointerType>(); 188714108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff assert(OPT && "Invalid @catch type."); 18881eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const ObjCInterfaceType *IT = 1889183700f494ec9b6701b6efe82bcb25f4c79ba561John McCall OPT->getPointeeType()->getAs<ObjCInterfaceType>(); 18905dc0867af17b3bd6f567897433853b2b4767446cChris Lattner assert(IT && "Invalid @catch type."); 1891bb422ad4f449cd195a141309a886ff467baac5b2Chris Lattner llvm::Value *EHType = 1892bb422ad4f449cd195a141309a886ff467baac5b2Chris Lattner MakeConstantString(IT->getDecl()->getNameAsString()); 18935dc0867af17b3bd6f567897433853b2b4767446cChris Lattner ESelArgs.push_back(EHType); 18945dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 18955dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 18965dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 18975dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 18985dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // We use a cleanup unless there was already a catch all. 18995dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (!HasCatchAll) { 19000032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson ESelArgs.push_back(llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), 0)); 19015dc0867af17b3bd6f567897433853b2b4767446cChris Lattner Handlers.push_back(std::make_pair((const ParmVarDecl*) 0, (const Stmt*) 0)); 19025dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 19035dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 19045dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Find which handler was matched. 1905bb422ad4f449cd195a141309a886ff467baac5b2Chris Lattner llvm::Value *ESelector = CGF.Builder.CreateCall(llvm_eh_selector, 19065dc0867af17b3bd6f567897433853b2b4767446cChris Lattner ESelArgs.begin(), ESelArgs.end(), "selector"); 19075dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 19085dc0867af17b3bd6f567897433853b2b4767446cChris Lattner for (unsigned i = 0, e = Handlers.size(); i != e; ++i) { 1909c00d8e18ad3d903acfeb5d05163ce90713066a3fDouglas Gregor const VarDecl *CatchParam = Handlers[i].first; 19105dc0867af17b3bd6f567897433853b2b4767446cChris Lattner const Stmt *CatchBody = Handlers[i].second; 19115dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 19125dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *Next = 0; 19135dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 19145dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // The last handler always matches. 19155dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (i + 1 != e) { 19165dc0867af17b3bd6f567897433853b2b4767446cChris Lattner assert(CatchParam && "Only last handler can be a catch all."); 19175dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 19185dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Test whether this block matches the type for the selector and branch 19195dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // to Match if it does, or to the next BB if it doesn't. 19205dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *Match = CGF.createBasicBlock("match"); 19215dc0867af17b3bd6f567897433853b2b4767446cChris Lattner Next = CGF.createBasicBlock("catch.next"); 1922bb422ad4f449cd195a141309a886ff467baac5b2Chris Lattner llvm::Value *Id = CGF.Builder.CreateCall(llvm_eh_typeid_for, 19235dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.Builder.CreateBitCast(ESelArgs[i+2], PtrTy)); 19245dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.Builder.CreateCondBr(CGF.Builder.CreateICmpEQ(ESelector, Id), Match, 19255dc0867af17b3bd6f567897433853b2b4767446cChris Lattner Next); 19265dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 19275dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBlock(Match); 19285dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 19291eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 19305dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (CatchBody) { 19315dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::Value *ExcObject = CGF.Builder.CreateBitCast(Exc, 19325dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.ConvertType(CatchParam->getType())); 19331eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 19345dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Bind the catch parameter if it exists. 19355dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (CatchParam) { 19365dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // CatchParam is a ParmVarDecl because of the grammar 19375dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // construction used to handle this, but for codegen purposes 19385dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // we treat this as a local decl. 19395dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitLocalBlockVarDecl(*CatchParam); 19405dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.Builder.CreateStore(ExcObject, CGF.GetAddrOfLocalVar(CatchParam)); 19415dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 19425dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 19435dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.ObjCEHValueStack.push_back(ExcObject); 19445dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitStmt(CatchBody); 19455dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.ObjCEHValueStack.pop_back(); 19465dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 19475dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBranchThroughCleanup(FinallyEnd); 19485dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 19495dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (Next) 19505dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBlock(Next); 19515dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } else { 19525dc0867af17b3bd6f567897433853b2b4767446cChris Lattner assert(!Next && "catchup should be last handler."); 19535dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 19545dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.Builder.CreateStore(Exc, RethrowPtr); 19555dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBranchThroughCleanup(FinallyRethrow); 19565dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 19575dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 1958d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner // The @finally block is a secondary landing pad for any exceptions thrown in 1959d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner // @catch() blocks 1960d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.EmitBlock(CatchInCatch); 1961d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner Exc = CGF.Builder.CreateCall(llvm_eh_exception, "exc"); 1962d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner ESelArgs.clear(); 1963d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner ESelArgs.push_back(Exc); 1964d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner ESelArgs.push_back(Personality); 19650faa51632584b8d56311d5792a2a275729bc67e3David Chisnall // If there is a @catch or @finally clause in outside of this one then we 19660faa51632584b8d56311d5792a2a275729bc67e3David Chisnall // need to make sure that we catch and rethrow it. 19670faa51632584b8d56311d5792a2a275729bc67e3David Chisnall if (PrevLandingPad) { 19680faa51632584b8d56311d5792a2a275729bc67e3David Chisnall ESelArgs.push_back(NULLPtr); 19690faa51632584b8d56311d5792a2a275729bc67e3David Chisnall } else { 19700faa51632584b8d56311d5792a2a275729bc67e3David Chisnall ESelArgs.push_back(llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), 0)); 19710faa51632584b8d56311d5792a2a275729bc67e3David Chisnall } 1972d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.Builder.CreateCall(llvm_eh_selector, ESelArgs.begin(), ESelArgs.end(), 1973d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner "selector"); 1974d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.Builder.CreateCall(llvm_eh_typeid_for, 1975d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.Builder.CreateIntToPtr(ESelArgs[2], PtrTy)); 1976d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.Builder.CreateStore(Exc, RethrowPtr); 1977d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.EmitBranchThroughCleanup(FinallyRethrow); 1978d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner 19795dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CodeGenFunction::CleanupBlockInfo Info = CGF.PopCleanupBlock(); 19805dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 19815dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.setInvokeDest(PrevLandingPad); 19825dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 19835dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBlock(FinallyBlock); 19845dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 1985d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner 19865dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (isTry) { 19871eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump if (const ObjCAtFinallyStmt* FinallyStmt = 19885dc0867af17b3bd6f567897433853b2b4767446cChris Lattner cast<ObjCAtTryStmt>(S).getFinallyStmt()) 19895dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitStmt(FinallyStmt->getFinallyBody()); 19905dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } else { 1991d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner // Emit 'objc_sync_exit(expr)' as finally's sole statement for 19925dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // @synchronized. 1993d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner std::vector<const llvm::Type*> Args(1, IdTy); 1994d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner llvm::FunctionType *FTy = 19950032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::FunctionType::get(llvm::Type::getVoidTy(VMContext), Args, false); 1996d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner llvm::Value *SyncExit = CGM.CreateRuntimeFunction(FTy, "objc_sync_exit"); 19971eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *SyncArg = 1998d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.EmitScalarExpr(cast<ObjCAtSynchronizedStmt>(S).getSynchExpr()); 1999d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner SyncArg = CGF.Builder.CreateBitCast(SyncArg, IdTy); 2000d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.Builder.CreateCall(SyncExit, SyncArg); 20015dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 20025dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 20035dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (Info.SwitchBlock) 20045dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBlock(Info.SwitchBlock); 20055dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (Info.EndBlock) 20065dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBlock(Info.EndBlock); 20075dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 20085dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Branch around the rethrow code. 20095dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBranch(FinallyEnd); 20105dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 20115dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBlock(FinallyRethrow); 20121eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 20130faa51632584b8d56311d5792a2a275729bc67e3David Chisnall llvm::Value *ExceptionObject = CGF.Builder.CreateLoad(RethrowPtr); 20140faa51632584b8d56311d5792a2a275729bc67e3David Chisnall llvm::BasicBlock *UnwindBB = CGF.getInvokeDest(); 20150faa51632584b8d56311d5792a2a275729bc67e3David Chisnall if (!UnwindBB) { 20160faa51632584b8d56311d5792a2a275729bc67e3David Chisnall CGF.Builder.CreateCall(RethrowFn, ExceptionObject); 20170faa51632584b8d56311d5792a2a275729bc67e3David Chisnall // Exception always thrown, next instruction is never reached. 20180faa51632584b8d56311d5792a2a275729bc67e3David Chisnall CGF.Builder.CreateUnreachable(); 20190faa51632584b8d56311d5792a2a275729bc67e3David Chisnall } else { 20200faa51632584b8d56311d5792a2a275729bc67e3David Chisnall // If there is a @catch block outside this scope, we invoke instead of 20210faa51632584b8d56311d5792a2a275729bc67e3David Chisnall // calling because we may return to this function. This is very slow, but 20220faa51632584b8d56311d5792a2a275729bc67e3David Chisnall // some people still do it. It would be nice to add an optimised path for 20230faa51632584b8d56311d5792a2a275729bc67e3David Chisnall // this. 20240faa51632584b8d56311d5792a2a275729bc67e3David Chisnall CGF.Builder.CreateInvoke(RethrowFn, UnwindBB, UnwindBB, &ExceptionObject, 20250faa51632584b8d56311d5792a2a275729bc67e3David Chisnall &ExceptionObject+1); 20260faa51632584b8d56311d5792a2a275729bc67e3David Chisnall } 20275dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 20280faa51632584b8d56311d5792a2a275729bc67e3David Chisnall CGF.EmitBlock(FinallyEnd); 202964d5d6c5903157c521af496479d06dc26032d718Anders Carlsson} 203064d5d6c5903157c521af496479d06dc26032d718Anders Carlsson 203164d5d6c5903157c521af496479d06dc26032d718Anders Carlssonvoid CGObjCGNU::EmitThrowStmt(CodeGen::CodeGenFunction &CGF, 203249f6602707887eea1a558a1dffe0213102f887f2Daniel Dunbar const ObjCAtThrowStmt &S) { 20335dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::Value *ExceptionAsObject; 20345dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 20355dc0867af17b3bd6f567897433853b2b4767446cChris Lattner std::vector<const llvm::Type*> Args(1, IdTy); 20365dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::FunctionType *FTy = 20370032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::FunctionType::get(llvm::Type::getVoidTy(VMContext), Args, false); 20381eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *ThrowFn = 20395dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGM.CreateRuntimeFunction(FTy, "objc_exception_throw"); 20401eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 20415dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (const Expr *ThrowExpr = S.getThrowExpr()) { 20425dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::Value *Exception = CGF.EmitScalarExpr(ThrowExpr); 20431e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian ExceptionAsObject = Exception; 20445dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } else { 20451eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump assert((!CGF.ObjCEHValueStack.empty() && CGF.ObjCEHValueStack.back()) && 20465dc0867af17b3bd6f567897433853b2b4767446cChris Lattner "Unexpected rethrow outside @catch block."); 20475dc0867af17b3bd6f567897433853b2b4767446cChris Lattner ExceptionAsObject = CGF.ObjCEHValueStack.back(); 20485dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 20491e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian ExceptionAsObject = 20501e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian CGF.Builder.CreateBitCast(ExceptionAsObject, IdTy, "tmp"); 20511eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 20525dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Note: This may have to be an invoke, if we want to support constructs like: 20535dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // @try { 20545dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // @throw(obj); 20555dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // } 20565dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // @catch(id) ... 20575dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // 20585dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // This is effectively turning @throw into an incredibly-expensive goto, but 20595dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // it may happen as a result of inlining followed by missed optimizations, or 20605dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // as a result of stupidity. 20615dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *UnwindBB = CGF.getInvokeDest(); 20625dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (!UnwindBB) { 20635dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.Builder.CreateCall(ThrowFn, ExceptionAsObject); 20645dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.Builder.CreateUnreachable(); 20655dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } else { 20665dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.Builder.CreateInvoke(ThrowFn, UnwindBB, UnwindBB, &ExceptionAsObject, 20675dc0867af17b3bd6f567897433853b2b4767446cChris Lattner &ExceptionAsObject+1); 20685dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 20695dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Clear the insertion point to indicate we are in unreachable code. 20705dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.Builder.ClearInsertionPoint(); 207164d5d6c5903157c521af496479d06dc26032d718Anders Carlsson} 207264d5d6c5903157c521af496479d06dc26032d718Anders Carlsson 20733e283e344595e0bd499b13b30a92b7d9c10a2140Fariborz Jahanianllvm::Value * CGObjCGNU::EmitObjCWeakRead(CodeGen::CodeGenFunction &CGF, 20741eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *AddrWeakObj) { 2075ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall CGBuilderTy B = CGF.Builder; 2076ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall AddrWeakObj = EnforceType(B, AddrWeakObj, IdTy); 2077ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall return B.CreateCall(WeakReadFn, AddrWeakObj); 20786dc2317b59cb1180a59f6c283d96b7a5dfeb5307Fariborz Jahanian} 20796dc2317b59cb1180a59f6c283d96b7a5dfeb5307Fariborz Jahanian 20803e283e344595e0bd499b13b30a92b7d9c10a2140Fariborz Jahanianvoid CGObjCGNU::EmitObjCWeakAssign(CodeGen::CodeGenFunction &CGF, 20811eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *src, llvm::Value *dst) { 2082ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall CGBuilderTy B = CGF.Builder; 2083ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall src = EnforceType(B, src, IdTy); 2084ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall dst = EnforceType(B, dst, PtrToIdTy); 2085ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall B.CreateCall2(WeakAssignFn, src, dst); 20863e283e344595e0bd499b13b30a92b7d9c10a2140Fariborz Jahanian} 20873e283e344595e0bd499b13b30a92b7d9c10a2140Fariborz Jahanian 208858626500527695865683d1d65053743de8770b60Fariborz Jahanianvoid CGObjCGNU::EmitObjCGlobalAssign(CodeGen::CodeGenFunction &CGF, 20891eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *src, llvm::Value *dst) { 2090ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall CGBuilderTy B = CGF.Builder; 2091ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall src = EnforceType(B, src, IdTy); 2092ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall dst = EnforceType(B, dst, PtrToIdTy); 2093ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall B.CreateCall2(GlobalAssignFn, src, dst); 209458626500527695865683d1d65053743de8770b60Fariborz Jahanian} 209558626500527695865683d1d65053743de8770b60Fariborz Jahanian 20967eda8367cf63caee8acf907356b1d199ccaa6e89Fariborz Jahanianvoid CGObjCGNU::EmitObjCIvarAssign(CodeGen::CodeGenFunction &CGF, 20976c7a1f364796ce1acb988714e9e42076d1ce332eFariborz Jahanian llvm::Value *src, llvm::Value *dst, 20986c7a1f364796ce1acb988714e9e42076d1ce332eFariborz Jahanian llvm::Value *ivarOffset) { 2099ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall CGBuilderTy B = CGF.Builder; 2100ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall src = EnforceType(B, src, IdTy); 2101ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall dst = EnforceType(B, dst, PtrToIdTy); 2102ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall B.CreateCall3(IvarAssignFn, src, dst, ivarOffset); 21037eda8367cf63caee8acf907356b1d199ccaa6e89Fariborz Jahanian} 21047eda8367cf63caee8acf907356b1d199ccaa6e89Fariborz Jahanian 210558626500527695865683d1d65053743de8770b60Fariborz Jahanianvoid CGObjCGNU::EmitObjCStrongCastAssign(CodeGen::CodeGenFunction &CGF, 21061eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *src, llvm::Value *dst) { 2107ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall CGBuilderTy B = CGF.Builder; 2108ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall src = EnforceType(B, src, IdTy); 2109ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall dst = EnforceType(B, dst, PtrToIdTy); 2110ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall B.CreateCall2(StrongCastAssignFn, src, dst); 211158626500527695865683d1d65053743de8770b60Fariborz Jahanian} 211258626500527695865683d1d65053743de8770b60Fariborz Jahanian 2113082b02e8403d3ee9d2ded969fbe0e5d472f04cd8Fariborz Jahanianvoid CGObjCGNU::EmitGCMemmoveCollectable(CodeGen::CodeGenFunction &CGF, 21141eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Value *DestPtr, 2115082b02e8403d3ee9d2ded969fbe0e5d472f04cd8Fariborz Jahanian llvm::Value *SrcPtr, 211608c321380fff07d476a19daab6d29522c046cd49Fariborz Jahanian QualType Ty) { 2117ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall CGBuilderTy B = CGF.Builder; 2118ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall DestPtr = EnforceType(B, DestPtr, IdTy); 2119ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall SrcPtr = EnforceType(B, SrcPtr, PtrToIdTy); 2120ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall 2121ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall std::pair<uint64_t, unsigned> TypeInfo = CGM.getContext().getTypeInfo(Ty); 2122ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall unsigned long size = TypeInfo.first/8; 2123ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall // FIXME: size_t 2124ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall llvm::Value *N = llvm::ConstantInt::get(LongTy, size); 2125ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall 2126ef6e0f3218b64d8ea3b8b57ee657fec8da228a43David Chisnall B.CreateCall3(MemMoveFn, DestPtr, SrcPtr, N); 2127082b02e8403d3ee9d2ded969fbe0e5d472f04cd8Fariborz Jahanian} 2128082b02e8403d3ee9d2ded969fbe0e5d472f04cd8Fariborz Jahanian 21299cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanianllvm::GlobalVariable *CGObjCGNU::ObjCIvarOffsetVariable( 21309cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian const ObjCInterfaceDecl *ID, 21319cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian const ObjCIvarDecl *Ivar) { 21329cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian const std::string Name = "__objc_ivar_offset_" + ID->getNameAsString() 21339cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian + '.' + Ivar->getNameAsString(); 21349cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian // Emit the variable and initialize it with what we think the correct value 21359cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian // is. This allows code compiled with non-fragile ivars to work correctly 21369cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian // when linked against code which isn't (most of the time). 21378a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall llvm::GlobalVariable *IvarOffsetPointer = TheModule.getNamedGlobal(Name); 21388a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall if (!IvarOffsetPointer) { 2139d901da531433254210a08e8b1f9e1ad049b340aaDavid Chisnall uint64_t Offset; 2140d901da531433254210a08e8b1f9e1ad049b340aaDavid Chisnall if (ObjCImplementationDecl *OID = 2141cb421fa690da545b58a720abe5f1c49b166dbde7Dan Gohman CGM.getContext().getObjCImplementation( 2142cb421fa690da545b58a720abe5f1c49b166dbde7Dan Gohman const_cast<ObjCInterfaceDecl *>(ID))) 2143d901da531433254210a08e8b1f9e1ad049b340aaDavid Chisnall Offset = ComputeIvarBaseOffset(CGM, OID, Ivar); 2144d901da531433254210a08e8b1f9e1ad049b340aaDavid Chisnall else 2145d901da531433254210a08e8b1f9e1ad049b340aaDavid Chisnall Offset = ComputeIvarBaseOffset(CGM, ID, Ivar); 2146d901da531433254210a08e8b1f9e1ad049b340aaDavid Chisnall 21479cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian llvm::ConstantInt *OffsetGuess = 2148f950837b8250c7f08d0b7b15ace0b35740721c9dDavid Chisnall llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), Offset, "ivar"); 21498a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // Don't emit the guess in non-PIC code because the linker will not be able 21508a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // to replace it with the real version for a library. In non-PIC code you 21518a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall // must compile with the fragile ABI if you want to use ivars from a 21521eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump // GCC-compiled class. 21538a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall if (CGM.getLangOptions().PICLevel) { 21548a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall llvm::GlobalVariable *IvarOffsetGV = new llvm::GlobalVariable(TheModule, 21558a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall llvm::Type::getInt32Ty(VMContext), false, 21568a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall llvm::GlobalValue::PrivateLinkage, OffsetGuess, Name+".guess"); 21578a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall IvarOffsetPointer = new llvm::GlobalVariable(TheModule, 21588a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall IvarOffsetGV->getType(), false, llvm::GlobalValue::LinkOnceAnyLinkage, 21598a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall IvarOffsetGV, Name); 21608a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall } else { 21618a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall IvarOffsetPointer = new llvm::GlobalVariable(TheModule, 21623c0ef8cc0dc246bd3083e8cdd63005e8873d36d2Benjamin Kramer llvm::Type::getInt32PtrTy(VMContext), false, 21633c0ef8cc0dc246bd3083e8cdd63005e8873d36d2Benjamin Kramer llvm::GlobalValue::ExternalLinkage, 0, Name); 21648a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall } 21659cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian } 21668a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall return IvarOffsetPointer; 21679cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian} 21689cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian 2169598d3f61b6ca854e9d3c2f3359e24468502a61aaFariborz JahanianLValue CGObjCGNU::EmitObjCValueForIvar(CodeGen::CodeGenFunction &CGF, 2170598d3f61b6ca854e9d3c2f3359e24468502a61aaFariborz Jahanian QualType ObjectTy, 2171598d3f61b6ca854e9d3c2f3359e24468502a61aaFariborz Jahanian llvm::Value *BaseValue, 2172598d3f61b6ca854e9d3c2f3359e24468502a61aaFariborz Jahanian const ObjCIvarDecl *Ivar, 2173598d3f61b6ca854e9d3c2f3359e24468502a61aaFariborz Jahanian unsigned CVRQualifiers) { 2174183700f494ec9b6701b6efe82bcb25f4c79ba561John McCall const ObjCInterfaceDecl *ID = ObjectTy->getAs<ObjCInterfaceType>()->getDecl(); 21759777687562c338601c2f17906e65e1c1a0aad96fDaniel Dunbar return EmitValueForIvarAtOffset(CGF, ID, BaseValue, Ivar, CVRQualifiers, 21769777687562c338601c2f17906e65e1c1a0aad96fDaniel Dunbar EmitIvarOffset(CGF, ID, Ivar)); 21770bb20361a321593887f067515dd04cf109f4c74aFariborz Jahanian} 2178bb1c8600218b3244340331165fc7cba7bf227655Mike Stump 21799cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanianstatic const ObjCInterfaceDecl *FindIvarInterface(ASTContext &Context, 21809cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian const ObjCInterfaceDecl *OID, 21819cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian const ObjCIvarDecl *OIVD) { 21829cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian llvm::SmallVector<ObjCIvarDecl*, 16> Ivars; 21838e6ac1d80055fa37b9b84029c7e751624ba7f84cFariborz Jahanian Context.ShallowCollectObjCIvars(OID, Ivars); 21849cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian for (unsigned k = 0, e = Ivars.size(); k != e; ++k) { 21859cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian if (OIVD == Ivars[k]) 21869cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian return OID; 21879cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian } 21881eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 21899cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian // Otherwise check in the super class. 21909cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian if (const ObjCInterfaceDecl *Super = OID->getSuperClass()) 21919cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian return FindIvarInterface(Context, Super, OIVD); 21921eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 21939cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian return 0; 21949cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian} 21950bb20361a321593887f067515dd04cf109f4c74aFariborz Jahanian 2196f63aa3fd429cdb9145d78f0b656bc78754efedb9Fariborz Jahanianllvm::Value *CGObjCGNU::EmitIvarOffset(CodeGen::CodeGenFunction &CGF, 21972a03192a02dbf4fdff438d1e658356bde871aba4Daniel Dunbar const ObjCInterfaceDecl *Interface, 2198f63aa3fd429cdb9145d78f0b656bc78754efedb9Fariborz Jahanian const ObjCIvarDecl *Ivar) { 21998a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall if (CGM.getLangOptions().ObjCNonFragileABI) { 22009cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian Interface = FindIvarInterface(CGM.getContext(), Interface, Ivar); 22018a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall return CGF.Builder.CreateLoad(CGF.Builder.CreateLoad( 22028a5a9aaddb627c0884c2ed8db55cc29fdb601195David Chisnall ObjCIvarOffsetVariable(Interface, Ivar), false, "ivar")); 22039cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian } 22049777687562c338601c2f17906e65e1c1a0aad96fDaniel Dunbar uint64_t Offset = ComputeIvarBaseOffset(CGF.CGM, Interface, Ivar); 22054a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson return llvm::ConstantInt::get(LongTy, Offset, "ivar"); 2206f63aa3fd429cdb9145d78f0b656bc78754efedb9Fariborz Jahanian} 2207f63aa3fd429cdb9145d78f0b656bc78754efedb9Fariborz Jahanian 2208bb1c8600218b3244340331165fc7cba7bf227655Mike StumpCodeGen::CGObjCRuntime * 2209bb1c8600218b3244340331165fc7cba7bf227655Mike StumpCodeGen::CreateGNUObjCRuntime(CodeGen::CodeGenModule &CGM) { 2210dce1406f1c1f572cfd61c494546572d63461c741Chris Lattner return new CGObjCGNU(CGM); 22110f984268b05edab2cc555a427c441baa9c252658Chris Lattner} 2212