Port and integrate the irregexp engine from V8

runtime/vm/intrinsifier_mips.cc

 // Copyright (c) 2013, 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_MIPS.
 #if defined(TARGET_ARCH_MIPS)
 
 #include "vm/intrinsifier.h"
 
 #include "vm/assembler.h"
+#include "vm/dart_entry.h"
 #include "vm/flow_graph_compiler.h"
 #include "vm/object.h"
 #include "vm/object_store.h"
+#include "vm/regexp_assembler.h"
 #include "vm/symbols.h"
 
 namespace dart {
 
 DECLARE_FLAG(bool, enable_type_checks);
 
 #define __ assembler->
 
 
 intptr_t Intrinsifier::ParameterSlotFromSp() { return -1; }
@@ skipping 1638 matching lines @@
 
 void Intrinsifier::OneByteString_equality(Assembler* assembler) {
   StringEquality(assembler, kOneByteStringCid);
 }
 
 
 void Intrinsifier::TwoByteString_equality(Assembler* assembler) {
   StringEquality(assembler, kTwoByteStringCid);
 }
 
+
+#ifndef USE_JSCRE
+void Intrinsifier::JSRegExp_ExecuteMatch(Assembler* assembler) {
+  static const intptr_t kRegExpParamOffset = + 2 * kWordSize;
+  static const intptr_t kStringParamOffset = + 1 * kWordSize;
+  // const Smi& start_index is located at   (+ 0 * kWordSize).
+
+  // Register assignments are as follows:
+  // T0: The appropriate specialized matcher function.
+  // T1: The regexp object.
+  // T2: Temp.
+  // T3: Temp, Pointer to the function's code which we then tail-call.
+
+  __ lw(T1, Address(SP, kRegExpParamOffset));
+  __ lw(T3, Address(SP, kStringParamOffset));
+
+  // Load the specialized function pointer into T0. Leverage the fact the
+  // string CIDs as well as stored function pointers are in sequence.
+
+  __ LoadClassId(T2, T3);
+  __ AddImmediate(T2, -kOneByteStringCid);
+  __ sll(T2, T2, kWordSizeLog2);
+  __ addu(T2, T2, T1);
+  __ lw(T0, FieldAddress(T2, JSRegExp::function_offset(kOneByteStringCid)));
+
+  // Registers have been set up for the lazy compile stub at this point.
+  // It expects the function in T0, the argument descriptor in S4, and
+  // IC-Data in S5. Explicitly null out IC-Data to ensure its validity.
+
+  static const intptr_t arg_count = RegExpMacroAssembler::kParamCount;
+  __ LoadObject(S4, Array::Handle(ArgumentsDescriptor::New(arg_count)));
+  __ xor_(S5, S5, S5);
+
+  // Tail-call the function.
+  __ lw(T3, FieldAddress(T0, Function::instructions_offset()));
+  __ AddImmediate(T3, Instructions::HeaderSize() - kHeapObjectTag);
+  __ jr(T3);
+}
+#endif
+
+
 // On stack: user tag (+0).
 void Intrinsifier::UserTag_makeCurrent(Assembler* assembler) {
   // T1: Isolate.
   Isolate* isolate = Isolate::Current();
   __ LoadImmediate(T1, reinterpret_cast<uword>(isolate));
   // V0: Current user tag.
   __ lw(V0, Address(T1, Isolate::current_tag_offset()));
   // T2: UserTag.
   __ lw(T2, Address(SP, + 0 * kWordSize));
   // Set Isolate::current_tag_.
@@ skipping 22 matching lines @@
   Isolate* isolate = Isolate::Current();
   __ LoadImmediate(V0, reinterpret_cast<uword>(isolate));
   // Set return value.
   __ Ret();
   __ delay_slot()->lw(V0, Address(V0, Isolate::current_tag_offset()));
 }
 
 }  // namespace dart
 
 #endif  // defined TARGET_ARCH_MIPS