Revert "Switch RegularExpression from YARR to V8"

Source/core/platform/text/RegularExpression.cpp

 /*
  * Copyright (C) 2004, 2008, 2009 Apple Inc. All rights reserved.
  * Copyright (C) 2008 Collabora Ltd.
  * Copyright (C) 2011 Peter Varga (pvarga@webkit.org), University of Szeged
- * Copyright (C) 2013 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  * 1. Redistributions of source code must retain the above copyright
  *    notice, this list of conditions and the following disclaimer.
  * 2. Redistributions in binary form must reproduce the above copyright
  *    notice, this list of conditions and the following disclaimer in the
  *    documentation and/or other materials provided with the distribution.
  *
  * THIS SOFTWARE IS PROVIDED BY APPLE COMPUTER, INC. ``AS IS'' AND ANY
  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE COMPUTER, INC. OR
  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
  * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
  * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
  * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 
  */
 
 #include "config.h"
 #include "RegularExpression.h"
 
-// FIXME: These seem like a layering violation, but converting the strings manually
-// without v8String is difficult, and calling into v8 without V8RecursionScope will
-// assert. Perhaps v8 basic utilities shouldn't be in bindings, or we should put
-// RegularExpression as some kind of abstract interface that's implemented in bindings.
-#include "V8Binding.h"
-#include "V8RecursionScope.h"
-#include <wtf/MainThread.h>
+#include <wtf/BumpPointerAllocator.h>
+#include <yarr/Yarr.h>
+#include "Logging.h"
 
 namespace WebCore {
 
-static v8::Local<v8::Context> regexContext()
+RegularExpression::RegularExpression(const String& pattern, TextCaseSensitivity caseSensitivity, MultilineMode multilineMode)
+    : m_numSubpatterns(0)
+    , m_regExpByteCode(compile(pattern, caseSensitivity, multilineMode))
 {
-    ASSERT(isMainThread());
-    static ScopedPersistent<v8::Context>* staticRegexContext = new ScopedPersistent<v8::Context>(v8::Context::New());
-    return v8::Local<v8::Context>::New(staticRegexContext->get());
 }
 
-RegularExpression::RegularExpression(const String& pattern, TextCaseSensitivity caseSensitivity, MultilineMode multilineMode)
+PassOwnPtr<JSC::Yarr::BytecodePattern> RegularExpression::compile(const String& patternString, TextCaseSensitivity caseSensitivity, MultilineMode multilineMode)
 {
-    v8::HandleScope handleScope;
-    v8::Local<v8::Context> context(regexContext());
-    v8::Context::Scope scope(context);
+    const char* constructionError = 0;
+    JSC::Yarr::YarrPattern pattern(patternString, (caseSensitivity == TextCaseInsensitive), (multilineMode == MultilineEnabled), &constructionError);
+    if (constructionError) {
+        LOG_ERROR("RegularExpression: YARR compile failed with '%s'", constructionError);
+        return nullptr;
+    }
 
-    unsigned flags = v8::RegExp::kNone;
-    if (caseSensitivity == TextCaseInsensitive)
-        flags |= v8::RegExp::kIgnoreCase;
-    if (multilineMode == MultilineEnabled)
-        flags |= v8::RegExp::kMultiline;
+    m_numSubpatterns = pattern.m_numSubpatterns;
 
-    v8::TryCatch tryCatch;
-    v8::Local<v8::RegExp> regex = v8::RegExp::New(v8String(pattern, context->GetIsolate()), static_cast<v8::RegExp::Flags>(flags));
-
-    // If the regex failed to compile we'll get an empty handle.
-    if (!regex.IsEmpty())
-        m_regex.set(regex);
+    return JSC::Yarr::byteCompile(pattern, &m_regexAllocator);
 }
 
-int RegularExpression::match(const String& string, int startFrom, int* matchLength) const
+int RegularExpression::match(const String& str, int startFrom, int* matchLength) const
 {
-    if (m_regex.isEmpty() || string.isNull())
+    if (!m_regExpByteCode)
         return -1;
 
-    // v8 strings are limited to int.
-    if (string.length() > INT_MAX)
+    if (str.isNull())
         return -1;
 
-    v8::HandleScope handleScope;
-    v8::Local<v8::Context> context(regexContext());
-    v8::Context::Scope scope(context);
-    v8::TryCatch tryCatch;
+    int offsetVectorSize = (m_numSubpatterns + 1) * 2;
+    unsigned* offsetVector;
+    Vector<unsigned, 32> nonReturnedOvector;
 
-    V8RecursionScope::MicrotaskSuppression microtaskScope;
+    nonReturnedOvector.resize(offsetVectorSize);
+    offsetVector = nonReturnedOvector.data();
 
-    v8::Local<v8::Function> exec = m_regex->Get(v8::String::NewSymbol("exec")).As<v8::Function>();
+    ASSERT(offsetVector);
+    for (unsigned j = 0, i = 0; i < m_numSubpatterns + 1; j += 2, i++)
+        offsetVector[j] = JSC::Yarr::offsetNoMatch;
 
-    v8::Handle<v8::Value> argv[] = { v8String(string, context->GetIsolate()) };
-    v8::Local<v8::Value> returnValue = exec->Call(m_regex.get(), 1, argv);
+    unsigned result;
+    if (str.length() <= INT_MAX)
+        result = JSC::Yarr::interpret(m_regExpByteCode.get(), str, startFrom, offsetVector);
+    else {
+        // This code can't handle unsigned offsets. Limit our processing to strings with offsets that 
+        // can be represented as ints.
+        result = JSC::Yarr::offsetNoMatch;
+    }
 
-    // RegExp#exec returns null if there's no match, otherwise it returns an
-    // Array of strings with the first being the whole match string and others
-    // being subgroups. The Array also has some random properties tacked on like
-    // "index" which is the offset of the match.
-    //
-    // https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/RegExp/exec
-
-    if (!returnValue->IsArray())
+    if (result == JSC::Yarr::offsetNoMatch)
         return -1;
 
-    v8::Local<v8::Array> result = returnValue.As<v8::Array>();
-    int matchOffset = result->Get(v8::String::NewSymbol("index"))->ToInt32()->Value();
-
-    if (matchLength) {
-        v8::Local<v8::String> match = result->Get(0).As<v8::String>();
-        *matchLength = match->Length();
-    }
-
-    return matchOffset;
+    // 1 means 1 match; 0 means more than one match. First match is recorded in offsetVector.
+    if (matchLength)
+        *matchLength = offsetVector[1] - offsetVector[0];
+    return offsetVector[0];
 }
 
 } // namespace WebCore