blob: 1632713c32a77f27303fd87fa128196ffc4822cc [file] [log] [blame]
Daniel Dunbar303e2c22008-08-11 02:45:11 +00001//===----- CGObjCRuntime.h - Interface to ObjC Runtimes ---------*- C++ -*-===//
Chris Lattnerb7256cd2008-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//
10// This provides an abstract class for Objective-C code generation. Concrete
11// subclasses of this implement code generation for specific Objective-C
12// runtime libraries.
13//
14//===----------------------------------------------------------------------===//
15
Benjamin Kramer2f5db8b2014-08-13 16:25:19 +000016#ifndef LLVM_CLANG_LIB_CODEGEN_CGOBJCRUNTIME_H
17#define LLVM_CLANG_LIB_CODEGEN_CGOBJCRUNTIME_H
Daniel Dunbarcb463852008-11-01 01:53:16 +000018#include "CGBuilder.h"
Daniel Dunbar41cf9de2008-09-09 01:06:48 +000019#include "CGCall.h"
Daniel Dunbarcb463852008-11-01 01:53:16 +000020#include "CGValue.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000021#include "clang/AST/DeclObjC.h"
22#include "clang/Basic/IdentifierTable.h" // Selector
Daniel Dunbar97db84c2008-08-23 03:46:30 +000023
Chris Lattnerb7256cd2008-03-01 08:50:34 +000024namespace llvm {
Chris Lattnerb7256cd2008-03-01 08:50:34 +000025 class Constant;
Daniel Dunbar9fd114d2009-04-22 07:32:20 +000026 class Function;
27 class Module;
28 class StructLayout;
Daniel Dunbar7b4dfc82009-04-22 09:39:34 +000029 class StructType;
Chris Lattnerb7256cd2008-03-01 08:50:34 +000030 class Type;
31 class Value;
Chris Lattnerb7256cd2008-03-01 08:50:34 +000032}
33
34namespace clang {
Daniel Dunbar41cf9de2008-09-09 01:06:48 +000035namespace CodeGen {
36 class CodeGenFunction;
37}
Daniel Dunbar97db84c2008-08-23 03:46:30 +000038
Daniel Dunbar9fd114d2009-04-22 07:32:20 +000039 class FieldDecl;
Anders Carlsson1963b0c2008-09-09 10:04:29 +000040 class ObjCAtTryStmt;
41 class ObjCAtThrowStmt;
Chris Lattnere132e242008-11-15 21:26:17 +000042 class ObjCAtSynchronizedStmt;
Fariborz Jahanian0196a1c2009-01-10 21:06:09 +000043 class ObjCContainerDecl;
Daniel Dunbar92992502008-08-15 22:20:32 +000044 class ObjCCategoryImplDecl;
45 class ObjCImplementationDecl;
Daniel Dunbar7c6d3a72008-08-16 00:25:02 +000046 class ObjCInterfaceDecl;
Daniel Dunbar97db84c2008-08-23 03:46:30 +000047 class ObjCMessageExpr;
Daniel Dunbar92992502008-08-15 22:20:32 +000048 class ObjCMethodDecl;
Daniel Dunbar89da6ad2008-08-13 00:59:25 +000049 class ObjCProtocolDecl;
Chris Lattner6d522c02008-06-26 04:37:12 +000050 class Selector;
Fariborz Jahanian9f84b782009-02-02 20:02:29 +000051 class ObjCIvarDecl;
Steve Naroff66afeb52009-03-31 16:53:37 +000052 class ObjCStringLiteral;
Fariborz Jahanianc05349e2010-08-04 16:57:49 +000053 class BlockDeclRefExpr;
Daniel Dunbar89da6ad2008-08-13 00:59:25 +000054
Chris Lattnerb7256cd2008-03-01 08:50:34 +000055namespace CodeGen {
Chris Lattner87ab27d2008-06-26 04:19:03 +000056 class CodeGenModule;
John McCall351762c2011-02-07 10:33:21 +000057 class CGBlockInfo;
Chris Lattnerb7256cd2008-03-01 08:50:34 +000058
Mike Stump18bb9282009-05-16 07:57:57 +000059// FIXME: Several methods should be pure virtual but aren't to avoid the
60// partially-implemented subclass breaking.
Anton Korobeynikov1200aca2008-06-01 14:13:53 +000061
62/// Implements runtime-specific code generation functions.
Chris Lattnerb7256cd2008-03-01 08:50:34 +000063class CGObjCRuntime {
Daniel Dunbardc406b82010-04-05 21:36:35 +000064protected:
John McCalla729c622012-02-17 03:33:10 +000065 CodeGen::CodeGenModule &CGM;
66 CGObjCRuntime(CodeGen::CodeGenModule &CGM) : CGM(CGM) {}
67
Daniel Dunbar9fd114d2009-04-22 07:32:20 +000068 // Utility functions for unified ivar access. These need to
69 // eventually be folded into other places (the structure layout
70 // code).
71
Daniel Dunbar7b4dfc82009-04-22 09:39:34 +000072 /// Compute an offset to the given ivar, suitable for passing to
73 /// EmitValueForIvarAtOffset. Note that the correct handling of
74 /// bit-fields is carefully coordinated by these two, use caution!
Daniel Dunbar961202372009-05-03 12:57:56 +000075 ///
76 /// The latter overload is suitable for computing the offset of a
77 /// sythesized ivar.
Eli Friedman8cbca202012-11-06 22:15:52 +000078 uint64_t ComputeIvarBaseOffset(CodeGen::CodeGenModule &CGM,
79 const ObjCInterfaceDecl *OID,
80 const ObjCIvarDecl *Ivar);
81 uint64_t ComputeIvarBaseOffset(CodeGen::CodeGenModule &CGM,
82 const ObjCImplementationDecl *OID,
83 const ObjCIvarDecl *Ivar);
Daniel Dunbar9fd114d2009-04-22 07:32:20 +000084
85 LValue EmitValueForIvarAtOffset(CodeGen::CodeGenFunction &CGF,
86 const ObjCInterfaceDecl *OID,
87 llvm::Value *BaseValue,
88 const ObjCIvarDecl *Ivar,
89 unsigned CVRQualifiers,
Mike Stump11289f42009-09-09 15:08:12 +000090 llvm::Value *Offset);
David Chisnalld3858d62011-03-25 11:57:33 +000091 /// Emits a try / catch statement. This function is intended to be called by
92 /// subclasses, and provides a generic mechanism for generating these, which
James Dennettbe302452012-06-15 22:10:14 +000093 /// should be usable by all runtimes. The caller must provide the functions
94 /// to call when entering and exiting a \@catch() block, and the function
95 /// used to rethrow exceptions. If the begin and end catch functions are
96 /// NULL, then the function assumes that the EH personality function provides
97 /// the thrown object directly.
David Chisnalld3858d62011-03-25 11:57:33 +000098 void EmitTryCatchStmt(CodeGenFunction &CGF,
99 const ObjCAtTryStmt &S,
David Chisnall3fe89562011-05-23 22:33:28 +0000100 llvm::Constant *beginCatchFn,
101 llvm::Constant *endCatchFn,
102 llvm::Constant *exceptionRethrowFn);
James Dennettbe302452012-06-15 22:10:14 +0000103 /// Emits an \@synchronize() statement, using the \p syncEnterFn and
104 /// \p syncExitFn arguments as the functions called to lock and unlock
105 /// the object. This function can be called by subclasses that use
106 /// zero-cost exception handling.
David Chisnalld3858d62011-03-25 11:57:33 +0000107 void EmitAtSynchronizedStmt(CodeGenFunction &CGF,
108 const ObjCAtSynchronizedStmt &S,
109 llvm::Function *syncEnterFn,
110 llvm::Function *syncExitFn);
Daniel Dunbar48595de2008-08-11 16:50:21 +0000111
Chris Lattnerb7256cd2008-03-01 08:50:34 +0000112public:
113 virtual ~CGObjCRuntime();
Daniel Dunbar92992502008-08-15 22:20:32 +0000114
115 /// Generate the function required to register all Objective-C components in
116 /// this compilation unit with the runtime library.
117 virtual llvm::Function *ModuleInitFunction() = 0;
118
John McCall7f416cc2015-09-08 08:05:57 +0000119 /// Get a selector for the specified name and type values.
120 /// The result should have the LLVM type for ASTContext::getObjCSelType().
121 virtual llvm::Value *GetSelector(CodeGenFunction &CGF, Selector Sel) = 0;
122
123 /// Get the address of a selector for the specified name and type values.
124 /// This is a rarely-used language extension, but sadly it exists.
125 ///
126 /// The result should have the LLVM type for a pointer to
Daniel Dunbar92992502008-08-15 22:20:32 +0000127 /// ASTContext::getObjCSelType().
John McCall7f416cc2015-09-08 08:05:57 +0000128 virtual Address GetAddrOfSelector(CodeGenFunction &CGF, Selector Sel) = 0;
Daniel Dunbar92992502008-08-15 22:20:32 +0000129
Mike Stump11289f42009-09-09 15:08:12 +0000130 /// Get a typed selector.
John McCall882987f2013-02-28 19:01:20 +0000131 virtual llvm::Value *GetSelector(CodeGenFunction &CGF,
Fariborz Jahanianf3648b82009-05-05 21:36:57 +0000132 const ObjCMethodDecl *Method) = 0;
133
John McCall2ca705e2010-07-24 00:37:23 +0000134 /// Get the type constant to catch for the given ObjC pointer type.
135 /// This is used externally to implement catching ObjC types in C++.
136 /// Runtimes which don't support this should add the appropriate
137 /// error to Sema.
Fariborz Jahanian831f0fc2011-06-23 19:00:08 +0000138 virtual llvm::Constant *GetEHType(QualType T) = 0;
John McCall2ca705e2010-07-24 00:37:23 +0000139
Daniel Dunbar92992502008-08-15 22:20:32 +0000140 /// Generate a constant string object.
John McCall7f416cc2015-09-08 08:05:57 +0000141 virtual ConstantAddress GenerateConstantString(const StringLiteral *) = 0;
Ted Kremeneke65b0862012-03-06 20:05:56 +0000142
Daniel Dunbar92992502008-08-15 22:20:32 +0000143 /// Generate a category. A category contains a list of methods (and
144 /// accompanying metadata) and a list of protocols.
145 virtual void GenerateCategory(const ObjCCategoryImplDecl *OCD) = 0;
146
Chris Lattner57540c52011-04-15 05:22:18 +0000147 /// Generate a class structure for this class.
Daniel Dunbar92992502008-08-15 22:20:32 +0000148 virtual void GenerateClass(const ObjCImplementationDecl *OID) = 0;
Mike Stump11289f42009-09-09 15:08:12 +0000149
David Chisnall92d436b2012-01-31 18:59:20 +0000150 /// Register an class alias.
151 virtual void RegisterAlias(const ObjCCompatibleAliasDecl *OAD) = 0;
152
Mike Stump11289f42009-09-09 15:08:12 +0000153 /// Generate an Objective-C message send operation.
Daniel Dunbaraff9fca2009-09-17 04:01:22 +0000154 ///
155 /// \param Method - The method being called, this may be null if synthesizing
156 /// a property setter or getter.
Mike Stump11289f42009-09-09 15:08:12 +0000157 virtual CodeGen::RValue
Daniel Dunbar97db84c2008-08-23 03:46:30 +0000158 GenerateMessageSend(CodeGen::CodeGenFunction &CGF,
John McCall78a15112010-05-22 01:48:05 +0000159 ReturnValueSlot ReturnSlot,
Daniel Dunbar4b8c6db2008-08-30 05:35:15 +0000160 QualType ResultType,
161 Selector Sel,
Daniel Dunbarca8531a2008-08-25 08:19:24 +0000162 llvm::Value *Receiver,
Fariborz Jahanianf3648b82009-05-05 21:36:57 +0000163 const CallArgList &CallArgs,
Craig Topper8a13c412014-05-21 05:09:00 +0000164 const ObjCInterfaceDecl *Class = nullptr,
165 const ObjCMethodDecl *Method = nullptr) = 0;
Daniel Dunbar89da6ad2008-08-13 00:59:25 +0000166
Daniel Dunbar92992502008-08-15 22:20:32 +0000167 /// Generate an Objective-C message send operation to the super
Daniel Dunbarca8531a2008-08-25 08:19:24 +0000168 /// class initiated in a method for Class and with the given Self
169 /// object.
Daniel Dunbaraff9fca2009-09-17 04:01:22 +0000170 ///
171 /// \param Method - The method being called, this may be null if synthesizing
172 /// a property setter or getter.
Daniel Dunbar97db84c2008-08-23 03:46:30 +0000173 virtual CodeGen::RValue
174 GenerateMessageSendSuper(CodeGen::CodeGenFunction &CGF,
John McCall78a15112010-05-22 01:48:05 +0000175 ReturnValueSlot ReturnSlot,
Daniel Dunbar4b8c6db2008-08-30 05:35:15 +0000176 QualType ResultType,
177 Selector Sel,
Daniel Dunbarca8531a2008-08-25 08:19:24 +0000178 const ObjCInterfaceDecl *Class,
Fariborz Jahanianbac73ac2009-02-28 20:07:56 +0000179 bool isCategoryImpl,
Daniel Dunbarca8531a2008-08-25 08:19:24 +0000180 llvm::Value *Self,
Daniel Dunbarc722b852008-08-30 03:02:31 +0000181 bool IsClassMessage,
Daniel Dunbaraff9fca2009-09-17 04:01:22 +0000182 const CallArgList &CallArgs,
Craig Topper8a13c412014-05-21 05:09:00 +0000183 const ObjCMethodDecl *Method = nullptr) = 0;
Daniel Dunbar6630e102008-08-12 05:08:18 +0000184
185 /// Emit the code to return the named protocol as an object, as in a
James Dennett1355bd12012-06-11 06:19:40 +0000186 /// \@protocol expression.
John McCall882987f2013-02-28 19:01:20 +0000187 virtual llvm::Value *GenerateProtocolRef(CodeGenFunction &CGF,
Daniel Dunbar92992502008-08-15 22:20:32 +0000188 const ObjCProtocolDecl *OPD) = 0;
Daniel Dunbar6630e102008-08-12 05:08:18 +0000189
Mike Stump11289f42009-09-09 15:08:12 +0000190 /// Generate the named protocol. Protocols contain method metadata but no
191 /// implementations.
Daniel Dunbar92992502008-08-15 22:20:32 +0000192 virtual void GenerateProtocol(const ObjCProtocolDecl *OPD) = 0;
Daniel Dunbar89da6ad2008-08-13 00:59:25 +0000193
Daniel Dunbar92992502008-08-15 22:20:32 +0000194 /// Generate a function preamble for a method with the specified
Mike Stump11289f42009-09-09 15:08:12 +0000195 /// types.
Daniel Dunbar92992502008-08-15 22:20:32 +0000196
Mike Stump18bb9282009-05-16 07:57:57 +0000197 // FIXME: Current this just generates the Function definition, but really this
198 // should also be generating the loads of the parameters, as the runtime
199 // should have full control over how parameters are passed.
Mike Stump11289f42009-09-09 15:08:12 +0000200 virtual llvm::Function *GenerateMethod(const ObjCMethodDecl *OMD,
Fariborz Jahanian0196a1c2009-01-10 21:06:09 +0000201 const ObjCContainerDecl *CD) = 0;
Daniel Dunbar89da6ad2008-08-13 00:59:25 +0000202
Daniel Dunbara91c3e02008-09-24 03:38:44 +0000203 /// Return the runtime function for getting properties.
Chris Lattnerd4808922009-03-22 21:03:39 +0000204 virtual llvm::Constant *GetPropertyGetFunction() = 0;
Mike Stump11289f42009-09-09 15:08:12 +0000205
Daniel Dunbara91c3e02008-09-24 03:38:44 +0000206 /// Return the runtime function for setting properties.
Chris Lattnerd4808922009-03-22 21:03:39 +0000207 virtual llvm::Constant *GetPropertySetFunction() = 0;
Daniel Dunbara91c3e02008-09-24 03:38:44 +0000208
Ted Kremeneke65b0862012-03-06 20:05:56 +0000209 /// Return the runtime function for optimized setting properties.
210 virtual llvm::Constant *GetOptimizedPropertySetFunction(bool atomic,
211 bool copy) = 0;
212
David Chisnall168b80f2010-12-26 22:13:16 +0000213 // API for atomic copying of qualified aggregates in getter.
214 virtual llvm::Constant *GetGetStructFunction() = 0;
215 // API for atomic copying of qualified aggregates in setter.
216 virtual llvm::Constant *GetSetStructFunction() = 0;
David Chisnall0d75e062012-12-17 18:54:24 +0000217 /// API for atomic copying of qualified aggregates with non-trivial copy
218 /// assignment (c++) in setter.
219 virtual llvm::Constant *GetCppAtomicObjectSetFunction() = 0;
220 /// API for atomic copying of qualified aggregates with non-trivial copy
221 /// assignment (c++) in getter.
222 virtual llvm::Constant *GetCppAtomicObjectGetFunction() = 0;
Fariborz Jahanian5a8c2032010-04-12 18:18:10 +0000223
Daniel Dunbar7c6d3a72008-08-16 00:25:02 +0000224 /// GetClass - Return a reference to the class for the given
225 /// interface decl.
John McCall882987f2013-02-28 19:01:20 +0000226 virtual llvm::Value *GetClass(CodeGenFunction &CGF,
Daniel Dunbar7c6d3a72008-08-16 00:25:02 +0000227 const ObjCInterfaceDecl *OID) = 0;
John McCall31168b02011-06-15 23:02:42 +0000228
229
John McCall882987f2013-02-28 19:01:20 +0000230 virtual llvm::Value *EmitNSAutoreleasePoolClassRef(CodeGenFunction &CGF) {
David Blaikie83d382b2011-09-23 05:06:16 +0000231 llvm_unreachable("autoreleasepool unsupported in this ABI");
John McCall31168b02011-06-15 23:02:42 +0000232 }
233
Anders Carlsson3f35a262008-08-31 04:05:03 +0000234 /// EnumerationMutationFunction - Return the function that's called by the
235 /// compiler when a mutation is detected during foreach iteration.
Chris Lattnerd4808922009-03-22 21:03:39 +0000236 virtual llvm::Constant *EnumerationMutationFunction() = 0;
Mike Stump11289f42009-09-09 15:08:12 +0000237
John McCallbd309292010-07-06 01:34:17 +0000238 virtual void EmitSynchronizedStmt(CodeGen::CodeGenFunction &CGF,
239 const ObjCAtSynchronizedStmt &S) = 0;
240 virtual void EmitTryStmt(CodeGen::CodeGenFunction &CGF,
241 const ObjCAtTryStmt &S) = 0;
Anders Carlsson1963b0c2008-09-09 10:04:29 +0000242 virtual void EmitThrowStmt(CodeGen::CodeGenFunction &CGF,
Fariborz Jahanian1eab0522013-01-10 19:02:56 +0000243 const ObjCAtThrowStmt &S,
244 bool ClearInsertionPoint=true) = 0;
Daniel Dunbarbe9dae82009-04-21 00:49:20 +0000245 virtual llvm::Value *EmitObjCWeakRead(CodeGen::CodeGenFunction &CGF,
John McCall7f416cc2015-09-08 08:05:57 +0000246 Address AddrWeakObj) = 0;
Fariborz Jahanian83f45b552008-11-18 22:37:34 +0000247 virtual void EmitObjCWeakAssign(CodeGen::CodeGenFunction &CGF,
John McCall7f416cc2015-09-08 08:05:57 +0000248 llvm::Value *src, Address dest) = 0;
Fariborz Jahaniand7db9642008-11-19 00:59:10 +0000249 virtual void EmitObjCGlobalAssign(CodeGen::CodeGenFunction &CGF,
John McCall7f416cc2015-09-08 08:05:57 +0000250 llvm::Value *src, Address dest,
Fariborz Jahanian217af242010-07-20 20:30:03 +0000251 bool threadlocal=false) = 0;
Fariborz Jahaniane881b532008-11-20 19:23:36 +0000252 virtual void EmitObjCIvarAssign(CodeGen::CodeGenFunction &CGF,
John McCall7f416cc2015-09-08 08:05:57 +0000253 llvm::Value *src, Address dest,
Fariborz Jahanian7a95d722009-09-24 22:25:38 +0000254 llvm::Value *ivarOffset) = 0;
Fariborz Jahaniand7db9642008-11-19 00:59:10 +0000255 virtual void EmitObjCStrongCastAssign(CodeGen::CodeGenFunction &CGF,
John McCall7f416cc2015-09-08 08:05:57 +0000256 llvm::Value *src, Address dest) = 0;
Mike Stump11289f42009-09-09 15:08:12 +0000257
Fariborz Jahanian712bfa62009-02-03 19:03:09 +0000258 virtual LValue EmitObjCValueForIvar(CodeGen::CodeGenFunction &CGF,
259 QualType ObjectTy,
260 llvm::Value *BaseValue,
261 const ObjCIvarDecl *Ivar,
Fariborz Jahanian712bfa62009-02-03 19:03:09 +0000262 unsigned CVRQualifiers) = 0;
Fariborz Jahanian21fc74c2009-02-10 19:02:04 +0000263 virtual llvm::Value *EmitIvarOffset(CodeGen::CodeGenFunction &CGF,
Daniel Dunbar722f4242009-04-22 05:08:15 +0000264 const ObjCInterfaceDecl *Interface,
Fariborz Jahanian21fc74c2009-02-10 19:02:04 +0000265 const ObjCIvarDecl *Ivar) = 0;
Fariborz Jahanian5f21d2f2009-07-08 01:18:33 +0000266 virtual void EmitGCMemmoveCollectable(CodeGen::CodeGenFunction &CGF,
John McCall7f416cc2015-09-08 08:05:57 +0000267 Address DestPtr,
268 Address SrcPtr,
Fariborz Jahanian021510e2010-06-15 22:44:06 +0000269 llvm::Value *Size) = 0;
John McCall351762c2011-02-07 10:33:21 +0000270 virtual llvm::Constant *BuildGCBlockLayout(CodeGen::CodeGenModule &CGM,
271 const CodeGen::CGBlockInfo &blockInfo) = 0;
Fariborz Jahanian0c58ce92012-10-27 21:10:38 +0000272 virtual llvm::Constant *BuildRCBlockLayout(CodeGen::CodeGenModule &CGM,
273 const CodeGen::CGBlockInfo &blockInfo) = 0;
Fariborz Jahaniana9d44642012-11-14 17:15:51 +0000274 virtual llvm::Constant *BuildByrefLayout(CodeGen::CodeGenModule &CGM,
275 QualType T) = 0;
Rafael Espindola554256c2014-02-26 22:25:45 +0000276 virtual llvm::GlobalVariable *GetClassGlobal(const std::string &Name,
277 bool Weak = false) = 0;
John McCalla729c622012-02-17 03:33:10 +0000278
279 struct MessageSendInfo {
280 const CGFunctionInfo &CallInfo;
281 llvm::PointerType *MessengerType;
282
283 MessageSendInfo(const CGFunctionInfo &callInfo,
284 llvm::PointerType *messengerType)
285 : CallInfo(callInfo), MessengerType(messengerType) {}
286 };
287
288 MessageSendInfo getMessageSendInfo(const ObjCMethodDecl *method,
289 QualType resultType,
290 CallArgList &callArgs);
Eli Friedman85937482012-11-06 23:40:48 +0000291
292 // FIXME: This probably shouldn't be here, but the code to compute
293 // it is here.
294 unsigned ComputeBitfieldBitOffset(CodeGen::CodeGenModule &CGM,
295 const ObjCInterfaceDecl *ID,
296 const ObjCIvarDecl *Ivar);
Chris Lattnerb7256cd2008-03-01 08:50:34 +0000297};
298
Mike Stump11289f42009-09-09 15:08:12 +0000299/// Creates an instance of an Objective-C runtime class.
Chris Lattner4bd55962008-03-30 23:03:07 +0000300//TODO: This should include some way of selecting which runtime to target.
Daniel Dunbar303e2c22008-08-11 02:45:11 +0000301CGObjCRuntime *CreateGNUObjCRuntime(CodeGenModule &CGM);
302CGObjCRuntime *CreateMacObjCRuntime(CodeGenModule &CGM);
Alexander Kornienkoab9db512015-06-22 23:07:51 +0000303}
304}
Chris Lattnerb7256cd2008-03-01 08:50:34 +0000305#endif