1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
// RUN: %target-swift-frontend %s -O -module-name=test -emit-sil | %FileCheck %s
// REQUIRES: swift_stdlib_no_asserts,optimized_stdlib
var gg = 0
@inline(never)
func take(_ x: Int, _ y: Int) {
gg = x + y
}
// CHECK-LABEL: sil {{.*}}@$s4test23check_cond_fail_messageySiSaySiGF
// CHECK: cond_fail {{.*}} "Index out of range"
// CHECK: // end sil function '$s4test23check_cond_fail_messageySiSaySiGF'
public func check_cond_fail_message(_ array: [Int]) -> Int {
return array[2]
}
// CHECK-LABEL: sil {{.*}}@$s4test22eliminate_bounds_checkyySaySiGF
// CHECK-NOT: cond_fail {{.*}} "Index out of range"
// CHECK: // end sil function '$s4test22eliminate_bounds_checkyySaySiGF'
public func eliminate_bounds_check(_ array: [Int]) {
for (index, x) in array.enumerated() {
take(x, index)
}
}
// CHECK-LABEL: sil {{.*}}@$s4test27eliminate_two_bounds_checksyySaySiGF
// CHECK-NOT: cond_fail {{.*}} "Index out of range"
// CHECK: // end sil function '$s4test27eliminate_two_bounds_checksyySaySiGF'
public func eliminate_two_bounds_checks(_ array: [Int]) {
for (index, x) in array.enumerated() {
take(x, array[index])
}
}
|
