@@ -33,6 +33,9 @@ sil @guaranteed_swift_array_user : $@convention(thin) <τ_0_0> (@guaranteed Arra
33
33
//
34
34
// CHECK: [[FAIL_BB:bb[0-9]+]]:
35
35
// CHECK-NEXT: dealloc_stack [[CAST_TMP:%.*]]
36
+ // CHECK-NEXT: br [[NEXT:bb[0-9]+]]
37
+ //
38
+ // CHECK: [[NEXT]]:
36
39
// CHECK-NEXT: dealloc_stack [[OUTPUT]]
37
40
// CHECK-NEXT: destroy_addr [[INPUT]]
38
41
// CHECK-NEXT: dealloc_stack [[INPUT]]
@@ -43,9 +46,9 @@ sil @guaranteed_swift_array_user : $@convention(thin) <τ_0_0> (@guaranteed Arra
43
46
//
44
47
// CHECK: [[BRIDGE_BB]]([[INPUT_VALUE:%.*]] : $NSArray):
45
48
// CHECK: [[CAST_TMP:%.*]] = alloc_stack $Optional<Array<String>>
46
- // CHECK: strong_retain [[INPUT_VALUE]]
49
+ // CHECK: retain_value [[INPUT_VALUE]]
47
50
// CHECK: apply {{%.*}}<Array<String>>([[CAST_TMP]], [[INPUT_VALUE]],
48
- // CHECK: strong_release [[INPUT_VALUE]]
51
+ // CHECK: release_value [[INPUT_VALUE]]
49
52
// CHECK: switch_enum_addr [[CAST_TMP]] : $*Optional<Array<String>>, case #Optional.none!enumelt: [[FAIL_BB]], default [[SUCCESS_TRAMPOLINE_BB:bb[0-9]+]]
50
53
//
51
54
// CHECK: [[SUCCESS_TRAMPOLINE_BB]]:
103
106
//
104
107
// CHECK: [[FAIL_BB:bb[0-9]+]]:
105
108
// CHECK-NEXT: dealloc_stack [[CAST_TMP:%.*]]
109
+ // CHECK-NEXT: br [[FAIL_NEXT:bb[0-9]+]]
110
+ //
111
+ // CHECK: [[FAIL_NEXT]]:
106
112
// CHECK-NEXT: dealloc_stack [[OUTPUT]]
107
113
// CHECK-NEXT: destroy_addr [[INPUT]]
108
114
// CHECK-NEXT: dealloc_stack [[INPUT]]
113
119
//
114
120
// CHECK: [[BRIDGE_BB]]([[INPUT_VALUE]] : $NSArray):
115
121
// CHECK: [[CAST_TMP:%.*]] = alloc_stack $Optional<Array<String>>
116
- // CHECK: strong_retain [[INPUT_VALUE]]
122
+ // CHECK: retain_value [[INPUT_VALUE]]
117
123
// CHECK: apply {{%.*}}<Array<String>>([[CAST_TMP]], [[INPUT_VALUE]],
118
- // CHECK: strong_release [[INPUT_VALUE]]
124
+ // CHECK: release_value [[INPUT_VALUE]]
119
125
// NOTE: In contrast to with take_always, the release_value is above in SUCCESS_BLOCK
120
126
// CHECK: switch_enum_addr [[CAST_TMP]] : $*Optional<Array<String>>, case #Optional.none!enumelt: [[FAIL_BB]], default [[SUCCESS_TRAMPOLINE_BB:bb[0-9]+]]
121
127
//
172
178
//
173
179
// CHECK: [[FAIL_BB:bb[0-9]+]]:
174
180
// CHECK-NEXT: dealloc_stack [[CAST_TMP:%.*]]
181
+ // CHECK-NEXT: br [[FAIL_NEXT:bb[0-9]+]]
182
+ //
183
+ // CHECK: [[FAIL_NEXT]]:
175
184
// CHECK-NEXT: dealloc_stack [[OUTPUT]]
176
185
// CHECK-NEXT: dealloc_stack [[INPUT]]
177
186
// CHECK-NEXT: br [[EXIT_BB]]
181
190
//
182
191
// CHECK: [[BRIDGE_BB]]([[INPUT_VALUE:%.*]] : $NSArray):
183
192
// CHECK: [[CAST_TMP:%.*]] = alloc_stack $Optional<Array<String>>
184
- // CHECK: strong_retain [[INPUT_VALUE]]
193
+ // CHECK: retain_value [[INPUT_VALUE]]
185
194
// CHECK: apply {{%.*}}<Array<String>>([[CAST_TMP]], [[INPUT_VALUE]],
186
- // CHECK: strong_release [[INPUT_VALUE]]
195
+ // CHECK: release_value [[INPUT_VALUE]]
187
196
// NOTE: When we perform take_always, this is the take of the cast.
188
197
// CHECK: release_value [[INPUT_VALUE]]
189
198
// CHECK: switch_enum_addr [[CAST_TMP]] : $*Optional<Array<String>>, case #Optional.none!enumelt: [[FAIL_BB]], default [[SUCCESS_TRAMPOLINE_BB:bb[0-9]+]]
0 commit comments