Implement argument definition test in the vm.

runtime/vm/code_generator.cc

 // 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.
 
 #include "vm/code_generator.h"
 
 #include "vm/assembler_macros.h"
 #include "vm/ast.h"
 #include "vm/code_patcher.h"
 #include "vm/compiler.h"
@@ skipping 636 matching lines @@
                                         dst_name, malformed_error_message);
     UNREACHABLE();
   }
   UpdateTypeTestCache(src_instance, dst_type,
                       dst_instantiator, instantiator_type_arguments,
                       Bool::ZoneHandle(Bool::True()), cache);
   arguments.SetReturn(src_instance);
 }
 
 
+// Test whether a formal parameter was defined by a passed-in argument.
+// Arg0: formal parameter index as Smi.
+// Arg1: formal parameter name as Symbol.
+// Arg2: arguments descriptor array.
+// Return value: true or false.
+DEFINE_RUNTIME_ENTRY(ArgumentDefinitionTest, 3) {
+  ASSERT(arguments.Count() ==
+         kArgumentDefinitionTestRuntimeEntry.argument_count());
+  const Smi& param_index = Smi::CheckedHandle(arguments.At(0));
+  const String& param_name = String::CheckedHandle(arguments.At(1));
+  ASSERT(param_name.IsSymbol());
+  const Array& arg_desc = Array::CheckedHandle(arguments.At(2));
+  const intptr_t num_pos_args = Smi::CheckedHandle(arg_desc.At(1)).Value();
+  // Check if the formal parameter is defined by a positional argument.
+  bool is_defined = num_pos_args > param_index.Value();
+  if (!is_defined) {
+    // Check if the formal parameter is defined by a named argument.
+    const intptr_t num_named_args =
+        Smi::CheckedHandle(arg_desc.At(0)).Value() - num_pos_args;
+    String& arg_name = String::Handle();
+    for (intptr_t i = 0; i < num_named_args; i++) {
+      arg_name ^= arg_desc.At(2*i + 2);
+      if (arg_name.raw() == param_name.raw()) {
+        is_defined = true;
+        break;
+      }
+    }
+  }
+  arguments.SetReturn(Bool::Handle(Bool::Get(is_defined)));
+}
+
+
 // Report that the type of the given object is not bool in conditional context.
 // Arg0: bad object.
 // Return value: none, throws a TypeError.
 DEFINE_RUNTIME_ENTRY(ConditionTypeError, 1) {
   ASSERT(arguments.Count() ==
       kConditionTypeErrorRuntimeEntry.argument_count());
   const intptr_t location = GetCallerLocation();
   const Instance& src_instance = Instance::CheckedHandle(arguments.At(0));
   ASSERT(src_instance.IsNull() || !src_instance.IsBool());
   const Type& bool_interface = Type::Handle(Type::BoolType());
@@ skipping 1003 matching lines @@
                 current->slot(),
                 current->value());
     }
 
     delete current;
   }
 }
 
 
 }  // namespace dart