Handle named and optional arguments in cps-ir.

pkg/compiler/lib/src/universe/universe.dart

 // 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.
 
 library universe;
 
 import '../elements/elements.dart';
 import '../dart2jslib.dart';
 import '../dart_types.dart';
 import '../types/types.dart';
@@ skipping 477 matching lines @@
            name == element.name ||
            name == 'assert' && world.isAssertMethod(element);
   }
 
   bool applies(Element element, World world) {
     if (!sameNameHack(element, world)) return false;
     return appliesUnnamed(element, world);
   }
 
   /**
-   * Fills [list] with the arguments in the normalized order.
+   * Returns a `list` with the evaluated arguments in the normalized order.
    *
    * [compileArgument] is a function that returns a compiled version
    * of an argument located in [arguments].
    *
    * [compileDefaultValue] is a function that returns a compiled constant
    * of an optional argument that is not in [arguments].
    *
-   * Returns [:true:] if the selector and the [element] match; [:false:]
-   * otherwise.
+   * Precondition: `this.applies(element, world)`.

[floitsch, 2014/11/20 13:14:43]

can you assert this?

[sigurdm, 2014/11/21 09:52:53]

Not without requiring the world as a parameter.

    *
    * Invariant: [element] must be the implementation element.
    */
-  /*<T>*/ bool addArgumentsToList(
+  /*<T>*/ List/*<T>*/ makeArgumentsList(
       Link<Node> arguments,
-      List/*<T>*/ list,
       FunctionElement element,
       /*T*/ compileArgument(Node argument),
-      /*T*/ compileDefaultValue(ParameterElement element),
-      World world) {
+      /*T*/ compileDefaultValue(ParameterElement element)) {
     assert(invariant(element, element.isImplementation));
-    if (!this.applies(element, world)) return false;
+    List/*<T>*/ result = new List();
 
     FunctionSignature parameters = element.functionSignature;
     parameters.forEachRequiredParameter((ParameterElement element) {
-      list.add(compileArgument(arguments.head));
+      result.add(compileArgument(arguments.head));
       arguments = arguments.tail;
     });
 
     if (!parameters.optionalParametersAreNamed) {
       parameters.forEachOptionalParameter((ParameterElement element) {
         if (!arguments.isEmpty) {
-          list.add(compileArgument(arguments.head));
+          result.add(compileArgument(arguments.head));
           arguments = arguments.tail;
         } else {
-          list.add(compileDefaultValue(element));
+          result.add(compileDefaultValue(element));
         }
       });
     } else {
       // Visit named arguments and add them into a temporary list.
       List compiledNamedArguments = [];
       for (; !arguments.isEmpty; arguments = arguments.tail) {
         NamedArgument namedArgument = arguments.head;
         compiledNamedArguments.add(compileArgument(namedArgument.expression));
       }
       // Iterate over the optional parameters of the signature, and try to
       // find them in [compiledNamedArguments]. If found, we use the
       // value in the temporary list, otherwise the default value.
       parameters.orderedOptionalParameters.forEach((ParameterElement element) {
         int foundIndex = namedArguments.indexOf(element.name);
         if (foundIndex != -1) {
-          list.add(compiledNamedArguments[foundIndex]);
+          result.add(compiledNamedArguments[foundIndex]);
         } else {
-          list.add(compileDefaultValue(element));
+          result.add(compileDefaultValue(element));
         }
       });
     }
-    return true;
+    return result;
+  }
+
+  /// This is a version of [makeArgumentsList] that works for the tree_ir
+  /// representation of arguments.

[floitsch, 2014/11/20 13:14:43]

Reverse the order.
The Ssa-one is the one that will go away. Make this one the one that has the
comment and the good name.

[sigurdm, 2014/11/21 09:52:53]

Done.

+  /*<S, T>*/ List/*<T>*/ makeArgumentsList2(
+        List/*<S>*/ arguments,
+        FunctionElement element,
+        /*T*/ compileArgument(/*S*/ argument),
+        /*T*/ compileDefaultValue(ParameterElement element)) {
+    assert(invariant(element, element.isImplementation));
+    List/*<T>*/ result = new List();
+    FunctionSignature parameters = element.functionSignature;
+    int i = 0;
+    parameters.forEachRequiredParameter((ParameterElement element) {
+      result.add(compileArgument(arguments[i]));
+      ++i;
+    });
+
+    if (!parameters.optionalParametersAreNamed) {
+      parameters.forEachOptionalParameter((ParameterElement element) {
+        if (i < arguments.length) {
+          result.add(compileArgument(arguments[i]));
+          ++i;
+        } else {
+          result.add(compileDefaultValue(element));
+        }
+      });
+    } else {
+      // Visit named arguments and add them into a temporary list.
+      List compiledNamedArguments = [];
+      for (; i < arguments.length; ++i) {
+        compiledNamedArguments.add(compileArgument(arguments[i]));
+      }
+      // Iterate over the optional parameters of the signature, and try to
+      // find them in [compiledNamedArguments]. If found, we use the
+      // value in the temporary list, otherwise the default value.
+      parameters.orderedOptionalParameters
+          .forEach((ParameterElement element) {
+        int foundIndex = namedArguments.indexOf(element.name);
+        if (foundIndex != -1) {
+          result.add(compiledNamedArguments[foundIndex]);
+        } else {
+          result.add(compileDefaultValue(element));
+        }
+      });
+    }
+    return result;
   }
 
   /**
    * Fills [list] with the arguments in the order expected by
    * [callee], and where [caller] is a synthesized element
    *
    * [compileArgument] is a function that returns a compiled version
    * of a parameter of [callee].
    *
    * [compileConstant] is a function that returns a compiled constant
@@ skipping 48 matching lines @@
     List<String> namedParameters;
     if (signature.optionalParametersAreNamed) {
       namedParameters =
           signature.optionalParameters.mapToList((e) => e.name);
     }
     Selector selector = new Selector.call(callee.name,
                                           caller.library,
                                           signature.parameterCount,
                                           namedParameters);
 
-    return selector.addArgumentsToList(nodes,
-                                       list,
-                                       callee,
-                                       internalCompileArgument,
-                                       compileConstant,
-                                       world);
+    if (!selector.applies(callee, world)) return false;
+    list.addAll(selector.makeArgumentsList(nodes,
+                                           callee,
+                                           internalCompileArgument,
+                                           compileConstant));
+
+    return true;
   }
 
   static bool sameNames(List<String> first, List<String> second) {
     for (int i = 0; i < first.length; i++) {
       if (first[i] != second[i]) return false;
     }
     return true;
   }
 
   bool match(SelectorKind kind,
@@ skipping 164 matching lines @@
 
   Selector extendIfReachesAll(Compiler compiler) {
     bool canReachAll = compiler.enabledInvokeOn
         && mask.needsNoSuchMethodHandling(this, compiler.world);
     return canReachAll
         ? new TypedSelector(
             compiler.typesTask.dynamicType, this, compiler.world)
         : this;
   }
 }