blob: e8c3e2ffef8f2374c3f439a0f316b2c293ea3548 [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;
56 const llvm::IntegerType *IntTy;
57 const llvm::PointerType *PtrTy;
58 const llvm::IntegerType *LongTy;
59 const llvm::PointerType *PtrToIntTy;
Daniel Dunbar5efccb12009-05-04 15:31:17 +000060 llvm::GlobalAlias *ClassPtrAlias;
61 llvm::GlobalAlias *MetaClassPtrAlias;
Anton Korobeynikov20ff3102008-06-01 14:13:53 +000062 std::vector<llvm::Constant*> Classes;
63 std::vector<llvm::Constant*> Categories;
64 std::vector<llvm::Constant*> ConstantStrings;
65 llvm::Function *LoadFunction;
66 llvm::StringMap<llvm::Constant*> ExistingProtocols;
67 typedef std::pair<std::string, std::string> TypedSelector;
68 std::map<TypedSelector, llvm::GlobalAlias*> TypedSelectors;
69 llvm::StringMap<llvm::GlobalAlias*> UntypedSelectors;
70 // Some zeros used for GEPs in lots of places.
71 llvm::Constant *Zeros[2];
72 llvm::Constant *NULLPtr;
Owen Andersona1cf15f2009-07-14 23:10:40 +000073 llvm::LLVMContext &VMContext;
Anton Korobeynikov20ff3102008-06-01 14:13:53 +000074private:
75 llvm::Constant *GenerateIvarList(
76 const llvm::SmallVectorImpl<llvm::Constant *> &IvarNames,
77 const llvm::SmallVectorImpl<llvm::Constant *> &IvarTypes,
78 const llvm::SmallVectorImpl<llvm::Constant *> &IvarOffsets);
79 llvm::Constant *GenerateMethodList(const std::string &ClassName,
80 const std::string &CategoryName,
Chris Lattnera4210072008-06-26 05:08:00 +000081 const llvm::SmallVectorImpl<Selector> &MethodSels,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +000082 const llvm::SmallVectorImpl<llvm::Constant *> &MethodTypes,
83 bool isClassMethodList);
Fariborz Jahanianf8c4f542009-03-31 18:27:22 +000084 llvm::Constant *GenerateEmptyProtocol(const std::string &ProtocolName);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +000085 llvm::Constant *GenerateProtocolList(
86 const llvm::SmallVectorImpl<std::string> &Protocols);
87 llvm::Constant *GenerateClassStructure(
88 llvm::Constant *MetaClass,
89 llvm::Constant *SuperClass,
90 unsigned info,
Chris Lattnerd002cc62008-06-26 04:47:04 +000091 const char *Name,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +000092 llvm::Constant *Version,
93 llvm::Constant *InstanceSize,
94 llvm::Constant *IVars,
95 llvm::Constant *Methods,
96 llvm::Constant *Protocols);
97 llvm::Constant *GenerateProtocolMethodList(
98 const llvm::SmallVectorImpl<llvm::Constant *> &MethodNames,
99 const llvm::SmallVectorImpl<llvm::Constant *> &MethodTypes);
100 llvm::Constant *MakeConstantString(const std::string &Str, const std::string
101 &Name="");
102 llvm::Constant *MakeGlobal(const llvm::StructType *Ty,
103 std::vector<llvm::Constant*> &V, const std::string &Name="");
104 llvm::Constant *MakeGlobal(const llvm::ArrayType *Ty,
105 std::vector<llvm::Constant*> &V, const std::string &Name="");
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +0000106 llvm::GlobalVariable *ObjCIvarOffsetVariable(const ObjCInterfaceDecl *ID,
107 const ObjCIvarDecl *Ivar);
Chris Lattner2a8e4e12009-06-15 01:09:11 +0000108 void EmitClassRef(const std::string &className);
Chris Lattner0f984262008-03-01 08:50:34 +0000109public:
Chris Lattnerdce14062008-06-26 04:19:03 +0000110 CGObjCGNU(CodeGen::CodeGenModule &cgm);
Steve Naroff33fdb732009-03-31 16:53:37 +0000111 virtual llvm::Constant *GenerateConstantString(const ObjCStringLiteral *);
Daniel Dunbar8f2926b2008-08-23 03:46:30 +0000112 virtual CodeGen::RValue
113 GenerateMessageSend(CodeGen::CodeGenFunction &CGF,
Daniel Dunbar7f8ea5c2008-08-30 05:35:15 +0000114 QualType ResultType,
115 Selector Sel,
Daniel Dunbarf56f1912008-08-25 08:19:24 +0000116 llvm::Value *Receiver,
Daniel Dunbar19cd87e2008-08-30 03:02:31 +0000117 bool IsClassMessage,
Fariborz Jahaniandf9ccc62009-05-05 21:36:57 +0000118 const CallArgList &CallArgs,
119 const ObjCMethodDecl *Method);
Daniel Dunbar8f2926b2008-08-23 03:46:30 +0000120 virtual CodeGen::RValue
121 GenerateMessageSendSuper(CodeGen::CodeGenFunction &CGF,
Daniel Dunbar7f8ea5c2008-08-30 05:35:15 +0000122 QualType ResultType,
123 Selector Sel,
Daniel Dunbarf56f1912008-08-25 08:19:24 +0000124 const ObjCInterfaceDecl *Class,
Fariborz Jahanian7ce77922009-02-28 20:07:56 +0000125 bool isCategoryImpl,
Daniel Dunbarf56f1912008-08-25 08:19:24 +0000126 llvm::Value *Receiver,
Daniel Dunbar19cd87e2008-08-30 03:02:31 +0000127 bool IsClassMessage,
128 const CallArgList &CallArgs);
Daniel Dunbar45d196b2008-11-01 01:53:16 +0000129 virtual llvm::Value *GetClass(CGBuilderTy &Builder,
Daniel Dunbarddb2a3d2008-08-16 00:25:02 +0000130 const ObjCInterfaceDecl *OID);
Daniel Dunbar45d196b2008-11-01 01:53:16 +0000131 virtual llvm::Value *GetSelector(CGBuilderTy &Builder, Selector Sel);
Fariborz Jahaniandf9ccc62009-05-05 21:36:57 +0000132 virtual llvm::Value *GetSelector(CGBuilderTy &Builder, const ObjCMethodDecl
133 *Method);
Chris Lattner8e67b632008-06-26 04:37:12 +0000134
Fariborz Jahanian679a5022009-01-10 21:06:09 +0000135 virtual llvm::Function *GenerateMethod(const ObjCMethodDecl *OMD,
136 const ObjCContainerDecl *CD);
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000137 virtual void GenerateCategory(const ObjCCategoryImplDecl *CMD);
138 virtual void GenerateClass(const ObjCImplementationDecl *ClassDecl);
Daniel Dunbar45d196b2008-11-01 01:53:16 +0000139 virtual llvm::Value *GenerateProtocolRef(CGBuilderTy &Builder,
Daniel Dunbaraf2f62c2008-08-13 00:59:25 +0000140 const ObjCProtocolDecl *PD);
141 virtual void GenerateProtocol(const ObjCProtocolDecl *PD);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000142 virtual llvm::Function *ModuleInitFunction();
Daniel Dunbar49f66022008-09-24 03:38:44 +0000143 virtual llvm::Function *GetPropertyGetFunction();
144 virtual llvm::Function *GetPropertySetFunction();
Daniel Dunbar309a4362009-07-24 07:40:24 +0000145 virtual llvm::Constant *EnumerationMutationFunction();
Anders Carlsson64d5d6c2008-09-09 10:04:29 +0000146
Fariborz Jahanianbd71be42008-11-21 00:49:24 +0000147 virtual void EmitTryOrSynchronizedStmt(CodeGen::CodeGenFunction &CGF,
148 const Stmt &S);
Anders Carlsson64d5d6c2008-09-09 10:04:29 +0000149 virtual void EmitThrowStmt(CodeGen::CodeGenFunction &CGF,
150 const ObjCAtThrowStmt &S);
Fariborz Jahanian3e283e32008-11-18 22:37:34 +0000151 virtual llvm::Value * EmitObjCWeakRead(CodeGen::CodeGenFunction &CGF,
Fariborz Jahanian6dc23172008-11-18 21:45:40 +0000152 llvm::Value *AddrWeakObj);
Fariborz Jahanian3e283e32008-11-18 22:37:34 +0000153 virtual void EmitObjCWeakAssign(CodeGen::CodeGenFunction &CGF,
154 llvm::Value *src, llvm::Value *dst);
Fariborz Jahanian58626502008-11-19 00:59:10 +0000155 virtual void EmitObjCGlobalAssign(CodeGen::CodeGenFunction &CGF,
156 llvm::Value *src, llvm::Value *dest);
Fariborz Jahanian7eda8362008-11-20 19:23:36 +0000157 virtual void EmitObjCIvarAssign(CodeGen::CodeGenFunction &CGF,
158 llvm::Value *src, llvm::Value *dest);
Fariborz Jahanian58626502008-11-19 00:59:10 +0000159 virtual void EmitObjCStrongCastAssign(CodeGen::CodeGenFunction &CGF,
160 llvm::Value *src, llvm::Value *dest);
Fariborz Jahanian082b02e2009-07-08 01:18:33 +0000161 virtual void EmitGCMemmoveCollectable(CodeGen::CodeGenFunction &CGF,
162 llvm::Value *DestPtr,
163 llvm::Value *SrcPtr,
164 unsigned long size);
Fariborz Jahanian598d3f62009-02-03 19:03:09 +0000165 virtual LValue EmitObjCValueForIvar(CodeGen::CodeGenFunction &CGF,
166 QualType ObjectTy,
167 llvm::Value *BaseValue,
168 const ObjCIvarDecl *Ivar,
Fariborz Jahanian598d3f62009-02-03 19:03:09 +0000169 unsigned CVRQualifiers);
Fariborz Jahanianf63aa3f2009-02-10 19:02:04 +0000170 virtual llvm::Value *EmitIvarOffset(CodeGen::CodeGenFunction &CGF,
Daniel Dunbar2a031922009-04-22 05:08:15 +0000171 const ObjCInterfaceDecl *Interface,
Fariborz Jahanianf63aa3f2009-02-10 19:02:04 +0000172 const ObjCIvarDecl *Ivar);
Chris Lattner0f984262008-03-01 08:50:34 +0000173};
174} // end anonymous namespace
175
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000176
Chris Lattner2a8e4e12009-06-15 01:09:11 +0000177/// Emits a reference to a dummy variable which is emitted with each class.
178/// This ensures that a linker error will be generated when trying to link
179/// together modules where a referenced class is not defined.
Mike Stumpbb1c8602009-07-31 21:31:32 +0000180void CGObjCGNU::EmitClassRef(const std::string &className) {
Chris Lattner2a8e4e12009-06-15 01:09:11 +0000181 std::string symbolRef = "__objc_class_ref_" + className;
182 // Don't emit two copies of the same symbol
Mike Stumpbb1c8602009-07-31 21:31:32 +0000183 if (TheModule.getGlobalVariable(symbolRef))
184 return;
Chris Lattner2a8e4e12009-06-15 01:09:11 +0000185 std::string symbolName = "__objc_class_name_" + className;
186 llvm::GlobalVariable *ClassSymbol = TheModule.getGlobalVariable(symbolName);
187 if (!ClassSymbol) {
Owen Anderson1c431b32009-07-08 19:05:04 +0000188 ClassSymbol = new llvm::GlobalVariable(TheModule, LongTy, false,
189 llvm::GlobalValue::ExternalLinkage, 0, symbolName);
Chris Lattner2a8e4e12009-06-15 01:09:11 +0000190 }
Owen Anderson1c431b32009-07-08 19:05:04 +0000191 new llvm::GlobalVariable(TheModule, ClassSymbol->getType(), true,
Chris Lattnerf35271b2009-08-05 05:25:18 +0000192 llvm::GlobalValue::WeakAnyLinkage, ClassSymbol, symbolRef);
Chris Lattner2a8e4e12009-06-15 01:09:11 +0000193}
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000194
195static std::string SymbolNameForClass(const std::string &ClassName) {
Chris Lattner2a8e4e12009-06-15 01:09:11 +0000196 return "_OBJC_CLASS_" + ClassName;
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000197}
198
199static std::string SymbolNameForMethod(const std::string &ClassName, const
200 std::string &CategoryName, const std::string &MethodName, bool isClassMethod)
201{
Chris Lattner2a8e4e12009-06-15 01:09:11 +0000202 return "_OBJC_METHOD_" + ClassName + "("+CategoryName+")"+
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000203 (isClassMethod ? "+" : "-") + MethodName;
204}
205
Chris Lattnerdce14062008-06-26 04:19:03 +0000206CGObjCGNU::CGObjCGNU(CodeGen::CodeGenModule &cgm)
Daniel Dunbar5efccb12009-05-04 15:31:17 +0000207 : CGM(cgm), TheModule(CGM.getModule()), ClassPtrAlias(0),
Owen Andersona1cf15f2009-07-14 23:10:40 +0000208 MetaClassPtrAlias(0), VMContext(cgm.getLLVMContext()) {
Chris Lattnere160c9b2009-01-27 05:06:01 +0000209 IntTy = cast<llvm::IntegerType>(
210 CGM.getTypes().ConvertType(CGM.getContext().IntTy));
211 LongTy = cast<llvm::IntegerType>(
212 CGM.getTypes().ConvertType(CGM.getContext().LongTy));
Chris Lattnerdce14062008-06-26 04:19:03 +0000213
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000214 Zeros[0] = llvm::ConstantInt::get(LongTy, 0);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000215 Zeros[1] = Zeros[0];
Owen Anderson03e20502009-07-30 23:11:26 +0000216 NULLPtr = llvm::ConstantPointerNull::get(
Owen Anderson96e0fc72009-07-29 22:16:19 +0000217 llvm::PointerType::getUnqual(llvm::Type::Int8Ty));
Chris Lattner391d77a2008-03-30 23:03:07 +0000218 // C string type. Used in lots of places.
219 PtrToInt8Ty =
Owen Anderson96e0fc72009-07-29 22:16:19 +0000220 llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
Chris Lattner391d77a2008-03-30 23:03:07 +0000221 // Get the selector Type.
Chris Lattnere160c9b2009-01-27 05:06:01 +0000222 SelectorTy = cast<llvm::PointerType>(
223 CGM.getTypes().ConvertType(CGM.getContext().getObjCSelType()));
224
Owen Anderson96e0fc72009-07-29 22:16:19 +0000225 PtrToIntTy = llvm::PointerType::getUnqual(IntTy);
Chris Lattner391d77a2008-03-30 23:03:07 +0000226 PtrTy = PtrToInt8Ty;
227
228 // Object type
Fariborz Jahanianb3716ef2009-02-04 20:31:19 +0000229 IdTy = cast<llvm::PointerType>(
230 CGM.getTypes().ConvertType(CGM.getContext().getObjCIdType()));
Chris Lattner391d77a2008-03-30 23:03:07 +0000231
232 // IMP type
233 std::vector<const llvm::Type*> IMPArgs;
234 IMPArgs.push_back(IdTy);
235 IMPArgs.push_back(SelectorTy);
Owen Anderson96e0fc72009-07-29 22:16:19 +0000236 IMPTy = llvm::FunctionType::get(IdTy, IMPArgs, true);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000237}
Mike Stumpbb1c8602009-07-31 21:31:32 +0000238
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000239// This has to perform the lookup every time, since posing and related
240// techniques can modify the name -> class mapping.
Daniel Dunbar45d196b2008-11-01 01:53:16 +0000241llvm::Value *CGObjCGNU::GetClass(CGBuilderTy &Builder,
Daniel Dunbarddb2a3d2008-08-16 00:25:02 +0000242 const ObjCInterfaceDecl *OID) {
Chris Lattnerd9d22dd2008-11-24 05:29:24 +0000243 llvm::Value *ClassName = CGM.GetAddrOfConstantCString(OID->getNameAsString());
Chris Lattner2a8e4e12009-06-15 01:09:11 +0000244 EmitClassRef(OID->getNameAsString());
Daniel Dunbarddb2a3d2008-08-16 00:25:02 +0000245 ClassName = Builder.CreateStructGEP(ClassName, 0);
246
Fariborz Jahanian26c82942009-03-30 18:02:14 +0000247 std::vector<const llvm::Type*> Params(1, PtrToInt8Ty);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000248 llvm::Constant *ClassLookupFn =
Owen Anderson96e0fc72009-07-29 22:16:19 +0000249 CGM.CreateRuntimeFunction(llvm::FunctionType::get(IdTy,
Fariborz Jahanian26c82942009-03-30 18:02:14 +0000250 Params,
251 true),
252 "objc_lookup_class");
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000253 return Builder.CreateCall(ClassLookupFn, ClassName);
Chris Lattner391d77a2008-03-30 23:03:07 +0000254}
255
Daniel Dunbar45d196b2008-11-01 01:53:16 +0000256llvm::Value *CGObjCGNU::GetSelector(CGBuilderTy &Builder, Selector Sel) {
Chris Lattner077bf5e2008-11-24 03:33:13 +0000257 llvm::GlobalAlias *&US = UntypedSelectors[Sel.getAsString()];
Chris Lattner8e67b632008-06-26 04:37:12 +0000258 if (US == 0)
Owen Anderson96e0fc72009-07-29 22:16:19 +0000259 US = new llvm::GlobalAlias(llvm::PointerType::getUnqual(SelectorTy),
Chris Lattner8e67b632008-06-26 04:37:12 +0000260 llvm::GlobalValue::InternalLinkage,
261 ".objc_untyped_selector_alias",
262 NULL, &TheModule);
263
264 return Builder.CreateLoad(US);
Fariborz Jahaniandf9ccc62009-05-05 21:36:57 +0000265}
266
267llvm::Value *CGObjCGNU::GetSelector(CGBuilderTy &Builder, const ObjCMethodDecl
268 *Method) {
269
270 std::string SelName = Method->getSelector().getAsString();
271 std::string SelTypes;
272 CGM.getContext().getObjCEncodingForMethodDecl(Method, SelTypes);
273 // Typed selectors
274 TypedSelector Selector = TypedSelector(SelName,
275 SelTypes);
276
277 // If it's already cached, return it.
Mike Stumpbb1c8602009-07-31 21:31:32 +0000278 if (TypedSelectors[Selector]) {
279 return Builder.CreateLoad(TypedSelectors[Selector]);
Fariborz Jahaniandf9ccc62009-05-05 21:36:57 +0000280 }
281
282 // If it isn't, cache it.
283 llvm::GlobalAlias *Sel = new llvm::GlobalAlias(
Owen Anderson96e0fc72009-07-29 22:16:19 +0000284 llvm::PointerType::getUnqual(SelectorTy),
Fariborz Jahaniandf9ccc62009-05-05 21:36:57 +0000285 llvm::GlobalValue::InternalLinkage, SelName,
286 NULL, &TheModule);
287 TypedSelectors[Selector] = Sel;
288
289 return Builder.CreateLoad(Sel);
Chris Lattner8e67b632008-06-26 04:37:12 +0000290}
291
Chris Lattner5e7dcc62008-06-26 04:44:19 +0000292llvm::Constant *CGObjCGNU::MakeConstantString(const std::string &Str,
293 const std::string &Name) {
Owen Anderson7db6d832009-07-28 18:33:04 +0000294 llvm::Constant * ConstStr = llvm::ConstantArray::get(Str);
Owen Anderson1c431b32009-07-08 19:05:04 +0000295 ConstStr = new llvm::GlobalVariable(TheModule, ConstStr->getType(), true,
Mike Stumpbb1c8602009-07-31 21:31:32 +0000296 llvm::GlobalValue::InternalLinkage,
297 ConstStr, Name);
Owen Anderson3c4972d2009-07-29 18:54:39 +0000298 return llvm::ConstantExpr::getGetElementPtr(ConstStr, Zeros, 2);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000299}
Mike Stumpbb1c8602009-07-31 21:31:32 +0000300
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000301llvm::Constant *CGObjCGNU::MakeGlobal(const llvm::StructType *Ty,
302 std::vector<llvm::Constant*> &V, const std::string &Name) {
Owen Anderson08e25242009-07-27 22:29:56 +0000303 llvm::Constant *C = llvm::ConstantStruct::get(Ty, V);
Owen Anderson1c431b32009-07-08 19:05:04 +0000304 return new llvm::GlobalVariable(TheModule, Ty, false,
305 llvm::GlobalValue::InternalLinkage, C, Name);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000306}
Mike Stumpbb1c8602009-07-31 21:31:32 +0000307
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000308llvm::Constant *CGObjCGNU::MakeGlobal(const llvm::ArrayType *Ty,
309 std::vector<llvm::Constant*> &V, const std::string &Name) {
Owen Anderson7db6d832009-07-28 18:33:04 +0000310 llvm::Constant *C = llvm::ConstantArray::get(Ty, V);
Owen Anderson1c431b32009-07-08 19:05:04 +0000311 return new llvm::GlobalVariable(TheModule, Ty, false,
Mike Stumpbb1c8602009-07-31 21:31:32 +0000312 llvm::GlobalValue::InternalLinkage, C, Name);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000313}
314
315/// Generate an NSConstantString object.
316//TODO: In case there are any crazy people still using the GNU runtime without
317//an OpenStep implementation, this should let them select their own class for
318//constant strings.
Steve Naroff33fdb732009-03-31 16:53:37 +0000319llvm::Constant *CGObjCGNU::GenerateConstantString(const ObjCStringLiteral *SL) {
320 std::string Str(SL->getString()->getStrData(),
321 SL->getString()->getByteLength());
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000322 std::vector<llvm::Constant*> Ivars;
323 Ivars.push_back(NULLPtr);
Chris Lattner13fd7e52008-06-21 21:44:18 +0000324 Ivars.push_back(MakeConstantString(Str));
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000325 Ivars.push_back(llvm::ConstantInt::get(IntTy, Str.size()));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000326 llvm::Constant *ObjCStr = MakeGlobal(
Owen Anderson96e0fc72009-07-29 22:16:19 +0000327 llvm::StructType::get(PtrToInt8Ty, PtrToInt8Ty, IntTy, NULL),
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000328 Ivars, ".objc_str");
329 ConstantStrings.push_back(
Owen Anderson3c4972d2009-07-29 18:54:39 +0000330 llvm::ConstantExpr::getBitCast(ObjCStr, PtrToInt8Ty));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000331 return ObjCStr;
332}
333
334///Generates a message send where the super is the receiver. This is a message
335///send to self with special delivery semantics indicating which class's method
336///should be called.
Daniel Dunbar8f2926b2008-08-23 03:46:30 +0000337CodeGen::RValue
338CGObjCGNU::GenerateMessageSendSuper(CodeGen::CodeGenFunction &CGF,
Daniel Dunbar7f8ea5c2008-08-30 05:35:15 +0000339 QualType ResultType,
340 Selector Sel,
Daniel Dunbarf56f1912008-08-25 08:19:24 +0000341 const ObjCInterfaceDecl *Class,
Fariborz Jahanian7ce77922009-02-28 20:07:56 +0000342 bool isCategoryImpl,
Daniel Dunbarf56f1912008-08-25 08:19:24 +0000343 llvm::Value *Receiver,
Daniel Dunbar19cd87e2008-08-30 03:02:31 +0000344 bool IsClassMessage,
345 const CallArgList &CallArgs) {
Fariborz Jahanianb3716ef2009-02-04 20:31:19 +0000346 llvm::Value *cmd = GetSelector(CGF.Builder, Sel);
347
348 CallArgList ActualArgs;
349
350 ActualArgs.push_back(
351 std::make_pair(RValue::get(CGF.Builder.CreateBitCast(Receiver, IdTy)),
352 CGF.getContext().getObjCIdType()));
353 ActualArgs.push_back(std::make_pair(RValue::get(cmd),
354 CGF.getContext().getObjCSelType()));
355 ActualArgs.insert(ActualArgs.end(), CallArgs.begin(), CallArgs.end());
356
357 CodeGenTypes &Types = CGM.getTypes();
358 const CGFunctionInfo &FnInfo = Types.getFunctionInfo(ResultType, ActualArgs);
359 const llvm::FunctionType *impType = Types.GetFunctionType(FnInfo, false);
360
Daniel Dunbar5efccb12009-05-04 15:31:17 +0000361 llvm::Value *ReceiverClass = 0;
Chris Lattner48e6e7e2009-05-08 15:39:58 +0000362 if (isCategoryImpl) {
363 llvm::Constant *classLookupFunction = 0;
364 std::vector<const llvm::Type*> Params;
365 Params.push_back(PtrTy);
366 if (IsClassMessage) {
Owen Anderson96e0fc72009-07-29 22:16:19 +0000367 classLookupFunction = CGM.CreateRuntimeFunction(llvm::FunctionType::get(
Chris Lattner48e6e7e2009-05-08 15:39:58 +0000368 IdTy, Params, true), "objc_get_meta_class");
369 } else {
Owen Anderson96e0fc72009-07-29 22:16:19 +0000370 classLookupFunction = CGM.CreateRuntimeFunction(llvm::FunctionType::get(
Chris Lattner48e6e7e2009-05-08 15:39:58 +0000371 IdTy, Params, true), "objc_get_class");
Daniel Dunbar5efccb12009-05-04 15:31:17 +0000372 }
Chris Lattner48e6e7e2009-05-08 15:39:58 +0000373 ReceiverClass = CGF.Builder.CreateCall(classLookupFunction,
374 MakeConstantString(Class->getNameAsString()));
Daniel Dunbar5efccb12009-05-04 15:31:17 +0000375 } else {
Chris Lattner48e6e7e2009-05-08 15:39:58 +0000376 // Set up global aliases for the metaclass or class pointer if they do not
377 // already exist. These will are forward-references which will be set to
Mike Stumpbb1c8602009-07-31 21:31:32 +0000378 // pointers to the class and metaclass structure created for the runtime
379 // load function. To send a message to super, we look up the value of the
Chris Lattner48e6e7e2009-05-08 15:39:58 +0000380 // super_class pointer from either the class or metaclass structure.
381 if (IsClassMessage) {
382 if (!MetaClassPtrAlias) {
383 MetaClassPtrAlias = new llvm::GlobalAlias(IdTy,
384 llvm::GlobalValue::InternalLinkage, ".objc_metaclass_ref" +
385 Class->getNameAsString(), NULL, &TheModule);
386 }
387 ReceiverClass = MetaClassPtrAlias;
388 } else {
389 if (!ClassPtrAlias) {
390 ClassPtrAlias = new llvm::GlobalAlias(IdTy,
391 llvm::GlobalValue::InternalLinkage, ".objc_class_ref" +
392 Class->getNameAsString(), NULL, &TheModule);
393 }
394 ReceiverClass = ClassPtrAlias;
Daniel Dunbar5efccb12009-05-04 15:31:17 +0000395 }
Chris Lattner71238f62009-04-25 23:19:45 +0000396 }
Daniel Dunbar5efccb12009-05-04 15:31:17 +0000397 // Cast the pointer to a simplified version of the class structure
398 ReceiverClass = CGF.Builder.CreateBitCast(ReceiverClass,
Owen Anderson96e0fc72009-07-29 22:16:19 +0000399 llvm::PointerType::getUnqual(
400 llvm::StructType::get(IdTy, IdTy, NULL)));
Daniel Dunbar5efccb12009-05-04 15:31:17 +0000401 // Get the superclass pointer
402 ReceiverClass = CGF.Builder.CreateStructGEP(ReceiverClass, 1);
403 // Load the superclass pointer
404 ReceiverClass = CGF.Builder.CreateLoad(ReceiverClass);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000405 // Construct the structure used to look up the IMP
Owen Anderson96e0fc72009-07-29 22:16:19 +0000406 llvm::StructType *ObjCSuperTy = llvm::StructType::get(Receiver->getType(),
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000407 IdTy, NULL);
Daniel Dunbar8f2926b2008-08-23 03:46:30 +0000408 llvm::Value *ObjCSuper = CGF.Builder.CreateAlloca(ObjCSuperTy);
Fariborz Jahanianb3716ef2009-02-04 20:31:19 +0000409
Daniel Dunbar8f2926b2008-08-23 03:46:30 +0000410 CGF.Builder.CreateStore(Receiver, CGF.Builder.CreateStructGEP(ObjCSuper, 0));
Daniel Dunbar5efccb12009-05-04 15:31:17 +0000411 CGF.Builder.CreateStore(ReceiverClass,
412 CGF.Builder.CreateStructGEP(ObjCSuper, 1));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000413
414 // Get the IMP
Fariborz Jahanian26c82942009-03-30 18:02:14 +0000415 std::vector<const llvm::Type*> Params;
Owen Anderson96e0fc72009-07-29 22:16:19 +0000416 Params.push_back(llvm::PointerType::getUnqual(ObjCSuperTy));
Fariborz Jahanian26c82942009-03-30 18:02:14 +0000417 Params.push_back(SelectorTy);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000418 llvm::Constant *lookupFunction =
Owen Anderson96e0fc72009-07-29 22:16:19 +0000419 CGM.CreateRuntimeFunction(llvm::FunctionType::get(
420 llvm::PointerType::getUnqual(impType), Params, true),
Fariborz Jahanian26c82942009-03-30 18:02:14 +0000421 "objc_msg_lookup_super");
422
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000423 llvm::Value *lookupArgs[] = {ObjCSuper, cmd};
Daniel Dunbar8f2926b2008-08-23 03:46:30 +0000424 llvm::Value *imp = CGF.Builder.CreateCall(lookupFunction, lookupArgs,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000425 lookupArgs+2);
426
Fariborz Jahanianb3716ef2009-02-04 20:31:19 +0000427 return CGF.EmitCall(FnInfo, imp, ActualArgs);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000428}
429
430/// Generate code for a message send expression.
Daniel Dunbar8f2926b2008-08-23 03:46:30 +0000431CodeGen::RValue
432CGObjCGNU::GenerateMessageSend(CodeGen::CodeGenFunction &CGF,
Daniel Dunbar7f8ea5c2008-08-30 05:35:15 +0000433 QualType ResultType,
434 Selector Sel,
Daniel Dunbarf56f1912008-08-25 08:19:24 +0000435 llvm::Value *Receiver,
Daniel Dunbar19cd87e2008-08-30 03:02:31 +0000436 bool IsClassMessage,
Fariborz Jahaniandf9ccc62009-05-05 21:36:57 +0000437 const CallArgList &CallArgs,
438 const ObjCMethodDecl *Method) {
439 llvm::Value *cmd;
440 if (Method)
441 cmd = GetSelector(CGF.Builder, Method);
442 else
443 cmd = GetSelector(CGF.Builder, Sel);
Fariborz Jahanianb3716ef2009-02-04 20:31:19 +0000444 CallArgList ActualArgs;
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000445
Fariborz Jahanianb3716ef2009-02-04 20:31:19 +0000446 ActualArgs.push_back(
Fariborz Jahanian34e65772009-05-22 20:17:16 +0000447 std::make_pair(RValue::get(CGF.Builder.CreateBitCast(Receiver, IdTy)),
448 CGF.getContext().getObjCIdType()));
Fariborz Jahanianb3716ef2009-02-04 20:31:19 +0000449 ActualArgs.push_back(std::make_pair(RValue::get(cmd),
450 CGF.getContext().getObjCSelType()));
451 ActualArgs.insert(ActualArgs.end(), CallArgs.begin(), CallArgs.end());
452
453 CodeGenTypes &Types = CGM.getTypes();
454 const CGFunctionInfo &FnInfo = Types.getFunctionInfo(ResultType, ActualArgs);
455 const llvm::FunctionType *impType = Types.GetFunctionType(FnInfo, false);
456
Fariborz Jahanian34e65772009-05-22 20:17:16 +0000457 llvm::Value *imp;
Fariborz Jahanian26c82942009-03-30 18:02:14 +0000458 std::vector<const llvm::Type*> Params;
459 Params.push_back(Receiver->getType());
460 Params.push_back(SelectorTy);
Fariborz Jahanian34e65772009-05-22 20:17:16 +0000461 // For sender-aware dispatch, we pass the sender as the third argument to a
462 // lookup function. When sending messages from C code, the sender is nil.
463 // objc_msg_lookup_sender(id receiver, SEL selector, id sender);
464 if (CGM.getContext().getLangOptions().ObjCSenderDispatch) {
465 llvm::Value *self;
Fariborz Jahanian26c82942009-03-30 18:02:14 +0000466
Fariborz Jahanian34e65772009-05-22 20:17:16 +0000467 if (isa<ObjCMethodDecl>(CGF.CurFuncDecl)) {
468 self = CGF.LoadObjCSelf();
469 } else {
Owen Anderson03e20502009-07-30 23:11:26 +0000470 self = llvm::ConstantPointerNull::get(IdTy);
Fariborz Jahanian34e65772009-05-22 20:17:16 +0000471 }
472 Params.push_back(self->getType());
473 llvm::Constant *lookupFunction =
Owen Anderson96e0fc72009-07-29 22:16:19 +0000474 CGM.CreateRuntimeFunction(llvm::FunctionType::get(
475 llvm::PointerType::getUnqual(impType), Params, true),
Fariborz Jahanian34e65772009-05-22 20:17:16 +0000476 "objc_msg_lookup_sender");
477
478 imp = CGF.Builder.CreateCall3(lookupFunction, Receiver, cmd, self);
479 } else {
480 llvm::Constant *lookupFunction =
Owen Anderson96e0fc72009-07-29 22:16:19 +0000481 CGM.CreateRuntimeFunction(llvm::FunctionType::get(
482 llvm::PointerType::getUnqual(impType), Params, true),
Fariborz Jahanian34e65772009-05-22 20:17:16 +0000483 "objc_msg_lookup");
484
485 imp = CGF.Builder.CreateCall2(lookupFunction, Receiver, cmd);
486 }
Chris Lattner3eae03e2008-05-06 00:56:42 +0000487
Fariborz Jahanianb3716ef2009-02-04 20:31:19 +0000488 return CGF.EmitCall(FnInfo, imp, ActualArgs);
Chris Lattner0f984262008-03-01 08:50:34 +0000489}
490
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000491/// Generates a MethodList. Used in construction of a objc_class and
492/// objc_category structures.
493llvm::Constant *CGObjCGNU::GenerateMethodList(const std::string &ClassName,
Chris Lattnera4210072008-06-26 05:08:00 +0000494 const std::string &CategoryName,
495 const llvm::SmallVectorImpl<Selector> &MethodSels,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000496 const llvm::SmallVectorImpl<llvm::Constant *> &MethodTypes,
497 bool isClassMethodList) {
498 // Get the method structure type.
Owen Anderson96e0fc72009-07-29 22:16:19 +0000499 llvm::StructType *ObjCMethodTy = llvm::StructType::get(
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000500 PtrToInt8Ty, // Really a selector, but the runtime creates it us.
501 PtrToInt8Ty, // Method types
Owen Anderson96e0fc72009-07-29 22:16:19 +0000502 llvm::PointerType::getUnqual(IMPTy), //Method pointer
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000503 NULL);
504 std::vector<llvm::Constant*> Methods;
505 std::vector<llvm::Constant*> Elements;
506 for (unsigned int i = 0, e = MethodTypes.size(); i < e; ++i) {
507 Elements.clear();
Fariborz Jahanian1e64a952009-05-17 16:49:27 +0000508 if (llvm::Constant *Method =
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000509 TheModule.getFunction(SymbolNameForMethod(ClassName, CategoryName,
Chris Lattner077bf5e2008-11-24 03:33:13 +0000510 MethodSels[i].getAsString(),
Fariborz Jahanian1e64a952009-05-17 16:49:27 +0000511 isClassMethodList))) {
512 llvm::Constant *C =
513 CGM.GetAddrOfConstantCString(MethodSels[i].getAsString());
Owen Anderson3c4972d2009-07-29 18:54:39 +0000514 Elements.push_back(llvm::ConstantExpr::getGetElementPtr(C, Zeros, 2));
Fariborz Jahanian1e64a952009-05-17 16:49:27 +0000515 Elements.push_back(
Owen Anderson3c4972d2009-07-29 18:54:39 +0000516 llvm::ConstantExpr::getGetElementPtr(MethodTypes[i], Zeros, 2));
517 Method = llvm::ConstantExpr::getBitCast(Method,
Owen Anderson96e0fc72009-07-29 22:16:19 +0000518 llvm::PointerType::getUnqual(IMPTy));
Fariborz Jahanian1e64a952009-05-17 16:49:27 +0000519 Elements.push_back(Method);
Owen Anderson08e25242009-07-27 22:29:56 +0000520 Methods.push_back(llvm::ConstantStruct::get(ObjCMethodTy, Elements));
Fariborz Jahanian1e64a952009-05-17 16:49:27 +0000521 }
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000522 }
523
524 // Array of method structures
Owen Anderson96e0fc72009-07-29 22:16:19 +0000525 llvm::ArrayType *ObjCMethodArrayTy = llvm::ArrayType::get(ObjCMethodTy,
Fariborz Jahanian1e64a952009-05-17 16:49:27 +0000526 Methods.size());
Owen Anderson7db6d832009-07-28 18:33:04 +0000527 llvm::Constant *MethodArray = llvm::ConstantArray::get(ObjCMethodArrayTy,
Chris Lattnerfba67632008-06-26 04:52:29 +0000528 Methods);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000529
530 // Structure containing list pointer, array and array count
531 llvm::SmallVector<const llvm::Type*, 16> ObjCMethodListFields;
Owen Anderson96e0fc72009-07-29 22:16:19 +0000532 llvm::PATypeHolder OpaqueNextTy = llvm::OpaqueType::get();
533 llvm::Type *NextPtrTy = llvm::PointerType::getUnqual(OpaqueNextTy);
534 llvm::StructType *ObjCMethodListTy = llvm::StructType::get(NextPtrTy,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000535 IntTy,
536 ObjCMethodArrayTy,
537 NULL);
538 // Refine next pointer type to concrete type
539 llvm::cast<llvm::OpaqueType>(
540 OpaqueNextTy.get())->refineAbstractTypeTo(ObjCMethodListTy);
541 ObjCMethodListTy = llvm::cast<llvm::StructType>(OpaqueNextTy.get());
542
543 Methods.clear();
Owen Anderson03e20502009-07-30 23:11:26 +0000544 Methods.push_back(llvm::ConstantPointerNull::get(
Owen Anderson96e0fc72009-07-29 22:16:19 +0000545 llvm::PointerType::getUnqual(ObjCMethodListTy)));
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000546 Methods.push_back(llvm::ConstantInt::get(llvm::Type::Int32Ty,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000547 MethodTypes.size()));
548 Methods.push_back(MethodArray);
549
550 // Create an instance of the structure
551 return MakeGlobal(ObjCMethodListTy, Methods, ".objc_method_list");
552}
553
554/// Generates an IvarList. Used in construction of a objc_class.
555llvm::Constant *CGObjCGNU::GenerateIvarList(
556 const llvm::SmallVectorImpl<llvm::Constant *> &IvarNames,
557 const llvm::SmallVectorImpl<llvm::Constant *> &IvarTypes,
558 const llvm::SmallVectorImpl<llvm::Constant *> &IvarOffsets) {
559 // Get the method structure type.
Owen Anderson96e0fc72009-07-29 22:16:19 +0000560 llvm::StructType *ObjCIvarTy = llvm::StructType::get(
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000561 PtrToInt8Ty,
562 PtrToInt8Ty,
563 IntTy,
564 NULL);
565 std::vector<llvm::Constant*> Ivars;
566 std::vector<llvm::Constant*> Elements;
567 for (unsigned int i = 0, e = IvarNames.size() ; i < e ; i++) {
568 Elements.clear();
Owen Anderson3c4972d2009-07-29 18:54:39 +0000569 Elements.push_back( llvm::ConstantExpr::getGetElementPtr(IvarNames[i],
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000570 Zeros, 2));
Owen Anderson3c4972d2009-07-29 18:54:39 +0000571 Elements.push_back( llvm::ConstantExpr::getGetElementPtr(IvarTypes[i],
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000572 Zeros, 2));
573 Elements.push_back(IvarOffsets[i]);
Owen Anderson08e25242009-07-27 22:29:56 +0000574 Ivars.push_back(llvm::ConstantStruct::get(ObjCIvarTy, Elements));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000575 }
576
577 // Array of method structures
Owen Anderson96e0fc72009-07-29 22:16:19 +0000578 llvm::ArrayType *ObjCIvarArrayTy = llvm::ArrayType::get(ObjCIvarTy,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000579 IvarNames.size());
580
581
582 Elements.clear();
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000583 Elements.push_back(llvm::ConstantInt::get(IntTy, (int)IvarNames.size()));
Owen Anderson7db6d832009-07-28 18:33:04 +0000584 Elements.push_back(llvm::ConstantArray::get(ObjCIvarArrayTy, Ivars));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000585 // Structure containing array and array count
Owen Anderson96e0fc72009-07-29 22:16:19 +0000586 llvm::StructType *ObjCIvarListTy = llvm::StructType::get(IntTy,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000587 ObjCIvarArrayTy,
588 NULL);
589
590 // Create an instance of the structure
591 return MakeGlobal(ObjCIvarListTy, Elements, ".objc_ivar_list");
592}
593
594/// Generate a class structure
595llvm::Constant *CGObjCGNU::GenerateClassStructure(
596 llvm::Constant *MetaClass,
597 llvm::Constant *SuperClass,
598 unsigned info,
Chris Lattnerd002cc62008-06-26 04:47:04 +0000599 const char *Name,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000600 llvm::Constant *Version,
601 llvm::Constant *InstanceSize,
602 llvm::Constant *IVars,
603 llvm::Constant *Methods,
604 llvm::Constant *Protocols) {
605 // Set up the class structure
606 // Note: Several of these are char*s when they should be ids. This is
607 // because the runtime performs this translation on load.
Owen Anderson96e0fc72009-07-29 22:16:19 +0000608 llvm::StructType *ClassTy = llvm::StructType::get(
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000609 PtrToInt8Ty, // class_pointer
610 PtrToInt8Ty, // super_class
611 PtrToInt8Ty, // name
612 LongTy, // version
613 LongTy, // info
614 LongTy, // instance_size
615 IVars->getType(), // ivars
616 Methods->getType(), // methods
617 // These are all filled in by the runtime, so we pretend
618 PtrTy, // dtable
619 PtrTy, // subclass_list
620 PtrTy, // sibling_class
621 PtrTy, // protocols
622 PtrTy, // gc_object_type
623 NULL);
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000624 llvm::Constant *Zero = llvm::ConstantInt::get(LongTy, 0);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000625 llvm::Constant *NullP =
Owen Anderson03e20502009-07-30 23:11:26 +0000626 llvm::ConstantPointerNull::get(PtrTy);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000627 // Fill in the structure
628 std::vector<llvm::Constant*> Elements;
Owen Anderson3c4972d2009-07-29 18:54:39 +0000629 Elements.push_back(llvm::ConstantExpr::getBitCast(MetaClass, PtrToInt8Ty));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000630 Elements.push_back(SuperClass);
Chris Lattnerd002cc62008-06-26 04:47:04 +0000631 Elements.push_back(MakeConstantString(Name, ".class_name"));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000632 Elements.push_back(Zero);
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000633 Elements.push_back(llvm::ConstantInt::get(LongTy, info));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000634 Elements.push_back(InstanceSize);
635 Elements.push_back(IVars);
636 Elements.push_back(Methods);
637 Elements.push_back(NullP);
638 Elements.push_back(NullP);
639 Elements.push_back(NullP);
Owen Anderson3c4972d2009-07-29 18:54:39 +0000640 Elements.push_back(llvm::ConstantExpr::getBitCast(Protocols, PtrTy));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000641 Elements.push_back(NullP);
642 // Create an instance of the structure
Chris Lattner1565e032008-07-21 06:31:05 +0000643 return MakeGlobal(ClassTy, Elements, SymbolNameForClass(Name));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000644}
645
646llvm::Constant *CGObjCGNU::GenerateProtocolMethodList(
647 const llvm::SmallVectorImpl<llvm::Constant *> &MethodNames,
648 const llvm::SmallVectorImpl<llvm::Constant *> &MethodTypes) {
649 // Get the method structure type.
Owen Anderson96e0fc72009-07-29 22:16:19 +0000650 llvm::StructType *ObjCMethodDescTy = llvm::StructType::get(
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000651 PtrToInt8Ty, // Really a selector, but the runtime does the casting for us.
652 PtrToInt8Ty,
653 NULL);
654 std::vector<llvm::Constant*> Methods;
655 std::vector<llvm::Constant*> Elements;
656 for (unsigned int i = 0, e = MethodTypes.size() ; i < e ; i++) {
657 Elements.clear();
Owen Anderson3c4972d2009-07-29 18:54:39 +0000658 Elements.push_back(llvm::ConstantExpr::getGetElementPtr(MethodNames[i],
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000659 Zeros, 2));
660 Elements.push_back(
Owen Anderson3c4972d2009-07-29 18:54:39 +0000661 llvm::ConstantExpr::getGetElementPtr(MethodTypes[i], Zeros, 2));
Owen Anderson08e25242009-07-27 22:29:56 +0000662 Methods.push_back(llvm::ConstantStruct::get(ObjCMethodDescTy, Elements));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000663 }
Owen Anderson96e0fc72009-07-29 22:16:19 +0000664 llvm::ArrayType *ObjCMethodArrayTy = llvm::ArrayType::get(ObjCMethodDescTy,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000665 MethodNames.size());
Owen Anderson7db6d832009-07-28 18:33:04 +0000666 llvm::Constant *Array = llvm::ConstantArray::get(ObjCMethodArrayTy,
Mike Stumpbb1c8602009-07-31 21:31:32 +0000667 Methods);
Owen Anderson96e0fc72009-07-29 22:16:19 +0000668 llvm::StructType *ObjCMethodDescListTy = llvm::StructType::get(
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000669 IntTy, ObjCMethodArrayTy, NULL);
670 Methods.clear();
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000671 Methods.push_back(llvm::ConstantInt::get(IntTy, MethodNames.size()));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000672 Methods.push_back(Array);
673 return MakeGlobal(ObjCMethodDescListTy, Methods, ".objc_method_list");
674}
Mike Stumpbb1c8602009-07-31 21:31:32 +0000675
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000676// Create the protocol list structure used in classes, categories and so on
677llvm::Constant *CGObjCGNU::GenerateProtocolList(
678 const llvm::SmallVectorImpl<std::string> &Protocols) {
Owen Anderson96e0fc72009-07-29 22:16:19 +0000679 llvm::ArrayType *ProtocolArrayTy = llvm::ArrayType::get(PtrToInt8Ty,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000680 Protocols.size());
Owen Anderson96e0fc72009-07-29 22:16:19 +0000681 llvm::StructType *ProtocolListTy = llvm::StructType::get(
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000682 PtrTy, //Should be a recurisve pointer, but it's always NULL here.
683 LongTy,//FIXME: Should be size_t
684 ProtocolArrayTy,
685 NULL);
686 std::vector<llvm::Constant*> Elements;
687 for (const std::string *iter = Protocols.begin(), *endIter = Protocols.end();
688 iter != endIter ; iter++) {
Fariborz Jahanianf8c4f542009-03-31 18:27:22 +0000689 llvm::Constant *protocol = ExistingProtocols[*iter];
690 if (!protocol)
691 protocol = GenerateEmptyProtocol(*iter);
Owen Anderson3c4972d2009-07-29 18:54:39 +0000692 llvm::Constant *Ptr = llvm::ConstantExpr::getBitCast(protocol,
Owen Andersona1cf15f2009-07-14 23:10:40 +0000693 PtrToInt8Ty);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000694 Elements.push_back(Ptr);
695 }
Owen Anderson7db6d832009-07-28 18:33:04 +0000696 llvm::Constant * ProtocolArray = llvm::ConstantArray::get(ProtocolArrayTy,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000697 Elements);
698 Elements.clear();
699 Elements.push_back(NULLPtr);
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000700 Elements.push_back(llvm::ConstantInt::get(LongTy, Protocols.size()));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000701 Elements.push_back(ProtocolArray);
702 return MakeGlobal(ProtocolListTy, Elements, ".objc_protocol_list");
703}
704
Daniel Dunbar45d196b2008-11-01 01:53:16 +0000705llvm::Value *CGObjCGNU::GenerateProtocolRef(CGBuilderTy &Builder,
Daniel Dunbaraf2f62c2008-08-13 00:59:25 +0000706 const ObjCProtocolDecl *PD) {
Fariborz Jahanianf8c4f542009-03-31 18:27:22 +0000707 llvm::Value *protocol = ExistingProtocols[PD->getNameAsString()];
708 const llvm::Type *T =
709 CGM.getTypes().ConvertType(CGM.getContext().getObjCProtoType());
Owen Anderson96e0fc72009-07-29 22:16:19 +0000710 return Builder.CreateBitCast(protocol, llvm::PointerType::getUnqual(T));
Fariborz Jahanianf8c4f542009-03-31 18:27:22 +0000711}
712
713llvm::Constant *CGObjCGNU::GenerateEmptyProtocol(
714 const std::string &ProtocolName) {
715 llvm::SmallVector<std::string, 0> EmptyStringVector;
716 llvm::SmallVector<llvm::Constant*, 0> EmptyConstantVector;
717
718 llvm::Constant *ProtocolList = GenerateProtocolList(EmptyStringVector);
719 llvm::Constant *InstanceMethodList =
720 GenerateProtocolMethodList(EmptyConstantVector, EmptyConstantVector);
721 llvm::Constant *ClassMethodList =
722 GenerateProtocolMethodList(EmptyConstantVector, EmptyConstantVector);
723 // Protocols are objects containing lists of the methods implemented and
724 // protocols adopted.
Owen Anderson96e0fc72009-07-29 22:16:19 +0000725 llvm::StructType *ProtocolTy = llvm::StructType::get(IdTy,
Fariborz Jahanianf8c4f542009-03-31 18:27:22 +0000726 PtrToInt8Ty,
727 ProtocolList->getType(),
728 InstanceMethodList->getType(),
729 ClassMethodList->getType(),
730 NULL);
731 std::vector<llvm::Constant*> Elements;
732 // The isa pointer must be set to a magic number so the runtime knows it's
733 // the correct layout.
Owen Anderson3c4972d2009-07-29 18:54:39 +0000734 Elements.push_back(llvm::ConstantExpr::getIntToPtr(
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000735 llvm::ConstantInt::get(llvm::Type::Int32Ty, ProtocolVersion), IdTy));
Fariborz Jahanianf8c4f542009-03-31 18:27:22 +0000736 Elements.push_back(MakeConstantString(ProtocolName, ".objc_protocol_name"));
737 Elements.push_back(ProtocolList);
738 Elements.push_back(InstanceMethodList);
739 Elements.push_back(ClassMethodList);
740 return MakeGlobal(ProtocolTy, Elements, ".objc_protocol");
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000741}
742
Daniel Dunbaraf2f62c2008-08-13 00:59:25 +0000743void CGObjCGNU::GenerateProtocol(const ObjCProtocolDecl *PD) {
744 ASTContext &Context = CGM.getContext();
Chris Lattner8ec03f52008-11-24 03:54:41 +0000745 std::string ProtocolName = PD->getNameAsString();
Daniel Dunbaraf2f62c2008-08-13 00:59:25 +0000746 llvm::SmallVector<std::string, 16> Protocols;
747 for (ObjCProtocolDecl::protocol_iterator PI = PD->protocol_begin(),
748 E = PD->protocol_end(); PI != E; ++PI)
Chris Lattnerd9d22dd2008-11-24 05:29:24 +0000749 Protocols.push_back((*PI)->getNameAsString());
Daniel Dunbaraf2f62c2008-08-13 00:59:25 +0000750 llvm::SmallVector<llvm::Constant*, 16> InstanceMethodNames;
751 llvm::SmallVector<llvm::Constant*, 16> InstanceMethodTypes;
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000752 for (ObjCProtocolDecl::instmeth_iterator iter = PD->instmeth_begin(),
753 E = PD->instmeth_end(); iter != E; iter++) {
Daniel Dunbaraf2f62c2008-08-13 00:59:25 +0000754 std::string TypeStr;
755 Context.getObjCEncodingForMethodDecl(*iter, TypeStr);
756 InstanceMethodNames.push_back(
Chris Lattner077bf5e2008-11-24 03:33:13 +0000757 CGM.GetAddrOfConstantCString((*iter)->getSelector().getAsString()));
Daniel Dunbar61432932008-08-13 23:20:05 +0000758 InstanceMethodTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr));
Daniel Dunbaraf2f62c2008-08-13 00:59:25 +0000759 }
760 // Collect information about class methods:
761 llvm::SmallVector<llvm::Constant*, 16> ClassMethodNames;
762 llvm::SmallVector<llvm::Constant*, 16> ClassMethodTypes;
Douglas Gregor6ab35242009-04-09 21:40:53 +0000763 for (ObjCProtocolDecl::classmeth_iterator
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000764 iter = PD->classmeth_begin(), endIter = PD->classmeth_end();
765 iter != endIter ; iter++) {
Daniel Dunbaraf2f62c2008-08-13 00:59:25 +0000766 std::string TypeStr;
767 Context.getObjCEncodingForMethodDecl((*iter),TypeStr);
768 ClassMethodNames.push_back(
Chris Lattner077bf5e2008-11-24 03:33:13 +0000769 CGM.GetAddrOfConstantCString((*iter)->getSelector().getAsString()));
Daniel Dunbar61432932008-08-13 23:20:05 +0000770 ClassMethodTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr));
Daniel Dunbaraf2f62c2008-08-13 00:59:25 +0000771 }
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000772
773 llvm::Constant *ProtocolList = GenerateProtocolList(Protocols);
774 llvm::Constant *InstanceMethodList =
775 GenerateProtocolMethodList(InstanceMethodNames, InstanceMethodTypes);
776 llvm::Constant *ClassMethodList =
777 GenerateProtocolMethodList(ClassMethodNames, ClassMethodTypes);
778 // Protocols are objects containing lists of the methods implemented and
779 // protocols adopted.
Owen Anderson96e0fc72009-07-29 22:16:19 +0000780 llvm::StructType *ProtocolTy = llvm::StructType::get(IdTy,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000781 PtrToInt8Ty,
782 ProtocolList->getType(),
783 InstanceMethodList->getType(),
784 ClassMethodList->getType(),
785 NULL);
786 std::vector<llvm::Constant*> Elements;
787 // The isa pointer must be set to a magic number so the runtime knows it's
788 // the correct layout.
Owen Anderson3c4972d2009-07-29 18:54:39 +0000789 Elements.push_back(llvm::ConstantExpr::getIntToPtr(
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000790 llvm::ConstantInt::get(llvm::Type::Int32Ty, ProtocolVersion), IdTy));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000791 Elements.push_back(MakeConstantString(ProtocolName, ".objc_protocol_name"));
792 Elements.push_back(ProtocolList);
793 Elements.push_back(InstanceMethodList);
794 Elements.push_back(ClassMethodList);
795 ExistingProtocols[ProtocolName] =
Owen Anderson3c4972d2009-07-29 18:54:39 +0000796 llvm::ConstantExpr::getBitCast(MakeGlobal(ProtocolTy, Elements,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000797 ".objc_protocol"), IdTy);
798}
799
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000800void CGObjCGNU::GenerateCategory(const ObjCCategoryImplDecl *OCD) {
Chris Lattner8ec03f52008-11-24 03:54:41 +0000801 std::string ClassName = OCD->getClassInterface()->getNameAsString();
802 std::string CategoryName = OCD->getNameAsString();
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000803 // Collect information about instance methods
804 llvm::SmallVector<Selector, 16> InstanceMethodSels;
805 llvm::SmallVector<llvm::Constant*, 16> InstanceMethodTypes;
Douglas Gregor653f1b12009-04-23 01:02:12 +0000806 for (ObjCCategoryImplDecl::instmeth_iterator
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000807 iter = OCD->instmeth_begin(), endIter = OCD->instmeth_end();
Douglas Gregor653f1b12009-04-23 01:02:12 +0000808 iter != endIter ; iter++) {
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000809 InstanceMethodSels.push_back((*iter)->getSelector());
810 std::string TypeStr;
811 CGM.getContext().getObjCEncodingForMethodDecl(*iter,TypeStr);
812 InstanceMethodTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr));
813 }
814
815 // Collect information about class methods
816 llvm::SmallVector<Selector, 16> ClassMethodSels;
817 llvm::SmallVector<llvm::Constant*, 16> ClassMethodTypes;
Douglas Gregor653f1b12009-04-23 01:02:12 +0000818 for (ObjCCategoryImplDecl::classmeth_iterator
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000819 iter = OCD->classmeth_begin(), endIter = OCD->classmeth_end();
Douglas Gregor653f1b12009-04-23 01:02:12 +0000820 iter != endIter ; iter++) {
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000821 ClassMethodSels.push_back((*iter)->getSelector());
822 std::string TypeStr;
823 CGM.getContext().getObjCEncodingForMethodDecl(*iter,TypeStr);
824 ClassMethodTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr));
825 }
826
827 // Collect the names of referenced protocols
828 llvm::SmallVector<std::string, 16> Protocols;
829 const ObjCInterfaceDecl *ClassDecl = OCD->getClassInterface();
830 const ObjCList<ObjCProtocolDecl> &Protos =ClassDecl->getReferencedProtocols();
831 for (ObjCList<ObjCProtocolDecl>::iterator I = Protos.begin(),
832 E = Protos.end(); I != E; ++I)
Chris Lattnerd9d22dd2008-11-24 05:29:24 +0000833 Protocols.push_back((*I)->getNameAsString());
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000834
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000835 std::vector<llvm::Constant*> Elements;
836 Elements.push_back(MakeConstantString(CategoryName));
837 Elements.push_back(MakeConstantString(ClassName));
838 // Instance method list
Owen Anderson3c4972d2009-07-29 18:54:39 +0000839 Elements.push_back(llvm::ConstantExpr::getBitCast(GenerateMethodList(
Chris Lattnera4210072008-06-26 05:08:00 +0000840 ClassName, CategoryName, InstanceMethodSels, InstanceMethodTypes,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000841 false), PtrTy));
842 // Class 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, ClassMethodSels, ClassMethodTypes, true),
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000845 PtrTy));
846 // Protocol list
Owen Anderson3c4972d2009-07-29 18:54:39 +0000847 Elements.push_back(llvm::ConstantExpr::getBitCast(
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000848 GenerateProtocolList(Protocols), PtrTy));
Owen Anderson3c4972d2009-07-29 18:54:39 +0000849 Categories.push_back(llvm::ConstantExpr::getBitCast(
Owen Anderson96e0fc72009-07-29 22:16:19 +0000850 MakeGlobal(llvm::StructType::get(PtrToInt8Ty, PtrToInt8Ty, PtrTy,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000851 PtrTy, PtrTy, NULL), Elements), PtrTy));
852}
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000853
854void CGObjCGNU::GenerateClass(const ObjCImplementationDecl *OID) {
855 ASTContext &Context = CGM.getContext();
856
857 // Get the superclass name.
858 const ObjCInterfaceDecl * SuperClassDecl =
859 OID->getClassInterface()->getSuperClass();
Chris Lattner8ec03f52008-11-24 03:54:41 +0000860 std::string SuperClassName;
Chris Lattner2a8e4e12009-06-15 01:09:11 +0000861 if (SuperClassDecl) {
Chris Lattner8ec03f52008-11-24 03:54:41 +0000862 SuperClassName = SuperClassDecl->getNameAsString();
Chris Lattner2a8e4e12009-06-15 01:09:11 +0000863 EmitClassRef(SuperClassName);
864 }
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000865
866 // Get the class name
Chris Lattner09dc6662009-04-01 02:00:48 +0000867 ObjCInterfaceDecl *ClassDecl =
868 const_cast<ObjCInterfaceDecl *>(OID->getClassInterface());
Chris Lattner8ec03f52008-11-24 03:54:41 +0000869 std::string ClassName = ClassDecl->getNameAsString();
Chris Lattner2a8e4e12009-06-15 01:09:11 +0000870 // Emit the symbol that is used to generate linker errors if this class is
871 // referenced in other modules but not declared.
Fariborz Jahanianc51db232009-07-03 15:10:14 +0000872 std::string classSymbolName = "__objc_class_name_" + ClassName;
873 if (llvm::GlobalVariable *symbol =
874 TheModule.getGlobalVariable(classSymbolName)) {
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000875 symbol->setInitializer(llvm::ConstantInt::get(LongTy, 0));
Fariborz Jahanianc51db232009-07-03 15:10:14 +0000876 } else {
Owen Anderson1c431b32009-07-08 19:05:04 +0000877 new llvm::GlobalVariable(TheModule, LongTy, false,
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000878 llvm::GlobalValue::ExternalLinkage, llvm::ConstantInt::get(LongTy, 0),
Owen Anderson1c431b32009-07-08 19:05:04 +0000879 classSymbolName);
Fariborz Jahanianc51db232009-07-03 15:10:14 +0000880 }
Chris Lattner2a8e4e12009-06-15 01:09:11 +0000881
Daniel Dunbar2bebbf02009-05-03 10:46:44 +0000882 // Get the size of instances.
883 int instanceSize = Context.getASTObjCImplementationLayout(OID).getSize() / 8;
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000884
885 // Collect information about instance variables.
886 llvm::SmallVector<llvm::Constant*, 16> IvarNames;
887 llvm::SmallVector<llvm::Constant*, 16> IvarTypes;
888 llvm::SmallVector<llvm::Constant*, 16> IvarOffsets;
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +0000889
890 int superInstanceSize = !SuperClassDecl ? 0 :
891 Context.getASTObjCInterfaceLayout(SuperClassDecl).getSize() / 8;
892 // For non-fragile ivars, set the instance size to 0 - {the size of just this
893 // class}. The runtime will then set this to the correct value on load.
894 if (CGM.getContext().getLangOptions().ObjCNonFragileABI) {
895 instanceSize = 0 - (instanceSize - superInstanceSize);
896 }
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000897 for (ObjCInterfaceDecl::ivar_iterator iter = ClassDecl->ivar_begin(),
898 endIter = ClassDecl->ivar_end() ; iter != endIter ; iter++) {
899 // Store the name
Chris Lattnerd9d22dd2008-11-24 05:29:24 +0000900 IvarNames.push_back(CGM.GetAddrOfConstantCString((*iter)
901 ->getNameAsString()));
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000902 // Get the type encoding for this ivar
903 std::string TypeStr;
Daniel Dunbar0d504c12008-10-17 20:21:44 +0000904 Context.getObjCEncodingForType((*iter)->getType(), TypeStr);
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000905 IvarTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr));
906 // Get the offset
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +0000907 uint64_t Offset;
908 if (CGM.getContext().getLangOptions().ObjCNonFragileABI) {
909 Offset = ComputeIvarBaseOffset(CGM, ClassDecl, *iter) -
910 superInstanceSize;
911 ObjCIvarOffsetVariable(ClassDecl, *iter);
912 } else {
913 Offset = ComputeIvarBaseOffset(CGM, ClassDecl, *iter);
914 }
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000915 IvarOffsets.push_back(
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000916 llvm::ConstantInt::get(llvm::Type::Int32Ty, Offset));
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000917 }
918
919 // Collect information about instance methods
920 llvm::SmallVector<Selector, 16> InstanceMethodSels;
921 llvm::SmallVector<llvm::Constant*, 16> InstanceMethodTypes;
Douglas Gregor653f1b12009-04-23 01:02:12 +0000922 for (ObjCImplementationDecl::instmeth_iterator
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000923 iter = OID->instmeth_begin(), endIter = OID->instmeth_end();
Douglas Gregor653f1b12009-04-23 01:02:12 +0000924 iter != endIter ; iter++) {
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000925 InstanceMethodSels.push_back((*iter)->getSelector());
926 std::string TypeStr;
927 Context.getObjCEncodingForMethodDecl((*iter),TypeStr);
928 InstanceMethodTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr));
929 }
Fariborz Jahanian1e64a952009-05-17 16:49:27 +0000930 for (ObjCImplDecl::propimpl_iterator
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000931 iter = OID->propimpl_begin(), endIter = OID->propimpl_end();
Fariborz Jahanian1e64a952009-05-17 16:49:27 +0000932 iter != endIter ; iter++) {
933 ObjCPropertyDecl *property = (*iter)->getPropertyDecl();
934 if (ObjCMethodDecl *getter = property->getGetterMethodDecl()) {
935 InstanceMethodSels.push_back(getter->getSelector());
936 std::string TypeStr;
937 Context.getObjCEncodingForMethodDecl(getter,TypeStr);
938 InstanceMethodTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr));
939 }
940 if (ObjCMethodDecl *setter = property->getSetterMethodDecl()) {
941 InstanceMethodSels.push_back(setter->getSelector());
942 std::string TypeStr;
943 Context.getObjCEncodingForMethodDecl(setter,TypeStr);
944 InstanceMethodTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr));
945 }
946 }
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000947
948 // Collect information about class methods
949 llvm::SmallVector<Selector, 16> ClassMethodSels;
950 llvm::SmallVector<llvm::Constant*, 16> ClassMethodTypes;
Douglas Gregor653f1b12009-04-23 01:02:12 +0000951 for (ObjCImplementationDecl::classmeth_iterator
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000952 iter = OID->classmeth_begin(), endIter = OID->classmeth_end();
Douglas Gregor653f1b12009-04-23 01:02:12 +0000953 iter != endIter ; iter++) {
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000954 ClassMethodSels.push_back((*iter)->getSelector());
955 std::string TypeStr;
956 Context.getObjCEncodingForMethodDecl((*iter),TypeStr);
957 ClassMethodTypes.push_back(CGM.GetAddrOfConstantCString(TypeStr));
958 }
959 // Collect the names of referenced protocols
960 llvm::SmallVector<std::string, 16> Protocols;
961 const ObjCList<ObjCProtocolDecl> &Protos =ClassDecl->getReferencedProtocols();
962 for (ObjCList<ObjCProtocolDecl>::iterator I = Protos.begin(),
963 E = Protos.end(); I != E; ++I)
Chris Lattnerd9d22dd2008-11-24 05:29:24 +0000964 Protocols.push_back((*I)->getNameAsString());
Daniel Dunbar7ded7f42008-08-15 22:20:32 +0000965
966
967
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000968 // Get the superclass pointer.
969 llvm::Constant *SuperClass;
Chris Lattner8ec03f52008-11-24 03:54:41 +0000970 if (!SuperClassName.empty()) {
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000971 SuperClass = MakeConstantString(SuperClassName, ".super_class_name");
972 } else {
Owen Anderson03e20502009-07-30 23:11:26 +0000973 SuperClass = llvm::ConstantPointerNull::get(PtrToInt8Ty);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000974 }
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000975 // Empty vector used to construct empty method lists
976 llvm::SmallVector<llvm::Constant*, 1> empty;
977 // Generate the method and instance variable lists
978 llvm::Constant *MethodList = GenerateMethodList(ClassName, "",
Chris Lattnera4210072008-06-26 05:08:00 +0000979 InstanceMethodSels, InstanceMethodTypes, false);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000980 llvm::Constant *ClassMethodList = GenerateMethodList(ClassName, "",
Chris Lattnera4210072008-06-26 05:08:00 +0000981 ClassMethodSels, ClassMethodTypes, true);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000982 llvm::Constant *IvarList = GenerateIvarList(IvarNames, IvarTypes,
983 IvarOffsets);
984 //Generate metaclass for class methods
985 llvm::Constant *MetaClassStruct = GenerateClassStructure(NULLPtr,
Chris Lattner1565e032008-07-21 06:31:05 +0000986 NULLPtr, 0x2L, /*name*/"", 0, Zeros[0], GenerateIvarList(
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000987 empty, empty, empty), ClassMethodList, NULLPtr);
Daniel Dunbar5efccb12009-05-04 15:31:17 +0000988
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000989 // Generate the class structure
Chris Lattner8ec03f52008-11-24 03:54:41 +0000990 llvm::Constant *ClassStruct =
991 GenerateClassStructure(MetaClassStruct, SuperClass, 0x1L,
992 ClassName.c_str(), 0,
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000993 llvm::ConstantInt::get(LongTy, instanceSize), IvarList,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000994 MethodList, GenerateProtocolList(Protocols));
Daniel Dunbar5efccb12009-05-04 15:31:17 +0000995
996 // Resolve the class aliases, if they exist.
997 if (ClassPtrAlias) {
998 ClassPtrAlias->setAliasee(
Owen Anderson3c4972d2009-07-29 18:54:39 +0000999 llvm::ConstantExpr::getBitCast(ClassStruct, IdTy));
Daniel Dunbar5efccb12009-05-04 15:31:17 +00001000 ClassPtrAlias = 0;
1001 }
1002 if (MetaClassPtrAlias) {
1003 MetaClassPtrAlias->setAliasee(
Owen Anderson3c4972d2009-07-29 18:54:39 +00001004 llvm::ConstantExpr::getBitCast(MetaClassStruct, IdTy));
Daniel Dunbar5efccb12009-05-04 15:31:17 +00001005 MetaClassPtrAlias = 0;
1006 }
1007
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001008 // Add class structure to list to be added to the symtab later
Owen Anderson3c4972d2009-07-29 18:54:39 +00001009 ClassStruct = llvm::ConstantExpr::getBitCast(ClassStruct, PtrToInt8Ty);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001010 Classes.push_back(ClassStruct);
1011}
1012
Fariborz Jahanianc38e9af2009-06-23 21:47:46 +00001013
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001014llvm::Function *CGObjCGNU::ModuleInitFunction() {
1015 // Only emit an ObjC load function if no Objective-C stuff has been called
1016 if (Classes.empty() && Categories.empty() && ConstantStrings.empty() &&
1017 ExistingProtocols.empty() && TypedSelectors.empty() &&
Anton Korobeynikov5f58b912008-06-01 15:14:46 +00001018 UntypedSelectors.empty())
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001019 return NULL;
Eli Friedman1b8956e2008-06-01 16:00:02 +00001020
Chris Lattnere160c9b2009-01-27 05:06:01 +00001021 const llvm::StructType *SelStructTy = dyn_cast<llvm::StructType>(
1022 SelectorTy->getElementType());
1023 const llvm::Type *SelStructPtrTy = SelectorTy;
1024 bool isSelOpaque = false;
1025 if (SelStructTy == 0) {
Owen Anderson96e0fc72009-07-29 22:16:19 +00001026 SelStructTy = llvm::StructType::get(PtrToInt8Ty, PtrToInt8Ty, NULL);
1027 SelStructPtrTy = llvm::PointerType::getUnqual(SelStructTy);
Chris Lattnere160c9b2009-01-27 05:06:01 +00001028 isSelOpaque = true;
1029 }
1030
Eli Friedman1b8956e2008-06-01 16:00:02 +00001031 // Name the ObjC types to make the IR a bit easier to read
Chris Lattnere160c9b2009-01-27 05:06:01 +00001032 TheModule.addTypeName(".objc_selector", SelStructPtrTy);
Eli Friedman1b8956e2008-06-01 16:00:02 +00001033 TheModule.addTypeName(".objc_id", IdTy);
1034 TheModule.addTypeName(".objc_imp", IMPTy);
1035
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001036 std::vector<llvm::Constant*> Elements;
Chris Lattner71238f62009-04-25 23:19:45 +00001037 llvm::Constant *Statics = NULLPtr;
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001038 // Generate statics list:
Chris Lattner71238f62009-04-25 23:19:45 +00001039 if (ConstantStrings.size()) {
Owen Anderson96e0fc72009-07-29 22:16:19 +00001040 llvm::ArrayType *StaticsArrayTy = llvm::ArrayType::get(PtrToInt8Ty,
Chris Lattner71238f62009-04-25 23:19:45 +00001041 ConstantStrings.size() + 1);
1042 ConstantStrings.push_back(NULLPtr);
1043 Elements.push_back(MakeConstantString("NSConstantString",
1044 ".objc_static_class_name"));
Owen Anderson7db6d832009-07-28 18:33:04 +00001045 Elements.push_back(llvm::ConstantArray::get(StaticsArrayTy,
Chris Lattner71238f62009-04-25 23:19:45 +00001046 ConstantStrings));
1047 llvm::StructType *StaticsListTy =
Owen Anderson96e0fc72009-07-29 22:16:19 +00001048 llvm::StructType::get(PtrToInt8Ty, StaticsArrayTy, NULL);
Owen Andersona1cf15f2009-07-14 23:10:40 +00001049 llvm::Type *StaticsListPtrTy =
Owen Anderson96e0fc72009-07-29 22:16:19 +00001050 llvm::PointerType::getUnqual(StaticsListTy);
Chris Lattner71238f62009-04-25 23:19:45 +00001051 Statics = MakeGlobal(StaticsListTy, Elements, ".objc_statics");
Owen Andersona1cf15f2009-07-14 23:10:40 +00001052 llvm::ArrayType *StaticsListArrayTy =
Owen Anderson96e0fc72009-07-29 22:16:19 +00001053 llvm::ArrayType::get(StaticsListPtrTy, 2);
Chris Lattner71238f62009-04-25 23:19:45 +00001054 Elements.clear();
1055 Elements.push_back(Statics);
Owen Andersonc9c88b42009-07-31 20:28:54 +00001056 Elements.push_back(llvm::Constant::getNullValue(StaticsListPtrTy));
Chris Lattner71238f62009-04-25 23:19:45 +00001057 Statics = MakeGlobal(StaticsListArrayTy, Elements, ".objc_statics_ptr");
Owen Anderson3c4972d2009-07-29 18:54:39 +00001058 Statics = llvm::ConstantExpr::getBitCast(Statics, PtrTy);
Chris Lattner71238f62009-04-25 23:19:45 +00001059 }
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001060 // Array of classes, categories, and constant objects
Owen Anderson96e0fc72009-07-29 22:16:19 +00001061 llvm::ArrayType *ClassListTy = llvm::ArrayType::get(PtrToInt8Ty,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001062 Classes.size() + Categories.size() + 2);
Owen Anderson96e0fc72009-07-29 22:16:19 +00001063 llvm::StructType *SymTabTy = llvm::StructType::get(LongTy, SelStructPtrTy,
Chris Lattner630404b2008-06-26 04:10:42 +00001064 llvm::Type::Int16Ty,
1065 llvm::Type::Int16Ty,
1066 ClassListTy, NULL);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001067
1068 Elements.clear();
1069 // Pointer to an array of selectors used in this module.
1070 std::vector<llvm::Constant*> Selectors;
1071 for (std::map<TypedSelector, llvm::GlobalAlias*>::iterator
1072 iter = TypedSelectors.begin(), iterEnd = TypedSelectors.end();
1073 iter != iterEnd ; ++iter) {
Chris Lattner630404b2008-06-26 04:10:42 +00001074 Elements.push_back(MakeConstantString(iter->first.first, ".objc_sel_name"));
1075 Elements.push_back(MakeConstantString(iter->first.second,
1076 ".objc_sel_types"));
Owen Anderson08e25242009-07-27 22:29:56 +00001077 Selectors.push_back(llvm::ConstantStruct::get(SelStructTy, Elements));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001078 Elements.clear();
1079 }
1080 for (llvm::StringMap<llvm::GlobalAlias*>::iterator
1081 iter = UntypedSelectors.begin(), iterEnd = UntypedSelectors.end();
Chris Lattner630404b2008-06-26 04:10:42 +00001082 iter != iterEnd; ++iter) {
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001083 Elements.push_back(
Chris Lattner630404b2008-06-26 04:10:42 +00001084 MakeConstantString(iter->getKeyData(), ".objc_sel_name"));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001085 Elements.push_back(NULLPtr);
Owen Anderson08e25242009-07-27 22:29:56 +00001086 Selectors.push_back(llvm::ConstantStruct::get(SelStructTy, Elements));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001087 Elements.clear();
1088 }
1089 Elements.push_back(NULLPtr);
1090 Elements.push_back(NULLPtr);
Owen Anderson08e25242009-07-27 22:29:56 +00001091 Selectors.push_back(llvm::ConstantStruct::get(SelStructTy, Elements));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001092 Elements.clear();
1093 // Number of static selectors
Owen Anderson4a28d5d2009-07-24 23:12:58 +00001094 Elements.push_back(llvm::ConstantInt::get(LongTy, Selectors.size() ));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001095 llvm::Constant *SelectorList = MakeGlobal(
Owen Anderson96e0fc72009-07-29 22:16:19 +00001096 llvm::ArrayType::get(SelStructTy, Selectors.size()), Selectors,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001097 ".objc_selector_list");
Owen Anderson3c4972d2009-07-29 18:54:39 +00001098 Elements.push_back(llvm::ConstantExpr::getBitCast(SelectorList,
Chris Lattnere160c9b2009-01-27 05:06:01 +00001099 SelStructPtrTy));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001100
1101 // Now that all of the static selectors exist, create pointers to them.
1102 int index = 0;
1103 for (std::map<TypedSelector, llvm::GlobalAlias*>::iterator
1104 iter=TypedSelectors.begin(), iterEnd =TypedSelectors.end();
1105 iter != iterEnd; ++iter) {
1106 llvm::Constant *Idxs[] = {Zeros[0],
Owen Anderson4a28d5d2009-07-24 23:12:58 +00001107 llvm::ConstantInt::get(llvm::Type::Int32Ty, index++), Zeros[0]};
Owen Anderson1c431b32009-07-08 19:05:04 +00001108 llvm::Constant *SelPtr = new llvm::GlobalVariable(TheModule, SelStructPtrTy,
1109 true, llvm::GlobalValue::InternalLinkage,
Owen Anderson3c4972d2009-07-29 18:54:39 +00001110 llvm::ConstantExpr::getGetElementPtr(SelectorList, Idxs, 2),
Owen Anderson1c431b32009-07-08 19:05:04 +00001111 ".objc_sel_ptr");
Chris Lattnere160c9b2009-01-27 05:06:01 +00001112 // If selectors are defined as an opaque type, cast the pointer to this
1113 // type.
1114 if (isSelOpaque) {
Owen Anderson3c4972d2009-07-29 18:54:39 +00001115 SelPtr = llvm::ConstantExpr::getBitCast(SelPtr,
Owen Anderson96e0fc72009-07-29 22:16:19 +00001116 llvm::PointerType::getUnqual(SelectorTy));
Chris Lattnere160c9b2009-01-27 05:06:01 +00001117 }
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001118 (*iter).second->setAliasee(SelPtr);
1119 }
1120 for (llvm::StringMap<llvm::GlobalAlias*>::iterator
1121 iter=UntypedSelectors.begin(), iterEnd = UntypedSelectors.end();
1122 iter != iterEnd; iter++) {
1123 llvm::Constant *Idxs[] = {Zeros[0],
Owen Anderson4a28d5d2009-07-24 23:12:58 +00001124 llvm::ConstantInt::get(llvm::Type::Int32Ty, index++), Zeros[0]};
Mike Stumpbb1c8602009-07-31 21:31:32 +00001125 llvm::Constant *SelPtr = new llvm::GlobalVariable
1126 (TheModule, SelStructPtrTy,
1127 true, llvm::GlobalValue::InternalLinkage,
1128 llvm::ConstantExpr::getGetElementPtr(SelectorList, Idxs, 2),
1129 ".objc_sel_ptr");
Chris Lattnere160c9b2009-01-27 05:06:01 +00001130 // If selectors are defined as an opaque type, cast the pointer to this
1131 // type.
1132 if (isSelOpaque) {
Owen Anderson3c4972d2009-07-29 18:54:39 +00001133 SelPtr = llvm::ConstantExpr::getBitCast(SelPtr,
Owen Anderson96e0fc72009-07-29 22:16:19 +00001134 llvm::PointerType::getUnqual(SelectorTy));
Chris Lattnere160c9b2009-01-27 05:06:01 +00001135 }
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001136 (*iter).second->setAliasee(SelPtr);
1137 }
1138 // Number of classes defined.
Owen Anderson4a28d5d2009-07-24 23:12:58 +00001139 Elements.push_back(llvm::ConstantInt::get(llvm::Type::Int16Ty,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001140 Classes.size()));
1141 // Number of categories defined
Owen Anderson4a28d5d2009-07-24 23:12:58 +00001142 Elements.push_back(llvm::ConstantInt::get(llvm::Type::Int16Ty,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001143 Categories.size()));
1144 // Create an array of classes, then categories, then static object instances
1145 Classes.insert(Classes.end(), Categories.begin(), Categories.end());
1146 // NULL-terminated list of static object instances (mainly constant strings)
1147 Classes.push_back(Statics);
1148 Classes.push_back(NULLPtr);
Owen Anderson7db6d832009-07-28 18:33:04 +00001149 llvm::Constant *ClassList = llvm::ConstantArray::get(ClassListTy, Classes);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001150 Elements.push_back(ClassList);
1151 // Construct the symbol table
1152 llvm::Constant *SymTab= MakeGlobal(SymTabTy, Elements);
1153
1154 // The symbol table is contained in a module which has some version-checking
1155 // constants
Owen Anderson96e0fc72009-07-29 22:16:19 +00001156 llvm::StructType * ModuleTy = llvm::StructType::get(LongTy, LongTy,
1157 PtrToInt8Ty, llvm::PointerType::getUnqual(SymTabTy), NULL);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001158 Elements.clear();
1159 // Runtime version used for compatibility checking.
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +00001160 if (CGM.getContext().getLangOptions().ObjCNonFragileABI) {
Owen Anderson4a28d5d2009-07-24 23:12:58 +00001161 Elements.push_back(llvm::ConstantInt::get(LongTy,
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +00001162 NonFragileRuntimeVersion));
1163 } else {
Owen Anderson4a28d5d2009-07-24 23:12:58 +00001164 Elements.push_back(llvm::ConstantInt::get(LongTy, RuntimeVersion));
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +00001165 }
Fariborz Jahanian91a0b512009-04-01 19:49:42 +00001166 // sizeof(ModuleTy)
1167 llvm::TargetData td = llvm::TargetData::TargetData(&TheModule);
Owen Anderson4a28d5d2009-07-24 23:12:58 +00001168 Elements.push_back(llvm::ConstantInt::get(LongTy,
Owen Andersona1cf15f2009-07-14 23:10:40 +00001169 td.getTypeSizeInBits(ModuleTy)/8));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001170 //FIXME: Should be the path to the file where this module was declared
1171 Elements.push_back(NULLPtr);
1172 Elements.push_back(SymTab);
1173 llvm::Value *Module = MakeGlobal(ModuleTy, Elements);
1174
1175 // Create the load function calling the runtime entry point with the module
1176 // structure
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001177 llvm::Function * LoadFunction = llvm::Function::Create(
Owen Anderson96e0fc72009-07-29 22:16:19 +00001178 llvm::FunctionType::get(llvm::Type::VoidTy, false),
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001179 llvm::GlobalValue::InternalLinkage, ".objc_load_function",
1180 &TheModule);
1181 llvm::BasicBlock *EntryBB = llvm::BasicBlock::Create("entry", LoadFunction);
Owen Andersona1cf15f2009-07-14 23:10:40 +00001182 CGBuilderTy Builder(VMContext);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001183 Builder.SetInsertPoint(EntryBB);
Fariborz Jahanian26c82942009-03-30 18:02:14 +00001184
1185 std::vector<const llvm::Type*> Params(1,
Owen Anderson96e0fc72009-07-29 22:16:19 +00001186 llvm::PointerType::getUnqual(ModuleTy));
1187 llvm::Value *Register = CGM.CreateRuntimeFunction(llvm::FunctionType::get(
Fariborz Jahanian26c82942009-03-30 18:02:14 +00001188 llvm::Type::VoidTy, Params, true), "__objc_exec_class");
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001189 Builder.CreateCall(Register, Module);
1190 Builder.CreateRetVoid();
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +00001191
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001192 return LoadFunction;
1193}
Daniel Dunbar7ded7f42008-08-15 22:20:32 +00001194
Fariborz Jahanian679a5022009-01-10 21:06:09 +00001195llvm::Function *CGObjCGNU::GenerateMethod(const ObjCMethodDecl *OMD,
1196 const ObjCContainerDecl *CD) {
Daniel Dunbar7ded7f42008-08-15 22:20:32 +00001197 const ObjCCategoryImplDecl *OCD =
Steve Naroff3e0a5402009-01-08 19:41:02 +00001198 dyn_cast<ObjCCategoryImplDecl>(OMD->getDeclContext());
Chris Lattner077bf5e2008-11-24 03:33:13 +00001199 std::string CategoryName = OCD ? OCD->getNameAsString() : "";
1200 std::string ClassName = OMD->getClassInterface()->getNameAsString();
1201 std::string MethodName = OMD->getSelector().getAsString();
Douglas Gregorf8d49f62009-01-09 17:18:27 +00001202 bool isClassMethod = !OMD->isInstanceMethod();
Daniel Dunbar7ded7f42008-08-15 22:20:32 +00001203
Daniel Dunbar541b63b2009-02-02 23:23:47 +00001204 CodeGenTypes &Types = CGM.getTypes();
Daniel Dunbar45c25ba2008-09-10 04:01:49 +00001205 const llvm::FunctionType *MethodTy =
Daniel Dunbar541b63b2009-02-02 23:23:47 +00001206 Types.GetFunctionType(Types.getFunctionInfo(OMD), OMD->isVariadic());
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001207 std::string FunctionName = SymbolNameForMethod(ClassName, CategoryName,
1208 MethodName, isClassMethod);
1209
Gabor Greif984d0b42008-04-06 20:42:52 +00001210 llvm::Function *Method = llvm::Function::Create(MethodTy,
Chris Lattner391d77a2008-03-30 23:03:07 +00001211 llvm::GlobalValue::InternalLinkage,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +00001212 FunctionName,
Chris Lattner391d77a2008-03-30 23:03:07 +00001213 &TheModule);
Chris Lattner391d77a2008-03-30 23:03:07 +00001214 return Method;
1215}
1216
Daniel Dunbar49f66022008-09-24 03:38:44 +00001217llvm::Function *CGObjCGNU::GetPropertyGetFunction() {
Fariborz Jahaniancb9dad02009-05-19 00:28:43 +00001218 std::vector<const llvm::Type*> Params;
1219 const llvm::Type *BoolTy =
1220 CGM.getTypes().ConvertType(CGM.getContext().BoolTy);
1221 Params.push_back(IdTy);
1222 Params.push_back(SelectorTy);
1223 // FIXME: Using LongTy for ptrdiff_t is probably broken on Win64
1224 Params.push_back(LongTy);
1225 Params.push_back(BoolTy);
1226 // void objc_getProperty (id, SEL, ptrdiff_t, bool)
1227 const llvm::FunctionType *FTy =
Owen Anderson96e0fc72009-07-29 22:16:19 +00001228 llvm::FunctionType::get(IdTy, Params, false);
Fariborz Jahaniancb9dad02009-05-19 00:28:43 +00001229 return cast<llvm::Function>(CGM.CreateRuntimeFunction(FTy,
1230 "objc_getProperty"));
Daniel Dunbar49f66022008-09-24 03:38:44 +00001231}
1232
1233llvm::Function *CGObjCGNU::GetPropertySetFunction() {
Fariborz Jahaniancb9dad02009-05-19 00:28:43 +00001234 std::vector<const llvm::Type*> Params;
1235 const llvm::Type *BoolTy =
1236 CGM.getTypes().ConvertType(CGM.getContext().BoolTy);
1237 Params.push_back(IdTy);
1238 Params.push_back(SelectorTy);
1239 // FIXME: Using LongTy for ptrdiff_t is probably broken on Win64
1240 Params.push_back(LongTy);
1241 Params.push_back(IdTy);
1242 Params.push_back(BoolTy);
1243 Params.push_back(BoolTy);
1244 // void objc_setProperty (id, SEL, ptrdiff_t, id, bool, bool)
1245 const llvm::FunctionType *FTy =
Owen Anderson96e0fc72009-07-29 22:16:19 +00001246 llvm::FunctionType::get(llvm::Type::VoidTy, Params, false);
Fariborz Jahaniancb9dad02009-05-19 00:28:43 +00001247 return cast<llvm::Function>(CGM.CreateRuntimeFunction(FTy,
1248 "objc_setProperty"));
Daniel Dunbar49f66022008-09-24 03:38:44 +00001249}
1250
Daniel Dunbar309a4362009-07-24 07:40:24 +00001251llvm::Constant *CGObjCGNU::EnumerationMutationFunction() {
1252 CodeGen::CodeGenTypes &Types = CGM.getTypes();
1253 ASTContext &Ctx = CGM.getContext();
1254 // void objc_enumerationMutation (id)
1255 llvm::SmallVector<QualType,16> Params;
1256 Params.push_back(Ctx.getObjCIdType());
1257 const llvm::FunctionType *FTy =
1258 Types.GetFunctionType(Types.getFunctionInfo(Ctx.VoidTy, Params), false);
1259 return CGM.CreateRuntimeFunction(FTy, "objc_enumerationMutation");
Anders Carlsson2abd89c2008-08-31 04:05:03 +00001260}
1261
Fariborz Jahanianbd71be42008-11-21 00:49:24 +00001262void CGObjCGNU::EmitTryOrSynchronizedStmt(CodeGen::CodeGenFunction &CGF,
1263 const Stmt &S) {
Chris Lattner5dc08672009-05-08 00:11:50 +00001264 // Pointer to the personality function
1265 llvm::Constant *Personality =
Owen Anderson96e0fc72009-07-29 22:16:19 +00001266 CGM.CreateRuntimeFunction(llvm::FunctionType::get(llvm::Type::Int32Ty,
Chris Lattnerb59761b2009-07-01 04:13:52 +00001267 true),
Chris Lattner5dc08672009-05-08 00:11:50 +00001268 "__gnu_objc_personality_v0");
Owen Anderson3c4972d2009-07-29 18:54:39 +00001269 Personality = llvm::ConstantExpr::getBitCast(Personality, PtrTy);
Chris Lattner5dc08672009-05-08 00:11:50 +00001270 std::vector<const llvm::Type*> Params;
1271 Params.push_back(PtrTy);
1272 llvm::Value *RethrowFn =
Owen Anderson96e0fc72009-07-29 22:16:19 +00001273 CGM.CreateRuntimeFunction(llvm::FunctionType::get(llvm::Type::VoidTy,
Chris Lattner5dc08672009-05-08 00:11:50 +00001274 Params, false), "_Unwind_Resume_or_Rethrow");
1275
1276 bool isTry = isa<ObjCAtTryStmt>(S);
1277 llvm::BasicBlock *TryBlock = CGF.createBasicBlock("try");
1278 llvm::BasicBlock *PrevLandingPad = CGF.getInvokeDest();
1279 llvm::BasicBlock *TryHandler = CGF.createBasicBlock("try.handler");
Chris Lattnerd6a99072009-05-11 18:16:28 +00001280 llvm::BasicBlock *CatchInCatch = CGF.createBasicBlock("catch.rethrow");
Chris Lattner5dc08672009-05-08 00:11:50 +00001281 llvm::BasicBlock *FinallyBlock = CGF.createBasicBlock("finally");
1282 llvm::BasicBlock *FinallyRethrow = CGF.createBasicBlock("finally.throw");
1283 llvm::BasicBlock *FinallyEnd = CGF.createBasicBlock("finally.end");
1284
1285 // GNU runtime does not currently support @synchronized()
1286 if (!isTry) {
Chris Lattnerd6a99072009-05-11 18:16:28 +00001287 std::vector<const llvm::Type*> Args(1, IdTy);
1288 llvm::FunctionType *FTy =
Owen Anderson96e0fc72009-07-29 22:16:19 +00001289 llvm::FunctionType::get(llvm::Type::VoidTy, Args, false);
Chris Lattnerd6a99072009-05-11 18:16:28 +00001290 llvm::Value *SyncEnter = CGM.CreateRuntimeFunction(FTy, "objc_sync_enter");
1291 llvm::Value *SyncArg =
1292 CGF.EmitScalarExpr(cast<ObjCAtSynchronizedStmt>(S).getSynchExpr());
1293 SyncArg = CGF.Builder.CreateBitCast(SyncArg, IdTy);
1294 CGF.Builder.CreateCall(SyncEnter, SyncArg);
Chris Lattner5dc08672009-05-08 00:11:50 +00001295 }
1296
Chris Lattnerd6a99072009-05-11 18:16:28 +00001297
Chris Lattner5dc08672009-05-08 00:11:50 +00001298 // Push an EH context entry, used for handling rethrows and jumps
1299 // through finally.
1300 CGF.PushCleanupBlock(FinallyBlock);
1301
1302 // Emit the statements in the @try {} block
1303 CGF.setInvokeDest(TryHandler);
1304
1305 CGF.EmitBlock(TryBlock);
1306 CGF.EmitStmt(isTry ? cast<ObjCAtTryStmt>(S).getTryBody()
1307 : cast<ObjCAtSynchronizedStmt>(S).getSynchBody());
1308
1309 // Jump to @finally if there is no exception
1310 CGF.EmitBranchThroughCleanup(FinallyEnd);
1311
1312 // Emit the handlers
1313 CGF.EmitBlock(TryHandler);
1314
Chris Lattnerbb422ad2009-05-08 17:36:08 +00001315 // Get the correct versions of the exception handling intrinsics
1316 llvm::TargetData td = llvm::TargetData::TargetData(&TheModule);
1317 int PointerWidth = td.getTypeSizeInBits(PtrTy);
1318 assert((PointerWidth == 32 || PointerWidth == 64) &&
1319 "Can't yet handle exceptions if pointers are not 32 or 64 bits");
Chris Lattner5dc08672009-05-08 00:11:50 +00001320 llvm::Value *llvm_eh_exception =
1321 CGF.CGM.getIntrinsic(llvm::Intrinsic::eh_exception);
Chris Lattnerbb422ad2009-05-08 17:36:08 +00001322 llvm::Value *llvm_eh_selector = PointerWidth == 32 ?
1323 CGF.CGM.getIntrinsic(llvm::Intrinsic::eh_selector_i32) :
1324 CGF.CGM.getIntrinsic(llvm::Intrinsic::eh_selector_i64);
1325 llvm::Value *llvm_eh_typeid_for = PointerWidth == 32 ?
1326 CGF.CGM.getIntrinsic(llvm::Intrinsic::eh_typeid_for_i32) :
1327 CGF.CGM.getIntrinsic(llvm::Intrinsic::eh_typeid_for_i64);
Chris Lattner5dc08672009-05-08 00:11:50 +00001328
1329 // Exception object
1330 llvm::Value *Exc = CGF.Builder.CreateCall(llvm_eh_exception, "exc");
1331 llvm::Value *RethrowPtr = CGF.CreateTempAlloca(Exc->getType(), "_rethrow");
1332
1333 llvm::SmallVector<llvm::Value*, 8> ESelArgs;
1334 llvm::SmallVector<std::pair<const ParmVarDecl*, const Stmt*>, 8> Handlers;
1335
1336 ESelArgs.push_back(Exc);
1337 ESelArgs.push_back(Personality);
1338
1339 bool HasCatchAll = false;
1340 // Only @try blocks are allowed @catch blocks, but both can have @finally
1341 if (isTry) {
1342 if (const ObjCAtCatchStmt* CatchStmt =
1343 cast<ObjCAtTryStmt>(S).getCatchStmts()) {
Chris Lattnerd6a99072009-05-11 18:16:28 +00001344 CGF.setInvokeDest(CatchInCatch);
Chris Lattner5dc08672009-05-08 00:11:50 +00001345
1346 for (; CatchStmt; CatchStmt = CatchStmt->getNextCatchStmt()) {
1347 const ParmVarDecl *CatchDecl = CatchStmt->getCatchParamDecl();
Mike Stumpbb1c8602009-07-31 21:31:32 +00001348 Handlers.push_back(std::make_pair(CatchDecl,
1349 CatchStmt->getCatchBody()));
Chris Lattner5dc08672009-05-08 00:11:50 +00001350
1351 // @catch() and @catch(id) both catch any ObjC exception
Steve Naroff14108da2009-07-10 23:34:53 +00001352 if (!CatchDecl || CatchDecl->getType()->isObjCIdType()
Chris Lattner5dc08672009-05-08 00:11:50 +00001353 || CatchDecl->getType()->isObjCQualifiedIdType()) {
1354 // Use i8* null here to signal this is a catch all, not a cleanup.
1355 ESelArgs.push_back(NULLPtr);
1356 HasCatchAll = true;
1357 // No further catches after this one will ever by reached
1358 break;
1359 }
1360
1361 // All other types should be Objective-C interface pointer types.
Steve Naroff14108da2009-07-10 23:34:53 +00001362 const ObjCObjectPointerType *OPT =
1363 CatchDecl->getType()->getAsObjCObjectPointerType();
1364 assert(OPT && "Invalid @catch type.");
Chris Lattner5dc08672009-05-08 00:11:50 +00001365 const ObjCInterfaceType *IT =
Steve Naroff14108da2009-07-10 23:34:53 +00001366 OPT->getPointeeType()->getAsObjCInterfaceType();
Chris Lattner5dc08672009-05-08 00:11:50 +00001367 assert(IT && "Invalid @catch type.");
Chris Lattnerbb422ad2009-05-08 17:36:08 +00001368 llvm::Value *EHType =
1369 MakeConstantString(IT->getDecl()->getNameAsString());
Chris Lattner5dc08672009-05-08 00:11:50 +00001370 ESelArgs.push_back(EHType);
1371 }
1372 }
1373 }
1374
1375 // We use a cleanup unless there was already a catch all.
1376 if (!HasCatchAll) {
Owen Anderson4a28d5d2009-07-24 23:12:58 +00001377 ESelArgs.push_back(llvm::ConstantInt::get(llvm::Type::Int32Ty, 0));
Chris Lattner5dc08672009-05-08 00:11:50 +00001378 Handlers.push_back(std::make_pair((const ParmVarDecl*) 0, (const Stmt*) 0));
1379 }
1380
1381 // Find which handler was matched.
Chris Lattnerbb422ad2009-05-08 17:36:08 +00001382 llvm::Value *ESelector = CGF.Builder.CreateCall(llvm_eh_selector,
Chris Lattner5dc08672009-05-08 00:11:50 +00001383 ESelArgs.begin(), ESelArgs.end(), "selector");
1384
1385 for (unsigned i = 0, e = Handlers.size(); i != e; ++i) {
1386 const ParmVarDecl *CatchParam = Handlers[i].first;
1387 const Stmt *CatchBody = Handlers[i].second;
1388
1389 llvm::BasicBlock *Next = 0;
1390
1391 // The last handler always matches.
1392 if (i + 1 != e) {
1393 assert(CatchParam && "Only last handler can be a catch all.");
1394
1395 // Test whether this block matches the type for the selector and branch
1396 // to Match if it does, or to the next BB if it doesn't.
1397 llvm::BasicBlock *Match = CGF.createBasicBlock("match");
1398 Next = CGF.createBasicBlock("catch.next");
Chris Lattnerbb422ad2009-05-08 17:36:08 +00001399 llvm::Value *Id = CGF.Builder.CreateCall(llvm_eh_typeid_for,
Chris Lattner5dc08672009-05-08 00:11:50 +00001400 CGF.Builder.CreateBitCast(ESelArgs[i+2], PtrTy));
1401 CGF.Builder.CreateCondBr(CGF.Builder.CreateICmpEQ(ESelector, Id), Match,
1402 Next);
1403
1404 CGF.EmitBlock(Match);
1405 }
1406
1407 if (CatchBody) {
Chris Lattner5dc08672009-05-08 00:11:50 +00001408 llvm::Value *ExcObject = CGF.Builder.CreateBitCast(Exc,
1409 CGF.ConvertType(CatchParam->getType()));
1410
1411 // Bind the catch parameter if it exists.
1412 if (CatchParam) {
1413 // CatchParam is a ParmVarDecl because of the grammar
1414 // construction used to handle this, but for codegen purposes
1415 // we treat this as a local decl.
1416 CGF.EmitLocalBlockVarDecl(*CatchParam);
1417 CGF.Builder.CreateStore(ExcObject, CGF.GetAddrOfLocalVar(CatchParam));
1418 }
1419
1420 CGF.ObjCEHValueStack.push_back(ExcObject);
1421 CGF.EmitStmt(CatchBody);
1422 CGF.ObjCEHValueStack.pop_back();
1423
1424 CGF.EmitBranchThroughCleanup(FinallyEnd);
1425
1426 if (Next)
1427 CGF.EmitBlock(Next);
1428 } else {
1429 assert(!Next && "catchup should be last handler.");
1430
1431 CGF.Builder.CreateStore(Exc, RethrowPtr);
1432 CGF.EmitBranchThroughCleanup(FinallyRethrow);
1433 }
1434 }
Chris Lattnerd6a99072009-05-11 18:16:28 +00001435 // The @finally block is a secondary landing pad for any exceptions thrown in
1436 // @catch() blocks
1437 CGF.EmitBlock(CatchInCatch);
1438 Exc = CGF.Builder.CreateCall(llvm_eh_exception, "exc");
1439 ESelArgs.clear();
1440 ESelArgs.push_back(Exc);
1441 ESelArgs.push_back(Personality);
Owen Anderson4a28d5d2009-07-24 23:12:58 +00001442 ESelArgs.push_back(llvm::ConstantInt::get(llvm::Type::Int32Ty, 0));
Chris Lattnerd6a99072009-05-11 18:16:28 +00001443 CGF.Builder.CreateCall(llvm_eh_selector, ESelArgs.begin(), ESelArgs.end(),
1444 "selector");
1445 CGF.Builder.CreateCall(llvm_eh_typeid_for,
1446 CGF.Builder.CreateIntToPtr(ESelArgs[2], PtrTy));
1447 CGF.Builder.CreateStore(Exc, RethrowPtr);
1448 CGF.EmitBranchThroughCleanup(FinallyRethrow);
1449
Chris Lattner5dc08672009-05-08 00:11:50 +00001450 CodeGenFunction::CleanupBlockInfo Info = CGF.PopCleanupBlock();
1451
1452 CGF.setInvokeDest(PrevLandingPad);
1453
1454 CGF.EmitBlock(FinallyBlock);
1455
Chris Lattnerd6a99072009-05-11 18:16:28 +00001456
Chris Lattner5dc08672009-05-08 00:11:50 +00001457 if (isTry) {
1458 if (const ObjCAtFinallyStmt* FinallyStmt =
1459 cast<ObjCAtTryStmt>(S).getFinallyStmt())
1460 CGF.EmitStmt(FinallyStmt->getFinallyBody());
1461 } else {
Chris Lattnerd6a99072009-05-11 18:16:28 +00001462 // Emit 'objc_sync_exit(expr)' as finally's sole statement for
Chris Lattner5dc08672009-05-08 00:11:50 +00001463 // @synchronized.
Chris Lattnerd6a99072009-05-11 18:16:28 +00001464 std::vector<const llvm::Type*> Args(1, IdTy);
1465 llvm::FunctionType *FTy =
Owen Anderson96e0fc72009-07-29 22:16:19 +00001466 llvm::FunctionType::get(llvm::Type::VoidTy, Args, false);
Chris Lattnerd6a99072009-05-11 18:16:28 +00001467 llvm::Value *SyncExit = CGM.CreateRuntimeFunction(FTy, "objc_sync_exit");
1468 llvm::Value *SyncArg =
1469 CGF.EmitScalarExpr(cast<ObjCAtSynchronizedStmt>(S).getSynchExpr());
1470 SyncArg = CGF.Builder.CreateBitCast(SyncArg, IdTy);
1471 CGF.Builder.CreateCall(SyncExit, SyncArg);
Chris Lattner5dc08672009-05-08 00:11:50 +00001472 }
1473
1474 if (Info.SwitchBlock)
1475 CGF.EmitBlock(Info.SwitchBlock);
1476 if (Info.EndBlock)
1477 CGF.EmitBlock(Info.EndBlock);
1478
1479 // Branch around the rethrow code.
1480 CGF.EmitBranch(FinallyEnd);
1481
1482 CGF.EmitBlock(FinallyRethrow);
1483 CGF.Builder.CreateCall(RethrowFn, CGF.Builder.CreateLoad(RethrowPtr));
1484 CGF.Builder.CreateUnreachable();
1485
1486 CGF.EmitBlock(FinallyEnd);
1487
Anders Carlsson64d5d6c2008-09-09 10:04:29 +00001488}
1489
1490void CGObjCGNU::EmitThrowStmt(CodeGen::CodeGenFunction &CGF,
Daniel Dunbar49f66022008-09-24 03:38:44 +00001491 const ObjCAtThrowStmt &S) {
Chris Lattner5dc08672009-05-08 00:11:50 +00001492 llvm::Value *ExceptionAsObject;
1493
1494 std::vector<const llvm::Type*> Args(1, IdTy);
1495 llvm::FunctionType *FTy =
Owen Anderson96e0fc72009-07-29 22:16:19 +00001496 llvm::FunctionType::get(llvm::Type::VoidTy, Args, false);
Chris Lattner5dc08672009-05-08 00:11:50 +00001497 llvm::Value *ThrowFn =
1498 CGM.CreateRuntimeFunction(FTy, "objc_exception_throw");
1499
1500 if (const Expr *ThrowExpr = S.getThrowExpr()) {
1501 llvm::Value *Exception = CGF.EmitScalarExpr(ThrowExpr);
Fariborz Jahanian1e64a952009-05-17 16:49:27 +00001502 ExceptionAsObject = Exception;
Chris Lattner5dc08672009-05-08 00:11:50 +00001503 } else {
1504 assert((!CGF.ObjCEHValueStack.empty() && CGF.ObjCEHValueStack.back()) &&
1505 "Unexpected rethrow outside @catch block.");
1506 ExceptionAsObject = CGF.ObjCEHValueStack.back();
1507 }
Fariborz Jahanian1e64a952009-05-17 16:49:27 +00001508 ExceptionAsObject =
1509 CGF.Builder.CreateBitCast(ExceptionAsObject, IdTy, "tmp");
Chris Lattner5dc08672009-05-08 00:11:50 +00001510
1511 // Note: This may have to be an invoke, if we want to support constructs like:
1512 // @try {
1513 // @throw(obj);
1514 // }
1515 // @catch(id) ...
1516 //
1517 // This is effectively turning @throw into an incredibly-expensive goto, but
1518 // it may happen as a result of inlining followed by missed optimizations, or
1519 // as a result of stupidity.
1520 llvm::BasicBlock *UnwindBB = CGF.getInvokeDest();
1521 if (!UnwindBB) {
1522 CGF.Builder.CreateCall(ThrowFn, ExceptionAsObject);
1523 CGF.Builder.CreateUnreachable();
1524 } else {
1525 CGF.Builder.CreateInvoke(ThrowFn, UnwindBB, UnwindBB, &ExceptionAsObject,
1526 &ExceptionAsObject+1);
1527 }
1528 // Clear the insertion point to indicate we are in unreachable code.
1529 CGF.Builder.ClearInsertionPoint();
Anders Carlsson64d5d6c2008-09-09 10:04:29 +00001530}
1531
Fariborz Jahanian3e283e32008-11-18 22:37:34 +00001532llvm::Value * CGObjCGNU::EmitObjCWeakRead(CodeGen::CodeGenFunction &CGF,
Fariborz Jahanian6dc23172008-11-18 21:45:40 +00001533 llvm::Value *AddrWeakObj)
1534{
1535 return 0;
1536}
1537
Fariborz Jahanian3e283e32008-11-18 22:37:34 +00001538void CGObjCGNU::EmitObjCWeakAssign(CodeGen::CodeGenFunction &CGF,
1539 llvm::Value *src, llvm::Value *dst)
1540{
1541 return;
1542}
1543
Fariborz Jahanian58626502008-11-19 00:59:10 +00001544void CGObjCGNU::EmitObjCGlobalAssign(CodeGen::CodeGenFunction &CGF,
1545 llvm::Value *src, llvm::Value *dst)
1546{
1547 return;
1548}
1549
Fariborz Jahanian7eda8362008-11-20 19:23:36 +00001550void CGObjCGNU::EmitObjCIvarAssign(CodeGen::CodeGenFunction &CGF,
1551 llvm::Value *src, llvm::Value *dst)
1552{
1553 return;
1554}
1555
Fariborz Jahanian58626502008-11-19 00:59:10 +00001556void CGObjCGNU::EmitObjCStrongCastAssign(CodeGen::CodeGenFunction &CGF,
1557 llvm::Value *src, llvm::Value *dst)
1558{
1559 return;
1560}
1561
Fariborz Jahanian082b02e2009-07-08 01:18:33 +00001562void CGObjCGNU::EmitGCMemmoveCollectable(CodeGen::CodeGenFunction &CGF,
1563 llvm::Value *DestPtr,
1564 llvm::Value *SrcPtr,
1565 unsigned long size) {
1566 return;
1567}
1568
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +00001569llvm::GlobalVariable *CGObjCGNU::ObjCIvarOffsetVariable(
1570 const ObjCInterfaceDecl *ID,
1571 const ObjCIvarDecl *Ivar) {
1572 const std::string Name = "__objc_ivar_offset_" + ID->getNameAsString()
1573 + '.' + Ivar->getNameAsString();
1574 // Emit the variable and initialize it with what we think the correct value
1575 // is. This allows code compiled with non-fragile ivars to work correctly
1576 // when linked against code which isn't (most of the time).
1577 llvm::GlobalVariable *IvarOffsetGV = CGM.getModule().getGlobalVariable(Name);
1578 if (!IvarOffsetGV) {
1579 uint64_t Offset = ComputeIvarBaseOffset(CGM, ID, Ivar);
1580 llvm::ConstantInt *OffsetGuess =
Owen Anderson4a28d5d2009-07-24 23:12:58 +00001581 llvm::ConstantInt::get(LongTy, Offset, "ivar");
Owen Anderson1c431b32009-07-08 19:05:04 +00001582 IvarOffsetGV = new llvm::GlobalVariable(TheModule, LongTy, false,
Chris Lattnerf35271b2009-08-05 05:25:18 +00001583 llvm::GlobalValue::WeakAnyLinkage, OffsetGuess, Name);
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +00001584 }
1585 return IvarOffsetGV;
1586}
1587
Fariborz Jahanian598d3f62009-02-03 19:03:09 +00001588LValue CGObjCGNU::EmitObjCValueForIvar(CodeGen::CodeGenFunction &CGF,
1589 QualType ObjectTy,
1590 llvm::Value *BaseValue,
1591 const ObjCIvarDecl *Ivar,
Fariborz Jahanian598d3f62009-02-03 19:03:09 +00001592 unsigned CVRQualifiers) {
Daniel Dunbar525c9b72009-04-21 01:19:28 +00001593 const ObjCInterfaceDecl *ID = ObjectTy->getAsObjCInterfaceType()->getDecl();
Daniel Dunbar97776872009-04-22 07:32:20 +00001594 return EmitValueForIvarAtOffset(CGF, ID, BaseValue, Ivar, CVRQualifiers,
1595 EmitIvarOffset(CGF, ID, Ivar));
Fariborz Jahanian0bb20362009-02-02 20:02:29 +00001596}
Mike Stumpbb1c8602009-07-31 21:31:32 +00001597
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +00001598static const ObjCInterfaceDecl *FindIvarInterface(ASTContext &Context,
1599 const ObjCInterfaceDecl *OID,
1600 const ObjCIvarDecl *OIVD) {
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +00001601 llvm::SmallVector<ObjCIvarDecl*, 16> Ivars;
Fariborz Jahanian8e6ac1d2009-06-04 01:19:09 +00001602 Context.ShallowCollectObjCIvars(OID, Ivars);
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +00001603 for (unsigned k = 0, e = Ivars.size(); k != e; ++k) {
1604 if (OIVD == Ivars[k])
1605 return OID;
1606 }
1607
1608 // Otherwise check in the super class.
1609 if (const ObjCInterfaceDecl *Super = OID->getSuperClass())
1610 return FindIvarInterface(Context, Super, OIVD);
1611
1612 return 0;
1613}
Fariborz Jahanian0bb20362009-02-02 20:02:29 +00001614
Fariborz Jahanianf63aa3f2009-02-10 19:02:04 +00001615llvm::Value *CGObjCGNU::EmitIvarOffset(CodeGen::CodeGenFunction &CGF,
Daniel Dunbar2a031922009-04-22 05:08:15 +00001616 const ObjCInterfaceDecl *Interface,
Fariborz Jahanianf63aa3f2009-02-10 19:02:04 +00001617 const ObjCIvarDecl *Ivar) {
Mike Stumpbb1c8602009-07-31 21:31:32 +00001618 if (CGF.getContext().getLangOptions().ObjCNonFragileABI) {
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +00001619 Interface = FindIvarInterface(CGM.getContext(), Interface, Ivar);
1620 return CGF.Builder.CreateLoad(ObjCIvarOffsetVariable(Interface, Ivar),
Mike Stumpbb1c8602009-07-31 21:31:32 +00001621 false, "ivar");
Fariborz Jahanian9cd96ff2009-05-20 18:41:51 +00001622 }
Daniel Dunbar97776872009-04-22 07:32:20 +00001623 uint64_t Offset = ComputeIvarBaseOffset(CGF.CGM, Interface, Ivar);
Owen Anderson4a28d5d2009-07-24 23:12:58 +00001624 return llvm::ConstantInt::get(LongTy, Offset, "ivar");
Fariborz Jahanianf63aa3f2009-02-10 19:02:04 +00001625}
1626
Mike Stumpbb1c8602009-07-31 21:31:32 +00001627CodeGen::CGObjCRuntime *
1628CodeGen::CreateGNUObjCRuntime(CodeGen::CodeGenModule &CGM) {
Chris Lattnerdce14062008-06-26 04:19:03 +00001629 return new CGObjCGNU(CGM);
Chris Lattner0f984262008-03-01 08:50:34 +00001630}