1919
2020// CHECK-SIL-LABEL: sil @$s23slab_bounds_check_tests0A29_sum_iterate_to_count_wo_trapySis4SlabVyxSiGSiRVzlF :
2121// CHECK-SIL: bb3
22- // CHECK-SIL: cond_fail {{.*}}, "Index out of bounds"
2322// CHECK-SIL-NOT: cond_fail {{.*}}, "Index out of bounds"
2423// CHECK-SIL: cond_br
2524// 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>) ->
4140
4241// CHECK-SIL-LABEL: sil @$s23slab_bounds_check_tests0A31_sum_iterate_to_count_with_trapySis4SlabVyxSiGSiRVzlF :
4342// CHECK-SIL: bb3
44- // CHECK-SIL: cond_fail {{.*}}, "Index out of bounds"
4543// CHECK-SIL-NOT: cond_fail {{.*}}, "Index out of bounds"
4644// CHECK-SIL: cond_br
4745// 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
183181
184182// CHECK-SIL-LABEL: sil @$s23slab_bounds_check_tests0A29_iterate_over_indices_wo_trapySis4SlabVyxSiGSiRVzlF :
185183// CHECK-SIL: bb3
186- // CHECK-SIL: cond_fail {{.*}}, "Index out of bounds"
187184// CHECK-SIL-NOT: cond_fail {{.*}}, "Index out of bounds"
188185// CHECK-SIL: cond_br
189186// 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>) ->
204201
205202// CHECK-SIL-LABEL: sil @$s23slab_bounds_check_tests0A31_iterate_over_indices_with_trapySis4SlabVyxSiGSiRVzlF :
206203// CHECK-SIL: bb3
207- // CHECK-SIL: cond_fail {{.*}}, "Index out of bounds"
208204// CHECK-SIL-NOT: cond_fail {{.*}}, "Index out of bounds"
209205// CHECK-SIL: cond_br
210206// 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
231227
232228// CHECK-SIL-LABEL: sil @$s23slab_bounds_check_tests0A12_element_sumySis4SlabVyxSiG_SitSiRVzlF :
233229// 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"
235231// CHECK-SIL-LABEL: } // end sil function '$s23slab_bounds_check_tests0A12_element_sumySis4SlabVyxSiG_SitSiRVzlF'
236232public func slab_element_sum< let N: Int > ( _ v: Slab < N , Int > , _ i: Int ) -> Int {
237233 return v [ i] &+ v [ i]
0 commit comments