Fix non-WREC builds
[WebKit-https.git] / JavaScriptCore / runtime / RegExp.cpp
1 /*
2  *  Copyright (C) 1999-2001, 2004 Harri Porten (porten@kde.org)
3  *  Copyright (c) 2007, 2008 Apple Inc. All rights reserved.
4  *
5  *  This library is free software; you can redistribute it and/or
6  *  modify it under the terms of the GNU Lesser General Public
7  *  License as published by the Free Software Foundation; either
8  *  version 2 of the License, or (at your option) any later version.
9  *
10  *  This library is distributed in the hope that it will be useful,
11  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
12  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
13  *  Lesser General Public License for more details.
14  *
15  *  You should have received a copy of the GNU Lesser General Public
16  *  License along with this library; if not, write to the Free Software
17  *  Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
18  *
19  */
20
21 #include "config.h"
22 #include "RegExp.h"
23
24 #include "JIT.h"
25 #include "Lexer.h"
26 #include "WRECGenerator.h"
27 #include <pcre/pcre.h>
28 #include <stdio.h>
29 #include <stdlib.h>
30 #include <string.h>
31 #include <wtf/Assertions.h>
32 #include <wtf/OwnArrayPtr.h>
33
34 namespace JSC {
35
36 #if ENABLE(WREC)
37 using namespace WREC;
38 #endif
39
40 inline RegExp::RegExp(JSGlobalData* globalData, const UString& pattern)
41     : m_pattern(pattern)
42     , m_flagBits(0)
43     , m_regExp(0)
44     , m_constructionError(0)
45     , m_numSubpatterns(0)
46 {
47     UNUSED_PARAM(globalData);
48 #if ENABLE(WREC)
49     m_wrecFunction = Generator::compileRegExp(globalData, pattern, &m_numSubpatterns, &m_constructionError, m_executablePool);
50     if (m_wrecFunction)
51         return;
52     // Fall through to non-WREC case.
53 #endif
54     m_regExp = jsRegExpCompile(reinterpret_cast<const UChar*>(pattern.data()), pattern.size(),
55         JSRegExpDoNotIgnoreCase, JSRegExpSingleLine, &m_numSubpatterns, &m_constructionError);
56 }
57
58 PassRefPtr<RegExp> RegExp::create(JSGlobalData* globalData, const UString& pattern)
59 {
60     return adoptRef(new RegExp(globalData, pattern));
61 }
62
63 inline RegExp::RegExp(JSGlobalData* globalData, const UString& pattern, const UString& flags)
64     : m_pattern(pattern)
65     , m_flags(flags)
66     , m_flagBits(0)
67     , m_regExp(0)
68     , m_constructionError(0)
69     , m_numSubpatterns(0)
70 {
71     UNUSED_PARAM(globalData);
72
73     // NOTE: The global flag is handled on a case-by-case basis by functions like
74     // String::match and RegExpObject::match.
75     if (flags.find('g') != -1)
76         m_flagBits |= Global;
77
78     // FIXME: Eliminate duplication by adding a way ask a JSRegExp what its flags are?
79     JSRegExpIgnoreCaseOption ignoreCaseOption = JSRegExpDoNotIgnoreCase;
80     if (flags.find('i') != -1) {
81         m_flagBits |= IgnoreCase;
82         ignoreCaseOption = JSRegExpIgnoreCase;
83     }
84
85     JSRegExpMultilineOption multilineOption = JSRegExpSingleLine;
86     if (flags.find('m') != -1) {
87         m_flagBits |= Multiline;
88         multilineOption = JSRegExpMultiline;
89     }
90
91 #if ENABLE(WREC)
92     m_wrecFunction = Generator::compileRegExp(globalData, pattern, &m_numSubpatterns, &m_constructionError, m_executablePool, (m_flagBits & IgnoreCase), (m_flagBits & Multiline));
93     if (m_wrecFunction)
94         return;
95     // Fall through to non-WREC case.
96 #endif
97     m_regExp = jsRegExpCompile(reinterpret_cast<const UChar*>(pattern.data()), pattern.size(),
98         ignoreCaseOption, multilineOption, &m_numSubpatterns, &m_constructionError);
99 }
100
101 PassRefPtr<RegExp> RegExp::create(JSGlobalData* globalData, const UString& pattern, const UString& flags)
102 {
103     return adoptRef(new RegExp(globalData, pattern, flags));
104 }
105
106 RegExp::~RegExp()
107 {
108     jsRegExpFree(m_regExp);
109 }
110
111 int RegExp::match(const UString& s, int startOffset, OwnArrayPtr<int>* ovector)
112 {
113     if (startOffset < 0)
114         startOffset = 0;
115     if (ovector)
116         ovector->clear();
117
118     if (startOffset > s.size() || s.isNull())
119         return -1;
120
121 #if ENABLE(WREC)
122     if (m_wrecFunction) {
123         int offsetVectorSize = (m_numSubpatterns + 1) * 2;
124         int* offsetVector = new int [offsetVectorSize];
125         for (int j = 0; j < offsetVectorSize; ++j)
126             offsetVector[j] = -1;
127
128         OwnArrayPtr<int> nonReturnedOvector;
129         if (!ovector)
130             nonReturnedOvector.set(offsetVector);
131         else
132             ovector->set(offsetVector);
133
134         int result = m_wrecFunction(s.data(), startOffset, s.size(), offsetVector);
135
136         if (result < 0) {
137 #ifndef NDEBUG
138             // TODO: define up a symbol, rather than magic -1
139             if (result != -1)
140                 fprintf(stderr, "jsRegExpExecute failed with result %d\n", result);
141 #endif
142             if (ovector)
143                 ovector->clear();
144         }
145         return result;
146     } else
147 #endif
148     if (m_regExp) {
149         // Set up the offset vector for the result.
150         // First 2/3 used for result, the last third used by PCRE.
151         int* offsetVector;
152         int offsetVectorSize;
153         int fixedSizeOffsetVector[3];
154         if (!ovector) {
155             offsetVectorSize = 3;
156             offsetVector = fixedSizeOffsetVector;
157         } else {
158             offsetVectorSize = (m_numSubpatterns + 1) * 3;
159             offsetVector = new int [offsetVectorSize];
160             ovector->set(offsetVector);
161         }
162
163         int numMatches = jsRegExpExecute(m_regExp, reinterpret_cast<const UChar*>(s.data()), s.size(), startOffset, offsetVector, offsetVectorSize);
164     
165         if (numMatches < 0) {
166 #ifndef NDEBUG
167             if (numMatches != JSRegExpErrorNoMatch)
168                 fprintf(stderr, "jsRegExpExecute failed with result %d\n", numMatches);
169 #endif
170             if (ovector)
171                 ovector->clear();
172             return -1;
173         }
174
175         return offsetVector[0];
176     }
177
178     return -1;
179 }
180
181 } // namespace JSC