| ; RUN: opt -S -passes=objc-arc,objc-arc-contract < %s | FileCheck %s |
| |
| target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" |
| declare ptr @llvm.objc.unretainedObject(ptr) |
| declare ptr @llvm.objc.retainAutoreleasedReturnValue(ptr) |
| declare ptr @llvm.objc.autoreleaseReturnValue(ptr) |
| declare ptr @objc_msgSend(ptr, ptr, ...) |
| declare void @llvm.objc.release(ptr) |
| |
| ; Test that the optimizer can create an objc_retainAutoreleaseReturnValue |
| ; declaration even if no objc_retain declaration exists. |
| ; rdar://9401303 |
| |
| ; CHECK: define ptr @test0(ptr %p) { |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: %0 = tail call ptr @llvm.objc.retainAutoreleaseReturnValue(ptr %p) [[NUW:#[0-9]+]] |
| ; CHECK-NEXT: ret ptr %0 |
| ; CHECK-NEXT: } |
| |
| define ptr @test0(ptr %p) { |
| entry: |
| %call = tail call ptr @llvm.objc.unretainedObject(ptr %p) |
| %0 = tail call ptr @llvm.objc.retainAutoreleasedReturnValue(ptr %call) nounwind |
| %1 = tail call ptr @llvm.objc.autoreleaseReturnValue(ptr %call) nounwind |
| ret ptr %call |
| } |
| |
| ; Properly create the @llvm.objc.retain declaration when it doesn't already exist. |
| ; rdar://9825114 |
| |
| ; CHECK-LABEL: @test1( |
| ; CHECK: @llvm.objc.retain |
| ; CHECK: @llvm.objc.retainAutoreleasedReturnValue( |
| ; CHECK: @llvm.objc.release |
| ; CHECK: @llvm.objc.release |
| ; CHECK: } |
| define void @test1(ptr %call88) nounwind personality ptr @__gxx_personality_v0 { |
| entry: |
| %tmp1 = call ptr @llvm.objc.retainAutoreleasedReturnValue(ptr %call88) nounwind |
| %call94 = invoke ptr @objc_msgSend(ptr %tmp1) |
| to label %invoke.cont93 unwind label %lpad91 |
| |
| invoke.cont93: ; preds = %entry |
| %tmp2 = call ptr @llvm.objc.retainAutoreleasedReturnValue(ptr %call94) nounwind |
| call void @llvm.objc.release(ptr %tmp1) nounwind |
| invoke void @objc_msgSend(ptr %tmp2) |
| to label %invoke.cont102 unwind label %lpad100 |
| |
| invoke.cont102: ; preds = %invoke.cont93 |
| call void @llvm.objc.release(ptr %tmp2) nounwind, !clang.imprecise_release !0 |
| unreachable |
| |
| lpad91: ; preds = %entry |
| %exn91 = landingpad {ptr, i32} |
| cleanup |
| unreachable |
| |
| lpad100: ; preds = %invoke.cont93 |
| %exn100 = landingpad {ptr, i32} |
| cleanup |
| call void @llvm.objc.release(ptr %tmp2) nounwind, !clang.imprecise_release !0 |
| unreachable |
| } |
| |
| declare i32 @__gxx_personality_v0(...) |
| |
| !0 = !{} |
| |
| ; CHECK: attributes [[NUW]] = { nounwind } |