Extract type inference queries from KernelAstAdapter to KernelToTypeInferenceMap

pkg/compiler/lib/src/kernel/kernel_backend_strategy.dart

+// Copyright (c) 2017, 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.
+
+library dart2js.kernel.backend_strategy;
+
+import 'package:kernel/ast.dart' as ir;
+
+import '../backend_strategy.dart';
+import '../common/codegen.dart' show CodegenRegistry, CodegenWorkItem;
+import '../common/tasks.dart';
+import '../compiler.dart';
+import '../elements/entities.dart';
+import '../enqueue.dart';
+import '../io/source_information.dart';
+import '../js_backend/backend.dart';
+import '../js_backend/native_data.dart';
+import '../js_emitter/sorter.dart';
+import '../kernel/element_map.dart';
+import '../native/behavior.dart';
+import '../ssa/builder_kernel.dart';
+import '../ssa/nodes.dart';
+import '../ssa/ssa.dart';
+import '../ssa/types.dart';
+import '../types/types.dart';
+import '../universe/selector.dart';
+import '../universe/world_builder.dart';
+import '../universe/world_impact.dart';
+import '../world.dart';
+import 'kernel_strategy.dart';
+
+/// Backend strategy that uses the kernel elements as the backend model.
+// TODO(johnniwinther): Replace this with a strategy based on the J-element
+// model.
+class KernelBackendStrategy implements BackendStrategy {
+  final Compiler _compiler;
+
+  KernelBackendStrategy(this._compiler);
+
+  @override
+  ClosedWorldRefiner createClosedWorldRefiner(KernelClosedWorld closedWorld) {
+    return closedWorld;
+  }
+
+  @override
+  Sorter get sorter =>
+      throw new UnimplementedError('KernelBackendStrategy.sorter');
+
+  @override
+  void convertClosures(ClosedWorldRefiner closedWorldRefiner) {
+    // TODO(johnniwinther,efortuna): Compute closure classes for kernel based
+    // elements.
+  }
+
+  @override
+  WorkItemBuilder createCodegenWorkItemBuilder(ClosedWorld closedWorld) {
+    return new KernelCodegenWorkItemBuilder(_compiler.backend, closedWorld);
+  }
+
+  @override
+  CodegenWorldBuilder createCodegenWorldBuilder(
+      NativeBasicData nativeBasicData,
+      ClosedWorld closedWorld,
+      SelectorConstraintsStrategy selectorConstraintsStrategy) {
+    return new KernelCodegenWorldBuilder(_compiler.elementEnvironment,
+        nativeBasicData, closedWorld, selectorConstraintsStrategy);
+  }
+
+  @override
+  SsaBuilderTask createSsaBuilderTask(JavaScriptBackend backend,
+      SourceInformationStrategy sourceInformationStrategy) {
+    return new KernelSsaBuilderTask(backend.compiler);
+  }
+}
+
+class KernelCodegenWorkItemBuilder implements WorkItemBuilder {
+  final JavaScriptBackend _backend;
+  final ClosedWorld _closedWorld;
+
+  KernelCodegenWorkItemBuilder(this._backend, this._closedWorld);
+
+  @override
+  CodegenWorkItem createWorkItem(MemberEntity entity) {
+    return new KernelCodegenWorkItem(_backend, _closedWorld, entity);
+  }
+}
+
+class KernelCodegenWorkItem extends CodegenWorkItem {
+  final JavaScriptBackend _backend;
+  final ClosedWorld _closedWorld;
+  final MemberEntity element;
+  final CodegenRegistry registry;
+
+  KernelCodegenWorkItem(this._backend, this._closedWorld, this.element)
+      : registry = new CodegenRegistry(element);
+
+  @override
+  WorldImpact run() {
+    return _backend.codegen(this, _closedWorld);
+  }
+}
+
+/// Task for building SSA from kernel IR loaded from .dill.
+class KernelSsaBuilderTask extends CompilerTask implements SsaBuilderTask {
+  final Compiler _compiler;
+
+  KernelSsaBuilderTask(this._compiler) : super(_compiler.measurer);
+
+  KernelToElementMap get _elementMap {
+    KernelFrontEndStrategy frontEndStrategy = _compiler.frontEndStrategy;
+    return frontEndStrategy.elementMap;
+  }
+
+  @override
+  HGraph build(CodegenWorkItem work, ClosedWorld closedWorld) {
+    KernelSsaBuilder builder = new KernelSsaBuilder(
+        work.element,
+        _compiler,
+        _elementMap,
+        new KernelToTypeInferenceMapImpl(closedWorld),
+        closedWorld,
+        work.registry,
+        const SourceInformationBuilder(),
+        null);
+    return builder.build();
+  }
+}
+
+class KernelToTypeInferenceMapImpl implements KernelToTypeInferenceMap {
+  final ClosedWorld _closedWorld;
+
+  KernelToTypeInferenceMapImpl(this._closedWorld);
+
+  @override
+  TypeMask typeFromNativeBehavior(
+      NativeBehavior nativeBehavior, ClosedWorld closedWorld) {
+    return TypeMaskFactory.fromNativeBehavior(nativeBehavior, closedWorld);
+  }
+
+  @override
+  TypeMask selectorTypeOf(Selector selector, TypeMask mask) {
+    return _closedWorld.commonMasks.dynamicType;

[Siggi Cherem (dart-lang), 2017/05/24 17:18:28]

\o/

We should rename `dynamic` to `awesome`, then we can say... 
Everything is awesome!!!

[Johnni Winther, 2017/05/29 07:50:53]

Acknowledged.

+  }
+
+  @override
+  TypeMask getInferredTypeOf(MemberEntity member) {
+    return _closedWorld.commonMasks.dynamicType;
+  }
+
+  @override
+  TypeMask inferredIndexType(ir.ForInStatement forInStatement) {
+    return _closedWorld.commonMasks.dynamicType;
+  }
+
+  @override
+  bool isJsIndexableIterator(
+      ir.ForInStatement forInStatement, ClosedWorld closedWorld) {
+    return false;
+  }
+
+  @override
+  TypeMask typeOfIteratorMoveNext(ir.ForInStatement forInStatement) {
+    return _closedWorld.commonMasks.dynamicType;
+  }
+
+  @override
+  TypeMask typeOfIteratorCurrent(ir.ForInStatement forInStatement) {
+    return _closedWorld.commonMasks.dynamicType;
+  }
+
+  @override
+  TypeMask typeOfIterator(ir.ForInStatement forInStatement) {
+    return _closedWorld.commonMasks.dynamicType;
+  }
+
+  @override
+  TypeMask typeOfListLiteral(
+      MemberEntity owner, ir.ListLiteral listLiteral, ClosedWorld closedWorld) {
+    return _closedWorld.commonMasks.dynamicType;
+  }
+
+  @override
+  TypeMask typeOfSet(ir.PropertySet write, ClosedWorld closedWorld) {
+    return _closedWorld.commonMasks.dynamicType;
+  }
+
+  @override
+  TypeMask typeOfGet(ir.PropertyGet read) {
+    return _closedWorld.commonMasks.dynamicType;
+  }
+
+  @override
+  TypeMask typeOfInvocation(
+      ir.MethodInvocation invocation, ClosedWorld closedWorld) {
+    return _closedWorld.commonMasks.dynamicType;
+  }
+
+  @override
+  TypeMask getReturnTypeOf(FunctionEntity function) {
+    return _closedWorld.commonMasks.dynamicType;
+  }
+}