kernel -> ssa: implement literal maps

pkg/compiler/lib/src/ssa/kernel_ast_adapter.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 'package:kernel/ast.dart' as ir;
 
 import '../common.dart';
 import '../compiler.dart';
 import '../constants/values.dart';
 import '../dart_types.dart';
 import '../elements/elements.dart';
 import '../js_backend/js_backend.dart';
+import '../kernel/kernel.dart';
 import '../resolution/tree_elements.dart';
 import '../tree/tree.dart' as ast;
 import '../types/masks.dart';
 import '../universe/call_structure.dart';
 import '../universe/selector.dart';
 import '../universe/side_effects.dart';
-
 import 'types.dart';
 
 /// A helper class that abstracts all accesses of the AST from Kernel nodes.
 ///
 /// The goal is to remove all need for the AST from the Kernel SSA builder.
 class KernelAstAdapter {
+  final Kernel kernel;
   final JavaScriptBackend _backend;
   final ResolvedAst _resolvedAst;
   final Map<ir.Node, ast.Node> _nodeToAst;
   final Map<ir.Node, Element> _nodeToElement;
   DartTypeConverter _typeConverter;
 
-  KernelAstAdapter(
-      this._backend,
-      this._resolvedAst,
-      this._nodeToAst,
-      this._nodeToElement,
-      Map<FieldElement, ir.Field> fields,
-      Map<FunctionElement, ir.Member> functions,
-      Map<ClassElement, ir.Class> classes,
-      Map<LibraryElement, ir.Library> libraries) {
+  KernelAstAdapter(this.kernel, this._backend, this._resolvedAst,
+      this._nodeToAst, this._nodeToElement) {
     // TODO(het): Maybe just use all of the kernel maps directly?
-    for (FieldElement fieldElement in fields.keys) {
-      _nodeToElement[fields[fieldElement]] = fieldElement;
+    for (FieldElement fieldElement in kernel.fields.keys) {
+      _nodeToElement[kernel.fields[fieldElement]] = fieldElement;
     }
-    for (FunctionElement functionElement in functions.keys) {
-      _nodeToElement[functions[functionElement]] = functionElement;
+    for (FunctionElement functionElement in kernel.functions.keys) {
+      _nodeToElement[kernel.functions[functionElement]] = functionElement;
     }
-    for (ClassElement classElement in classes.keys) {
-      _nodeToElement[classes[classElement]] = classElement;
+    for (ClassElement classElement in kernel.classes.keys) {
+      _nodeToElement[kernel.classes[classElement]] = classElement;
     }
-    for (LibraryElement libraryElement in libraries.keys) {
-      _nodeToElement[libraries[libraryElement]] = libraryElement;
+    for (LibraryElement libraryElement in kernel.libraries.keys) {
+      _nodeToElement[kernel.libraries[libraryElement]] = libraryElement;
     }
     _typeConverter = new DartTypeConverter(this);
   }
 
   Compiler get _compiler => _backend.compiler;
   TreeElements get _elements => _resolvedAst.elements;
 
   ConstantValue getConstantForSymbol(ir.SymbolLiteral node) {
     ast.Node astNode = getNode(node);
     ConstantValue constantValue = _backend.constants
@@ skipping 93 matching lines @@
   bool isIntercepted(ir.Node node) {
     Selector selector;
     if (node is ir.PropertyGet) {
       selector = getGetterSelector(node);
     } else {
       selector = getSelector(node);
     }
     return _backend.isInterceptedSelector(selector);
   }
 
+  ir.Procedure get mapLiteralConstructor =>
+      kernel.functions[_backend.helpers.mapLiteralConstructor];
+
+  ir.Procedure get mapLiteralConstructorEmpty =>
+      kernel.functions[_backend.helpers.mapLiteralConstructorEmpty];
+
   DartType getDartType(ir.DartType type) {
     return type.accept(_typeConverter);
   }
 }
 
 class DartTypeConverter extends ir.DartTypeVisitor<DartType> {
   final KernelAstAdapter astAdapter;
 
   DartTypeConverter(this.astAdapter);
 
@@ skipping 26 matching lines @@
   @override
   DartType visitDynamicType(ir.DynamicType node) {
     return const DynamicType();
   }
 
   @override
   DartType visitInvalidType(ir.InvalidType node) {
     throw new UnimplementedError("Invalid types not currently supported");
   }
 }