Build CFG for various JS() foreign methods

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:js_runtime/shared/embedded_names.dart';
 import 'package:kernel/ast.dart' as ir;
 
 import '../common.dart';
 import '../common/names.dart';
 import '../compiler.dart';
 import '../constants/values.dart';
 import '../dart_types.dart';
 import '../elements/elements.dart';
+import '../js/js.dart' as js;
 import '../js_backend/js_backend.dart';
 import '../kernel/kernel.dart';
+import '../native/native.dart' as native;
 import '../resolution/tree_elements.dart';
 import '../tree/tree.dart' as ast;
 import '../types/masks.dart';
 import '../types/types.dart';
 import '../universe/call_structure.dart';
 import '../universe/selector.dart';
 import '../universe/side_effects.dart';
 import '../world.dart';
 import 'locals_handler.dart';
 import 'types.dart';
@@ skipping 188 matching lines @@
   }
 
   TypeMask inferredTypeOf(ir.Member node) {
     return TypeMaskFactory.inferredTypeForElement(getElement(node), _compiler);
   }
 
   TypeMask selectorTypeOf(Selector selector, TypeMask mask) {
     return TypeMaskFactory.inferredTypeForSelector(selector, mask, _compiler);
   }
 
+  TypeMask typeFromNativeBehavior(native.NativeBehavior nativeBehavior) {
+    return TypeMaskFactory.fromNativeBehavior(nativeBehavior, _compiler);
+  }
+
   ConstantValue getConstantFor(ir.Node node) {
     ConstantValue constantValue =
         _backend.constants.getConstantValueForNode(getNode(node), elements);
     assert(invariant(getNode(node), constantValue != null,
         message: 'No constant computed for $node'));
     return constantValue;
   }
 
   bool isIntercepted(ir.Node node) {
     Selector selector = getSelector(node);
@@ skipping 32 matching lines @@
 
   TypeMask get assertTestReturnType => TypeMaskFactory
       .inferredReturnTypeForElement(_backend.helpers.assertTest, _compiler);
 
   ir.Procedure get assertThrow =>
       kernel.functions[_backend.helpers.assertThrow];
 
   TypeMask get assertThrowReturnType => TypeMaskFactory
       .inferredReturnTypeForElement(_backend.helpers.assertThrow, _compiler);
 
+  //bool isInForeignLibrary(ir.Member member) =>

[Harry Terkelsen, 2016/10/12 16:42:59]

remove this comment?

[sra1, 2016/10/13 19:02:01]

Done.

+  //    getElement(member.enclosingLibrary) == _backend.helpers.foreignLibrary;
+  bool isInForeignLibrary(ir.Member member) =>
+      _backend.isForeign(getElement(member));
+
+  native.NativeBehavior getNativeBehavior(ir.Node node) {
+    return elements.getNativeData(getNode(node));
+  }
+
+  js.Name getNameForJsGetName(ir.Node argument, ConstantValue constant) {
+    int index = _extractEnumIndexFromConstantValue(
+        constant, _backend.helpers.jsGetNameEnum);
+    if (index == null) return null;
+    return _backend.namer
+        .getNameForJsGetName(getNode(argument), JsGetName.values[index]);
+  }
+
+  js.Template getJsBuiltinTemplate(ConstantValue constant) {
+    int index = _extractEnumIndexFromConstantValue(
+        constant, _backend.helpers.jsBuiltinEnum);
+    if (index == null) return null;
+    return _backend.emitter.builtinTemplateFor(JsBuiltin.values[index]);
+  }
+
+  int _extractEnumIndexFromConstantValue(
+      ConstantValue constant, Element classElement) {
+    if (constant is ConstructedConstantValue) {
+      if (constant.type.element == classElement) {
+        assert(constant.fields.length == 1);
+        ConstantValue indexConstant = constant.fields.values.single;
+        if (indexConstant is IntConstantValue) {
+          return indexConstant.primitiveValue;
+        }
+      }
+    }
+    return null;
+  }
+
   DartType getDartType(ir.DartType type) {
     return type.accept(_typeConverter);
   }
 
   List<DartType> getDartTypes(List<ir.DartType> types) {
     return types.map(getDartType).toList();
   }
 }
 
 class DartTypeConverter extends ir.DartTypeVisitor<DartType> {
@@ skipping 41 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");
   }
 }