19
19
20
20
// CHECK-SIL-LABEL: sil @$s23slab_bounds_check_tests0A29_sum_iterate_to_count_wo_trapySis4SlabVyxSiGSiRVzlF :
21
21
// CHECK-SIL: bb3
22
- // CHECK-SIL: cond_fail {{.*}}, "Index out of bounds"
23
22
// CHECK-SIL-NOT: cond_fail {{.*}}, "Index out of bounds"
24
23
// CHECK-SIL: cond_br
25
24
// CHECK-SIL-LABEL: } // end sil function '$s23slab_bounds_check_tests0A29_sum_iterate_to_count_wo_trapySis4SlabVyxSiGSiRVzlF'
@@ -41,7 +40,6 @@ public func slab_sum_iterate_to_count_wo_trap<let N: Int>(_ v: Slab<N, Int>) ->
41
40
42
41
// CHECK-SIL-LABEL: sil @$s23slab_bounds_check_tests0A31_sum_iterate_to_count_with_trapySis4SlabVyxSiGSiRVzlF :
43
42
// CHECK-SIL: bb3
44
- // CHECK-SIL: cond_fail {{.*}}, "Index out of bounds"
45
43
// CHECK-SIL-NOT: cond_fail {{.*}}, "Index out of bounds"
46
44
// CHECK-SIL: cond_br
47
45
// CHECK-SIL-LABEL: } // end sil function '$s23slab_bounds_check_tests0A31_sum_iterate_to_count_with_trapySis4SlabVyxSiGSiRVzlF'
@@ -183,7 +181,6 @@ public func slab_sum_iterate_to_deducible_count2_with_trap<let N: Int>(_ v: Slab
183
181
184
182
// CHECK-SIL-LABEL: sil @$s23slab_bounds_check_tests0A29_iterate_over_indices_wo_trapySis4SlabVyxSiGSiRVzlF :
185
183
// CHECK-SIL: bb3
186
- // CHECK-SIL: cond_fail {{.*}}, "Index out of bounds"
187
184
// CHECK-SIL-NOT: cond_fail {{.*}}, "Index out of bounds"
188
185
// CHECK-SIL: cond_br
189
186
// CHECK-SIL-LABEL: } // end sil function '$s23slab_bounds_check_tests0A29_iterate_over_indices_wo_trapySis4SlabVyxSiGSiRVzlF'
@@ -204,7 +201,6 @@ public func slab_iterate_over_indices_wo_trap<let N: Int>(_ v: Slab<N, Int>) ->
204
201
205
202
// CHECK-SIL-LABEL: sil @$s23slab_bounds_check_tests0A31_iterate_over_indices_with_trapySis4SlabVyxSiGSiRVzlF :
206
203
// CHECK-SIL: bb3
207
- // CHECK-SIL: cond_fail {{.*}}, "Index out of bounds"
208
204
// CHECK-SIL-NOT: cond_fail {{.*}}, "Index out of bounds"
209
205
// CHECK-SIL: cond_br
210
206
// CHECK-SIL-LABEL: } // end sil function '$s23slab_bounds_check_tests0A31_iterate_over_indices_with_trapySis4SlabVyxSiGSiRVzlF'
@@ -231,7 +227,7 @@ public func slab_element_equality<let N: Int>(_ v: Slab<N, Int>, _ i: Int) -> Bo
231
227
232
228
// CHECK-SIL-LABEL: sil @$s23slab_bounds_check_tests0A12_element_sumySis4SlabVyxSiG_SitSiRVzlF :
233
229
// CHECK-SIL: cond_fail {{.*}}, "Index out of bounds"
234
- // CHECK-SIL: cond_fail {{.*}}, "Index out of bounds"
230
+ // CHECK-SIL-NOT : cond_fail {{.*}}, "Index out of bounds"
235
231
// CHECK-SIL-LABEL: } // end sil function '$s23slab_bounds_check_tests0A12_element_sumySis4SlabVyxSiG_SitSiRVzlF'
236
232
public func slab_element_sum< let N: Int > ( _ v: Slab < N , Int > , _ i: Int ) -> Int {
237
233
return v [ i] &+ v [ i]
0 commit comments