[JSC] jsSubstring should resolve rope before calling JSRopeString::create
[WebKit-https.git] / Source / JavaScriptCore / runtime / RegExpCachedResult.cpp
1 /*
2  * Copyright (C) 2012, 2016 Apple Inc. All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  * 1. Redistributions of source code must retain the above copyright
8  *    notice, this list of conditions and the following disclaimer.
9  * 2. Redistributions in binary form must reproduce the above copyright
10  *    notice, this list of conditions and the following disclaimer in the
11  *    documentation and/or other materials provided with the distribution.
12  *
13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
14  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
15  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE INC. OR
17  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
18  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
19  * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
20  * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
21  * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
22  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
23  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 
24  */
25
26 #include "config.h"
27 #include "RegExpCachedResult.h"
28
29 #include "JSCInlines.h"
30 #include "RegExpMatchesArray.h"
31
32 namespace JSC {
33
34 void RegExpCachedResult::visitAggregate(SlotVisitor& visitor)
35 {
36     visitor.append(m_lastInput);
37     visitor.append(m_lastRegExp);
38     if (m_reified) {
39         visitor.append(m_reifiedInput);
40         visitor.append(m_reifiedResult);
41         visitor.append(m_reifiedLeftContext);
42         visitor.append(m_reifiedRightContext);
43     }
44 }
45
46 JSArray* RegExpCachedResult::lastResult(ExecState* exec, JSObject* owner)
47 {
48     VM& vm = exec->vm();
49     auto scope = DECLARE_THROW_SCOPE(vm);
50
51     if (!m_reified) {
52         m_reifiedInput.set(vm, owner, m_lastInput.get());
53         if (!m_lastRegExp)
54             m_lastRegExp.set(vm, owner, vm.regExpCache()->ensureEmptyRegExp(vm));
55
56         JSArray* result = nullptr;
57         if (m_result)
58             result = createRegExpMatchesArray(exec, exec->lexicalGlobalObject(), m_lastInput.get(), m_lastRegExp.get(), m_result.start);
59         else
60             result = createEmptyRegExpMatchesArray(exec->lexicalGlobalObject(), m_lastInput.get(), m_lastRegExp.get());
61         RETURN_IF_EXCEPTION(scope, nullptr);
62
63         m_reifiedResult.setWithoutWriteBarrier(result);
64         m_reifiedLeftContext.clear();
65         m_reifiedRightContext.clear();
66         m_reified = true;
67         vm.heap.writeBarrier(owner);
68     }
69     return m_reifiedResult.get();
70 }
71
72 JSString* RegExpCachedResult::leftContext(ExecState* exec, JSObject* owner)
73 {
74     // Make sure we're reified.
75     VM& vm = exec->vm();
76     auto scope = DECLARE_THROW_SCOPE(vm);
77
78     lastResult(exec, owner);
79     RETURN_IF_EXCEPTION(scope, nullptr);
80
81     if (!m_reifiedLeftContext) {
82         JSString* leftContext = jsSubstring(exec, m_reifiedInput.get(), 0, m_result.start);
83         RETURN_IF_EXCEPTION(scope, nullptr);
84         m_reifiedLeftContext.set(vm, owner, leftContext);
85     }
86     return m_reifiedLeftContext.get();
87 }
88
89 JSString* RegExpCachedResult::rightContext(ExecState* exec, JSObject* owner)
90 {
91     // Make sure we're reified.
92     VM& vm = exec->vm();
93     auto scope = DECLARE_THROW_SCOPE(vm);
94
95     lastResult(exec, owner);
96     RETURN_IF_EXCEPTION(scope, nullptr);
97
98     if (!m_reifiedRightContext) {
99         unsigned length = m_reifiedInput->length();
100         JSString* rightContext = jsSubstring(exec, m_reifiedInput.get(), m_result.end, length - m_result.end);
101         RETURN_IF_EXCEPTION(scope, nullptr);
102         m_reifiedRightContext.set(vm, owner, rightContext);
103     }
104     return m_reifiedRightContext.get();
105 }
106
107 void RegExpCachedResult::setInput(ExecState* exec, JSObject* owner, JSString* input)
108 {
109     // Make sure we're reified, otherwise m_reifiedInput will be ignored.
110     VM& vm = exec->vm();
111     auto scope = DECLARE_THROW_SCOPE(vm);
112
113     lastResult(exec, owner);
114     RETURN_IF_EXCEPTION(scope, void());
115     leftContext(exec, owner);
116     RETURN_IF_EXCEPTION(scope, void());
117     rightContext(exec, owner);
118     RETURN_IF_EXCEPTION(scope, void());
119     ASSERT(m_reified);
120     m_reifiedInput.set(vm, owner, input);
121 }
122
123 } // namespace JSC