diff options
author | John McCall <rjmccall@apple.com> | 2011-06-15 23:37:01 +0000 |
---|---|---|
committer | John McCall <rjmccall@apple.com> | 2011-06-15 23:37:01 +0000 |
commit | 9fbd318d36e618fb08fb53bb48b7c848e617a8a7 (patch) | |
tree | 734b59edd4958b31e22b6cbd005df15fdd8ab78b /test/Transforms/ObjCARC/contract-storestrong.ll | |
parent | 5f36bb1759e35bd3aef4b6ce226e091849f6b816 (diff) | |
download | llvm-9fbd318d36e618fb08fb53bb48b7c848e617a8a7.tar.gz llvm-9fbd318d36e618fb08fb53bb48b7c848e617a8a7.tar.bz2 llvm-9fbd318d36e618fb08fb53bb48b7c848e617a8a7.tar.xz |
The ARC language-specific optimizer. Credit to Dan Gohman.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@133108 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/ObjCARC/contract-storestrong.ll')
-rw-r--r-- | test/Transforms/ObjCARC/contract-storestrong.ll | 59 |
1 files changed, 59 insertions, 0 deletions
diff --git a/test/Transforms/ObjCARC/contract-storestrong.ll b/test/Transforms/ObjCARC/contract-storestrong.ll new file mode 100644 index 0000000000..50ed260eb0 --- /dev/null +++ b/test/Transforms/ObjCARC/contract-storestrong.ll @@ -0,0 +1,59 @@ +; RUN: opt -objc-arc-contract -S < %s | FileCheck %s + +target datalayout = "e-p:64:64:64" + +declare i8* @objc_retain(i8*) +declare void @objc_release(i8*) + +@x = external global i8* + +; CHECK: define void @test0( +; CHECK: entry: +; CHECK-NEXT: call void @objc_storeStrong(i8** @x, i8* %p) nounwind +; CHECK-NEXT: ret void +define void @test0(i8* %p) { +entry: + %0 = tail call i8* @objc_retain(i8* %p) nounwind + %tmp = load i8** @x, align 8 + store i8* %0, i8** @x, align 8 + tail call void @objc_release(i8* %tmp) nounwind + ret void +} + +; Don't do this if the load is volatile. + +; CHECK: define void @test1(i8* %p) { +; CHECK-NEXT: entry: +; CHECK-NEXT: %0 = tail call i8* @objc_retain(i8* %p) nounwind +; CHECK-NEXT: %tmp = volatile load i8** @x, align 8 +; CHECK-NEXT: store i8* %0, i8** @x, align 8 +; CHECK-NEXT: tail call void @objc_release(i8* %tmp) nounwind +; CHECK-NEXT: ret void +; CHECK-NEXT: } +define void @test1(i8* %p) { +entry: + %0 = tail call i8* @objc_retain(i8* %p) nounwind + %tmp = volatile load i8** @x, align 8 + store i8* %0, i8** @x, align 8 + tail call void @objc_release(i8* %tmp) nounwind + ret void +} + +; Don't do this if the store is volatile. + +; CHECK: define void @test2(i8* %p) { +; CHECK-NEXT: entry: +; CHECK-NEXT: %0 = tail call i8* @objc_retain(i8* %p) nounwind +; CHECK-NEXT: %tmp = load i8** @x, align 8 +; CHECK-NEXT: volatile store i8* %0, i8** @x, align 8 +; CHECK-NEXT: tail call void @objc_release(i8* %tmp) nounwind +; CHECK-NEXT: ret void +; CHECK-NEXT: } +define void @test2(i8* %p) { +entry: + %0 = tail call i8* @objc_retain(i8* %p) nounwind + %tmp = load i8** @x, align 8 + volatile store i8* %0, i8** @x, align 8 + tail call void @objc_release(i8* %tmp) nounwind + ret void +} |