OLD | NEW |
1 // Copyright 2008-2009 the V8 project authors. All rights reserved. | 1 // Copyright 2008-2009 the V8 project authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 #include "src/v8.h" | 5 #include "src/v8.h" |
6 | 6 |
7 #include "src/ast.h" | 7 #include "src/ast.h" |
8 #include "src/bytecodes-irregexp.h" | 8 #include "src/bytecodes-irregexp.h" |
9 #include "src/regexp-macro-assembler.h" | 9 #include "src/regexp-macro-assembler.h" |
10 #include "src/regexp-macro-assembler-irregexp.h" | 10 #include "src/regexp-macro-assembler-irregexp.h" |
(...skipping 22 matching lines...) Expand all Loading... |
33 | 33 |
34 | 34 |
35 RegExpMacroAssemblerIrregexp::IrregexpImplementation | 35 RegExpMacroAssemblerIrregexp::IrregexpImplementation |
36 RegExpMacroAssemblerIrregexp::Implementation() { | 36 RegExpMacroAssemblerIrregexp::Implementation() { |
37 return kBytecodeImplementation; | 37 return kBytecodeImplementation; |
38 } | 38 } |
39 | 39 |
40 | 40 |
41 void RegExpMacroAssemblerIrregexp::Bind(Label* l) { | 41 void RegExpMacroAssemblerIrregexp::Bind(Label* l) { |
42 advance_current_end_ = kInvalidPC; | 42 advance_current_end_ = kInvalidPC; |
43 ASSERT(!l->is_bound()); | 43 DCHECK(!l->is_bound()); |
44 if (l->is_linked()) { | 44 if (l->is_linked()) { |
45 int pos = l->pos(); | 45 int pos = l->pos(); |
46 while (pos != 0) { | 46 while (pos != 0) { |
47 int fixup = pos; | 47 int fixup = pos; |
48 pos = *reinterpret_cast<int32_t*>(buffer_.start() + fixup); | 48 pos = *reinterpret_cast<int32_t*>(buffer_.start() + fixup); |
49 *reinterpret_cast<uint32_t*>(buffer_.start() + fixup) = pc_; | 49 *reinterpret_cast<uint32_t*>(buffer_.start() + fixup) = pc_; |
50 } | 50 } |
51 } | 51 } |
52 l->bind_to(pc_); | 52 l->bind_to(pc_); |
53 } | 53 } |
54 | 54 |
55 | 55 |
56 void RegExpMacroAssemblerIrregexp::EmitOrLink(Label* l) { | 56 void RegExpMacroAssemblerIrregexp::EmitOrLink(Label* l) { |
57 if (l == NULL) l = &backtrack_; | 57 if (l == NULL) l = &backtrack_; |
58 if (l->is_bound()) { | 58 if (l->is_bound()) { |
59 Emit32(l->pos()); | 59 Emit32(l->pos()); |
60 } else { | 60 } else { |
61 int pos = 0; | 61 int pos = 0; |
62 if (l->is_linked()) { | 62 if (l->is_linked()) { |
63 pos = l->pos(); | 63 pos = l->pos(); |
64 } | 64 } |
65 l->link_to(pc_); | 65 l->link_to(pc_); |
66 Emit32(pos); | 66 Emit32(pos); |
67 } | 67 } |
68 } | 68 } |
69 | 69 |
70 | 70 |
71 void RegExpMacroAssemblerIrregexp::PopRegister(int register_index) { | 71 void RegExpMacroAssemblerIrregexp::PopRegister(int register_index) { |
72 ASSERT(register_index >= 0); | 72 DCHECK(register_index >= 0); |
73 ASSERT(register_index <= kMaxRegister); | 73 DCHECK(register_index <= kMaxRegister); |
74 Emit(BC_POP_REGISTER, register_index); | 74 Emit(BC_POP_REGISTER, register_index); |
75 } | 75 } |
76 | 76 |
77 | 77 |
78 void RegExpMacroAssemblerIrregexp::PushRegister( | 78 void RegExpMacroAssemblerIrregexp::PushRegister( |
79 int register_index, | 79 int register_index, |
80 StackCheckFlag check_stack_limit) { | 80 StackCheckFlag check_stack_limit) { |
81 ASSERT(register_index >= 0); | 81 DCHECK(register_index >= 0); |
82 ASSERT(register_index <= kMaxRegister); | 82 DCHECK(register_index <= kMaxRegister); |
83 Emit(BC_PUSH_REGISTER, register_index); | 83 Emit(BC_PUSH_REGISTER, register_index); |
84 } | 84 } |
85 | 85 |
86 | 86 |
87 void RegExpMacroAssemblerIrregexp::WriteCurrentPositionToRegister( | 87 void RegExpMacroAssemblerIrregexp::WriteCurrentPositionToRegister( |
88 int register_index, int cp_offset) { | 88 int register_index, int cp_offset) { |
89 ASSERT(register_index >= 0); | 89 DCHECK(register_index >= 0); |
90 ASSERT(register_index <= kMaxRegister); | 90 DCHECK(register_index <= kMaxRegister); |
91 Emit(BC_SET_REGISTER_TO_CP, register_index); | 91 Emit(BC_SET_REGISTER_TO_CP, register_index); |
92 Emit32(cp_offset); // Current position offset. | 92 Emit32(cp_offset); // Current position offset. |
93 } | 93 } |
94 | 94 |
95 | 95 |
96 void RegExpMacroAssemblerIrregexp::ClearRegisters(int reg_from, int reg_to) { | 96 void RegExpMacroAssemblerIrregexp::ClearRegisters(int reg_from, int reg_to) { |
97 ASSERT(reg_from <= reg_to); | 97 DCHECK(reg_from <= reg_to); |
98 for (int reg = reg_from; reg <= reg_to; reg++) { | 98 for (int reg = reg_from; reg <= reg_to; reg++) { |
99 SetRegister(reg, -1); | 99 SetRegister(reg, -1); |
100 } | 100 } |
101 } | 101 } |
102 | 102 |
103 | 103 |
104 void RegExpMacroAssemblerIrregexp::ReadCurrentPositionFromRegister( | 104 void RegExpMacroAssemblerIrregexp::ReadCurrentPositionFromRegister( |
105 int register_index) { | 105 int register_index) { |
106 ASSERT(register_index >= 0); | 106 DCHECK(register_index >= 0); |
107 ASSERT(register_index <= kMaxRegister); | 107 DCHECK(register_index <= kMaxRegister); |
108 Emit(BC_SET_CP_TO_REGISTER, register_index); | 108 Emit(BC_SET_CP_TO_REGISTER, register_index); |
109 } | 109 } |
110 | 110 |
111 | 111 |
112 void RegExpMacroAssemblerIrregexp::WriteStackPointerToRegister( | 112 void RegExpMacroAssemblerIrregexp::WriteStackPointerToRegister( |
113 int register_index) { | 113 int register_index) { |
114 ASSERT(register_index >= 0); | 114 DCHECK(register_index >= 0); |
115 ASSERT(register_index <= kMaxRegister); | 115 DCHECK(register_index <= kMaxRegister); |
116 Emit(BC_SET_REGISTER_TO_SP, register_index); | 116 Emit(BC_SET_REGISTER_TO_SP, register_index); |
117 } | 117 } |
118 | 118 |
119 | 119 |
120 void RegExpMacroAssemblerIrregexp::ReadStackPointerFromRegister( | 120 void RegExpMacroAssemblerIrregexp::ReadStackPointerFromRegister( |
121 int register_index) { | 121 int register_index) { |
122 ASSERT(register_index >= 0); | 122 DCHECK(register_index >= 0); |
123 ASSERT(register_index <= kMaxRegister); | 123 DCHECK(register_index <= kMaxRegister); |
124 Emit(BC_SET_SP_TO_REGISTER, register_index); | 124 Emit(BC_SET_SP_TO_REGISTER, register_index); |
125 } | 125 } |
126 | 126 |
127 | 127 |
128 void RegExpMacroAssemblerIrregexp::SetCurrentPositionFromEnd(int by) { | 128 void RegExpMacroAssemblerIrregexp::SetCurrentPositionFromEnd(int by) { |
129 ASSERT(is_uint24(by)); | 129 DCHECK(is_uint24(by)); |
130 Emit(BC_SET_CURRENT_POSITION_FROM_END, by); | 130 Emit(BC_SET_CURRENT_POSITION_FROM_END, by); |
131 } | 131 } |
132 | 132 |
133 | 133 |
134 void RegExpMacroAssemblerIrregexp::SetRegister(int register_index, int to) { | 134 void RegExpMacroAssemblerIrregexp::SetRegister(int register_index, int to) { |
135 ASSERT(register_index >= 0); | 135 DCHECK(register_index >= 0); |
136 ASSERT(register_index <= kMaxRegister); | 136 DCHECK(register_index <= kMaxRegister); |
137 Emit(BC_SET_REGISTER, register_index); | 137 Emit(BC_SET_REGISTER, register_index); |
138 Emit32(to); | 138 Emit32(to); |
139 } | 139 } |
140 | 140 |
141 | 141 |
142 void RegExpMacroAssemblerIrregexp::AdvanceRegister(int register_index, int by) { | 142 void RegExpMacroAssemblerIrregexp::AdvanceRegister(int register_index, int by) { |
143 ASSERT(register_index >= 0); | 143 DCHECK(register_index >= 0); |
144 ASSERT(register_index <= kMaxRegister); | 144 DCHECK(register_index <= kMaxRegister); |
145 Emit(BC_ADVANCE_REGISTER, register_index); | 145 Emit(BC_ADVANCE_REGISTER, register_index); |
146 Emit32(by); | 146 Emit32(by); |
147 } | 147 } |
148 | 148 |
149 | 149 |
150 void RegExpMacroAssemblerIrregexp::PopCurrentPosition() { | 150 void RegExpMacroAssemblerIrregexp::PopCurrentPosition() { |
151 Emit(BC_POP_CP, 0); | 151 Emit(BC_POP_CP, 0); |
152 } | 152 } |
153 | 153 |
154 | 154 |
(...skipping 33 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
188 return false; // Restart matching for global regexp not supported. | 188 return false; // Restart matching for global regexp not supported. |
189 } | 189 } |
190 | 190 |
191 | 191 |
192 void RegExpMacroAssemblerIrregexp::Fail() { | 192 void RegExpMacroAssemblerIrregexp::Fail() { |
193 Emit(BC_FAIL, 0); | 193 Emit(BC_FAIL, 0); |
194 } | 194 } |
195 | 195 |
196 | 196 |
197 void RegExpMacroAssemblerIrregexp::AdvanceCurrentPosition(int by) { | 197 void RegExpMacroAssemblerIrregexp::AdvanceCurrentPosition(int by) { |
198 ASSERT(by >= kMinCPOffset); | 198 DCHECK(by >= kMinCPOffset); |
199 ASSERT(by <= kMaxCPOffset); | 199 DCHECK(by <= kMaxCPOffset); |
200 advance_current_start_ = pc_; | 200 advance_current_start_ = pc_; |
201 advance_current_offset_ = by; | 201 advance_current_offset_ = by; |
202 Emit(BC_ADVANCE_CP, by); | 202 Emit(BC_ADVANCE_CP, by); |
203 advance_current_end_ = pc_; | 203 advance_current_end_ = pc_; |
204 } | 204 } |
205 | 205 |
206 | 206 |
207 void RegExpMacroAssemblerIrregexp::CheckGreedyLoop( | 207 void RegExpMacroAssemblerIrregexp::CheckGreedyLoop( |
208 Label* on_tos_equals_current_position) { | 208 Label* on_tos_equals_current_position) { |
209 Emit(BC_CHECK_GREEDY, 0); | 209 Emit(BC_CHECK_GREEDY, 0); |
210 EmitOrLink(on_tos_equals_current_position); | 210 EmitOrLink(on_tos_equals_current_position); |
211 } | 211 } |
212 | 212 |
213 | 213 |
214 void RegExpMacroAssemblerIrregexp::LoadCurrentCharacter(int cp_offset, | 214 void RegExpMacroAssemblerIrregexp::LoadCurrentCharacter(int cp_offset, |
215 Label* on_failure, | 215 Label* on_failure, |
216 bool check_bounds, | 216 bool check_bounds, |
217 int characters) { | 217 int characters) { |
218 ASSERT(cp_offset >= kMinCPOffset); | 218 DCHECK(cp_offset >= kMinCPOffset); |
219 ASSERT(cp_offset <= kMaxCPOffset); | 219 DCHECK(cp_offset <= kMaxCPOffset); |
220 int bytecode; | 220 int bytecode; |
221 if (check_bounds) { | 221 if (check_bounds) { |
222 if (characters == 4) { | 222 if (characters == 4) { |
223 bytecode = BC_LOAD_4_CURRENT_CHARS; | 223 bytecode = BC_LOAD_4_CURRENT_CHARS; |
224 } else if (characters == 2) { | 224 } else if (characters == 2) { |
225 bytecode = BC_LOAD_2_CURRENT_CHARS; | 225 bytecode = BC_LOAD_2_CURRENT_CHARS; |
226 } else { | 226 } else { |
227 ASSERT(characters == 1); | 227 DCHECK(characters == 1); |
228 bytecode = BC_LOAD_CURRENT_CHAR; | 228 bytecode = BC_LOAD_CURRENT_CHAR; |
229 } | 229 } |
230 } else { | 230 } else { |
231 if (characters == 4) { | 231 if (characters == 4) { |
232 bytecode = BC_LOAD_4_CURRENT_CHARS_UNCHECKED; | 232 bytecode = BC_LOAD_4_CURRENT_CHARS_UNCHECKED; |
233 } else if (characters == 2) { | 233 } else if (characters == 2) { |
234 bytecode = BC_LOAD_2_CURRENT_CHARS_UNCHECKED; | 234 bytecode = BC_LOAD_2_CURRENT_CHARS_UNCHECKED; |
235 } else { | 235 } else { |
236 ASSERT(characters == 1); | 236 DCHECK(characters == 1); |
237 bytecode = BC_LOAD_CURRENT_CHAR_UNCHECKED; | 237 bytecode = BC_LOAD_CURRENT_CHAR_UNCHECKED; |
238 } | 238 } |
239 } | 239 } |
240 Emit(bytecode, cp_offset); | 240 Emit(bytecode, cp_offset); |
241 if (check_bounds) EmitOrLink(on_failure); | 241 if (check_bounds) EmitOrLink(on_failure); |
242 } | 242 } |
243 | 243 |
244 | 244 |
245 void RegExpMacroAssemblerIrregexp::CheckCharacterLT(uc16 limit, | 245 void RegExpMacroAssemblerIrregexp::CheckCharacterLT(uc16 limit, |
246 Label* on_less) { | 246 Label* on_less) { |
(...skipping 117 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
364 for (int j = 0; j < kBitsPerByte; j++) { | 364 for (int j = 0; j < kBitsPerByte; j++) { |
365 if (table->get(i + j) != 0) byte |= 1 << j; | 365 if (table->get(i + j) != 0) byte |= 1 << j; |
366 } | 366 } |
367 Emit8(byte); | 367 Emit8(byte); |
368 } | 368 } |
369 } | 369 } |
370 | 370 |
371 | 371 |
372 void RegExpMacroAssemblerIrregexp::CheckNotBackReference(int start_reg, | 372 void RegExpMacroAssemblerIrregexp::CheckNotBackReference(int start_reg, |
373 Label* on_not_equal) { | 373 Label* on_not_equal) { |
374 ASSERT(start_reg >= 0); | 374 DCHECK(start_reg >= 0); |
375 ASSERT(start_reg <= kMaxRegister); | 375 DCHECK(start_reg <= kMaxRegister); |
376 Emit(BC_CHECK_NOT_BACK_REF, start_reg); | 376 Emit(BC_CHECK_NOT_BACK_REF, start_reg); |
377 EmitOrLink(on_not_equal); | 377 EmitOrLink(on_not_equal); |
378 } | 378 } |
379 | 379 |
380 | 380 |
381 void RegExpMacroAssemblerIrregexp::CheckNotBackReferenceIgnoreCase( | 381 void RegExpMacroAssemblerIrregexp::CheckNotBackReferenceIgnoreCase( |
382 int start_reg, | 382 int start_reg, |
383 Label* on_not_equal) { | 383 Label* on_not_equal) { |
384 ASSERT(start_reg >= 0); | 384 DCHECK(start_reg >= 0); |
385 ASSERT(start_reg <= kMaxRegister); | 385 DCHECK(start_reg <= kMaxRegister); |
386 Emit(BC_CHECK_NOT_BACK_REF_NO_CASE, start_reg); | 386 Emit(BC_CHECK_NOT_BACK_REF_NO_CASE, start_reg); |
387 EmitOrLink(on_not_equal); | 387 EmitOrLink(on_not_equal); |
388 } | 388 } |
389 | 389 |
390 | 390 |
391 void RegExpMacroAssemblerIrregexp::IfRegisterLT(int register_index, | 391 void RegExpMacroAssemblerIrregexp::IfRegisterLT(int register_index, |
392 int comparand, | 392 int comparand, |
393 Label* on_less_than) { | 393 Label* on_less_than) { |
394 ASSERT(register_index >= 0); | 394 DCHECK(register_index >= 0); |
395 ASSERT(register_index <= kMaxRegister); | 395 DCHECK(register_index <= kMaxRegister); |
396 Emit(BC_CHECK_REGISTER_LT, register_index); | 396 Emit(BC_CHECK_REGISTER_LT, register_index); |
397 Emit32(comparand); | 397 Emit32(comparand); |
398 EmitOrLink(on_less_than); | 398 EmitOrLink(on_less_than); |
399 } | 399 } |
400 | 400 |
401 | 401 |
402 void RegExpMacroAssemblerIrregexp::IfRegisterGE(int register_index, | 402 void RegExpMacroAssemblerIrregexp::IfRegisterGE(int register_index, |
403 int comparand, | 403 int comparand, |
404 Label* on_greater_or_equal) { | 404 Label* on_greater_or_equal) { |
405 ASSERT(register_index >= 0); | 405 DCHECK(register_index >= 0); |
406 ASSERT(register_index <= kMaxRegister); | 406 DCHECK(register_index <= kMaxRegister); |
407 Emit(BC_CHECK_REGISTER_GE, register_index); | 407 Emit(BC_CHECK_REGISTER_GE, register_index); |
408 Emit32(comparand); | 408 Emit32(comparand); |
409 EmitOrLink(on_greater_or_equal); | 409 EmitOrLink(on_greater_or_equal); |
410 } | 410 } |
411 | 411 |
412 | 412 |
413 void RegExpMacroAssemblerIrregexp::IfRegisterEqPos(int register_index, | 413 void RegExpMacroAssemblerIrregexp::IfRegisterEqPos(int register_index, |
414 Label* on_eq) { | 414 Label* on_eq) { |
415 ASSERT(register_index >= 0); | 415 DCHECK(register_index >= 0); |
416 ASSERT(register_index <= kMaxRegister); | 416 DCHECK(register_index <= kMaxRegister); |
417 Emit(BC_CHECK_REGISTER_EQ_POS, register_index); | 417 Emit(BC_CHECK_REGISTER_EQ_POS, register_index); |
418 EmitOrLink(on_eq); | 418 EmitOrLink(on_eq); |
419 } | 419 } |
420 | 420 |
421 | 421 |
422 Handle<HeapObject> RegExpMacroAssemblerIrregexp::GetCode( | 422 Handle<HeapObject> RegExpMacroAssemblerIrregexp::GetCode( |
423 Handle<String> source) { | 423 Handle<String> source) { |
424 Bind(&backtrack_); | 424 Bind(&backtrack_); |
425 Emit(BC_POP_BT, 0); | 425 Emit(BC_POP_BT, 0); |
426 Handle<ByteArray> array = isolate_->factory()->NewByteArray(length()); | 426 Handle<ByteArray> array = isolate_->factory()->NewByteArray(length()); |
(...skipping 19 matching lines...) Expand all Loading... |
446 own_buffer_ = true; | 446 own_buffer_ = true; |
447 MemCopy(buffer_.start(), old_buffer.start(), old_buffer.length()); | 447 MemCopy(buffer_.start(), old_buffer.start(), old_buffer.length()); |
448 if (old_buffer_was_our_own) { | 448 if (old_buffer_was_our_own) { |
449 old_buffer.Dispose(); | 449 old_buffer.Dispose(); |
450 } | 450 } |
451 } | 451 } |
452 | 452 |
453 #endif // V8_INTERPRETED_REGEXP | 453 #endif // V8_INTERPRETED_REGEXP |
454 | 454 |
455 } } // namespace v8::internal | 455 } } // namespace v8::internal |
OLD | NEW |