Reland "Merge more Kernel infrastructure from kernel_sdk SDK fork."

tests/kernel/unsorted/switch_case_test.dart

+// Copyright (c) 2016, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+import 'expect.dart';
+
+mkOne() => 1;
+mkTwo() => 2;
+
+testNormal() {
+  int result;
+  switch(mkOne()) {
+    case 0:
+      result = 0;
+      break;
+    case 1:
+      result = 1;
+      break;
+    case 2:
+      result = 2;
+      break;
+    default:
+      result = 3;
+      break;
+  }
+  Expect.isTrue(result == 1);
+}
+
+testDefault() {
+  int result;
+  switch(null) {
+    case 0:
+      result = 0;
+      break;
+    case 1:
+      result = 1;
+      break;
+    case 2:
+      result = 2;
+      break;
+    default:
+      result = 3;
+      break;
+  }
+  Expect.isTrue(result == 3);
+}
+
+testFallThrough() {
+  int result;
+  switch(mkOne()) {
+    case 0:
+      result = 0;
+      break;
+    case 1:
+    case 2:
+      result = 2;
+      break;
+    default:
+      result = 3;
+      break;
+  }
+  Expect.isTrue(result == 2);
+}
+
+testContinue() {
+  int result;
+  switch(mkTwo()) {
+    case 0:
+      result = 0;
+      break;
+
+    setitto1:
+    case 1:
+      result = 1;
+      continue setitto3;
+
+    case 2:
+      result = 2;
+      continue setitto1;
+
+    setitto3:
+    default:
+      result = 3;
+      break;
+  }
+  Expect.isTrue(result == 3);
+}
+
+testOnlyDefault() {
+  int result;
+  switch(mkTwo()) {
+    default:
+      result = 42;
+  }
+  Expect.isTrue(result == 42);
+}
+
+testOnlyDefaultWithBreak() {
+  int result;
+  switch(mkTwo()) {
+    default:
+      result = 42;
+  }
+  Expect.isTrue(result == 42);
+}
+
+String testReturn() {
+  switch(mkOne()) {
+    case 0: return "bad";
+    case 1: return "good";
+    default: return "bad";
+  }
+}
+
+regressionTest() {
+  Expect.isTrue(regressionTestHelper(0, 0) == -1);
+  Expect.isTrue(regressionTestHelper(4, 0) == -1);
+  Expect.isTrue(regressionTestHelper(4, 1) == 42);
+}
+
+regressionTestHelper(i, j) {
+  switch (i) {
+    case 4:
+      switch (j) {
+        case 1:
+          return 42;
+      }
+  }
+  return -1;
+}
+
+regressionTest2() {
+  var state = 1;
+  while (state < 2) {
+    switch (state) {
+      case 1:
+        state++;
+        break;
+      case 3:
+      case 4:
+        // We will translate this currently to an empty [Fragment] which can
+        // cause issues if we would like to append/prepend to it.
+        assert(false);
+    }
+  }
+  return [1];
+}
+
+regressionTest3() {
+  f(x) {
+    switch (x) {
+      case 1:
+        return 2;
+      case 2:
+    }
+    throw new UnsupportedError("Unexpected constant kind.");
+  }
+  Expect.isTrue(f(1) == 2);
+}
+
+main() {
+  testNormal();
+  testDefault();
+  testFallThrough();
+  testContinue();
+  testOnlyDefault();
+  testOnlyDefaultWithBreak();
+  regressionTest();
+  regressionTest2();
+  regressionTest3();
+
+  var result = testReturn();
+  Expect.isTrue(result == "good");
+}