Skip to content

Commit 8dd2008

Browse files
committed
[Test] Adjust type checker performance tests
1 parent b9e08b2 commit 8dd2008

File tree

7 files changed

+1
-7
lines changed

7 files changed

+1
-7
lines changed

validation-test/Sema/type_checker_perf/slow/expression_too_complex_4.swift renamed to validation-test/Sema/type_checker_perf/fast/expression_too_complex_4.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,5 +5,4 @@ func test(_ i: Int, _ j: Int) -> Int {
55
return 1 + (((i >> 1) + (i >> 2) + (i >> 3) + (i >> 4) << 1) << 1) & 0x40 +
66
1 + (((i >> 1) + (i >> 2) + (i >> 3) + (i >> 4) << 1) << 1) & 0x40 +
77
1 + (((i >> 1) + (i >> 2) + (i >> 3) + (i >> 4) << 1) << 1) & 0x40
8-
// expected-error@-1 {{the compiler is unable to type-check this expression in reasonable time}}
98
}

validation-test/Sema/type_checker_perf/fast/rdar18360240.swift.gyb

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// RUN: %scale-test --begin 2 --end 10 --step 2 --select NumConstraintScopes --polynomial-threshold 1.5 %s
1+
// RUN: %scale-test --begin 2 --end 10 --step 2 --select NumConstraintScopes %s
22
// REQUIRES: asserts,no_asan
33

44
let empty: [Int] = []

validation-test/Sema/type_checker_perf/slow/rdar22022980.swift renamed to validation-test/Sema/type_checker_perf/fast/rdar22022980.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,4 +2,3 @@
22
// REQUIRES: tools-release,no_asan
33

44
_ = [1, 3, 5, 7, 11].filter{ $0 == 1 || $0 == 3 || $0 == 11 || $0 == 1 || $0 == 3 || $0 == 11 } == [ 1, 3, 11 ]
5-
// expected-error@-1 {{unable to type-check}}
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
// RUN: %target-typecheck-verify-swift -solver-expression-time-threshold=1
22
// REQUIRES: tools-release,no_asan
33

4-
// expected-error@+1 {{the compiler is unable to type-check this expression in reasonable time}}
54
let _ = [0].reduce([Int]()) {
65
return $0.count == 0 && ($1 == 0 || $1 == 2 || $1 == 3) ? [] : $0 + [$1]
76
}

validation-test/Sema/type_checker_perf/slow/rdar23682605.swift renamed to validation-test/Sema/type_checker_perf/fast/rdar23682605.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,6 @@ func memoize<T: Hashable, U>( body: @escaping ((T)->U, T)->U ) -> (T)->U {
1414
}
1515

1616
let fibonacci = memoize {
17-
// expected-error@-1 {{reasonable time}}
1817
fibonacci, n in
1918
n < 2 ? Double(n) : fibonacci(n - 1) + fibonacci(n - 2)
2019
}

validation-test/Sema/type_checker_perf/slow/rdar23861629.swift renamed to validation-test/Sema/type_checker_perf/fast/rdar23861629.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,6 @@ struct S { var s: String? }
55

66
func rdar23861629(_ a: [S]) {
77
_ = a.reduce("") {
8-
// expected-error@-1 {{reasonable time}}
98
($0 == "") ? ($1.s ?? "") : ($0 + "," + ($1.s ?? "")) + ($1.s ?? "test") + ($1.s ?? "okay")
109
}
1110
}

validation-test/Sema/type_checker_perf/slow/fast-operator-typechecking.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,5 +18,4 @@ func f(tail: UInt64, byteCount: UInt64) {
1818
func size(count: Int) {
1919
// Size of the buffer we need to allocate
2020
let _ = count * MemoryLayout<Float>.size * (4 + 3 + 3 + 2 + 4)
21-
// expected-error@-1 {{the compiler is unable to type-check this expression in reasonable time}}
2221
}

0 commit comments

Comments
 (0)