|
@@ -15,15 +15,29 @@
|
|
#include "CGObjCRuntime.h"
|
|
#include "CGObjCRuntime.h"
|
|
#include "CodeGenFunction.h"
|
|
#include "CodeGenFunction.h"
|
|
#include "CodeGenModule.h"
|
|
#include "CodeGenModule.h"
|
|
|
|
+#include "TargetInfo.h"
|
|
#include "clang/AST/ASTContext.h"
|
|
#include "clang/AST/ASTContext.h"
|
|
#include "clang/AST/DeclObjC.h"
|
|
#include "clang/AST/DeclObjC.h"
|
|
#include "clang/AST/StmtObjC.h"
|
|
#include "clang/AST/StmtObjC.h"
|
|
#include "clang/Basic/Diagnostic.h"
|
|
#include "clang/Basic/Diagnostic.h"
|
|
#include "llvm/ADT/STLExtras.h"
|
|
#include "llvm/ADT/STLExtras.h"
|
|
#include "llvm/Target/TargetData.h"
|
|
#include "llvm/Target/TargetData.h"
|
|
|
|
+#include "llvm/InlineAsm.h"
|
|
using namespace clang;
|
|
using namespace clang;
|
|
using namespace CodeGen;
|
|
using namespace CodeGen;
|
|
|
|
|
|
|
|
+typedef llvm::PointerIntPair<llvm::Value*,1,bool> TryEmitResult;
|
|
|
|
+static TryEmitResult
|
|
|
|
+tryEmitARCRetainScalarExpr(CodeGenFunction &CGF, const Expr *e);
|
|
|
|
+
|
|
|
|
+/// Given the address of a variable of pointer type, find the correct
|
|
|
|
+/// null to store into it.
|
|
|
|
+static llvm::Constant *getNullForVariable(llvm::Value *addr) {
|
|
|
|
+ const llvm::Type *type =
|
|
|
|
+ cast<llvm::PointerType>(addr->getType())->getElementType();
|
|
|
|
+ return llvm::ConstantPointerNull::get(cast<llvm::PointerType>(type));
|
|
|
|
+}
|
|
|
|
+
|
|
/// Emits an instance of NSConstantString representing the object.
|
|
/// Emits an instance of NSConstantString representing the object.
|
|
llvm::Value *CodeGenFunction::EmitObjCStringLiteral(const ObjCStringLiteral *E)
|
|
llvm::Value *CodeGenFunction::EmitObjCStringLiteral(const ObjCStringLiteral *E)
|
|
{
|
|
{
|
|
@@ -55,6 +69,7 @@ static RValue AdjustRelatedResultType(CodeGenFunction &CGF,
|
|
RValue Result) {
|
|
RValue Result) {
|
|
if (!Method)
|
|
if (!Method)
|
|
return Result;
|
|
return Result;
|
|
|
|
+
|
|
if (!Method->hasRelatedResultType() ||
|
|
if (!Method->hasRelatedResultType() ||
|
|
CGF.getContext().hasSameType(E->getType(), Method->getResultType()) ||
|
|
CGF.getContext().hasSameType(E->getType(), Method->getResultType()) ||
|
|
!Result.isScalar())
|
|
!Result.isScalar())
|
|
@@ -71,6 +86,18 @@ RValue CodeGenFunction::EmitObjCMessageExpr(const ObjCMessageExpr *E,
|
|
// implementation vary between runtimes. We can get the receiver and
|
|
// implementation vary between runtimes. We can get the receiver and
|
|
// arguments in generic code.
|
|
// arguments in generic code.
|
|
|
|
|
|
|
|
+ bool isDelegateInit = E->isDelegateInitCall();
|
|
|
|
+
|
|
|
|
+ // We don't retain the receiver in delegate init calls, and this is
|
|
|
|
+ // safe because the receiver value is always loaded from 'self',
|
|
|
|
+ // which we zero out. We don't want to Block_copy block receivers,
|
|
|
|
+ // though.
|
|
|
|
+ bool retainSelf =
|
|
|
|
+ (!isDelegateInit &&
|
|
|
|
+ CGM.getLangOptions().ObjCAutoRefCount &&
|
|
|
|
+ E->getMethodDecl() &&
|
|
|
|
+ E->getMethodDecl()->hasAttr<NSConsumesSelfAttr>());
|
|
|
|
+
|
|
CGObjCRuntime &Runtime = CGM.getObjCRuntime();
|
|
CGObjCRuntime &Runtime = CGM.getObjCRuntime();
|
|
bool isSuperMessage = false;
|
|
bool isSuperMessage = false;
|
|
bool isClassMessage = false;
|
|
bool isClassMessage = false;
|
|
@@ -80,8 +107,15 @@ RValue CodeGenFunction::EmitObjCMessageExpr(const ObjCMessageExpr *E,
|
|
llvm::Value *Receiver = 0;
|
|
llvm::Value *Receiver = 0;
|
|
switch (E->getReceiverKind()) {
|
|
switch (E->getReceiverKind()) {
|
|
case ObjCMessageExpr::Instance:
|
|
case ObjCMessageExpr::Instance:
|
|
- Receiver = EmitScalarExpr(E->getInstanceReceiver());
|
|
|
|
ReceiverType = E->getInstanceReceiver()->getType();
|
|
ReceiverType = E->getInstanceReceiver()->getType();
|
|
|
|
+ if (retainSelf) {
|
|
|
|
+ TryEmitResult ter = tryEmitARCRetainScalarExpr(*this,
|
|
|
|
+ E->getInstanceReceiver());
|
|
|
|
+ Receiver = ter.getPointer();
|
|
|
|
+ if (!ter.getInt())
|
|
|
|
+ Receiver = EmitARCRetainNonBlock(Receiver);
|
|
|
|
+ } else
|
|
|
|
+ Receiver = EmitScalarExpr(E->getInstanceReceiver());
|
|
break;
|
|
break;
|
|
|
|
|
|
case ObjCMessageExpr::Class: {
|
|
case ObjCMessageExpr::Class: {
|
|
@@ -92,6 +126,9 @@ RValue CodeGenFunction::EmitObjCMessageExpr(const ObjCMessageExpr *E,
|
|
assert(OID && "Invalid Objective-C class message send");
|
|
assert(OID && "Invalid Objective-C class message send");
|
|
Receiver = Runtime.GetClass(Builder, OID);
|
|
Receiver = Runtime.GetClass(Builder, OID);
|
|
isClassMessage = true;
|
|
isClassMessage = true;
|
|
|
|
+
|
|
|
|
+ if (retainSelf)
|
|
|
|
+ Receiver = EmitARCRetainNonBlock(Receiver);
|
|
break;
|
|
break;
|
|
}
|
|
}
|
|
|
|
|
|
@@ -99,6 +136,9 @@ RValue CodeGenFunction::EmitObjCMessageExpr(const ObjCMessageExpr *E,
|
|
ReceiverType = E->getSuperType();
|
|
ReceiverType = E->getSuperType();
|
|
Receiver = LoadObjCSelf();
|
|
Receiver = LoadObjCSelf();
|
|
isSuperMessage = true;
|
|
isSuperMessage = true;
|
|
|
|
+
|
|
|
|
+ if (retainSelf)
|
|
|
|
+ Receiver = EmitARCRetainNonBlock(Receiver);
|
|
break;
|
|
break;
|
|
|
|
|
|
case ObjCMessageExpr::SuperClass:
|
|
case ObjCMessageExpr::SuperClass:
|
|
@@ -106,14 +146,36 @@ RValue CodeGenFunction::EmitObjCMessageExpr(const ObjCMessageExpr *E,
|
|
Receiver = LoadObjCSelf();
|
|
Receiver = LoadObjCSelf();
|
|
isSuperMessage = true;
|
|
isSuperMessage = true;
|
|
isClassMessage = true;
|
|
isClassMessage = true;
|
|
|
|
+
|
|
|
|
+ if (retainSelf)
|
|
|
|
+ Receiver = EmitARCRetainNonBlock(Receiver);
|
|
break;
|
|
break;
|
|
}
|
|
}
|
|
|
|
|
|
|
|
+ QualType ResultType =
|
|
|
|
+ E->getMethodDecl() ? E->getMethodDecl()->getResultType() : E->getType();
|
|
|
|
+
|
|
CallArgList Args;
|
|
CallArgList Args;
|
|
EmitCallArgs(Args, E->getMethodDecl(), E->arg_begin(), E->arg_end());
|
|
EmitCallArgs(Args, E->getMethodDecl(), E->arg_begin(), E->arg_end());
|
|
|
|
|
|
- QualType ResultType =
|
|
|
|
- E->getMethodDecl() ? E->getMethodDecl()->getResultType() : E->getType();
|
|
|
|
|
|
+ // For delegate init calls in ARC, do an unsafe store of null into
|
|
|
|
+ // self. This represents the call taking direct ownership of that
|
|
|
|
+ // value. We have to do this after emitting the other call
|
|
|
|
+ // arguments because they might also reference self, but we don't
|
|
|
|
+ // have to worry about any of them modifying self because that would
|
|
|
|
+ // be an undefined read and write of an object in unordered
|
|
|
|
+ // expressions.
|
|
|
|
+ if (isDelegateInit) {
|
|
|
|
+ assert(getLangOptions().ObjCAutoRefCount &&
|
|
|
|
+ "delegate init calls should only be marked in ARC");
|
|
|
|
+
|
|
|
|
+ // Do an unsafe store of null into self.
|
|
|
|
+ llvm::Value *selfAddr =
|
|
|
|
+ LocalDeclMap[cast<ObjCMethodDecl>(CurCodeDecl)->getSelfDecl()];
|
|
|
|
+ assert(selfAddr && "no self entry for a delegate init call?");
|
|
|
|
+
|
|
|
|
+ Builder.CreateStore(getNullForVariable(selfAddr), selfAddr);
|
|
|
|
+ }
|
|
|
|
|
|
RValue result;
|
|
RValue result;
|
|
if (isSuperMessage) {
|
|
if (isSuperMessage) {
|
|
@@ -134,10 +196,52 @@ RValue CodeGenFunction::EmitObjCMessageExpr(const ObjCMessageExpr *E,
|
|
Receiver, Args, OID,
|
|
Receiver, Args, OID,
|
|
E->getMethodDecl());
|
|
E->getMethodDecl());
|
|
}
|
|
}
|
|
-
|
|
|
|
|
|
+
|
|
|
|
+ // For delegate init calls in ARC, implicitly store the result of
|
|
|
|
+ // the call back into self. This takes ownership of the value.
|
|
|
|
+ if (isDelegateInit) {
|
|
|
|
+ llvm::Value *selfAddr =
|
|
|
|
+ LocalDeclMap[cast<ObjCMethodDecl>(CurCodeDecl)->getSelfDecl()];
|
|
|
|
+ llvm::Value *newSelf = result.getScalarVal();
|
|
|
|
+
|
|
|
|
+ // The delegate return type isn't necessarily a matching type; in
|
|
|
|
+ // fact, it's quite likely to be 'id'.
|
|
|
|
+ const llvm::Type *selfTy =
|
|
|
|
+ cast<llvm::PointerType>(selfAddr->getType())->getElementType();
|
|
|
|
+ newSelf = Builder.CreateBitCast(newSelf, selfTy);
|
|
|
|
+
|
|
|
|
+ Builder.CreateStore(newSelf, selfAddr);
|
|
|
|
+ }
|
|
|
|
+
|
|
return AdjustRelatedResultType(*this, E, E->getMethodDecl(), result);
|
|
return AdjustRelatedResultType(*this, E, E->getMethodDecl(), result);
|
|
}
|
|
}
|
|
|
|
|
|
|
|
+namespace {
|
|
|
|
+struct FinishARCDealloc : EHScopeStack::Cleanup {
|
|
|
|
+ void Emit(CodeGenFunction &CGF, bool isForEH) {
|
|
|
|
+ const ObjCMethodDecl *method = cast<ObjCMethodDecl>(CGF.CurCodeDecl);
|
|
|
|
+ const ObjCImplementationDecl *impl
|
|
|
|
+ = cast<ObjCImplementationDecl>(method->getDeclContext());
|
|
|
|
+ const ObjCInterfaceDecl *iface = impl->getClassInterface();
|
|
|
|
+ if (!iface->getSuperClass()) return;
|
|
|
|
+
|
|
|
|
+ // Call [super dealloc] if we have a superclass.
|
|
|
|
+ llvm::Value *self = CGF.LoadObjCSelf();
|
|
|
|
+
|
|
|
|
+ CallArgList args;
|
|
|
|
+ CGF.CGM.getObjCRuntime().GenerateMessageSendSuper(CGF, ReturnValueSlot(),
|
|
|
|
+ CGF.getContext().VoidTy,
|
|
|
|
+ method->getSelector(),
|
|
|
|
+ iface,
|
|
|
|
+ /*is category*/ false,
|
|
|
|
+ self,
|
|
|
|
+ /*is class msg*/ false,
|
|
|
|
+ args,
|
|
|
|
+ method);
|
|
|
|
+ }
|
|
|
|
+};
|
|
|
|
+}
|
|
|
|
+
|
|
/// StartObjCMethod - Begin emission of an ObjCMethod. This generates
|
|
/// StartObjCMethod - Begin emission of an ObjCMethod. This generates
|
|
/// the LLVM function and sets the other context used by
|
|
/// the LLVM function and sets the other context used by
|
|
/// CodeGenFunction.
|
|
/// CodeGenFunction.
|
|
@@ -164,8 +268,21 @@ void CodeGenFunction::StartObjCMethod(const ObjCMethodDecl *OMD,
|
|
CurGD = OMD;
|
|
CurGD = OMD;
|
|
|
|
|
|
StartFunction(OMD, OMD->getResultType(), Fn, FI, args, StartLoc);
|
|
StartFunction(OMD, OMD->getResultType(), Fn, FI, args, StartLoc);
|
|
|
|
+
|
|
|
|
+ // In ARC, certain methods get an extra cleanup.
|
|
|
|
+ if (CGM.getLangOptions().ObjCAutoRefCount &&
|
|
|
|
+ OMD->isInstanceMethod() &&
|
|
|
|
+ OMD->getSelector().isUnarySelector()) {
|
|
|
|
+ const IdentifierInfo *ident =
|
|
|
|
+ OMD->getSelector().getIdentifierInfoForSlot(0);
|
|
|
|
+ if (ident->isStr("dealloc"))
|
|
|
|
+ EHStack.pushCleanup<FinishARCDealloc>(getARCCleanupKind());
|
|
|
|
+ }
|
|
}
|
|
}
|
|
|
|
|
|
|
|
+static llvm::Value *emitARCRetainLoadOfScalar(CodeGenFunction &CGF,
|
|
|
|
+ LValue lvalue, QualType type);
|
|
|
|
+
|
|
void CodeGenFunction::GenerateObjCGetterBody(ObjCIvarDecl *Ivar,
|
|
void CodeGenFunction::GenerateObjCGetterBody(ObjCIvarDecl *Ivar,
|
|
bool IsAtomic, bool IsStrong) {
|
|
bool IsAtomic, bool IsStrong) {
|
|
LValue LV = EmitLValueForIvar(TypeOfSelfObject(), LoadObjCSelf(),
|
|
LValue LV = EmitLValueForIvar(TypeOfSelfObject(), LoadObjCSelf(),
|
|
@@ -269,6 +386,9 @@ void CodeGenFunction::GenerateObjCGetter(ObjCImplementationDecl *IMP,
|
|
RV = RValue::get(Builder.CreateBitCast(RV.getScalarVal(),
|
|
RV = RValue::get(Builder.CreateBitCast(RV.getScalarVal(),
|
|
Types.ConvertType(PD->getType())));
|
|
Types.ConvertType(PD->getType())));
|
|
EmitReturnOfRValue(RV, PD->getType());
|
|
EmitReturnOfRValue(RV, PD->getType());
|
|
|
|
+
|
|
|
|
+ // objc_getProperty does an autorelease, so we should suppress ours.
|
|
|
|
+ AutoreleaseResult = false;
|
|
} else {
|
|
} else {
|
|
const llvm::Triple &Triple = getContext().Target.getTriple();
|
|
const llvm::Triple &Triple = getContext().Target.getTriple();
|
|
QualType IVART = Ivar->getType();
|
|
QualType IVART = Ivar->getType();
|
|
@@ -347,17 +467,23 @@ void CodeGenFunction::GenerateObjCGetter(ObjCImplementationDecl *IMP,
|
|
else {
|
|
else {
|
|
LValue LV = EmitLValueForIvar(TypeOfSelfObject(), LoadObjCSelf(),
|
|
LValue LV = EmitLValueForIvar(TypeOfSelfObject(), LoadObjCSelf(),
|
|
Ivar, 0);
|
|
Ivar, 0);
|
|
- if (PD->getType()->isReferenceType()) {
|
|
|
|
- RValue RV = RValue::get(LV.getAddress());
|
|
|
|
- EmitReturnOfRValue(RV, PD->getType());
|
|
|
|
- }
|
|
|
|
- else {
|
|
|
|
- CodeGenTypes &Types = CGM.getTypes();
|
|
|
|
- RValue RV = EmitLoadOfLValue(LV, IVART);
|
|
|
|
- RV = RValue::get(Builder.CreateBitCast(RV.getScalarVal(),
|
|
|
|
- Types.ConvertType(PD->getType())));
|
|
|
|
- EmitReturnOfRValue(RV, PD->getType());
|
|
|
|
|
|
+ QualType propType = PD->getType();
|
|
|
|
+
|
|
|
|
+ llvm::Value *value;
|
|
|
|
+ if (propType->isReferenceType()) {
|
|
|
|
+ value = LV.getAddress();
|
|
|
|
+ } else {
|
|
|
|
+ // In ARC, we want to emit this retained.
|
|
|
|
+ if (getLangOptions().ObjCAutoRefCount &&
|
|
|
|
+ PD->getType()->isObjCRetainableType())
|
|
|
|
+ value = emitARCRetainLoadOfScalar(*this, LV, IVART);
|
|
|
|
+ else
|
|
|
|
+ value = EmitLoadOfLValue(LV, IVART).getScalarVal();
|
|
|
|
+
|
|
|
|
+ value = Builder.CreateBitCast(value, ConvertType(propType));
|
|
}
|
|
}
|
|
|
|
+
|
|
|
|
+ EmitReturnOfRValue(RValue::get(value), propType);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
|
|
@@ -597,6 +723,11 @@ namespace {
|
|
};
|
|
};
|
|
}
|
|
}
|
|
|
|
|
|
|
|
+static void pushReleaseForIvar(CodeGenFunction &CGF, ObjCIvarDecl *ivar,
|
|
|
|
+ llvm::Value *self);
|
|
|
|
+static void pushWeakReleaseForIvar(CodeGenFunction &CGF, ObjCIvarDecl *ivar,
|
|
|
|
+ llvm::Value *self);
|
|
|
|
+
|
|
static void emitCXXDestructMethod(CodeGenFunction &CGF,
|
|
static void emitCXXDestructMethod(CodeGenFunction &CGF,
|
|
ObjCImplementationDecl *impl) {
|
|
ObjCImplementationDecl *impl) {
|
|
CodeGenFunction::RunCleanupsScope scope(CGF);
|
|
CodeGenFunction::RunCleanupsScope scope(CGF);
|
|
@@ -631,6 +762,14 @@ static void emitCXXDestructMethod(CodeGenFunction &CGF,
|
|
CGF.EHStack.pushCleanup<CallIvarDtor>(NormalAndEHCleanup,
|
|
CGF.EHStack.pushCleanup<CallIvarDtor>(NormalAndEHCleanup,
|
|
ivar, self);
|
|
ivar, self);
|
|
break;
|
|
break;
|
|
|
|
+
|
|
|
|
+ case QualType::DK_objc_strong_lifetime:
|
|
|
|
+ pushReleaseForIvar(CGF, ivar, self);
|
|
|
|
+ break;
|
|
|
|
+
|
|
|
|
+ case QualType::DK_objc_weak_lifetime:
|
|
|
|
+ pushWeakReleaseForIvar(CGF, ivar, self);
|
|
|
|
+ break;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
|
|
@@ -645,6 +784,9 @@ void CodeGenFunction::GenerateObjCCtorDtorMethod(ObjCImplementationDecl *IMP,
|
|
|
|
|
|
// Emit .cxx_construct.
|
|
// Emit .cxx_construct.
|
|
if (ctor) {
|
|
if (ctor) {
|
|
|
|
+ // Suppress the final autorelease in ARC.
|
|
|
|
+ AutoreleaseResult = false;
|
|
|
|
+
|
|
llvm::SmallVector<CXXCtorInitializer *, 8> IvarInitializers;
|
|
llvm::SmallVector<CXXCtorInitializer *, 8> IvarInitializers;
|
|
for (ObjCImplementationDecl::init_const_iterator B = IMP->init_begin(),
|
|
for (ObjCImplementationDecl::init_const_iterator B = IMP->init_begin(),
|
|
E = IMP->init_end(); B != E; ++B) {
|
|
E = IMP->init_end(); B != E; ++B) {
|
|
@@ -747,6 +889,16 @@ RValue CodeGenFunction::EmitLoadOfPropertyRefLValue(LValue LV,
|
|
|
|
|
|
llvm::Value *Receiver = LV.getPropertyRefBaseAddr();
|
|
llvm::Value *Receiver = LV.getPropertyRefBaseAddr();
|
|
|
|
|
|
|
|
+ if (CGM.getLangOptions().ObjCAutoRefCount) {
|
|
|
|
+ QualType receiverType;
|
|
|
|
+ if (E->isSuperReceiver())
|
|
|
|
+ receiverType = E->getSuperReceiverType();
|
|
|
|
+ else if (E->isClassReceiver())
|
|
|
|
+ receiverType = getContext().getObjCClassType();
|
|
|
|
+ else
|
|
|
|
+ receiverType = E->getBase()->getType();
|
|
|
|
+ }
|
|
|
|
+
|
|
// Accesses to 'super' follow a different code path.
|
|
// Accesses to 'super' follow a different code path.
|
|
if (E->isSuperReceiver())
|
|
if (E->isSuperReceiver())
|
|
return AdjustRelatedResultType(*this, E, method,
|
|
return AdjustRelatedResultType(*this, E, method,
|
|
@@ -757,9 +909,9 @@ RValue CodeGenFunction::EmitLoadOfPropertyRefLValue(LValue LV,
|
|
const ObjCInterfaceDecl *ReceiverClass
|
|
const ObjCInterfaceDecl *ReceiverClass
|
|
= (E->isClassReceiver() ? E->getClassReceiver() : 0);
|
|
= (E->isClassReceiver() ? E->getClassReceiver() : 0);
|
|
return AdjustRelatedResultType(*this, E, method,
|
|
return AdjustRelatedResultType(*this, E, method,
|
|
- CGM.getObjCRuntime().
|
|
|
|
- GenerateMessageSend(*this, Return, ResultType, S,
|
|
|
|
- Receiver, CallArgList(), ReceiverClass));
|
|
|
|
|
|
+ CGM.getObjCRuntime().
|
|
|
|
+ GenerateMessageSend(*this, Return, ResultType, S,
|
|
|
|
+ Receiver, CallArgList(), ReceiverClass));
|
|
}
|
|
}
|
|
|
|
|
|
void CodeGenFunction::EmitStoreThroughPropertyRefLValue(RValue Src,
|
|
void CodeGenFunction::EmitStoreThroughPropertyRefLValue(RValue Src,
|
|
@@ -1072,4 +1224,1197 @@ void CodeGenFunction::EmitObjCAtSynchronizedStmt(
|
|
CGM.getObjCRuntime().EmitSynchronizedStmt(*this, S);
|
|
CGM.getObjCRuntime().EmitSynchronizedStmt(*this, S);
|
|
}
|
|
}
|
|
|
|
|
|
|
|
+/// Produce the code for a CK_ObjCProduceObject. Just does a
|
|
|
|
+/// primitive retain.
|
|
|
|
+llvm::Value *CodeGenFunction::EmitObjCProduceObject(QualType type,
|
|
|
|
+ llvm::Value *value) {
|
|
|
|
+ return EmitARCRetain(type, value);
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+namespace {
|
|
|
|
+ struct CallObjCRelease : EHScopeStack::Cleanup {
|
|
|
|
+ CallObjCRelease(QualType type, llvm::Value *ptr, llvm::Value *condition)
|
|
|
|
+ : type(type), ptr(ptr), condition(condition) {}
|
|
|
|
+ QualType type;
|
|
|
|
+ llvm::Value *ptr;
|
|
|
|
+ llvm::Value *condition;
|
|
|
|
+
|
|
|
|
+ void Emit(CodeGenFunction &CGF, bool forEH) {
|
|
|
|
+ llvm::Value *object;
|
|
|
|
+
|
|
|
|
+ // If we're in a conditional branch, we had to stash away in an
|
|
|
|
+ // alloca the pointer to be released.
|
|
|
|
+ llvm::BasicBlock *cont = 0;
|
|
|
|
+ if (condition) {
|
|
|
|
+ llvm::BasicBlock *release = CGF.createBasicBlock("release.yes");
|
|
|
|
+ cont = CGF.createBasicBlock("release.cont");
|
|
|
|
+
|
|
|
|
+ llvm::Value *cond = CGF.Builder.CreateLoad(condition);
|
|
|
|
+ CGF.Builder.CreateCondBr(cond, release, cont);
|
|
|
|
+ CGF.EmitBlock(release);
|
|
|
|
+ object = CGF.Builder.CreateLoad(ptr);
|
|
|
|
+ } else {
|
|
|
|
+ object = ptr;
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ CGF.EmitARCRelease(object, /*precise*/ true);
|
|
|
|
+
|
|
|
|
+ if (cont) CGF.EmitBlock(cont);
|
|
|
|
+ }
|
|
|
|
+ };
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// Produce the code for a CK_ObjCConsumeObject. Does a primitive
|
|
|
|
+/// release at the end of the full-expression.
|
|
|
|
+llvm::Value *CodeGenFunction::EmitObjCConsumeObject(QualType type,
|
|
|
|
+ llvm::Value *object) {
|
|
|
|
+ // If we're in a conditional branch, we need to make the cleanup
|
|
|
|
+ // conditional. FIXME: this really needs to be supported by the
|
|
|
|
+ // environment.
|
|
|
|
+ llvm::AllocaInst *cond;
|
|
|
|
+ llvm::Value *ptr;
|
|
|
|
+ if (isInConditionalBranch()) {
|
|
|
|
+ cond = CreateTempAlloca(Builder.getInt1Ty(), "release.cond");
|
|
|
|
+ ptr = CreateTempAlloca(object->getType(), "release.value");
|
|
|
|
+
|
|
|
|
+ // The alloca is false until we get here.
|
|
|
|
+ // FIXME: er. doesn't this need to be set at the start of the condition?
|
|
|
|
+ InitTempAlloca(cond, Builder.getFalse());
|
|
|
|
+
|
|
|
|
+ // Then it turns true.
|
|
|
|
+ Builder.CreateStore(Builder.getTrue(), cond);
|
|
|
|
+ Builder.CreateStore(object, ptr);
|
|
|
|
+ } else {
|
|
|
|
+ cond = 0;
|
|
|
|
+ ptr = object;
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ EHStack.pushCleanup<CallObjCRelease>(getARCCleanupKind(), type, ptr, cond);
|
|
|
|
+ return object;
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+llvm::Value *CodeGenFunction::EmitObjCExtendObjectLifetime(QualType type,
|
|
|
|
+ llvm::Value *value) {
|
|
|
|
+ return EmitARCRetainAutorelease(type, value);
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+
|
|
|
|
+static llvm::Constant *createARCRuntimeFunction(CodeGenModule &CGM,
|
|
|
|
+ const llvm::FunctionType *type,
|
|
|
|
+ llvm::StringRef fnName) {
|
|
|
|
+ llvm::Constant *fn = CGM.CreateRuntimeFunction(type, fnName);
|
|
|
|
+
|
|
|
|
+ // In -fobjc-no-arc-runtime, emit weak references to the runtime
|
|
|
|
+ // support library.
|
|
|
|
+ if (CGM.getLangOptions().ObjCNoAutoRefCountRuntime)
|
|
|
|
+ if (llvm::Function *f = dyn_cast<llvm::Function>(fn))
|
|
|
|
+ f->setLinkage(llvm::Function::ExternalWeakLinkage);
|
|
|
|
+
|
|
|
|
+ return fn;
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// Perform an operation having the signature
|
|
|
|
+/// i8* (i8*)
|
|
|
|
+/// where a null input causes a no-op and returns null.
|
|
|
|
+static llvm::Value *emitARCValueOperation(CodeGenFunction &CGF,
|
|
|
|
+ llvm::Value *value,
|
|
|
|
+ llvm::Constant *&fn,
|
|
|
|
+ llvm::StringRef fnName) {
|
|
|
|
+ if (isa<llvm::ConstantPointerNull>(value)) return value;
|
|
|
|
+
|
|
|
|
+ if (!fn) {
|
|
|
|
+ std::vector<const llvm::Type*> args(1, CGF.Int8PtrTy);
|
|
|
|
+ const llvm::FunctionType *fnType =
|
|
|
|
+ llvm::FunctionType::get(CGF.Int8PtrTy, args, false);
|
|
|
|
+ fn = createARCRuntimeFunction(CGF.CGM, fnType, fnName);
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // Cast the argument to 'id'.
|
|
|
|
+ const llvm::Type *origType = value->getType();
|
|
|
|
+ value = CGF.Builder.CreateBitCast(value, CGF.Int8PtrTy);
|
|
|
|
+
|
|
|
|
+ // Call the function.
|
|
|
|
+ llvm::CallInst *call = CGF.Builder.CreateCall(fn, value);
|
|
|
|
+ call->setDoesNotThrow();
|
|
|
|
+
|
|
|
|
+ // Cast the result back to the original type.
|
|
|
|
+ return CGF.Builder.CreateBitCast(call, origType);
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// Perform an operation having the following signature:
|
|
|
|
+/// i8* (i8**)
|
|
|
|
+static llvm::Value *emitARCLoadOperation(CodeGenFunction &CGF,
|
|
|
|
+ llvm::Value *addr,
|
|
|
|
+ llvm::Constant *&fn,
|
|
|
|
+ llvm::StringRef fnName) {
|
|
|
|
+ if (!fn) {
|
|
|
|
+ std::vector<const llvm::Type*> args(1, CGF.Int8PtrPtrTy);
|
|
|
|
+ const llvm::FunctionType *fnType =
|
|
|
|
+ llvm::FunctionType::get(CGF.Int8PtrTy, args, false);
|
|
|
|
+ fn = createARCRuntimeFunction(CGF.CGM, fnType, fnName);
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // Cast the argument to 'id*'.
|
|
|
|
+ const llvm::Type *origType = addr->getType();
|
|
|
|
+ addr = CGF.Builder.CreateBitCast(addr, CGF.Int8PtrPtrTy);
|
|
|
|
+
|
|
|
|
+ // Call the function.
|
|
|
|
+ llvm::CallInst *call = CGF.Builder.CreateCall(fn, addr);
|
|
|
|
+ call->setDoesNotThrow();
|
|
|
|
+
|
|
|
|
+ // Cast the result back to a dereference of the original type.
|
|
|
|
+ llvm::Value *result = call;
|
|
|
|
+ if (origType != CGF.Int8PtrPtrTy)
|
|
|
|
+ result = CGF.Builder.CreateBitCast(result,
|
|
|
|
+ cast<llvm::PointerType>(origType)->getElementType());
|
|
|
|
+
|
|
|
|
+ return result;
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// Perform an operation having the following signature:
|
|
|
|
+/// i8* (i8**, i8*)
|
|
|
|
+static llvm::Value *emitARCStoreOperation(CodeGenFunction &CGF,
|
|
|
|
+ llvm::Value *addr,
|
|
|
|
+ llvm::Value *value,
|
|
|
|
+ llvm::Constant *&fn,
|
|
|
|
+ llvm::StringRef fnName,
|
|
|
|
+ bool ignored) {
|
|
|
|
+ assert(cast<llvm::PointerType>(addr->getType())->getElementType()
|
|
|
|
+ == value->getType());
|
|
|
|
+
|
|
|
|
+ if (!fn) {
|
|
|
|
+ std::vector<const llvm::Type*> argTypes(2);
|
|
|
|
+ argTypes[0] = CGF.Int8PtrPtrTy;
|
|
|
|
+ argTypes[1] = CGF.Int8PtrTy;
|
|
|
|
+
|
|
|
|
+ const llvm::FunctionType *fnType
|
|
|
|
+ = llvm::FunctionType::get(CGF.Int8PtrTy, argTypes, false);
|
|
|
|
+ fn = createARCRuntimeFunction(CGF.CGM, fnType, fnName);
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ const llvm::Type *origType = value->getType();
|
|
|
|
+
|
|
|
|
+ addr = CGF.Builder.CreateBitCast(addr, CGF.Int8PtrPtrTy);
|
|
|
|
+ value = CGF.Builder.CreateBitCast(value, CGF.Int8PtrTy);
|
|
|
|
+
|
|
|
|
+ llvm::CallInst *result = CGF.Builder.CreateCall2(fn, addr, value);
|
|
|
|
+ result->setDoesNotThrow();
|
|
|
|
+
|
|
|
|
+ if (ignored) return 0;
|
|
|
|
+
|
|
|
|
+ return CGF.Builder.CreateBitCast(result, origType);
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// Perform an operation having the following signature:
|
|
|
|
+/// void (i8**, i8**)
|
|
|
|
+static void emitARCCopyOperation(CodeGenFunction &CGF,
|
|
|
|
+ llvm::Value *dst,
|
|
|
|
+ llvm::Value *src,
|
|
|
|
+ llvm::Constant *&fn,
|
|
|
|
+ llvm::StringRef fnName) {
|
|
|
|
+ assert(dst->getType() == src->getType());
|
|
|
|
+
|
|
|
|
+ if (!fn) {
|
|
|
|
+ std::vector<const llvm::Type*> argTypes(2, CGF.Int8PtrPtrTy);
|
|
|
|
+ const llvm::FunctionType *fnType
|
|
|
|
+ = llvm::FunctionType::get(CGF.Builder.getVoidTy(), argTypes, false);
|
|
|
|
+ fn = createARCRuntimeFunction(CGF.CGM, fnType, fnName);
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ dst = CGF.Builder.CreateBitCast(dst, CGF.Int8PtrPtrTy);
|
|
|
|
+ src = CGF.Builder.CreateBitCast(src, CGF.Int8PtrPtrTy);
|
|
|
|
+
|
|
|
|
+ llvm::CallInst *result = CGF.Builder.CreateCall2(fn, dst, src);
|
|
|
|
+ result->setDoesNotThrow();
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// Produce the code to do a retain. Based on the type, calls one of:
|
|
|
|
+/// call i8* @objc_retain(i8* %value)
|
|
|
|
+/// call i8* @objc_retainBlock(i8* %value)
|
|
|
|
+llvm::Value *CodeGenFunction::EmitARCRetain(QualType type, llvm::Value *value) {
|
|
|
|
+ if (type->isBlockPointerType())
|
|
|
|
+ return EmitARCRetainBlock(value);
|
|
|
|
+ else
|
|
|
|
+ return EmitARCRetainNonBlock(value);
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// Retain the given object, with normal retain semantics.
|
|
|
|
+/// call i8* @objc_retain(i8* %value)
|
|
|
|
+llvm::Value *CodeGenFunction::EmitARCRetainNonBlock(llvm::Value *value) {
|
|
|
|
+ return emitARCValueOperation(*this, value,
|
|
|
|
+ CGM.getARCEntrypoints().objc_retain,
|
|
|
|
+ "objc_retain");
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// Retain the given block, with _Block_copy semantics.
|
|
|
|
+/// call i8* @objc_retainBlock(i8* %value)
|
|
|
|
+llvm::Value *CodeGenFunction::EmitARCRetainBlock(llvm::Value *value) {
|
|
|
|
+ return emitARCValueOperation(*this, value,
|
|
|
|
+ CGM.getARCEntrypoints().objc_retainBlock,
|
|
|
|
+ "objc_retainBlock");
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// Retain the given object which is the result of a function call.
|
|
|
|
+/// call i8* @objc_retainAutoreleasedReturnValue(i8* %value)
|
|
|
|
+///
|
|
|
|
+/// Yes, this function name is one character away from a different
|
|
|
|
+/// call with completely different semantics.
|
|
|
|
+llvm::Value *
|
|
|
|
+CodeGenFunction::EmitARCRetainAutoreleasedReturnValue(llvm::Value *value) {
|
|
|
|
+ // Fetch the void(void) inline asm which marks that we're going to
|
|
|
|
+ // retain the autoreleased return value.
|
|
|
|
+ llvm::InlineAsm *&marker
|
|
|
|
+ = CGM.getARCEntrypoints().retainAutoreleasedReturnValueMarker;
|
|
|
|
+ if (!marker) {
|
|
|
|
+ llvm::StringRef assembly
|
|
|
|
+ = CGM.getTargetCodeGenInfo()
|
|
|
|
+ .getARCRetainAutoreleasedReturnValueMarker();
|
|
|
|
+
|
|
|
|
+ // If we have an empty assembly string, there's nothing to do.
|
|
|
|
+ if (assembly.empty()) {
|
|
|
|
+
|
|
|
|
+ // Otherwise, at -O0, build an inline asm that we're going to call
|
|
|
|
+ // in a moment.
|
|
|
|
+ } else if (CGM.getCodeGenOpts().OptimizationLevel == 0) {
|
|
|
|
+ llvm::FunctionType *type =
|
|
|
|
+ llvm::FunctionType::get(llvm::Type::getVoidTy(getLLVMContext()),
|
|
|
|
+ /*variadic*/ false);
|
|
|
|
+
|
|
|
|
+ marker = llvm::InlineAsm::get(type, assembly, "", /*sideeffects*/ true);
|
|
|
|
+
|
|
|
|
+ // If we're at -O1 and above, we don't want to litter the code
|
|
|
|
+ // with this marker yet, so leave a breadcrumb for the ARC
|
|
|
|
+ // optimizer to pick up.
|
|
|
|
+ } else {
|
|
|
|
+ llvm::NamedMDNode *metadata =
|
|
|
|
+ CGM.getModule().getOrInsertNamedMetadata(
|
|
|
|
+ "clang.arc.retainAutoreleasedReturnValueMarker");
|
|
|
|
+ assert(metadata->getNumOperands() <= 1);
|
|
|
|
+ if (metadata->getNumOperands() == 0) {
|
|
|
|
+ llvm::Value *string = llvm::MDString::get(getLLVMContext(), assembly);
|
|
|
|
+ llvm::Value *args[] = { string };
|
|
|
|
+ metadata->addOperand(llvm::MDNode::get(getLLVMContext(), args));
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // Call the marker asm if we made one, which we do only at -O0.
|
|
|
|
+ if (marker) Builder.CreateCall(marker);
|
|
|
|
+
|
|
|
|
+ return emitARCValueOperation(*this, value,
|
|
|
|
+ CGM.getARCEntrypoints().objc_retainAutoreleasedReturnValue,
|
|
|
|
+ "objc_retainAutoreleasedReturnValue");
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// Release the given object.
|
|
|
|
+/// call void @objc_release(i8* %value)
|
|
|
|
+void CodeGenFunction::EmitARCRelease(llvm::Value *value, bool precise) {
|
|
|
|
+ if (isa<llvm::ConstantPointerNull>(value)) return;
|
|
|
|
+
|
|
|
|
+ llvm::Constant *&fn = CGM.getARCEntrypoints().objc_release;
|
|
|
|
+ if (!fn) {
|
|
|
|
+ std::vector<const llvm::Type*> args(1, Int8PtrTy);
|
|
|
|
+ const llvm::FunctionType *fnType =
|
|
|
|
+ llvm::FunctionType::get(Builder.getVoidTy(), args, false);
|
|
|
|
+ fn = createARCRuntimeFunction(CGM, fnType, "objc_release");
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // Cast the argument to 'id'.
|
|
|
|
+ value = Builder.CreateBitCast(value, Int8PtrTy);
|
|
|
|
+
|
|
|
|
+ // Call objc_release.
|
|
|
|
+ llvm::CallInst *call = Builder.CreateCall(fn, value);
|
|
|
|
+ call->setDoesNotThrow();
|
|
|
|
+
|
|
|
|
+ if (!precise) {
|
|
|
|
+ llvm::SmallVector<llvm::Value*,1> args;
|
|
|
|
+ call->setMetadata("clang.imprecise_release",
|
|
|
|
+ llvm::MDNode::get(Builder.getContext(), args));
|
|
|
|
+ }
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// Store into a strong object. Always calls this:
|
|
|
|
+/// call void @objc_storeStrong(i8** %addr, i8* %value)
|
|
|
|
+llvm::Value *CodeGenFunction::EmitARCStoreStrongCall(llvm::Value *addr,
|
|
|
|
+ llvm::Value *value,
|
|
|
|
+ bool ignored) {
|
|
|
|
+ assert(cast<llvm::PointerType>(addr->getType())->getElementType()
|
|
|
|
+ == value->getType());
|
|
|
|
+
|
|
|
|
+ llvm::Constant *&fn = CGM.getARCEntrypoints().objc_storeStrong;
|
|
|
|
+ if (!fn) {
|
|
|
|
+ const llvm::Type *argTypes[] = { Int8PtrPtrTy, Int8PtrTy };
|
|
|
|
+ const llvm::FunctionType *fnType
|
|
|
|
+ = llvm::FunctionType::get(Builder.getVoidTy(), argTypes, false);
|
|
|
|
+ fn = createARCRuntimeFunction(CGM, fnType, "objc_storeStrong");
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ addr = Builder.CreateBitCast(addr, Int8PtrPtrTy);
|
|
|
|
+ llvm::Value *castValue = Builder.CreateBitCast(value, Int8PtrTy);
|
|
|
|
+
|
|
|
|
+ Builder.CreateCall2(fn, addr, castValue)->setDoesNotThrow();
|
|
|
|
+
|
|
|
|
+ if (ignored) return 0;
|
|
|
|
+ return value;
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// Store into a strong object. Sometimes calls this:
|
|
|
|
+/// call void @objc_storeStrong(i8** %addr, i8* %value)
|
|
|
|
+/// Other times, breaks it down into components.
|
|
|
|
+llvm::Value *CodeGenFunction::EmitARCStoreStrong(LValue dst, QualType type,
|
|
|
|
+ llvm::Value *newValue,
|
|
|
|
+ bool ignored) {
|
|
|
|
+ bool isBlock = type->isBlockPointerType();
|
|
|
|
+
|
|
|
|
+ // Use a store barrier at -O0 unless this is a block type or the
|
|
|
|
+ // lvalue is inadequately aligned.
|
|
|
|
+ if (shouldUseFusedARCCalls() &&
|
|
|
|
+ !isBlock &&
|
|
|
|
+ !(dst.getAlignment() && dst.getAlignment() < PointerAlignInBytes)) {
|
|
|
|
+ return EmitARCStoreStrongCall(dst.getAddress(), newValue, ignored);
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // Otherwise, split it out.
|
|
|
|
+
|
|
|
|
+ // Retain the new value.
|
|
|
|
+ newValue = EmitARCRetain(type, newValue);
|
|
|
|
+
|
|
|
|
+ // Read the old value.
|
|
|
|
+ llvm::Value *oldValue =
|
|
|
|
+ EmitLoadOfScalar(dst.getAddress(), dst.isVolatileQualified(),
|
|
|
|
+ dst.getAlignment(), type, dst.getTBAAInfo());
|
|
|
|
+
|
|
|
|
+ // Store. We do this before the release so that any deallocs won't
|
|
|
|
+ // see the old value.
|
|
|
|
+ EmitStoreOfScalar(newValue, dst.getAddress(),
|
|
|
|
+ dst.isVolatileQualified(), dst.getAlignment(),
|
|
|
|
+ type, dst.getTBAAInfo());
|
|
|
|
+
|
|
|
|
+ // Finally, release the old value.
|
|
|
|
+ EmitARCRelease(oldValue, /*precise*/ false);
|
|
|
|
+
|
|
|
|
+ return newValue;
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// Autorelease the given object.
|
|
|
|
+/// call i8* @objc_autorelease(i8* %value)
|
|
|
|
+llvm::Value *CodeGenFunction::EmitARCAutorelease(llvm::Value *value) {
|
|
|
|
+ return emitARCValueOperation(*this, value,
|
|
|
|
+ CGM.getARCEntrypoints().objc_autorelease,
|
|
|
|
+ "objc_autorelease");
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// Autorelease the given object.
|
|
|
|
+/// call i8* @objc_autoreleaseReturnValue(i8* %value)
|
|
|
|
+llvm::Value *
|
|
|
|
+CodeGenFunction::EmitARCAutoreleaseReturnValue(llvm::Value *value) {
|
|
|
|
+ return emitARCValueOperation(*this, value,
|
|
|
|
+ CGM.getARCEntrypoints().objc_autoreleaseReturnValue,
|
|
|
|
+ "objc_autoreleaseReturnValue");
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// Do a fused retain/autorelease of the given object.
|
|
|
|
+/// call i8* @objc_retainAutoreleaseReturnValue(i8* %value)
|
|
|
|
+llvm::Value *
|
|
|
|
+CodeGenFunction::EmitARCRetainAutoreleaseReturnValue(llvm::Value *value) {
|
|
|
|
+ return emitARCValueOperation(*this, value,
|
|
|
|
+ CGM.getARCEntrypoints().objc_retainAutoreleaseReturnValue,
|
|
|
|
+ "objc_retainAutoreleaseReturnValue");
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// Do a fused retain/autorelease of the given object.
|
|
|
|
+/// call i8* @objc_retainAutorelease(i8* %value)
|
|
|
|
+/// or
|
|
|
|
+/// %retain = call i8* @objc_retainBlock(i8* %value)
|
|
|
|
+/// call i8* @objc_autorelease(i8* %retain)
|
|
|
|
+llvm::Value *CodeGenFunction::EmitARCRetainAutorelease(QualType type,
|
|
|
|
+ llvm::Value *value) {
|
|
|
|
+ if (!type->isBlockPointerType())
|
|
|
|
+ return EmitARCRetainAutoreleaseNonBlock(value);
|
|
|
|
+
|
|
|
|
+ if (isa<llvm::ConstantPointerNull>(value)) return value;
|
|
|
|
+
|
|
|
|
+ const llvm::Type *origType = value->getType();
|
|
|
|
+ value = Builder.CreateBitCast(value, Int8PtrTy);
|
|
|
|
+ value = EmitARCRetainBlock(value);
|
|
|
|
+ value = EmitARCAutorelease(value);
|
|
|
|
+ return Builder.CreateBitCast(value, origType);
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// Do a fused retain/autorelease of the given object.
|
|
|
|
+/// call i8* @objc_retainAutorelease(i8* %value)
|
|
|
|
+llvm::Value *
|
|
|
|
+CodeGenFunction::EmitARCRetainAutoreleaseNonBlock(llvm::Value *value) {
|
|
|
|
+ return emitARCValueOperation(*this, value,
|
|
|
|
+ CGM.getARCEntrypoints().objc_retainAutorelease,
|
|
|
|
+ "objc_retainAutorelease");
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// i8* @objc_loadWeak(i8** %addr)
|
|
|
|
+/// Essentially objc_autorelease(objc_loadWeakRetained(addr)).
|
|
|
|
+llvm::Value *CodeGenFunction::EmitARCLoadWeak(llvm::Value *addr) {
|
|
|
|
+ return emitARCLoadOperation(*this, addr,
|
|
|
|
+ CGM.getARCEntrypoints().objc_loadWeak,
|
|
|
|
+ "objc_loadWeak");
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// i8* @objc_loadWeakRetained(i8** %addr)
|
|
|
|
+llvm::Value *CodeGenFunction::EmitARCLoadWeakRetained(llvm::Value *addr) {
|
|
|
|
+ return emitARCLoadOperation(*this, addr,
|
|
|
|
+ CGM.getARCEntrypoints().objc_loadWeakRetained,
|
|
|
|
+ "objc_loadWeakRetained");
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// i8* @objc_storeWeak(i8** %addr, i8* %value)
|
|
|
|
+/// Returns %value.
|
|
|
|
+llvm::Value *CodeGenFunction::EmitARCStoreWeak(llvm::Value *addr,
|
|
|
|
+ llvm::Value *value,
|
|
|
|
+ bool ignored) {
|
|
|
|
+ return emitARCStoreOperation(*this, addr, value,
|
|
|
|
+ CGM.getARCEntrypoints().objc_storeWeak,
|
|
|
|
+ "objc_storeWeak", ignored);
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// i8* @objc_initWeak(i8** %addr, i8* %value)
|
|
|
|
+/// Returns %value. %addr is known to not have a current weak entry.
|
|
|
|
+/// Essentially equivalent to:
|
|
|
|
+/// *addr = nil; objc_storeWeak(addr, value);
|
|
|
|
+void CodeGenFunction::EmitARCInitWeak(llvm::Value *addr, llvm::Value *value) {
|
|
|
|
+ // If we're initializing to null, just write null to memory; no need
|
|
|
|
+ // to get the runtime involved. But don't do this if optimization
|
|
|
|
+ // is enabled, because accounting for this would make the optimizer
|
|
|
|
+ // much more complicated.
|
|
|
|
+ if (isa<llvm::ConstantPointerNull>(value) &&
|
|
|
|
+ CGM.getCodeGenOpts().OptimizationLevel == 0) {
|
|
|
|
+ Builder.CreateStore(value, addr);
|
|
|
|
+ return;
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ emitARCStoreOperation(*this, addr, value,
|
|
|
|
+ CGM.getARCEntrypoints().objc_initWeak,
|
|
|
|
+ "objc_initWeak", /*ignored*/ true);
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// void @objc_destroyWeak(i8** %addr)
|
|
|
|
+/// Essentially objc_storeWeak(addr, nil).
|
|
|
|
+void CodeGenFunction::EmitARCDestroyWeak(llvm::Value *addr) {
|
|
|
|
+ llvm::Constant *&fn = CGM.getARCEntrypoints().objc_destroyWeak;
|
|
|
|
+ if (!fn) {
|
|
|
|
+ std::vector<const llvm::Type*> args(1, Int8PtrPtrTy);
|
|
|
|
+ const llvm::FunctionType *fnType =
|
|
|
|
+ llvm::FunctionType::get(Builder.getVoidTy(), args, false);
|
|
|
|
+ fn = createARCRuntimeFunction(CGM, fnType, "objc_destroyWeak");
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // Cast the argument to 'id*'.
|
|
|
|
+ addr = Builder.CreateBitCast(addr, Int8PtrPtrTy);
|
|
|
|
+
|
|
|
|
+ llvm::CallInst *call = Builder.CreateCall(fn, addr);
|
|
|
|
+ call->setDoesNotThrow();
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// void @objc_moveWeak(i8** %dest, i8** %src)
|
|
|
|
+/// Disregards the current value in %dest. Leaves %src pointing to nothing.
|
|
|
|
+/// Essentially (objc_copyWeak(dest, src), objc_destroyWeak(src)).
|
|
|
|
+void CodeGenFunction::EmitARCMoveWeak(llvm::Value *dst, llvm::Value *src) {
|
|
|
|
+ emitARCCopyOperation(*this, dst, src,
|
|
|
|
+ CGM.getARCEntrypoints().objc_moveWeak,
|
|
|
|
+ "objc_moveWeak");
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// void @objc_copyWeak(i8** %dest, i8** %src)
|
|
|
|
+/// Disregards the current value in %dest. Essentially
|
|
|
|
+/// objc_release(objc_initWeak(dest, objc_readWeakRetained(src)))
|
|
|
|
+void CodeGenFunction::EmitARCCopyWeak(llvm::Value *dst, llvm::Value *src) {
|
|
|
|
+ emitARCCopyOperation(*this, dst, src,
|
|
|
|
+ CGM.getARCEntrypoints().objc_copyWeak,
|
|
|
|
+ "objc_copyWeak");
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// Produce the code to do a objc_autoreleasepool_push.
|
|
|
|
+/// call i8* @objc_autoreleasePoolPush(void)
|
|
|
|
+llvm::Value *CodeGenFunction::EmitObjCAutoreleasePoolPush() {
|
|
|
|
+ llvm::Constant *&fn = CGM.getRREntrypoints().objc_autoreleasePoolPush;
|
|
|
|
+ if (!fn) {
|
|
|
|
+ const llvm::FunctionType *fnType =
|
|
|
|
+ llvm::FunctionType::get(Int8PtrTy, false);
|
|
|
|
+ fn = createARCRuntimeFunction(CGM, fnType, "objc_autoreleasePoolPush");
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ llvm::CallInst *call = Builder.CreateCall(fn);
|
|
|
|
+ call->setDoesNotThrow();
|
|
|
|
+
|
|
|
|
+ return call;
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// Produce the code to do a primitive release.
|
|
|
|
+/// call void @objc_autoreleasePoolPop(i8* %ptr)
|
|
|
|
+void CodeGenFunction::EmitObjCAutoreleasePoolPop(llvm::Value *value) {
|
|
|
|
+ assert(value->getType() == Int8PtrTy);
|
|
|
|
+
|
|
|
|
+ llvm::Constant *&fn = CGM.getRREntrypoints().objc_autoreleasePoolPop;
|
|
|
|
+ if (!fn) {
|
|
|
|
+ std::vector<const llvm::Type*> args(1, Int8PtrTy);
|
|
|
|
+ const llvm::FunctionType *fnType =
|
|
|
|
+ llvm::FunctionType::get(Builder.getVoidTy(), args, false);
|
|
|
|
+
|
|
|
|
+ // We don't want to use a weak import here; instead we should not
|
|
|
|
+ // fall into this path.
|
|
|
|
+ fn = createARCRuntimeFunction(CGM, fnType, "objc_autoreleasePoolPop");
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ llvm::CallInst *call = Builder.CreateCall(fn, value);
|
|
|
|
+ call->setDoesNotThrow();
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// Produce the code to do an MRR version objc_autoreleasepool_push.
|
|
|
|
+/// Which is: [[NSAutoreleasePool alloc] init];
|
|
|
|
+/// Where alloc is declared as: + (id) alloc; in NSAutoreleasePool class.
|
|
|
|
+/// init is declared as: - (id) init; in its NSObject super class.
|
|
|
|
+///
|
|
|
|
+llvm::Value *CodeGenFunction::EmitObjCMRRAutoreleasePoolPush() {
|
|
|
|
+ CGObjCRuntime &Runtime = CGM.getObjCRuntime();
|
|
|
|
+ llvm::Value *Receiver = Runtime.EmitNSAutoreleasePoolClassRef(Builder);
|
|
|
|
+ // [NSAutoreleasePool alloc]
|
|
|
|
+ IdentifierInfo *II = &CGM.getContext().Idents.get("alloc");
|
|
|
|
+ Selector AllocSel = getContext().Selectors.getSelector(0, &II);
|
|
|
|
+ CallArgList Args;
|
|
|
|
+ RValue AllocRV =
|
|
|
|
+ Runtime.GenerateMessageSend(*this, ReturnValueSlot(),
|
|
|
|
+ getContext().getObjCIdType(),
|
|
|
|
+ AllocSel, Receiver, Args);
|
|
|
|
+
|
|
|
|
+ // [Receiver init]
|
|
|
|
+ Receiver = AllocRV.getScalarVal();
|
|
|
|
+ II = &CGM.getContext().Idents.get("init");
|
|
|
|
+ Selector InitSel = getContext().Selectors.getSelector(0, &II);
|
|
|
|
+ RValue InitRV =
|
|
|
|
+ Runtime.GenerateMessageSend(*this, ReturnValueSlot(),
|
|
|
|
+ getContext().getObjCIdType(),
|
|
|
|
+ InitSel, Receiver, Args);
|
|
|
|
+ return InitRV.getScalarVal();
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// Produce the code to do a primitive release.
|
|
|
|
+/// [tmp drain];
|
|
|
|
+void CodeGenFunction::EmitObjCMRRAutoreleasePoolPop(llvm::Value *Arg) {
|
|
|
|
+ IdentifierInfo *II = &CGM.getContext().Idents.get("drain");
|
|
|
|
+ Selector DrainSel = getContext().Selectors.getSelector(0, &II);
|
|
|
|
+ CallArgList Args;
|
|
|
|
+ CGM.getObjCRuntime().GenerateMessageSend(*this, ReturnValueSlot(),
|
|
|
|
+ getContext().VoidTy, DrainSel, Arg, Args);
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+namespace {
|
|
|
|
+ struct ObjCReleasingCleanup : EHScopeStack::Cleanup {
|
|
|
|
+ private:
|
|
|
|
+ QualType type;
|
|
|
|
+ llvm::Value *addr;
|
|
|
|
+
|
|
|
|
+ protected:
|
|
|
|
+ ObjCReleasingCleanup(QualType type, llvm::Value *addr)
|
|
|
|
+ : type(type), addr(addr) {}
|
|
|
|
+
|
|
|
|
+ virtual llvm::Value *getAddress(CodeGenFunction &CGF,
|
|
|
|
+ llvm::Value *addr) {
|
|
|
|
+ return addr;
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ virtual void release(CodeGenFunction &CGF,
|
|
|
|
+ QualType type,
|
|
|
|
+ llvm::Value *addr) = 0;
|
|
|
|
+
|
|
|
|
+ public:
|
|
|
|
+ void Emit(CodeGenFunction &CGF, bool isForEH) {
|
|
|
|
+ const ArrayType *arrayType = CGF.getContext().getAsArrayType(type);
|
|
|
|
+
|
|
|
|
+ llvm::Value *addr = getAddress(CGF, this->addr);
|
|
|
|
+
|
|
|
|
+ // If we don't have an array type, this is easy.
|
|
|
|
+ if (!arrayType)
|
|
|
|
+ return release(CGF, type, addr);
|
|
|
|
+
|
|
|
|
+ llvm::Value *begin = addr;
|
|
|
|
+ QualType baseType;
|
|
|
|
+
|
|
|
|
+ // Otherwise, this is more painful.
|
|
|
|
+ llvm::Value *count = emitArrayLength(CGF, arrayType, baseType,
|
|
|
|
+ begin);
|
|
|
|
+
|
|
|
|
+ assert(baseType == CGF.getContext().getBaseElementType(arrayType));
|
|
|
|
+
|
|
|
|
+ llvm::BasicBlock *incomingBB = CGF.Builder.GetInsertBlock();
|
|
|
|
+
|
|
|
|
+ // id *cur = begin;
|
|
|
|
+ // id *end = begin + count;
|
|
|
|
+ llvm::Value *end =
|
|
|
|
+ CGF.Builder.CreateInBoundsGEP(begin, count, "array.end");
|
|
|
|
+
|
|
|
|
+ // loopBB:
|
|
|
|
+ llvm::BasicBlock *loopBB = CGF.createBasicBlock("release-loop");
|
|
|
|
+ CGF.EmitBlock(loopBB);
|
|
|
|
+
|
|
|
|
+ llvm::PHINode *cur = CGF.Builder.CreatePHI(begin->getType(), 2, "cur");
|
|
|
|
+ cur->addIncoming(begin, incomingBB);
|
|
|
|
+
|
|
|
|
+ // if (cur == end) goto endBB;
|
|
|
|
+ llvm::Value *eq = CGF.Builder.CreateICmpEQ(cur, end, "release-loop.done");
|
|
|
|
+ llvm::BasicBlock *bodyBB = CGF.createBasicBlock("release-loop.body");
|
|
|
|
+ llvm::BasicBlock *endBB = CGF.createBasicBlock("release-loop.cont");
|
|
|
|
+ CGF.Builder.CreateCondBr(eq, endBB, bodyBB);
|
|
|
|
+ CGF.EmitBlock(bodyBB);
|
|
|
|
+
|
|
|
|
+ // Release the value at 'cur'.
|
|
|
|
+ release(CGF, baseType, cur);
|
|
|
|
+
|
|
|
|
+ // ++cur;
|
|
|
|
+ // goto loopBB;
|
|
|
|
+ llvm::Value *next = CGF.Builder.CreateConstInBoundsGEP1_32(cur, 1);
|
|
|
|
+ cur->addIncoming(next, CGF.Builder.GetInsertBlock());
|
|
|
|
+ CGF.Builder.CreateBr(loopBB);
|
|
|
|
+
|
|
|
|
+ // endBB:
|
|
|
|
+ CGF.EmitBlock(endBB);
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ private:
|
|
|
|
+ /// Computes the length of an array in elements, as well
|
|
|
|
+ /// as the base
|
|
|
|
+ static llvm::Value *emitArrayLength(CodeGenFunction &CGF,
|
|
|
|
+ const ArrayType *origArrayType,
|
|
|
|
+ QualType &baseType,
|
|
|
|
+ llvm::Value *&addr) {
|
|
|
|
+ ASTContext &Ctx = CGF.getContext();
|
|
|
|
+ const ArrayType *arrayType = origArrayType;
|
|
|
|
+
|
|
|
|
+ // If it's a VLA, we have to load the stored size. Note that
|
|
|
|
+ // this is the size of the VLA in bytes, not its size in elements.
|
|
|
|
+ llvm::Value *vlaSizeInBytes = 0;
|
|
|
|
+ if (isa<VariableArrayType>(arrayType)) {
|
|
|
|
+ vlaSizeInBytes = CGF.GetVLASize(cast<VariableArrayType>(arrayType));
|
|
|
|
+
|
|
|
|
+ // Walk into all VLAs. This doesn't require changes to addr,
|
|
|
|
+ // which has type T* where T is the first non-VLA element type.
|
|
|
|
+ do {
|
|
|
|
+ QualType elementType = arrayType->getElementType();
|
|
|
|
+ arrayType = Ctx.getAsArrayType(elementType);
|
|
|
|
+
|
|
|
|
+ // If we only have VLA components, 'addr' requires no adjustment.
|
|
|
|
+ if (!arrayType) {
|
|
|
|
+ baseType = elementType;
|
|
|
|
+ return divideVLASizeByBaseType(CGF, vlaSizeInBytes, baseType);
|
|
|
|
+ }
|
|
|
|
+ } while (isa<VariableArrayType>(arrayType));
|
|
|
|
+
|
|
|
|
+ // We get out here only if we find a constant array type
|
|
|
|
+ // inside the VLA.
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // We have some number of constant-length arrays, so addr should
|
|
|
|
+ // have LLVM type [M x [N x [...]]]*. Build a GEP that walks
|
|
|
|
+ // down to the first element of addr.
|
|
|
|
+ llvm::SmallVector<llvm::Value*, 8> gepIndices;
|
|
|
|
+
|
|
|
|
+ // GEP down to the array type.
|
|
|
|
+ llvm::ConstantInt *zero = CGF.Builder.getInt32(0);
|
|
|
|
+ gepIndices.push_back(zero);
|
|
|
|
+
|
|
|
|
+ // It's more efficient to calculate the count from the LLVM
|
|
|
|
+ // constant-length arrays than to re-evaluate the array bounds.
|
|
|
|
+ uint64_t countFromCLAs = 1;
|
|
|
|
+
|
|
|
|
+ const llvm::ArrayType *llvmArrayType =
|
|
|
|
+ cast<llvm::ArrayType>(
|
|
|
|
+ cast<llvm::PointerType>(addr->getType())->getElementType());
|
|
|
|
+ while (true) {
|
|
|
|
+ assert(isa<ConstantArrayType>(arrayType));
|
|
|
|
+ assert(cast<ConstantArrayType>(arrayType)->getSize().getZExtValue()
|
|
|
|
+ == llvmArrayType->getNumElements());
|
|
|
|
+
|
|
|
|
+ gepIndices.push_back(zero);
|
|
|
|
+ countFromCLAs *= llvmArrayType->getNumElements();
|
|
|
|
+
|
|
|
|
+ llvmArrayType =
|
|
|
|
+ dyn_cast<llvm::ArrayType>(llvmArrayType->getElementType());
|
|
|
|
+ if (!llvmArrayType) break;
|
|
|
|
+
|
|
|
|
+ arrayType = Ctx.getAsArrayType(arrayType->getElementType());
|
|
|
|
+ assert(arrayType && "LLVM and Clang types are out-of-synch");
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // Create the actual GEP.
|
|
|
|
+ addr = CGF.Builder.CreateInBoundsGEP(addr, gepIndices.begin(),
|
|
|
|
+ gepIndices.end(), "array.begin");
|
|
|
|
+
|
|
|
|
+ baseType = arrayType->getElementType();
|
|
|
|
+
|
|
|
|
+ // If we had an VLA dimensions, we need to use the captured size.
|
|
|
|
+ if (vlaSizeInBytes)
|
|
|
|
+ return divideVLASizeByBaseType(CGF, vlaSizeInBytes, baseType);
|
|
|
|
+
|
|
|
|
+ // Otherwise, use countFromCLAs.
|
|
|
|
+ assert(countFromCLAs == (uint64_t)
|
|
|
|
+ (Ctx.getTypeSizeInChars(origArrayType).getQuantity() /
|
|
|
|
+ Ctx.getTypeSizeInChars(baseType).getQuantity()));
|
|
|
|
+
|
|
|
|
+ return llvm::ConstantInt::get(CGF.IntPtrTy, countFromCLAs);
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ static llvm::Value *divideVLASizeByBaseType(CodeGenFunction &CGF,
|
|
|
|
+ llvm::Value *vlaSizeInBytes,
|
|
|
|
+ QualType baseType) {
|
|
|
|
+ // Divide the base type size back out of the
|
|
|
|
+ CharUnits baseSize = CGF.getContext().getTypeSizeInChars(baseType);
|
|
|
|
+ llvm::Value *baseSizeInBytes =
|
|
|
|
+ llvm::ConstantInt::get(vlaSizeInBytes->getType(),
|
|
|
|
+ baseSize.getQuantity());
|
|
|
|
+
|
|
|
|
+ return CGF.Builder.CreateUDiv(vlaSizeInBytes, baseSizeInBytes,
|
|
|
|
+ "array.vla-count");
|
|
|
|
+ }
|
|
|
|
+ };
|
|
|
|
+
|
|
|
|
+ /// A cleanup that calls @objc_release on all the objects to release.
|
|
|
|
+ struct CallReleaseForObject : ObjCReleasingCleanup {
|
|
|
|
+ bool precise;
|
|
|
|
+ CallReleaseForObject(QualType type, llvm::Value *addr, bool precise)
|
|
|
|
+ : ObjCReleasingCleanup(type, addr), precise(precise) {}
|
|
|
|
+
|
|
|
|
+ void release(CodeGenFunction &CGF, QualType type, llvm::Value *addr) {
|
|
|
|
+ llvm::Value *ptr = CGF.Builder.CreateLoad(addr, "tmp");
|
|
|
|
+ CGF.EmitARCRelease(ptr, precise);
|
|
|
|
+ }
|
|
|
|
+ };
|
|
|
|
+
|
|
|
|
+ /// A cleanup that calls @objc_storeStrong(nil) on all the objects to
|
|
|
|
+ /// release in an ivar.
|
|
|
|
+ struct CallReleaseForIvar : ObjCReleasingCleanup {
|
|
|
|
+ const ObjCIvarDecl *ivar;
|
|
|
|
+ CallReleaseForIvar(const ObjCIvarDecl *ivar, llvm::Value *self)
|
|
|
|
+ : ObjCReleasingCleanup(ivar->getType(), self), ivar(ivar) {}
|
|
|
|
+
|
|
|
|
+ llvm::Value *getAddress(CodeGenFunction &CGF, llvm::Value *addr) {
|
|
|
|
+ LValue lvalue
|
|
|
|
+ = CGF.EmitLValueForIvar(CGF.TypeOfSelfObject(), addr, ivar, /*CVR*/ 0);
|
|
|
|
+ return lvalue.getAddress();
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ void release(CodeGenFunction &CGF, QualType type, llvm::Value *addr) {
|
|
|
|
+ // Release ivars by storing nil into them; it just makes things easier.
|
|
|
|
+ llvm::Value *null = getNullForVariable(addr);
|
|
|
|
+ CGF.EmitARCStoreStrongCall(addr, null, /*ignored*/ true);
|
|
|
|
+ }
|
|
|
|
+ };
|
|
|
|
+
|
|
|
|
+ /// A cleanup that calls @objc_release on all of the objects to release in
|
|
|
|
+ /// a field.
|
|
|
|
+ struct CallReleaseForField : CallReleaseForObject {
|
|
|
|
+ const FieldDecl *Field;
|
|
|
|
+
|
|
|
|
+ explicit CallReleaseForField(const FieldDecl *Field)
|
|
|
|
+ : CallReleaseForObject(Field->getType(), 0, /*precise=*/true),
|
|
|
|
+ Field(Field) { }
|
|
|
|
+
|
|
|
|
+ llvm::Value *getAddress(CodeGenFunction &CGF, llvm::Value *) {
|
|
|
|
+ llvm::Value *This = CGF.LoadCXXThis();
|
|
|
|
+ LValue LV = CGF.EmitLValueForField(This, Field, 0);
|
|
|
|
+ return LV.getAddress();
|
|
|
|
+ }
|
|
|
|
+ };
|
|
|
|
+
|
|
|
|
+ /// A cleanup that calls @objc_weak_release on all the objects to
|
|
|
|
+ /// release in an object.
|
|
|
|
+ struct CallWeakReleaseForObject : ObjCReleasingCleanup {
|
|
|
|
+ CallWeakReleaseForObject(QualType type, llvm::Value *addr)
|
|
|
|
+ : ObjCReleasingCleanup(type, addr) {}
|
|
|
|
+
|
|
|
|
+ void release(CodeGenFunction &CGF, QualType type, llvm::Value *addr) {
|
|
|
|
+ CGF.EmitARCDestroyWeak(addr);
|
|
|
|
+ }
|
|
|
|
+ };
|
|
|
|
+
|
|
|
|
+
|
|
|
|
+ /// A cleanup that calls @objc_weak_release on all the objects to
|
|
|
|
+ /// release in an ivar.
|
|
|
|
+ struct CallWeakReleaseForIvar : CallWeakReleaseForObject {
|
|
|
|
+ const ObjCIvarDecl *ivar;
|
|
|
|
+ CallWeakReleaseForIvar(const ObjCIvarDecl *ivar, llvm::Value *self)
|
|
|
|
+ : CallWeakReleaseForObject(ivar->getType(), self), ivar(ivar) {}
|
|
|
|
+
|
|
|
|
+ llvm::Value *getAddress(CodeGenFunction &CGF, llvm::Value *addr) {
|
|
|
|
+ LValue lvalue
|
|
|
|
+ = CGF.EmitLValueForIvar(CGF.TypeOfSelfObject(), addr, ivar, /*CVR*/ 0);
|
|
|
|
+ return lvalue.getAddress();
|
|
|
|
+ }
|
|
|
|
+ };
|
|
|
|
+
|
|
|
|
+ /// A cleanup that calls @objc_weak_release on all the objects to
|
|
|
|
+ /// release in a field;
|
|
|
|
+ struct CallWeakReleaseForField : CallWeakReleaseForObject {
|
|
|
|
+ const FieldDecl *Field;
|
|
|
|
+ CallWeakReleaseForField(const FieldDecl *Field)
|
|
|
|
+ : CallWeakReleaseForObject(Field->getType(), 0), Field(Field) {}
|
|
|
|
+
|
|
|
|
+ llvm::Value *getAddress(CodeGenFunction &CGF, llvm::Value *) {
|
|
|
|
+ llvm::Value *This = CGF.LoadCXXThis();
|
|
|
|
+ LValue LV = CGF.EmitLValueForField(This, Field, 0);
|
|
|
|
+ return LV.getAddress();
|
|
|
|
+ }
|
|
|
|
+ };
|
|
|
|
+
|
|
|
|
+ struct CallObjCAutoreleasePoolObject : EHScopeStack::Cleanup {
|
|
|
|
+ llvm::Value *Token;
|
|
|
|
+
|
|
|
|
+ CallObjCAutoreleasePoolObject(llvm::Value *token) : Token(token) {}
|
|
|
|
+
|
|
|
|
+ void Emit(CodeGenFunction &CGF, bool isForEH) {
|
|
|
|
+ CGF.EmitObjCAutoreleasePoolPop(Token);
|
|
|
|
+ }
|
|
|
|
+ };
|
|
|
|
+ struct CallObjCMRRAutoreleasePoolObject : EHScopeStack::Cleanup {
|
|
|
|
+ llvm::Value *Token;
|
|
|
|
+
|
|
|
|
+ CallObjCMRRAutoreleasePoolObject(llvm::Value *token) : Token(token) {}
|
|
|
|
+
|
|
|
|
+ void Emit(CodeGenFunction &CGF, bool isForEH) {
|
|
|
|
+ CGF.EmitObjCMRRAutoreleasePoolPop(Token);
|
|
|
|
+ }
|
|
|
|
+ };
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+void CodeGenFunction::EmitObjCAutoreleasePoolCleanup(llvm::Value *Ptr) {
|
|
|
|
+ if (CGM.getLangOptions().ObjCAutoRefCount)
|
|
|
|
+ EHStack.pushCleanup<CallObjCAutoreleasePoolObject>(NormalCleanup, Ptr);
|
|
|
|
+ else
|
|
|
|
+ EHStack.pushCleanup<CallObjCMRRAutoreleasePoolObject>(NormalCleanup, Ptr);
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// PushARCReleaseCleanup - Enter a cleanup to perform a release on a
|
|
|
|
+/// given object or array of objects.
|
|
|
|
+void CodeGenFunction::PushARCReleaseCleanup(CleanupKind cleanupKind,
|
|
|
|
+ QualType type,
|
|
|
|
+ llvm::Value *addr,
|
|
|
|
+ bool precise) {
|
|
|
|
+ EHStack.pushCleanup<CallReleaseForObject>(cleanupKind, type, addr, precise);
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// PushARCWeakReleaseCleanup - Enter a cleanup to perform a weak
|
|
|
|
+/// release on the given object or array of objects.
|
|
|
|
+void CodeGenFunction::PushARCWeakReleaseCleanup(CleanupKind cleanupKind,
|
|
|
|
+ QualType type,
|
|
|
|
+ llvm::Value *addr) {
|
|
|
|
+ EHStack.pushCleanup<CallWeakReleaseForObject>(cleanupKind, type, addr);
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// PushARCReleaseCleanup - Enter a cleanup to perform a release on a
|
|
|
|
+/// given object or array of objects.
|
|
|
|
+void CodeGenFunction::PushARCFieldReleaseCleanup(CleanupKind cleanupKind,
|
|
|
|
+ const FieldDecl *field) {
|
|
|
|
+ EHStack.pushCleanup<CallReleaseForField>(cleanupKind, field);
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// PushARCWeakReleaseCleanup - Enter a cleanup to perform a weak
|
|
|
|
+/// release on the given object or array of objects.
|
|
|
|
+void CodeGenFunction::PushARCFieldWeakReleaseCleanup(CleanupKind cleanupKind,
|
|
|
|
+ const FieldDecl *field) {
|
|
|
|
+ EHStack.pushCleanup<CallWeakReleaseForField>(cleanupKind, field);
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+static void pushReleaseForIvar(CodeGenFunction &CGF, ObjCIvarDecl *ivar,
|
|
|
|
+ llvm::Value *self) {
|
|
|
|
+ CGF.EHStack.pushCleanup<CallReleaseForIvar>(CGF.getARCCleanupKind(),
|
|
|
|
+ ivar, self);
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+static void pushWeakReleaseForIvar(CodeGenFunction &CGF, ObjCIvarDecl *ivar,
|
|
|
|
+ llvm::Value *self) {
|
|
|
|
+ CGF.EHStack.pushCleanup<CallWeakReleaseForIvar>(CGF.getARCCleanupKind(),
|
|
|
|
+ ivar, self);
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+static TryEmitResult tryEmitARCRetainLoadOfScalar(CodeGenFunction &CGF,
|
|
|
|
+ LValue lvalue,
|
|
|
|
+ QualType type) {
|
|
|
|
+ switch (type.getObjCLifetime()) {
|
|
|
|
+ case Qualifiers::OCL_None:
|
|
|
|
+ case Qualifiers::OCL_ExplicitNone:
|
|
|
|
+ case Qualifiers::OCL_Strong:
|
|
|
|
+ case Qualifiers::OCL_Autoreleasing:
|
|
|
|
+ return TryEmitResult(CGF.EmitLoadOfLValue(lvalue, type).getScalarVal(),
|
|
|
|
+ false);
|
|
|
|
+
|
|
|
|
+ case Qualifiers::OCL_Weak:
|
|
|
|
+ return TryEmitResult(CGF.EmitARCLoadWeakRetained(lvalue.getAddress()),
|
|
|
|
+ true);
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ llvm_unreachable("impossible lifetime!");
|
|
|
|
+ return TryEmitResult();
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+static TryEmitResult tryEmitARCRetainLoadOfScalar(CodeGenFunction &CGF,
|
|
|
|
+ const Expr *e) {
|
|
|
|
+ e = e->IgnoreParens();
|
|
|
|
+ QualType type = e->getType();
|
|
|
|
+
|
|
|
|
+ // As a very special optimization, in ARC++, if the l-value is the
|
|
|
|
+ // result of a non-volatile assignment, do a simple retain of the
|
|
|
|
+ // result of the call to objc_storeWeak instead of reloading.
|
|
|
|
+ if (CGF.getLangOptions().CPlusPlus &&
|
|
|
|
+ !type.isVolatileQualified() &&
|
|
|
|
+ type.getObjCLifetime() == Qualifiers::OCL_Weak &&
|
|
|
|
+ isa<BinaryOperator>(e) &&
|
|
|
|
+ cast<BinaryOperator>(e)->getOpcode() == BO_Assign)
|
|
|
|
+ return TryEmitResult(CGF.EmitScalarExpr(e), false);
|
|
|
|
+
|
|
|
|
+ return tryEmitARCRetainLoadOfScalar(CGF, CGF.EmitLValue(e), type);
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+static llvm::Value *emitARCRetainAfterCall(CodeGenFunction &CGF,
|
|
|
|
+ llvm::Value *value);
|
|
|
|
+
|
|
|
|
+/// Given that the given expression is some sort of call (which does
|
|
|
|
+/// not return retained), emit a retain following it.
|
|
|
|
+static llvm::Value *emitARCRetainCall(CodeGenFunction &CGF, const Expr *e) {
|
|
|
|
+ llvm::Value *value = CGF.EmitScalarExpr(e);
|
|
|
|
+ return emitARCRetainAfterCall(CGF, value);
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+static llvm::Value *emitARCRetainAfterCall(CodeGenFunction &CGF,
|
|
|
|
+ llvm::Value *value) {
|
|
|
|
+ if (llvm::CallInst *call = dyn_cast<llvm::CallInst>(value)) {
|
|
|
|
+ CGBuilderTy::InsertPoint ip = CGF.Builder.saveIP();
|
|
|
|
+
|
|
|
|
+ // Place the retain immediately following the call.
|
|
|
|
+ CGF.Builder.SetInsertPoint(call->getParent(),
|
|
|
|
+ ++llvm::BasicBlock::iterator(call));
|
|
|
|
+ value = CGF.EmitARCRetainAutoreleasedReturnValue(value);
|
|
|
|
+
|
|
|
|
+ CGF.Builder.restoreIP(ip);
|
|
|
|
+ return value;
|
|
|
|
+ } else if (llvm::InvokeInst *invoke = dyn_cast<llvm::InvokeInst>(value)) {
|
|
|
|
+ CGBuilderTy::InsertPoint ip = CGF.Builder.saveIP();
|
|
|
|
+
|
|
|
|
+ // Place the retain at the beginning of the normal destination block.
|
|
|
|
+ llvm::BasicBlock *BB = invoke->getNormalDest();
|
|
|
|
+ CGF.Builder.SetInsertPoint(BB, BB->begin());
|
|
|
|
+ value = CGF.EmitARCRetainAutoreleasedReturnValue(value);
|
|
|
|
+
|
|
|
|
+ CGF.Builder.restoreIP(ip);
|
|
|
|
+ return value;
|
|
|
|
+
|
|
|
|
+ // Bitcasts can arise because of related-result returns. Rewrite
|
|
|
|
+ // the operand.
|
|
|
|
+ } else if (llvm::BitCastInst *bitcast = dyn_cast<llvm::BitCastInst>(value)) {
|
|
|
|
+ llvm::Value *operand = bitcast->getOperand(0);
|
|
|
|
+ operand = emitARCRetainAfterCall(CGF, operand);
|
|
|
|
+ bitcast->setOperand(0, operand);
|
|
|
|
+ return bitcast;
|
|
|
|
+
|
|
|
|
+ // Generic fall-back case.
|
|
|
|
+ } else {
|
|
|
|
+ // Retain using the non-block variant: we never need to do a copy
|
|
|
|
+ // of a block that's been returned to us.
|
|
|
|
+ return CGF.EmitARCRetainNonBlock(value);
|
|
|
|
+ }
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+static TryEmitResult
|
|
|
|
+tryEmitARCRetainScalarExpr(CodeGenFunction &CGF, const Expr *e) {
|
|
|
|
+ QualType originalType = e->getType();
|
|
|
|
+
|
|
|
|
+ // The desired result type, if it differs from the type of the
|
|
|
|
+ // ultimate opaque expression.
|
|
|
|
+ const llvm::Type *resultType = 0;
|
|
|
|
+
|
|
|
|
+ while (true) {
|
|
|
|
+ e = e->IgnoreParens();
|
|
|
|
+
|
|
|
|
+ // There's a break at the end of this if-chain; anything
|
|
|
|
+ // that wants to keep looping has to explicitly continue.
|
|
|
|
+ if (const CastExpr *ce = dyn_cast<CastExpr>(e)) {
|
|
|
|
+ switch (ce->getCastKind()) {
|
|
|
|
+ // No-op casts don't change the type, so we just ignore them.
|
|
|
|
+ case CK_NoOp:
|
|
|
|
+ e = ce->getSubExpr();
|
|
|
|
+ continue;
|
|
|
|
+
|
|
|
|
+ case CK_LValueToRValue: {
|
|
|
|
+ TryEmitResult loadResult
|
|
|
|
+ = tryEmitARCRetainLoadOfScalar(CGF, ce->getSubExpr());
|
|
|
|
+ if (resultType) {
|
|
|
|
+ llvm::Value *value = loadResult.getPointer();
|
|
|
|
+ value = CGF.Builder.CreateBitCast(value, resultType);
|
|
|
|
+ loadResult.setPointer(value);
|
|
|
|
+ }
|
|
|
|
+ return loadResult;
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // These casts can change the type, so remember that and
|
|
|
|
+ // soldier on. We only need to remember the outermost such
|
|
|
|
+ // cast, though.
|
|
|
|
+ case CK_AnyPointerToObjCPointerCast:
|
|
|
|
+ case CK_AnyPointerToBlockPointerCast:
|
|
|
|
+ case CK_BitCast:
|
|
|
|
+ if (!resultType)
|
|
|
|
+ resultType = CGF.ConvertType(ce->getType());
|
|
|
|
+ e = ce->getSubExpr();
|
|
|
|
+ assert(e->getType()->hasPointerRepresentation());
|
|
|
|
+ continue;
|
|
|
|
+
|
|
|
|
+ // For consumptions, just emit the subexpression and thus elide
|
|
|
|
+ // the retain/release pair.
|
|
|
|
+ case CK_ObjCConsumeObject: {
|
|
|
|
+ llvm::Value *result = CGF.EmitScalarExpr(ce->getSubExpr());
|
|
|
|
+ if (resultType) result = CGF.Builder.CreateBitCast(result, resultType);
|
|
|
|
+ return TryEmitResult(result, true);
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ case CK_GetObjCProperty: {
|
|
|
|
+ llvm::Value *result = emitARCRetainCall(CGF, ce);
|
|
|
|
+ if (resultType) result = CGF.Builder.CreateBitCast(result, resultType);
|
|
|
|
+ return TryEmitResult(result, true);
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ default:
|
|
|
|
+ break;
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // Skip __extension__.
|
|
|
|
+ } else if (const UnaryOperator *op = dyn_cast<UnaryOperator>(e)) {
|
|
|
|
+ if (op->getOpcode() == UO_Extension) {
|
|
|
|
+ e = op->getSubExpr();
|
|
|
|
+ continue;
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // For calls and message sends, use the retained-call logic.
|
|
|
|
+ // Delegate inits are a special case in that they're the only
|
|
|
|
+ // returns-retained expression that *isn't* surrounded by
|
|
|
|
+ // a consume.
|
|
|
|
+ } else if (isa<CallExpr>(e) ||
|
|
|
|
+ (isa<ObjCMessageExpr>(e) &&
|
|
|
|
+ !cast<ObjCMessageExpr>(e)->isDelegateInitCall())) {
|
|
|
|
+ llvm::Value *result = emitARCRetainCall(CGF, e);
|
|
|
|
+ if (resultType) result = CGF.Builder.CreateBitCast(result, resultType);
|
|
|
|
+ return TryEmitResult(result, true);
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // Conservatively halt the search at any other expression kind.
|
|
|
|
+ break;
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // We didn't find an obvious production, so emit what we've got and
|
|
|
|
+ // tell the caller that we didn't manage to retain.
|
|
|
|
+ llvm::Value *result = CGF.EmitScalarExpr(e);
|
|
|
|
+ if (resultType) result = CGF.Builder.CreateBitCast(result, resultType);
|
|
|
|
+ return TryEmitResult(result, false);
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+static llvm::Value *emitARCRetainLoadOfScalar(CodeGenFunction &CGF,
|
|
|
|
+ LValue lvalue,
|
|
|
|
+ QualType type) {
|
|
|
|
+ TryEmitResult result = tryEmitARCRetainLoadOfScalar(CGF, lvalue, type);
|
|
|
|
+ llvm::Value *value = result.getPointer();
|
|
|
|
+ if (!result.getInt())
|
|
|
|
+ value = CGF.EmitARCRetain(type, value);
|
|
|
|
+ return value;
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// EmitARCRetainScalarExpr - Semantically equivalent to
|
|
|
|
+/// EmitARCRetainObject(e->getType(), EmitScalarExpr(e)), but making a
|
|
|
|
+/// best-effort attempt to peephole expressions that naturally produce
|
|
|
|
+/// retained objects.
|
|
|
|
+llvm::Value *CodeGenFunction::EmitARCRetainScalarExpr(const Expr *e) {
|
|
|
|
+ TryEmitResult result = tryEmitARCRetainScalarExpr(*this, e);
|
|
|
|
+ llvm::Value *value = result.getPointer();
|
|
|
|
+ if (!result.getInt())
|
|
|
|
+ value = EmitARCRetain(e->getType(), value);
|
|
|
|
+ return value;
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+llvm::Value *
|
|
|
|
+CodeGenFunction::EmitARCRetainAutoreleaseScalarExpr(const Expr *e) {
|
|
|
|
+ TryEmitResult result = tryEmitARCRetainScalarExpr(*this, e);
|
|
|
|
+ llvm::Value *value = result.getPointer();
|
|
|
|
+ if (result.getInt())
|
|
|
|
+ value = EmitARCAutorelease(value);
|
|
|
|
+ else
|
|
|
|
+ value = EmitARCRetainAutorelease(e->getType(), value);
|
|
|
|
+ return value;
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+std::pair<LValue,llvm::Value*>
|
|
|
|
+CodeGenFunction::EmitARCStoreStrong(const BinaryOperator *e,
|
|
|
|
+ bool ignored) {
|
|
|
|
+ // Evaluate the RHS first.
|
|
|
|
+ TryEmitResult result = tryEmitARCRetainScalarExpr(*this, e->getRHS());
|
|
|
|
+ llvm::Value *value = result.getPointer();
|
|
|
|
+
|
|
|
|
+ LValue lvalue = EmitLValue(e->getLHS());
|
|
|
|
+
|
|
|
|
+ // If the RHS was emitted retained, expand this.
|
|
|
|
+ if (result.getInt()) {
|
|
|
|
+ llvm::Value *oldValue =
|
|
|
|
+ EmitLoadOfScalar(lvalue.getAddress(), lvalue.isVolatileQualified(),
|
|
|
|
+ lvalue.getAlignment(), e->getType(),
|
|
|
|
+ lvalue.getTBAAInfo());
|
|
|
|
+ EmitStoreOfScalar(value, lvalue.getAddress(),
|
|
|
|
+ lvalue.isVolatileQualified(), lvalue.getAlignment(),
|
|
|
|
+ e->getType(), lvalue.getTBAAInfo());
|
|
|
|
+ EmitARCRelease(oldValue, /*precise*/ false);
|
|
|
|
+ } else {
|
|
|
|
+ value = EmitARCStoreStrong(lvalue, e->getType(), value, ignored);
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ return std::pair<LValue,llvm::Value*>(lvalue, value);
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+std::pair<LValue,llvm::Value*>
|
|
|
|
+CodeGenFunction::EmitARCStoreAutoreleasing(const BinaryOperator *e) {
|
|
|
|
+ llvm::Value *value = EmitARCRetainAutoreleaseScalarExpr(e->getRHS());
|
|
|
|
+ LValue lvalue = EmitLValue(e->getLHS());
|
|
|
|
+
|
|
|
|
+ EmitStoreOfScalar(value, lvalue.getAddress(),
|
|
|
|
+ lvalue.isVolatileQualified(), lvalue.getAlignment(),
|
|
|
|
+ e->getType(), lvalue.getTBAAInfo());
|
|
|
|
+
|
|
|
|
+ return std::pair<LValue,llvm::Value*>(lvalue, value);
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+void CodeGenFunction::EmitObjCAutoreleasePoolStmt(
|
|
|
|
+ const ObjCAutoreleasePoolStmt &ARPS) {
|
|
|
|
+ const Stmt *subStmt = ARPS.getSubStmt();
|
|
|
|
+ const CompoundStmt &S = cast<CompoundStmt>(*subStmt);
|
|
|
|
+
|
|
|
|
+ CGDebugInfo *DI = getDebugInfo();
|
|
|
|
+ if (DI) {
|
|
|
|
+ DI->setLocation(S.getLBracLoc());
|
|
|
|
+ DI->EmitRegionStart(Builder);
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // Keep track of the current cleanup stack depth.
|
|
|
|
+ RunCleanupsScope Scope(*this);
|
|
|
|
+ const llvm::Triple Triple = getContext().Target.getTriple();
|
|
|
|
+ if (CGM.getLangOptions().ObjCAutoRefCount ||
|
|
|
|
+ (CGM.isTargetDarwin() &&
|
|
|
|
+ ((Triple.getArch() == llvm::Triple::x86_64 &&
|
|
|
|
+ Triple.getDarwinMajorNumber() >= 11)
|
|
|
|
+ || (Triple.getEnvironmentName() == "iphoneos" &&
|
|
|
|
+ Triple.getDarwinMajorNumber() >= 5)))) {
|
|
|
|
+ llvm::Value *token = EmitObjCAutoreleasePoolPush();
|
|
|
|
+ EHStack.pushCleanup<CallObjCAutoreleasePoolObject>(NormalCleanup, token);
|
|
|
|
+ } else {
|
|
|
|
+ llvm::Value *token = EmitObjCMRRAutoreleasePoolPush();
|
|
|
|
+ EHStack.pushCleanup<CallObjCMRRAutoreleasePoolObject>(NormalCleanup, token);
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ for (CompoundStmt::const_body_iterator I = S.body_begin(),
|
|
|
|
+ E = S.body_end(); I != E; ++I)
|
|
|
|
+ EmitStmt(*I);
|
|
|
|
+
|
|
|
|
+ if (DI) {
|
|
|
|
+ DI->setLocation(S.getRBracLoc());
|
|
|
|
+ DI->EmitRegionEnd(Builder);
|
|
|
|
+ }
|
|
|
|
+}
|
|
CGObjCRuntime::~CGObjCRuntime() {}
|
|
CGObjCRuntime::~CGObjCRuntime() {}
|