Support for mixed null/smi equality: do not deoptimize, emit same optimized code as if that was smi…

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 878 matching lines @@
     return Function::null();
   }
   const Function& target_function =
       Function::Handle(target_code.function());
   ASSERT(!target_function.IsNull());
   DartFrameIterator iterator;
   StackFrame* caller_frame = iterator.NextFrame();
   ASSERT(caller_frame != NULL);
   ICData& ic_data = ICData::Handle(
       CodePatcher::GetInstanceCallIcDataAt(caller_frame->pc()));
-#if defined(DEBUG)
-  for (intptr_t i = 0; i < ic_data.NumberOfChecks(); i++) {
-    GrowableArray<intptr_t> class_ids;
-    Function& target = Function::Handle();
-    ic_data.GetCheckAt(i, &class_ids, &target);
-    bool matches = true;
-    for (intptr_t k = 0; k < class_ids.length(); k++) {
-      if (class_ids[k] != Class::Handle(args[k]->clazz()).id()) {
-        matches = false;
-        break;
-      }
-    }
-    // Do not add an entry twice!
-    ASSERT(!matches);
-  }
-#endif  // DEBUG
-
   if (args.length() == 1) {
     ic_data.AddReceiverCheck(Class::Handle(args[0]->clazz()).id(),
                              target_function);
   } else {
     GrowableArray<intptr_t> class_ids(args.length());
     ASSERT(ic_data.num_args_tested() == args.length());
     for (intptr_t i = 0; i < args.length(); i++) {
       class_ids.Add(Class::Handle(args[i]->clazz()).id());
     }
     ic_data.AddCheck(class_ids, target_function);
@@ skipping 72 matching lines @@
   GrowableArray<const Instance*> args(3);
   args.Add(&receiver);
   args.Add(&arg1);
   args.Add(&arg2);
   const Function& result =
       Function::Handle(InlineCacheMissHandler(isolate, args));
   arguments.SetReturn(result);
 }
 
 
+// Updates IC data for two arguments. Used by the equality operation when
+// teh control flow bypasses regular inline cache (null arguments).

[Florian Schneider, 2012/10/05 09:17:35]

s/teh/the/ :)

[srdjan, 2012/10/09 18:06:03]

Done.

+//   Arg0: Receiver object.
+//   Arg1: Argument after receiver.
+//   Arg2: Target's name.
+//   Arg3: ICData.
+DEFINE_RUNTIME_ENTRY(UpdateICDataTwoArgs, 4) {
+  ASSERT(arguments.Count() ==
+      kUpdateICDataTwoArgsRuntimeEntry.argument_count());
+  const Instance& receiver = Instance::CheckedHandle(arguments.At(0));
+  const Instance& arg1 = Instance::CheckedHandle(arguments.At(1));
+  const String& target_name = String::CheckedHandle(arguments.At(2));
+  const ICData& ic_data = ICData::CheckedHandle(arguments.At(3));
+  GrowableArray<const Instance*> args(2);
+  args.Add(&receiver);
+  args.Add(&arg1);
+  const intptr_t kNumArguments = 2;
+  const intptr_t kNumNamedArguments = 0;
+  Function& target_function = Function::Handle();
+  target_function = Resolver::ResolveDynamic(receiver,
+                                             target_name,
+                                             kNumArguments,
+                                             kNumNamedArguments);
+  ASSERT(!target_function.IsNull());
+  GrowableArray<intptr_t> class_ids(kNumArguments);
+  ASSERT(ic_data.num_args_tested() == kNumArguments);
+  class_ids.Add(Class::Handle(receiver.clazz()).id());
+  class_ids.Add(Class::Handle(arg1.clazz()).id());
+  ic_data.AddCheck(class_ids, target_function);
+}
+
+
 static RawFunction* LookupDynamicFunction(Isolate* isolate,
                                           const Class& in_cls,
                                           const String& name) {
   Class& cls = Class::Handle();
   // For lookups treat null as an instance of class Object.
   if (in_cls.IsNullClass()) {
     cls = isolate->object_store()->object_class();
   } else {
     cls = in_cls.raw();
   }
@@ skipping 719 matching lines @@
     intptr_t line, column;
     script.GetTokenLocation(token_pos, &line, &column);
     String& line_string = String::Handle(script.GetLine(line));
     OS::Print("  Function: %s\n", top_function.ToFullyQualifiedCString());
     OS::Print("  Line %"Pd": '%s'\n", line, line_string.ToCString());
   }
 }
 
 
 }  // namespace dart