Add type check tracing (--trace_type_checks). Inline type checks with class types that have only ...

runtime/vm/code_generator_ia32.cc

 // Copyright (c) 2011, 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/globals.h"  // Needed here to get TARGET_ARCH_IA32.
 #if defined(TARGET_ARCH_IA32)
 
 #include "vm/code_generator.h"
 
 #include "lib/error.h"
@@ skipping 1462 matching lines @@
     __ Bind(&negate_done);
     __ pushl(EAX);
   }
   __ Bind(&done);
 }
 
 
 // Jumps to label if ECX equals the given class.
 // Inputs:
 // - ECX: tested class.
-// Destroys EDX.
-static void TestClassAndJump(Assembler* assembler,
-                             const Class& cls,
-                             Label *label) {
-  assembler->LoadObject(EDX, cls);
-  assembler->cmpl(EDX, ECX);
-  assembler->j(EQUAL, label, Assembler::kNearJump);
+void CodeGenerator::TestClassAndJump(const Class& cls, Label *label) {
+  __ CompareObject(ECX, cls);
+  __ j(EQUAL, label, Assembler::kNearJump);
+}
+
+
+static const Class* CoreClass(const char* c_name) {
+  const String& class_name = String::Handle(String::NewSymbol(c_name));
+  const Class& cls = Class::ZoneHandle(Library::Handle(
+      Library::CoreImplLibrary()).LookupClass(class_name));
+  ASSERT(!cls.IsNull());
+  return &cls;
 }
 
 
 // Optimize assignable type check by adding inlined tests for:
 // - NULL -> return NULL.
 // - Smi -> compile time subtype check (only if dst class is not parameterized).
 // - Class equality (only if class is not parameterized).
 // Inputs:
 // - EAX: object.
 // Destroys ECX and EDX.
@@ skipping 29 matching lines @@
   Label done, runtime_call;
   __ cmpl(EAX, raw_null);
   __ j(EQUAL, &done, Assembler::kNearJump);
 
   // If dst_type is instantiated and non-parameterized, we can inline code
   // checking whether the assigned instance is a Smi.
   if (dst_type.IsInstantiated()) {
     const Class& dst_type_class = Class::ZoneHandle(dst_type.type_class());
     const bool dst_has_type_arguments = dst_type_class.HasTypeArguments();
     // A Smi object cannot be the instance of a parameterized class.
     // A class equality check is only applicable to a non-parameterized class.

[regis, 2011/11/09 01:47:53]

// A class equality check is only applicable with a dst type of a
non-parameterized class or with a raw dst type of a parameterized class.

[srdjan, 2011/11/09 19:36:30]

Done.

-    if (!dst_has_type_arguments) {
+    if (dst_has_type_arguments) {

[regis, 2011/11/09 01:47:53]

dst_class_has_type_arguments

[srdjan, 2011/11/09 19:36:30]

Done.

+      const TypeArguments& arguments =

[regis, 2011/11/09 01:47:53]

arguments -> dst_type_arguments.

[srdjan, 2011/11/09 19:36:30]

Done.

+          TypeArguments::Handle(dst_type.arguments());
+      bool no_type_arguments = arguments.IsNull() ||

[regis, 2011/11/09 01:47:53]

Why the local? Make it const if you want to keep it:
const bool is_raw_dst_type = dst_type_arguments.IsNull() ...

[srdjan, 2011/11/09 19:36:30]

Made it a const. Giving it a name makes clear what we are testing.

+          arguments.IsDynamicTypes(arguments.Length());
+      if (no_type_arguments) {
+        // Dynamic type argument, check only classes.
+        if (dst_type.IsListInterface()) {
+          // TODO(srdjan) also accept List<Object>.
+          __ testl(EAX, Immediate(kSmiTagMask));
+          __ j(ZERO, &runtime_call, Assembler::kNearJump);
+          __ movl(ECX, FieldAddress(EAX, Object::class_offset()));
+          TestClassAndJump(*CoreClass("ObjectArray"), &done);
+          TestClassAndJump(*CoreClass("GrowableObjectArray"), &done);
+        } else if (!dst_type_class.is_interface()) {
+          __ testl(EAX, Immediate(kSmiTagMask));
+          __ j(ZERO, &runtime_call, Assembler::kNearJump);
+          __ movl(ECX, FieldAddress(EAX, Object::class_offset()));
+          TestClassAndJump(dst_type_class, &done);
+        }
+        // Fall through to runtime class.
+      }
+    } else {
       Label compare_classes;
       __ testl(EAX, Immediate(kSmiTagMask));
       __ j(NOT_ZERO, &compare_classes, Assembler::kNearJump);
       // Object is Smi.
       const Class& smi_class = Class::Handle(Smi::Class());
       // TODO(regis): We should introduce a SmiType.
       if (smi_class.IsSubtypeOf(TypeArguments::Handle(),
                                 dst_type_class,
                                 TypeArguments::Handle())) {
         // Successful assignable type check: return object in EAX.
         __ jmp(&done, Assembler::kNearJump);
       } else {
         // Failed assignable type check: call runtime to throw TypeError.
         __ jmp(&runtime_call, Assembler::kNearJump);
       }
       // Compare if the classes are equal.
       __ Bind(&compare_classes);
       // If dst_type is an interface, we can skip the class equality check,
       // because instances cannot be of an interface type.
       if (!dst_type_class.is_interface()) {
         __ movl(ECX, FieldAddress(EAX, Object::class_offset()));
-        TestClassAndJump(assembler_, dst_type_class, &done);
+        TestClassAndJump(dst_type_class, &done);
       } else {
         // However, for specific core library interfaces, we can check for
         // specific core library classes.
         if (dst_type.IsBoolInterface()) {
           __ movl(ECX, FieldAddress(EAX, Object::class_offset()));
           const Class& bool_class = Class::ZoneHandle(
               Isolate::Current()->object_store()->bool_class());
-          TestClassAndJump(assembler_, bool_class, &done);
+          TestClassAndJump(bool_class, &done);
         } else if (dst_type.IsSubtypeOf(
               Type::Handle(Type::NumberInterface()))) {
           __ movl(ECX, FieldAddress(EAX, Object::class_offset()));
           if (dst_type.IsIntInterface() || dst_type.IsNumberInterface()) {
             // We already checked for Smi above.
             const Class& mint_class = Class::ZoneHandle(
                 Isolate::Current()->object_store()->mint_class());
-            TestClassAndJump(assembler_, mint_class, &done);
+            TestClassAndJump(mint_class, &done);
             const Class& bigint_class = Class::ZoneHandle(
                 Isolate::Current()->object_store()->bigint_class());
-            TestClassAndJump(assembler_, bigint_class, &done);
+            TestClassAndJump(bigint_class, &done);
           }
           if (dst_type.IsDoubleInterface() || dst_type.IsNumberInterface()) {
             const Class& double_class = Class::ZoneHandle(
                 Isolate::Current()->object_store()->double_class());
-            TestClassAndJump(assembler_, double_class, &done);
+            TestClassAndJump(double_class, &done);
           }
         } else if (dst_type.IsStringInterface()) {
           __ movl(ECX, FieldAddress(EAX, Object::class_offset()));
           const Class& one_byte_string_class = Class::ZoneHandle(
               Isolate::Current()->object_store()->one_byte_string_class());
-          TestClassAndJump(assembler_, one_byte_string_class, &done);
+          TestClassAndJump(one_byte_string_class, &done);
           const Class& two_byte_string_class = Class::ZoneHandle(
               Isolate::Current()->object_store()->two_byte_string_class());
-          TestClassAndJump(assembler_, two_byte_string_class, &done);
+          TestClassAndJump(two_byte_string_class, &done);
           const Class& four_byte_string_class = Class::ZoneHandle(
               Isolate::Current()->object_store()->four_byte_string_class());
-          TestClassAndJump(assembler_, four_byte_string_class, &done);
+          TestClassAndJump(four_byte_string_class, &done);
         } else if (dst_type.IsFunctionInterface()) {
           __ movl(ECX, FieldAddress(EAX, Object::class_offset()));
           __ movl(ECX, FieldAddress(ECX, Class::signature_function_offset()));
           __ cmpl(ECX, raw_null);
           __ j(NOT_EQUAL, &done, Assembler::kNearJump);
         }
       }
     }
   }
   __ Bind(&runtime_call);
@@ skipping 1071 matching lines @@
   const Class& cls = Class::Handle(parsed_function_.function().owner());
   const Script& script = Script::Handle(cls.script());
   Parser::ReportMsg(script, token_index, "Error", error_msg, format, args);
   Isolate::Current()->long_jump_base()->Jump(1, error_msg);
   UNREACHABLE();
 }
 
 }  // namespace dart
 
 #endif  // defined TARGET_ARCH_IA32