CGObjCGNU.cpp revision a1cf15f4680e5cf39e72e28c5ea854fcba792e84
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" 223d598a5ab3c8aabce0a03a2f5dea65eee643e5acAnders Carlsson#include "clang/AST/ASTRecordLayout.h" 23e91593ef084479340582b2ba177b44be50a717b7Daniel Dunbar#include "clang/AST/Decl.h" 24af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar#include "clang/AST/DeclObjC.h" 2516f0049415ec596504891259e2a83e19871c0d52Chris Lattner#include "clang/AST/StmtObjC.h" 265dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 275dc0867af17b3bd6f567897433853b2b4767446cChris Lattner#include "llvm/Intrinsics.h" 280f984268b05edab2cc555a427c441baa9c252658Chris Lattner#include "llvm/Module.h" 290f984268b05edab2cc555a427c441baa9c252658Chris Lattner#include "llvm/ADT/SmallVector.h" 3020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov#include "llvm/ADT/StringMap.h" 317ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar#include "llvm/Support/Compiler.h" 327ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar#include "llvm/Target/TargetData.h" 335dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 3420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov#include <map> 35e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner 36e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner 37dce1406f1c1f572cfd61c494546572d63461c741Chris Lattnerusing namespace clang; 3846f45b9bec4a265ad8400a538e5ec3a5683617f1Daniel Dunbarusing namespace CodeGen; 3920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovusing llvm::dyn_cast; 4020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 4120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov// The version of the runtime that this class targets. Must match the version 4220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov// in the runtime. 4320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovstatic const int RuntimeVersion = 8; 449cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanianstatic const int NonFragileRuntimeVersion = 9; 4520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovstatic const int ProtocolVersion = 2; 460f984268b05edab2cc555a427c441baa9c252658Chris Lattner 470f984268b05edab2cc555a427c441baa9c252658Chris Lattnernamespace { 48dce1406f1c1f572cfd61c494546572d63461c741Chris Lattnerclass CGObjCGNU : public CodeGen::CGObjCRuntime { 490f984268b05edab2cc555a427c441baa9c252658Chris Lattnerprivate: 50dce1406f1c1f572cfd61c494546572d63461c741Chris Lattner CodeGen::CodeGenModule &CGM; 510f984268b05edab2cc555a427c441baa9c252658Chris Lattner llvm::Module &TheModule; 52e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner const llvm::PointerType *SelectorTy; 53e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner const llvm::PointerType *PtrToInt8Ty; 54b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian const llvm::FunctionType *IMPTy; 55e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner const llvm::PointerType *IdTy; 56e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner const llvm::IntegerType *IntTy; 57e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner const llvm::PointerType *PtrTy; 58e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner const llvm::IntegerType *LongTy; 59e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner const llvm::PointerType *PtrToIntTy; 605efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar llvm::GlobalAlias *ClassPtrAlias; 615efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar llvm::GlobalAlias *MetaClassPtrAlias; 6220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Classes; 6320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Categories; 6420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> ConstantStrings; 6520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Function *LoadFunction; 6620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::StringMap<llvm::Constant*> ExistingProtocols; 6720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov typedef std::pair<std::string, std::string> TypedSelector; 6820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::map<TypedSelector, llvm::GlobalAlias*> TypedSelectors; 6920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::StringMap<llvm::GlobalAlias*> UntypedSelectors; 7020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Some zeros used for GEPs in lots of places. 7120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *Zeros[2]; 7220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *NULLPtr; 73a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::LLVMContext &VMContext; 7420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovprivate: 7520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *GenerateIvarList( 7620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &IvarNames, 7720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &IvarTypes, 7820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &IvarOffsets); 7920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *GenerateMethodList(const std::string &ClassName, 8020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const std::string &CategoryName, 81a4210076fc1d7ac0a20b8b4a79e18a8ae33b9c69Chris Lattner const llvm::SmallVectorImpl<Selector> &MethodSels, 8220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &MethodTypes, 8320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov bool isClassMethodList); 84f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian llvm::Constant *GenerateEmptyProtocol(const std::string &ProtocolName); 8520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *GenerateProtocolList( 8620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<std::string> &Protocols); 8720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *GenerateClassStructure( 8820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *MetaClass, 8920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *SuperClass, 9020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov unsigned info, 91d002cc6fc5b72bf00e3b7b4571ccf0f23c789b4bChris Lattner const char *Name, 9220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *Version, 9320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *InstanceSize, 9420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *IVars, 9520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *Methods, 9620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *Protocols); 9720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *GenerateProtocolMethodList( 9820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &MethodNames, 9920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &MethodTypes); 10020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *MakeConstantString(const std::string &Str, const std::string 10120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov &Name=""); 10220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *MakeGlobal(const llvm::StructType *Ty, 10320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> &V, const std::string &Name=""); 10420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *MakeGlobal(const llvm::ArrayType *Ty, 10520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> &V, const std::string &Name=""); 1069cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian llvm::GlobalVariable *ObjCIvarOffsetVariable(const ObjCInterfaceDecl *ID, 1079cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian const ObjCIvarDecl *Ivar); 1082a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner void EmitClassRef(const std::string &className); 1090f984268b05edab2cc555a427c441baa9c252658Chris Lattnerpublic: 110dce1406f1c1f572cfd61c494546572d63461c741Chris Lattner CGObjCGNU(CodeGen::CodeGenModule &cgm); 11133fdb738a6c125f4c788733897021b7c1a062b0cSteve Naroff virtual llvm::Constant *GenerateConstantString(const ObjCStringLiteral *); 1128f2926b73ed635afecd020da787af6a837601a2bDaniel Dunbar virtual CodeGen::RValue 1138f2926b73ed635afecd020da787af6a837601a2bDaniel Dunbar GenerateMessageSend(CodeGen::CodeGenFunction &CGF, 1147f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar QualType ResultType, 1157f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar Selector Sel, 116f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar llvm::Value *Receiver, 11719cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar bool IsClassMessage, 118df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian const CallArgList &CallArgs, 119df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian const ObjCMethodDecl *Method); 1208f2926b73ed635afecd020da787af6a837601a2bDaniel Dunbar virtual CodeGen::RValue 1218f2926b73ed635afecd020da787af6a837601a2bDaniel Dunbar GenerateMessageSendSuper(CodeGen::CodeGenFunction &CGF, 1227f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar QualType ResultType, 1237f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar Selector Sel, 124f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar const ObjCInterfaceDecl *Class, 1257ce77920a35060f1c8dd72e541e42ce296ccd168Fariborz Jahanian bool isCategoryImpl, 126f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar llvm::Value *Receiver, 12719cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar bool IsClassMessage, 12819cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar const CallArgList &CallArgs); 12945d196b8387dcefc4df26cda114fa34c6528e928Daniel Dunbar virtual llvm::Value *GetClass(CGBuilderTy &Builder, 130ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar const ObjCInterfaceDecl *OID); 13145d196b8387dcefc4df26cda114fa34c6528e928Daniel Dunbar virtual llvm::Value *GetSelector(CGBuilderTy &Builder, Selector Sel); 132df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian virtual llvm::Value *GetSelector(CGBuilderTy &Builder, const ObjCMethodDecl 133df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian *Method); 1348e67b63530b4f39a48bc12d97376f373a6901279Chris Lattner 135679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanian virtual llvm::Function *GenerateMethod(const ObjCMethodDecl *OMD, 136679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanian const ObjCContainerDecl *CD); 1377ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar virtual void GenerateCategory(const ObjCCategoryImplDecl *CMD); 1387ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar virtual void GenerateClass(const ObjCImplementationDecl *ClassDecl); 13945d196b8387dcefc4df26cda114fa34c6528e928Daniel Dunbar virtual llvm::Value *GenerateProtocolRef(CGBuilderTy &Builder, 140af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar const ObjCProtocolDecl *PD); 141af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar virtual void GenerateProtocol(const ObjCProtocolDecl *PD); 14220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov virtual llvm::Function *ModuleInitFunction(); 143c38e9affd4519ea199af22419c8c794973cc4b23Fariborz Jahanian virtual void MergeMetadataGlobals(std::vector<llvm::Constant*> &UsedArray); 14449f6602707887eea1a558a1dffe0213102f887f2Daniel Dunbar virtual llvm::Function *GetPropertyGetFunction(); 14549f6602707887eea1a558a1dffe0213102f887f2Daniel Dunbar virtual llvm::Function *GetPropertySetFunction(); 1462abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson virtual llvm::Function *EnumerationMutationFunction(); 14764d5d6c5903157c521af496479d06dc26032d718Anders Carlsson 148bd71be4683c195260d5245118b1e13e6b2e20504Fariborz Jahanian virtual void EmitTryOrSynchronizedStmt(CodeGen::CodeGenFunction &CGF, 149bd71be4683c195260d5245118b1e13e6b2e20504Fariborz Jahanian const Stmt &S); 15064d5d6c5903157c521af496479d06dc26032d718Anders Carlsson virtual void EmitThrowStmt(CodeGen::CodeGenFunction &CGF, 15164d5d6c5903157c521af496479d06dc26032d718Anders Carlsson const ObjCAtThrowStmt &S); 1523e283e344595e0bd499b13b30a92b7d9c10a2140Fariborz Jahanian virtual llvm::Value * EmitObjCWeakRead(CodeGen::CodeGenFunction &CGF, 1536dc2317b59cb1180a59f6c283d96b7a5dfeb5307Fariborz Jahanian llvm::Value *AddrWeakObj); 1543e283e344595e0bd499b13b30a92b7d9c10a2140Fariborz Jahanian virtual void EmitObjCWeakAssign(CodeGen::CodeGenFunction &CGF, 1553e283e344595e0bd499b13b30a92b7d9c10a2140Fariborz Jahanian llvm::Value *src, llvm::Value *dst); 15658626500527695865683d1d65053743de8770b60Fariborz Jahanian virtual void EmitObjCGlobalAssign(CodeGen::CodeGenFunction &CGF, 15758626500527695865683d1d65053743de8770b60Fariborz Jahanian llvm::Value *src, llvm::Value *dest); 1587eda8367cf63caee8acf907356b1d199ccaa6e89Fariborz Jahanian virtual void EmitObjCIvarAssign(CodeGen::CodeGenFunction &CGF, 1597eda8367cf63caee8acf907356b1d199ccaa6e89Fariborz Jahanian llvm::Value *src, llvm::Value *dest); 16058626500527695865683d1d65053743de8770b60Fariborz Jahanian virtual void EmitObjCStrongCastAssign(CodeGen::CodeGenFunction &CGF, 16158626500527695865683d1d65053743de8770b60Fariborz Jahanian llvm::Value *src, llvm::Value *dest); 162082b02e8403d3ee9d2ded969fbe0e5d472f04cd8Fariborz Jahanian virtual void EmitGCMemmoveCollectable(CodeGen::CodeGenFunction &CGF, 163082b02e8403d3ee9d2ded969fbe0e5d472f04cd8Fariborz Jahanian llvm::Value *DestPtr, 164082b02e8403d3ee9d2ded969fbe0e5d472f04cd8Fariborz Jahanian llvm::Value *SrcPtr, 165082b02e8403d3ee9d2ded969fbe0e5d472f04cd8Fariborz Jahanian unsigned long size); 166598d3f61b6ca854e9d3c2f3359e24468502a61aaFariborz Jahanian virtual LValue EmitObjCValueForIvar(CodeGen::CodeGenFunction &CGF, 167598d3f61b6ca854e9d3c2f3359e24468502a61aaFariborz Jahanian QualType ObjectTy, 168598d3f61b6ca854e9d3c2f3359e24468502a61aaFariborz Jahanian llvm::Value *BaseValue, 169598d3f61b6ca854e9d3c2f3359e24468502a61aaFariborz Jahanian const ObjCIvarDecl *Ivar, 170598d3f61b6ca854e9d3c2f3359e24468502a61aaFariborz Jahanian unsigned CVRQualifiers); 171f63aa3fd429cdb9145d78f0b656bc78754efedb9Fariborz Jahanian virtual llvm::Value *EmitIvarOffset(CodeGen::CodeGenFunction &CGF, 1722a03192a02dbf4fdff438d1e658356bde871aba4Daniel Dunbar const ObjCInterfaceDecl *Interface, 173f63aa3fd429cdb9145d78f0b656bc78754efedb9Fariborz Jahanian const ObjCIvarDecl *Ivar); 1740f984268b05edab2cc555a427c441baa9c252658Chris Lattner}; 1750f984268b05edab2cc555a427c441baa9c252658Chris Lattner} // end anonymous namespace 1760f984268b05edab2cc555a427c441baa9c252658Chris Lattner 17720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 1782a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner/// Emits a reference to a dummy variable which is emitted with each class. 1792a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner/// This ensures that a linker error will be generated when trying to link 1802a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner/// together modules where a referenced class is not defined. 1812a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattnervoid CGObjCGNU::EmitClassRef(const std::string &className){ 1822a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner std::string symbolRef = "__objc_class_ref_" + className; 1832a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner // Don't emit two copies of the same symbol 1842a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner if (TheModule.getGlobalVariable(symbolRef)) return; 1852a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner std::string symbolName = "__objc_class_name_" + className; 1862a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner llvm::GlobalVariable *ClassSymbol = TheModule.getGlobalVariable(symbolName); 1872a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner if (!ClassSymbol) { 1881c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson ClassSymbol = new llvm::GlobalVariable(TheModule, LongTy, false, 1891c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson llvm::GlobalValue::ExternalLinkage, 0, symbolName); 1902a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner } 1911c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson new llvm::GlobalVariable(TheModule, ClassSymbol->getType(), true, 1921c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson llvm::GlobalValue::CommonLinkage, ClassSymbol, symbolRef); 1932a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner} 19420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 19520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovstatic std::string SymbolNameForClass(const std::string &ClassName) { 1962a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner return "_OBJC_CLASS_" + ClassName; 19720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 19820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 19920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovstatic std::string SymbolNameForMethod(const std::string &ClassName, const 20020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::string &CategoryName, const std::string &MethodName, bool isClassMethod) 20120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov{ 2022a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner return "_OBJC_METHOD_" + ClassName + "("+CategoryName+")"+ 20320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov (isClassMethod ? "+" : "-") + MethodName; 20420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 20520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 206dce1406f1c1f572cfd61c494546572d63461c741Chris LattnerCGObjCGNU::CGObjCGNU(CodeGen::CodeGenModule &cgm) 2075efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar : CGM(cgm), TheModule(CGM.getModule()), ClassPtrAlias(0), 208a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson MetaClassPtrAlias(0), VMContext(cgm.getLLVMContext()) { 209e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner IntTy = cast<llvm::IntegerType>( 210e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner CGM.getTypes().ConvertType(CGM.getContext().IntTy)); 211e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner LongTy = cast<llvm::IntegerType>( 212e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner CGM.getTypes().ConvertType(CGM.getContext().LongTy)); 213dce1406f1c1f572cfd61c494546572d63461c741Chris Lattner 214a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Zeros[0] = VMContext.getConstantInt(LongTy, 0); 21520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Zeros[1] = Zeros[0]; 216a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson NULLPtr = VMContext.getConstantPointerNull( 217a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getPointerTypeUnqual(llvm::Type::Int8Ty)); 218391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner // C string type. Used in lots of places. 219391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner PtrToInt8Ty = 220a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getPointerTypeUnqual(llvm::Type::Int8Ty); 221391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner // Get the selector Type. 222e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner SelectorTy = cast<llvm::PointerType>( 223e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner CGM.getTypes().ConvertType(CGM.getContext().getObjCSelType())); 224e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner 225a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson PtrToIntTy = VMContext.getPointerTypeUnqual(IntTy); 226391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner PtrTy = PtrToInt8Ty; 227391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner 228391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner // Object type 229b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian IdTy = cast<llvm::PointerType>( 230b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian CGM.getTypes().ConvertType(CGM.getContext().getObjCIdType())); 231391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner 232391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner // IMP type 233391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner std::vector<const llvm::Type*> IMPArgs; 234391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner IMPArgs.push_back(IdTy); 235391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner IMPArgs.push_back(SelectorTy); 236a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson IMPTy = VMContext.getFunctionType(IdTy, IMPArgs, true); 23720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 23820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov// This has to perform the lookup every time, since posing and related 23920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov// techniques can modify the name -> class mapping. 24045d196b8387dcefc4df26cda114fa34c6528e928Daniel Dunbarllvm::Value *CGObjCGNU::GetClass(CGBuilderTy &Builder, 241ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar const ObjCInterfaceDecl *OID) { 242d9d22dd9c94618490dbffb0e2caf222530ca39d3Chris Lattner llvm::Value *ClassName = CGM.GetAddrOfConstantCString(OID->getNameAsString()); 2432a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner EmitClassRef(OID->getNameAsString()); 244ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar ClassName = Builder.CreateStructGEP(ClassName, 0); 245ddb2a3d55a24a1dbdf9152621642d9a4b4fc2f61Daniel Dunbar 24626c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian std::vector<const llvm::Type*> Params(1, PtrToInt8Ty); 24720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *ClassLookupFn = 248a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson CGM.CreateRuntimeFunction(VMContext.getFunctionType(IdTy, 24926c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian Params, 25026c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian true), 25126c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian "objc_lookup_class"); 25220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov return Builder.CreateCall(ClassLookupFn, ClassName); 253391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner} 254391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner 25545d196b8387dcefc4df26cda114fa34c6528e928Daniel Dunbarllvm::Value *CGObjCGNU::GetSelector(CGBuilderTy &Builder, Selector Sel) { 256077bf5e2f48acfa9e7d69429b6e4ba86ea14896dChris Lattner llvm::GlobalAlias *&US = UntypedSelectors[Sel.getAsString()]; 2578e67b63530b4f39a48bc12d97376f373a6901279Chris Lattner if (US == 0) 258a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson US = new llvm::GlobalAlias(VMContext.getPointerTypeUnqual(SelectorTy), 2598e67b63530b4f39a48bc12d97376f373a6901279Chris Lattner llvm::GlobalValue::InternalLinkage, 2608e67b63530b4f39a48bc12d97376f373a6901279Chris Lattner ".objc_untyped_selector_alias", 2618e67b63530b4f39a48bc12d97376f373a6901279Chris Lattner NULL, &TheModule); 2628e67b63530b4f39a48bc12d97376f373a6901279Chris Lattner 2638e67b63530b4f39a48bc12d97376f373a6901279Chris Lattner return Builder.CreateLoad(US); 264df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian} 265df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian 266df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanianllvm::Value *CGObjCGNU::GetSelector(CGBuilderTy &Builder, const ObjCMethodDecl 267df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian *Method) { 268df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian 269df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian std::string SelName = Method->getSelector().getAsString(); 270df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian std::string SelTypes; 271df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian CGM.getContext().getObjCEncodingForMethodDecl(Method, SelTypes); 272df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian // Typed selectors 273df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian TypedSelector Selector = TypedSelector(SelName, 274df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian SelTypes); 275df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian 276df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian // If it's already cached, return it. 277df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian if (TypedSelectors[Selector]) 278df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian { 279df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian return Builder.CreateLoad(TypedSelectors[Selector]); 280df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian } 281df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian 282df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian // If it isn't, cache it. 283df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian llvm::GlobalAlias *Sel = new llvm::GlobalAlias( 284a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getPointerTypeUnqual(SelectorTy), 285df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian llvm::GlobalValue::InternalLinkage, SelName, 286df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian NULL, &TheModule); 287df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian TypedSelectors[Selector] = Sel; 288df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian 289df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian return Builder.CreateLoad(Sel); 2908e67b63530b4f39a48bc12d97376f373a6901279Chris Lattner} 2918e67b63530b4f39a48bc12d97376f373a6901279Chris Lattner 2925e7dcc62e4637591959f9c372f6c5258d0d263e0Chris Lattnerllvm::Constant *CGObjCGNU::MakeConstantString(const std::string &Str, 2935e7dcc62e4637591959f9c372f6c5258d0d263e0Chris Lattner const std::string &Name) { 294a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::Constant * ConstStr = VMContext.getConstantArray(Str); 2951c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson ConstStr = new llvm::GlobalVariable(TheModule, ConstStr->getType(), true, 29620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::GlobalValue::InternalLinkage, 2971c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson ConstStr, Name); 298a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson return VMContext.getConstantExprGetElementPtr(ConstStr, Zeros, 2); 29920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 30020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovllvm::Constant *CGObjCGNU::MakeGlobal(const llvm::StructType *Ty, 30120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> &V, const std::string &Name) { 302a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::Constant *C = VMContext.getConstantStruct(Ty, V); 3031c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson return new llvm::GlobalVariable(TheModule, Ty, false, 3041c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson llvm::GlobalValue::InternalLinkage, C, Name); 30520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 30620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovllvm::Constant *CGObjCGNU::MakeGlobal(const llvm::ArrayType *Ty, 30720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> &V, const std::string &Name) { 308a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::Constant *C = VMContext.getConstantArray(Ty, V); 3091c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson return new llvm::GlobalVariable(TheModule, Ty, false, 3101c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson llvm::GlobalValue::InternalLinkage, C, Name); 31120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 31220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 31320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov/// Generate an NSConstantString object. 31420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov//TODO: In case there are any crazy people still using the GNU runtime without 31520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov//an OpenStep implementation, this should let them select their own class for 31620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov//constant strings. 31733fdb738a6c125f4c788733897021b7c1a062b0cSteve Naroffllvm::Constant *CGObjCGNU::GenerateConstantString(const ObjCStringLiteral *SL) { 31833fdb738a6c125f4c788733897021b7c1a062b0cSteve Naroff std::string Str(SL->getString()->getStrData(), 31933fdb738a6c125f4c788733897021b7c1a062b0cSteve Naroff SL->getString()->getByteLength()); 32020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Ivars; 32120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Ivars.push_back(NULLPtr); 32213fd7e5111032f54b538dd66d035b0ccc1f82467Chris Lattner Ivars.push_back(MakeConstantString(Str)); 323a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Ivars.push_back(VMContext.getConstantInt(IntTy, Str.size())); 32420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *ObjCStr = MakeGlobal( 325a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getStructType(PtrToInt8Ty, PtrToInt8Ty, IntTy, NULL), 32620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Ivars, ".objc_str"); 32720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ConstantStrings.push_back( 328a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getConstantExprBitCast(ObjCStr, PtrToInt8Ty)); 32920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov return ObjCStr; 33020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 33120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 33220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov///Generates a message send where the super is the receiver. This is a message 33320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov///send to self with special delivery semantics indicating which class's method 33420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov///should be called. 3358f2926b73ed635afecd020da787af6a837601a2bDaniel DunbarCodeGen::RValue 3368f2926b73ed635afecd020da787af6a837601a2bDaniel DunbarCGObjCGNU::GenerateMessageSendSuper(CodeGen::CodeGenFunction &CGF, 3377f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar QualType ResultType, 3387f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar Selector Sel, 339f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar const ObjCInterfaceDecl *Class, 3407ce77920a35060f1c8dd72e541e42ce296ccd168Fariborz Jahanian bool isCategoryImpl, 341f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar llvm::Value *Receiver, 34219cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar bool IsClassMessage, 34319cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar const CallArgList &CallArgs) { 344b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian llvm::Value *cmd = GetSelector(CGF.Builder, Sel); 345b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian 346b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian CallArgList ActualArgs; 347b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian 348b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian ActualArgs.push_back( 349b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian std::make_pair(RValue::get(CGF.Builder.CreateBitCast(Receiver, IdTy)), 350b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian CGF.getContext().getObjCIdType())); 351b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian ActualArgs.push_back(std::make_pair(RValue::get(cmd), 352b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian CGF.getContext().getObjCSelType())); 353b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian ActualArgs.insert(ActualArgs.end(), CallArgs.begin(), CallArgs.end()); 354b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian 355b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian CodeGenTypes &Types = CGM.getTypes(); 356b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian const CGFunctionInfo &FnInfo = Types.getFunctionInfo(ResultType, ActualArgs); 357b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian const llvm::FunctionType *impType = Types.GetFunctionType(FnInfo, false); 358b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian 3595efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar llvm::Value *ReceiverClass = 0; 36048e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner if (isCategoryImpl) { 36148e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner llvm::Constant *classLookupFunction = 0; 36248e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner std::vector<const llvm::Type*> Params; 36348e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner Params.push_back(PtrTy); 36448e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner if (IsClassMessage) { 365a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson classLookupFunction = CGM.CreateRuntimeFunction(VMContext.getFunctionType( 36648e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner IdTy, Params, true), "objc_get_meta_class"); 36748e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner } else { 368a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson classLookupFunction = CGM.CreateRuntimeFunction(VMContext.getFunctionType( 36948e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner IdTy, Params, true), "objc_get_class"); 3705efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar } 37148e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner ReceiverClass = CGF.Builder.CreateCall(classLookupFunction, 37248e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner MakeConstantString(Class->getNameAsString())); 3735efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar } else { 37448e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner // Set up global aliases for the metaclass or class pointer if they do not 37548e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner // already exist. These will are forward-references which will be set to 37648e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner // pointers to the class and metaclass structure created for the runtime load 37748e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner // function. To send a message to super, we look up the value of the 37848e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner // super_class pointer from either the class or metaclass structure. 37948e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner if (IsClassMessage) { 38048e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner if (!MetaClassPtrAlias) { 38148e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner MetaClassPtrAlias = new llvm::GlobalAlias(IdTy, 38248e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner llvm::GlobalValue::InternalLinkage, ".objc_metaclass_ref" + 38348e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner Class->getNameAsString(), NULL, &TheModule); 38448e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner } 38548e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner ReceiverClass = MetaClassPtrAlias; 38648e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner } else { 38748e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner if (!ClassPtrAlias) { 38848e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner ClassPtrAlias = new llvm::GlobalAlias(IdTy, 38948e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner llvm::GlobalValue::InternalLinkage, ".objc_class_ref" + 39048e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner Class->getNameAsString(), NULL, &TheModule); 39148e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner } 39248e6e7e8106f2404bfdd2d8abe7a840aeeaf047bChris Lattner ReceiverClass = ClassPtrAlias; 3935efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar } 39471238f67c5df13eef19450d66b7a7ab28377192aChris Lattner } 3955efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar // Cast the pointer to a simplified version of the class structure 3965efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar ReceiverClass = CGF.Builder.CreateBitCast(ReceiverClass, 397a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getPointerTypeUnqual( 398a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getStructType(IdTy, IdTy, NULL))); 3995efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar // Get the superclass pointer 4005efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar ReceiverClass = CGF.Builder.CreateStructGEP(ReceiverClass, 1); 4015efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar // Load the superclass pointer 4025efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar ReceiverClass = CGF.Builder.CreateLoad(ReceiverClass); 40320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Construct the structure used to look up the IMP 404a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::StructType *ObjCSuperTy = VMContext.getStructType(Receiver->getType(), 40520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov IdTy, NULL); 4068f2926b73ed635afecd020da787af6a837601a2bDaniel Dunbar llvm::Value *ObjCSuper = CGF.Builder.CreateAlloca(ObjCSuperTy); 407b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian 4088f2926b73ed635afecd020da787af6a837601a2bDaniel Dunbar CGF.Builder.CreateStore(Receiver, CGF.Builder.CreateStructGEP(ObjCSuper, 0)); 4095efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar CGF.Builder.CreateStore(ReceiverClass, 4105efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar CGF.Builder.CreateStructGEP(ObjCSuper, 1)); 41120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 41220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Get the IMP 41326c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian std::vector<const llvm::Type*> Params; 414a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Params.push_back(VMContext.getPointerTypeUnqual(ObjCSuperTy)); 41526c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian Params.push_back(SelectorTy); 41620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *lookupFunction = 417a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson CGM.CreateRuntimeFunction(VMContext.getFunctionType( 418a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getPointerTypeUnqual(impType), Params, true), 41926c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian "objc_msg_lookup_super"); 42026c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian 42120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Value *lookupArgs[] = {ObjCSuper, cmd}; 4228f2926b73ed635afecd020da787af6a837601a2bDaniel Dunbar llvm::Value *imp = CGF.Builder.CreateCall(lookupFunction, lookupArgs, 42320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov lookupArgs+2); 42420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 425b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian return CGF.EmitCall(FnInfo, imp, ActualArgs); 42620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 42720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 42820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov/// Generate code for a message send expression. 4298f2926b73ed635afecd020da787af6a837601a2bDaniel DunbarCodeGen::RValue 4308f2926b73ed635afecd020da787af6a837601a2bDaniel DunbarCGObjCGNU::GenerateMessageSend(CodeGen::CodeGenFunction &CGF, 4317f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar QualType ResultType, 4327f8ea5c5b3a6a4332a841eefdd86b0726722ea7bDaniel Dunbar Selector Sel, 433f56f1913e91ad32bed52dd3f6afc26735d336584Daniel Dunbar llvm::Value *Receiver, 43419cd87eb5fb3c197e631ce08fd52c446c4d4e8f1Daniel Dunbar bool IsClassMessage, 435df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian const CallArgList &CallArgs, 436df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian const ObjCMethodDecl *Method) { 437df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian llvm::Value *cmd; 438df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian if (Method) 439df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian cmd = GetSelector(CGF.Builder, Method); 440df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian else 441df9ccc6381314ccca6407abb209155e9273a631dFariborz Jahanian cmd = GetSelector(CGF.Builder, Sel); 442b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian CallArgList ActualArgs; 443b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian 444b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian ActualArgs.push_back( 44534e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian std::make_pair(RValue::get(CGF.Builder.CreateBitCast(Receiver, IdTy)), 44634e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian CGF.getContext().getObjCIdType())); 447b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian ActualArgs.push_back(std::make_pair(RValue::get(cmd), 448b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian CGF.getContext().getObjCSelType())); 449b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian ActualArgs.insert(ActualArgs.end(), CallArgs.begin(), CallArgs.end()); 450b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian 451b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian CodeGenTypes &Types = CGM.getTypes(); 452b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian const CGFunctionInfo &FnInfo = Types.getFunctionInfo(ResultType, ActualArgs); 453b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian const llvm::FunctionType *impType = Types.GetFunctionType(FnInfo, false); 4540f984268b05edab2cc555a427c441baa9c252658Chris Lattner 45534e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian llvm::Value *imp; 45626c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian std::vector<const llvm::Type*> Params; 45726c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian Params.push_back(Receiver->getType()); 45826c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian Params.push_back(SelectorTy); 45934e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian // For sender-aware dispatch, we pass the sender as the third argument to a 46034e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian // lookup function. When sending messages from C code, the sender is nil. 46134e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian // objc_msg_lookup_sender(id receiver, SEL selector, id sender); 46234e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian if (CGM.getContext().getLangOptions().ObjCSenderDispatch) { 46334e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian llvm::Value *self; 46434e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian 46534e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian if (isa<ObjCMethodDecl>(CGF.CurFuncDecl)) { 46634e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian self = CGF.LoadObjCSelf(); 46734e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian } else { 468a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson self = VMContext.getConstantPointerNull(IdTy); 46934e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian } 47034e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian Params.push_back(self->getType()); 47134e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian llvm::Constant *lookupFunction = 472a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson CGM.CreateRuntimeFunction(VMContext.getFunctionType( 473a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getPointerTypeUnqual(impType), Params, true), 47434e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian "objc_msg_lookup_sender"); 47526c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian 47634e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian imp = CGF.Builder.CreateCall3(lookupFunction, Receiver, cmd, self); 47734e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian } else { 47834e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian llvm::Constant *lookupFunction = 479a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson CGM.CreateRuntimeFunction(VMContext.getFunctionType( 480a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getPointerTypeUnqual(impType), Params, true), 48134e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian "objc_msg_lookup"); 48234e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian 48334e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian imp = CGF.Builder.CreateCall2(lookupFunction, Receiver, cmd); 48434e65770ad6142b033d6cec4f476ed20fb248bf3Fariborz Jahanian } 4853eae03e7d165f20a863a9a4d7122ba2a691ab16dChris Lattner 486b3716efb0966620f205c939b671b579ad331ca0dFariborz Jahanian return CGF.EmitCall(FnInfo, imp, ActualArgs); 48720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 48820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 48920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov/// Generates a MethodList. Used in construction of a objc_class and 49020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov/// objc_category structures. 49120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovllvm::Constant *CGObjCGNU::GenerateMethodList(const std::string &ClassName, 492a4210076fc1d7ac0a20b8b4a79e18a8ae33b9c69Chris Lattner const std::string &CategoryName, 493a4210076fc1d7ac0a20b8b4a79e18a8ae33b9c69Chris Lattner const llvm::SmallVectorImpl<Selector> &MethodSels, 49420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &MethodTypes, 49520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov bool isClassMethodList) { 49620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Get the method structure type. 497a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::StructType *ObjCMethodTy = VMContext.getStructType( 49820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, // Really a selector, but the runtime creates it us. 49920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, // Method types 500a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getPointerTypeUnqual(IMPTy), //Method pointer 50120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov NULL); 50220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Methods; 50320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Elements; 50420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov for (unsigned int i = 0, e = MethodTypes.size(); i < e; ++i) { 50520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 5061e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian if (llvm::Constant *Method = 50720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov TheModule.getFunction(SymbolNameForMethod(ClassName, CategoryName, 508077bf5e2f48acfa9e7d69429b6e4ba86ea14896dChris Lattner MethodSels[i].getAsString(), 5091e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian isClassMethodList))) { 5101e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian llvm::Constant *C = 5111e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian CGM.GetAddrOfConstantCString(MethodSels[i].getAsString()); 512a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Elements.push_back(VMContext.getConstantExprGetElementPtr(C, Zeros, 2)); 5131e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian Elements.push_back( 514a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getConstantExprGetElementPtr(MethodTypes[i], Zeros, 2)); 515a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Method = VMContext.getConstantExprBitCast(Method, 516a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getPointerTypeUnqual(IMPTy)); 5171e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian Elements.push_back(Method); 518a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Methods.push_back(VMContext.getConstantStruct(ObjCMethodTy, Elements)); 5191e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian } 52020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 52120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 52220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Array of method structures 523a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::ArrayType *ObjCMethodArrayTy = VMContext.getArrayType(ObjCMethodTy, 5241e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian Methods.size()); 525a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::Constant *MethodArray = VMContext.getConstantArray(ObjCMethodArrayTy, 526fba676396703e87a5034e5f308aa30a633468f66Chris Lattner Methods); 52720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 52820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Structure containing list pointer, array and array count 52920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::SmallVector<const llvm::Type*, 16> ObjCMethodListFields; 530a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::PATypeHolder OpaqueNextTy = VMContext.getOpaqueType(); 531a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::Type *NextPtrTy = VMContext.getPointerTypeUnqual(OpaqueNextTy); 532a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::StructType *ObjCMethodListTy = VMContext.getStructType(NextPtrTy, 53320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov IntTy, 53420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ObjCMethodArrayTy, 53520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov NULL); 53620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Refine next pointer type to concrete type 53720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::cast<llvm::OpaqueType>( 53820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov OpaqueNextTy.get())->refineAbstractTypeTo(ObjCMethodListTy); 53920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ObjCMethodListTy = llvm::cast<llvm::StructType>(OpaqueNextTy.get()); 54020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 54120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Methods.clear(); 542a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Methods.push_back(VMContext.getConstantPointerNull( 543a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getPointerTypeUnqual(ObjCMethodListTy))); 544a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Methods.push_back(VMContext.getConstantInt(llvm::Type::Int32Ty, 54520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov MethodTypes.size())); 54620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Methods.push_back(MethodArray); 54720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 54820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Create an instance of the structure 54920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov return MakeGlobal(ObjCMethodListTy, Methods, ".objc_method_list"); 55020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 55120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 55220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov/// Generates an IvarList. Used in construction of a objc_class. 55320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovllvm::Constant *CGObjCGNU::GenerateIvarList( 55420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &IvarNames, 55520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &IvarTypes, 55620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &IvarOffsets) { 55720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Get the method structure type. 558a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::StructType *ObjCIvarTy = VMContext.getStructType( 55920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, 56020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, 56120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov IntTy, 56220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov NULL); 56320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Ivars; 56420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Elements; 56520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov for (unsigned int i = 0, e = IvarNames.size() ; i < e ; i++) { 56620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 567a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Elements.push_back( VMContext.getConstantExprGetElementPtr(IvarNames[i], 56820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Zeros, 2)); 569a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Elements.push_back( VMContext.getConstantExprGetElementPtr(IvarTypes[i], 57020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Zeros, 2)); 57120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(IvarOffsets[i]); 572a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Ivars.push_back(VMContext.getConstantStruct(ObjCIvarTy, Elements)); 57320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 57420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 57520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Array of method structures 576a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::ArrayType *ObjCIvarArrayTy = VMContext.getArrayType(ObjCIvarTy, 57720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov IvarNames.size()); 57820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 57920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 58020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 581a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Elements.push_back(VMContext.getConstantInt(IntTy, (int)IvarNames.size())); 582a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Elements.push_back(VMContext.getConstantArray(ObjCIvarArrayTy, Ivars)); 58320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Structure containing array and array count 584a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::StructType *ObjCIvarListTy = VMContext.getStructType(IntTy, 58520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ObjCIvarArrayTy, 58620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov NULL); 58720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 58820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Create an instance of the structure 58920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov return MakeGlobal(ObjCIvarListTy, Elements, ".objc_ivar_list"); 5900f984268b05edab2cc555a427c441baa9c252658Chris Lattner} 5910f984268b05edab2cc555a427c441baa9c252658Chris Lattner 59220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov/// Generate a class structure 59320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovllvm::Constant *CGObjCGNU::GenerateClassStructure( 59420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *MetaClass, 59520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *SuperClass, 59620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov unsigned info, 597d002cc6fc5b72bf00e3b7b4571ccf0f23c789b4bChris Lattner const char *Name, 59820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *Version, 59920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *InstanceSize, 60020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *IVars, 60120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *Methods, 60220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *Protocols) { 60320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Set up the class structure 60420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Note: Several of these are char*s when they should be ids. This is 60520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // because the runtime performs this translation on load. 606a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::StructType *ClassTy = VMContext.getStructType( 60720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, // class_pointer 60820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, // super_class 60920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, // name 61020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov LongTy, // version 61120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov LongTy, // info 61220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov LongTy, // instance_size 61320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov IVars->getType(), // ivars 61420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Methods->getType(), // methods 61520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // These are all filled in by the runtime, so we pretend 61620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrTy, // dtable 61720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrTy, // subclass_list 61820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrTy, // sibling_class 61920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrTy, // protocols 62020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrTy, // gc_object_type 62120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov NULL); 622a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::Constant *Zero = VMContext.getConstantInt(LongTy, 0); 62320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *NullP = 624a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getConstantPointerNull(PtrTy); 62520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Fill in the structure 62620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Elements; 627a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Elements.push_back(VMContext.getConstantExprBitCast(MetaClass, PtrToInt8Ty)); 62820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(SuperClass); 629d002cc6fc5b72bf00e3b7b4571ccf0f23c789b4bChris Lattner Elements.push_back(MakeConstantString(Name, ".class_name")); 63020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(Zero); 631a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Elements.push_back(VMContext.getConstantInt(LongTy, info)); 63220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(InstanceSize); 63320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(IVars); 63420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(Methods); 63520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(NullP); 63620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(NullP); 63720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(NullP); 638a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Elements.push_back(VMContext.getConstantExprBitCast(Protocols, PtrTy)); 63920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(NullP); 64020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Create an instance of the structure 6411565e0364b05d163640dd2b6feed43bae67df4fdChris Lattner return MakeGlobal(ClassTy, Elements, SymbolNameForClass(Name)); 64220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 64320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 64420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovllvm::Constant *CGObjCGNU::GenerateProtocolMethodList( 64520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &MethodNames, 64620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<llvm::Constant *> &MethodTypes) { 64720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Get the method structure type. 648a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::StructType *ObjCMethodDescTy = VMContext.getStructType( 64920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, // Really a selector, but the runtime does the casting for us. 65020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, 65120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov NULL); 65220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Methods; 65320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Elements; 65420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov for (unsigned int i = 0, e = MethodTypes.size() ; i < e ; i++) { 65520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 656a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Elements.push_back(VMContext.getConstantExprGetElementPtr(MethodNames[i], 65720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Zeros, 2)); 65820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back( 659a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getConstantExprGetElementPtr(MethodTypes[i], Zeros, 2)); 660a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Methods.push_back(VMContext.getConstantStruct(ObjCMethodDescTy, Elements)); 66120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 662a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::ArrayType *ObjCMethodArrayTy = VMContext.getArrayType(ObjCMethodDescTy, 66320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov MethodNames.size()); 664a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::Constant *Array = VMContext.getConstantArray(ObjCMethodArrayTy, 665a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Methods); 666a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::StructType *ObjCMethodDescListTy = VMContext.getStructType( 66720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov IntTy, ObjCMethodArrayTy, NULL); 66820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Methods.clear(); 669a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Methods.push_back(VMContext.getConstantInt(IntTy, MethodNames.size())); 67020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Methods.push_back(Array); 67120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov return MakeGlobal(ObjCMethodDescListTy, Methods, ".objc_method_list"); 67220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 67320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov// Create the protocol list structure used in classes, categories and so on 67420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovllvm::Constant *CGObjCGNU::GenerateProtocolList( 67520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov const llvm::SmallVectorImpl<std::string> &Protocols) { 676a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::ArrayType *ProtocolArrayTy = VMContext.getArrayType(PtrToInt8Ty, 67720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Protocols.size()); 678a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::StructType *ProtocolListTy = VMContext.getStructType( 67920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrTy, //Should be a recurisve pointer, but it's always NULL here. 68020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov LongTy,//FIXME: Should be size_t 68120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ProtocolArrayTy, 68220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov NULL); 68320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Elements; 68420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov for (const std::string *iter = Protocols.begin(), *endIter = Protocols.end(); 68520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov iter != endIter ; iter++) { 686f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian llvm::Constant *protocol = ExistingProtocols[*iter]; 687f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian if (!protocol) 688f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian protocol = GenerateEmptyProtocol(*iter); 689a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::Constant *Ptr = VMContext.getConstantExprBitCast(protocol, 690a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson PtrToInt8Ty); 69120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(Ptr); 69220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 693a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::Constant * ProtocolArray = VMContext.getConstantArray(ProtocolArrayTy, 69420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements); 69520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 69620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(NULLPtr); 697a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Elements.push_back(VMContext.getConstantInt(LongTy, Protocols.size())); 69820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(ProtocolArray); 69920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov return MakeGlobal(ProtocolListTy, Elements, ".objc_protocol_list"); 70020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 70120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 70245d196b8387dcefc4df26cda114fa34c6528e928Daniel Dunbarllvm::Value *CGObjCGNU::GenerateProtocolRef(CGBuilderTy &Builder, 703af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar const ObjCProtocolDecl *PD) { 704f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian llvm::Value *protocol = ExistingProtocols[PD->getNameAsString()]; 705f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian const llvm::Type *T = 706f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian CGM.getTypes().ConvertType(CGM.getContext().getObjCProtoType()); 707a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson return Builder.CreateBitCast(protocol, VMContext.getPointerTypeUnqual(T)); 708f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian} 709f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian 710f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanianllvm::Constant *CGObjCGNU::GenerateEmptyProtocol( 711f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian const std::string &ProtocolName) { 712f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian llvm::SmallVector<std::string, 0> EmptyStringVector; 713f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian llvm::SmallVector<llvm::Constant*, 0> EmptyConstantVector; 714f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian 715f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian llvm::Constant *ProtocolList = GenerateProtocolList(EmptyStringVector); 716f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian llvm::Constant *InstanceMethodList = 717f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian GenerateProtocolMethodList(EmptyConstantVector, EmptyConstantVector); 718f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian llvm::Constant *ClassMethodList = 719f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian GenerateProtocolMethodList(EmptyConstantVector, EmptyConstantVector); 720f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian // Protocols are objects containing lists of the methods implemented and 721f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian // protocols adopted. 722a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::StructType *ProtocolTy = VMContext.getStructType(IdTy, 723f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian PtrToInt8Ty, 724f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian ProtocolList->getType(), 725f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian InstanceMethodList->getType(), 726f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian ClassMethodList->getType(), 727f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian NULL); 728f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian std::vector<llvm::Constant*> Elements; 729f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian // The isa pointer must be set to a magic number so the runtime knows it's 730f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian // the correct layout. 731a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Elements.push_back(VMContext.getConstantExprIntToPtr( 732a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getConstantInt(llvm::Type::Int32Ty, ProtocolVersion), IdTy)); 733f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian Elements.push_back(MakeConstantString(ProtocolName, ".objc_protocol_name")); 734f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian Elements.push_back(ProtocolList); 735f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian Elements.push_back(InstanceMethodList); 736f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian Elements.push_back(ClassMethodList); 737f8c4f5469d7db591eeacfc3381d91f773fb7af43Fariborz Jahanian return MakeGlobal(ProtocolTy, Elements, ".objc_protocol"); 73820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 73920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 740af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbarvoid CGObjCGNU::GenerateProtocol(const ObjCProtocolDecl *PD) { 741af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar ASTContext &Context = CGM.getContext(); 7428ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner std::string ProtocolName = PD->getNameAsString(); 743af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar llvm::SmallVector<std::string, 16> Protocols; 744af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar for (ObjCProtocolDecl::protocol_iterator PI = PD->protocol_begin(), 745af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar E = PD->protocol_end(); PI != E; ++PI) 746d9d22dd9c94618490dbffb0e2caf222530ca39d3Chris Lattner Protocols.push_back((*PI)->getNameAsString()); 747af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> InstanceMethodNames; 748af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> InstanceMethodTypes; 74917945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis for (ObjCProtocolDecl::instmeth_iterator iter = PD->instmeth_begin(), 75017945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis E = PD->instmeth_end(); iter != E; iter++) { 751af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar std::string TypeStr; 752af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar Context.getObjCEncodingForMethodDecl(*iter, TypeStr); 753af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar InstanceMethodNames.push_back( 754077bf5e2f48acfa9e7d69429b6e4ba86ea14896dChris Lattner CGM.GetAddrOfConstantCString((*iter)->getSelector().getAsString())); 7556143293fa4366ee95d7e47e61bd030a34bf68b55Daniel Dunbar InstanceMethodTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr)); 756af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar } 757af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar // Collect information about class methods: 758af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> ClassMethodNames; 759af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> ClassMethodTypes; 7606ab3524f72a6e64aa04973fa9433b5559abb3525Douglas Gregor for (ObjCProtocolDecl::classmeth_iterator 76117945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis iter = PD->classmeth_begin(), endIter = PD->classmeth_end(); 76217945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis iter != endIter ; iter++) { 763af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar std::string TypeStr; 764af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar Context.getObjCEncodingForMethodDecl((*iter),TypeStr); 765af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar ClassMethodNames.push_back( 766077bf5e2f48acfa9e7d69429b6e4ba86ea14896dChris Lattner CGM.GetAddrOfConstantCString((*iter)->getSelector().getAsString())); 7676143293fa4366ee95d7e47e61bd030a34bf68b55Daniel Dunbar ClassMethodTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr)); 768af2f62ce32e462f256855cd24b06dec4755d2827Daniel Dunbar } 76920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 77020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *ProtocolList = GenerateProtocolList(Protocols); 77120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *InstanceMethodList = 77220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov GenerateProtocolMethodList(InstanceMethodNames, InstanceMethodTypes); 77320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *ClassMethodList = 77420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov GenerateProtocolMethodList(ClassMethodNames, ClassMethodTypes); 77520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Protocols are objects containing lists of the methods implemented and 77620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // protocols adopted. 777a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::StructType *ProtocolTy = VMContext.getStructType(IdTy, 77820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrToInt8Ty, 77920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ProtocolList->getType(), 78020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov InstanceMethodList->getType(), 78120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ClassMethodList->getType(), 78220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov NULL); 78320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Elements; 78420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // The isa pointer must be set to a magic number so the runtime knows it's 78520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // the correct layout. 786a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Elements.push_back(VMContext.getConstantExprIntToPtr( 787a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getConstantInt(llvm::Type::Int32Ty, ProtocolVersion), IdTy)); 78820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(MakeConstantString(ProtocolName, ".objc_protocol_name")); 78920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(ProtocolList); 79020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(InstanceMethodList); 79120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(ClassMethodList); 79220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ExistingProtocols[ProtocolName] = 793a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getConstantExprBitCast(MakeGlobal(ProtocolTy, Elements, 79420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ".objc_protocol"), IdTy); 79520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 79620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 7977ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbarvoid CGObjCGNU::GenerateCategory(const ObjCCategoryImplDecl *OCD) { 7988ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner std::string ClassName = OCD->getClassInterface()->getNameAsString(); 7998ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner std::string CategoryName = OCD->getNameAsString(); 8007ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Collect information about instance methods 8017ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<Selector, 16> InstanceMethodSels; 8027ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> InstanceMethodTypes; 803653f1b1bf293a9bd96fd4dd6372e779cc7af1597Douglas Gregor for (ObjCCategoryImplDecl::instmeth_iterator 80417945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis iter = OCD->instmeth_begin(), endIter = OCD->instmeth_end(); 805653f1b1bf293a9bd96fd4dd6372e779cc7af1597Douglas Gregor iter != endIter ; iter++) { 8067ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar InstanceMethodSels.push_back((*iter)->getSelector()); 8077ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar std::string TypeStr; 8087ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar CGM.getContext().getObjCEncodingForMethodDecl(*iter,TypeStr); 8097ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar InstanceMethodTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr)); 8107ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar } 8117ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 8127ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Collect information about class methods 8137ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<Selector, 16> ClassMethodSels; 8147ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> ClassMethodTypes; 815653f1b1bf293a9bd96fd4dd6372e779cc7af1597Douglas Gregor for (ObjCCategoryImplDecl::classmeth_iterator 81617945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis iter = OCD->classmeth_begin(), endIter = OCD->classmeth_end(); 817653f1b1bf293a9bd96fd4dd6372e779cc7af1597Douglas Gregor iter != endIter ; iter++) { 8187ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar ClassMethodSels.push_back((*iter)->getSelector()); 8197ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar std::string TypeStr; 8207ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar CGM.getContext().getObjCEncodingForMethodDecl(*iter,TypeStr); 8217ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar ClassMethodTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr)); 8227ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar } 8237ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 8247ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Collect the names of referenced protocols 8257ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<std::string, 16> Protocols; 8267ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar const ObjCInterfaceDecl *ClassDecl = OCD->getClassInterface(); 8277ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar const ObjCList<ObjCProtocolDecl> &Protos =ClassDecl->getReferencedProtocols(); 8287ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar for (ObjCList<ObjCProtocolDecl>::iterator I = Protos.begin(), 8297ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar E = Protos.end(); I != E; ++I) 830d9d22dd9c94618490dbffb0e2caf222530ca39d3Chris Lattner Protocols.push_back((*I)->getNameAsString()); 8317ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 83220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Elements; 83320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(MakeConstantString(CategoryName)); 83420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(MakeConstantString(ClassName)); 83520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Instance method list 836a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Elements.push_back(VMContext.getConstantExprBitCast(GenerateMethodList( 837a4210076fc1d7ac0a20b8b4a79e18a8ae33b9c69Chris Lattner ClassName, CategoryName, InstanceMethodSels, InstanceMethodTypes, 83820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov false), PtrTy)); 83920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Class method list 840a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Elements.push_back(VMContext.getConstantExprBitCast(GenerateMethodList( 841a4210076fc1d7ac0a20b8b4a79e18a8ae33b9c69Chris Lattner ClassName, CategoryName, ClassMethodSels, ClassMethodTypes, true), 84220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrTy)); 84320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Protocol list 844a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Elements.push_back(VMContext.getConstantExprBitCast( 84520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov GenerateProtocolList(Protocols), PtrTy)); 846a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Categories.push_back(VMContext.getConstantExprBitCast( 847a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson MakeGlobal(VMContext.getStructType(PtrToInt8Ty, PtrToInt8Ty, PtrTy, 84820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov PtrTy, PtrTy, NULL), Elements), PtrTy)); 84920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 8507ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 8517ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbarvoid CGObjCGNU::GenerateClass(const ObjCImplementationDecl *OID) { 8527ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar ASTContext &Context = CGM.getContext(); 8537ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 8547ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Get the superclass name. 8557ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar const ObjCInterfaceDecl * SuperClassDecl = 8567ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar OID->getClassInterface()->getSuperClass(); 8578ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner std::string SuperClassName; 8582a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner if (SuperClassDecl) { 8598ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner SuperClassName = SuperClassDecl->getNameAsString(); 8602a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner EmitClassRef(SuperClassName); 8612a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner } 8627ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 8637ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Get the class name 86409dc6660487fc2f4a4bb2032e30123d3e0da7230Chris Lattner ObjCInterfaceDecl *ClassDecl = 86509dc6660487fc2f4a4bb2032e30123d3e0da7230Chris Lattner const_cast<ObjCInterfaceDecl *>(OID->getClassInterface()); 8668ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner std::string ClassName = ClassDecl->getNameAsString(); 8672a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner // Emit the symbol that is used to generate linker errors if this class is 8682a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner // referenced in other modules but not declared. 869c51db23f58bd887b16cf91554aa86c430a2496e7Fariborz Jahanian std::string classSymbolName = "__objc_class_name_" + ClassName; 870c51db23f58bd887b16cf91554aa86c430a2496e7Fariborz Jahanian if (llvm::GlobalVariable *symbol = 871c51db23f58bd887b16cf91554aa86c430a2496e7Fariborz Jahanian TheModule.getGlobalVariable(classSymbolName)) { 872a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson symbol->setInitializer(VMContext.getConstantInt(LongTy, 0)); 873c51db23f58bd887b16cf91554aa86c430a2496e7Fariborz Jahanian } else { 8741c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson new llvm::GlobalVariable(TheModule, LongTy, false, 875a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::GlobalValue::ExternalLinkage, VMContext.getConstantInt(LongTy, 0), 8761c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson classSymbolName); 877c51db23f58bd887b16cf91554aa86c430a2496e7Fariborz Jahanian } 8782a8e4e1d8548dc3e30d7c9ba92127c7884a11448Chris Lattner 8792bebbf0acee55404de4b8846713b64429e744e8fDaniel Dunbar // Get the size of instances. 8802bebbf0acee55404de4b8846713b64429e744e8fDaniel Dunbar int instanceSize = Context.getASTObjCImplementationLayout(OID).getSize() / 8; 8817ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 8827ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Collect information about instance variables. 8837ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> IvarNames; 8847ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> IvarTypes; 8857ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> IvarOffsets; 8869cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian 8879cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian int superInstanceSize = !SuperClassDecl ? 0 : 8889cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian Context.getASTObjCInterfaceLayout(SuperClassDecl).getSize() / 8; 8899cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian // For non-fragile ivars, set the instance size to 0 - {the size of just this 8909cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian // class}. The runtime will then set this to the correct value on load. 8919cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian if (CGM.getContext().getLangOptions().ObjCNonFragileABI) { 8929cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian instanceSize = 0 - (instanceSize - superInstanceSize); 8939cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian } 8947ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar for (ObjCInterfaceDecl::ivar_iterator iter = ClassDecl->ivar_begin(), 8957ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar endIter = ClassDecl->ivar_end() ; iter != endIter ; iter++) { 8967ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Store the name 897d9d22dd9c94618490dbffb0e2caf222530ca39d3Chris Lattner IvarNames.push_back(CGM.GetAddrOfConstantCString((*iter) 898d9d22dd9c94618490dbffb0e2caf222530ca39d3Chris Lattner ->getNameAsString())); 8997ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Get the type encoding for this ivar 9007ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar std::string TypeStr; 9010d504c1da852e58ff802545c823ecff3b6c654b8Daniel Dunbar Context.getObjCEncodingForType((*iter)->getType(), TypeStr); 9027ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar IvarTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr)); 9037ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Get the offset 9049cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian uint64_t Offset; 9059cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian if (CGM.getContext().getLangOptions().ObjCNonFragileABI) { 9069cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian Offset = ComputeIvarBaseOffset(CGM, ClassDecl, *iter) - 9079cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian superInstanceSize; 9089cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian ObjCIvarOffsetVariable(ClassDecl, *iter); 9099cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian } else { 9109cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian Offset = ComputeIvarBaseOffset(CGM, ClassDecl, *iter); 9119cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian } 9127ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar IvarOffsets.push_back( 913a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getConstantInt(llvm::Type::Int32Ty, Offset)); 9147ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar } 9157ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 9167ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Collect information about instance methods 9177ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<Selector, 16> InstanceMethodSels; 9187ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> InstanceMethodTypes; 919653f1b1bf293a9bd96fd4dd6372e779cc7af1597Douglas Gregor for (ObjCImplementationDecl::instmeth_iterator 92017945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis iter = OID->instmeth_begin(), endIter = OID->instmeth_end(); 921653f1b1bf293a9bd96fd4dd6372e779cc7af1597Douglas Gregor iter != endIter ; iter++) { 9227ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar InstanceMethodSels.push_back((*iter)->getSelector()); 9237ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar std::string TypeStr; 9247ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar Context.getObjCEncodingForMethodDecl((*iter),TypeStr); 9257ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar InstanceMethodTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr)); 9267ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar } 9271e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian for (ObjCImplDecl::propimpl_iterator 92817945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis iter = OID->propimpl_begin(), endIter = OID->propimpl_end(); 9291e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian iter != endIter ; iter++) { 9301e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian ObjCPropertyDecl *property = (*iter)->getPropertyDecl(); 9311e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian if (ObjCMethodDecl *getter = property->getGetterMethodDecl()) { 9321e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian InstanceMethodSels.push_back(getter->getSelector()); 9331e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian std::string TypeStr; 9341e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian Context.getObjCEncodingForMethodDecl(getter,TypeStr); 9351e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian InstanceMethodTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr)); 9361e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian } 9371e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian if (ObjCMethodDecl *setter = property->getSetterMethodDecl()) { 9381e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian InstanceMethodSels.push_back(setter->getSelector()); 9391e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian std::string TypeStr; 9401e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian Context.getObjCEncodingForMethodDecl(setter,TypeStr); 9411e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian InstanceMethodTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr)); 9421e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian } 9431e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian } 9447ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 9457ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Collect information about class methods 9467ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<Selector, 16> ClassMethodSels; 9477ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<llvm::Constant*, 16> ClassMethodTypes; 948653f1b1bf293a9bd96fd4dd6372e779cc7af1597Douglas Gregor for (ObjCImplementationDecl::classmeth_iterator 94917945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis iter = OID->classmeth_begin(), endIter = OID->classmeth_end(); 950653f1b1bf293a9bd96fd4dd6372e779cc7af1597Douglas Gregor iter != endIter ; iter++) { 9517ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar ClassMethodSels.push_back((*iter)->getSelector()); 9527ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar std::string TypeStr; 9537ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar Context.getObjCEncodingForMethodDecl((*iter),TypeStr); 9547ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar ClassMethodTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr)); 9557ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar } 9567ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar // Collect the names of referenced protocols 9577ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar llvm::SmallVector<std::string, 16> Protocols; 9587ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar const ObjCList<ObjCProtocolDecl> &Protos =ClassDecl->getReferencedProtocols(); 9597ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar for (ObjCList<ObjCProtocolDecl>::iterator I = Protos.begin(), 9607ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar E = Protos.end(); I != E; ++I) 961d9d22dd9c94618490dbffb0e2caf222530ca39d3Chris Lattner Protocols.push_back((*I)->getNameAsString()); 9627ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 9637ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 9647ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 96520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Get the superclass pointer. 96620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *SuperClass; 9678ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner if (!SuperClassName.empty()) { 96820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov SuperClass = MakeConstantString(SuperClassName, ".super_class_name"); 96920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } else { 970a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson SuperClass = VMContext.getConstantPointerNull(PtrToInt8Ty); 97120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 97220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Empty vector used to construct empty method lists 97320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::SmallVector<llvm::Constant*, 1> empty; 97420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Generate the method and instance variable lists 97520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *MethodList = GenerateMethodList(ClassName, "", 976a4210076fc1d7ac0a20b8b4a79e18a8ae33b9c69Chris Lattner InstanceMethodSels, InstanceMethodTypes, false); 97720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *ClassMethodList = GenerateMethodList(ClassName, "", 978a4210076fc1d7ac0a20b8b4a79e18a8ae33b9c69Chris Lattner ClassMethodSels, ClassMethodTypes, true); 97920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *IvarList = GenerateIvarList(IvarNames, IvarTypes, 98020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov IvarOffsets); 98120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov //Generate metaclass for class methods 98220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *MetaClassStruct = GenerateClassStructure(NULLPtr, 9831565e0364b05d163640dd2b6feed43bae67df4fdChris Lattner NULLPtr, 0x2L, /*name*/"", 0, Zeros[0], GenerateIvarList( 98420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov empty, empty, empty), ClassMethodList, NULLPtr); 9855efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar 98620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Generate the class structure 9878ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner llvm::Constant *ClassStruct = 9888ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner GenerateClassStructure(MetaClassStruct, SuperClass, 0x1L, 9898ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner ClassName.c_str(), 0, 990a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getConstantInt(LongTy, instanceSize), IvarList, 99120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov MethodList, GenerateProtocolList(Protocols)); 9925efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar 9935efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar // Resolve the class aliases, if they exist. 9945efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar if (ClassPtrAlias) { 9955efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar ClassPtrAlias->setAliasee( 996a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getConstantExprBitCast(ClassStruct, IdTy)); 9975efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar ClassPtrAlias = 0; 9985efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar } 9995efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar if (MetaClassPtrAlias) { 10005efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar MetaClassPtrAlias->setAliasee( 1001a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getConstantExprBitCast(MetaClassStruct, IdTy)); 10025efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar MetaClassPtrAlias = 0; 10035efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar } 10045efccb1ab81a029ddeb3ea18e239d0ddc124ec2bDaniel Dunbar 100520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Add class structure to list to be added to the symtab later 1006a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson ClassStruct = VMContext.getConstantExprBitCast(ClassStruct, PtrToInt8Ty); 100720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Classes.push_back(ClassStruct); 100820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 100920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 1010c38e9affd4519ea199af22419c8c794973cc4b23Fariborz Jahanianvoid CGObjCGNU::MergeMetadataGlobals( 1011c38e9affd4519ea199af22419c8c794973cc4b23Fariborz Jahanian std::vector<llvm::Constant*> &UsedArray) { 1012c38e9affd4519ea199af22419c8c794973cc4b23Fariborz Jahanian} 1013c38e9affd4519ea199af22419c8c794973cc4b23Fariborz Jahanian 101420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikovllvm::Function *CGObjCGNU::ModuleInitFunction() { 101520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Only emit an ObjC load function if no Objective-C stuff has been called 101620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov if (Classes.empty() && Categories.empty() && ConstantStrings.empty() && 101720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ExistingProtocols.empty() && TypedSelectors.empty() && 10185f58b911304f7d114f929d1726a09cd1c828a5ddAnton Korobeynikov UntypedSelectors.empty()) 101920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov return NULL; 10201b8956e1ce4c5770982d6e59edb16979b500677aEli Friedman 1021e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner const llvm::StructType *SelStructTy = dyn_cast<llvm::StructType>( 1022e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner SelectorTy->getElementType()); 1023e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner const llvm::Type *SelStructPtrTy = SelectorTy; 1024e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner bool isSelOpaque = false; 1025e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner if (SelStructTy == 0) { 1026a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson SelStructTy = VMContext.getStructType(PtrToInt8Ty, PtrToInt8Ty, NULL); 1027a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson SelStructPtrTy = VMContext.getPointerTypeUnqual(SelStructTy); 1028e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner isSelOpaque = true; 1029e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner } 1030e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner 10311b8956e1ce4c5770982d6e59edb16979b500677aEli Friedman // Name the ObjC types to make the IR a bit easier to read 1032e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner TheModule.addTypeName(".objc_selector", SelStructPtrTy); 10331b8956e1ce4c5770982d6e59edb16979b500677aEli Friedman TheModule.addTypeName(".objc_id", IdTy); 10341b8956e1ce4c5770982d6e59edb16979b500677aEli Friedman TheModule.addTypeName(".objc_imp", IMPTy); 10351b8956e1ce4c5770982d6e59edb16979b500677aEli Friedman 103620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Elements; 103771238f67c5df13eef19450d66b7a7ab28377192aChris Lattner llvm::Constant *Statics = NULLPtr; 103820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Generate statics list: 103971238f67c5df13eef19450d66b7a7ab28377192aChris Lattner if (ConstantStrings.size()) { 1040a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::ArrayType *StaticsArrayTy = VMContext.getArrayType(PtrToInt8Ty, 104171238f67c5df13eef19450d66b7a7ab28377192aChris Lattner ConstantStrings.size() + 1); 104271238f67c5df13eef19450d66b7a7ab28377192aChris Lattner ConstantStrings.push_back(NULLPtr); 104371238f67c5df13eef19450d66b7a7ab28377192aChris Lattner Elements.push_back(MakeConstantString("NSConstantString", 104471238f67c5df13eef19450d66b7a7ab28377192aChris Lattner ".objc_static_class_name")); 1045a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Elements.push_back(VMContext.getConstantArray(StaticsArrayTy, 104671238f67c5df13eef19450d66b7a7ab28377192aChris Lattner ConstantStrings)); 104771238f67c5df13eef19450d66b7a7ab28377192aChris Lattner llvm::StructType *StaticsListTy = 1048a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getStructType(PtrToInt8Ty, StaticsArrayTy, NULL); 1049a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::Type *StaticsListPtrTy = 1050a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getPointerTypeUnqual(StaticsListTy); 105171238f67c5df13eef19450d66b7a7ab28377192aChris Lattner Statics = MakeGlobal(StaticsListTy, Elements, ".objc_statics"); 1052a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::ArrayType *StaticsListArrayTy = 1053a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getArrayType(StaticsListPtrTy, 2); 105471238f67c5df13eef19450d66b7a7ab28377192aChris Lattner Elements.clear(); 105571238f67c5df13eef19450d66b7a7ab28377192aChris Lattner Elements.push_back(Statics); 1056a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Elements.push_back(VMContext.getNullValue(StaticsListPtrTy)); 105771238f67c5df13eef19450d66b7a7ab28377192aChris Lattner Statics = MakeGlobal(StaticsListArrayTy, Elements, ".objc_statics_ptr"); 1058a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Statics = VMContext.getConstantExprBitCast(Statics, PtrTy); 105971238f67c5df13eef19450d66b7a7ab28377192aChris Lattner } 106020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Array of classes, categories, and constant objects 1061a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::ArrayType *ClassListTy = VMContext.getArrayType(PtrToInt8Ty, 106220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Classes.size() + Categories.size() + 2); 1063a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::StructType *SymTabTy = VMContext.getStructType(LongTy, SelStructPtrTy, 1064630404b16e886238ed68a1abbfe2e548f43aa664Chris Lattner llvm::Type::Int16Ty, 1065630404b16e886238ed68a1abbfe2e548f43aa664Chris Lattner llvm::Type::Int16Ty, 1066630404b16e886238ed68a1abbfe2e548f43aa664Chris Lattner ClassListTy, NULL); 106720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 106820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 106920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Pointer to an array of selectors used in this module. 107020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::vector<llvm::Constant*> Selectors; 107120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov for (std::map<TypedSelector, llvm::GlobalAlias*>::iterator 107220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov iter = TypedSelectors.begin(), iterEnd = TypedSelectors.end(); 107320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov iter != iterEnd ; ++iter) { 1074630404b16e886238ed68a1abbfe2e548f43aa664Chris Lattner Elements.push_back(MakeConstantString(iter->first.first, ".objc_sel_name")); 1075630404b16e886238ed68a1abbfe2e548f43aa664Chris Lattner Elements.push_back(MakeConstantString(iter->first.second, 1076630404b16e886238ed68a1abbfe2e548f43aa664Chris Lattner ".objc_sel_types")); 1077a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Selectors.push_back(VMContext.getConstantStruct(SelStructTy, Elements)); 107820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 107920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 108020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov for (llvm::StringMap<llvm::GlobalAlias*>::iterator 108120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov iter = UntypedSelectors.begin(), iterEnd = UntypedSelectors.end(); 1082630404b16e886238ed68a1abbfe2e548f43aa664Chris Lattner iter != iterEnd; ++iter) { 108320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back( 1084630404b16e886238ed68a1abbfe2e548f43aa664Chris Lattner MakeConstantString(iter->getKeyData(), ".objc_sel_name")); 108520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(NULLPtr); 1086a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Selectors.push_back(VMContext.getConstantStruct(SelStructTy, Elements)); 108720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 108820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 108920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(NULLPtr); 109020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(NULLPtr); 1091a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Selectors.push_back(VMContext.getConstantStruct(SelStructTy, Elements)); 109220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 109320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Number of static selectors 1094a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Elements.push_back(VMContext.getConstantInt(LongTy, Selectors.size() )); 109520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *SelectorList = MakeGlobal( 1096a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getArrayType(SelStructTy, Selectors.size()), Selectors, 109720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov ".objc_selector_list"); 1098a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Elements.push_back(VMContext.getConstantExprBitCast(SelectorList, 1099e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner SelStructPtrTy)); 110020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 110120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Now that all of the static selectors exist, create pointers to them. 110220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov int index = 0; 110320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov for (std::map<TypedSelector, llvm::GlobalAlias*>::iterator 110420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov iter=TypedSelectors.begin(), iterEnd =TypedSelectors.end(); 110520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov iter != iterEnd; ++iter) { 110620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *Idxs[] = {Zeros[0], 1107a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getConstantInt(llvm::Type::Int32Ty, index++), Zeros[0]}; 11081c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson llvm::Constant *SelPtr = new llvm::GlobalVariable(TheModule, SelStructPtrTy, 11091c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson true, llvm::GlobalValue::InternalLinkage, 1110a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getConstantExprGetElementPtr(SelectorList, Idxs, 2), 11111c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson ".objc_sel_ptr"); 1112e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner // If selectors are defined as an opaque type, cast the pointer to this 1113e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner // type. 1114e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner if (isSelOpaque) { 1115a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson SelPtr = VMContext.getConstantExprBitCast(SelPtr, 1116a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getPointerTypeUnqual(SelectorTy)); 1117e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner } 111820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov (*iter).second->setAliasee(SelPtr); 111920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 112020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov for (llvm::StringMap<llvm::GlobalAlias*>::iterator 112120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov iter=UntypedSelectors.begin(), iterEnd = UntypedSelectors.end(); 112220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov iter != iterEnd; iter++) { 112320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *Idxs[] = {Zeros[0], 1124a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getConstantInt(llvm::Type::Int32Ty, index++), Zeros[0]}; 11251c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson llvm::Constant *SelPtr = new llvm::GlobalVariable(TheModule, SelStructPtrTy, 11261c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson true, llvm::GlobalValue::InternalLinkage, 1127a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getConstantExprGetElementPtr(SelectorList, Idxs, 2), 11281c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson ".objc_sel_ptr"); 1129e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner // If selectors are defined as an opaque type, cast the pointer to this 1130e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner // type. 1131e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner if (isSelOpaque) { 1132a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson SelPtr = VMContext.getConstantExprBitCast(SelPtr, 1133a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getPointerTypeUnqual(SelectorTy)); 1134e160c9b09d2f5098dfdcca99b9c6485487e0c252Chris Lattner } 113520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov (*iter).second->setAliasee(SelPtr); 113620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov } 113720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Number of classes defined. 1138a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Elements.push_back(VMContext.getConstantInt(llvm::Type::Int16Ty, 113920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Classes.size())); 114020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Number of categories defined 1141a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Elements.push_back(VMContext.getConstantInt(llvm::Type::Int16Ty, 114220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Categories.size())); 114320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Create an array of classes, then categories, then static object instances 114420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Classes.insert(Classes.end(), Categories.begin(), Categories.end()); 114520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // NULL-terminated list of static object instances (mainly constant strings) 114620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Classes.push_back(Statics); 114720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Classes.push_back(NULLPtr); 1148a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::Constant *ClassList = VMContext.getConstantArray(ClassListTy, Classes); 114920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(ClassList); 115020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Construct the symbol table 115120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Constant *SymTab= MakeGlobal(SymTabTy, Elements); 115220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 115320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // The symbol table is contained in a module which has some version-checking 115420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // constants 1155a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::StructType * ModuleTy = VMContext.getStructType(LongTy, LongTy, 1156a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson PtrToInt8Ty, VMContext.getPointerTypeUnqual(SymTabTy), NULL); 115720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.clear(); 115820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Runtime version used for compatibility checking. 11599cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian if (CGM.getContext().getLangOptions().ObjCNonFragileABI) { 1160a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Elements.push_back(VMContext.getConstantInt(LongTy, 11619cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian NonFragileRuntimeVersion)); 11629cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian } else { 1163a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Elements.push_back(VMContext.getConstantInt(LongTy, RuntimeVersion)); 11649cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian } 116591a0b51438e5259a79d68d7450c453827beed9e2Fariborz Jahanian // sizeof(ModuleTy) 116691a0b51438e5259a79d68d7450c453827beed9e2Fariborz Jahanian llvm::TargetData td = llvm::TargetData::TargetData(&TheModule); 1167a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Elements.push_back(VMContext.getConstantInt(LongTy, 1168a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson td.getTypeSizeInBits(ModuleTy)/8)); 116920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov //FIXME: Should be the path to the file where this module was declared 117020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(NULLPtr); 117120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Elements.push_back(SymTab); 117220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Value *Module = MakeGlobal(ModuleTy, Elements); 117320ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 117420ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // Create the load function calling the runtime entry point with the module 117520ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov // structure 117620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::Function * LoadFunction = llvm::Function::Create( 1177a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getFunctionType(llvm::Type::VoidTy, false), 117820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::GlobalValue::InternalLinkage, ".objc_load_function", 117920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov &TheModule); 118020ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov llvm::BasicBlock *EntryBB = llvm::BasicBlock::Create("entry", LoadFunction); 1181a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson CGBuilderTy Builder(VMContext); 118220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Builder.SetInsertPoint(EntryBB); 118326c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian 118426c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian std::vector<const llvm::Type*> Params(1, 1185a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getPointerTypeUnqual(ModuleTy)); 1186a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::Value *Register = CGM.CreateRuntimeFunction(VMContext.getFunctionType( 118726c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian llvm::Type::VoidTy, Params, true), "__objc_exec_class"); 118820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Builder.CreateCall(Register, Module); 118920ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov Builder.CreateRetVoid(); 11909cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian 119120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov return LoadFunction; 119220ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov} 11937ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar 1194679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanianllvm::Function *CGObjCGNU::GenerateMethod(const ObjCMethodDecl *OMD, 1195679a502d462ef819e6175b58e255ca3f3391e7cfFariborz Jahanian const ObjCContainerDecl *CD) { 11967ded7f4983dc4a20561db7a8d02c6b2435030961Daniel Dunbar const ObjCCategoryImplDecl *OCD = 11973e0a540b6d846178857289ec0eb8470a278d11a3Steve Naroff dyn_cast<ObjCCategoryImplDecl>(OMD->getDeclContext()); 1198077bf5e2f48acfa9e7d69429b6e4ba86ea14896dChris Lattner std::string CategoryName = OCD ? OCD->getNameAsString() : ""; 1199077bf5e2f48acfa9e7d69429b6e4ba86ea14896dChris Lattner std::string ClassName = OMD->getClassInterface()->getNameAsString(); 1200077bf5e2f48acfa9e7d69429b6e4ba86ea14896dChris Lattner std::string MethodName = OMD->getSelector().getAsString(); 1201f8d49f64ef6ab7e632717a31631fc289aab69428Douglas Gregor bool isClassMethod = !OMD->isInstanceMethod(); 1202391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner 1203541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar CodeGenTypes &Types = CGM.getTypes(); 120445c25ba11cbf8c9a461def5b03f6ee9481e06769Daniel Dunbar const llvm::FunctionType *MethodTy = 1205541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar Types.GetFunctionType(Types.getFunctionInfo(OMD), OMD->isVariadic()); 120620ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov std::string FunctionName = SymbolNameForMethod(ClassName, CategoryName, 120720ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov MethodName, isClassMethod); 120820ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov 1209984d0b414bc76d3530b9bc55a5a55834ba76c607Gabor Greif llvm::Function *Method = llvm::Function::Create(MethodTy, 1210391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner llvm::GlobalValue::InternalLinkage, 121120ff3108fcd2c3bd734dc79efc22ebaa090abd41Anton Korobeynikov FunctionName, 1212391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner &TheModule); 1213391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner return Method; 1214391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner} 1215391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner 121649f6602707887eea1a558a1dffe0213102f887f2Daniel Dunbarllvm::Function *CGObjCGNU::GetPropertyGetFunction() { 1217cb9dad0393a000bea87370c4d12faf3667ed22e5Fariborz Jahanian std::vector<const llvm::Type*> Params; 1218cb9dad0393a000bea87370c4d12faf3667ed22e5Fariborz Jahanian const llvm::Type *BoolTy = 1219cb9dad0393a000bea87370c4d12faf3667ed22e5Fariborz Jahanian CGM.getTypes().ConvertType(CGM.getContext().BoolTy); 1220cb9dad0393a000bea87370c4d12faf3667ed22e5Fariborz Jahanian Params.push_back(IdTy); 1221cb9dad0393a000bea87370c4d12faf3667ed22e5Fariborz Jahanian Params.push_back(SelectorTy); 1222cb9dad0393a000bea87370c4d12faf3667ed22e5Fariborz Jahanian // FIXME: Using LongTy for ptrdiff_t is probably broken on Win64 1223cb9dad0393a000bea87370c4d12faf3667ed22e5Fariborz Jahanian Params.push_back(LongTy); 1224cb9dad0393a000bea87370c4d12faf3667ed22e5Fariborz Jahanian Params.push_back(BoolTy); 1225cb9dad0393a000bea87370c4d12faf3667ed22e5Fariborz Jahanian // void objc_getProperty (id, SEL, ptrdiff_t, bool) 1226cb9dad0393a000bea87370c4d12faf3667ed22e5Fariborz Jahanian const llvm::FunctionType *FTy = 1227a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getFunctionType(IdTy, Params, false); 1228cb9dad0393a000bea87370c4d12faf3667ed22e5Fariborz Jahanian return cast<llvm::Function>(CGM.CreateRuntimeFunction(FTy, 1229cb9dad0393a000bea87370c4d12faf3667ed22e5Fariborz Jahanian "objc_getProperty")); 123049f6602707887eea1a558a1dffe0213102f887f2Daniel Dunbar} 123149f6602707887eea1a558a1dffe0213102f887f2Daniel Dunbar 123249f6602707887eea1a558a1dffe0213102f887f2Daniel Dunbarllvm::Function *CGObjCGNU::GetPropertySetFunction() { 1233cb9dad0393a000bea87370c4d12faf3667ed22e5Fariborz Jahanian std::vector<const llvm::Type*> Params; 1234cb9dad0393a000bea87370c4d12faf3667ed22e5Fariborz Jahanian const llvm::Type *BoolTy = 1235cb9dad0393a000bea87370c4d12faf3667ed22e5Fariborz Jahanian CGM.getTypes().ConvertType(CGM.getContext().BoolTy); 1236cb9dad0393a000bea87370c4d12faf3667ed22e5Fariborz Jahanian Params.push_back(IdTy); 1237cb9dad0393a000bea87370c4d12faf3667ed22e5Fariborz Jahanian Params.push_back(SelectorTy); 1238cb9dad0393a000bea87370c4d12faf3667ed22e5Fariborz Jahanian // FIXME: Using LongTy for ptrdiff_t is probably broken on Win64 1239cb9dad0393a000bea87370c4d12faf3667ed22e5Fariborz Jahanian Params.push_back(LongTy); 1240cb9dad0393a000bea87370c4d12faf3667ed22e5Fariborz Jahanian Params.push_back(IdTy); 1241cb9dad0393a000bea87370c4d12faf3667ed22e5Fariborz Jahanian Params.push_back(BoolTy); 1242cb9dad0393a000bea87370c4d12faf3667ed22e5Fariborz Jahanian Params.push_back(BoolTy); 1243cb9dad0393a000bea87370c4d12faf3667ed22e5Fariborz Jahanian // void objc_setProperty (id, SEL, ptrdiff_t, id, bool, bool) 1244cb9dad0393a000bea87370c4d12faf3667ed22e5Fariborz Jahanian const llvm::FunctionType *FTy = 1245a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getFunctionType(llvm::Type::VoidTy, Params, false); 1246cb9dad0393a000bea87370c4d12faf3667ed22e5Fariborz Jahanian return cast<llvm::Function>(CGM.CreateRuntimeFunction(FTy, 1247cb9dad0393a000bea87370c4d12faf3667ed22e5Fariborz Jahanian "objc_setProperty")); 124849f6602707887eea1a558a1dffe0213102f887f2Daniel Dunbar} 124949f6602707887eea1a558a1dffe0213102f887f2Daniel Dunbar 125049f6602707887eea1a558a1dffe0213102f887f2Daniel Dunbarllvm::Function *CGObjCGNU::EnumerationMutationFunction() { 125126c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian std::vector<const llvm::Type*> Params(1, IdTy); 125226c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian return cast<llvm::Function>(CGM.CreateRuntimeFunction( 1253a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getFunctionType(llvm::Type::VoidTy, Params, true), 125426c8294dacc2efc83d8d560593ff863e7a32a48fFariborz Jahanian "objc_enumerationMutation")); 12552abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson} 12562abd89c039e835e84519a4cd8a7495899a70153dAnders Carlsson 1257bd71be4683c195260d5245118b1e13e6b2e20504Fariborz Jahanianvoid CGObjCGNU::EmitTryOrSynchronizedStmt(CodeGen::CodeGenFunction &CGF, 1258bd71be4683c195260d5245118b1e13e6b2e20504Fariborz Jahanian const Stmt &S) { 12595dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Pointer to the personality function 12605dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::Constant *Personality = 1261a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson CGM.CreateRuntimeFunction(VMContext.getFunctionType(llvm::Type::Int32Ty, 1262b59761b2530bf54926bf67de11956f3820ac38d9Chris Lattner true), 12635dc0867af17b3bd6f567897433853b2b4767446cChris Lattner "__gnu_objc_personality_v0"); 1264a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson Personality = VMContext.getConstantExprBitCast(Personality, PtrTy); 12655dc0867af17b3bd6f567897433853b2b4767446cChris Lattner std::vector<const llvm::Type*> Params; 12665dc0867af17b3bd6f567897433853b2b4767446cChris Lattner Params.push_back(PtrTy); 12675dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::Value *RethrowFn = 1268a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson CGM.CreateRuntimeFunction(VMContext.getFunctionType(llvm::Type::VoidTy, 12695dc0867af17b3bd6f567897433853b2b4767446cChris Lattner Params, false), "_Unwind_Resume_or_Rethrow"); 12705dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 12715dc0867af17b3bd6f567897433853b2b4767446cChris Lattner bool isTry = isa<ObjCAtTryStmt>(S); 12725dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *TryBlock = CGF.createBasicBlock("try"); 12735dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *PrevLandingPad = CGF.getInvokeDest(); 12745dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *TryHandler = CGF.createBasicBlock("try.handler"); 1275d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner llvm::BasicBlock *CatchInCatch = CGF.createBasicBlock("catch.rethrow"); 12765dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *FinallyBlock = CGF.createBasicBlock("finally"); 12775dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *FinallyRethrow = CGF.createBasicBlock("finally.throw"); 12785dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *FinallyEnd = CGF.createBasicBlock("finally.end"); 12795dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 12805dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // GNU runtime does not currently support @synchronized() 12815dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (!isTry) { 1282d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner std::vector<const llvm::Type*> Args(1, IdTy); 1283d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner llvm::FunctionType *FTy = 1284a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getFunctionType(llvm::Type::VoidTy, Args, false); 1285d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner llvm::Value *SyncEnter = CGM.CreateRuntimeFunction(FTy, "objc_sync_enter"); 1286d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner llvm::Value *SyncArg = 1287d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.EmitScalarExpr(cast<ObjCAtSynchronizedStmt>(S).getSynchExpr()); 1288d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner SyncArg = CGF.Builder.CreateBitCast(SyncArg, IdTy); 1289d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.Builder.CreateCall(SyncEnter, SyncArg); 12905dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 12915dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 1292d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner 12935dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Push an EH context entry, used for handling rethrows and jumps 12945dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // through finally. 12955dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.PushCleanupBlock(FinallyBlock); 12965dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 12975dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Emit the statements in the @try {} block 12985dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.setInvokeDest(TryHandler); 12995dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 13005dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBlock(TryBlock); 13015dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitStmt(isTry ? cast<ObjCAtTryStmt>(S).getTryBody() 13025dc0867af17b3bd6f567897433853b2b4767446cChris Lattner : cast<ObjCAtSynchronizedStmt>(S).getSynchBody()); 13035dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 13045dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Jump to @finally if there is no exception 13055dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBranchThroughCleanup(FinallyEnd); 13065dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 13075dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Emit the handlers 13085dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBlock(TryHandler); 13095dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 1310bb422ad4f449cd195a141309a886ff467baac5b2Chris Lattner // Get the correct versions of the exception handling intrinsics 1311bb422ad4f449cd195a141309a886ff467baac5b2Chris Lattner llvm::TargetData td = llvm::TargetData::TargetData(&TheModule); 1312bb422ad4f449cd195a141309a886ff467baac5b2Chris Lattner int PointerWidth = td.getTypeSizeInBits(PtrTy); 1313bb422ad4f449cd195a141309a886ff467baac5b2Chris Lattner assert((PointerWidth == 32 || PointerWidth == 64) && 1314bb422ad4f449cd195a141309a886ff467baac5b2Chris Lattner "Can't yet handle exceptions if pointers are not 32 or 64 bits"); 13155dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::Value *llvm_eh_exception = 13165dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.CGM.getIntrinsic(llvm::Intrinsic::eh_exception); 1317bb422ad4f449cd195a141309a886ff467baac5b2Chris Lattner llvm::Value *llvm_eh_selector = PointerWidth == 32 ? 1318bb422ad4f449cd195a141309a886ff467baac5b2Chris Lattner CGF.CGM.getIntrinsic(llvm::Intrinsic::eh_selector_i32) : 1319bb422ad4f449cd195a141309a886ff467baac5b2Chris Lattner CGF.CGM.getIntrinsic(llvm::Intrinsic::eh_selector_i64); 1320bb422ad4f449cd195a141309a886ff467baac5b2Chris Lattner llvm::Value *llvm_eh_typeid_for = PointerWidth == 32 ? 1321bb422ad4f449cd195a141309a886ff467baac5b2Chris Lattner CGF.CGM.getIntrinsic(llvm::Intrinsic::eh_typeid_for_i32) : 1322bb422ad4f449cd195a141309a886ff467baac5b2Chris Lattner CGF.CGM.getIntrinsic(llvm::Intrinsic::eh_typeid_for_i64); 13235dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 13245dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Exception object 13255dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::Value *Exc = CGF.Builder.CreateCall(llvm_eh_exception, "exc"); 13265dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::Value *RethrowPtr = CGF.CreateTempAlloca(Exc->getType(), "_rethrow"); 13275dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 13285dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::SmallVector<llvm::Value*, 8> ESelArgs; 13295dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::SmallVector<std::pair<const ParmVarDecl*, const Stmt*>, 8> Handlers; 13305dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 13315dc0867af17b3bd6f567897433853b2b4767446cChris Lattner ESelArgs.push_back(Exc); 13325dc0867af17b3bd6f567897433853b2b4767446cChris Lattner ESelArgs.push_back(Personality); 13335dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 13345dc0867af17b3bd6f567897433853b2b4767446cChris Lattner bool HasCatchAll = false; 13355dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Only @try blocks are allowed @catch blocks, but both can have @finally 13365dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (isTry) { 13375dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (const ObjCAtCatchStmt* CatchStmt = 13385dc0867af17b3bd6f567897433853b2b4767446cChris Lattner cast<ObjCAtTryStmt>(S).getCatchStmts()) { 1339d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.setInvokeDest(CatchInCatch); 13405dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 13415dc0867af17b3bd6f567897433853b2b4767446cChris Lattner for (; CatchStmt; CatchStmt = CatchStmt->getNextCatchStmt()) { 13425dc0867af17b3bd6f567897433853b2b4767446cChris Lattner const ParmVarDecl *CatchDecl = CatchStmt->getCatchParamDecl(); 13435dc0867af17b3bd6f567897433853b2b4767446cChris Lattner Handlers.push_back(std::make_pair(CatchDecl, CatchStmt->getCatchBody())); 13445dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 13455dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // @catch() and @catch(id) both catch any ObjC exception 134614108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff if (!CatchDecl || CatchDecl->getType()->isObjCIdType() 13475dc0867af17b3bd6f567897433853b2b4767446cChris Lattner || CatchDecl->getType()->isObjCQualifiedIdType()) { 13485dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Use i8* null here to signal this is a catch all, not a cleanup. 13495dc0867af17b3bd6f567897433853b2b4767446cChris Lattner ESelArgs.push_back(NULLPtr); 13505dc0867af17b3bd6f567897433853b2b4767446cChris Lattner HasCatchAll = true; 13515dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // No further catches after this one will ever by reached 13525dc0867af17b3bd6f567897433853b2b4767446cChris Lattner break; 13535dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 13545dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 13555dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // All other types should be Objective-C interface pointer types. 135614108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff const ObjCObjectPointerType *OPT = 135714108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff CatchDecl->getType()->getAsObjCObjectPointerType(); 135814108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff assert(OPT && "Invalid @catch type."); 13595dc0867af17b3bd6f567897433853b2b4767446cChris Lattner const ObjCInterfaceType *IT = 136014108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff OPT->getPointeeType()->getAsObjCInterfaceType(); 13615dc0867af17b3bd6f567897433853b2b4767446cChris Lattner assert(IT && "Invalid @catch type."); 1362bb422ad4f449cd195a141309a886ff467baac5b2Chris Lattner llvm::Value *EHType = 1363bb422ad4f449cd195a141309a886ff467baac5b2Chris Lattner MakeConstantString(IT->getDecl()->getNameAsString()); 13645dc0867af17b3bd6f567897433853b2b4767446cChris Lattner ESelArgs.push_back(EHType); 13655dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 13665dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 13675dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 13685dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 13695dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // We use a cleanup unless there was already a catch all. 13705dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (!HasCatchAll) { 1371a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson ESelArgs.push_back(VMContext.getConstantInt(llvm::Type::Int32Ty, 0)); 13725dc0867af17b3bd6f567897433853b2b4767446cChris Lattner Handlers.push_back(std::make_pair((const ParmVarDecl*) 0, (const Stmt*) 0)); 13735dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 13745dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 13755dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Find which handler was matched. 1376bb422ad4f449cd195a141309a886ff467baac5b2Chris Lattner llvm::Value *ESelector = CGF.Builder.CreateCall(llvm_eh_selector, 13775dc0867af17b3bd6f567897433853b2b4767446cChris Lattner ESelArgs.begin(), ESelArgs.end(), "selector"); 13785dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 13795dc0867af17b3bd6f567897433853b2b4767446cChris Lattner for (unsigned i = 0, e = Handlers.size(); i != e; ++i) { 13805dc0867af17b3bd6f567897433853b2b4767446cChris Lattner const ParmVarDecl *CatchParam = Handlers[i].first; 13815dc0867af17b3bd6f567897433853b2b4767446cChris Lattner const Stmt *CatchBody = Handlers[i].second; 13825dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 13835dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *Next = 0; 13845dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 13855dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // The last handler always matches. 13865dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (i + 1 != e) { 13875dc0867af17b3bd6f567897433853b2b4767446cChris Lattner assert(CatchParam && "Only last handler can be a catch all."); 13885dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 13895dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Test whether this block matches the type for the selector and branch 13905dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // to Match if it does, or to the next BB if it doesn't. 13915dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *Match = CGF.createBasicBlock("match"); 13925dc0867af17b3bd6f567897433853b2b4767446cChris Lattner Next = CGF.createBasicBlock("catch.next"); 1393bb422ad4f449cd195a141309a886ff467baac5b2Chris Lattner llvm::Value *Id = CGF.Builder.CreateCall(llvm_eh_typeid_for, 13945dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.Builder.CreateBitCast(ESelArgs[i+2], PtrTy)); 13955dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.Builder.CreateCondBr(CGF.Builder.CreateICmpEQ(ESelector, Id), Match, 13965dc0867af17b3bd6f567897433853b2b4767446cChris Lattner Next); 13975dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 13985dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBlock(Match); 13995dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 14005dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 14015dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (CatchBody) { 14025dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::Value *ExcObject = CGF.Builder.CreateBitCast(Exc, 14035dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.ConvertType(CatchParam->getType())); 14045dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 14055dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Bind the catch parameter if it exists. 14065dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (CatchParam) { 14075dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // CatchParam is a ParmVarDecl because of the grammar 14085dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // construction used to handle this, but for codegen purposes 14095dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // we treat this as a local decl. 14105dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitLocalBlockVarDecl(*CatchParam); 14115dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.Builder.CreateStore(ExcObject, CGF.GetAddrOfLocalVar(CatchParam)); 14125dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 14135dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 14145dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.ObjCEHValueStack.push_back(ExcObject); 14155dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitStmt(CatchBody); 14165dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.ObjCEHValueStack.pop_back(); 14175dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 14185dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBranchThroughCleanup(FinallyEnd); 14195dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 14205dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (Next) 14215dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBlock(Next); 14225dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } else { 14235dc0867af17b3bd6f567897433853b2b4767446cChris Lattner assert(!Next && "catchup should be last handler."); 14245dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 14255dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.Builder.CreateStore(Exc, RethrowPtr); 14265dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBranchThroughCleanup(FinallyRethrow); 14275dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 14285dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 1429d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner // The @finally block is a secondary landing pad for any exceptions thrown in 1430d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner // @catch() blocks 1431d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.EmitBlock(CatchInCatch); 1432d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner Exc = CGF.Builder.CreateCall(llvm_eh_exception, "exc"); 1433d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner ESelArgs.clear(); 1434d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner ESelArgs.push_back(Exc); 1435d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner ESelArgs.push_back(Personality); 1436a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson ESelArgs.push_back(VMContext.getConstantInt(llvm::Type::Int32Ty, 0)); 1437d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.Builder.CreateCall(llvm_eh_selector, ESelArgs.begin(), ESelArgs.end(), 1438d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner "selector"); 1439d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.Builder.CreateCall(llvm_eh_typeid_for, 1440d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.Builder.CreateIntToPtr(ESelArgs[2], PtrTy)); 1441d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.Builder.CreateStore(Exc, RethrowPtr); 1442d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.EmitBranchThroughCleanup(FinallyRethrow); 1443d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner 14445dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CodeGenFunction::CleanupBlockInfo Info = CGF.PopCleanupBlock(); 14455dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 14465dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.setInvokeDest(PrevLandingPad); 14475dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 14485dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBlock(FinallyBlock); 14495dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 1450d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner 14515dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (isTry) { 14525dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (const ObjCAtFinallyStmt* FinallyStmt = 14535dc0867af17b3bd6f567897433853b2b4767446cChris Lattner cast<ObjCAtTryStmt>(S).getFinallyStmt()) 14545dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitStmt(FinallyStmt->getFinallyBody()); 14555dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } else { 1456d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner // Emit 'objc_sync_exit(expr)' as finally's sole statement for 14575dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // @synchronized. 1458d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner std::vector<const llvm::Type*> Args(1, IdTy); 1459d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner llvm::FunctionType *FTy = 1460a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getFunctionType(llvm::Type::VoidTy, Args, false); 1461d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner llvm::Value *SyncExit = CGM.CreateRuntimeFunction(FTy, "objc_sync_exit"); 1462d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner llvm::Value *SyncArg = 1463d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.EmitScalarExpr(cast<ObjCAtSynchronizedStmt>(S).getSynchExpr()); 1464d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner SyncArg = CGF.Builder.CreateBitCast(SyncArg, IdTy); 1465d6a9907ceff2c52738a72e38b6a04ab44ce1173fChris Lattner CGF.Builder.CreateCall(SyncExit, SyncArg); 14665dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 14675dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 14685dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (Info.SwitchBlock) 14695dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBlock(Info.SwitchBlock); 14705dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (Info.EndBlock) 14715dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBlock(Info.EndBlock); 14725dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 14735dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Branch around the rethrow code. 14745dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBranch(FinallyEnd); 14755dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 14765dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBlock(FinallyRethrow); 14775dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.Builder.CreateCall(RethrowFn, CGF.Builder.CreateLoad(RethrowPtr)); 14785dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.Builder.CreateUnreachable(); 14795dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 14805dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.EmitBlock(FinallyEnd); 14815dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 148264d5d6c5903157c521af496479d06dc26032d718Anders Carlsson} 148364d5d6c5903157c521af496479d06dc26032d718Anders Carlsson 148464d5d6c5903157c521af496479d06dc26032d718Anders Carlssonvoid CGObjCGNU::EmitThrowStmt(CodeGen::CodeGenFunction &CGF, 148549f6602707887eea1a558a1dffe0213102f887f2Daniel Dunbar const ObjCAtThrowStmt &S) { 14865dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::Value *ExceptionAsObject; 14875dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 14885dc0867af17b3bd6f567897433853b2b4767446cChris Lattner std::vector<const llvm::Type*> Args(1, IdTy); 14895dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::FunctionType *FTy = 1490a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getFunctionType(llvm::Type::VoidTy, Args, false); 14915dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::Value *ThrowFn = 14925dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGM.CreateRuntimeFunction(FTy, "objc_exception_throw"); 14935dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 14945dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (const Expr *ThrowExpr = S.getThrowExpr()) { 14955dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::Value *Exception = CGF.EmitScalarExpr(ThrowExpr); 14961e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian ExceptionAsObject = Exception; 14975dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } else { 14985dc0867af17b3bd6f567897433853b2b4767446cChris Lattner assert((!CGF.ObjCEHValueStack.empty() && CGF.ObjCEHValueStack.back()) && 14995dc0867af17b3bd6f567897433853b2b4767446cChris Lattner "Unexpected rethrow outside @catch block."); 15005dc0867af17b3bd6f567897433853b2b4767446cChris Lattner ExceptionAsObject = CGF.ObjCEHValueStack.back(); 15015dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 15021e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian ExceptionAsObject = 15031e64a9531bf6e9d99ad3271b3a735ef702689b06Fariborz Jahanian CGF.Builder.CreateBitCast(ExceptionAsObject, IdTy, "tmp"); 15045dc0867af17b3bd6f567897433853b2b4767446cChris Lattner 15055dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Note: This may have to be an invoke, if we want to support constructs like: 15065dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // @try { 15075dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // @throw(obj); 15085dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // } 15095dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // @catch(id) ... 15105dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // 15115dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // This is effectively turning @throw into an incredibly-expensive goto, but 15125dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // it may happen as a result of inlining followed by missed optimizations, or 15135dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // as a result of stupidity. 15145dc0867af17b3bd6f567897433853b2b4767446cChris Lattner llvm::BasicBlock *UnwindBB = CGF.getInvokeDest(); 15155dc0867af17b3bd6f567897433853b2b4767446cChris Lattner if (!UnwindBB) { 15165dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.Builder.CreateCall(ThrowFn, ExceptionAsObject); 15175dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.Builder.CreateUnreachable(); 15185dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } else { 15195dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.Builder.CreateInvoke(ThrowFn, UnwindBB, UnwindBB, &ExceptionAsObject, 15205dc0867af17b3bd6f567897433853b2b4767446cChris Lattner &ExceptionAsObject+1); 15215dc0867af17b3bd6f567897433853b2b4767446cChris Lattner } 15225dc0867af17b3bd6f567897433853b2b4767446cChris Lattner // Clear the insertion point to indicate we are in unreachable code. 15235dc0867af17b3bd6f567897433853b2b4767446cChris Lattner CGF.Builder.ClearInsertionPoint(); 152464d5d6c5903157c521af496479d06dc26032d718Anders Carlsson} 152564d5d6c5903157c521af496479d06dc26032d718Anders Carlsson 15263e283e344595e0bd499b13b30a92b7d9c10a2140Fariborz Jahanianllvm::Value * CGObjCGNU::EmitObjCWeakRead(CodeGen::CodeGenFunction &CGF, 15276dc2317b59cb1180a59f6c283d96b7a5dfeb5307Fariborz Jahanian llvm::Value *AddrWeakObj) 15286dc2317b59cb1180a59f6c283d96b7a5dfeb5307Fariborz Jahanian{ 15296dc2317b59cb1180a59f6c283d96b7a5dfeb5307Fariborz Jahanian return 0; 15306dc2317b59cb1180a59f6c283d96b7a5dfeb5307Fariborz Jahanian} 15316dc2317b59cb1180a59f6c283d96b7a5dfeb5307Fariborz Jahanian 15323e283e344595e0bd499b13b30a92b7d9c10a2140Fariborz Jahanianvoid CGObjCGNU::EmitObjCWeakAssign(CodeGen::CodeGenFunction &CGF, 15333e283e344595e0bd499b13b30a92b7d9c10a2140Fariborz Jahanian llvm::Value *src, llvm::Value *dst) 15343e283e344595e0bd499b13b30a92b7d9c10a2140Fariborz Jahanian{ 15353e283e344595e0bd499b13b30a92b7d9c10a2140Fariborz Jahanian return; 15363e283e344595e0bd499b13b30a92b7d9c10a2140Fariborz Jahanian} 15373e283e344595e0bd499b13b30a92b7d9c10a2140Fariborz Jahanian 153858626500527695865683d1d65053743de8770b60Fariborz Jahanianvoid CGObjCGNU::EmitObjCGlobalAssign(CodeGen::CodeGenFunction &CGF, 153958626500527695865683d1d65053743de8770b60Fariborz Jahanian llvm::Value *src, llvm::Value *dst) 154058626500527695865683d1d65053743de8770b60Fariborz Jahanian{ 154158626500527695865683d1d65053743de8770b60Fariborz Jahanian return; 154258626500527695865683d1d65053743de8770b60Fariborz Jahanian} 154358626500527695865683d1d65053743de8770b60Fariborz Jahanian 15447eda8367cf63caee8acf907356b1d199ccaa6e89Fariborz Jahanianvoid CGObjCGNU::EmitObjCIvarAssign(CodeGen::CodeGenFunction &CGF, 15457eda8367cf63caee8acf907356b1d199ccaa6e89Fariborz Jahanian llvm::Value *src, llvm::Value *dst) 15467eda8367cf63caee8acf907356b1d199ccaa6e89Fariborz Jahanian{ 15477eda8367cf63caee8acf907356b1d199ccaa6e89Fariborz Jahanian return; 15487eda8367cf63caee8acf907356b1d199ccaa6e89Fariborz Jahanian} 15497eda8367cf63caee8acf907356b1d199ccaa6e89Fariborz Jahanian 155058626500527695865683d1d65053743de8770b60Fariborz Jahanianvoid CGObjCGNU::EmitObjCStrongCastAssign(CodeGen::CodeGenFunction &CGF, 155158626500527695865683d1d65053743de8770b60Fariborz Jahanian llvm::Value *src, llvm::Value *dst) 155258626500527695865683d1d65053743de8770b60Fariborz Jahanian{ 155358626500527695865683d1d65053743de8770b60Fariborz Jahanian return; 155458626500527695865683d1d65053743de8770b60Fariborz Jahanian} 155558626500527695865683d1d65053743de8770b60Fariborz Jahanian 1556082b02e8403d3ee9d2ded969fbe0e5d472f04cd8Fariborz Jahanianvoid CGObjCGNU::EmitGCMemmoveCollectable(CodeGen::CodeGenFunction &CGF, 1557082b02e8403d3ee9d2ded969fbe0e5d472f04cd8Fariborz Jahanian llvm::Value *DestPtr, 1558082b02e8403d3ee9d2ded969fbe0e5d472f04cd8Fariborz Jahanian llvm::Value *SrcPtr, 1559082b02e8403d3ee9d2ded969fbe0e5d472f04cd8Fariborz Jahanian unsigned long size) { 1560082b02e8403d3ee9d2ded969fbe0e5d472f04cd8Fariborz Jahanian return; 1561082b02e8403d3ee9d2ded969fbe0e5d472f04cd8Fariborz Jahanian} 1562082b02e8403d3ee9d2ded969fbe0e5d472f04cd8Fariborz Jahanian 15639cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanianllvm::GlobalVariable *CGObjCGNU::ObjCIvarOffsetVariable( 15649cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian const ObjCInterfaceDecl *ID, 15659cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian const ObjCIvarDecl *Ivar) { 15669cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian const std::string Name = "__objc_ivar_offset_" + ID->getNameAsString() 15679cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian + '.' + Ivar->getNameAsString(); 15689cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian // Emit the variable and initialize it with what we think the correct value 15699cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian // is. This allows code compiled with non-fragile ivars to work correctly 15709cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian // when linked against code which isn't (most of the time). 15719cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian llvm::GlobalVariable *IvarOffsetGV = CGM.getModule().getGlobalVariable(Name); 15729cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian if (!IvarOffsetGV) { 15739cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian uint64_t Offset = ComputeIvarBaseOffset(CGM, ID, Ivar); 15749cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian llvm::ConstantInt *OffsetGuess = 1575a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext.getConstantInt(LongTy, Offset, "ivar"); 15761c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson IvarOffsetGV = new llvm::GlobalVariable(TheModule, LongTy, false, 15771c431b323d776362490bbf7cc796b74fedaf19f2Owen Anderson llvm::GlobalValue::CommonLinkage, OffsetGuess, Name); 15789cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian } 15799cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian return IvarOffsetGV; 15809cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian} 15819cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian 1582598d3f61b6ca854e9d3c2f3359e24468502a61aaFariborz JahanianLValue CGObjCGNU::EmitObjCValueForIvar(CodeGen::CodeGenFunction &CGF, 1583598d3f61b6ca854e9d3c2f3359e24468502a61aaFariborz Jahanian QualType ObjectTy, 1584598d3f61b6ca854e9d3c2f3359e24468502a61aaFariborz Jahanian llvm::Value *BaseValue, 1585598d3f61b6ca854e9d3c2f3359e24468502a61aaFariborz Jahanian const ObjCIvarDecl *Ivar, 1586598d3f61b6ca854e9d3c2f3359e24468502a61aaFariborz Jahanian unsigned CVRQualifiers) { 1587525c9b7baeeff022127cd1b167579f3bda73b3edDaniel Dunbar const ObjCInterfaceDecl *ID = ObjectTy->getAsObjCInterfaceType()->getDecl(); 15889777687562c338601c2f17906e65e1c1a0aad96fDaniel Dunbar return EmitValueForIvarAtOffset(CGF, ID, BaseValue, Ivar, CVRQualifiers, 15899777687562c338601c2f17906e65e1c1a0aad96fDaniel Dunbar EmitIvarOffset(CGF, ID, Ivar)); 15900bb20361a321593887f067515dd04cf109f4c74aFariborz Jahanian} 15919cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanianstatic const ObjCInterfaceDecl *FindIvarInterface(ASTContext &Context, 15929cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian const ObjCInterfaceDecl *OID, 15939cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian const ObjCIvarDecl *OIVD) { 15949cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian llvm::SmallVector<ObjCIvarDecl*, 16> Ivars; 15958e6ac1d80055fa37b9b84029c7e751624ba7f84cFariborz Jahanian Context.ShallowCollectObjCIvars(OID, Ivars); 15969cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian for (unsigned k = 0, e = Ivars.size(); k != e; ++k) { 15979cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian if (OIVD == Ivars[k]) 15989cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian return OID; 15999cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian } 16009cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian 16019cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian // Otherwise check in the super class. 16029cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian if (const ObjCInterfaceDecl *Super = OID->getSuperClass()) 16039cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian return FindIvarInterface(Context, Super, OIVD); 16049cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian 16059cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian return 0; 16069cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian} 16070bb20361a321593887f067515dd04cf109f4c74aFariborz Jahanian 1608f63aa3fd429cdb9145d78f0b656bc78754efedb9Fariborz Jahanianllvm::Value *CGObjCGNU::EmitIvarOffset(CodeGen::CodeGenFunction &CGF, 16092a03192a02dbf4fdff438d1e658356bde871aba4Daniel Dunbar const ObjCInterfaceDecl *Interface, 1610f63aa3fd429cdb9145d78f0b656bc78754efedb9Fariborz Jahanian const ObjCIvarDecl *Ivar) { 16119cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian if (CGF.getContext().getLangOptions().ObjCNonFragileABI) 16129cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian { 16139cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian Interface = FindIvarInterface(CGM.getContext(), Interface, Ivar); 16149cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian return CGF.Builder.CreateLoad(ObjCIvarOffsetVariable(Interface, Ivar), 16159cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian false, "ivar"); 16169cd96ff7dfcb51fdba03df8803fff6cc36e9633fFariborz Jahanian } 16179777687562c338601c2f17906e65e1c1a0aad96fDaniel Dunbar uint64_t Offset = ComputeIvarBaseOffset(CGF.CGM, Interface, Ivar); 1618a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson return VMContext.getConstantInt(LongTy, Offset, "ivar"); 1619f63aa3fd429cdb9145d78f0b656bc78754efedb9Fariborz Jahanian} 1620f63aa3fd429cdb9145d78f0b656bc78754efedb9Fariborz Jahanian 1621c17a4d3b16a2624a76de5d7508805534545bd3bfDaniel DunbarCodeGen::CGObjCRuntime *CodeGen::CreateGNUObjCRuntime(CodeGen::CodeGenModule &CGM){ 1622dce1406f1c1f572cfd61c494546572d63461c741Chris Lattner return new CGObjCGNU(CGM); 16230f984268b05edab2cc555a427c441baa9c252658Chris Lattner} 1624