diff options
Diffstat (limited to 'llvm/test/Transforms/ObjCARC/contract-storestrong.ll')
| -rw-r--r-- | llvm/test/Transforms/ObjCARC/contract-storestrong.ll | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/llvm/test/Transforms/ObjCARC/contract-storestrong.ll b/llvm/test/Transforms/ObjCARC/contract-storestrong.ll index aadc3a26539..2b83bdb9bfb 100644 --- a/llvm/test/Transforms/ObjCARC/contract-storestrong.ll +++ b/llvm/test/Transforms/ObjCARC/contract-storestrong.ll @@ -217,6 +217,32 @@ entry: ret i1 %t } +; Make sure that we form the store strong even if there are bitcasts on +; the pointers. +; CHECK-LABEL: define void @test12( +; CHECK: entry: +; CHECK-NEXT: %p16 = bitcast i8** @x to i16** +; CHECK-NEXT: %tmp16 = load i16*, i16** %p16, align 8 +; CHECK-NEXT: %tmp8 = bitcast i16* %tmp16 to i8* +; CHECK-NEXT: %p32 = bitcast i8** @x to i32** +; CHECK-NEXT: %v32 = bitcast i8* %p to i32* +; CHECK-NEXT: %0 = bitcast i16** %p16 to i8** +; CHECK-NEXT: tail call void @objc_storeStrong(i8** %0, i8* %p) +; CHECK-NEXT: ret void +; CHECK-NEXT: } +define void @test12(i8* %p) { +entry: + %retain = tail call i8* @objc_retain(i8* %p) nounwind + %p16 = bitcast i8** @x to i16** + %tmp16 = load i16*, i16** %p16, align 8 + %tmp8 = bitcast i16* %tmp16 to i8* + %p32 = bitcast i8** @x to i32** + %v32 = bitcast i8* %retain to i32* + store i32* %v32, i32** %p32, align 8 + tail call void @objc_release(i8* %tmp8) nounwind + ret void +} + !0 = !{} ; CHECK: attributes [[NUW]] = { nounwind } |
