cpsir: implementation of jsinterop in cps ir

pkg/compiler/lib/src/cps_ir/cps_ir_builder.dart

 // Copyright (c) 2013, 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.ir_builder;
 
 import '../closure.dart' as closure;
 import '../common.dart';
 import '../common/names.dart' show
     Names,
     Selectors;
 import '../compile_time_constants.dart' show
     BackendConstantEnvironment;
 import '../constants/constant_system.dart';
 import '../constants/values.dart' show
     ConstantValue,
     PrimitiveConstantValue;
 import '../dart_types.dart';
 import '../elements/elements.dart';
 import '../io/source_information.dart';
 import '../js/js.dart' as js show
     js,
+    objectLiteral,
     LiteralStatement,
     Template,
+    InterpolatedExpression,
     isIdentityTemplate;
 import '../native/native.dart' show
     NativeBehavior;
 import '../tree/tree.dart' as ast;
 import '../types/types.dart' show
     TypeMask;
 import '../universe/call_structure.dart' show
     CallStructure;
 import '../universe/selector.dart' show
     Selector,
@@ skipping 649 matching lines @@
     return primitive;
   }
 
   ir.Primitive buildInvokeStatic(Element element,
                                  Selector selector,
                                  List<ir.Primitive> arguments,
                                  SourceInformation sourceInformation) {
     assert(!element.isLocal);
     assert(!element.isInstanceMember);
     assert(isOpen);
-    return addPrimitive(
-        new ir.InvokeStatic(element, selector, arguments, sourceInformation));
+    if (program.isJsInterop(element)) {
+      return buildInvokeJsInteropMember(element, arguments);
+    } else {

[Jacob, 2016/02/11 17:54:33]

style not: remove else.

[Siggi Cherem (dart-lang), 2016/02/11 21:16:53]

Done.

+      return addPrimitive(
+          new ir.InvokeStatic(element, selector, arguments, sourceInformation));
+    }
   }
 
   ir.Primitive _buildInvokeSuper(Element target,
                                  Selector selector,
                                  List<ir.Primitive> arguments,
                                  SourceInformation sourceInformation) {
     assert(target.isInstanceMember);
     assert(isOpen);
     return addPrimitive(new ir.InvokeMethodDirectly(
         buildThis(), target, selector, arguments, sourceInformation));
@@ skipping 1353 matching lines @@
     // Generate the [ForeignCode] expression and a return statement to return
     // its value.
     ir.Primitive value = buildForeignCode(
         js.js.uncachedExpressionTemplate(code),
         arguments,
         behavior,
         type: program.getTypeMaskForNativeFunction(function));
     buildReturn(value: value, sourceInformation: source);
   }
 
+  static _isNotNull(ir.Primitive value) =>
+      value is! ir.Constant || !value.value.isNull;
+
+  /// Builds a call to a resolved js-interop element.
+  ir.Primitive buildInvokeJsInteropMember(FunctionElement element,

[Siggi Cherem (dart-lang), 2016/02/11 03:13:30]

most of this code logic is line-per-line as it was in SSA, there are a couple
minor differences that I'll point out below.

[Jacob, 2016/02/11 17:54:33]

Acknowledged.

+      List<ir.Primitive> arguments) {
+    program.addNativeMethod(element);
+    String target = program.getJsInteropTargetPath(element);
+    // Strip off trailing arguments that were not specified.
+    // TODO(jacobr): assert that the trailing arguments are all null.

[Jacob, 2016/02/11 17:54:33]

hey now... shouldn't this be 
TODO(sigmund)? 
:)

[Siggi Cherem (dart-lang), 2016/02/11 21:16:53]

The comment was there before, I just made it a TODO :).. Added my name to the
mix :) 

+    // TODO(jacobr): rewrite named arguments to an object literal matching
+    // the factory constructor case.
+    var inputs = arguments.where(_isNotNull).toList();
+
+    var behavior = new NativeBehavior()..sideEffects.setAllSideEffects();
+    DartType type = element.isConstructor ?
+        element.enclosingClass.thisType : element.type.returnType;
+    // Native behavior effects here are similar to native/behavior.dart.
+    // The return type is dynamic if we don't trust js-interop type
+    // declarations.
+    behavior.typesReturned.add(
+        program.trustJSInteropTypeAnnotations ? type : const DynamicType());
+
+    // The allocation effects include the declared type if it is native (which
+    // includes js interop types).
+    if (type.element != null && program.isNative(type.element)) {
+      behavior.typesInstantiated.add(type);
+    }
+
+    // It also includes any other JS interop type if we don't trust the
+    // annotation or if is declared too broad.
+    if (!program.trustJSInteropTypeAnnotations || type.isObject ||
+        type.isDynamic) {
+      behavior.typesInstantiated.add(program.jsJavascriptObjectType);
+    }
+
+    String code;
+    if (element.isGetter) {
+      code = target;

[Siggi Cherem (dart-lang), 2016/02/11 03:13:30]

difference 1: I use `target` directly here, SSA created a code template for it,
it seems I don't need to nest 2 templates for it.

[Jacob, 2016/02/11 17:54:33]

Acknowledged.

+    } else if (element.isSetter) {
+      code = "$target = #";
+    } else {
+      var args = new List.filled(inputs.length, '#').join(',');
+      code = element.isConstructor ? "new $target($args)" : "$target($args)";
+    }
+    return buildForeignCode(js.js.parseForeignJS(code), inputs, behavior);

[Siggi Cherem (dart-lang), 2016/02/11 03:13:31]

difference 2: I no longer attach the code to the behavior (behavior.codeTemplate
= ...). It seemed. unnecessary.

+    // TODO(sigmund): should we record the source-information here?

[Siggi Cherem (dart-lang), 2016/02/11 03:13:31]

difference 3: I have no place to store source-info here. Should we add it to
ForeignCode?

[Jacob, 2016/02/11 17:54:33]

Will that result in a good source maps exerience using the CPS ir?

[Siggi Cherem (dart-lang), 2016/02/11 21:16:53]

Yeah, I think that is likely to be an issue here and we need to add it. But
cps-ir source-maps plumbing is still missing, so we might need to wait until we
have it in place.

+  }
+
+  /// Builds an object literal that results from invoking a factory constructor
+  /// of a js-interop anonymous type.
+  ir.Primitive buildJsInteropObjectLiteral(ConstructorElement constructor,
+      List<ir.Primitive> arguments, {SourceInformation source}) {
+    assert(program.isJsInteropAnonymous(constructor));
+    program.addNativeMethod(constructor);
+    FunctionSignature params = constructor.functionSignature;
+    int i = 0;
+    var filteredArguments = <ir.Primitive>[];
+    var entries = new Map<String, js.Expression>();
+    params.orderedForEachParameter((ParameterElement parameter) {
+      // TODO(jacobr): throw if parameter names do not match names of property
+      // names in the class.
+      assert (parameter.isNamed);
+      ir.Primitive argument = arguments[i++];
+      if (_isNotNull(argument)) {
+        filteredArguments.add(argument);
+        entries[parameter.name] =
+            new js.InterpolatedExpression(filteredArguments.length - 1);
+      }
+    });
+    var code = new js.Template(null, js.objectLiteral(entries));
+    var behavior = new NativeBehavior();
+    if (program.trustJSInteropTypeAnnotations) {
+      behavior.typesReturned.add(constructor.enclosingClass.thisType);
+    }
+
+    // TODO(sigmund): should we record the source-information here?
+    return buildForeignCode(code, filteredArguments, behavior);
+  }
+
   /// Create a blocks of [statements] by applying [build] to all reachable
   /// statements. The first statement is assumed to be reachable.
   // TODO(johnniwinther): Type [statements] as `Iterable` when `NodeList` uses
   // `List` instead of `Link`.
   void buildBlock(var statements, BuildFunction build) {
     // Build(Block(stamements), C) = C'
     //   where C' = statements.fold(Build, C)
     assert(isOpen);
     return buildSequence(statements, build);
   }
@@ skipping 465 matching lines @@
       ConstructorElement element,
       CallStructure callStructure,
       DartType type,
       List<ir.Primitive> arguments,
       SourceInformation sourceInformation,
       {TypeMask allocationSiteType}) {
     assert(isOpen);
     Selector selector =
         new Selector(SelectorKind.CALL, element.memberName, callStructure);
     ClassElement cls = element.enclosingClass;
+    if (program.isJsInterop(element)) {
+      if (program.isJsInteropAnonymous(element)) {
+        return buildJsInteropObjectLiteral(element, arguments,
+            source: sourceInformation);
+      } else {

[Jacob, 2016/02/11 17:54:33]

sme nit about unneeded else

[Siggi Cherem (dart-lang), 2016/02/11 21:16:53]

Done.

+        return buildInvokeJsInteropMember(element, arguments);
+      }
+    }
     if (program.requiresRuntimeTypesFor(cls)) {
       InterfaceType interface = type;
       Iterable<ir.Primitive> typeArguments =
           interface.typeArguments.map((DartType argument) {
         return type.treatAsRaw
             ? buildNullConstant()
             : buildTypeExpression(argument);
       });
       arguments = new List<ir.Primitive>.from(arguments)
           ..addAll(typeArguments);
@@ skipping 279 matching lines @@
                    this.stackTraceVariable,
                    this.buildCatchBlock});
 }
 
 class SwitchCaseInfo {
   final SubbuildFunction buildCondition;
   final SubbuildFunction buildBody;
 
   SwitchCaseInfo(this.buildCondition, this.buildBody);
 }