Sema: A few more type_checker_perf tests

Author: slavapestov

validation-test/Sema/type_checker_perf/fast/issue-44181.swift

@@ -0,0 +1,23 @@
+// RUN: %target-typecheck-verify-swift -solver-scope-threshold=300
+
+enum DebugValue {
+	case TupleValue([(name: String?, value: DebugValue)])
+
+	var stringRepresentation: String {
+		switch self {
+		case .TupleValue(let values):
+			return "(\(values.map { ($0.name.flatMap { "\($0): " } ?? "") + $0.value.stringRepresentation }.joined(separator: ", ")))"
+		}
+	}
+}
+
+extension DebugValue : Equatable { }
+
+func == (lhs: DebugValue, rhs: DebugValue) -> Bool {
+	switch (lhs, rhs) {
+	case (DebugValue.TupleValue(let xs), DebugValue.TupleValue(let ys)) where xs.count == ys.count:
+		return zip(xs, ys).reduce(true) { $0 ? $1.0.name == $1.1.name && $1.0.value == $1.1.value : false }
+	default:
+		return false
+	}
+}

validation-test/Sema/type_checker_perf/fast/issue-46430.swift

@@ -0,0 +1,11 @@
+// RUN: %target-typecheck-verify-swift -solver-scope-threshold=200
+
+func slow(_ m: [[UInt32]]) {
+    var n = m
+    for i in 1 ..< 10 {
+        for j in 1 ..< 10 {
+            n[i][j] = min(n[i - 1][j - 1], n[i - 1][j], n[i][j - 1]) + 1
+        }
+    }
+}
+

validation-test/Sema/type_checker_perf/fast/issue-46477.swift

@@ -0,0 +1,10 @@
+// RUN: %target-typecheck-verify-swift -solver-scope-threshold=2000
+
+func foo(_ string: String) -> Int {
+  let bar = Array(string)
+    .reversed()
+    .enumerated()
+    .map { ((1 << ($0 + 1)) % 11) * Int(String($1))! }
+    .reduce(0) { $0 + $1 }
+  return (12 - bar  % 11) % 11
+}

validation-test/Sema/type_checker_perf/fast/issue-48418.swift.gyb

@@ -0,0 +1,27 @@
+// RUN: %scale-test --begin 1 --end 6 --step 1 --select NumLeafScopes %s
+// REQUIRES: asserts,no_asan
+
+enum A {
+  case a
+}
+
+enum B {
+  case none
+
+  func encode() -> Int {
+    return 0
+  }
+}
+
+extension Int {
+  func print() {}
+}
+
+func encode(settings: Dictionary<A, B>) {
+  (
+%for i in range(0, N):
+   (settings[.a] ?? .none).encode() |
+%end
+   (settings[.a] ?? .none).encode()
+  ).print()
+}