Rip-off the backend type inferrer.

tests/compiler/dart2js/call_site_type_inferer_test.dart

Index: tests/compiler/dart2js/call_site_type_inferer_test.dart
===================================================================
--- tests/compiler/dart2js/call_site_type_inferer_test.dart	(revision 23797)
+++ tests/compiler/dart2js/call_site_type_inferer_test.dart	(working copy)
@@ -1,293 +0,0 @@
-// Copyright (c) 2012, 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 "package:expect/expect.dart";
-import '../../../sdk/lib/_internal/compiler/implementation/js_backend/js_backend.dart';
-import '../../../sdk/lib/_internal/compiler/implementation/ssa/ssa.dart';
-
-import 'compiler_helper.dart';
-import 'parser_helper.dart';
-
-void compileAndFind(String code,
-                    String className,
-                    String memberName,
-                    bool disableInlining,
-                    check(compiler, element)) {
-  Uri uri = new Uri(scheme: 'source');
-  var compiler = compilerFor(code, uri);
-  compiler.disableInlining = disableInlining;
-  compiler.runCompiler(uri);
-  var cls = findElement(compiler, className);
-  var member = cls.lookupLocalMember(buildSourceString(memberName));
-  return check(compiler, member);
-}
-
-const String TEST_1 = r"""
-  class A {
-    x(p) => p;
-  }
-  main() { new A().x("s"); }
-""";
-
-const String TEST_2 = r"""
-  class A {
-    x(p) => p;
-  }
-  main() { new A().x(1); }
-""";
-
-const String TEST_3 = r"""
-  class A {
-    x(p) => x(p - 1);
-  }
-  main() { new A().x(1); }
-""";
-
-const String TEST_4 = r"""
-  class A {
-    x(p) => x(p - 1);
-  }
-  main() { new A().x(1.5); }
-""";
-
-const String TEST_5 = r"""
-  class A {
-    x(p) => p;
-  }
-  main() {
-    new A().x(1);
-    new A().x(1.5);
-  }
-""";
-
-const String TEST_6 = r"""
-  class A {
-    x(p) => p;
-  }
-  main() {
-    new A().x(1.5);
-    new A().x(1);
-  }
-""";
-
-const String TEST_7a = r"""
-  class A {
-    x(p) => x("x");
-  }
-  main() {
-    new A().x(1);
-  }
-""";
-
-const String TEST_7b = r"""
-  class A {
-    x(p) => x("x");
-  }
-  main() {
-    new A().x({});
-  }
-""";
-
-const String TEST_8 = r"""
-  class A {
-    x(p1, p2, p3) => x(p1, "x", {});
-  }
-  main() {
-    new A().x(1, 2, 3);
-  }
-""";
-
-const String TEST_9 = r"""
-  class A {
-    x(p1, p2) => x(p1, p2);
-  }
-  main() {
-    new A().x(1, 2);
-  }
-""";
-
-const String TEST_10 = r"""
-  class A {
-    x(p1, p2) => x(p1, p2);
-  }
-  void f(p) {
-    p.x("x", "y");
-  }
-  main() {
-    f(null);
-    new A().x(1, 2);
-  }
-""";
-
-const String TEST_11 = r"""
-  class A {
-    x(p1, p2) => x(1, 2);
-  }
-  main() {
-    new A().x("x", "y");
-  }
-""";
-
-const String TEST_12 = r"""
-  class A {
-    x(p1, [p2 = 1]) => 1;
-  }
-  main() {
-    new A().x("x", 1);
-    new A().x("x");
-  }
-""";
-
-const String TEST_13 = r"""
-  class A {
-    x(p) => 1;
-  }
-  f(p) => p.x(2.2);
-  main() {
-    new A().x(1);
-    f(new A());
-  }
-""";
-
-const String TEST_14 = r"""
-  class A {
-    x(p1, [p2 = "s"]) => 1;
-  }
-  main() {
-    new A().x(1);
-  }
-""";
-
-const String TEST_15 = r"""
-  class A {
-    x(p1, [p2 = true]) => 1;
-  }
-  f(p) => p.a("x");
-  main() {
-    new A().x("x");
-    new A().x("x", false);
-    f(null);
-  }
-""";
-
-const String TEST_16 = r"""
-  class A {
-    x(p1, [p2 = 1, p3 = "s"]) => 1;
-  }
-  main() {
-    new A().x(1);
-    new A().x(1, 2);
-    new A().x(1, 2, "x");
-    new A().x(1, p2: 2);
-    new A().x(1, p3: "x");
-    new A().x(1, p3: "x", p2: 2);
-    new A().x(1, p2: 2, p3: "x");
-  }
-""";
-
-const String TEST_17 = r"""
-  class A {
-    x(p1, [p2 = 1, p3 = "s"]) => 1;
-  }
-  main() {
-    new A().x(1, true, 1.1);
-    new A().x(1, false, 2.2);
-    new A().x(1, p3: 3.3, p2: true);
-    new A().x(1, p2: false, p3: 4.4);
-  }
-""";
-
-const String TEST_18 = r"""
-  class A {
-    x(p1, p2) => x(p1, p2);
-  }
-  class B extends A {
-  }
-  main() {
-    new B().x("a", "b");
-    new A().x(1, 2);
-  }
-""";
-
-void doTest(String test,
-            bool disableInlining,
-            List expectedTypes,  // HTypes, or functions constructing HTypes.
-            OptionalParameterTypes defaultTypes) {
-  compileAndFind(
-    test,
-    'A',
-    'x',
-    disableInlining,
-    (compiler, x) {
-      HTypeList types =
-          compiler.backend.optimisticParameterTypes(x, defaultTypes);
-      if (expectedTypes != null) {
-        expectedTypes = expectedTypes
-            .map((e) => e is HType ? e : e(compiler))
-            .toList();
-        Expect.isFalse(types.allUnknown);
-        Expect.equals(expectedTypes.length, types.types.length);
-        Expect.listEquals(expectedTypes,
-            types.types.map((t) => t.simplify(compiler)).toList());
-      } else {
-        Expect.isTrue(types.allUnknown);
-      }
-  });
-}
-
-void runTest(String test,
-             [List<HType> expectedTypes,
-              OptionalParameterTypes defaultTypes]) {
-  doTest(test, true, expectedTypes, defaultTypes);
-}
-
-void test() {
-  OptionalParameterTypes defaultTypes;
-
-  subclassOfInterceptor(compiler) =>
-      findHType(compiler, 'Interceptor', 'nonNullSubclass');
-
-  runTest(TEST_1, [HType.STRING]);
-  runTest(TEST_2, [HType.INTEGER]);
-  runTest(TEST_3, [HType.INTEGER]);
-  runTest(TEST_4, [HType.DOUBLE]);
-  runTest(TEST_5, [HType.NUMBER]);
-  runTest(TEST_6, [HType.NUMBER]);
-  runTest(TEST_7a, [subclassOfInterceptor]);
-  runTest(TEST_7b, [HType.NON_NULL]);
-  runTest(TEST_8, [HType.INTEGER, subclassOfInterceptor, HType.NON_NULL]);
-  runTest(TEST_9, [HType.INTEGER, HType.INTEGER]);
-  runTest(TEST_10, [HType.INTEGER, HType.INTEGER]);
-  runTest(TEST_11, [subclassOfInterceptor, subclassOfInterceptor]);
-
-  defaultTypes = new OptionalParameterTypes(1);
-  defaultTypes.update(0, const SourceString("p2"), HType.INTEGER);
-  runTest(TEST_12, [HType.STRING, HType.INTEGER], defaultTypes);
-
-  runTest(TEST_13, [HType.NUMBER]);
-
-  defaultTypes = new OptionalParameterTypes(1);
-  defaultTypes.update(0, const SourceString("p2"), HType.STRING);
-  runTest(TEST_14, [HType.INTEGER, HType.STRING], defaultTypes);
-
-  defaultTypes = new OptionalParameterTypes(1);
-  defaultTypes.update(0, const SourceString("p2"), HType.BOOLEAN);
-  runTest(TEST_15, [HType.STRING, HType.BOOLEAN], defaultTypes);
-
-  defaultTypes = new OptionalParameterTypes(2);
-  defaultTypes.update(0, const SourceString("p2"), HType.INTEGER);
-  defaultTypes.update(1, const SourceString("p3"), HType.STRING);
-  runTest(TEST_16, [HType.INTEGER, HType.INTEGER, HType.STRING], defaultTypes);
-
-  defaultTypes = new OptionalParameterTypes(2);
-  defaultTypes.update(0, const SourceString("p2"), HType.INTEGER);
-  defaultTypes.update(1, const SourceString("p3"), HType.STRING);
-  runTest(TEST_17, [HType.INTEGER, HType.BOOLEAN, HType.DOUBLE], defaultTypes);
-
-  runTest(TEST_18, [subclassOfInterceptor, subclassOfInterceptor]);
-}
-
-void main() {
-  test();
-}