| OLD | NEW |
| 1 // Copyright 2013 the V8 project authors. All rights reserved. | 1 // Copyright 2013 the V8 project authors. All rights reserved. |
| 2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
| 3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
| 4 // met: | 4 // met: |
| 5 // | 5 // |
| 6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
| 7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
| 8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
| 9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
| 10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
| (...skipping 365 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 376 | 376 |
| 377 __ Bind(&fail); | 377 __ Bind(&fail); |
| 378 BranchOrBacktrack(al, on_no_match); | 378 BranchOrBacktrack(al, on_no_match); |
| 379 | 379 |
| 380 __ Bind(&success); | 380 __ Bind(&success); |
| 381 // Compute new value of character position after the matched part. | 381 // Compute new value of character position after the matched part. |
| 382 __ Sub(current_input_offset().X(), current_position_address, input_end()); | 382 __ Sub(current_input_offset().X(), current_position_address, input_end()); |
| 383 if (masm_->emit_debug_code()) { | 383 if (masm_->emit_debug_code()) { |
| 384 __ Cmp(current_input_offset().X(), Operand(current_input_offset(), SXTW)); | 384 __ Cmp(current_input_offset().X(), Operand(current_input_offset(), SXTW)); |
| 385 __ Ccmp(current_input_offset(), 0, NoFlag, eq); | 385 __ Ccmp(current_input_offset(), 0, NoFlag, eq); |
| 386 __ Check(le, | 386 // The current input offset should be <= 0, and fit in a W register. |
| 387 "current_input_offset should be <= 0 and fit in a W register."); | 387 // TODO(all): Add this error code to objects.h. |
| 388 // __ Check(le, kCurrentInputOffsetOutOfRange); |
| 389 __ Check(le, kUnknown); |
| 388 } | 390 } |
| 389 } else { | 391 } else { |
| 390 ASSERT(mode_ == UC16); | 392 ASSERT(mode_ == UC16); |
| 391 int argument_count = 4; | 393 int argument_count = 4; |
| 392 | 394 |
| 393 // The cached registers need to be retained. | 395 // The cached registers need to be retained. |
| 394 CPURegList cached_registers(CPURegister::kRegister, kXRegSize, 0, 7); | 396 CPURegList cached_registers(CPURegister::kRegister, kXRegSize, 0, 7); |
| 395 ASSERT((cached_registers.Count() * 2) == kNumCachedRegisters); | 397 ASSERT((cached_registers.Count() * 2) == kNumCachedRegisters); |
| 396 __ PushCPURegList(cached_registers); | 398 __ PushCPURegList(cached_registers); |
| 397 | 399 |
| (...skipping 79 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 477 __ Cmp(w10, w11); | 479 __ Cmp(w10, w11); |
| 478 BranchOrBacktrack(ne, on_no_match); | 480 BranchOrBacktrack(ne, on_no_match); |
| 479 __ Cmp(capture_start_address, capture_end_address); | 481 __ Cmp(capture_start_address, capture_end_address); |
| 480 __ B(lt, &loop); | 482 __ B(lt, &loop); |
| 481 | 483 |
| 482 // Move current character position to position after match. | 484 // Move current character position to position after match. |
| 483 __ Sub(current_input_offset().X(), current_position_address, input_end()); | 485 __ Sub(current_input_offset().X(), current_position_address, input_end()); |
| 484 if (masm_->emit_debug_code()) { | 486 if (masm_->emit_debug_code()) { |
| 485 __ Cmp(current_input_offset().X(), Operand(current_input_offset(), SXTW)); | 487 __ Cmp(current_input_offset().X(), Operand(current_input_offset(), SXTW)); |
| 486 __ Ccmp(current_input_offset(), 0, NoFlag, eq); | 488 __ Ccmp(current_input_offset(), 0, NoFlag, eq); |
| 487 __ Check(le, | 489 // The current input offset should be <= 0, and fit in a W register. |
| 488 "current_input_offset should be <= 0 and fit in a W register."); | 490 // TODO(all): Add this error code to objects.h. |
| 491 // __ Check(le, kCurrentInputOffsetOutOfRange); |
| 492 __ Check(le, kUnknown); |
| 489 } | 493 } |
| 490 __ Bind(&fallthrough); | 494 __ Bind(&fallthrough); |
| 491 } | 495 } |
| 492 | 496 |
| 493 | 497 |
| 494 void RegExpMacroAssemblerA64::CheckNotCharacter(unsigned c, | 498 void RegExpMacroAssemblerA64::CheckNotCharacter(unsigned c, |
| 495 Label* on_not_equal) { | 499 Label* on_not_equal) { |
| 496 CompareAndBranchOrBacktrack(current_character(), c, ne, on_not_equal); | 500 CompareAndBranchOrBacktrack(current_character(), c, ne, on_not_equal); |
| 497 } | 501 } |
| 498 | 502 |
| (...skipping 267 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 766 | 770 |
| 767 // Initialize success_counter with 0. | 771 // Initialize success_counter with 0. |
| 768 __ Str(wzr, MemOperand(frame_pointer(), kSuccessCounter)); | 772 __ Str(wzr, MemOperand(frame_pointer(), kSuccessCounter)); |
| 769 | 773 |
| 770 // Find negative length (offset of start relative to end). | 774 // Find negative length (offset of start relative to end). |
| 771 __ Sub(x10, input_start(), input_end()); | 775 __ Sub(x10, input_start(), input_end()); |
| 772 if (masm_->emit_debug_code()) { | 776 if (masm_->emit_debug_code()) { |
| 773 // Check that the input string length is < 2^30. | 777 // Check that the input string length is < 2^30. |
| 774 __ Neg(x11, x10); | 778 __ Neg(x11, x10); |
| 775 __ Cmp(x11, (1<<30) - 1); | 779 __ Cmp(x11, (1<<30) - 1); |
| 776 __ Check(ls, "The length of the input string cannot be >= 2^30."); | 780 // TODO(all): Add this error code to objects.h. |
| 781 // __ Check(ls, kInputStringTooLong); |
| 782 __ Check(ls, kUnknown); |
| 777 } | 783 } |
| 778 __ Mov(current_input_offset(), w10); | 784 __ Mov(current_input_offset(), w10); |
| 779 | 785 |
| 780 // The non-position value is used as a clearing value for the | 786 // The non-position value is used as a clearing value for the |
| 781 // capture registers, it corresponds to the position of the first character | 787 // capture registers, it corresponds to the position of the first character |
| 782 // minus one. | 788 // minus one. |
| 783 __ Sub(non_position_value(), current_input_offset(), char_size()); | 789 __ Sub(non_position_value(), current_input_offset(), char_size()); |
| 784 __ Sub(non_position_value(), non_position_value(), | 790 __ Sub(non_position_value(), non_position_value(), |
| 785 Operand(start_offset(), LSL, (mode_ == UC16) ? 1 : 0)); | 791 Operand(start_offset(), LSL, (mode_ == UC16) ? 1 : 0)); |
| 786 // We can store this value twice in an X register for initializing | 792 // We can store this value twice in an X register for initializing |
| (...skipping 44 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 831 Register capture_end = w13; | 837 Register capture_end = w13; |
| 832 Register input_length = w14; | 838 Register input_length = w14; |
| 833 | 839 |
| 834 // Copy captures to output. | 840 // Copy captures to output. |
| 835 | 841 |
| 836 // Get string length. | 842 // Get string length. |
| 837 __ Sub(x10, input_end(), input_start()); | 843 __ Sub(x10, input_end(), input_start()); |
| 838 if (masm_->emit_debug_code()) { | 844 if (masm_->emit_debug_code()) { |
| 839 // Check that the input string length is < 2^30. | 845 // Check that the input string length is < 2^30. |
| 840 __ Cmp(x10, (1<<30) - 1); | 846 __ Cmp(x10, (1<<30) - 1); |
| 841 __ Check(ls, "The length of the input string cannot be >= 2^30."); | 847 // TODO(all): Add this error code to objects.h. |
| 848 // __ Check(ls, kInputStringTooLong); |
| 849 __ Check(ls, kUnknown); |
| 842 } | 850 } |
| 843 // input_start has a start_offset offset on entry. We need to include | 851 // input_start has a start_offset offset on entry. We need to include |
| 844 // it when computing the length of the whole string. | 852 // it when computing the length of the whole string. |
| 845 if (mode_ == UC16) { | 853 if (mode_ == UC16) { |
| 846 __ Add(input_length, start_offset(), Operand(w10, LSR, 1)); | 854 __ Add(input_length, start_offset(), Operand(w10, LSR, 1)); |
| 847 } else { | 855 } else { |
| 848 __ Add(input_length, start_offset(), w10); | 856 __ Add(input_length, start_offset(), w10); |
| 849 } | 857 } |
| 850 | 858 |
| 851 // Copy the results to the output array from the cached registers first. | 859 // Copy the results to the output array from the cached registers first. |
| (...skipping 276 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1128 | 1136 |
| 1129 void RegExpMacroAssemblerA64::PushBacktrack(Label* label) { | 1137 void RegExpMacroAssemblerA64::PushBacktrack(Label* label) { |
| 1130 if (label->is_bound()) { | 1138 if (label->is_bound()) { |
| 1131 int target = label->pos(); | 1139 int target = label->pos(); |
| 1132 __ Mov(w10, target + Code::kHeaderSize - kHeapObjectTag); | 1140 __ Mov(w10, target + Code::kHeaderSize - kHeapObjectTag); |
| 1133 } else { | 1141 } else { |
| 1134 __ Adr(x10, label); | 1142 __ Adr(x10, label); |
| 1135 __ Sub(x10, x10, code_pointer()); | 1143 __ Sub(x10, x10, code_pointer()); |
| 1136 if (masm_->emit_debug_code()) { | 1144 if (masm_->emit_debug_code()) { |
| 1137 __ Cmp(x10, kWRegMask); | 1145 __ Cmp(x10, kWRegMask); |
| 1138 __ Check(ls, "The code offset needs to fit in a W register."); | 1146 // The code offset has to fit in a W register. |
| 1147 // TODO(all): Add this error code to objects.h. |
| 1148 // __ Check(ls, kCodeOffsetOutOfRange); |
| 1149 __ Check(ls, kUnknown); |
| 1139 } | 1150 } |
| 1140 } | 1151 } |
| 1141 Push(w10); | 1152 Push(w10); |
| 1142 CheckStackLimit(); | 1153 CheckStackLimit(); |
| 1143 } | 1154 } |
| 1144 | 1155 |
| 1145 | 1156 |
| 1146 void RegExpMacroAssemblerA64::PushCurrentPosition() { | 1157 void RegExpMacroAssemblerA64::PushCurrentPosition() { |
| 1147 Push(current_input_offset()); | 1158 Push(current_input_offset()); |
| 1148 } | 1159 } |
| (...skipping 136 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1285 } | 1296 } |
| 1286 } | 1297 } |
| 1287 } | 1298 } |
| 1288 | 1299 |
| 1289 | 1300 |
| 1290 void RegExpMacroAssemblerA64::WriteStackPointerToRegister(int reg) { | 1301 void RegExpMacroAssemblerA64::WriteStackPointerToRegister(int reg) { |
| 1291 __ Ldr(x10, MemOperand(frame_pointer(), kStackBase)); | 1302 __ Ldr(x10, MemOperand(frame_pointer(), kStackBase)); |
| 1292 __ Sub(x10, backtrack_stackpointer(), x10); | 1303 __ Sub(x10, backtrack_stackpointer(), x10); |
| 1293 if (masm_->emit_debug_code()) { | 1304 if (masm_->emit_debug_code()) { |
| 1294 __ Cmp(x10, Operand(w10, SXTW)); | 1305 __ Cmp(x10, Operand(w10, SXTW)); |
| 1295 __ Check(eq, "Offset from the stack base needs to fit in a W register."); | 1306 // The stack offset needs to fit in a W register. |
| 1307 // TODO(all): Add this error code to objects.h. |
| 1308 // __ Check(eq, kStackOffsetIsTooLarge); |
| 1309 __ Check(eq, kUnknown); |
| 1296 } | 1310 } |
| 1297 StoreRegister(reg, w10); | 1311 StoreRegister(reg, w10); |
| 1298 } | 1312 } |
| 1299 | 1313 |
| 1300 | 1314 |
| 1301 // Helper function for reading a value out of a stack frame. | 1315 // Helper function for reading a value out of a stack frame. |
| 1302 template <typename T> | 1316 template <typename T> |
| 1303 static T& frame_entry(Address re_frame, int frame_offset) { | 1317 static T& frame_entry(Address re_frame, int frame_offset) { |
| 1304 return *reinterpret_cast<T*>(re_frame + frame_offset); | 1318 return *reinterpret_cast<T*>(re_frame + frame_offset); |
| 1305 } | 1319 } |
| (...skipping 381 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1687 // TODO(pielan): See whether or not we should disable unaligned accesses. | 1701 // TODO(pielan): See whether or not we should disable unaligned accesses. |
| 1688 if (!CanReadUnaligned()) { | 1702 if (!CanReadUnaligned()) { |
| 1689 ASSERT(characters == 1); | 1703 ASSERT(characters == 1); |
| 1690 } | 1704 } |
| 1691 | 1705 |
| 1692 if (cp_offset != 0) { | 1706 if (cp_offset != 0) { |
| 1693 if (masm_->emit_debug_code()) { | 1707 if (masm_->emit_debug_code()) { |
| 1694 __ Mov(x10, cp_offset * char_size()); | 1708 __ Mov(x10, cp_offset * char_size()); |
| 1695 __ Add(x10, x10, Operand(current_input_offset(), SXTW)); | 1709 __ Add(x10, x10, Operand(current_input_offset(), SXTW)); |
| 1696 __ Cmp(x10, Operand(w10, SXTW)); | 1710 __ Cmp(x10, Operand(w10, SXTW)); |
| 1697 __ Check(eq, "The offset needs to fit in a W register."); | 1711 // The offset needs to fit in a W register. |
| 1712 // TODO(all): Add this error code to objects.h. |
| 1713 // __ Check(eq, kCurrentInputOffsetOutOfRange); |
| 1714 __ Check(eq, kUnknown); |
| 1698 } else { | 1715 } else { |
| 1699 __ Add(w10, current_input_offset(), cp_offset * char_size()); | 1716 __ Add(w10, current_input_offset(), cp_offset * char_size()); |
| 1700 } | 1717 } |
| 1701 offset = w10; | 1718 offset = w10; |
| 1702 } | 1719 } |
| 1703 | 1720 |
| 1704 if (mode_ == ASCII) { | 1721 if (mode_ == ASCII) { |
| 1705 if (characters == 4) { | 1722 if (characters == 4) { |
| 1706 __ Ldr(current_character(), MemOperand(input_end(), offset, SXTW)); | 1723 __ Ldr(current_character(), MemOperand(input_end(), offset, SXTW)); |
| 1707 } else if (characters == 2) { | 1724 } else if (characters == 2) { |
| (...skipping 11 matching lines...) Expand all Loading... |
| 1719 __ Ldrh(current_character(), MemOperand(input_end(), offset, SXTW)); | 1736 __ Ldrh(current_character(), MemOperand(input_end(), offset, SXTW)); |
| 1720 } | 1737 } |
| 1721 } | 1738 } |
| 1722 } | 1739 } |
| 1723 | 1740 |
| 1724 #endif // V8_INTERPRETED_REGEXP | 1741 #endif // V8_INTERPRETED_REGEXP |
| 1725 | 1742 |
| 1726 }} // namespace v8::internal | 1743 }} // namespace v8::internal |
| 1727 | 1744 |
| 1728 #endif // V8_TARGET_ARCH_A64 | 1745 #endif // V8_TARGET_ARCH_A64 |
| OLD | NEW |