Intrinsify InternalByteArray's get_length and [].

runtime/vm/intrinsifier_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.
 //
 // The intrinsic code below is executed before a method has built its frame.
 // The return address is on the stack and the arguments below it.
 // Registers EDX (arguments descriptor) and ECX (function) must be preserved.
 // Each intrinsification method returns true if the corresponding
 // Dart method was intrinsified.
 
@@ skipping 55 matching lines @@
   V(Double, Double.fromInteger, Double_fromInteger)                            \
   V(Double, isNaN, Double_isNaN)                                               \
   V(Double, isNegative, Double_isNegative)                                     \
   V(ObjectArray, ObjectArray., ObjectArray_Allocate)                           \
   V(ObjectArray, get:length, Array_getLength)                                  \
   V(ObjectArray, [], Array_getIndexed)                                         \
   V(ObjectArray, []=, Array_setIndexed)                                        \
   V(GrowableObjectArray, get:length, GrowableArray_getLength)                  \
   V(GrowableObjectArray, [], GrowableArray_getIndexed)                         \
   V(GrowableObjectArray, []=, GrowableArray_setIndexed)                        \
+  V(_ByteArrayBase, get:length, ByteArrayBase_getLength)                       \
+  V(_ByteArrayBase, [], ByteArrayBase_getIndexed)                              \

[siva, 2012/02/11 01:39:29]

The more interesting ones are the getInt8, getUint8, getInt16, getUint16,
getInt32 ..... getFloar32(), getFloar64() etc. functions. Will you also be
intrinsifying those?

[srdjan, 2012/02/12 06:52:24]

Do we have existing code/benchmarks that are already using those methods?
I picked the two methods above because I know that Peter is using them in the
scanner.
But, yes, all the mentioned methods will be intrinsified.

   V(ImmutableArray, [], Array_getIndexed)                                      \
   V(ImmutableArray, get:length, Array_getLength)                               \
   V(Math, sqrt, Math_sqrt)                                                     \
   V(Math, sin, Math_sin)                                                       \
   V(Math, cos, Math_cos)                                                       \
   V(Object, ==, Object_equal)                                                  \
   V(FixedSizeArrayIterator, next, FixedSizeArrayIterator_next)                 \
   V(FixedSizeArrayIterator, hasNext, FixedSizeArrayIterator_hasNext)           \
   V(StringBase, get:length, String_getLength)                                  \
   V(StringBase, charCodeAt, String_charCodeAt)                                 \
@@ skipping 235 matching lines @@
   ASSERT(kSmiTagShift == 1);
   __ StoreIntoObject(EAX,
                      FieldAddress(EAX, EBX, TIMES_2, sizeof(RawArray)),
                      EDI);
   __ ret();
   __ Bind(&fall_through);
   return false;
 }
 
 
+// Handles only class InternalByteArray.

[siva, 2012/02/11 01:39:29]

Would you at some point also implement a similar intrinsification for external
byte arrays?

[srdjan, 2012/02/12 06:52:24]

Yes.

+static bool ByteArrayBase_getLength(Assembler* assembler) {
+  ObjectStore* object_store = Isolate::Current()->object_store();
+  Label fall_through;
+  __ movl(EAX, Address(ESP, + 1 * kWordSize));
+  __ movl(EBX, FieldAddress(EAX, Object::class_offset()));
+  __ CompareObject(EBX,
+      Class::ZoneHandle(object_store->internal_byte_array_class()));
+  __ j(NOT_EQUAL, &fall_through);
+  __ movl(EAX, FieldAddress(EAX, InternalByteArray::length_offset()));
+  __ ret();
+  __ Bind(&fall_through);
+  return false;
+}
+
+
+// Handles only class InternalByteArray.
+static bool ByteArrayBase_getIndexed(Assembler* assembler) {
+  ObjectStore* object_store = Isolate::Current()->object_store();
+  Label fall_through;
+  __ movl(EAX, Address(ESP, + 2 * kWordSize));  // Array.
+  __ movl(EBX, FieldAddress(EAX, Object::class_offset()));
+  __ CompareObject(EBX,
+      Class::ZoneHandle(object_store->internal_byte_array_class()));
+  __ j(NOT_EQUAL, &fall_through);
+  __ movl(EBX, Address(ESP, + 1 * kWordSize));  // Index.
+  __ testl(EBX, Immediate(kSmiTagMask));
+  __ j(NOT_ZERO, &fall_through, Assembler::kNearJump);  // Non-smi index.
+  // Range check.
+  __ cmpl(EBX, FieldAddress(EAX, InternalByteArray::length_offset()));
+  // Runtime throws exception.
+  __ j(ABOVE_EQUAL, &fall_through, Assembler::kNearJump);
+  __ SmiUntag(EBX);
+  __ movzxb(EAX,
+      FieldAddress(EAX, EBX, TIMES_1, InternalByteArray::data_offset()));
+  __ SmiTag(EAX);

[siva, 2012/02/11 01:39:29]

Perhaps a comment that values stored in the byte array are regular values and
hence we need to SmiTag them on access.

[srdjan, 2012/02/12 06:52:24]

Done.

+  __ ret();
+  __ Bind(&fall_through);
+  return false;
+}
+
+
 // Tests if two top most arguments are smis, jumps to label not_smi if not.
 // Topmost argument is in EAX.
 static void TestBothArgumentsSmis(Assembler* assembler, Label* not_smi) {
   __ movl(EAX, Address(ESP, + 1 * kWordSize));
   __ movl(EBX, Address(ESP, + 2 * kWordSize));
   __ orl(EBX, EAX);
   __ testl(EBX, Immediate(kSmiTagMask));
   __ j(NOT_ZERO, not_smi, Assembler::kNearJump);
 }
 
@@ skipping 806 matching lines @@
 }
 
 #undef __
 
 
 bool Intrinsifier::Intrinsify(const Function& function, Assembler* assembler) {
   if (!FLAG_intrinsify) return false;
   const char* function_name = String::Handle(function.name()).ToCString();
   const Class& function_class = Class::Handle(function.owner());
   const char* class_name = String::Handle(function_class.Name()).ToCString();
+  // Only core library methods can be intrinsified.
+  const Library& core_lib = Library::Handle(Library::CoreLibrary());
+  const Library& core_impl_lib = Library::Handle(Library::CoreImplLibrary());
+  if ((function_class.library() != core_lib.raw()) &&
+      (function_class.library() != core_impl_lib.raw())) {
+    return false;
+  }
 #define FIND_INTRINSICS(test_class_name, test_function_name, destination)      \
-  if ((strcmp(#test_function_name, function_name) == 0) &&                     \
-      (strcmp(#test_class_name, class_name) == 0)) {                           \
-    return destination(assembler);                                             \
+  if ((#test_class_name[0] == '_') && (class_name[0] == '_')) {                \
+    if (strcmp(#test_function_name, function_name) == 0) {                     \
+      String& test_str = String::Handle(String::New(#test_class_name));        \
+      String& test_str_with_key = String::Handle();                            \
+      test_str_with_key =                                                      \
+          String::Concat(test_str, String::Handle(core_lib.private_key()));    \
+      if (strcmp(test_str_with_key.ToCString(), class_name) == 0) {            \
+        return destination(assembler);                                         \
+      }                                                                        \
+      test_str_with_key =                                                      \
+          String::Concat(test_str,                                             \
+                         String::Handle(core_impl_lib.private_key()));         \
+      if (strcmp(test_str_with_key.ToCString(), class_name) == 0) {            \
+        return destination(assembler);                                         \
+      }                                                                        \
+    }                                                                          \

[siva, 2012/02/11 01:39:29]

This piece of code here seems too big to repeat for every function being
instrisified, why not make it a function and call it here in the macro...

The function could return true in which case you return destination(assembler)
otherwise keep going.

[srdjan, 2012/02/12 06:52:24]

Good point. Done.

+  } else {                                                                     \
+    if ((strcmp(#test_function_name, function_name) == 0) &&                   \
+        (strcmp(#test_class_name, class_name) == 0)) {                         \
+      return destination(assembler);                                           \
+    }                                                                          \
   }                                                                            \
 
 INTRINSIC_LIST(FIND_INTRINSICS);
 #undef FIND_INTRINSICS
   return false;
 }
 
 }  // namespace dart
 
 #endif  // defined TARGET_ARCH_IA32