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

tests/kernel/unsorted/constant_expressions_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';
+
+const int42 = 40 + 2;
+const stringAB = 'a' + 'b';
+const stringAB2 = 'a' + 'b';
+const list123 = const [1, 2, 3];
+const mapABC = const {'a' : 'b', 'b': 'c'};
+
+const boxInt42 = const Box(int42);
+const boxStringAB = const Box(stringAB);
+
+class Box {
+  final value;
+  const Box(this.value);
+}
+
+returnPositional([a = const Box('posi' + 'tional')]) => a;
+
+returnNamed({a: const Box('nam' + 'ed')}) => a;
+
+returnSwitchCasedValue(value) {
+  switch (value) {
+    case const Box(42): return 42;
+    case const Box('abc'): return 'abc';
+    case const Box(const Box('abc')): return const Box('abc');
+    default: return 'default';
+  }
+}
+
+testConstantExpressions() {
+  Expect.isTrue(identical(const Box(40 + 2), const Box(40 + 2)));
+  Expect.isTrue(identical(const Box('a' + 'b'), const Box('ab')));
+  Expect.isTrue(identical(const Box(const Box(40 + 2)),
+                          const Box(const Box(42))));
+  Expect.isTrue(identical(const Box(const Box('a' + 'b')),
+                          const Box(const Box('ab'))));
+}
+
+testConstantFieldValues() {
+  Expect.isTrue(identical(42, int42));
+  Expect.isTrue(identical(stringAB, stringAB2));
+  Expect.isTrue(identical(const Box(42), boxInt42));
+  Expect.isTrue(identical(const Box('ab'), boxStringAB));
+}
+
+testConstantFunctionParameters() {
+  Expect.isTrue(identical(const Box('positional'), returnPositional()));
+  Expect.isTrue(identical(const Box('named'), returnNamed()));
+  Expect.isTrue(identical(const Box('abc'),
+                          returnPositional(const Box('abc'))));
+  Expect.isTrue(identical(const Box('def'),
+                          returnNamed(a: const Box('def'))));
+}
+
+testConstantSwitchExpressions() {
+  Expect.isTrue(returnSwitchCasedValue(const Box(42)) == 42);
+  Expect.isTrue(returnSwitchCasedValue(const Box('abc')) == 'abc');
+  Expect.isTrue(returnSwitchCasedValue(const Box(const Box('abc')))
+                == const Box('abc'));
+  Expect.isTrue(returnSwitchCasedValue(const Box('go-to-default'))
+                == 'default');
+}
+
+testConstantLocalVariables() {
+  const a = 'a';
+  const b = a + 'b';
+  const c = b + 'c';
+  const box = const Box(c);
+  Expect.isTrue(identical(const Box('abc'), box));
+}
+
+testComplextConstLiterals() {
+  Expect.isTrue(identical(const [1, 2, 3], const [1, 2, 3]));
+  Expect.isTrue(identical(const [1, 2, 3], list123));
+  Expect.isTrue(identical(const {'a': 'b', 'b': 'c'}, const {'a': 'b', 'b': 'c'}));
+  Expect.isTrue(identical(const {'a': 'b', 'b': 'c'}, mapABC));
+
+  Expect.isTrue(mapABC['a'] == 'b');
+  Expect.isTrue(mapABC['b'] == 'c');
+  Expect.isTrue(mapABC.length == 2);
+
+  Expect.isTrue(list123[0] == 1);
+  Expect.isTrue(list123[1] == 2);
+  Expect.isTrue(list123[2] == 3);
+  Expect.isTrue(list123.length == 3);
+}
+
+main() {
+  testConstantExpressions();
+  testConstantFieldValues();
+  testConstantFunctionParameters();
+  testConstantSwitchExpressions();
+  testComplextConstLiterals();
+  testConstantExpressions();
+  testConstantLocalVariables();
+}