| Eric Christopher | cee313d | 2019-04-17 04:52:47 +0000 | [diff] [blame] | 1 | ; RUN: opt -S -objc-arc-aa -basicaa -gvn < %s | FileCheck %s |
| 2 | ; rdar://10050579 |
| 3 | |
| 4 | ; objc_retainBlock stores into %repeater so the load from after the |
| 5 | ; call isn't forwardable from the store before the call. |
| 6 | |
| 7 | ; CHECK: %tmp16 = call i8* @llvm.objc.retainBlock(i8* %tmp15) [[NUW:#[0-9]+]] |
| 8 | ; CHECK: %tmp17 = bitcast i8* %tmp16 to void ()* |
| 9 | ; CHECK: %tmp18 = load %struct.__block_byref_repeater*, %struct.__block_byref_repeater** %byref.forwarding, align 8 |
| 10 | ; CHECK: %repeater12 = getelementptr inbounds %struct.__block_byref_repeater, %struct.__block_byref_repeater* %tmp18, i64 0, i32 6 |
| 11 | ; CHECK: store void ()* %tmp17, void ()** %repeater12, align 8 |
| 12 | |
| 13 | 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" |
| 14 | |
| 15 | %0 = type opaque |
| 16 | %struct.__block_byref_repeater = type { i8*, %struct.__block_byref_repeater*, i32, i32, i8*, i8*, void ()* } |
| 17 | %struct.__block_descriptor = type { i64, i64 } |
| 18 | |
| 19 | define void @foo() noreturn { |
| 20 | entry: |
| 21 | %repeater = alloca %struct.__block_byref_repeater, align 8 |
| 22 | %block = alloca <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, %0*, i8* }>, align 8 |
| 23 | %byref.forwarding = getelementptr inbounds %struct.__block_byref_repeater, %struct.__block_byref_repeater* %repeater, i64 0, i32 1 |
| 24 | %tmp10 = getelementptr inbounds %struct.__block_byref_repeater, %struct.__block_byref_repeater* %repeater, i64 0, i32 6 |
| 25 | store void ()* null, void ()** %tmp10, align 8 |
| 26 | %block.captured11 = getelementptr inbounds <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, %0*, i8* }>, <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, %0*, i8* }>* %block, i64 0, i32 6 |
| 27 | %tmp14 = bitcast %struct.__block_byref_repeater* %repeater to i8* |
| 28 | store i8* %tmp14, i8** %block.captured11, align 8 |
| 29 | %tmp15 = bitcast <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, %0*, i8* }>* %block to i8* |
| 30 | %tmp16 = call i8* @llvm.objc.retainBlock(i8* %tmp15) nounwind |
| 31 | %tmp17 = bitcast i8* %tmp16 to void ()* |
| 32 | %tmp18 = load %struct.__block_byref_repeater*, %struct.__block_byref_repeater** %byref.forwarding, align 8 |
| 33 | %repeater12 = getelementptr inbounds %struct.__block_byref_repeater, %struct.__block_byref_repeater* %tmp18, i64 0, i32 6 |
| 34 | %tmp13 = load void ()*, void ()** %repeater12, align 8 |
| 35 | store void ()* %tmp17, void ()** %repeater12, align 8 |
| 36 | ret void |
| 37 | } |
| 38 | |
| 39 | declare i8* @llvm.objc.retainBlock(i8*) |
| 40 | |
| 41 | ; CHECK: attributes #0 = { noreturn } |
| 42 | ; CHECK: attributes [[NUW]] = { nounwind } |