1 //==- CGObjCRuntime.cpp - Interface to Shared Objective-C Runtime Features ==//
2 //
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 abstract class defines the interface for Objective-C runtime-specific
11 // code generation.  It provides some concrete helper methods for functionality
12 // shared between all (or most) of the Objective-C runtimes supported by clang.
13 //
14 //===----------------------------------------------------------------------===//
15 
16 #include "CGObjCRuntime.h"
17 #include "CGCleanup.h"
18 #include "CGRecordLayout.h"
19 #include "CodeGenFunction.h"
20 #include "CodeGenModule.h"
21 #include "clang/AST/RecordLayout.h"
22 #include "clang/AST/StmtObjC.h"
23 #include "clang/CodeGen/CGFunctionInfo.h"
24 #include "llvm/IR/CallSite.h"
25 
26 using namespace clang;
27 using namespace CodeGen;
28 
29 static uint64_t LookupFieldBitOffset(CodeGen::CodeGenModule &CGM,
30                                      const ObjCInterfaceDecl *OID,
31                                      const ObjCImplementationDecl *ID,
32                                      const ObjCIvarDecl *Ivar) {
33   const ObjCInterfaceDecl *Container = Ivar->getContainingInterface();
34 
35   // FIXME: We should eliminate the need to have ObjCImplementationDecl passed
36   // in here; it should never be necessary because that should be the lexical
37   // decl context for the ivar.
38 
39   // If we know have an implementation (and the ivar is in it) then
40   // look up in the implementation layout.
41   const ASTRecordLayout *RL;
42   if (ID && declaresSameEntity(ID->getClassInterface(), Container))
43     RL = &CGM.getContext().getASTObjCImplementationLayout(ID);
44   else
45     RL = &CGM.getContext().getASTObjCInterfaceLayout(Container);
46 
47   // Compute field index.
48   //
49   // FIXME: The index here is closely tied to how ASTContext::getObjCLayout is
50   // implemented. This should be fixed to get the information from the layout
51   // directly.
52   unsigned Index = 0;
53 
54   for (const ObjCIvarDecl *IVD = Container->all_declared_ivar_begin();
55        IVD; IVD = IVD->getNextIvar()) {
56     if (Ivar == IVD)
57       break;
58     ++Index;
59   }
60   assert(Index < RL->getFieldCount() && "Ivar is not inside record layout!");
61 
62   return RL->getFieldOffset(Index);
63 }
64 
65 uint64_t CGObjCRuntime::ComputeIvarBaseOffset(CodeGen::CodeGenModule &CGM,
66                                               const ObjCInterfaceDecl *OID,
67                                               const ObjCIvarDecl *Ivar) {
68   return LookupFieldBitOffset(CGM, OID, nullptr, Ivar) /
69     CGM.getContext().getCharWidth();
70 }
71 
72 uint64_t CGObjCRuntime::ComputeIvarBaseOffset(CodeGen::CodeGenModule &CGM,
73                                               const ObjCImplementationDecl *OID,
74                                               const ObjCIvarDecl *Ivar) {
75   return LookupFieldBitOffset(CGM, OID->getClassInterface(), OID, Ivar) /
76     CGM.getContext().getCharWidth();
77 }
78 
79 unsigned CGObjCRuntime::ComputeBitfieldBitOffset(
80     CodeGen::CodeGenModule &CGM,
81     const ObjCInterfaceDecl *ID,
82     const ObjCIvarDecl *Ivar) {
83   return LookupFieldBitOffset(CGM, ID, ID->getImplementation(), Ivar);
84 }
85 
86 LValue CGObjCRuntime::EmitValueForIvarAtOffset(CodeGen::CodeGenFunction &CGF,
87                                                const ObjCInterfaceDecl *OID,
88                                                llvm::Value *BaseValue,
89                                                const ObjCIvarDecl *Ivar,
90                                                unsigned CVRQualifiers,
91                                                llvm::Value *Offset) {
92   // Compute (type*) ( (char *) BaseValue + Offset)
93   QualType IvarTy = Ivar->getType().withCVRQualifiers(CVRQualifiers);
94   llvm::Type *LTy = CGF.CGM.getTypes().ConvertTypeForMem(IvarTy);
95   llvm::Value *V = CGF.Builder.CreateBitCast(BaseValue, CGF.Int8PtrTy);
96   V = CGF.Builder.CreateInBoundsGEP(V, Offset, "add.ptr");
97 
98   if (!Ivar->isBitField()) {
99     V = CGF.Builder.CreateBitCast(V, llvm::PointerType::getUnqual(LTy));
100     LValue LV = CGF.MakeNaturalAlignAddrLValue(V, IvarTy);
101     return LV;
102   }
103 
104   // We need to compute an access strategy for this bit-field. We are given the
105   // offset to the first byte in the bit-field, the sub-byte offset is taken
106   // from the original layout. We reuse the normal bit-field access strategy by
107   // treating this as an access to a struct where the bit-field is in byte 0,
108   // and adjust the containing type size as appropriate.
109   //
110   // FIXME: Note that currently we make a very conservative estimate of the
111   // alignment of the bit-field, because (a) it is not clear what guarantees the
112   // runtime makes us, and (b) we don't have a way to specify that the struct is
113   // at an alignment plus offset.
114   //
115   // Note, there is a subtle invariant here: we can only call this routine on
116   // non-synthesized ivars but we may be called for synthesized ivars.  However,
117   // a synthesized ivar can never be a bit-field, so this is safe.
118   uint64_t FieldBitOffset = LookupFieldBitOffset(CGF.CGM, OID, nullptr, Ivar);
119   uint64_t BitOffset = FieldBitOffset % CGF.CGM.getContext().getCharWidth();
120   uint64_t AlignmentBits = CGF.CGM.getTarget().getCharAlign();
121   uint64_t BitFieldSize = Ivar->getBitWidthValue(CGF.getContext());
122   CharUnits StorageSize = CGF.CGM.getContext().toCharUnitsFromBits(
123       llvm::alignTo(BitOffset + BitFieldSize, AlignmentBits));
124   CharUnits Alignment = CGF.CGM.getContext().toCharUnitsFromBits(AlignmentBits);
125 
126   // Allocate a new CGBitFieldInfo object to describe this access.
127   //
128   // FIXME: This is incredibly wasteful, these should be uniqued or part of some
129   // layout object. However, this is blocked on other cleanups to the
130   // Objective-C code, so for now we just live with allocating a bunch of these
131   // objects.
132   CGBitFieldInfo *Info = new (CGF.CGM.getContext()) CGBitFieldInfo(
133     CGBitFieldInfo::MakeInfo(CGF.CGM.getTypes(), Ivar, BitOffset, BitFieldSize,
134                              CGF.CGM.getContext().toBits(StorageSize),
135                              CharUnits::fromQuantity(0)));
136 
137   Address Addr(V, Alignment);
138   Addr = CGF.Builder.CreateElementBitCast(Addr,
139                                    llvm::Type::getIntNTy(CGF.getLLVMContext(),
140                                                          Info->StorageSize));
141   return LValue::MakeBitfield(Addr, *Info, IvarTy, AlignmentSource::Decl);
142 }
143 
144 namespace {
145   struct CatchHandler {
146     const VarDecl *Variable;
147     const Stmt *Body;
148     llvm::BasicBlock *Block;
149     llvm::Constant *TypeInfo;
150   };
151 
152   struct CallObjCEndCatch final : EHScopeStack::Cleanup {
153     CallObjCEndCatch(bool MightThrow, llvm::Value *Fn) :
154       MightThrow(MightThrow), Fn(Fn) {}
155     bool MightThrow;
156     llvm::Value *Fn;
157 
158     void Emit(CodeGenFunction &CGF, Flags flags) override {
159       if (!MightThrow) {
160         CGF.Builder.CreateCall(Fn)->setDoesNotThrow();
161         return;
162       }
163 
164       CGF.EmitRuntimeCallOrInvoke(Fn);
165     }
166   };
167 }
168 
169 
170 void CGObjCRuntime::EmitTryCatchStmt(CodeGenFunction &CGF,
171                                      const ObjCAtTryStmt &S,
172                                      llvm::Constant *beginCatchFn,
173                                      llvm::Constant *endCatchFn,
174                                      llvm::Constant *exceptionRethrowFn) {
175   // Jump destination for falling out of catch bodies.
176   CodeGenFunction::JumpDest Cont;
177   if (S.getNumCatchStmts())
178     Cont = CGF.getJumpDestInCurrentScope("eh.cont");
179 
180   CodeGenFunction::FinallyInfo FinallyInfo;
181   if (const ObjCAtFinallyStmt *Finally = S.getFinallyStmt())
182     FinallyInfo.enter(CGF, Finally->getFinallyBody(),
183                       beginCatchFn, endCatchFn, exceptionRethrowFn);
184 
185   SmallVector<CatchHandler, 8> Handlers;
186 
187   // Enter the catch, if there is one.
188   if (S.getNumCatchStmts()) {
189     for (unsigned I = 0, N = S.getNumCatchStmts(); I != N; ++I) {
190       const ObjCAtCatchStmt *CatchStmt = S.getCatchStmt(I);
191       const VarDecl *CatchDecl = CatchStmt->getCatchParamDecl();
192 
193       Handlers.push_back(CatchHandler());
194       CatchHandler &Handler = Handlers.back();
195       Handler.Variable = CatchDecl;
196       Handler.Body = CatchStmt->getCatchBody();
197       Handler.Block = CGF.createBasicBlock("catch");
198 
199       // @catch(...) always matches.
200       if (!CatchDecl) {
201         Handler.TypeInfo = nullptr; // catch-all
202         // Don't consider any other catches.
203         break;
204       }
205 
206       Handler.TypeInfo = GetEHType(CatchDecl->getType());
207     }
208 
209     EHCatchScope *Catch = CGF.EHStack.pushCatch(Handlers.size());
210     for (unsigned I = 0, E = Handlers.size(); I != E; ++I)
211       Catch->setHandler(I, Handlers[I].TypeInfo, Handlers[I].Block);
212   }
213 
214   // Emit the try body.
215   CGF.EmitStmt(S.getTryBody());
216 
217   // Leave the try.
218   if (S.getNumCatchStmts())
219     CGF.popCatchScope();
220 
221   // Remember where we were.
222   CGBuilderTy::InsertPoint SavedIP = CGF.Builder.saveAndClearIP();
223 
224   // Emit the handlers.
225   for (unsigned I = 0, E = Handlers.size(); I != E; ++I) {
226     CatchHandler &Handler = Handlers[I];
227 
228     CGF.EmitBlock(Handler.Block);
229     llvm::Value *RawExn = CGF.getExceptionFromSlot();
230 
231     // Enter the catch.
232     llvm::Value *Exn = RawExn;
233     if (beginCatchFn) {
234       Exn = CGF.Builder.CreateCall(beginCatchFn, RawExn, "exn.adjusted");
235       cast<llvm::CallInst>(Exn)->setDoesNotThrow();
236     }
237 
238     CodeGenFunction::LexicalScope cleanups(CGF, Handler.Body->getSourceRange());
239 
240     if (endCatchFn) {
241       // Add a cleanup to leave the catch.
242       bool EndCatchMightThrow = (Handler.Variable == nullptr);
243 
244       CGF.EHStack.pushCleanup<CallObjCEndCatch>(NormalAndEHCleanup,
245                                                 EndCatchMightThrow,
246                                                 endCatchFn);
247     }
248 
249     // Bind the catch parameter if it exists.
250     if (const VarDecl *CatchParam = Handler.Variable) {
251       llvm::Type *CatchType = CGF.ConvertType(CatchParam->getType());
252       llvm::Value *CastExn = CGF.Builder.CreateBitCast(Exn, CatchType);
253 
254       CGF.EmitAutoVarDecl(*CatchParam);
255       EmitInitOfCatchParam(CGF, CastExn, CatchParam);
256     }
257 
258     CGF.ObjCEHValueStack.push_back(Exn);
259     CGF.EmitStmt(Handler.Body);
260     CGF.ObjCEHValueStack.pop_back();
261 
262     // Leave any cleanups associated with the catch.
263     cleanups.ForceCleanup();
264 
265     CGF.EmitBranchThroughCleanup(Cont);
266   }
267 
268   // Go back to the try-statement fallthrough.
269   CGF.Builder.restoreIP(SavedIP);
270 
271   // Pop out of the finally.
272   if (S.getFinallyStmt())
273     FinallyInfo.exit(CGF);
274 
275   if (Cont.isValid())
276     CGF.EmitBlock(Cont.getBlock());
277 }
278 
279 void CGObjCRuntime::EmitInitOfCatchParam(CodeGenFunction &CGF,
280                                          llvm::Value *exn,
281                                          const VarDecl *paramDecl) {
282 
283   Address paramAddr = CGF.GetAddrOfLocalVar(paramDecl);
284 
285   switch (paramDecl->getType().getQualifiers().getObjCLifetime()) {
286   case Qualifiers::OCL_Strong:
287     exn = CGF.EmitARCRetainNonBlock(exn);
288     // fallthrough
289 
290   case Qualifiers::OCL_None:
291   case Qualifiers::OCL_ExplicitNone:
292   case Qualifiers::OCL_Autoreleasing:
293     CGF.Builder.CreateStore(exn, paramAddr);
294     return;
295 
296   case Qualifiers::OCL_Weak:
297     CGF.EmitARCInitWeak(paramAddr, exn);
298     return;
299   }
300   llvm_unreachable("invalid ownership qualifier");
301 }
302 
303 namespace {
304   struct CallSyncExit final : EHScopeStack::Cleanup {
305     llvm::Value *SyncExitFn;
306     llvm::Value *SyncArg;
307     CallSyncExit(llvm::Value *SyncExitFn, llvm::Value *SyncArg)
308       : SyncExitFn(SyncExitFn), SyncArg(SyncArg) {}
309 
310     void Emit(CodeGenFunction &CGF, Flags flags) override {
311       CGF.Builder.CreateCall(SyncExitFn, SyncArg)->setDoesNotThrow();
312     }
313   };
314 }
315 
316 void CGObjCRuntime::EmitAtSynchronizedStmt(CodeGenFunction &CGF,
317                                            const ObjCAtSynchronizedStmt &S,
318                                            llvm::Function *syncEnterFn,
319                                            llvm::Function *syncExitFn) {
320   CodeGenFunction::RunCleanupsScope cleanups(CGF);
321 
322   // Evaluate the lock operand.  This is guaranteed to dominate the
323   // ARC release and lock-release cleanups.
324   const Expr *lockExpr = S.getSynchExpr();
325   llvm::Value *lock;
326   if (CGF.getLangOpts().ObjCAutoRefCount) {
327     lock = CGF.EmitARCRetainScalarExpr(lockExpr);
328     lock = CGF.EmitObjCConsumeObject(lockExpr->getType(), lock);
329   } else {
330     lock = CGF.EmitScalarExpr(lockExpr);
331   }
332   lock = CGF.Builder.CreateBitCast(lock, CGF.VoidPtrTy);
333 
334   // Acquire the lock.
335   CGF.Builder.CreateCall(syncEnterFn, lock)->setDoesNotThrow();
336 
337   // Register an all-paths cleanup to release the lock.
338   CGF.EHStack.pushCleanup<CallSyncExit>(NormalAndEHCleanup, syncExitFn, lock);
339 
340   // Emit the body of the statement.
341   CGF.EmitStmt(S.getSynchBody());
342 }
343 
344 /// Compute the pointer-to-function type to which a message send
345 /// should be casted in order to correctly call the given method
346 /// with the given arguments.
347 ///
348 /// \param method - may be null
349 /// \param resultType - the result type to use if there's no method
350 /// \param callArgs - the actual arguments, including implicit ones
351 CGObjCRuntime::MessageSendInfo
352 CGObjCRuntime::getMessageSendInfo(const ObjCMethodDecl *method,
353                                   QualType resultType,
354                                   CallArgList &callArgs) {
355   // If there's a method, use information from that.
356   if (method) {
357     const CGFunctionInfo &signature =
358       CGM.getTypes().arrangeObjCMessageSendSignature(method, callArgs[0].Ty);
359 
360     llvm::PointerType *signatureType =
361       CGM.getTypes().GetFunctionType(signature)->getPointerTo();
362 
363     const CGFunctionInfo &signatureForCall =
364       CGM.getTypes().arrangeCall(signature, callArgs);
365 
366     return MessageSendInfo(signatureForCall, signatureType);
367   }
368 
369   // There's no method;  just use a default CC.
370   const CGFunctionInfo &argsInfo =
371     CGM.getTypes().arrangeUnprototypedObjCMessageSend(resultType, callArgs);
372 
373   // Derive the signature to call from that.
374   llvm::PointerType *signatureType =
375     CGM.getTypes().GetFunctionType(argsInfo)->getPointerTo();
376   return MessageSendInfo(argsInfo, signatureType);
377 }
378