Port and integrate the irregexp engine from V8

runtime/vm/regexp_parser.cc

 // Copyright (c) 2014, 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/longjump.h"
 #include "vm/object_store.h"
 #include "vm/regexp_parser.h"
 
 namespace dart {
 
@@ skipping 231 matching lines @@
 }
 
 
 void RegExpParser::Reset(intptr_t pos) {
   next_pos_ = pos;
   has_more_ = (pos < in().Length());
   Advance();
 }
 
 
+bool RegExpParser::ParseFunction(ParsedFunction *parsed_function) {
+  Isolate* isolate = parsed_function->isolate();
+  JSRegExp& regexp = JSRegExp::Handle(parsed_function->function().regexp());
+
+  const String& pattern = String::Handle(regexp.pattern());
+  const bool multiline = regexp.is_multi_line();
+
+  RegExpCompileData* compile_data = new(isolate) RegExpCompileData();
+  if (!RegExpParser::ParseRegExp(pattern, multiline, compile_data)) {
+    // Parsing failures are handled in the JSRegExp factory constructor.
+    UNREACHABLE();
+  }
+
+  regexp.set_num_bracket_expressions(compile_data->capture_count);
+  if (compile_data->simple) {
+    regexp.set_is_simple();
+  } else {
+    regexp.set_is_complex();
+  }
+
+  parsed_function->SetRegExpCompileData(compile_data);
+
+  return true;
+}
+
+
 bool RegExpParser::ParseRegExp(const String& input,
                                bool multiline,
                                RegExpCompileData* result) {
   ASSERT(result != NULL);
   LongJumpScope jump;
   RegExpParser parser(input, &result->error, multiline);
   if (setjmp(*jump.Set()) == 0) {
     RegExpTree* tree = parser.ParsePattern();
     ASSERT(tree != NULL);
     ASSERT(result->error.IsNull());
     result->tree = tree;
     intptr_t capture_count = parser.captures_started();
     result->simple = tree->IsAtom() && parser.simple() && capture_count == 0;
     result->contains_anchor = parser.contains_anchor();
     result->capture_count = capture_count;
   } else {
     ASSERT(!result->error.IsNull());
+    Isolate::Current()->object_store()->clear_sticky_error();
 
-    // TODO(jgruber): Throw a format exception once we are ready to replace
-    // jscre. For now, we ignore the error set by LongJump.
-    Isolate::Current()->object_store()->clear_sticky_error();
+    // Throw a FormatException on parsing failures.
+    const String& message = String::Handle(
+          String::Concat(result->error, input));
+    const Array& args = Array::Handle(Array::New(1));
+    args.SetAt(0, message);
+
+    Exceptions::ThrowByType(Exceptions::kFormat, args);
   }
   return !parser.failed();
 }
 
 
 void RegExpParser::ReportError(const char* message) {
   failed_ = true;
   *error_ = String::New(message);
   // Zip to the end to make sure the no more input is read.
   current_ = kEndMarker;
@@ skipping 747 matching lines @@
         uint32_t c = ParseClassCharacterEscape();
         return CharacterRange::Singleton(c);
     }
   } else {
     Advance();
     return CharacterRange::Singleton(first);
   }
 }
 
 }  // namespace dart