blob: a292b2e7b77c77349599d8c24e23b306ba6b64fd [file] [log] [blame]
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001//===------- CGObjCGNU.cpp - Emit LLVM Code from ASTs for a Module --------===//
Chris Lattner0f984262008-03-01 08:50:34 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
Anton Korobeynikov20ff3102008-06-01 14:13:53 +000010// This provides Objective-C code generation targetting the GNU runtime. The
11// class in this file generates structures used by the GNU Objective-C runtime
12// library. These structures are defined in objc/objc.h and objc/objc-api.h in
13// the GNU runtime distribution.
Chris Lattner0f984262008-03-01 08:50:34 +000014//
15//===----------------------------------------------------------------------===//
16
17#include "CGObjCRuntime.h"
Chris Lattnerdce14062008-06-26 04:19:03 +000018#include "CodeGenModule.h"
Daniel Dunbar8f2926b2008-08-23 03:46:30 +000019#include "CodeGenFunction.h"
Chris Lattner5dc08672009-05-08 00:11:50 +000020
Chris Lattnerdce14062008-06-26 04:19:03 +000021#include "clang/AST/ASTContext.h"
Daniel Dunbare91593e2008-08-11 04:54:23 +000022#include "clang/AST/Decl.h"
Daniel Dunbaraf2f62c2008-08-13 00:59:25 +000023#include "clang/AST/DeclObjC.h"
Anders Carlsson19cc4ab2009-07-18 19:43:29 +000024#include "clang/AST/RecordLayout.h"
Chris Lattner16f00492009-04-26 01:32:48 +000025#include "clang/AST/StmtObjC.h"
Chris Lattner5dc08672009-05-08 00:11:50 +000026
27#include "llvm/Intrinsics.h"
Chris Lattner0f984262008-03-01 08:50:34 +000028#include "llvm/Module.h"
Chris Lattner0f984262008-03-01 08:50:34 +000029#include "llvm/ADT/SmallVector.h"
Anton Korobeynikov20ff3102008-06-01 14:13:53 +000030#include "llvm/ADT/StringMap.h"
Daniel Dunbar7ded7f42008-08-15 22:20:32 +000031#include "llvm/Support/Compiler.h"
Daniel Dunbar7ded7f42008-08-15 22:20:32 +000032#include "llvm/Target/TargetData.h"
Chris Lattner5dc08672009-05-08 00:11:50 +000033
Anton Korobeynikov20ff3102008-06-01 14:13:53 +000034#include <map>
Chris Lattnere160c9b2009-01-27 05:06:01 +000035
36
Chris Lattnerdce14062008-06-26 04:19:03 +000037using namespace clang;
Daniel Dunbar46f45b92008-09-09 01:06:48 +000038using namespace CodeGen;
Anton Korobeynikov20ff3102008-06-01 14:13:53 +000039using llvm::dyn_cast;
40
41// The version of the runtime that this class targets. Must match the version
42// in the runtime.
43static const int RuntimeVersion = 8;
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +000044static const int NonFragileRuntimeVersion = 9;
Anton Korobeynikov20ff3102008-06-01 14:13:53 +000045static const int ProtocolVersion = 2;
Chris Lattner0f984262008-03-01 08:50:34 +000046
Chris Lattner0f984262008-03-01 08:50:34 +000047namespace {
Chris Lattnerdce14062008-06-26 04:19:03 +000048class CGObjCGNU : public CodeGen::CGObjCRuntime {
Chris Lattner0f984262008-03-01 08:50:34 +000049private:
Chris Lattnerdce14062008-06-26 04:19:03 +000050 CodeGen::CodeGenModule &CGM;
Chris Lattner0f984262008-03-01 08:50:34 +000051 llvm::Module &TheModule;
Chris Lattnere160c9b2009-01-27 05:06:01 +000052 const llvm::PointerType *SelectorTy;
53 const llvm::PointerType *PtrToInt8Ty;
Fariborz Jahanianb3716ef2009-02-04 20:31:19 +000054 const llvm::FunctionType *IMPTy;
Chris Lattnere160c9b2009-01-27 05:06:01 +000055 const llvm::PointerType *IdTy;
David Chisnall0f436562009-08-17 16:35:33 +000056 QualType ASTIdTy;
Chris Lattnere160c9b2009-01-27 05:06:01 +000057 const llvm::IntegerType *IntTy;
58 const llvm::PointerType *PtrTy;
59 const llvm::IntegerType *LongTy;
60 const llvm::PointerType *PtrToIntTy;
Daniel Dunbar5efccb12009-05-04 15:31:17 +000061 llvm::GlobalAlias *ClassPtrAlias;
62 llvm::GlobalAlias *MetaClassPtrAlias;
Anton Korobeynikov20ff3102008-06-01 14:13:53 +000063 std::vector<llvm::Constant*> Classes;
64 std::vector<llvm::Constant*> Categories;
65 std::vector<llvm::Constant*> ConstantStrings;
66 llvm::Function *LoadFunction;
67 llvm::StringMap<llvm::Constant*> ExistingProtocols;
68 typedef std::pair<std::string, std::string> TypedSelector;
69 std::map<TypedSelector, llvm::GlobalAlias*> TypedSelectors;
70 llvm::StringMap<llvm::GlobalAlias*> UntypedSelectors;
71 // Some zeros used for GEPs in lots of places.
72 llvm::Constant *Zeros[2];
73 llvm::Constant *NULLPtr;
Owen Andersona1cf15f2009-07-14 23:10:40 +000074 llvm::LLVMContext &VMContext;
Anton Korobeynikov20ff3102008-06-01 14:13:53 +000075private:
76 llvm::Constant *GenerateIvarList(
77 const llvm::SmallVectorImpl<llvm::Constant *> &IvarNames,
78 const llvm::SmallVectorImpl<llvm::Constant *> &IvarTypes,
79 const llvm::SmallVectorImpl<llvm::Constant *> &IvarOffsets);
80 llvm::Constant *GenerateMethodList(const std::string &ClassName,
81 const std::string &CategoryName,
Chris Lattnera4210072008-06-26 05:08:00 +000082 const llvm::SmallVectorImpl<Selector> &MethodSels,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +000083 const llvm::SmallVectorImpl<llvm::Constant *> &MethodTypes,
84 bool isClassMethodList);
Fariborz Jahanianf8c4f542009-03-31 18:27:22 +000085 llvm::Constant *GenerateEmptyProtocol(const std::string &ProtocolName);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +000086 llvm::Constant *GenerateProtocolList(
87 const llvm::SmallVectorImpl<std::string> &Protocols);
88 llvm::Constant *GenerateClassStructure(
89 llvm::Constant *MetaClass,
90 llvm::Constant *SuperClass,
91 unsigned info,
Chris Lattnerd002cc62008-06-26 04:47:04 +000092 const char *Name,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +000093 llvm::Constant *Version,
94 llvm::Constant *InstanceSize,
95 llvm::Constant *IVars,
96 llvm::Constant *Methods,
97 llvm::Constant *Protocols);
98 llvm::Constant *GenerateProtocolMethodList(
99 const llvm::SmallVectorImpl<llvm::Constant *> &MethodNames,
100 const llvm::SmallVectorImpl<llvm::Constant *> &MethodTypes);
101 llvm::Constant *MakeConstantString(const std::string &Str, const std::string
102 &Name="");
103 llvm::Constant *MakeGlobal(const llvm::StructType *Ty,
104 std::vector<llvm::Constant*> &V, const std::string &Name="");
105 llvm::Constant *MakeGlobal(const llvm::ArrayType *Ty,
106 std::vector<llvm::Constant*> &V, const std::string &Name="");
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +0000107 llvm::GlobalVariable *ObjCIvarOffsetVariable(const ObjCInterfaceDecl *ID,
108 const ObjCIvarDecl *Ivar);
Chris Lattner2a8e4e12009-06-15 01:09:11 +0000109 void EmitClassRef(const std::string &className);
Chris Lattner0f984262008-03-01 08:50:34 +0000110public:
Chris Lattnerdce14062008-06-26 04:19:03 +0000111 CGObjCGNU(CodeGen::CodeGenModule &cgm);
Steve Naroff33fdb732009-03-31 16:53:37 +0000112 virtual llvm::Constant *GenerateConstantString(const ObjCStringLiteral *);
Daniel Dunbar8f2926b2008-08-23 03:46:30 +0000113 virtual CodeGen::RValue
114 GenerateMessageSend(CodeGen::CodeGenFunction &CGF,
Daniel Dunbar7f8ea5c2008-08-30 05:35:15 +0000115 QualType ResultType,
116 Selector Sel,
Daniel Dunbarf56f1912008-08-25 08:19:24 +0000117 llvm::Value *Receiver,
Daniel Dunbar19cd87e2008-08-30 03:02:31 +0000118 bool IsClassMessage,
Fariborz Jahaniandf9ccc62009-05-05 21:36:57 +0000119 const CallArgList &CallArgs,
120 const ObjCMethodDecl *Method);
Daniel Dunbar8f2926b2008-08-23 03:46:30 +0000121 virtual CodeGen::RValue
122 GenerateMessageSendSuper(CodeGen::CodeGenFunction &CGF,
Daniel Dunbar7f8ea5c2008-08-30 05:35:15 +0000123 QualType ResultType,
124 Selector Sel,
Daniel Dunbarf56f1912008-08-25 08:19:24 +0000125 const ObjCInterfaceDecl *Class,
Fariborz Jahanian7ce77922009-02-28 20:07:56 +0000126 bool isCategoryImpl,
Daniel Dunbarf56f1912008-08-25 08:19:24 +0000127 llvm::Value *Receiver,
Daniel Dunbar19cd87e2008-08-30 03:02:31 +0000128 bool IsClassMessage,
129 const CallArgList &CallArgs);
Daniel Dunbar45d196b2008-11-01 01:53:16 +0000130 virtual llvm::Value *GetClass(CGBuilderTy &Builder,
Daniel Dunbarddb2a3d2008-08-16 00:25:02 +0000131 const ObjCInterfaceDecl *OID);
Daniel Dunbar45d196b2008-11-01 01:53:16 +0000132 virtual llvm::Value *GetSelector(CGBuilderTy &Builder, Selector Sel);
Fariborz Jahaniandf9ccc62009-05-05 21:36:57 +0000133 virtual llvm::Value *GetSelector(CGBuilderTy &Builder, const ObjCMethodDecl
134 *Method);
Chris Lattner8e67b632008-06-26 04:37:12 +0000135
Fariborz Jahanian679a5022009-01-10 21:06:09 +0000136 virtual llvm::Function *GenerateMethod(const ObjCMethodDecl *OMD,
137 const ObjCContainerDecl *CD);
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000138 virtual void GenerateCategory(const ObjCCategoryImplDecl *CMD);
139 virtual void GenerateClass(const ObjCImplementationDecl *ClassDecl);
Daniel Dunbar45d196b2008-11-01 01:53:16 +0000140 virtual llvm::Value *GenerateProtocolRef(CGBuilderTy &Builder,
Daniel Dunbaraf2f62c2008-08-13 00:59:25 +0000141 const ObjCProtocolDecl *PD);
142 virtual void GenerateProtocol(const ObjCProtocolDecl *PD);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000143 virtual llvm::Function *ModuleInitFunction();
Daniel Dunbar49f66022008-09-24 03:38:44 +0000144 virtual llvm::Function *GetPropertyGetFunction();
145 virtual llvm::Function *GetPropertySetFunction();
Daniel Dunbar309a4362009-07-24 07:40:24 +0000146 virtual llvm::Constant *EnumerationMutationFunction();
Anders Carlsson64d5d6c2008-09-09 10:04:29 +0000147
Fariborz Jahanianbd71be42008-11-21 00:49:24 +0000148 virtual void EmitTryOrSynchronizedStmt(CodeGen::CodeGenFunction &CGF,
149 const Stmt &S);
Anders Carlsson64d5d6c2008-09-09 10:04:29 +0000150 virtual void EmitThrowStmt(CodeGen::CodeGenFunction &CGF,
151 const ObjCAtThrowStmt &S);
Fariborz Jahanian3e283e32008-11-18 22:37:34 +0000152 virtual llvm::Value * EmitObjCWeakRead(CodeGen::CodeGenFunction &CGF,
Fariborz Jahanian6dc23172008-11-18 21:45:40 +0000153 llvm::Value *AddrWeakObj);
Fariborz Jahanian3e283e32008-11-18 22:37:34 +0000154 virtual void EmitObjCWeakAssign(CodeGen::CodeGenFunction &CGF,
155 llvm::Value *src, llvm::Value *dst);
Fariborz Jahanian58626502008-11-19 00:59:10 +0000156 virtual void EmitObjCGlobalAssign(CodeGen::CodeGenFunction &CGF,
157 llvm::Value *src, llvm::Value *dest);
Fariborz Jahanian7eda8362008-11-20 19:23:36 +0000158 virtual void EmitObjCIvarAssign(CodeGen::CodeGenFunction &CGF,
159 llvm::Value *src, llvm::Value *dest);
Fariborz Jahanian58626502008-11-19 00:59:10 +0000160 virtual void EmitObjCStrongCastAssign(CodeGen::CodeGenFunction &CGF,
161 llvm::Value *src, llvm::Value *dest);
Fariborz Jahanian082b02e2009-07-08 01:18:33 +0000162 virtual void EmitGCMemmoveCollectable(CodeGen::CodeGenFunction &CGF,
163 llvm::Value *DestPtr,
164 llvm::Value *SrcPtr,
165 unsigned long size);
Fariborz Jahanian598d3f62009-02-03 19:03:09 +0000166 virtual LValue EmitObjCValueForIvar(CodeGen::CodeGenFunction &CGF,
167 QualType ObjectTy,
168 llvm::Value *BaseValue,
169 const ObjCIvarDecl *Ivar,
Fariborz Jahanian598d3f62009-02-03 19:03:09 +0000170 unsigned CVRQualifiers);
Fariborz Jahanianf63aa3f2009-02-10 19:02:04 +0000171 virtual llvm::Value *EmitIvarOffset(CodeGen::CodeGenFunction &CGF,
Daniel Dunbar2a031922009-04-22 05:08:15 +0000172 const ObjCInterfaceDecl *Interface,
Fariborz Jahanianf63aa3f2009-02-10 19:02:04 +0000173 const ObjCIvarDecl *Ivar);
Chris Lattner0f984262008-03-01 08:50:34 +0000174};
175} // end anonymous namespace
176
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000177
Chris Lattner2a8e4e12009-06-15 01:09:11 +0000178/// Emits a reference to a dummy variable which is emitted with each class.
179/// This ensures that a linker error will be generated when trying to link
180/// together modules where a referenced class is not defined.
Mike Stumpbb1c8602009-07-31 21:31:32 +0000181void CGObjCGNU::EmitClassRef(const std::string &className) {
Chris Lattner2a8e4e12009-06-15 01:09:11 +0000182 std::string symbolRef = "__objc_class_ref_" + className;
183 // Don't emit two copies of the same symbol
Mike Stumpbb1c8602009-07-31 21:31:32 +0000184 if (TheModule.getGlobalVariable(symbolRef))
185 return;
Chris Lattner2a8e4e12009-06-15 01:09:11 +0000186 std::string symbolName = "__objc_class_name_" + className;
187 llvm::GlobalVariable *ClassSymbol = TheModule.getGlobalVariable(symbolName);
188 if (!ClassSymbol) {
Owen Anderson1c431b32009-07-08 19:05:04 +0000189 ClassSymbol = new llvm::GlobalVariable(TheModule, LongTy, false,
190 llvm::GlobalValue::ExternalLinkage, 0, symbolName);
Chris Lattner2a8e4e12009-06-15 01:09:11 +0000191 }
Owen Anderson1c431b32009-07-08 19:05:04 +0000192 new llvm::GlobalVariable(TheModule, ClassSymbol->getType(), true,
Chris Lattnerf35271b2009-08-05 05:25:18 +0000193 llvm::GlobalValue::WeakAnyLinkage, ClassSymbol, symbolRef);
Chris Lattner2a8e4e12009-06-15 01:09:11 +0000194}
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000195
196static std::string SymbolNameForClass(const std::string &ClassName) {
Chris Lattner2a8e4e12009-06-15 01:09:11 +0000197 return "_OBJC_CLASS_" + ClassName;
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000198}
199
200static std::string SymbolNameForMethod(const std::string &ClassName, const
201 std::string &CategoryName, const std::string &MethodName, bool isClassMethod)
202{
Chris Lattner2a8e4e12009-06-15 01:09:11 +0000203 return "_OBJC_METHOD_" + ClassName + "("+CategoryName+")"+
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000204 (isClassMethod ? "+" : "-") + MethodName;
205}
206
Chris Lattnerdce14062008-06-26 04:19:03 +0000207CGObjCGNU::CGObjCGNU(CodeGen::CodeGenModule &cgm)
Daniel Dunbar5efccb12009-05-04 15:31:17 +0000208 : CGM(cgm), TheModule(CGM.getModule()), ClassPtrAlias(0),
Owen Andersona1cf15f2009-07-14 23:10:40 +0000209 MetaClassPtrAlias(0), VMContext(cgm.getLLVMContext()) {
Chris Lattnere160c9b2009-01-27 05:06:01 +0000210 IntTy = cast<llvm::IntegerType>(
211 CGM.getTypes().ConvertType(CGM.getContext().IntTy));
212 LongTy = cast<llvm::IntegerType>(
213 CGM.getTypes().ConvertType(CGM.getContext().LongTy));
Chris Lattnerdce14062008-06-26 04:19:03 +0000214
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000215 Zeros[0] = llvm::ConstantInt::get(LongTy, 0);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000216 Zeros[1] = Zeros[0];
Owen Anderson03e20502009-07-30 23:11:26 +0000217 NULLPtr = llvm::ConstantPointerNull::get(
Owen Anderson0032b272009-08-13 21:57:51 +0000218 llvm::PointerType::getUnqual(llvm::Type::getInt8Ty(VMContext)));
Chris Lattner391d77a2008-03-30 23:03:07 +0000219 // C string type. Used in lots of places.
220 PtrToInt8Ty =
Owen Anderson0032b272009-08-13 21:57:51 +0000221 llvm::PointerType::getUnqual(llvm::Type::getInt8Ty(VMContext));
Chris Lattner391d77a2008-03-30 23:03:07 +0000222 // Get the selector Type.
Chris Lattnere160c9b2009-01-27 05:06:01 +0000223 SelectorTy = cast<llvm::PointerType>(
224 CGM.getTypes().ConvertType(CGM.getContext().getObjCSelType()));
225
Owen Anderson96e0fc72009-07-29 22:16:19 +0000226 PtrToIntTy = llvm::PointerType::getUnqual(IntTy);
Chris Lattner391d77a2008-03-30 23:03:07 +0000227 PtrTy = PtrToInt8Ty;
228
229 // Object type
David Chisnall0f436562009-08-17 16:35:33 +0000230 ASTIdTy = CGM.getContext().getObjCIdType();
231 IdTy = cast<llvm::PointerType>(CGM.getTypes().ConvertType(ASTIdTy));
Chris Lattner391d77a2008-03-30 23:03:07 +0000232
233 // IMP type
234 std::vector<const llvm::Type*> IMPArgs;
235 IMPArgs.push_back(IdTy);
236 IMPArgs.push_back(SelectorTy);
Owen Anderson96e0fc72009-07-29 22:16:19 +0000237 IMPTy = llvm::FunctionType::get(IdTy, IMPArgs, true);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000238}
Mike Stumpbb1c8602009-07-31 21:31:32 +0000239
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000240// This has to perform the lookup every time, since posing and related
241// techniques can modify the name -> class mapping.
Daniel Dunbar45d196b2008-11-01 01:53:16 +0000242llvm::Value *CGObjCGNU::GetClass(CGBuilderTy &Builder,
Daniel Dunbarddb2a3d2008-08-16 00:25:02 +0000243 const ObjCInterfaceDecl *OID) {
Chris Lattnerd9d22dd2008-11-24 05:29:24 +0000244 llvm::Value *ClassName = CGM.GetAddrOfConstantCString(OID->getNameAsString());
Chris Lattner2a8e4e12009-06-15 01:09:11 +0000245 EmitClassRef(OID->getNameAsString());
Daniel Dunbarddb2a3d2008-08-16 00:25:02 +0000246 ClassName = Builder.CreateStructGEP(ClassName, 0);
247
Fariborz Jahanian26c82942009-03-30 18:02:14 +0000248 std::vector<const llvm::Type*> Params(1, PtrToInt8Ty);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000249 llvm::Constant *ClassLookupFn =
Owen Anderson96e0fc72009-07-29 22:16:19 +0000250 CGM.CreateRuntimeFunction(llvm::FunctionType::get(IdTy,
Fariborz Jahanian26c82942009-03-30 18:02:14 +0000251 Params,
252 true),
253 "objc_lookup_class");
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000254 return Builder.CreateCall(ClassLookupFn, ClassName);
Chris Lattner391d77a2008-03-30 23:03:07 +0000255}
256
Daniel Dunbar45d196b2008-11-01 01:53:16 +0000257llvm::Value *CGObjCGNU::GetSelector(CGBuilderTy &Builder, Selector Sel) {
Chris Lattner077bf5e2008-11-24 03:33:13 +0000258 llvm::GlobalAlias *&US = UntypedSelectors[Sel.getAsString()];
Chris Lattner8e67b632008-06-26 04:37:12 +0000259 if (US == 0)
Owen Anderson96e0fc72009-07-29 22:16:19 +0000260 US = new llvm::GlobalAlias(llvm::PointerType::getUnqual(SelectorTy),
David Chisnall0f436562009-08-17 16:35:33 +0000261 llvm::GlobalValue::PrivateLinkage,
262 ".objc_untyped_selector_alias"+Sel.getAsString(),
Chris Lattner8e67b632008-06-26 04:37:12 +0000263 NULL, &TheModule);
264
265 return Builder.CreateLoad(US);
Fariborz Jahaniandf9ccc62009-05-05 21:36:57 +0000266}
267
268llvm::Value *CGObjCGNU::GetSelector(CGBuilderTy &Builder, const ObjCMethodDecl
269 *Method) {
270
271 std::string SelName = Method->getSelector().getAsString();
272 std::string SelTypes;
273 CGM.getContext().getObjCEncodingForMethodDecl(Method, SelTypes);
274 // Typed selectors
275 TypedSelector Selector = TypedSelector(SelName,
276 SelTypes);
277
278 // If it's already cached, return it.
Mike Stumpbb1c8602009-07-31 21:31:32 +0000279 if (TypedSelectors[Selector]) {
280 return Builder.CreateLoad(TypedSelectors[Selector]);
Fariborz Jahaniandf9ccc62009-05-05 21:36:57 +0000281 }
282
283 // If it isn't, cache it.
284 llvm::GlobalAlias *Sel = new llvm::GlobalAlias(
Owen Anderson96e0fc72009-07-29 22:16:19 +0000285 llvm::PointerType::getUnqual(SelectorTy),
David Chisnall0f436562009-08-17 16:35:33 +0000286 llvm::GlobalValue::PrivateLinkage, ".objc_selector_alias" + SelName,
Fariborz Jahaniandf9ccc62009-05-05 21:36:57 +0000287 NULL, &TheModule);
288 TypedSelectors[Selector] = Sel;
289
290 return Builder.CreateLoad(Sel);
Chris Lattner8e67b632008-06-26 04:37:12 +0000291}
292
Chris Lattner5e7dcc62008-06-26 04:44:19 +0000293llvm::Constant *CGObjCGNU::MakeConstantString(const std::string &Str,
294 const std::string &Name) {
Owen Anderson0032b272009-08-13 21:57:51 +0000295 llvm::Constant * ConstStr = llvm::ConstantArray::get(VMContext, Str);
Owen Anderson1c431b32009-07-08 19:05:04 +0000296 ConstStr = new llvm::GlobalVariable(TheModule, ConstStr->getType(), true,
Mike Stumpbb1c8602009-07-31 21:31:32 +0000297 llvm::GlobalValue::InternalLinkage,
298 ConstStr, Name);
Owen Anderson3c4972d2009-07-29 18:54:39 +0000299 return llvm::ConstantExpr::getGetElementPtr(ConstStr, Zeros, 2);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000300}
Mike Stumpbb1c8602009-07-31 21:31:32 +0000301
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000302llvm::Constant *CGObjCGNU::MakeGlobal(const llvm::StructType *Ty,
303 std::vector<llvm::Constant*> &V, const std::string &Name) {
Owen Anderson08e25242009-07-27 22:29:56 +0000304 llvm::Constant *C = llvm::ConstantStruct::get(Ty, V);
Owen Anderson1c431b32009-07-08 19:05:04 +0000305 return new llvm::GlobalVariable(TheModule, Ty, false,
306 llvm::GlobalValue::InternalLinkage, C, Name);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000307}
Mike Stumpbb1c8602009-07-31 21:31:32 +0000308
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000309llvm::Constant *CGObjCGNU::MakeGlobal(const llvm::ArrayType *Ty,
310 std::vector<llvm::Constant*> &V, const std::string &Name) {
Owen Anderson7db6d832009-07-28 18:33:04 +0000311 llvm::Constant *C = llvm::ConstantArray::get(Ty, V);
Owen Anderson1c431b32009-07-08 19:05:04 +0000312 return new llvm::GlobalVariable(TheModule, Ty, false,
Mike Stumpbb1c8602009-07-31 21:31:32 +0000313 llvm::GlobalValue::InternalLinkage, C, Name);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000314}
315
316/// Generate an NSConstantString object.
317//TODO: In case there are any crazy people still using the GNU runtime without
318//an OpenStep implementation, this should let them select their own class for
319//constant strings.
Steve Naroff33fdb732009-03-31 16:53:37 +0000320llvm::Constant *CGObjCGNU::GenerateConstantString(const ObjCStringLiteral *SL) {
321 std::string Str(SL->getString()->getStrData(),
322 SL->getString()->getByteLength());
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000323 std::vector<llvm::Constant*> Ivars;
324 Ivars.push_back(NULLPtr);
Chris Lattner13fd7e52008-06-21 21:44:18 +0000325 Ivars.push_back(MakeConstantString(Str));
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000326 Ivars.push_back(llvm::ConstantInt::get(IntTy, Str.size()));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000327 llvm::Constant *ObjCStr = MakeGlobal(
Owen Anderson47a434f2009-08-05 23:18:46 +0000328 llvm::StructType::get(VMContext, PtrToInt8Ty, PtrToInt8Ty, IntTy, NULL),
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000329 Ivars, ".objc_str");
330 ConstantStrings.push_back(
Owen Anderson3c4972d2009-07-29 18:54:39 +0000331 llvm::ConstantExpr::getBitCast(ObjCStr, PtrToInt8Ty));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000332 return ObjCStr;
333}
334
335///Generates a message send where the super is the receiver. This is a message
336///send to self with special delivery semantics indicating which class's method
337///should be called.
Daniel Dunbar8f2926b2008-08-23 03:46:30 +0000338CodeGen::RValue
339CGObjCGNU::GenerateMessageSendSuper(CodeGen::CodeGenFunction &CGF,
Daniel Dunbar7f8ea5c2008-08-30 05:35:15 +0000340 QualType ResultType,
341 Selector Sel,
Daniel Dunbarf56f1912008-08-25 08:19:24 +0000342 const ObjCInterfaceDecl *Class,
Fariborz Jahanian7ce77922009-02-28 20:07:56 +0000343 bool isCategoryImpl,
Daniel Dunbarf56f1912008-08-25 08:19:24 +0000344 llvm::Value *Receiver,
Daniel Dunbar19cd87e2008-08-30 03:02:31 +0000345 bool IsClassMessage,
346 const CallArgList &CallArgs) {
Fariborz Jahanianb3716ef2009-02-04 20:31:19 +0000347 llvm::Value *cmd = GetSelector(CGF.Builder, Sel);
348
349 CallArgList ActualArgs;
350
351 ActualArgs.push_back(
David Chisnall0f436562009-08-17 16:35:33 +0000352 std::make_pair(RValue::get(CGF.Builder.CreateBitCast(Receiver, IdTy)),
353 ASTIdTy));
Fariborz Jahanianb3716ef2009-02-04 20:31:19 +0000354 ActualArgs.push_back(std::make_pair(RValue::get(cmd),
355 CGF.getContext().getObjCSelType()));
356 ActualArgs.insert(ActualArgs.end(), CallArgs.begin(), CallArgs.end());
357
358 CodeGenTypes &Types = CGM.getTypes();
359 const CGFunctionInfo &FnInfo = Types.getFunctionInfo(ResultType, ActualArgs);
360 const llvm::FunctionType *impType = Types.GetFunctionType(FnInfo, false);
361
Daniel Dunbar5efccb12009-05-04 15:31:17 +0000362 llvm::Value *ReceiverClass = 0;
Chris Lattner48e6e7e2009-05-08 15:39:58 +0000363 if (isCategoryImpl) {
364 llvm::Constant *classLookupFunction = 0;
365 std::vector<const llvm::Type*> Params;
366 Params.push_back(PtrTy);
367 if (IsClassMessage) {
Owen Anderson96e0fc72009-07-29 22:16:19 +0000368 classLookupFunction = CGM.CreateRuntimeFunction(llvm::FunctionType::get(
Chris Lattner48e6e7e2009-05-08 15:39:58 +0000369 IdTy, Params, true), "objc_get_meta_class");
370 } else {
Owen Anderson96e0fc72009-07-29 22:16:19 +0000371 classLookupFunction = CGM.CreateRuntimeFunction(llvm::FunctionType::get(
Chris Lattner48e6e7e2009-05-08 15:39:58 +0000372 IdTy, Params, true), "objc_get_class");
Daniel Dunbar5efccb12009-05-04 15:31:17 +0000373 }
Chris Lattner48e6e7e2009-05-08 15:39:58 +0000374 ReceiverClass = CGF.Builder.CreateCall(classLookupFunction,
375 MakeConstantString(Class->getNameAsString()));
Daniel Dunbar5efccb12009-05-04 15:31:17 +0000376 } else {
Chris Lattner48e6e7e2009-05-08 15:39:58 +0000377 // Set up global aliases for the metaclass or class pointer if they do not
378 // already exist. These will are forward-references which will be set to
Mike Stumpbb1c8602009-07-31 21:31:32 +0000379 // pointers to the class and metaclass structure created for the runtime
380 // load function. To send a message to super, we look up the value of the
Chris Lattner48e6e7e2009-05-08 15:39:58 +0000381 // super_class pointer from either the class or metaclass structure.
382 if (IsClassMessage) {
383 if (!MetaClassPtrAlias) {
384 MetaClassPtrAlias = new llvm::GlobalAlias(IdTy,
385 llvm::GlobalValue::InternalLinkage, ".objc_metaclass_ref" +
386 Class->getNameAsString(), NULL, &TheModule);
387 }
388 ReceiverClass = MetaClassPtrAlias;
389 } else {
390 if (!ClassPtrAlias) {
391 ClassPtrAlias = new llvm::GlobalAlias(IdTy,
392 llvm::GlobalValue::InternalLinkage, ".objc_class_ref" +
393 Class->getNameAsString(), NULL, &TheModule);
394 }
395 ReceiverClass = ClassPtrAlias;
Daniel Dunbar5efccb12009-05-04 15:31:17 +0000396 }
Chris Lattner71238f62009-04-25 23:19:45 +0000397 }
Daniel Dunbar5efccb12009-05-04 15:31:17 +0000398 // Cast the pointer to a simplified version of the class structure
399 ReceiverClass = CGF.Builder.CreateBitCast(ReceiverClass,
Owen Anderson96e0fc72009-07-29 22:16:19 +0000400 llvm::PointerType::getUnqual(
Owen Anderson47a434f2009-08-05 23:18:46 +0000401 llvm::StructType::get(VMContext, IdTy, IdTy, NULL)));
Daniel Dunbar5efccb12009-05-04 15:31:17 +0000402 // Get the superclass pointer
403 ReceiverClass = CGF.Builder.CreateStructGEP(ReceiverClass, 1);
404 // Load the superclass pointer
405 ReceiverClass = CGF.Builder.CreateLoad(ReceiverClass);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000406 // Construct the structure used to look up the IMP
Owen Anderson47a434f2009-08-05 23:18:46 +0000407 llvm::StructType *ObjCSuperTy = llvm::StructType::get(VMContext,
408 Receiver->getType(), IdTy, NULL);
Daniel Dunbar8f2926b2008-08-23 03:46:30 +0000409 llvm::Value *ObjCSuper = CGF.Builder.CreateAlloca(ObjCSuperTy);
Fariborz Jahanianb3716ef2009-02-04 20:31:19 +0000410
Daniel Dunbar8f2926b2008-08-23 03:46:30 +0000411 CGF.Builder.CreateStore(Receiver, CGF.Builder.CreateStructGEP(ObjCSuper, 0));
Daniel Dunbar5efccb12009-05-04 15:31:17 +0000412 CGF.Builder.CreateStore(ReceiverClass,
413 CGF.Builder.CreateStructGEP(ObjCSuper, 1));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000414
415 // Get the IMP
Fariborz Jahanian26c82942009-03-30 18:02:14 +0000416 std::vector<const llvm::Type*> Params;
Owen Anderson96e0fc72009-07-29 22:16:19 +0000417 Params.push_back(llvm::PointerType::getUnqual(ObjCSuperTy));
Fariborz Jahanian26c82942009-03-30 18:02:14 +0000418 Params.push_back(SelectorTy);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000419 llvm::Constant *lookupFunction =
Owen Anderson96e0fc72009-07-29 22:16:19 +0000420 CGM.CreateRuntimeFunction(llvm::FunctionType::get(
421 llvm::PointerType::getUnqual(impType), Params, true),
Fariborz Jahanian26c82942009-03-30 18:02:14 +0000422 "objc_msg_lookup_super");
423
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000424 llvm::Value *lookupArgs[] = {ObjCSuper, cmd};
Daniel Dunbar8f2926b2008-08-23 03:46:30 +0000425 llvm::Value *imp = CGF.Builder.CreateCall(lookupFunction, lookupArgs,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000426 lookupArgs+2);
427
Fariborz Jahanianb3716ef2009-02-04 20:31:19 +0000428 return CGF.EmitCall(FnInfo, imp, ActualArgs);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000429}
430
431/// Generate code for a message send expression.
Daniel Dunbar8f2926b2008-08-23 03:46:30 +0000432CodeGen::RValue
433CGObjCGNU::GenerateMessageSend(CodeGen::CodeGenFunction &CGF,
Daniel Dunbar7f8ea5c2008-08-30 05:35:15 +0000434 QualType ResultType,
435 Selector Sel,
Daniel Dunbarf56f1912008-08-25 08:19:24 +0000436 llvm::Value *Receiver,
Daniel Dunbar19cd87e2008-08-30 03:02:31 +0000437 bool IsClassMessage,
Fariborz Jahaniandf9ccc62009-05-05 21:36:57 +0000438 const CallArgList &CallArgs,
439 const ObjCMethodDecl *Method) {
David Chisnall0f436562009-08-17 16:35:33 +0000440 IdTy = cast<llvm::PointerType>(CGM.getTypes().ConvertType(ASTIdTy));
Fariborz Jahaniandf9ccc62009-05-05 21:36:57 +0000441 llvm::Value *cmd;
442 if (Method)
443 cmd = GetSelector(CGF.Builder, Method);
444 else
445 cmd = GetSelector(CGF.Builder, Sel);
Fariborz Jahanianb3716ef2009-02-04 20:31:19 +0000446 CallArgList ActualArgs;
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000447
Fariborz Jahanianb3716ef2009-02-04 20:31:19 +0000448 ActualArgs.push_back(
David Chisnall0f436562009-08-17 16:35:33 +0000449 std::make_pair(RValue::get(CGF.Builder.CreateBitCast(Receiver, IdTy)), ASTIdTy));
Fariborz Jahanianb3716ef2009-02-04 20:31:19 +0000450 ActualArgs.push_back(std::make_pair(RValue::get(cmd),
451 CGF.getContext().getObjCSelType()));
452 ActualArgs.insert(ActualArgs.end(), CallArgs.begin(), CallArgs.end());
453
454 CodeGenTypes &Types = CGM.getTypes();
455 const CGFunctionInfo &FnInfo = Types.getFunctionInfo(ResultType, ActualArgs);
456 const llvm::FunctionType *impType = Types.GetFunctionType(FnInfo, false);
457
Fariborz Jahanian34e65772009-05-22 20:17:16 +0000458 llvm::Value *imp;
Fariborz Jahanian26c82942009-03-30 18:02:14 +0000459 std::vector<const llvm::Type*> Params;
460 Params.push_back(Receiver->getType());
461 Params.push_back(SelectorTy);
Fariborz Jahanian34e65772009-05-22 20:17:16 +0000462 // For sender-aware dispatch, we pass the sender as the third argument to a
463 // lookup function. When sending messages from C code, the sender is nil.
464 // objc_msg_lookup_sender(id receiver, SEL selector, id sender);
465 if (CGM.getContext().getLangOptions().ObjCSenderDispatch) {
466 llvm::Value *self;
Fariborz Jahanian26c82942009-03-30 18:02:14 +0000467
Fariborz Jahanian34e65772009-05-22 20:17:16 +0000468 if (isa<ObjCMethodDecl>(CGF.CurFuncDecl)) {
469 self = CGF.LoadObjCSelf();
470 } else {
Owen Anderson03e20502009-07-30 23:11:26 +0000471 self = llvm::ConstantPointerNull::get(IdTy);
Fariborz Jahanian34e65772009-05-22 20:17:16 +0000472 }
473 Params.push_back(self->getType());
474 llvm::Constant *lookupFunction =
Owen Anderson96e0fc72009-07-29 22:16:19 +0000475 CGM.CreateRuntimeFunction(llvm::FunctionType::get(
476 llvm::PointerType::getUnqual(impType), Params, true),
Fariborz Jahanian34e65772009-05-22 20:17:16 +0000477 "objc_msg_lookup_sender");
478
479 imp = CGF.Builder.CreateCall3(lookupFunction, Receiver, cmd, self);
480 } else {
481 llvm::Constant *lookupFunction =
Owen Anderson96e0fc72009-07-29 22:16:19 +0000482 CGM.CreateRuntimeFunction(llvm::FunctionType::get(
483 llvm::PointerType::getUnqual(impType), Params, true),
Fariborz Jahanian34e65772009-05-22 20:17:16 +0000484 "objc_msg_lookup");
485
486 imp = CGF.Builder.CreateCall2(lookupFunction, Receiver, cmd);
487 }
Chris Lattner3eae03e2008-05-06 00:56:42 +0000488
Fariborz Jahanianb3716ef2009-02-04 20:31:19 +0000489 return CGF.EmitCall(FnInfo, imp, ActualArgs);
Chris Lattner0f984262008-03-01 08:50:34 +0000490}
491
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000492/// Generates a MethodList. Used in construction of a objc_class and
493/// objc_category structures.
494llvm::Constant *CGObjCGNU::GenerateMethodList(const std::string &ClassName,
Chris Lattnera4210072008-06-26 05:08:00 +0000495 const std::string &CategoryName,
496 const llvm::SmallVectorImpl<Selector> &MethodSels,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000497 const llvm::SmallVectorImpl<llvm::Constant *> &MethodTypes,
498 bool isClassMethodList) {
David Chisnall0f436562009-08-17 16:35:33 +0000499 if (MethodSels.empty())
500 return NULLPtr;
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000501 // Get the method structure type.
Owen Anderson47a434f2009-08-05 23:18:46 +0000502 llvm::StructType *ObjCMethodTy = llvm::StructType::get(VMContext,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000503 PtrToInt8Ty, // Really a selector, but the runtime creates it us.
504 PtrToInt8Ty, // Method types
Owen Anderson96e0fc72009-07-29 22:16:19 +0000505 llvm::PointerType::getUnqual(IMPTy), //Method pointer
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000506 NULL);
507 std::vector<llvm::Constant*> Methods;
508 std::vector<llvm::Constant*> Elements;
509 for (unsigned int i = 0, e = MethodTypes.size(); i < e; ++i) {
510 Elements.clear();
Fariborz Jahanian1e64a952009-05-17 16:49:27 +0000511 if (llvm::Constant *Method =
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000512 TheModule.getFunction(SymbolNameForMethod(ClassName, CategoryName,
Chris Lattner077bf5e2008-11-24 03:33:13 +0000513 MethodSels[i].getAsString(),
Fariborz Jahanian1e64a952009-05-17 16:49:27 +0000514 isClassMethodList))) {
515 llvm::Constant *C =
516 CGM.GetAddrOfConstantCString(MethodSels[i].getAsString());
Owen Anderson3c4972d2009-07-29 18:54:39 +0000517 Elements.push_back(llvm::ConstantExpr::getGetElementPtr(C, Zeros, 2));
Fariborz Jahanian1e64a952009-05-17 16:49:27 +0000518 Elements.push_back(
Owen Anderson3c4972d2009-07-29 18:54:39 +0000519 llvm::ConstantExpr::getGetElementPtr(MethodTypes[i], Zeros, 2));
520 Method = llvm::ConstantExpr::getBitCast(Method,
Owen Anderson96e0fc72009-07-29 22:16:19 +0000521 llvm::PointerType::getUnqual(IMPTy));
Fariborz Jahanian1e64a952009-05-17 16:49:27 +0000522 Elements.push_back(Method);
Owen Anderson08e25242009-07-27 22:29:56 +0000523 Methods.push_back(llvm::ConstantStruct::get(ObjCMethodTy, Elements));
Fariborz Jahanian1e64a952009-05-17 16:49:27 +0000524 }
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000525 }
526
527 // Array of method structures
Owen Anderson96e0fc72009-07-29 22:16:19 +0000528 llvm::ArrayType *ObjCMethodArrayTy = llvm::ArrayType::get(ObjCMethodTy,
Fariborz Jahanian1e64a952009-05-17 16:49:27 +0000529 Methods.size());
Owen Anderson7db6d832009-07-28 18:33:04 +0000530 llvm::Constant *MethodArray = llvm::ConstantArray::get(ObjCMethodArrayTy,
Chris Lattnerfba67632008-06-26 04:52:29 +0000531 Methods);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000532
533 // Structure containing list pointer, array and array count
534 llvm::SmallVector<const llvm::Type*, 16> ObjCMethodListFields;
Owen Anderson8c8f69e2009-08-13 23:27:53 +0000535 llvm::PATypeHolder OpaqueNextTy = llvm::OpaqueType::get(VMContext);
Owen Anderson96e0fc72009-07-29 22:16:19 +0000536 llvm::Type *NextPtrTy = llvm::PointerType::getUnqual(OpaqueNextTy);
Owen Anderson47a434f2009-08-05 23:18:46 +0000537 llvm::StructType *ObjCMethodListTy = llvm::StructType::get(VMContext,
538 NextPtrTy,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000539 IntTy,
540 ObjCMethodArrayTy,
541 NULL);
542 // Refine next pointer type to concrete type
543 llvm::cast<llvm::OpaqueType>(
544 OpaqueNextTy.get())->refineAbstractTypeTo(ObjCMethodListTy);
545 ObjCMethodListTy = llvm::cast<llvm::StructType>(OpaqueNextTy.get());
546
547 Methods.clear();
Owen Anderson03e20502009-07-30 23:11:26 +0000548 Methods.push_back(llvm::ConstantPointerNull::get(
Owen Anderson96e0fc72009-07-29 22:16:19 +0000549 llvm::PointerType::getUnqual(ObjCMethodListTy)));
Owen Anderson0032b272009-08-13 21:57:51 +0000550 Methods.push_back(llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext),
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000551 MethodTypes.size()));
552 Methods.push_back(MethodArray);
553
554 // Create an instance of the structure
555 return MakeGlobal(ObjCMethodListTy, Methods, ".objc_method_list");
556}
557
558/// Generates an IvarList. Used in construction of a objc_class.
559llvm::Constant *CGObjCGNU::GenerateIvarList(
560 const llvm::SmallVectorImpl<llvm::Constant *> &IvarNames,
561 const llvm::SmallVectorImpl<llvm::Constant *> &IvarTypes,
562 const llvm::SmallVectorImpl<llvm::Constant *> &IvarOffsets) {
563 // Get the method structure type.
Owen Anderson47a434f2009-08-05 23:18:46 +0000564 llvm::StructType *ObjCIvarTy = llvm::StructType::get(VMContext,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000565 PtrToInt8Ty,
566 PtrToInt8Ty,
567 IntTy,
568 NULL);
569 std::vector<llvm::Constant*> Ivars;
570 std::vector<llvm::Constant*> Elements;
571 for (unsigned int i = 0, e = IvarNames.size() ; i < e ; i++) {
572 Elements.clear();
Owen Anderson3c4972d2009-07-29 18:54:39 +0000573 Elements.push_back( llvm::ConstantExpr::getGetElementPtr(IvarNames[i],
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000574 Zeros, 2));
Owen Anderson3c4972d2009-07-29 18:54:39 +0000575 Elements.push_back( llvm::ConstantExpr::getGetElementPtr(IvarTypes[i],
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000576 Zeros, 2));
577 Elements.push_back(IvarOffsets[i]);
Owen Anderson08e25242009-07-27 22:29:56 +0000578 Ivars.push_back(llvm::ConstantStruct::get(ObjCIvarTy, Elements));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000579 }
580
581 // Array of method structures
Owen Anderson96e0fc72009-07-29 22:16:19 +0000582 llvm::ArrayType *ObjCIvarArrayTy = llvm::ArrayType::get(ObjCIvarTy,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000583 IvarNames.size());
584
585
586 Elements.clear();
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000587 Elements.push_back(llvm::ConstantInt::get(IntTy, (int)IvarNames.size()));
Owen Anderson7db6d832009-07-28 18:33:04 +0000588 Elements.push_back(llvm::ConstantArray::get(ObjCIvarArrayTy, Ivars));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000589 // Structure containing array and array count
Owen Anderson47a434f2009-08-05 23:18:46 +0000590 llvm::StructType *ObjCIvarListTy = llvm::StructType::get(VMContext, IntTy,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000591 ObjCIvarArrayTy,
592 NULL);
593
594 // Create an instance of the structure
595 return MakeGlobal(ObjCIvarListTy, Elements, ".objc_ivar_list");
596}
597
598/// Generate a class structure
599llvm::Constant *CGObjCGNU::GenerateClassStructure(
600 llvm::Constant *MetaClass,
601 llvm::Constant *SuperClass,
602 unsigned info,
Chris Lattnerd002cc62008-06-26 04:47:04 +0000603 const char *Name,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000604 llvm::Constant *Version,
605 llvm::Constant *InstanceSize,
606 llvm::Constant *IVars,
607 llvm::Constant *Methods,
608 llvm::Constant *Protocols) {
609 // Set up the class structure
610 // Note: Several of these are char*s when they should be ids. This is
611 // because the runtime performs this translation on load.
Owen Anderson47a434f2009-08-05 23:18:46 +0000612 llvm::StructType *ClassTy = llvm::StructType::get(VMContext,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000613 PtrToInt8Ty, // class_pointer
614 PtrToInt8Ty, // super_class
615 PtrToInt8Ty, // name
616 LongTy, // version
617 LongTy, // info
618 LongTy, // instance_size
619 IVars->getType(), // ivars
620 Methods->getType(), // methods
621 // These are all filled in by the runtime, so we pretend
622 PtrTy, // dtable
623 PtrTy, // subclass_list
624 PtrTy, // sibling_class
625 PtrTy, // protocols
626 PtrTy, // gc_object_type
627 NULL);
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000628 llvm::Constant *Zero = llvm::ConstantInt::get(LongTy, 0);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000629 llvm::Constant *NullP =
Owen Anderson03e20502009-07-30 23:11:26 +0000630 llvm::ConstantPointerNull::get(PtrTy);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000631 // Fill in the structure
632 std::vector<llvm::Constant*> Elements;
Owen Anderson3c4972d2009-07-29 18:54:39 +0000633 Elements.push_back(llvm::ConstantExpr::getBitCast(MetaClass, PtrToInt8Ty));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000634 Elements.push_back(SuperClass);
Chris Lattnerd002cc62008-06-26 04:47:04 +0000635 Elements.push_back(MakeConstantString(Name, ".class_name"));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000636 Elements.push_back(Zero);
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000637 Elements.push_back(llvm::ConstantInt::get(LongTy, info));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000638 Elements.push_back(InstanceSize);
639 Elements.push_back(IVars);
640 Elements.push_back(Methods);
641 Elements.push_back(NullP);
642 Elements.push_back(NullP);
643 Elements.push_back(NullP);
Owen Anderson3c4972d2009-07-29 18:54:39 +0000644 Elements.push_back(llvm::ConstantExpr::getBitCast(Protocols, PtrTy));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000645 Elements.push_back(NullP);
646 // Create an instance of the structure
Chris Lattner1565e032008-07-21 06:31:05 +0000647 return MakeGlobal(ClassTy, Elements, SymbolNameForClass(Name));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000648}
649
650llvm::Constant *CGObjCGNU::GenerateProtocolMethodList(
651 const llvm::SmallVectorImpl<llvm::Constant *> &MethodNames,
652 const llvm::SmallVectorImpl<llvm::Constant *> &MethodTypes) {
653 // Get the method structure type.
Owen Anderson47a434f2009-08-05 23:18:46 +0000654 llvm::StructType *ObjCMethodDescTy = llvm::StructType::get(VMContext,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000655 PtrToInt8Ty, // Really a selector, but the runtime does the casting for us.
656 PtrToInt8Ty,
657 NULL);
658 std::vector<llvm::Constant*> Methods;
659 std::vector<llvm::Constant*> Elements;
660 for (unsigned int i = 0, e = MethodTypes.size() ; i < e ; i++) {
661 Elements.clear();
Owen Anderson3c4972d2009-07-29 18:54:39 +0000662 Elements.push_back(llvm::ConstantExpr::getGetElementPtr(MethodNames[i],
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000663 Zeros, 2));
664 Elements.push_back(
Owen Anderson3c4972d2009-07-29 18:54:39 +0000665 llvm::ConstantExpr::getGetElementPtr(MethodTypes[i], Zeros, 2));
Owen Anderson08e25242009-07-27 22:29:56 +0000666 Methods.push_back(llvm::ConstantStruct::get(ObjCMethodDescTy, Elements));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000667 }
Owen Anderson96e0fc72009-07-29 22:16:19 +0000668 llvm::ArrayType *ObjCMethodArrayTy = llvm::ArrayType::get(ObjCMethodDescTy,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000669 MethodNames.size());
Owen Anderson7db6d832009-07-28 18:33:04 +0000670 llvm::Constant *Array = llvm::ConstantArray::get(ObjCMethodArrayTy,
Mike Stumpbb1c8602009-07-31 21:31:32 +0000671 Methods);
Owen Anderson47a434f2009-08-05 23:18:46 +0000672 llvm::StructType *ObjCMethodDescListTy = llvm::StructType::get(VMContext,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000673 IntTy, ObjCMethodArrayTy, NULL);
674 Methods.clear();
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000675 Methods.push_back(llvm::ConstantInt::get(IntTy, MethodNames.size()));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000676 Methods.push_back(Array);
677 return MakeGlobal(ObjCMethodDescListTy, Methods, ".objc_method_list");
678}
Mike Stumpbb1c8602009-07-31 21:31:32 +0000679
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000680// Create the protocol list structure used in classes, categories and so on
681llvm::Constant *CGObjCGNU::GenerateProtocolList(
682 const llvm::SmallVectorImpl<std::string> &Protocols) {
Owen Anderson96e0fc72009-07-29 22:16:19 +0000683 llvm::ArrayType *ProtocolArrayTy = llvm::ArrayType::get(PtrToInt8Ty,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000684 Protocols.size());
Owen Anderson47a434f2009-08-05 23:18:46 +0000685 llvm::StructType *ProtocolListTy = llvm::StructType::get(VMContext,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000686 PtrTy, //Should be a recurisve pointer, but it's always NULL here.
687 LongTy,//FIXME: Should be size_t
688 ProtocolArrayTy,
689 NULL);
690 std::vector<llvm::Constant*> Elements;
691 for (const std::string *iter = Protocols.begin(), *endIter = Protocols.end();
692 iter != endIter ; iter++) {
Fariborz Jahanianf8c4f542009-03-31 18:27:22 +0000693 llvm::Constant *protocol = ExistingProtocols[*iter];
694 if (!protocol)
695 protocol = GenerateEmptyProtocol(*iter);
Owen Anderson3c4972d2009-07-29 18:54:39 +0000696 llvm::Constant *Ptr = llvm::ConstantExpr::getBitCast(protocol,
Owen Andersona1cf15f2009-07-14 23:10:40 +0000697 PtrToInt8Ty);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000698 Elements.push_back(Ptr);
699 }
Owen Anderson7db6d832009-07-28 18:33:04 +0000700 llvm::Constant * ProtocolArray = llvm::ConstantArray::get(ProtocolArrayTy,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000701 Elements);
702 Elements.clear();
703 Elements.push_back(NULLPtr);
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000704 Elements.push_back(llvm::ConstantInt::get(LongTy, Protocols.size()));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000705 Elements.push_back(ProtocolArray);
706 return MakeGlobal(ProtocolListTy, Elements, ".objc_protocol_list");
707}
708
Daniel Dunbar45d196b2008-11-01 01:53:16 +0000709llvm::Value *CGObjCGNU::GenerateProtocolRef(CGBuilderTy &Builder,
Daniel Dunbaraf2f62c2008-08-13 00:59:25 +0000710 const ObjCProtocolDecl *PD) {
Fariborz Jahanianf8c4f542009-03-31 18:27:22 +0000711 llvm::Value *protocol = ExistingProtocols[PD->getNameAsString()];
712 const llvm::Type *T =
713 CGM.getTypes().ConvertType(CGM.getContext().getObjCProtoType());
Owen Anderson96e0fc72009-07-29 22:16:19 +0000714 return Builder.CreateBitCast(protocol, llvm::PointerType::getUnqual(T));
Fariborz Jahanianf8c4f542009-03-31 18:27:22 +0000715}
716
717llvm::Constant *CGObjCGNU::GenerateEmptyProtocol(
718 const std::string &ProtocolName) {
719 llvm::SmallVector<std::string, 0> EmptyStringVector;
720 llvm::SmallVector<llvm::Constant*, 0> EmptyConstantVector;
721
722 llvm::Constant *ProtocolList = GenerateProtocolList(EmptyStringVector);
723 llvm::Constant *InstanceMethodList =
724 GenerateProtocolMethodList(EmptyConstantVector, EmptyConstantVector);
725 llvm::Constant *ClassMethodList =
726 GenerateProtocolMethodList(EmptyConstantVector, EmptyConstantVector);
727 // Protocols are objects containing lists of the methods implemented and
728 // protocols adopted.
Owen Anderson47a434f2009-08-05 23:18:46 +0000729 llvm::StructType *ProtocolTy = llvm::StructType::get(VMContext, IdTy,
Fariborz Jahanianf8c4f542009-03-31 18:27:22 +0000730 PtrToInt8Ty,
731 ProtocolList->getType(),
732 InstanceMethodList->getType(),
733 ClassMethodList->getType(),
734 NULL);
735 std::vector<llvm::Constant*> Elements;
736 // The isa pointer must be set to a magic number so the runtime knows it's
737 // the correct layout.
Owen Anderson3c4972d2009-07-29 18:54:39 +0000738 Elements.push_back(llvm::ConstantExpr::getIntToPtr(
Owen Anderson0032b272009-08-13 21:57:51 +0000739 llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), ProtocolVersion), IdTy));
Fariborz Jahanianf8c4f542009-03-31 18:27:22 +0000740 Elements.push_back(MakeConstantString(ProtocolName, ".objc_protocol_name"));
741 Elements.push_back(ProtocolList);
742 Elements.push_back(InstanceMethodList);
743 Elements.push_back(ClassMethodList);
744 return MakeGlobal(ProtocolTy, Elements, ".objc_protocol");
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000745}
746
Daniel Dunbaraf2f62c2008-08-13 00:59:25 +0000747void CGObjCGNU::GenerateProtocol(const ObjCProtocolDecl *PD) {
748 ASTContext &Context = CGM.getContext();
Chris Lattner8ec03f52008-11-24 03:54:41 +0000749 std::string ProtocolName = PD->getNameAsString();
Daniel Dunbaraf2f62c2008-08-13 00:59:25 +0000750 llvm::SmallVector<std::string, 16> Protocols;
751 for (ObjCProtocolDecl::protocol_iterator PI = PD->protocol_begin(),
752 E = PD->protocol_end(); PI != E; ++PI)
Chris Lattnerd9d22dd2008-11-24 05:29:24 +0000753 Protocols.push_back((*PI)->getNameAsString());
Daniel Dunbaraf2f62c2008-08-13 00:59:25 +0000754 llvm::SmallVector<llvm::Constant*, 16> InstanceMethodNames;
755 llvm::SmallVector<llvm::Constant*, 16> InstanceMethodTypes;
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000756 for (ObjCProtocolDecl::instmeth_iterator iter = PD->instmeth_begin(),
757 E = PD->instmeth_end(); iter != E; iter++) {
Daniel Dunbaraf2f62c2008-08-13 00:59:25 +0000758 std::string TypeStr;
759 Context.getObjCEncodingForMethodDecl(*iter, TypeStr);
760 InstanceMethodNames.push_back(
Chris Lattner077bf5e2008-11-24 03:33:13 +0000761 CGM.GetAddrOfConstantCString((*iter)->getSelector().getAsString()));
Daniel Dunbar61432932008-08-13 23:20:05 +0000762 InstanceMethodTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr));
Daniel Dunbaraf2f62c2008-08-13 00:59:25 +0000763 }
764 // Collect information about class methods:
765 llvm::SmallVector<llvm::Constant*, 16> ClassMethodNames;
766 llvm::SmallVector<llvm::Constant*, 16> ClassMethodTypes;
Douglas Gregor6ab35242009-04-09 21:40:53 +0000767 for (ObjCProtocolDecl::classmeth_iterator
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000768 iter = PD->classmeth_begin(), endIter = PD->classmeth_end();
769 iter != endIter ; iter++) {
Daniel Dunbaraf2f62c2008-08-13 00:59:25 +0000770 std::string TypeStr;
771 Context.getObjCEncodingForMethodDecl((*iter),TypeStr);
772 ClassMethodNames.push_back(
Chris Lattner077bf5e2008-11-24 03:33:13 +0000773 CGM.GetAddrOfConstantCString((*iter)->getSelector().getAsString()));
Daniel Dunbar61432932008-08-13 23:20:05 +0000774 ClassMethodTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr));
Daniel Dunbaraf2f62c2008-08-13 00:59:25 +0000775 }
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000776
777 llvm::Constant *ProtocolList = GenerateProtocolList(Protocols);
778 llvm::Constant *InstanceMethodList =
779 GenerateProtocolMethodList(InstanceMethodNames, InstanceMethodTypes);
780 llvm::Constant *ClassMethodList =
781 GenerateProtocolMethodList(ClassMethodNames, ClassMethodTypes);
782 // Protocols are objects containing lists of the methods implemented and
783 // protocols adopted.
Owen Anderson47a434f2009-08-05 23:18:46 +0000784 llvm::StructType *ProtocolTy = llvm::StructType::get(VMContext, IdTy,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000785 PtrToInt8Ty,
786 ProtocolList->getType(),
787 InstanceMethodList->getType(),
788 ClassMethodList->getType(),
789 NULL);
790 std::vector<llvm::Constant*> Elements;
791 // The isa pointer must be set to a magic number so the runtime knows it's
792 // the correct layout.
Owen Anderson3c4972d2009-07-29 18:54:39 +0000793 Elements.push_back(llvm::ConstantExpr::getIntToPtr(
Owen Anderson0032b272009-08-13 21:57:51 +0000794 llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), ProtocolVersion), IdTy));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000795 Elements.push_back(MakeConstantString(ProtocolName, ".objc_protocol_name"));
796 Elements.push_back(ProtocolList);
797 Elements.push_back(InstanceMethodList);
798 Elements.push_back(ClassMethodList);
799 ExistingProtocols[ProtocolName] =
Owen Anderson3c4972d2009-07-29 18:54:39 +0000800 llvm::ConstantExpr::getBitCast(MakeGlobal(ProtocolTy, Elements,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000801 ".objc_protocol"), IdTy);
802}
803
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000804void CGObjCGNU::GenerateCategory(const ObjCCategoryImplDecl *OCD) {
Chris Lattner8ec03f52008-11-24 03:54:41 +0000805 std::string ClassName = OCD->getClassInterface()->getNameAsString();
806 std::string CategoryName = OCD->getNameAsString();
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000807 // Collect information about instance methods
808 llvm::SmallVector<Selector, 16> InstanceMethodSels;
809 llvm::SmallVector<llvm::Constant*, 16> InstanceMethodTypes;
Douglas Gregor653f1b12009-04-23 01:02:12 +0000810 for (ObjCCategoryImplDecl::instmeth_iterator
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000811 iter = OCD->instmeth_begin(), endIter = OCD->instmeth_end();
Douglas Gregor653f1b12009-04-23 01:02:12 +0000812 iter != endIter ; iter++) {
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000813 InstanceMethodSels.push_back((*iter)->getSelector());
814 std::string TypeStr;
815 CGM.getContext().getObjCEncodingForMethodDecl(*iter,TypeStr);
816 InstanceMethodTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr));
817 }
818
819 // Collect information about class methods
820 llvm::SmallVector<Selector, 16> ClassMethodSels;
821 llvm::SmallVector<llvm::Constant*, 16> ClassMethodTypes;
Douglas Gregor653f1b12009-04-23 01:02:12 +0000822 for (ObjCCategoryImplDecl::classmeth_iterator
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000823 iter = OCD->classmeth_begin(), endIter = OCD->classmeth_end();
Douglas Gregor653f1b12009-04-23 01:02:12 +0000824 iter != endIter ; iter++) {
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000825 ClassMethodSels.push_back((*iter)->getSelector());
826 std::string TypeStr;
827 CGM.getContext().getObjCEncodingForMethodDecl(*iter,TypeStr);
828 ClassMethodTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr));
829 }
830
831 // Collect the names of referenced protocols
832 llvm::SmallVector<std::string, 16> Protocols;
833 const ObjCInterfaceDecl *ClassDecl = OCD->getClassInterface();
834 const ObjCList<ObjCProtocolDecl> &Protos =ClassDecl->getReferencedProtocols();
835 for (ObjCList<ObjCProtocolDecl>::iterator I = Protos.begin(),
836 E = Protos.end(); I != E; ++I)
Chris Lattnerd9d22dd2008-11-24 05:29:24 +0000837 Protocols.push_back((*I)->getNameAsString());
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000838
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000839 std::vector<llvm::Constant*> Elements;
840 Elements.push_back(MakeConstantString(CategoryName));
841 Elements.push_back(MakeConstantString(ClassName));
842 // Instance method list
Owen Anderson3c4972d2009-07-29 18:54:39 +0000843 Elements.push_back(llvm::ConstantExpr::getBitCast(GenerateMethodList(
Chris Lattnera4210072008-06-26 05:08:00 +0000844 ClassName, CategoryName, InstanceMethodSels, InstanceMethodTypes,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000845 false), PtrTy));
846 // Class method list
Owen Anderson3c4972d2009-07-29 18:54:39 +0000847 Elements.push_back(llvm::ConstantExpr::getBitCast(GenerateMethodList(
Chris Lattnera4210072008-06-26 05:08:00 +0000848 ClassName, CategoryName, ClassMethodSels, ClassMethodTypes, true),
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000849 PtrTy));
850 // Protocol list
Owen Anderson3c4972d2009-07-29 18:54:39 +0000851 Elements.push_back(llvm::ConstantExpr::getBitCast(
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000852 GenerateProtocolList(Protocols), PtrTy));
Owen Anderson3c4972d2009-07-29 18:54:39 +0000853 Categories.push_back(llvm::ConstantExpr::getBitCast(
Owen Anderson47a434f2009-08-05 23:18:46 +0000854 MakeGlobal(llvm::StructType::get(VMContext, PtrToInt8Ty, PtrToInt8Ty,
855 PtrTy, PtrTy, PtrTy, NULL), Elements), PtrTy));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000856}
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000857
858void CGObjCGNU::GenerateClass(const ObjCImplementationDecl *OID) {
859 ASTContext &Context = CGM.getContext();
860
861 // Get the superclass name.
862 const ObjCInterfaceDecl * SuperClassDecl =
863 OID->getClassInterface()->getSuperClass();
Chris Lattner8ec03f52008-11-24 03:54:41 +0000864 std::string SuperClassName;
Chris Lattner2a8e4e12009-06-15 01:09:11 +0000865 if (SuperClassDecl) {
Chris Lattner8ec03f52008-11-24 03:54:41 +0000866 SuperClassName = SuperClassDecl->getNameAsString();
Chris Lattner2a8e4e12009-06-15 01:09:11 +0000867 EmitClassRef(SuperClassName);
868 }
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000869
870 // Get the class name
Chris Lattner09dc6662009-04-01 02:00:48 +0000871 ObjCInterfaceDecl *ClassDecl =
872 const_cast<ObjCInterfaceDecl *>(OID->getClassInterface());
Chris Lattner8ec03f52008-11-24 03:54:41 +0000873 std::string ClassName = ClassDecl->getNameAsString();
Chris Lattner2a8e4e12009-06-15 01:09:11 +0000874 // Emit the symbol that is used to generate linker errors if this class is
875 // referenced in other modules but not declared.
Fariborz Jahanianc51db232009-07-03 15:10:14 +0000876 std::string classSymbolName = "__objc_class_name_" + ClassName;
877 if (llvm::GlobalVariable *symbol =
878 TheModule.getGlobalVariable(classSymbolName)) {
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000879 symbol->setInitializer(llvm::ConstantInt::get(LongTy, 0));
Fariborz Jahanianc51db232009-07-03 15:10:14 +0000880 } else {
Owen Anderson1c431b32009-07-08 19:05:04 +0000881 new llvm::GlobalVariable(TheModule, LongTy, false,
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000882 llvm::GlobalValue::ExternalLinkage, llvm::ConstantInt::get(LongTy, 0),
Owen Anderson1c431b32009-07-08 19:05:04 +0000883 classSymbolName);
Fariborz Jahanianc51db232009-07-03 15:10:14 +0000884 }
Chris Lattner2a8e4e12009-06-15 01:09:11 +0000885
Daniel Dunbar2bebbf02009-05-03 10:46:44 +0000886 // Get the size of instances.
887 int instanceSize = Context.getASTObjCImplementationLayout(OID).getSize() / 8;
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000888
889 // Collect information about instance variables.
890 llvm::SmallVector<llvm::Constant*, 16> IvarNames;
891 llvm::SmallVector<llvm::Constant*, 16> IvarTypes;
892 llvm::SmallVector<llvm::Constant*, 16> IvarOffsets;
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +0000893
894 int superInstanceSize = !SuperClassDecl ? 0 :
895 Context.getASTObjCInterfaceLayout(SuperClassDecl).getSize() / 8;
896 // For non-fragile ivars, set the instance size to 0 - {the size of just this
897 // class}. The runtime will then set this to the correct value on load.
898 if (CGM.getContext().getLangOptions().ObjCNonFragileABI) {
899 instanceSize = 0 - (instanceSize - superInstanceSize);
900 }
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000901 for (ObjCInterfaceDecl::ivar_iterator iter = ClassDecl->ivar_begin(),
902 endIter = ClassDecl->ivar_end() ; iter != endIter ; iter++) {
903 // Store the name
Chris Lattnerd9d22dd2008-11-24 05:29:24 +0000904 IvarNames.push_back(CGM.GetAddrOfConstantCString((*iter)
905 ->getNameAsString()));
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000906 // Get the type encoding for this ivar
907 std::string TypeStr;
Daniel Dunbar0d504c12008-10-17 20:21:44 +0000908 Context.getObjCEncodingForType((*iter)->getType(), TypeStr);
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000909 IvarTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr));
910 // Get the offset
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +0000911 uint64_t Offset;
912 if (CGM.getContext().getLangOptions().ObjCNonFragileABI) {
913 Offset = ComputeIvarBaseOffset(CGM, ClassDecl, *iter) -
914 superInstanceSize;
915 ObjCIvarOffsetVariable(ClassDecl, *iter);
916 } else {
917 Offset = ComputeIvarBaseOffset(CGM, ClassDecl, *iter);
918 }
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000919 IvarOffsets.push_back(
Owen Anderson0032b272009-08-13 21:57:51 +0000920 llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), Offset));
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000921 }
922
923 // Collect information about instance methods
924 llvm::SmallVector<Selector, 16> InstanceMethodSels;
925 llvm::SmallVector<llvm::Constant*, 16> InstanceMethodTypes;
Douglas Gregor653f1b12009-04-23 01:02:12 +0000926 for (ObjCImplementationDecl::instmeth_iterator
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000927 iter = OID->instmeth_begin(), endIter = OID->instmeth_end();
Douglas Gregor653f1b12009-04-23 01:02:12 +0000928 iter != endIter ; iter++) {
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000929 InstanceMethodSels.push_back((*iter)->getSelector());
930 std::string TypeStr;
931 Context.getObjCEncodingForMethodDecl((*iter),TypeStr);
932 InstanceMethodTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr));
933 }
Fariborz Jahanian1e64a952009-05-17 16:49:27 +0000934 for (ObjCImplDecl::propimpl_iterator
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000935 iter = OID->propimpl_begin(), endIter = OID->propimpl_end();
Fariborz Jahanian1e64a952009-05-17 16:49:27 +0000936 iter != endIter ; iter++) {
937 ObjCPropertyDecl *property = (*iter)->getPropertyDecl();
938 if (ObjCMethodDecl *getter = property->getGetterMethodDecl()) {
939 InstanceMethodSels.push_back(getter->getSelector());
940 std::string TypeStr;
941 Context.getObjCEncodingForMethodDecl(getter,TypeStr);
942 InstanceMethodTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr));
943 }
944 if (ObjCMethodDecl *setter = property->getSetterMethodDecl()) {
945 InstanceMethodSels.push_back(setter->getSelector());
946 std::string TypeStr;
947 Context.getObjCEncodingForMethodDecl(setter,TypeStr);
948 InstanceMethodTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr));
949 }
950 }
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000951
952 // Collect information about class methods
953 llvm::SmallVector<Selector, 16> ClassMethodSels;
954 llvm::SmallVector<llvm::Constant*, 16> ClassMethodTypes;
Douglas Gregor653f1b12009-04-23 01:02:12 +0000955 for (ObjCImplementationDecl::classmeth_iterator
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000956 iter = OID->classmeth_begin(), endIter = OID->classmeth_end();
Douglas Gregor653f1b12009-04-23 01:02:12 +0000957 iter != endIter ; iter++) {
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000958 ClassMethodSels.push_back((*iter)->getSelector());
959 std::string TypeStr;
960 Context.getObjCEncodingForMethodDecl((*iter),TypeStr);
961 ClassMethodTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr));
962 }
963 // Collect the names of referenced protocols
964 llvm::SmallVector<std::string, 16> Protocols;
965 const ObjCList<ObjCProtocolDecl> &Protos =ClassDecl->getReferencedProtocols();
966 for (ObjCList<ObjCProtocolDecl>::iterator I = Protos.begin(),
967 E = Protos.end(); I != E; ++I)
Chris Lattnerd9d22dd2008-11-24 05:29:24 +0000968 Protocols.push_back((*I)->getNameAsString());
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000969
970
971
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000972 // Get the superclass pointer.
973 llvm::Constant *SuperClass;
Chris Lattner8ec03f52008-11-24 03:54:41 +0000974 if (!SuperClassName.empty()) {
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000975 SuperClass = MakeConstantString(SuperClassName, ".super_class_name");
976 } else {
Owen Anderson03e20502009-07-30 23:11:26 +0000977 SuperClass = llvm::ConstantPointerNull::get(PtrToInt8Ty);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000978 }
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000979 // Empty vector used to construct empty method lists
980 llvm::SmallVector<llvm::Constant*, 1> empty;
981 // Generate the method and instance variable lists
982 llvm::Constant *MethodList = GenerateMethodList(ClassName, "",
Chris Lattnera4210072008-06-26 05:08:00 +0000983 InstanceMethodSels, InstanceMethodTypes, false);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000984 llvm::Constant *ClassMethodList = GenerateMethodList(ClassName, "",
Chris Lattnera4210072008-06-26 05:08:00 +0000985 ClassMethodSels, ClassMethodTypes, true);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000986 llvm::Constant *IvarList = GenerateIvarList(IvarNames, IvarTypes,
987 IvarOffsets);
988 //Generate metaclass for class methods
989 llvm::Constant *MetaClassStruct = GenerateClassStructure(NULLPtr,
Chris Lattner1565e032008-07-21 06:31:05 +0000990 NULLPtr, 0x2L, /*name*/"", 0, Zeros[0], GenerateIvarList(
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000991 empty, empty, empty), ClassMethodList, NULLPtr);
Daniel Dunbar5efccb12009-05-04 15:31:17 +0000992
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000993 // Generate the class structure
Chris Lattner8ec03f52008-11-24 03:54:41 +0000994 llvm::Constant *ClassStruct =
995 GenerateClassStructure(MetaClassStruct, SuperClass, 0x1L,
996 ClassName.c_str(), 0,
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000997 llvm::ConstantInt::get(LongTy, instanceSize), IvarList,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000998 MethodList, GenerateProtocolList(Protocols));
Daniel Dunbar5efccb12009-05-04 15:31:17 +0000999
1000 // Resolve the class aliases, if they exist.
1001 if (ClassPtrAlias) {
1002 ClassPtrAlias->setAliasee(
Owen Anderson3c4972d2009-07-29 18:54:39 +00001003 llvm::ConstantExpr::getBitCast(ClassStruct, IdTy));
Daniel Dunbar5efccb12009-05-04 15:31:17 +00001004 ClassPtrAlias = 0;
1005 }
1006 if (MetaClassPtrAlias) {
1007 MetaClassPtrAlias->setAliasee(
Owen Anderson3c4972d2009-07-29 18:54:39 +00001008 llvm::ConstantExpr::getBitCast(MetaClassStruct, IdTy));
Daniel Dunbar5efccb12009-05-04 15:31:17 +00001009 MetaClassPtrAlias = 0;
1010 }
1011
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001012 // Add class structure to list to be added to the symtab later
Owen Anderson3c4972d2009-07-29 18:54:39 +00001013 ClassStruct = llvm::ConstantExpr::getBitCast(ClassStruct, PtrToInt8Ty);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001014 Classes.push_back(ClassStruct);
1015}
1016
Fariborz Jahanianc38e9af2009-06-23 21:47:46 +00001017
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001018llvm::Function *CGObjCGNU::ModuleInitFunction() {
1019 // Only emit an ObjC load function if no Objective-C stuff has been called
1020 if (Classes.empty() && Categories.empty() && ConstantStrings.empty() &&
1021 ExistingProtocols.empty() && TypedSelectors.empty() &&
Anton Korobeynikov5f58b912008-06-01 15:14:46 +00001022 UntypedSelectors.empty())
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001023 return NULL;
Eli Friedman1b8956e2008-06-01 16:00:02 +00001024
Chris Lattnere160c9b2009-01-27 05:06:01 +00001025 const llvm::StructType *SelStructTy = dyn_cast<llvm::StructType>(
1026 SelectorTy->getElementType());
1027 const llvm::Type *SelStructPtrTy = SelectorTy;
1028 bool isSelOpaque = false;
1029 if (SelStructTy == 0) {
Owen Anderson47a434f2009-08-05 23:18:46 +00001030 SelStructTy = llvm::StructType::get(VMContext, PtrToInt8Ty,
1031 PtrToInt8Ty, NULL);
Owen Anderson96e0fc72009-07-29 22:16:19 +00001032 SelStructPtrTy = llvm::PointerType::getUnqual(SelStructTy);
Chris Lattnere160c9b2009-01-27 05:06:01 +00001033 isSelOpaque = true;
1034 }
1035
Eli Friedman1b8956e2008-06-01 16:00:02 +00001036 // Name the ObjC types to make the IR a bit easier to read
Chris Lattnere160c9b2009-01-27 05:06:01 +00001037 TheModule.addTypeName(".objc_selector", SelStructPtrTy);
Eli Friedman1b8956e2008-06-01 16:00:02 +00001038 TheModule.addTypeName(".objc_id", IdTy);
1039 TheModule.addTypeName(".objc_imp", IMPTy);
1040
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001041 std::vector<llvm::Constant*> Elements;
Chris Lattner71238f62009-04-25 23:19:45 +00001042 llvm::Constant *Statics = NULLPtr;
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001043 // Generate statics list:
Chris Lattner71238f62009-04-25 23:19:45 +00001044 if (ConstantStrings.size()) {
Owen Anderson96e0fc72009-07-29 22:16:19 +00001045 llvm::ArrayType *StaticsArrayTy = llvm::ArrayType::get(PtrToInt8Ty,
Chris Lattner71238f62009-04-25 23:19:45 +00001046 ConstantStrings.size() + 1);
1047 ConstantStrings.push_back(NULLPtr);
1048 Elements.push_back(MakeConstantString("NSConstantString",
1049 ".objc_static_class_name"));
Owen Anderson7db6d832009-07-28 18:33:04 +00001050 Elements.push_back(llvm::ConstantArray::get(StaticsArrayTy,
Chris Lattner71238f62009-04-25 23:19:45 +00001051 ConstantStrings));
1052 llvm::StructType *StaticsListTy =
Owen Anderson47a434f2009-08-05 23:18:46 +00001053 llvm::StructType::get(VMContext, PtrToInt8Ty, StaticsArrayTy, NULL);
Owen Andersona1cf15f2009-07-14 23:10:40 +00001054 llvm::Type *StaticsListPtrTy =
Owen Anderson96e0fc72009-07-29 22:16:19 +00001055 llvm::PointerType::getUnqual(StaticsListTy);
Chris Lattner71238f62009-04-25 23:19:45 +00001056 Statics = MakeGlobal(StaticsListTy, Elements, ".objc_statics");
Owen Andersona1cf15f2009-07-14 23:10:40 +00001057 llvm::ArrayType *StaticsListArrayTy =
Owen Anderson96e0fc72009-07-29 22:16:19 +00001058 llvm::ArrayType::get(StaticsListPtrTy, 2);
Chris Lattner71238f62009-04-25 23:19:45 +00001059 Elements.clear();
1060 Elements.push_back(Statics);
Owen Andersonc9c88b42009-07-31 20:28:54 +00001061 Elements.push_back(llvm::Constant::getNullValue(StaticsListPtrTy));
Chris Lattner71238f62009-04-25 23:19:45 +00001062 Statics = MakeGlobal(StaticsListArrayTy, Elements, ".objc_statics_ptr");
Owen Anderson3c4972d2009-07-29 18:54:39 +00001063 Statics = llvm::ConstantExpr::getBitCast(Statics, PtrTy);
Chris Lattner71238f62009-04-25 23:19:45 +00001064 }
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001065 // Array of classes, categories, and constant objects
Owen Anderson96e0fc72009-07-29 22:16:19 +00001066 llvm::ArrayType *ClassListTy = llvm::ArrayType::get(PtrToInt8Ty,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001067 Classes.size() + Categories.size() + 2);
Owen Anderson47a434f2009-08-05 23:18:46 +00001068 llvm::StructType *SymTabTy = llvm::StructType::get(VMContext,
1069 LongTy, SelStructPtrTy,
Owen Anderson0032b272009-08-13 21:57:51 +00001070 llvm::Type::getInt16Ty(VMContext),
1071 llvm::Type::getInt16Ty(VMContext),
Chris Lattner630404b2008-06-26 04:10:42 +00001072 ClassListTy, NULL);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001073
1074 Elements.clear();
1075 // Pointer to an array of selectors used in this module.
1076 std::vector<llvm::Constant*> Selectors;
1077 for (std::map<TypedSelector, llvm::GlobalAlias*>::iterator
1078 iter = TypedSelectors.begin(), iterEnd = TypedSelectors.end();
1079 iter != iterEnd ; ++iter) {
Chris Lattner630404b2008-06-26 04:10:42 +00001080 Elements.push_back(MakeConstantString(iter->first.first, ".objc_sel_name"));
1081 Elements.push_back(MakeConstantString(iter->first.second,
1082 ".objc_sel_types"));
Owen Anderson08e25242009-07-27 22:29:56 +00001083 Selectors.push_back(llvm::ConstantStruct::get(SelStructTy, Elements));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001084 Elements.clear();
1085 }
1086 for (llvm::StringMap<llvm::GlobalAlias*>::iterator
1087 iter = UntypedSelectors.begin(), iterEnd = UntypedSelectors.end();
Chris Lattner630404b2008-06-26 04:10:42 +00001088 iter != iterEnd; ++iter) {
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001089 Elements.push_back(
Chris Lattner630404b2008-06-26 04:10:42 +00001090 MakeConstantString(iter->getKeyData(), ".objc_sel_name"));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001091 Elements.push_back(NULLPtr);
Owen Anderson08e25242009-07-27 22:29:56 +00001092 Selectors.push_back(llvm::ConstantStruct::get(SelStructTy, Elements));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001093 Elements.clear();
1094 }
1095 Elements.push_back(NULLPtr);
1096 Elements.push_back(NULLPtr);
Owen Anderson08e25242009-07-27 22:29:56 +00001097 Selectors.push_back(llvm::ConstantStruct::get(SelStructTy, Elements));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001098 Elements.clear();
1099 // Number of static selectors
Owen Anderson4a28d5d2009-07-24 23:12:58 +00001100 Elements.push_back(llvm::ConstantInt::get(LongTy, Selectors.size() ));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001101 llvm::Constant *SelectorList = MakeGlobal(
Owen Anderson96e0fc72009-07-29 22:16:19 +00001102 llvm::ArrayType::get(SelStructTy, Selectors.size()), Selectors,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001103 ".objc_selector_list");
Owen Anderson3c4972d2009-07-29 18:54:39 +00001104 Elements.push_back(llvm::ConstantExpr::getBitCast(SelectorList,
Chris Lattnere160c9b2009-01-27 05:06:01 +00001105 SelStructPtrTy));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001106
1107 // Now that all of the static selectors exist, create pointers to them.
1108 int index = 0;
1109 for (std::map<TypedSelector, llvm::GlobalAlias*>::iterator
1110 iter=TypedSelectors.begin(), iterEnd =TypedSelectors.end();
1111 iter != iterEnd; ++iter) {
1112 llvm::Constant *Idxs[] = {Zeros[0],
Owen Anderson0032b272009-08-13 21:57:51 +00001113 llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), index++), Zeros[0]};
Owen Anderson1c431b32009-07-08 19:05:04 +00001114 llvm::Constant *SelPtr = new llvm::GlobalVariable(TheModule, SelStructPtrTy,
1115 true, llvm::GlobalValue::InternalLinkage,
Owen Anderson3c4972d2009-07-29 18:54:39 +00001116 llvm::ConstantExpr::getGetElementPtr(SelectorList, Idxs, 2),
Owen Anderson1c431b32009-07-08 19:05:04 +00001117 ".objc_sel_ptr");
Chris Lattnere160c9b2009-01-27 05:06:01 +00001118 // If selectors are defined as an opaque type, cast the pointer to this
1119 // type.
1120 if (isSelOpaque) {
Owen Anderson3c4972d2009-07-29 18:54:39 +00001121 SelPtr = llvm::ConstantExpr::getBitCast(SelPtr,
Owen Anderson96e0fc72009-07-29 22:16:19 +00001122 llvm::PointerType::getUnqual(SelectorTy));
Chris Lattnere160c9b2009-01-27 05:06:01 +00001123 }
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001124 (*iter).second->setAliasee(SelPtr);
1125 }
1126 for (llvm::StringMap<llvm::GlobalAlias*>::iterator
1127 iter=UntypedSelectors.begin(), iterEnd = UntypedSelectors.end();
1128 iter != iterEnd; iter++) {
1129 llvm::Constant *Idxs[] = {Zeros[0],
Owen Anderson0032b272009-08-13 21:57:51 +00001130 llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), index++), Zeros[0]};
Mike Stumpbb1c8602009-07-31 21:31:32 +00001131 llvm::Constant *SelPtr = new llvm::GlobalVariable
1132 (TheModule, SelStructPtrTy,
1133 true, llvm::GlobalValue::InternalLinkage,
1134 llvm::ConstantExpr::getGetElementPtr(SelectorList, Idxs, 2),
1135 ".objc_sel_ptr");
Chris Lattnere160c9b2009-01-27 05:06:01 +00001136 // If selectors are defined as an opaque type, cast the pointer to this
1137 // type.
1138 if (isSelOpaque) {
Owen Anderson3c4972d2009-07-29 18:54:39 +00001139 SelPtr = llvm::ConstantExpr::getBitCast(SelPtr,
Owen Anderson96e0fc72009-07-29 22:16:19 +00001140 llvm::PointerType::getUnqual(SelectorTy));
Chris Lattnere160c9b2009-01-27 05:06:01 +00001141 }
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001142 (*iter).second->setAliasee(SelPtr);
1143 }
1144 // Number of classes defined.
Owen Anderson0032b272009-08-13 21:57:51 +00001145 Elements.push_back(llvm::ConstantInt::get(llvm::Type::getInt16Ty(VMContext),
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001146 Classes.size()));
1147 // Number of categories defined
Owen Anderson0032b272009-08-13 21:57:51 +00001148 Elements.push_back(llvm::ConstantInt::get(llvm::Type::getInt16Ty(VMContext),
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001149 Categories.size()));
1150 // Create an array of classes, then categories, then static object instances
1151 Classes.insert(Classes.end(), Categories.begin(), Categories.end());
1152 // NULL-terminated list of static object instances (mainly constant strings)
1153 Classes.push_back(Statics);
1154 Classes.push_back(NULLPtr);
Owen Anderson7db6d832009-07-28 18:33:04 +00001155 llvm::Constant *ClassList = llvm::ConstantArray::get(ClassListTy, Classes);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001156 Elements.push_back(ClassList);
1157 // Construct the symbol table
1158 llvm::Constant *SymTab= MakeGlobal(SymTabTy, Elements);
1159
1160 // The symbol table is contained in a module which has some version-checking
1161 // constants
Owen Anderson47a434f2009-08-05 23:18:46 +00001162 llvm::StructType * ModuleTy = llvm::StructType::get(VMContext, LongTy, LongTy,
Owen Anderson96e0fc72009-07-29 22:16:19 +00001163 PtrToInt8Ty, llvm::PointerType::getUnqual(SymTabTy), NULL);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001164 Elements.clear();
1165 // Runtime version used for compatibility checking.
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +00001166 if (CGM.getContext().getLangOptions().ObjCNonFragileABI) {
Owen Anderson4a28d5d2009-07-24 23:12:58 +00001167 Elements.push_back(llvm::ConstantInt::get(LongTy,
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +00001168 NonFragileRuntimeVersion));
1169 } else {
Owen Anderson4a28d5d2009-07-24 23:12:58 +00001170 Elements.push_back(llvm::ConstantInt::get(LongTy, RuntimeVersion));
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +00001171 }
Fariborz Jahanian91a0b512009-04-01 19:49:42 +00001172 // sizeof(ModuleTy)
1173 llvm::TargetData td = llvm::TargetData::TargetData(&TheModule);
Owen Anderson4a28d5d2009-07-24 23:12:58 +00001174 Elements.push_back(llvm::ConstantInt::get(LongTy,
Owen Andersona1cf15f2009-07-14 23:10:40 +00001175 td.getTypeSizeInBits(ModuleTy)/8));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001176 //FIXME: Should be the path to the file where this module was declared
1177 Elements.push_back(NULLPtr);
1178 Elements.push_back(SymTab);
1179 llvm::Value *Module = MakeGlobal(ModuleTy, Elements);
1180
1181 // Create the load function calling the runtime entry point with the module
1182 // structure
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001183 llvm::Function * LoadFunction = llvm::Function::Create(
Owen Anderson0032b272009-08-13 21:57:51 +00001184 llvm::FunctionType::get(llvm::Type::getVoidTy(VMContext), false),
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001185 llvm::GlobalValue::InternalLinkage, ".objc_load_function",
1186 &TheModule);
Owen Anderson0032b272009-08-13 21:57:51 +00001187 llvm::BasicBlock *EntryBB =
1188 llvm::BasicBlock::Create(VMContext, "entry", LoadFunction);
Owen Andersona1cf15f2009-07-14 23:10:40 +00001189 CGBuilderTy Builder(VMContext);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001190 Builder.SetInsertPoint(EntryBB);
Fariborz Jahanian26c82942009-03-30 18:02:14 +00001191
1192 std::vector<const llvm::Type*> Params(1,
Owen Anderson96e0fc72009-07-29 22:16:19 +00001193 llvm::PointerType::getUnqual(ModuleTy));
1194 llvm::Value *Register = CGM.CreateRuntimeFunction(llvm::FunctionType::get(
Owen Anderson0032b272009-08-13 21:57:51 +00001195 llvm::Type::getVoidTy(VMContext), Params, true), "__objc_exec_class");
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001196 Builder.CreateCall(Register, Module);
1197 Builder.CreateRetVoid();
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +00001198
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001199 return LoadFunction;
1200}
Daniel Dunbar7ded7f42008-08-15 22:20:32 +00001201
Fariborz Jahanian679a5022009-01-10 21:06:09 +00001202llvm::Function *CGObjCGNU::GenerateMethod(const ObjCMethodDecl *OMD,
1203 const ObjCContainerDecl *CD) {
Daniel Dunbar7ded7f42008-08-15 22:20:32 +00001204 const ObjCCategoryImplDecl *OCD =
Steve Naroff3e0a5402009-01-08 19:41:02 +00001205 dyn_cast<ObjCCategoryImplDecl>(OMD->getDeclContext());
Chris Lattner077bf5e2008-11-24 03:33:13 +00001206 std::string CategoryName = OCD ? OCD->getNameAsString() : "";
1207 std::string ClassName = OMD->getClassInterface()->getNameAsString();
1208 std::string MethodName = OMD->getSelector().getAsString();
Douglas Gregorf8d49f62009-01-09 17:18:27 +00001209 bool isClassMethod = !OMD->isInstanceMethod();
Daniel Dunbar7ded7f42008-08-15 22:20:32 +00001210
Daniel Dunbar541b63b2009-02-02 23:23:47 +00001211 CodeGenTypes &Types = CGM.getTypes();
Daniel Dunbar45c25ba2008-09-10 04:01:49 +00001212 const llvm::FunctionType *MethodTy =
Daniel Dunbar541b63b2009-02-02 23:23:47 +00001213 Types.GetFunctionType(Types.getFunctionInfo(OMD), OMD->isVariadic());
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001214 std::string FunctionName = SymbolNameForMethod(ClassName, CategoryName,
1215 MethodName, isClassMethod);
1216
Gabor Greif984d0b42008-04-06 20:42:52 +00001217 llvm::Function *Method = llvm::Function::Create(MethodTy,
Chris Lattner391d77a2008-03-30 23:03:07 +00001218 llvm::GlobalValue::InternalLinkage,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001219 FunctionName,
Chris Lattner391d77a2008-03-30 23:03:07 +00001220 &TheModule);
Chris Lattner391d77a2008-03-30 23:03:07 +00001221 return Method;
1222}
1223
Daniel Dunbar49f66022008-09-24 03:38:44 +00001224llvm::Function *CGObjCGNU::GetPropertyGetFunction() {
Fariborz Jahaniancb9dad02009-05-19 00:28:43 +00001225 std::vector<const llvm::Type*> Params;
1226 const llvm::Type *BoolTy =
1227 CGM.getTypes().ConvertType(CGM.getContext().BoolTy);
1228 Params.push_back(IdTy);
1229 Params.push_back(SelectorTy);
1230 // FIXME: Using LongTy for ptrdiff_t is probably broken on Win64
1231 Params.push_back(LongTy);
1232 Params.push_back(BoolTy);
1233 // void objc_getProperty (id, SEL, ptrdiff_t, bool)
1234 const llvm::FunctionType *FTy =
Owen Anderson96e0fc72009-07-29 22:16:19 +00001235 llvm::FunctionType::get(IdTy, Params, false);
Fariborz Jahaniancb9dad02009-05-19 00:28:43 +00001236 return cast<llvm::Function>(CGM.CreateRuntimeFunction(FTy,
1237 "objc_getProperty"));
Daniel Dunbar49f66022008-09-24 03:38:44 +00001238}
1239
1240llvm::Function *CGObjCGNU::GetPropertySetFunction() {
Fariborz Jahaniancb9dad02009-05-19 00:28:43 +00001241 std::vector<const llvm::Type*> Params;
1242 const llvm::Type *BoolTy =
1243 CGM.getTypes().ConvertType(CGM.getContext().BoolTy);
1244 Params.push_back(IdTy);
1245 Params.push_back(SelectorTy);
1246 // FIXME: Using LongTy for ptrdiff_t is probably broken on Win64
1247 Params.push_back(LongTy);
1248 Params.push_back(IdTy);
1249 Params.push_back(BoolTy);
1250 Params.push_back(BoolTy);
1251 // void objc_setProperty (id, SEL, ptrdiff_t, id, bool, bool)
1252 const llvm::FunctionType *FTy =
Owen Anderson0032b272009-08-13 21:57:51 +00001253 llvm::FunctionType::get(llvm::Type::getVoidTy(VMContext), Params, false);
Fariborz Jahaniancb9dad02009-05-19 00:28:43 +00001254 return cast<llvm::Function>(CGM.CreateRuntimeFunction(FTy,
1255 "objc_setProperty"));
Daniel Dunbar49f66022008-09-24 03:38:44 +00001256}
1257
Daniel Dunbar309a4362009-07-24 07:40:24 +00001258llvm::Constant *CGObjCGNU::EnumerationMutationFunction() {
1259 CodeGen::CodeGenTypes &Types = CGM.getTypes();
1260 ASTContext &Ctx = CGM.getContext();
1261 // void objc_enumerationMutation (id)
1262 llvm::SmallVector<QualType,16> Params;
David Chisnall0f436562009-08-17 16:35:33 +00001263 Params.push_back(ASTIdTy);
Daniel Dunbar309a4362009-07-24 07:40:24 +00001264 const llvm::FunctionType *FTy =
1265 Types.GetFunctionType(Types.getFunctionInfo(Ctx.VoidTy, Params), false);
1266 return CGM.CreateRuntimeFunction(FTy, "objc_enumerationMutation");
Anders Carlsson2abd89c2008-08-31 04:05:03 +00001267}
1268
Fariborz Jahanianbd71be42008-11-21 00:49:24 +00001269void CGObjCGNU::EmitTryOrSynchronizedStmt(CodeGen::CodeGenFunction &CGF,
1270 const Stmt &S) {
Chris Lattner5dc08672009-05-08 00:11:50 +00001271 // Pointer to the personality function
1272 llvm::Constant *Personality =
Owen Anderson0032b272009-08-13 21:57:51 +00001273 CGM.CreateRuntimeFunction(llvm::FunctionType::get(llvm::Type::getInt32Ty(VMContext),
Chris Lattnerb59761b2009-07-01 04:13:52 +00001274 true),
Chris Lattner5dc08672009-05-08 00:11:50 +00001275 "__gnu_objc_personality_v0");
Owen Anderson3c4972d2009-07-29 18:54:39 +00001276 Personality = llvm::ConstantExpr::getBitCast(Personality, PtrTy);
Chris Lattner5dc08672009-05-08 00:11:50 +00001277 std::vector<const llvm::Type*> Params;
1278 Params.push_back(PtrTy);
1279 llvm::Value *RethrowFn =
Owen Anderson0032b272009-08-13 21:57:51 +00001280 CGM.CreateRuntimeFunction(llvm::FunctionType::get(llvm::Type::getVoidTy(VMContext),
Chris Lattner5dc08672009-05-08 00:11:50 +00001281 Params, false), "_Unwind_Resume_or_Rethrow");
1282
1283 bool isTry = isa<ObjCAtTryStmt>(S);
1284 llvm::BasicBlock *TryBlock = CGF.createBasicBlock("try");
1285 llvm::BasicBlock *PrevLandingPad = CGF.getInvokeDest();
1286 llvm::BasicBlock *TryHandler = CGF.createBasicBlock("try.handler");
Chris Lattnerd6a99072009-05-11 18:16:28 +00001287 llvm::BasicBlock *CatchInCatch = CGF.createBasicBlock("catch.rethrow");
Chris Lattner5dc08672009-05-08 00:11:50 +00001288 llvm::BasicBlock *FinallyBlock = CGF.createBasicBlock("finally");
1289 llvm::BasicBlock *FinallyRethrow = CGF.createBasicBlock("finally.throw");
1290 llvm::BasicBlock *FinallyEnd = CGF.createBasicBlock("finally.end");
1291
1292 // GNU runtime does not currently support @synchronized()
1293 if (!isTry) {
Chris Lattnerd6a99072009-05-11 18:16:28 +00001294 std::vector<const llvm::Type*> Args(1, IdTy);
1295 llvm::FunctionType *FTy =
Owen Anderson0032b272009-08-13 21:57:51 +00001296 llvm::FunctionType::get(llvm::Type::getVoidTy(VMContext), Args, false);
Chris Lattnerd6a99072009-05-11 18:16:28 +00001297 llvm::Value *SyncEnter = CGM.CreateRuntimeFunction(FTy, "objc_sync_enter");
1298 llvm::Value *SyncArg =
1299 CGF.EmitScalarExpr(cast<ObjCAtSynchronizedStmt>(S).getSynchExpr());
1300 SyncArg = CGF.Builder.CreateBitCast(SyncArg, IdTy);
1301 CGF.Builder.CreateCall(SyncEnter, SyncArg);
Chris Lattner5dc08672009-05-08 00:11:50 +00001302 }
1303
Chris Lattnerd6a99072009-05-11 18:16:28 +00001304
Chris Lattner5dc08672009-05-08 00:11:50 +00001305 // Push an EH context entry, used for handling rethrows and jumps
1306 // through finally.
1307 CGF.PushCleanupBlock(FinallyBlock);
1308
1309 // Emit the statements in the @try {} block
1310 CGF.setInvokeDest(TryHandler);
1311
1312 CGF.EmitBlock(TryBlock);
1313 CGF.EmitStmt(isTry ? cast<ObjCAtTryStmt>(S).getTryBody()
1314 : cast<ObjCAtSynchronizedStmt>(S).getSynchBody());
1315
1316 // Jump to @finally if there is no exception
1317 CGF.EmitBranchThroughCleanup(FinallyEnd);
1318
1319 // Emit the handlers
1320 CGF.EmitBlock(TryHandler);
1321
Chris Lattnerbb422ad2009-05-08 17:36:08 +00001322 // Get the correct versions of the exception handling intrinsics
1323 llvm::TargetData td = llvm::TargetData::TargetData(&TheModule);
1324 int PointerWidth = td.getTypeSizeInBits(PtrTy);
1325 assert((PointerWidth == 32 || PointerWidth == 64) &&
1326 "Can't yet handle exceptions if pointers are not 32 or 64 bits");
Chris Lattner5dc08672009-05-08 00:11:50 +00001327 llvm::Value *llvm_eh_exception =
1328 CGF.CGM.getIntrinsic(llvm::Intrinsic::eh_exception);
Chris Lattnerbb422ad2009-05-08 17:36:08 +00001329 llvm::Value *llvm_eh_selector = PointerWidth == 32 ?
1330 CGF.CGM.getIntrinsic(llvm::Intrinsic::eh_selector_i32) :
1331 CGF.CGM.getIntrinsic(llvm::Intrinsic::eh_selector_i64);
1332 llvm::Value *llvm_eh_typeid_for = PointerWidth == 32 ?
1333 CGF.CGM.getIntrinsic(llvm::Intrinsic::eh_typeid_for_i32) :
1334 CGF.CGM.getIntrinsic(llvm::Intrinsic::eh_typeid_for_i64);
Chris Lattner5dc08672009-05-08 00:11:50 +00001335
1336 // Exception object
1337 llvm::Value *Exc = CGF.Builder.CreateCall(llvm_eh_exception, "exc");
1338 llvm::Value *RethrowPtr = CGF.CreateTempAlloca(Exc->getType(), "_rethrow");
1339
1340 llvm::SmallVector<llvm::Value*, 8> ESelArgs;
1341 llvm::SmallVector<std::pair<const ParmVarDecl*, const Stmt*>, 8> Handlers;
1342
1343 ESelArgs.push_back(Exc);
1344 ESelArgs.push_back(Personality);
1345
1346 bool HasCatchAll = false;
1347 // Only @try blocks are allowed @catch blocks, but both can have @finally
1348 if (isTry) {
1349 if (const ObjCAtCatchStmt* CatchStmt =
1350 cast<ObjCAtTryStmt>(S).getCatchStmts()) {
Chris Lattnerd6a99072009-05-11 18:16:28 +00001351 CGF.setInvokeDest(CatchInCatch);
Chris Lattner5dc08672009-05-08 00:11:50 +00001352
1353 for (; CatchStmt; CatchStmt = CatchStmt->getNextCatchStmt()) {
1354 const ParmVarDecl *CatchDecl = CatchStmt->getCatchParamDecl();
Mike Stumpbb1c8602009-07-31 21:31:32 +00001355 Handlers.push_back(std::make_pair(CatchDecl,
1356 CatchStmt->getCatchBody()));
Chris Lattner5dc08672009-05-08 00:11:50 +00001357
1358 // @catch() and @catch(id) both catch any ObjC exception
Steve Naroff14108da2009-07-10 23:34:53 +00001359 if (!CatchDecl || CatchDecl->getType()->isObjCIdType()
Chris Lattner5dc08672009-05-08 00:11:50 +00001360 || CatchDecl->getType()->isObjCQualifiedIdType()) {
1361 // Use i8* null here to signal this is a catch all, not a cleanup.
1362 ESelArgs.push_back(NULLPtr);
1363 HasCatchAll = true;
1364 // No further catches after this one will ever by reached
1365 break;
1366 }
1367
1368 // All other types should be Objective-C interface pointer types.
Steve Naroff14108da2009-07-10 23:34:53 +00001369 const ObjCObjectPointerType *OPT =
1370 CatchDecl->getType()->getAsObjCObjectPointerType();
1371 assert(OPT && "Invalid @catch type.");
Chris Lattner5dc08672009-05-08 00:11:50 +00001372 const ObjCInterfaceType *IT =
Steve Naroff14108da2009-07-10 23:34:53 +00001373 OPT->getPointeeType()->getAsObjCInterfaceType();
Chris Lattner5dc08672009-05-08 00:11:50 +00001374 assert(IT && "Invalid @catch type.");
Chris Lattnerbb422ad2009-05-08 17:36:08 +00001375 llvm::Value *EHType =
1376 MakeConstantString(IT->getDecl()->getNameAsString());
Chris Lattner5dc08672009-05-08 00:11:50 +00001377 ESelArgs.push_back(EHType);
1378 }
1379 }
1380 }
1381
1382 // We use a cleanup unless there was already a catch all.
1383 if (!HasCatchAll) {
Owen Anderson0032b272009-08-13 21:57:51 +00001384 ESelArgs.push_back(llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), 0));
Chris Lattner5dc08672009-05-08 00:11:50 +00001385 Handlers.push_back(std::make_pair((const ParmVarDecl*) 0, (const Stmt*) 0));
1386 }
1387
1388 // Find which handler was matched.
Chris Lattnerbb422ad2009-05-08 17:36:08 +00001389 llvm::Value *ESelector = CGF.Builder.CreateCall(llvm_eh_selector,
Chris Lattner5dc08672009-05-08 00:11:50 +00001390 ESelArgs.begin(), ESelArgs.end(), "selector");
1391
1392 for (unsigned i = 0, e = Handlers.size(); i != e; ++i) {
1393 const ParmVarDecl *CatchParam = Handlers[i].first;
1394 const Stmt *CatchBody = Handlers[i].second;
1395
1396 llvm::BasicBlock *Next = 0;
1397
1398 // The last handler always matches.
1399 if (i + 1 != e) {
1400 assert(CatchParam && "Only last handler can be a catch all.");
1401
1402 // Test whether this block matches the type for the selector and branch
1403 // to Match if it does, or to the next BB if it doesn't.
1404 llvm::BasicBlock *Match = CGF.createBasicBlock("match");
1405 Next = CGF.createBasicBlock("catch.next");
Chris Lattnerbb422ad2009-05-08 17:36:08 +00001406 llvm::Value *Id = CGF.Builder.CreateCall(llvm_eh_typeid_for,
Chris Lattner5dc08672009-05-08 00:11:50 +00001407 CGF.Builder.CreateBitCast(ESelArgs[i+2], PtrTy));
1408 CGF.Builder.CreateCondBr(CGF.Builder.CreateICmpEQ(ESelector, Id), Match,
1409 Next);
1410
1411 CGF.EmitBlock(Match);
1412 }
1413
1414 if (CatchBody) {
Chris Lattner5dc08672009-05-08 00:11:50 +00001415 llvm::Value *ExcObject = CGF.Builder.CreateBitCast(Exc,
1416 CGF.ConvertType(CatchParam->getType()));
1417
1418 // Bind the catch parameter if it exists.
1419 if (CatchParam) {
1420 // CatchParam is a ParmVarDecl because of the grammar
1421 // construction used to handle this, but for codegen purposes
1422 // we treat this as a local decl.
1423 CGF.EmitLocalBlockVarDecl(*CatchParam);
1424 CGF.Builder.CreateStore(ExcObject, CGF.GetAddrOfLocalVar(CatchParam));
1425 }
1426
1427 CGF.ObjCEHValueStack.push_back(ExcObject);
1428 CGF.EmitStmt(CatchBody);
1429 CGF.ObjCEHValueStack.pop_back();
1430
1431 CGF.EmitBranchThroughCleanup(FinallyEnd);
1432
1433 if (Next)
1434 CGF.EmitBlock(Next);
1435 } else {
1436 assert(!Next && "catchup should be last handler.");
1437
1438 CGF.Builder.CreateStore(Exc, RethrowPtr);
1439 CGF.EmitBranchThroughCleanup(FinallyRethrow);
1440 }
1441 }
Chris Lattnerd6a99072009-05-11 18:16:28 +00001442 // The @finally block is a secondary landing pad for any exceptions thrown in
1443 // @catch() blocks
1444 CGF.EmitBlock(CatchInCatch);
1445 Exc = CGF.Builder.CreateCall(llvm_eh_exception, "exc");
1446 ESelArgs.clear();
1447 ESelArgs.push_back(Exc);
1448 ESelArgs.push_back(Personality);
Owen Anderson0032b272009-08-13 21:57:51 +00001449 ESelArgs.push_back(llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), 0));
Chris Lattnerd6a99072009-05-11 18:16:28 +00001450 CGF.Builder.CreateCall(llvm_eh_selector, ESelArgs.begin(), ESelArgs.end(),
1451 "selector");
1452 CGF.Builder.CreateCall(llvm_eh_typeid_for,
1453 CGF.Builder.CreateIntToPtr(ESelArgs[2], PtrTy));
1454 CGF.Builder.CreateStore(Exc, RethrowPtr);
1455 CGF.EmitBranchThroughCleanup(FinallyRethrow);
1456
Chris Lattner5dc08672009-05-08 00:11:50 +00001457 CodeGenFunction::CleanupBlockInfo Info = CGF.PopCleanupBlock();
1458
1459 CGF.setInvokeDest(PrevLandingPad);
1460
1461 CGF.EmitBlock(FinallyBlock);
1462
Chris Lattnerd6a99072009-05-11 18:16:28 +00001463
Chris Lattner5dc08672009-05-08 00:11:50 +00001464 if (isTry) {
1465 if (const ObjCAtFinallyStmt* FinallyStmt =
1466 cast<ObjCAtTryStmt>(S).getFinallyStmt())
1467 CGF.EmitStmt(FinallyStmt->getFinallyBody());
1468 } else {
Chris Lattnerd6a99072009-05-11 18:16:28 +00001469 // Emit 'objc_sync_exit(expr)' as finally's sole statement for
Chris Lattner5dc08672009-05-08 00:11:50 +00001470 // @synchronized.
Chris Lattnerd6a99072009-05-11 18:16:28 +00001471 std::vector<const llvm::Type*> Args(1, IdTy);
1472 llvm::FunctionType *FTy =
Owen Anderson0032b272009-08-13 21:57:51 +00001473 llvm::FunctionType::get(llvm::Type::getVoidTy(VMContext), Args, false);
Chris Lattnerd6a99072009-05-11 18:16:28 +00001474 llvm::Value *SyncExit = CGM.CreateRuntimeFunction(FTy, "objc_sync_exit");
1475 llvm::Value *SyncArg =
1476 CGF.EmitScalarExpr(cast<ObjCAtSynchronizedStmt>(S).getSynchExpr());
1477 SyncArg = CGF.Builder.CreateBitCast(SyncArg, IdTy);
1478 CGF.Builder.CreateCall(SyncExit, SyncArg);
Chris Lattner5dc08672009-05-08 00:11:50 +00001479 }
1480
1481 if (Info.SwitchBlock)
1482 CGF.EmitBlock(Info.SwitchBlock);
1483 if (Info.EndBlock)
1484 CGF.EmitBlock(Info.EndBlock);
1485
1486 // Branch around the rethrow code.
1487 CGF.EmitBranch(FinallyEnd);
1488
1489 CGF.EmitBlock(FinallyRethrow);
1490 CGF.Builder.CreateCall(RethrowFn, CGF.Builder.CreateLoad(RethrowPtr));
1491 CGF.Builder.CreateUnreachable();
1492
1493 CGF.EmitBlock(FinallyEnd);
1494
Anders Carlsson64d5d6c2008-09-09 10:04:29 +00001495}
1496
1497void CGObjCGNU::EmitThrowStmt(CodeGen::CodeGenFunction &CGF,
Daniel Dunbar49f66022008-09-24 03:38:44 +00001498 const ObjCAtThrowStmt &S) {
Chris Lattner5dc08672009-05-08 00:11:50 +00001499 llvm::Value *ExceptionAsObject;
1500
1501 std::vector<const llvm::Type*> Args(1, IdTy);
1502 llvm::FunctionType *FTy =
Owen Anderson0032b272009-08-13 21:57:51 +00001503 llvm::FunctionType::get(llvm::Type::getVoidTy(VMContext), Args, false);
Chris Lattner5dc08672009-05-08 00:11:50 +00001504 llvm::Value *ThrowFn =
1505 CGM.CreateRuntimeFunction(FTy, "objc_exception_throw");
1506
1507 if (const Expr *ThrowExpr = S.getThrowExpr()) {
1508 llvm::Value *Exception = CGF.EmitScalarExpr(ThrowExpr);
Fariborz Jahanian1e64a952009-05-17 16:49:27 +00001509 ExceptionAsObject = Exception;
Chris Lattner5dc08672009-05-08 00:11:50 +00001510 } else {
1511 assert((!CGF.ObjCEHValueStack.empty() && CGF.ObjCEHValueStack.back()) &&
1512 "Unexpected rethrow outside @catch block.");
1513 ExceptionAsObject = CGF.ObjCEHValueStack.back();
1514 }
Fariborz Jahanian1e64a952009-05-17 16:49:27 +00001515 ExceptionAsObject =
1516 CGF.Builder.CreateBitCast(ExceptionAsObject, IdTy, "tmp");
Chris Lattner5dc08672009-05-08 00:11:50 +00001517
1518 // Note: This may have to be an invoke, if we want to support constructs like:
1519 // @try {
1520 // @throw(obj);
1521 // }
1522 // @catch(id) ...
1523 //
1524 // This is effectively turning @throw into an incredibly-expensive goto, but
1525 // it may happen as a result of inlining followed by missed optimizations, or
1526 // as a result of stupidity.
1527 llvm::BasicBlock *UnwindBB = CGF.getInvokeDest();
1528 if (!UnwindBB) {
1529 CGF.Builder.CreateCall(ThrowFn, ExceptionAsObject);
1530 CGF.Builder.CreateUnreachable();
1531 } else {
1532 CGF.Builder.CreateInvoke(ThrowFn, UnwindBB, UnwindBB, &ExceptionAsObject,
1533 &ExceptionAsObject+1);
1534 }
1535 // Clear the insertion point to indicate we are in unreachable code.
1536 CGF.Builder.ClearInsertionPoint();
Anders Carlsson64d5d6c2008-09-09 10:04:29 +00001537}
1538
Fariborz Jahanian3e283e32008-11-18 22:37:34 +00001539llvm::Value * CGObjCGNU::EmitObjCWeakRead(CodeGen::CodeGenFunction &CGF,
Fariborz Jahanian6dc23172008-11-18 21:45:40 +00001540 llvm::Value *AddrWeakObj)
1541{
1542 return 0;
1543}
1544
Fariborz Jahanian3e283e32008-11-18 22:37:34 +00001545void CGObjCGNU::EmitObjCWeakAssign(CodeGen::CodeGenFunction &CGF,
1546 llvm::Value *src, llvm::Value *dst)
1547{
1548 return;
1549}
1550
Fariborz Jahanian58626502008-11-19 00:59:10 +00001551void CGObjCGNU::EmitObjCGlobalAssign(CodeGen::CodeGenFunction &CGF,
1552 llvm::Value *src, llvm::Value *dst)
1553{
1554 return;
1555}
1556
Fariborz Jahanian7eda8362008-11-20 19:23:36 +00001557void CGObjCGNU::EmitObjCIvarAssign(CodeGen::CodeGenFunction &CGF,
1558 llvm::Value *src, llvm::Value *dst)
1559{
1560 return;
1561}
1562
Fariborz Jahanian58626502008-11-19 00:59:10 +00001563void CGObjCGNU::EmitObjCStrongCastAssign(CodeGen::CodeGenFunction &CGF,
1564 llvm::Value *src, llvm::Value *dst)
1565{
1566 return;
1567}
1568
Fariborz Jahanian082b02e2009-07-08 01:18:33 +00001569void CGObjCGNU::EmitGCMemmoveCollectable(CodeGen::CodeGenFunction &CGF,
1570 llvm::Value *DestPtr,
1571 llvm::Value *SrcPtr,
1572 unsigned long size) {
1573 return;
1574}
1575
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +00001576llvm::GlobalVariable *CGObjCGNU::ObjCIvarOffsetVariable(
1577 const ObjCInterfaceDecl *ID,
1578 const ObjCIvarDecl *Ivar) {
1579 const std::string Name = "__objc_ivar_offset_" + ID->getNameAsString()
1580 + '.' + Ivar->getNameAsString();
1581 // Emit the variable and initialize it with what we think the correct value
1582 // is. This allows code compiled with non-fragile ivars to work correctly
1583 // when linked against code which isn't (most of the time).
1584 llvm::GlobalVariable *IvarOffsetGV = CGM.getModule().getGlobalVariable(Name);
1585 if (!IvarOffsetGV) {
1586 uint64_t Offset = ComputeIvarBaseOffset(CGM, ID, Ivar);
1587 llvm::ConstantInt *OffsetGuess =
Owen Anderson4a28d5d2009-07-24 23:12:58 +00001588 llvm::ConstantInt::get(LongTy, Offset, "ivar");
Owen Anderson1c431b32009-07-08 19:05:04 +00001589 IvarOffsetGV = new llvm::GlobalVariable(TheModule, LongTy, false,
Chris Lattnerf35271b2009-08-05 05:25:18 +00001590 llvm::GlobalValue::WeakAnyLinkage, OffsetGuess, Name);
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +00001591 }
1592 return IvarOffsetGV;
1593}
1594
Fariborz Jahanian598d3f62009-02-03 19:03:09 +00001595LValue CGObjCGNU::EmitObjCValueForIvar(CodeGen::CodeGenFunction &CGF,
1596 QualType ObjectTy,
1597 llvm::Value *BaseValue,
1598 const ObjCIvarDecl *Ivar,
Fariborz Jahanian598d3f62009-02-03 19:03:09 +00001599 unsigned CVRQualifiers) {
Daniel Dunbar525c9b72009-04-21 01:19:28 +00001600 const ObjCInterfaceDecl *ID = ObjectTy->getAsObjCInterfaceType()->getDecl();
Daniel Dunbar97776872009-04-22 07:32:20 +00001601 return EmitValueForIvarAtOffset(CGF, ID, BaseValue, Ivar, CVRQualifiers,
1602 EmitIvarOffset(CGF, ID, Ivar));
Fariborz Jahanian0bb20362009-02-02 20:02:29 +00001603}
Mike Stumpbb1c8602009-07-31 21:31:32 +00001604
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +00001605static const ObjCInterfaceDecl *FindIvarInterface(ASTContext &Context,
1606 const ObjCInterfaceDecl *OID,
1607 const ObjCIvarDecl *OIVD) {
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +00001608 llvm::SmallVector<ObjCIvarDecl*, 16> Ivars;
Fariborz Jahanian8e6ac1d2009-06-04 01:19:09 +00001609 Context.ShallowCollectObjCIvars(OID, Ivars);
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +00001610 for (unsigned k = 0, e = Ivars.size(); k != e; ++k) {
1611 if (OIVD == Ivars[k])
1612 return OID;
1613 }
1614
1615 // Otherwise check in the super class.
1616 if (const ObjCInterfaceDecl *Super = OID->getSuperClass())
1617 return FindIvarInterface(Context, Super, OIVD);
1618
1619 return 0;
1620}
Fariborz Jahanian0bb20362009-02-02 20:02:29 +00001621
Fariborz Jahanianf63aa3f2009-02-10 19:02:04 +00001622llvm::Value *CGObjCGNU::EmitIvarOffset(CodeGen::CodeGenFunction &CGF,
Daniel Dunbar2a031922009-04-22 05:08:15 +00001623 const ObjCInterfaceDecl *Interface,
Fariborz Jahanianf63aa3f2009-02-10 19:02:04 +00001624 const ObjCIvarDecl *Ivar) {
Mike Stumpbb1c8602009-07-31 21:31:32 +00001625 if (CGF.getContext().getLangOptions().ObjCNonFragileABI) {
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +00001626 Interface = FindIvarInterface(CGM.getContext(), Interface, Ivar);
1627 return CGF.Builder.CreateLoad(ObjCIvarOffsetVariable(Interface, Ivar),
Mike Stumpbb1c8602009-07-31 21:31:32 +00001628 false, "ivar");
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +00001629 }
Daniel Dunbar97776872009-04-22 07:32:20 +00001630 uint64_t Offset = ComputeIvarBaseOffset(CGF.CGM, Interface, Ivar);
Owen Anderson4a28d5d2009-07-24 23:12:58 +00001631 return llvm::ConstantInt::get(LongTy, Offset, "ivar");
Fariborz Jahanianf63aa3f2009-02-10 19:02:04 +00001632}
1633
Mike Stumpbb1c8602009-07-31 21:31:32 +00001634CodeGen::CGObjCRuntime *
1635CodeGen::CreateGNUObjCRuntime(CodeGen::CodeGenModule &CGM) {
Chris Lattnerdce14062008-06-26 04:19:03 +00001636 return new CGObjCGNU(CGM);
Chris Lattner0f984262008-03-01 08:50:34 +00001637}