diff options
Diffstat (limited to 'test/Transforms/ObjCARC/gvn.ll')
| -rw-r--r-- | test/Transforms/ObjCARC/gvn.ll | 25 |
1 files changed, 22 insertions, 3 deletions
diff --git a/test/Transforms/ObjCARC/gvn.ll b/test/Transforms/ObjCARC/gvn.ll index a828b5485f4c3..2d120e7345a52 100644 --- a/test/Transforms/ObjCARC/gvn.ll +++ b/test/Transforms/ObjCARC/gvn.ll @@ -3,20 +3,39 @@ @x = common global i8* null, align 8 declare i8* @objc_retain(i8*) +declare i32 @objc_sync_enter(i8*) +declare i32 @objc_sync_exit(i8*) ; GVN should be able to eliminate this redundant load, with ARC-specific ; alias analysis. -; CHECK: define i8* @foo(i32 %n) +; CHECK: define i8* @test0(i32 %n) ; CHECK-NEXT: entry: ; CHECK-NEXT: %s = load i8** @x ; CHECK-NOT: load ; CHECK: ret i8* %s ; CHECK-NEXT: } -define i8* @foo(i32 %n) nounwind { +define i8* @test0(i32 %n) nounwind { entry: %s = load i8** @x %0 = tail call i8* @objc_retain(i8* %s) nounwind %t = load i8** @x - ret i8* %s + ret i8* %t +} + +; GVN should not be able to eliminate this redundant load, with ARC-specific +; alias analysis. + +; CHECK-LABEL: define i8* @test1( +; CHECK: load +; CHECK: load +; CHECK: ret i8* %t +; CHECK: } +define i8* @test1(i32 %n) nounwind { +entry: + %s = load i8** @x + %0 = call i32 @objc_sync_enter(i8* %s) + %t = load i8** @x + %1 = call i32 @objc_sync_exit(i8* %s) + ret i8* %t } |