blob: ab896cc67503115aadd5a0bce7125e2cdbc94af0 [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"
19#include "clang/AST/ASTContext.h"
Daniel Dunbare91593e2008-08-11 04:54:23 +000020#include "clang/AST/Decl.h"
Chris Lattner0f984262008-03-01 08:50:34 +000021#include "llvm/Module.h"
22#include "llvm/Support/Compiler.h"
Chris Lattner50b36742008-04-13 07:32:11 +000023#include "llvm/Support/IRBuilder.h"
Chris Lattner0f984262008-03-01 08:50:34 +000024#include "llvm/ADT/SmallVector.h"
Anton Korobeynikov20ff3102008-06-01 14:13:53 +000025#include "llvm/ADT/StringMap.h"
26#include <map>
Chris Lattnerdce14062008-06-26 04:19:03 +000027using namespace clang;
Anton Korobeynikov20ff3102008-06-01 14:13:53 +000028using llvm::dyn_cast;
29
30// The version of the runtime that this class targets. Must match the version
31// in the runtime.
32static const int RuntimeVersion = 8;
33static const int ProtocolVersion = 2;
Chris Lattner0f984262008-03-01 08:50:34 +000034
Chris Lattner0f984262008-03-01 08:50:34 +000035namespace {
Chris Lattnerdce14062008-06-26 04:19:03 +000036class CGObjCGNU : public CodeGen::CGObjCRuntime {
Chris Lattner0f984262008-03-01 08:50:34 +000037private:
Chris Lattnerdce14062008-06-26 04:19:03 +000038 CodeGen::CodeGenModule &CGM;
Chris Lattner0f984262008-03-01 08:50:34 +000039 llvm::Module &TheModule;
Anton Korobeynikov20ff3102008-06-01 14:13:53 +000040 const llvm::StructType *SelStructTy;
Chris Lattner391d77a2008-03-30 23:03:07 +000041 const llvm::Type *SelectorTy;
42 const llvm::Type *PtrToInt8Ty;
43 const llvm::Type *IMPTy;
44 const llvm::Type *IdTy;
45 const llvm::Type *IntTy;
46 const llvm::Type *PtrTy;
47 const llvm::Type *LongTy;
48 const llvm::Type *PtrToIntTy;
Anton Korobeynikov20ff3102008-06-01 14:13:53 +000049 std::vector<llvm::Constant*> Classes;
50 std::vector<llvm::Constant*> Categories;
51 std::vector<llvm::Constant*> ConstantStrings;
52 llvm::Function *LoadFunction;
53 llvm::StringMap<llvm::Constant*> ExistingProtocols;
54 typedef std::pair<std::string, std::string> TypedSelector;
55 std::map<TypedSelector, llvm::GlobalAlias*> TypedSelectors;
56 llvm::StringMap<llvm::GlobalAlias*> UntypedSelectors;
57 // Some zeros used for GEPs in lots of places.
58 llvm::Constant *Zeros[2];
59 llvm::Constant *NULLPtr;
60private:
61 llvm::Constant *GenerateIvarList(
62 const llvm::SmallVectorImpl<llvm::Constant *> &IvarNames,
63 const llvm::SmallVectorImpl<llvm::Constant *> &IvarTypes,
64 const llvm::SmallVectorImpl<llvm::Constant *> &IvarOffsets);
65 llvm::Constant *GenerateMethodList(const std::string &ClassName,
66 const std::string &CategoryName,
Chris Lattnera4210072008-06-26 05:08:00 +000067 const llvm::SmallVectorImpl<Selector> &MethodSels,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +000068 const llvm::SmallVectorImpl<llvm::Constant *> &MethodTypes,
69 bool isClassMethodList);
70 llvm::Constant *GenerateProtocolList(
71 const llvm::SmallVectorImpl<std::string> &Protocols);
72 llvm::Constant *GenerateClassStructure(
73 llvm::Constant *MetaClass,
74 llvm::Constant *SuperClass,
75 unsigned info,
Chris Lattnerd002cc62008-06-26 04:47:04 +000076 const char *Name,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +000077 llvm::Constant *Version,
78 llvm::Constant *InstanceSize,
79 llvm::Constant *IVars,
80 llvm::Constant *Methods,
81 llvm::Constant *Protocols);
82 llvm::Constant *GenerateProtocolMethodList(
83 const llvm::SmallVectorImpl<llvm::Constant *> &MethodNames,
84 const llvm::SmallVectorImpl<llvm::Constant *> &MethodTypes);
85 llvm::Constant *MakeConstantString(const std::string &Str, const std::string
86 &Name="");
87 llvm::Constant *MakeGlobal(const llvm::StructType *Ty,
88 std::vector<llvm::Constant*> &V, const std::string &Name="");
89 llvm::Constant *MakeGlobal(const llvm::ArrayType *Ty,
90 std::vector<llvm::Constant*> &V, const std::string &Name="");
Chris Lattner0f984262008-03-01 08:50:34 +000091public:
Chris Lattnerdce14062008-06-26 04:19:03 +000092 CGObjCGNU(CodeGen::CodeGenModule &cgm);
Daniel Dunbarbbce49b2008-08-12 00:12:39 +000093 virtual llvm::Constant *GenerateConstantString(const std::string &String);
Chris Lattner85e35682008-08-08 19:57:58 +000094 virtual llvm::Value *GenerateMessageSend(llvm::IRBuilder<> &Builder,
Chris Lattner0f984262008-03-01 08:50:34 +000095 const llvm::Type *ReturnTy,
Chris Lattner391d77a2008-03-30 23:03:07 +000096 llvm::Value *Sender,
Chris Lattner0f984262008-03-01 08:50:34 +000097 llvm::Value *Receiver,
Chris Lattner9384c762008-06-26 04:42:20 +000098 Selector Sel,
Chris Lattner0f984262008-03-01 08:50:34 +000099 llvm::Value** ArgV,
100 unsigned ArgC);
Chris Lattner85e35682008-08-08 19:57:58 +0000101 virtual llvm::Value *GenerateMessageSendSuper(llvm::IRBuilder<> &Builder,
Chris Lattner8e67b632008-06-26 04:37:12 +0000102 const llvm::Type *ReturnTy,
103 llvm::Value *Sender,
104 const char *SuperClassName,
105 llvm::Value *Receiver,
106 Selector Sel,
107 llvm::Value** ArgV,
108 unsigned ArgC);
Chris Lattner85e35682008-08-08 19:57:58 +0000109 virtual llvm::Value *LookupClass(llvm::IRBuilder<> &Builder,
Chris Lattner9384c762008-06-26 04:42:20 +0000110 llvm::Value *ClassName);
Chris Lattner85e35682008-08-08 19:57:58 +0000111 virtual llvm::Value *GetSelector(llvm::IRBuilder<> &Builder, Selector Sel);
Chris Lattner8e67b632008-06-26 04:37:12 +0000112
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000113 virtual llvm::Function *MethodPreamble(
114 const std::string &ClassName,
115 const std::string &CategoryName,
116 const std::string &MethodName,
117 const llvm::Type *ReturnTy,
118 const llvm::Type *SelfTy,
119 const llvm::Type **ArgTy,
120 unsigned ArgC,
121 bool isClassMethod,
122 bool isVarArg);
123 virtual void GenerateCategory(const char *ClassName, const char *CategoryName,
Chris Lattnera4210072008-06-26 05:08:00 +0000124 const llvm::SmallVectorImpl<Selector> &InstanceMethodSels,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000125 const llvm::SmallVectorImpl<llvm::Constant *> &InstanceMethodTypes,
Chris Lattnera4210072008-06-26 05:08:00 +0000126 const llvm::SmallVectorImpl<Selector> &ClassMethodSels,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000127 const llvm::SmallVectorImpl<llvm::Constant *> &ClassMethodTypes,
128 const llvm::SmallVectorImpl<std::string> &Protocols);
129 virtual void GenerateClass(
130 const char *ClassName,
131 const char *SuperClassName,
132 const int instanceSize,
133 const llvm::SmallVectorImpl<llvm::Constant *> &IvarNames,
134 const llvm::SmallVectorImpl<llvm::Constant *> &IvarTypes,
135 const llvm::SmallVectorImpl<llvm::Constant *> &IvarOffsets,
Chris Lattnera4210072008-06-26 05:08:00 +0000136 const llvm::SmallVectorImpl<Selector> &InstanceMethodSels,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000137 const llvm::SmallVectorImpl<llvm::Constant *> &InstanceMethodTypes,
Chris Lattnera4210072008-06-26 05:08:00 +0000138 const llvm::SmallVectorImpl<Selector> &ClassMethodSels,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000139 const llvm::SmallVectorImpl<llvm::Constant *> &ClassMethodTypes,
140 const llvm::SmallVectorImpl<std::string> &Protocols);
Chris Lattner85e35682008-08-08 19:57:58 +0000141 virtual llvm::Value *GenerateProtocolRef(llvm::IRBuilder<> &Builder,
142 const char *ProtocolName);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000143 virtual void GenerateProtocol(const char *ProtocolName,
144 const llvm::SmallVectorImpl<std::string> &Protocols,
145 const llvm::SmallVectorImpl<llvm::Constant *> &InstanceMethodNames,
146 const llvm::SmallVectorImpl<llvm::Constant *> &InstanceMethodTypes,
147 const llvm::SmallVectorImpl<llvm::Constant *> &ClassMethodNames,
148 const llvm::SmallVectorImpl<llvm::Constant *> &ClassMethodTypes);
149 virtual llvm::Function *ModuleInitFunction();
Chris Lattner0f984262008-03-01 08:50:34 +0000150};
151} // end anonymous namespace
152
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000153
154
155static std::string SymbolNameForClass(const std::string &ClassName) {
156 return ".objc_class_" + ClassName;
157}
158
159static std::string SymbolNameForMethod(const std::string &ClassName, const
160 std::string &CategoryName, const std::string &MethodName, bool isClassMethod)
161{
162 return "._objc_method_" + ClassName +"("+CategoryName+")"+
163 (isClassMethod ? "+" : "-") + MethodName;
164}
165
Chris Lattnerdce14062008-06-26 04:19:03 +0000166CGObjCGNU::CGObjCGNU(CodeGen::CodeGenModule &cgm)
167 : CGM(cgm), TheModule(CGM.getModule()) {
168 IntTy = CGM.getTypes().ConvertType(CGM.getContext().IntTy);
169 LongTy = CGM.getTypes().ConvertType(CGM.getContext().LongTy);
170
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000171 Zeros[0] = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0);
172 Zeros[1] = Zeros[0];
173 NULLPtr = llvm::ConstantPointerNull::get(
174 llvm::PointerType::getUnqual(llvm::Type::Int8Ty));
Chris Lattner391d77a2008-03-30 23:03:07 +0000175 // C string type. Used in lots of places.
176 PtrToInt8Ty =
177 llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
178 // Get the selector Type.
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000179 SelStructTy = llvm::StructType::get(
Chris Lattner391d77a2008-03-30 23:03:07 +0000180 PtrToInt8Ty,
181 PtrToInt8Ty,
182 NULL);
183 SelectorTy = llvm::PointerType::getUnqual(SelStructTy);
184 PtrToIntTy = llvm::PointerType::getUnqual(IntTy);
185 PtrTy = PtrToInt8Ty;
186
187 // Object type
188 llvm::PATypeHolder OpaqueObjTy = llvm::OpaqueType::get();
189 llvm::Type *OpaqueIdTy = llvm::PointerType::getUnqual(OpaqueObjTy);
190 IdTy = llvm::StructType::get(OpaqueIdTy, NULL);
191 llvm::cast<llvm::OpaqueType>(OpaqueObjTy.get())->refineAbstractTypeTo(IdTy);
192 IdTy = llvm::cast<llvm::StructType>(OpaqueObjTy.get());
193 IdTy = llvm::PointerType::getUnqual(IdTy);
194
195 // IMP type
196 std::vector<const llvm::Type*> IMPArgs;
197 IMPArgs.push_back(IdTy);
198 IMPArgs.push_back(SelectorTy);
199 IMPTy = llvm::FunctionType::get(IdTy, IMPArgs, true);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000200}
201// This has to perform the lookup every time, since posing and related
202// techniques can modify the name -> class mapping.
Chris Lattner85e35682008-08-08 19:57:58 +0000203llvm::Value *CGObjCGNU::LookupClass(llvm::IRBuilder<> &Builder,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000204 llvm::Value *ClassName) {
205 llvm::Constant *ClassLookupFn =
206 TheModule.getOrInsertFunction("objc_lookup_class", IdTy, PtrToInt8Ty,
207 NULL);
208 return Builder.CreateCall(ClassLookupFn, ClassName);
Chris Lattner391d77a2008-03-30 23:03:07 +0000209}
210
Chris Lattner8e67b632008-06-26 04:37:12 +0000211/// GetSelector - Return the pointer to the unique'd string for this selector.
Chris Lattner85e35682008-08-08 19:57:58 +0000212llvm::Value *CGObjCGNU::GetSelector(llvm::IRBuilder<> &Builder, Selector Sel) {
Chris Lattner8e67b632008-06-26 04:37:12 +0000213 // FIXME: uniquing on the string is wasteful, unique on Sel instead!
214 llvm::GlobalAlias *&US = UntypedSelectors[Sel.getName()];
215 if (US == 0)
216 US = new llvm::GlobalAlias(llvm::PointerType::getUnqual(SelectorTy),
217 llvm::GlobalValue::InternalLinkage,
218 ".objc_untyped_selector_alias",
219 NULL, &TheModule);
220
221 return Builder.CreateLoad(US);
222
223}
224
Chris Lattner5e7dcc62008-06-26 04:44:19 +0000225llvm::Constant *CGObjCGNU::MakeConstantString(const std::string &Str,
226 const std::string &Name) {
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000227 llvm::Constant * ConstStr = llvm::ConstantArray::get(Str);
228 ConstStr = new llvm::GlobalVariable(ConstStr->getType(), true,
229 llvm::GlobalValue::InternalLinkage,
230 ConstStr, Name, &TheModule);
231 return llvm::ConstantExpr::getGetElementPtr(ConstStr, Zeros, 2);
232}
233llvm::Constant *CGObjCGNU::MakeGlobal(const llvm::StructType *Ty,
234 std::vector<llvm::Constant*> &V, const std::string &Name) {
235 llvm::Constant *C = llvm::ConstantStruct::get(Ty, V);
236 return new llvm::GlobalVariable(Ty, false,
237 llvm::GlobalValue::InternalLinkage, C, Name, &TheModule);
238}
239llvm::Constant *CGObjCGNU::MakeGlobal(const llvm::ArrayType *Ty,
240 std::vector<llvm::Constant*> &V, const std::string &Name) {
241 llvm::Constant *C = llvm::ConstantArray::get(Ty, V);
242 return new llvm::GlobalVariable(Ty, false,
243 llvm::GlobalValue::InternalLinkage, C, Name, &TheModule);
244}
245
246/// Generate an NSConstantString object.
247//TODO: In case there are any crazy people still using the GNU runtime without
248//an OpenStep implementation, this should let them select their own class for
249//constant strings.
Daniel Dunbarbbce49b2008-08-12 00:12:39 +0000250llvm::Constant *CGObjCGNU::GenerateConstantString(const std::string &Str) {
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000251 std::vector<llvm::Constant*> Ivars;
252 Ivars.push_back(NULLPtr);
Chris Lattner13fd7e52008-06-21 21:44:18 +0000253 Ivars.push_back(MakeConstantString(Str));
Daniel Dunbarbbce49b2008-08-12 00:12:39 +0000254 Ivars.push_back(llvm::ConstantInt::get(IntTy, Str.size()));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000255 llvm::Constant *ObjCStr = MakeGlobal(
256 llvm::StructType::get(PtrToInt8Ty, PtrToInt8Ty, IntTy, NULL),
257 Ivars, ".objc_str");
258 ConstantStrings.push_back(
259 llvm::ConstantExpr::getBitCast(ObjCStr, PtrToInt8Ty));
260 return ObjCStr;
261}
262
263///Generates a message send where the super is the receiver. This is a message
264///send to self with special delivery semantics indicating which class's method
265///should be called.
Chris Lattner85e35682008-08-08 19:57:58 +0000266llvm::Value *CGObjCGNU::GenerateMessageSendSuper(llvm::IRBuilder<> &Builder,
Chris Lattner8e67b632008-06-26 04:37:12 +0000267 const llvm::Type *ReturnTy,
268 llvm::Value *Sender,
269 const char *SuperClassName,
270 llvm::Value *Receiver,
271 Selector Sel,
272 llvm::Value** ArgV,
273 unsigned ArgC) {
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000274 // TODO: This should be cached, not looked up every time.
275 llvm::Value *ReceiverClass = LookupClass(Builder,
276 MakeConstantString(SuperClassName));
Chris Lattner8e67b632008-06-26 04:37:12 +0000277 llvm::Value *cmd = GetSelector(Builder, Sel);
Chris Lattner0f984262008-03-01 08:50:34 +0000278 std::vector<const llvm::Type*> impArgTypes;
279 impArgTypes.push_back(Receiver->getType());
Chris Lattner391d77a2008-03-30 23:03:07 +0000280 impArgTypes.push_back(SelectorTy);
Chris Lattner0f984262008-03-01 08:50:34 +0000281
282 // Avoid an explicit cast on the IMP by getting a version that has the right
283 // return type.
284 llvm::FunctionType *impType = llvm::FunctionType::get(ReturnTy, impArgTypes,
285 true);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000286 // Construct the structure used to look up the IMP
287 llvm::StructType *ObjCSuperTy = llvm::StructType::get(Receiver->getType(),
288 IdTy, NULL);
289 llvm::Value *ObjCSuper = Builder.CreateAlloca(ObjCSuperTy);
Eli Friedman1e692ac2008-06-13 23:01:12 +0000290 // FIXME: volatility
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000291 Builder.CreateStore(Receiver, Builder.CreateStructGEP(ObjCSuper, 0));
292 Builder.CreateStore(ReceiverClass, Builder.CreateStructGEP(ObjCSuper, 1));
293
294 // Get the IMP
295 llvm::Constant *lookupFunction =
296 TheModule.getOrInsertFunction("objc_msg_lookup_super",
297 llvm::PointerType::getUnqual(impType),
298 llvm::PointerType::getUnqual(ObjCSuperTy),
299 SelectorTy, NULL);
300 llvm::Value *lookupArgs[] = {ObjCSuper, cmd};
301 llvm::Value *imp = Builder.CreateCall(lookupFunction, lookupArgs,
302 lookupArgs+2);
303
304 // Call the method
305 llvm::SmallVector<llvm::Value*, 8> callArgs;
306 callArgs.push_back(Receiver);
307 callArgs.push_back(cmd);
308 callArgs.insert(callArgs.end(), ArgV, ArgV+ArgC);
309 return Builder.CreateCall(imp, callArgs.begin(), callArgs.end());
310}
311
312/// Generate code for a message send expression.
Chris Lattner85e35682008-08-08 19:57:58 +0000313llvm::Value *CGObjCGNU::GenerateMessageSend(llvm::IRBuilder<> &Builder,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000314 const llvm::Type *ReturnTy,
315 llvm::Value *Sender,
316 llvm::Value *Receiver,
Chris Lattner9384c762008-06-26 04:42:20 +0000317 Selector Sel,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000318 llvm::Value** ArgV,
319 unsigned ArgC) {
Chris Lattner9384c762008-06-26 04:42:20 +0000320 llvm::Value *cmd = GetSelector(Builder, Sel);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000321
322 // Look up the method implementation.
323 std::vector<const llvm::Type*> impArgTypes;
324 const llvm::Type *RetTy;
325 //TODO: Revisit this when LLVM supports aggregate return types.
326 if (ReturnTy->isSingleValueType() && ReturnTy != llvm::Type::VoidTy) {
327 RetTy = ReturnTy;
328 } else {
329 // For struct returns allocate the space in the caller and pass it up to
330 // the sender.
331 RetTy = llvm::Type::VoidTy;
332 impArgTypes.push_back(llvm::PointerType::getUnqual(ReturnTy));
333 }
334 impArgTypes.push_back(Receiver->getType());
335 impArgTypes.push_back(SelectorTy);
336
337 // Avoid an explicit cast on the IMP by getting a version that has the right
338 // return type.
339 llvm::FunctionType *impType = llvm::FunctionType::get(RetTy, impArgTypes,
340 true);
Chris Lattner0f984262008-03-01 08:50:34 +0000341
342 llvm::Constant *lookupFunction =
343 TheModule.getOrInsertFunction("objc_msg_lookup",
Chris Lattner391d77a2008-03-30 23:03:07 +0000344 llvm::PointerType::getUnqual(impType),
345 Receiver->getType(), SelectorTy, NULL);
Chris Lattner3eae03e2008-05-06 00:56:42 +0000346 llvm::Value *imp = Builder.CreateCall2(lookupFunction, Receiver, cmd);
347
348 // Call the method.
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000349 llvm::SmallVector<llvm::Value*, 16> Args;
350 if (!ReturnTy->isSingleValueType()) {
351 llvm::Value *Return = Builder.CreateAlloca(ReturnTy);
352 Args.push_back(Return);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000353 }
354 Args.push_back(Receiver);
355 Args.push_back(cmd);
356 Args.insert(Args.end(), ArgV, ArgV+ArgC);
Chris Lattner8fdf3282008-06-24 17:04:18 +0000357 if (!ReturnTy->isSingleValueType()) {
358 Builder.CreateCall(imp, Args.begin(), Args.end());
359 return Args[0];
360 }
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000361 return Builder.CreateCall(imp, Args.begin(), Args.end());
Chris Lattner0f984262008-03-01 08:50:34 +0000362}
363
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000364/// Generates a MethodList. Used in construction of a objc_class and
365/// objc_category structures.
366llvm::Constant *CGObjCGNU::GenerateMethodList(const std::string &ClassName,
Chris Lattnera4210072008-06-26 05:08:00 +0000367 const std::string &CategoryName,
368 const llvm::SmallVectorImpl<Selector> &MethodSels,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000369 const llvm::SmallVectorImpl<llvm::Constant *> &MethodTypes,
370 bool isClassMethodList) {
371 // Get the method structure type.
372 llvm::StructType *ObjCMethodTy = llvm::StructType::get(
373 PtrToInt8Ty, // Really a selector, but the runtime creates it us.
374 PtrToInt8Ty, // Method types
375 llvm::PointerType::getUnqual(IMPTy), //Method pointer
376 NULL);
377 std::vector<llvm::Constant*> Methods;
378 std::vector<llvm::Constant*> Elements;
379 for (unsigned int i = 0, e = MethodTypes.size(); i < e; ++i) {
380 Elements.clear();
Chris Lattnera4210072008-06-26 05:08:00 +0000381 llvm::Constant *C = CGM.GetAddrOfConstantString(MethodSels[i].getName());
382 Elements.push_back(llvm::ConstantExpr::getGetElementPtr(C, Zeros, 2));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000383 Elements.push_back(
384 llvm::ConstantExpr::getGetElementPtr(MethodTypes[i], Zeros, 2));
385 llvm::Constant *Method =
386 TheModule.getFunction(SymbolNameForMethod(ClassName, CategoryName,
Chris Lattnera4210072008-06-26 05:08:00 +0000387 MethodSels[i].getName(),
Chris Lattner550b8db2008-06-26 04:05:20 +0000388 isClassMethodList));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000389 Method = llvm::ConstantExpr::getBitCast(Method,
390 llvm::PointerType::getUnqual(IMPTy));
391 Elements.push_back(Method);
392 Methods.push_back(llvm::ConstantStruct::get(ObjCMethodTy, Elements));
393 }
394
395 // Array of method structures
396 llvm::ArrayType *ObjCMethodArrayTy = llvm::ArrayType::get(ObjCMethodTy,
Chris Lattnera4210072008-06-26 05:08:00 +0000397 MethodSels.size());
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000398 llvm::Constant *MethodArray = llvm::ConstantArray::get(ObjCMethodArrayTy,
Chris Lattnerfba67632008-06-26 04:52:29 +0000399 Methods);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000400
401 // Structure containing list pointer, array and array count
402 llvm::SmallVector<const llvm::Type*, 16> ObjCMethodListFields;
403 llvm::PATypeHolder OpaqueNextTy = llvm::OpaqueType::get();
404 llvm::Type *NextPtrTy = llvm::PointerType::getUnqual(OpaqueNextTy);
405 llvm::StructType *ObjCMethodListTy = llvm::StructType::get(NextPtrTy,
406 IntTy,
407 ObjCMethodArrayTy,
408 NULL);
409 // Refine next pointer type to concrete type
410 llvm::cast<llvm::OpaqueType>(
411 OpaqueNextTy.get())->refineAbstractTypeTo(ObjCMethodListTy);
412 ObjCMethodListTy = llvm::cast<llvm::StructType>(OpaqueNextTy.get());
413
414 Methods.clear();
415 Methods.push_back(llvm::ConstantPointerNull::get(
416 llvm::PointerType::getUnqual(ObjCMethodListTy)));
417 Methods.push_back(llvm::ConstantInt::get(llvm::Type::Int32Ty,
418 MethodTypes.size()));
419 Methods.push_back(MethodArray);
420
421 // Create an instance of the structure
422 return MakeGlobal(ObjCMethodListTy, Methods, ".objc_method_list");
423}
424
425/// Generates an IvarList. Used in construction of a objc_class.
426llvm::Constant *CGObjCGNU::GenerateIvarList(
427 const llvm::SmallVectorImpl<llvm::Constant *> &IvarNames,
428 const llvm::SmallVectorImpl<llvm::Constant *> &IvarTypes,
429 const llvm::SmallVectorImpl<llvm::Constant *> &IvarOffsets) {
430 // Get the method structure type.
431 llvm::StructType *ObjCIvarTy = llvm::StructType::get(
432 PtrToInt8Ty,
433 PtrToInt8Ty,
434 IntTy,
435 NULL);
436 std::vector<llvm::Constant*> Ivars;
437 std::vector<llvm::Constant*> Elements;
438 for (unsigned int i = 0, e = IvarNames.size() ; i < e ; i++) {
439 Elements.clear();
440 Elements.push_back( llvm::ConstantExpr::getGetElementPtr(IvarNames[i],
441 Zeros, 2));
442 Elements.push_back( llvm::ConstantExpr::getGetElementPtr(IvarTypes[i],
443 Zeros, 2));
444 Elements.push_back(IvarOffsets[i]);
445 Ivars.push_back(llvm::ConstantStruct::get(ObjCIvarTy, Elements));
446 }
447
448 // Array of method structures
449 llvm::ArrayType *ObjCIvarArrayTy = llvm::ArrayType::get(ObjCIvarTy,
450 IvarNames.size());
451
452
453 Elements.clear();
454 Elements.push_back(llvm::ConstantInt::get(
455 llvm::cast<llvm::IntegerType>(IntTy), (int)IvarNames.size()));
456 Elements.push_back(llvm::ConstantArray::get(ObjCIvarArrayTy, Ivars));
457 // Structure containing array and array count
458 llvm::StructType *ObjCIvarListTy = llvm::StructType::get(IntTy,
459 ObjCIvarArrayTy,
460 NULL);
461
462 // Create an instance of the structure
463 return MakeGlobal(ObjCIvarListTy, Elements, ".objc_ivar_list");
464}
465
466/// Generate a class structure
467llvm::Constant *CGObjCGNU::GenerateClassStructure(
468 llvm::Constant *MetaClass,
469 llvm::Constant *SuperClass,
470 unsigned info,
Chris Lattnerd002cc62008-06-26 04:47:04 +0000471 const char *Name,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000472 llvm::Constant *Version,
473 llvm::Constant *InstanceSize,
474 llvm::Constant *IVars,
475 llvm::Constant *Methods,
476 llvm::Constant *Protocols) {
477 // Set up the class structure
478 // Note: Several of these are char*s when they should be ids. This is
479 // because the runtime performs this translation on load.
480 llvm::StructType *ClassTy = llvm::StructType::get(
481 PtrToInt8Ty, // class_pointer
482 PtrToInt8Ty, // super_class
483 PtrToInt8Ty, // name
484 LongTy, // version
485 LongTy, // info
486 LongTy, // instance_size
487 IVars->getType(), // ivars
488 Methods->getType(), // methods
489 // These are all filled in by the runtime, so we pretend
490 PtrTy, // dtable
491 PtrTy, // subclass_list
492 PtrTy, // sibling_class
493 PtrTy, // protocols
494 PtrTy, // gc_object_type
495 NULL);
496 llvm::Constant *Zero = llvm::ConstantInt::get(LongTy, 0);
497 llvm::Constant *NullP =
498 llvm::ConstantPointerNull::get(llvm::cast<llvm::PointerType>(PtrTy));
499 // Fill in the structure
500 std::vector<llvm::Constant*> Elements;
501 Elements.push_back(llvm::ConstantExpr::getBitCast(MetaClass, PtrToInt8Ty));
502 Elements.push_back(SuperClass);
Chris Lattnerd002cc62008-06-26 04:47:04 +0000503 Elements.push_back(MakeConstantString(Name, ".class_name"));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000504 Elements.push_back(Zero);
505 Elements.push_back(llvm::ConstantInt::get(LongTy, info));
506 Elements.push_back(InstanceSize);
507 Elements.push_back(IVars);
508 Elements.push_back(Methods);
509 Elements.push_back(NullP);
510 Elements.push_back(NullP);
511 Elements.push_back(NullP);
512 Elements.push_back(llvm::ConstantExpr::getBitCast(Protocols, PtrTy));
513 Elements.push_back(NullP);
514 // Create an instance of the structure
Chris Lattner1565e032008-07-21 06:31:05 +0000515 return MakeGlobal(ClassTy, Elements, SymbolNameForClass(Name));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000516}
517
518llvm::Constant *CGObjCGNU::GenerateProtocolMethodList(
519 const llvm::SmallVectorImpl<llvm::Constant *> &MethodNames,
520 const llvm::SmallVectorImpl<llvm::Constant *> &MethodTypes) {
521 // Get the method structure type.
522 llvm::StructType *ObjCMethodDescTy = llvm::StructType::get(
523 PtrToInt8Ty, // Really a selector, but the runtime does the casting for us.
524 PtrToInt8Ty,
525 NULL);
526 std::vector<llvm::Constant*> Methods;
527 std::vector<llvm::Constant*> Elements;
528 for (unsigned int i = 0, e = MethodTypes.size() ; i < e ; i++) {
529 Elements.clear();
530 Elements.push_back( llvm::ConstantExpr::getGetElementPtr(MethodNames[i],
531 Zeros, 2));
532 Elements.push_back(
533 llvm::ConstantExpr::getGetElementPtr(MethodTypes[i], Zeros, 2));
534 Methods.push_back(llvm::ConstantStruct::get(ObjCMethodDescTy, Elements));
535 }
536 llvm::ArrayType *ObjCMethodArrayTy = llvm::ArrayType::get(ObjCMethodDescTy,
537 MethodNames.size());
538 llvm::Constant *Array = llvm::ConstantArray::get(ObjCMethodArrayTy, Methods);
539 llvm::StructType *ObjCMethodDescListTy = llvm::StructType::get(
540 IntTy, ObjCMethodArrayTy, NULL);
541 Methods.clear();
542 Methods.push_back(llvm::ConstantInt::get(IntTy, MethodNames.size()));
543 Methods.push_back(Array);
544 return MakeGlobal(ObjCMethodDescListTy, Methods, ".objc_method_list");
545}
546// Create the protocol list structure used in classes, categories and so on
547llvm::Constant *CGObjCGNU::GenerateProtocolList(
548 const llvm::SmallVectorImpl<std::string> &Protocols) {
549 llvm::ArrayType *ProtocolArrayTy = llvm::ArrayType::get(PtrToInt8Ty,
550 Protocols.size());
551 llvm::StructType *ProtocolListTy = llvm::StructType::get(
552 PtrTy, //Should be a recurisve pointer, but it's always NULL here.
553 LongTy,//FIXME: Should be size_t
554 ProtocolArrayTy,
555 NULL);
556 std::vector<llvm::Constant*> Elements;
557 for (const std::string *iter = Protocols.begin(), *endIter = Protocols.end();
558 iter != endIter ; iter++) {
559 llvm::Constant *Ptr =
560 llvm::ConstantExpr::getBitCast(ExistingProtocols[*iter], PtrToInt8Ty);
561 Elements.push_back(Ptr);
562 }
563 llvm::Constant * ProtocolArray = llvm::ConstantArray::get(ProtocolArrayTy,
564 Elements);
565 Elements.clear();
566 Elements.push_back(NULLPtr);
567 Elements.push_back(llvm::ConstantInt::get(
568 llvm::cast<llvm::IntegerType>(LongTy), Protocols.size()));
569 Elements.push_back(ProtocolArray);
570 return MakeGlobal(ProtocolListTy, Elements, ".objc_protocol_list");
571}
572
Chris Lattner85e35682008-08-08 19:57:58 +0000573llvm::Value *CGObjCGNU::GenerateProtocolRef(llvm::IRBuilder<> &Builder, const
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000574 char *ProtocolName) {
575 return ExistingProtocols[ProtocolName];
576}
577
578void CGObjCGNU::GenerateProtocol(const char *ProtocolName,
579 const llvm::SmallVectorImpl<std::string> &Protocols,
580 const llvm::SmallVectorImpl<llvm::Constant *> &InstanceMethodNames,
581 const llvm::SmallVectorImpl<llvm::Constant *> &InstanceMethodTypes,
582 const llvm::SmallVectorImpl<llvm::Constant *> &ClassMethodNames,
583 const llvm::SmallVectorImpl<llvm::Constant *> &ClassMethodTypes) {
584
585 llvm::Constant *ProtocolList = GenerateProtocolList(Protocols);
586 llvm::Constant *InstanceMethodList =
587 GenerateProtocolMethodList(InstanceMethodNames, InstanceMethodTypes);
588 llvm::Constant *ClassMethodList =
589 GenerateProtocolMethodList(ClassMethodNames, ClassMethodTypes);
590 // Protocols are objects containing lists of the methods implemented and
591 // protocols adopted.
592 llvm::StructType *ProtocolTy = llvm::StructType::get(IdTy,
593 PtrToInt8Ty,
594 ProtocolList->getType(),
595 InstanceMethodList->getType(),
596 ClassMethodList->getType(),
597 NULL);
598 std::vector<llvm::Constant*> Elements;
599 // The isa pointer must be set to a magic number so the runtime knows it's
600 // the correct layout.
601 Elements.push_back(llvm::ConstantExpr::getIntToPtr(
602 llvm::ConstantInt::get(llvm::Type::Int32Ty, ProtocolVersion), IdTy));
603 Elements.push_back(MakeConstantString(ProtocolName, ".objc_protocol_name"));
604 Elements.push_back(ProtocolList);
605 Elements.push_back(InstanceMethodList);
606 Elements.push_back(ClassMethodList);
607 ExistingProtocols[ProtocolName] =
608 llvm::ConstantExpr::getBitCast(MakeGlobal(ProtocolTy, Elements,
609 ".objc_protocol"), IdTy);
610}
611
612void CGObjCGNU::GenerateCategory(
613 const char *ClassName,
614 const char *CategoryName,
Chris Lattnera4210072008-06-26 05:08:00 +0000615 const llvm::SmallVectorImpl<Selector> &InstanceMethodSels,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000616 const llvm::SmallVectorImpl<llvm::Constant *> &InstanceMethodTypes,
Chris Lattnera4210072008-06-26 05:08:00 +0000617 const llvm::SmallVectorImpl<Selector> &ClassMethodSels,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000618 const llvm::SmallVectorImpl<llvm::Constant *> &ClassMethodTypes,
619 const llvm::SmallVectorImpl<std::string> &Protocols) {
620 std::vector<llvm::Constant*> Elements;
621 Elements.push_back(MakeConstantString(CategoryName));
622 Elements.push_back(MakeConstantString(ClassName));
623 // Instance method list
624 Elements.push_back(llvm::ConstantExpr::getBitCast(GenerateMethodList(
Chris Lattnera4210072008-06-26 05:08:00 +0000625 ClassName, CategoryName, InstanceMethodSels, InstanceMethodTypes,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000626 false), PtrTy));
627 // Class method list
628 Elements.push_back(llvm::ConstantExpr::getBitCast(GenerateMethodList(
Chris Lattnera4210072008-06-26 05:08:00 +0000629 ClassName, CategoryName, ClassMethodSels, ClassMethodTypes, true),
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000630 PtrTy));
631 // Protocol list
632 Elements.push_back(llvm::ConstantExpr::getBitCast(
633 GenerateProtocolList(Protocols), PtrTy));
634 Categories.push_back(llvm::ConstantExpr::getBitCast(
635 MakeGlobal(llvm::StructType::get(PtrToInt8Ty, PtrToInt8Ty, PtrTy,
636 PtrTy, PtrTy, NULL), Elements), PtrTy));
637}
638void CGObjCGNU::GenerateClass(
639 const char *ClassName,
640 const char *SuperClassName,
641 const int instanceSize,
642 const llvm::SmallVectorImpl<llvm::Constant *> &IvarNames,
643 const llvm::SmallVectorImpl<llvm::Constant *> &IvarTypes,
644 const llvm::SmallVectorImpl<llvm::Constant *> &IvarOffsets,
Chris Lattnera4210072008-06-26 05:08:00 +0000645 const llvm::SmallVectorImpl<Selector> &InstanceMethodSels,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000646 const llvm::SmallVectorImpl<llvm::Constant *> &InstanceMethodTypes,
Chris Lattnera4210072008-06-26 05:08:00 +0000647 const llvm::SmallVectorImpl<Selector> &ClassMethodSels,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000648 const llvm::SmallVectorImpl<llvm::Constant *> &ClassMethodTypes,
649 const llvm::SmallVectorImpl<std::string> &Protocols) {
650 // Get the superclass pointer.
651 llvm::Constant *SuperClass;
652 if (SuperClassName) {
653 SuperClass = MakeConstantString(SuperClassName, ".super_class_name");
654 } else {
655 SuperClass = llvm::ConstantPointerNull::get(
656 llvm::cast<llvm::PointerType>(PtrToInt8Ty));
657 }
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000658 // Empty vector used to construct empty method lists
659 llvm::SmallVector<llvm::Constant*, 1> empty;
660 // Generate the method and instance variable lists
661 llvm::Constant *MethodList = GenerateMethodList(ClassName, "",
Chris Lattnera4210072008-06-26 05:08:00 +0000662 InstanceMethodSels, InstanceMethodTypes, false);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000663 llvm::Constant *ClassMethodList = GenerateMethodList(ClassName, "",
Chris Lattnera4210072008-06-26 05:08:00 +0000664 ClassMethodSels, ClassMethodTypes, true);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000665 llvm::Constant *IvarList = GenerateIvarList(IvarNames, IvarTypes,
666 IvarOffsets);
667 //Generate metaclass for class methods
668 llvm::Constant *MetaClassStruct = GenerateClassStructure(NULLPtr,
Chris Lattner1565e032008-07-21 06:31:05 +0000669 NULLPtr, 0x2L, /*name*/"", 0, Zeros[0], GenerateIvarList(
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000670 empty, empty, empty), ClassMethodList, NULLPtr);
671 // Generate the class structure
672 llvm::Constant *ClassStruct = GenerateClassStructure(MetaClassStruct,
Chris Lattnerd002cc62008-06-26 04:47:04 +0000673 SuperClass, 0x1L, ClassName, 0,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000674 llvm::ConstantInt::get(llvm::Type::Int32Ty, instanceSize), IvarList,
675 MethodList, GenerateProtocolList(Protocols));
676 // Add class structure to list to be added to the symtab later
677 ClassStruct = llvm::ConstantExpr::getBitCast(ClassStruct, PtrToInt8Ty);
678 Classes.push_back(ClassStruct);
679}
680
681llvm::Function *CGObjCGNU::ModuleInitFunction() {
682 // Only emit an ObjC load function if no Objective-C stuff has been called
683 if (Classes.empty() && Categories.empty() && ConstantStrings.empty() &&
684 ExistingProtocols.empty() && TypedSelectors.empty() &&
Anton Korobeynikov5f58b912008-06-01 15:14:46 +0000685 UntypedSelectors.empty())
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000686 return NULL;
Eli Friedman1b8956e2008-06-01 16:00:02 +0000687
688 // Name the ObjC types to make the IR a bit easier to read
689 TheModule.addTypeName(".objc_selector", SelectorTy);
690 TheModule.addTypeName(".objc_id", IdTy);
691 TheModule.addTypeName(".objc_imp", IMPTy);
692
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000693 std::vector<llvm::Constant*> Elements;
694 // Generate statics list:
695 llvm::ArrayType *StaticsArrayTy = llvm::ArrayType::get(PtrToInt8Ty,
696 ConstantStrings.size() + 1);
697 ConstantStrings.push_back(NULLPtr);
698 Elements.push_back(MakeConstantString("NSConstantString",
699 ".objc_static_class_name"));
700 Elements.push_back(llvm::ConstantArray::get(StaticsArrayTy, ConstantStrings));
701 llvm::StructType *StaticsListTy =
702 llvm::StructType::get(PtrToInt8Ty, StaticsArrayTy, NULL);
Chris Lattner630404b2008-06-26 04:10:42 +0000703 llvm::Type *StaticsListPtrTy = llvm::PointerType::getUnqual(StaticsListTy);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000704 llvm::Constant *Statics =
705 MakeGlobal(StaticsListTy, Elements, ".objc_statics");
Chris Lattner4e0b2642008-06-24 17:01:28 +0000706 llvm::ArrayType *StaticsListArrayTy =
Chris Lattner630404b2008-06-26 04:10:42 +0000707 llvm::ArrayType::get(StaticsListPtrTy, 2);
Chris Lattner4e0b2642008-06-24 17:01:28 +0000708 Elements.clear();
709 Elements.push_back(Statics);
Chris Lattner630404b2008-06-26 04:10:42 +0000710 Elements.push_back(llvm::Constant::getNullValue(StaticsListPtrTy));
Chris Lattner4e0b2642008-06-24 17:01:28 +0000711 Statics = MakeGlobal(StaticsListArrayTy, Elements, ".objc_statics_ptr");
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000712 Statics = llvm::ConstantExpr::getBitCast(Statics, PtrTy);
713 // Array of classes, categories, and constant objects
714 llvm::ArrayType *ClassListTy = llvm::ArrayType::get(PtrToInt8Ty,
715 Classes.size() + Categories.size() + 2);
Chris Lattner630404b2008-06-26 04:10:42 +0000716 llvm::StructType *SymTabTy = llvm::StructType::get(LongTy, SelectorTy,
717 llvm::Type::Int16Ty,
718 llvm::Type::Int16Ty,
719 ClassListTy, NULL);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000720
721 Elements.clear();
722 // Pointer to an array of selectors used in this module.
723 std::vector<llvm::Constant*> Selectors;
724 for (std::map<TypedSelector, llvm::GlobalAlias*>::iterator
725 iter = TypedSelectors.begin(), iterEnd = TypedSelectors.end();
726 iter != iterEnd ; ++iter) {
Chris Lattner630404b2008-06-26 04:10:42 +0000727 Elements.push_back(MakeConstantString(iter->first.first, ".objc_sel_name"));
728 Elements.push_back(MakeConstantString(iter->first.second,
729 ".objc_sel_types"));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000730 Selectors.push_back(llvm::ConstantStruct::get(SelStructTy, Elements));
731 Elements.clear();
732 }
733 for (llvm::StringMap<llvm::GlobalAlias*>::iterator
734 iter = UntypedSelectors.begin(), iterEnd = UntypedSelectors.end();
Chris Lattner630404b2008-06-26 04:10:42 +0000735 iter != iterEnd; ++iter) {
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000736 Elements.push_back(
Chris Lattner630404b2008-06-26 04:10:42 +0000737 MakeConstantString(iter->getKeyData(), ".objc_sel_name"));
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000738 Elements.push_back(NULLPtr);
739 Selectors.push_back(llvm::ConstantStruct::get(SelStructTy, Elements));
740 Elements.clear();
741 }
742 Elements.push_back(NULLPtr);
743 Elements.push_back(NULLPtr);
744 Selectors.push_back(llvm::ConstantStruct::get(SelStructTy, Elements));
745 Elements.clear();
746 // Number of static selectors
747 Elements.push_back(llvm::ConstantInt::get(LongTy, Selectors.size() ));
748 llvm::Constant *SelectorList = MakeGlobal(
749 llvm::ArrayType::get(SelStructTy, Selectors.size()), Selectors,
750 ".objc_selector_list");
751 Elements.push_back(llvm::ConstantExpr::getBitCast(SelectorList, SelectorTy));
752
753 // Now that all of the static selectors exist, create pointers to them.
754 int index = 0;
755 for (std::map<TypedSelector, llvm::GlobalAlias*>::iterator
756 iter=TypedSelectors.begin(), iterEnd =TypedSelectors.end();
757 iter != iterEnd; ++iter) {
758 llvm::Constant *Idxs[] = {Zeros[0],
759 llvm::ConstantInt::get(llvm::Type::Int32Ty, index++), Zeros[0]};
760 llvm::GlobalVariable *SelPtr = new llvm::GlobalVariable(SelectorTy, true,
761 llvm::GlobalValue::InternalLinkage,
762 llvm::ConstantExpr::getGetElementPtr(SelectorList, Idxs, 2),
763 ".objc_sel_ptr", &TheModule);
764 (*iter).second->setAliasee(SelPtr);
765 }
766 for (llvm::StringMap<llvm::GlobalAlias*>::iterator
767 iter=UntypedSelectors.begin(), iterEnd = UntypedSelectors.end();
768 iter != iterEnd; iter++) {
769 llvm::Constant *Idxs[] = {Zeros[0],
770 llvm::ConstantInt::get(llvm::Type::Int32Ty, index++), Zeros[0]};
771 llvm::GlobalVariable *SelPtr = new llvm::GlobalVariable(SelectorTy, true,
772 llvm::GlobalValue::InternalLinkage,
773 llvm::ConstantExpr::getGetElementPtr(SelectorList, Idxs, 2),
774 ".objc_sel_ptr", &TheModule);
775 (*iter).second->setAliasee(SelPtr);
776 }
777 // Number of classes defined.
778 Elements.push_back(llvm::ConstantInt::get(llvm::Type::Int16Ty,
779 Classes.size()));
780 // Number of categories defined
781 Elements.push_back(llvm::ConstantInt::get(llvm::Type::Int16Ty,
782 Categories.size()));
783 // Create an array of classes, then categories, then static object instances
784 Classes.insert(Classes.end(), Categories.begin(), Categories.end());
785 // NULL-terminated list of static object instances (mainly constant strings)
786 Classes.push_back(Statics);
787 Classes.push_back(NULLPtr);
788 llvm::Constant *ClassList = llvm::ConstantArray::get(ClassListTy, Classes);
789 Elements.push_back(ClassList);
790 // Construct the symbol table
791 llvm::Constant *SymTab= MakeGlobal(SymTabTy, Elements);
792
793 // The symbol table is contained in a module which has some version-checking
794 // constants
795 llvm::StructType * ModuleTy = llvm::StructType::get(LongTy, LongTy,
796 PtrToInt8Ty, llvm::PointerType::getUnqual(SymTabTy), NULL);
797 Elements.clear();
798 // Runtime version used for compatibility checking.
799 Elements.push_back(llvm::ConstantInt::get(LongTy, RuntimeVersion));
800 //FIXME: Should be sizeof(ModuleTy)
801 Elements.push_back(llvm::ConstantInt::get(LongTy, 16));
802 //FIXME: Should be the path to the file where this module was declared
803 Elements.push_back(NULLPtr);
804 Elements.push_back(SymTab);
805 llvm::Value *Module = MakeGlobal(ModuleTy, Elements);
806
807 // Create the load function calling the runtime entry point with the module
808 // structure
809 std::vector<const llvm::Type*> VoidArgs;
810 llvm::Function * LoadFunction = llvm::Function::Create(
811 llvm::FunctionType::get(llvm::Type::VoidTy, VoidArgs, false),
812 llvm::GlobalValue::InternalLinkage, ".objc_load_function",
813 &TheModule);
814 llvm::BasicBlock *EntryBB = llvm::BasicBlock::Create("entry", LoadFunction);
Chris Lattner85e35682008-08-08 19:57:58 +0000815 llvm::IRBuilder<> Builder;
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000816 Builder.SetInsertPoint(EntryBB);
817 llvm::Value *Register = TheModule.getOrInsertFunction("__objc_exec_class",
818 llvm::Type::VoidTy, llvm::PointerType::getUnqual(ModuleTy), NULL);
819 Builder.CreateCall(Register, Module);
820 Builder.CreateRetVoid();
821 return LoadFunction;
822}
Chris Lattner391d77a2008-03-30 23:03:07 +0000823llvm::Function *CGObjCGNU::MethodPreamble(
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000824 const std::string &ClassName,
825 const std::string &CategoryName,
826 const std::string &MethodName,
Chris Lattner391d77a2008-03-30 23:03:07 +0000827 const llvm::Type *ReturnTy,
828 const llvm::Type *SelfTy,
829 const llvm::Type **ArgTy,
830 unsigned ArgC,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000831 bool isClassMethod,
Chris Lattner391d77a2008-03-30 23:03:07 +0000832 bool isVarArg) {
833 std::vector<const llvm::Type*> Args;
Chris Lattner8fdf3282008-06-24 17:04:18 +0000834 if (!ReturnTy->isSingleValueType() && ReturnTy != llvm::Type::VoidTy) {
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000835 Args.push_back(llvm::PointerType::getUnqual(ReturnTy));
836 ReturnTy = llvm::Type::VoidTy;
837 }
Chris Lattner391d77a2008-03-30 23:03:07 +0000838 Args.push_back(SelfTy);
839 Args.push_back(SelectorTy);
840 Args.insert(Args.end(), ArgTy, ArgTy+ArgC);
841
842 llvm::FunctionType *MethodTy = llvm::FunctionType::get(ReturnTy,
843 Args,
844 isVarArg);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000845 std::string FunctionName = SymbolNameForMethod(ClassName, CategoryName,
846 MethodName, isClassMethod);
847
Gabor Greif984d0b42008-04-06 20:42:52 +0000848 llvm::Function *Method = llvm::Function::Create(MethodTy,
Chris Lattner391d77a2008-03-30 23:03:07 +0000849 llvm::GlobalValue::InternalLinkage,
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000850 FunctionName,
Chris Lattner391d77a2008-03-30 23:03:07 +0000851 &TheModule);
Chris Lattner391d77a2008-03-30 23:03:07 +0000852 llvm::Function::arg_iterator AI = Method->arg_begin();
Anton Korobeynikov20ff3102008-06-01 14:13:53 +0000853 // Name the struct return argument.
854 // FIXME: This is probably the wrong test.
855 if (!ReturnTy->isFirstClassType() && ReturnTy != llvm::Type::VoidTy) {
856 AI->setName("agg.result");
857 ++AI;
858 }
Chris Lattner391d77a2008-03-30 23:03:07 +0000859 AI->setName("self");
860 ++AI;
861 AI->setName("_cmd");
862 return Method;
863}
864
Daniel Dunbarc17a4d32008-08-11 02:45:11 +0000865CodeGen::CGObjCRuntime *CodeGen::CreateGNUObjCRuntime(CodeGen::CodeGenModule &CGM){
Chris Lattnerdce14062008-06-26 04:19:03 +0000866 return new CGObjCGNU(CGM);
Chris Lattner0f984262008-03-01 08:50:34 +0000867}