Unverified Commit cb62f670 authored by Jon Roelofs's avatar Jon Roelofs
Browse files

Revert "[Intrinsics][ObjC] Mark objc_retain and friends as thisreturn." 

This reverts commit ed83797f.

Reverting pending the investigation of https://github.com/llvm/llvm-project/issues/69658
parent e78e1f51

clang/lib/CodeGen/CGCall.cpp

+3 −3
Original line number Diff line number Diff line
@@ -3447,9 +3447,9 @@ static llvm::Value *tryRemoveRetainOfSelf(CodeGenFunction &CGF, 
  const VarDecl *self = method->getSelfDecl();

  if (!self->getType().isConstQualified()) return nullptr;



  // Look for a retain call. Note: stripPointerCasts looks through returned arg

  // functions, which would cause us to miss the retain.

  llvm::CallInst *retainCall = dyn_cast<llvm::CallInst>(result);

  // Look for a retain call.

  llvm::CallInst *retainCall =

    dyn_cast<llvm::CallInst>(result->stripPointerCasts());

  if (!retainCall || retainCall->getCalledOperand() !=

                         CGF.CGM.getObjCEntrypoints().objc_retain)

    return nullptr;

clang/test/CodeGenObjC/arc.m

+10 −10
Original line number Diff line number Diff line
@@ -7,30 +7,30 @@ 
// RUN: %clang_cc1 -fobjc-runtime=macosx-10.7.0 -triple x86_64-apple-darwin11 -Wno-objc-root-class -Wno-incompatible-pointer-types -Wno-arc-unsafe-retained-assign -emit-llvm -fblocks -fobjc-arc -fobjc-runtime-has-weak -o - %s | FileCheck -check-prefix=ARC-NATIVE %s



// ARC-ALIEN: declare extern_weak void @llvm.objc.storeStrong(ptr, ptr)

// ARC-ALIEN: declare extern_weak ptr @llvm.objc.retain(ptr returned)

// ARC-ALIEN: declare extern_weak ptr @llvm.objc.autoreleaseReturnValue(ptr returned)

// ARC-ALIEN: declare extern_weak ptr @llvm.objc.retain(ptr)

// ARC-ALIEN: declare extern_weak ptr @llvm.objc.autoreleaseReturnValue(ptr)

// ARC-ALIEN: declare ptr @objc_msgSend(ptr, ptr, ...) [[NLB:#[0-9]+]]

// ARC-ALIEN: declare extern_weak void @llvm.objc.release(ptr)

// ARC-ALIEN: declare extern_weak ptr @llvm.objc.retainAutoreleasedReturnValue(ptr returned)

// ARC-ALIEN: declare extern_weak ptr @llvm.objc.retainAutoreleasedReturnValue(ptr)

// ARC-ALIEN: declare extern_weak ptr @llvm.objc.initWeak(ptr, ptr)

// ARC-ALIEN: declare extern_weak ptr @llvm.objc.storeWeak(ptr, ptr)

// ARC-ALIEN: declare extern_weak ptr @llvm.objc.loadWeakRetained(ptr)

// ARC-ALIEN: declare extern_weak void @llvm.objc.destroyWeak(ptr)

// ARC-ALIEN: declare extern_weak ptr @llvm.objc.autorelease(ptr returned)

// ARC-ALIEN: declare extern_weak ptr @llvm.objc.retainAutorelease(ptr returned)

// ARC-ALIEN: declare extern_weak ptr @llvm.objc.autorelease(ptr)

// ARC-ALIEN: declare extern_weak ptr @llvm.objc.retainAutorelease(ptr)



// ARC-NATIVE: declare void @llvm.objc.storeStrong(ptr, ptr)

// ARC-NATIVE: declare ptr @llvm.objc.retain(ptr returned)

// ARC-NATIVE: declare ptr @llvm.objc.autoreleaseReturnValue(ptr returned)

// ARC-NATIVE: declare ptr @llvm.objc.retain(ptr)

// ARC-NATIVE: declare ptr @llvm.objc.autoreleaseReturnValue(ptr)

// ARC-NATIVE: declare ptr @objc_msgSend(ptr, ptr, ...) [[NLB:#[0-9]+]]

// ARC-NATIVE: declare void @llvm.objc.release(ptr)

// ARC-NATIVE: declare ptr @llvm.objc.retainAutoreleasedReturnValue(ptr returned)

// ARC-NATIVE: declare ptr @llvm.objc.retainAutoreleasedReturnValue(ptr)

// ARC-NATIVE: declare ptr @llvm.objc.initWeak(ptr, ptr)

// ARC-NATIVE: declare ptr @llvm.objc.storeWeak(ptr, ptr)

// ARC-NATIVE: declare ptr @llvm.objc.loadWeakRetained(ptr)

// ARC-NATIVE: declare void @llvm.objc.destroyWeak(ptr)

// ARC-NATIVE: declare ptr @llvm.objc.autorelease(ptr returned)

// ARC-NATIVE: declare ptr @llvm.objc.retainAutorelease(ptr returned)

// ARC-NATIVE: declare ptr @llvm.objc.autorelease(ptr)

// ARC-NATIVE: declare ptr @llvm.objc.retainAutorelease(ptr)



// CHECK-LABEL: define{{.*}} void @test0

void test0(id x) {

clang/test/CodeGenObjC/convert-messages-to-runtime-calls.m

+0 −5
Original line number Diff line number Diff line
@@ -28,11 +28,6 @@ void test1(id x) { 
  // MSGS: {{call.*@objc_msgSend}}

  // CALLS: {{call.*@objc_alloc}}

  // CALLS: {{call.*@objc_allocWithZone}}



  // Note that calls to the intrinsics are not allowed for

  // retain/release/autorelease they're marked `thisreturn`, which isn't

  // guaranteed to be true for classes that define their own `-retain`, for

  // example. Be sure to keep these as normal function calls:

  // CALLS: {{call.*@objc_retain}}

  // CALLS: {{call.*@objc_release}}

  // CALLS: {{tail call.*@objc_autorelease}}

llvm/include/llvm/IR/Intrinsics.td

+8 −16
Original line number Diff line number Diff line
@@ -720,13 +720,11 @@ def int_gcwrite : Intrinsic<[], 
// eliminate retain and releases where possible.



def int_objc_autorelease                    : Intrinsic<[llvm_ptr_ty],

                                                        [llvm_ptr_ty],

                                                        [Returned<ArgIndex<0>>]>;

                                                        [llvm_ptr_ty]>;

def int_objc_autoreleasePoolPop             : Intrinsic<[], [llvm_ptr_ty]>;

def int_objc_autoreleasePoolPush            : Intrinsic<[llvm_ptr_ty], []>;

def int_objc_autoreleaseReturnValue         : Intrinsic<[llvm_ptr_ty],

                                                        [llvm_ptr_ty],

                                                        [Returned<ArgIndex<0>>]>;

                                                        [llvm_ptr_ty]>;

def int_objc_copyWeak                       : Intrinsic<[],

                                                        [llvm_ptr_ty,

                                                         llvm_ptr_ty]>;
@@ -743,17 +741,13 @@ def int_objc_moveWeak : Intrinsic<[], 
                                                         llvm_ptr_ty]>;

def int_objc_release                        : Intrinsic<[], [llvm_ptr_ty]>;

def int_objc_retain                         : Intrinsic<[llvm_ptr_ty],

                                                        [llvm_ptr_ty],

                                                        [Returned<ArgIndex<0>>]>;

                                                        [llvm_ptr_ty]>;

def int_objc_retainAutorelease              : Intrinsic<[llvm_ptr_ty],

                                                        [llvm_ptr_ty],

                                                        [Returned<ArgIndex<0>>]>;

                                                        [llvm_ptr_ty]>;

def int_objc_retainAutoreleaseReturnValue   : Intrinsic<[llvm_ptr_ty],

                                                        [llvm_ptr_ty],

                                                        [Returned<ArgIndex<0>>]>;

                                                        [llvm_ptr_ty]>;

def int_objc_retainAutoreleasedReturnValue  : Intrinsic<[llvm_ptr_ty],

                                                        [llvm_ptr_ty],

                                                        [Returned<ArgIndex<0>>]>;

                                                        [llvm_ptr_ty]>;

def int_objc_retainBlock                    : Intrinsic<[llvm_ptr_ty],

                                                        [llvm_ptr_ty]>;

def int_objc_storeStrong                    : Intrinsic<[],
@@ -768,8 +762,7 @@ def int_objc_clang_arc_noop_use : DefaultAttrsIntrinsic<[], 
                                                        [llvm_vararg_ty],

                                                        [IntrInaccessibleMemOnly]>;

def int_objc_unsafeClaimAutoreleasedReturnValue : Intrinsic<[llvm_ptr_ty],

                                                            [llvm_ptr_ty],

                                                            [Returned<ArgIndex<0>>]>;

                                                            [llvm_ptr_ty]>;

def int_objc_retainedObject                 : Intrinsic<[llvm_ptr_ty],

                                                        [llvm_ptr_ty]>;

def int_objc_unretainedObject               : Intrinsic<[llvm_ptr_ty],
@@ -777,8 +770,7 @@ def int_objc_unretainedObject : Intrinsic<[llvm_ptr_ty], 
def int_objc_unretainedPointer              : Intrinsic<[llvm_ptr_ty],

                                                        [llvm_ptr_ty]>;

def int_objc_retain_autorelease             : Intrinsic<[llvm_ptr_ty],

                                                        [llvm_ptr_ty],

                                                        [Returned<ArgIndex<0>>]>;

                                                        [llvm_ptr_ty]>;

def int_objc_sync_enter                     : Intrinsic<[llvm_i32_ty],

                                                        [llvm_ptr_ty]>;

def int_objc_sync_exit                      : Intrinsic<[llvm_i32_ty],

llvm/lib/CodeGen/PreISelIntrinsicLowering.cpp

+0 −10
Original line number Diff line number Diff line
@@ -162,16 +162,6 @@ static bool lowerObjCCall(Function &F, const char *NewFn, 
    CallInst::TailCallKind TCK = CI->getTailCallKind();

    NewCI->setTailCallKind(std::max(TCK, OverridingTCK));



    // Transfer the 'returned' attribute from the intrinsic to the call site.

    // By applying this only to intrinsic call sites, we avoid applying it to

    // non-ARC explicit calls to things like objc_retain which have not been

    // auto-upgraded to use the intrinsics.

    unsigned Index;

    if (F.getAttributes().hasAttrSomewhere(Attribute::Returned, &Index) &&

        Index)

      NewCI->addParamAttr(Index - AttributeList::FirstArgIndex,

                          Attribute::Returned);



    if (!CI->use_empty())

      CI->replaceAllUsesWith(NewCI);

    CI->eraseFromParent();