RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-25 04:02:41 +01:00
Code Issues Projects Releases Wiki Activity
a9bfe18152
llvm-mirror/test/Transforms/ObjCARC/retain-block.ll

141 lines
5.1 KiB
LLVM
Raw Normal View History

Implement proper ObjC ARC objc_retainBlock "escape" analysis, so that the optimizer doesn't eliminate objc_retainBlock calls which are needed for their side effect of copying blocks onto the heap. This implements rdar://10361249. llvm-svn: 148076
2012-01-13 01:39:07 +01:00
; RUN: opt -objc-arc -S < %s | FileCheck %s
target datalayout = "e-p:64:64:64"
!0 = metadata !{}
declare i8* @objc_retain(i8*)
declare void @callee(i8)
declare void @use_pointer(i8*)
declare void @objc_release(i8*)
declare i8* @objc_retainBlock(i8*)
declare i8* @objc_autorelease(i8*)
; Basic retainBlock+release elimination.
; CHECK: define void @test0(i8* %tmp) {
; CHECK-NOT: @objc
; CHECK: }
define void @test0(i8* %tmp) {
entry:
%tmp2 = tail call i8* @objc_retainBlock(i8* %tmp) nounwind, !clang.arc.copy_on_escape !0
tail call void @use_pointer(i8* %tmp2)
tail call void @objc_release(i8* %tmp2) nounwind, !clang.imprecise_release !0
ret void
}
; Same as test0, but there's no copy_on_escape metadata, so there's no
; optimization possible.
; CHECK: define void @test0_no_metadata(i8* %tmp) {
Use references to attribute groups on the call/invoke instructions. Listing all of the attributes for the callee of a call/invoke instruction is way too much and makes the IR unreadable. Use references to attributes instead. llvm-svn: 175877
2013-02-22 10:09:42 +01:00
; CHECK: %tmp2 = tail call i8* @objc_retainBlock(i8* %tmp) [[NUW:#[0-9]+]]
; CHECK: tail call void @objc_release(i8* %tmp2) [[NUW]], !clang.imprecise_release !0
Implement proper ObjC ARC objc_retainBlock "escape" analysis, so that the optimizer doesn't eliminate objc_retainBlock calls which are needed for their side effect of copying blocks onto the heap. This implements rdar://10361249. llvm-svn: 148076
2012-01-13 01:39:07 +01:00
; CHECK: }
define void @test0_no_metadata(i8* %tmp) {
entry:
%tmp2 = tail call i8* @objc_retainBlock(i8* %tmp) nounwind
tail call void @use_pointer(i8* %tmp2)
tail call void @objc_release(i8* %tmp2) nounwind, !clang.imprecise_release !0
ret void
}
; Same as test0, but the pointer escapes, so there's no
; optimization possible.
; CHECK: define void @test0_escape(i8* %tmp, i8** %z) {
Use references to attribute groups on the call/invoke instructions. Listing all of the attributes for the callee of a call/invoke instruction is way too much and makes the IR unreadable. Use references to attributes instead. llvm-svn: 175877
2013-02-22 10:09:42 +01:00
; CHECK: %tmp2 = tail call i8* @objc_retainBlock(i8* %tmp) [[NUW]], !clang.arc.copy_on_escape !0
; CHECK: tail call void @objc_release(i8* %tmp2) [[NUW]], !clang.imprecise_release !0
Implement proper ObjC ARC objc_retainBlock "escape" analysis, so that the optimizer doesn't eliminate objc_retainBlock calls which are needed for their side effect of copying blocks onto the heap. This implements rdar://10361249. llvm-svn: 148076
2012-01-13 01:39:07 +01:00
; CHECK: }
define void @test0_escape(i8* %tmp, i8** %z) {
entry:
%tmp2 = tail call i8* @objc_retainBlock(i8* %tmp) nounwind, !clang.arc.copy_on_escape !0
store i8* %tmp2, i8** %z
tail call void @use_pointer(i8* %tmp2)
tail call void @objc_release(i8* %tmp2) nounwind, !clang.imprecise_release !0
ret void
}
; Same as test0_escape, but there's no intervening call.
; CHECK: define void @test0_just_escape(i8* %tmp, i8** %z) {
Use references to attribute groups on the call/invoke instructions. Listing all of the attributes for the callee of a call/invoke instruction is way too much and makes the IR unreadable. Use references to attributes instead. llvm-svn: 175877
2013-02-22 10:09:42 +01:00
; CHECK: %tmp2 = tail call i8* @objc_retainBlock(i8* %tmp) [[NUW]], !clang.arc.copy_on_escape !0
; CHECK: tail call void @objc_release(i8* %tmp2) [[NUW]], !clang.imprecise_release !0
Implement proper ObjC ARC objc_retainBlock "escape" analysis, so that the optimizer doesn't eliminate objc_retainBlock calls which are needed for their side effect of copying blocks onto the heap. This implements rdar://10361249. llvm-svn: 148076
2012-01-13 01:39:07 +01:00
; CHECK: }
define void @test0_just_escape(i8* %tmp, i8** %z) {
entry:
%tmp2 = tail call i8* @objc_retainBlock(i8* %tmp) nounwind, !clang.arc.copy_on_escape !0
store i8* %tmp2, i8** %z
tail call void @objc_release(i8* %tmp2) nounwind, !clang.imprecise_release !0
ret void
}
; Basic nested retainBlock+release elimination.
; CHECK: define void @test1(i8* %tmp) {
; CHECK-NOT: @objc
Use references to attribute groups on the call/invoke instructions. Listing all of the attributes for the callee of a call/invoke instruction is way too much and makes the IR unreadable. Use references to attributes instead. llvm-svn: 175877
2013-02-22 10:09:42 +01:00
; CHECK: tail call i8* @objc_retain(i8* %tmp) [[NUW]]
Implement proper ObjC ARC objc_retainBlock "escape" analysis, so that the optimizer doesn't eliminate objc_retainBlock calls which are needed for their side effect of copying blocks onto the heap. This implements rdar://10361249. llvm-svn: 148076
2012-01-13 01:39:07 +01:00
; CHECK-NOT: @objc
Use references to attribute groups on the call/invoke instructions. Listing all of the attributes for the callee of a call/invoke instruction is way too much and makes the IR unreadable. Use references to attributes instead. llvm-svn: 175877
2013-02-22 10:09:42 +01:00
; CHECK: tail call void @objc_release(i8* %tmp) [[NUW]], !clang.imprecise_release !0
Implement proper ObjC ARC objc_retainBlock "escape" analysis, so that the optimizer doesn't eliminate objc_retainBlock calls which are needed for their side effect of copying blocks onto the heap. This implements rdar://10361249. llvm-svn: 148076
2012-01-13 01:39:07 +01:00
; CHECK-NOT: @objc
; CHECK: }
define void @test1(i8* %tmp) {
entry:
%tmp1 = tail call i8* @objc_retain(i8* %tmp) nounwind
%tmp2 = tail call i8* @objc_retainBlock(i8* %tmp) nounwind, !clang.arc.copy_on_escape !0
tail call void @use_pointer(i8* %tmp2)
tail call void @use_pointer(i8* %tmp2)
tail call void @objc_release(i8* %tmp2) nounwind, !clang.imprecise_release !0
tail call void @objc_release(i8* %tmp) nounwind, !clang.imprecise_release !0
ret void
}
; Same as test1, but there's no copy_on_escape metadata, so there's no
; retainBlock+release optimization possible. But we can still eliminate
; the outer retain+release.
; CHECK: define void @test1_no_metadata(i8* %tmp) {
; CHECK-NEXT: entry:
Use references to attribute groups on the call/invoke instructions. Listing all of the attributes for the callee of a call/invoke instruction is way too much and makes the IR unreadable. Use references to attributes instead. llvm-svn: 175877
2013-02-22 10:09:42 +01:00
; CHECK-NEXT: tail call i8* @objc_retainBlock(i8* %tmp) [[NUW]]
Implement proper ObjC ARC objc_retainBlock "escape" analysis, so that the optimizer doesn't eliminate objc_retainBlock calls which are needed for their side effect of copying blocks onto the heap. This implements rdar://10361249. llvm-svn: 148076
2012-01-13 01:39:07 +01:00
; CHECK-NEXT: @use_pointer(i8* %tmp2)
; CHECK-NEXT: @use_pointer(i8* %tmp2)
Use references to attribute groups on the call/invoke instructions. Listing all of the attributes for the callee of a call/invoke instruction is way too much and makes the IR unreadable. Use references to attributes instead. llvm-svn: 175877
2013-02-22 10:09:42 +01:00
; CHECK-NEXT: tail call void @objc_release(i8* %tmp) [[NUW]], !clang.imprecise_release !0
Implement proper ObjC ARC objc_retainBlock "escape" analysis, so that the optimizer doesn't eliminate objc_retainBlock calls which are needed for their side effect of copying blocks onto the heap. This implements rdar://10361249. llvm-svn: 148076
2012-01-13 01:39:07 +01:00
; CHECK-NOT: @objc
; CHECK: }
define void @test1_no_metadata(i8* %tmp) {
entry:
%tmp1 = tail call i8* @objc_retain(i8* %tmp) nounwind
%tmp2 = tail call i8* @objc_retainBlock(i8* %tmp) nounwind
tail call void @use_pointer(i8* %tmp2)
tail call void @use_pointer(i8* %tmp2)
tail call void @objc_release(i8* %tmp2) nounwind, !clang.imprecise_release !0
tail call void @objc_release(i8* %tmp) nounwind, !clang.imprecise_release !0
ret void
}
; Same as test1, but the pointer escapes, so there's no
; retainBlock+release optimization possible. But we can still eliminate
; the outer retain+release
; CHECK: define void @test1_escape(i8* %tmp, i8** %z) {
; CHECK-NEXT: entry:
Use references to attribute groups on the call/invoke instructions. Listing all of the attributes for the callee of a call/invoke instruction is way too much and makes the IR unreadable. Use references to attributes instead. llvm-svn: 175877
2013-02-22 10:09:42 +01:00
; CHECK-NEXT: %tmp2 = tail call i8* @objc_retainBlock(i8* %tmp) [[NUW]], !clang.arc.copy_on_escape !0
Implement proper ObjC ARC objc_retainBlock "escape" analysis, so that the optimizer doesn't eliminate objc_retainBlock calls which are needed for their side effect of copying blocks onto the heap. This implements rdar://10361249. llvm-svn: 148076
2012-01-13 01:39:07 +01:00
; CHECK-NEXT: store i8* %tmp2, i8** %z
; CHECK-NEXT: @use_pointer(i8* %tmp2)
; CHECK-NEXT: @use_pointer(i8* %tmp2)
Use references to attribute groups on the call/invoke instructions. Listing all of the attributes for the callee of a call/invoke instruction is way too much and makes the IR unreadable. Use references to attributes instead. llvm-svn: 175877
2013-02-22 10:09:42 +01:00
; CHECK-NEXT: tail call void @objc_release(i8* %tmp) [[NUW]], !clang.imprecise_release !0
Implement proper ObjC ARC objc_retainBlock "escape" analysis, so that the optimizer doesn't eliminate objc_retainBlock calls which are needed for their side effect of copying blocks onto the heap. This implements rdar://10361249. llvm-svn: 148076
2012-01-13 01:39:07 +01:00
; CHECK-NOT: @objc
; CHECK: }
define void @test1_escape(i8* %tmp, i8** %z) {
entry:
%tmp1 = tail call i8* @objc_retain(i8* %tmp) nounwind
%tmp2 = tail call i8* @objc_retainBlock(i8* %tmp) nounwind, !clang.arc.copy_on_escape !0
store i8* %tmp2, i8** %z
tail call void @use_pointer(i8* %tmp2)
tail call void @use_pointer(i8* %tmp2)
tail call void @objc_release(i8* %tmp2) nounwind, !clang.imprecise_release !0
tail call void @objc_release(i8* %tmp) nounwind, !clang.imprecise_release !0
ret void
}
Use references to attribute groups on the call/invoke instructions. Listing all of the attributes for the callee of a call/invoke instruction is way too much and makes the IR unreadable. Use references to attributes instead. llvm-svn: 175877
2013-02-22 10:09:42 +01:00
; CHECK: attributes [[NUW]] = { nounwind }
Reference in New Issue Copy Permalink