1 // Copyright 2012 the V8 project authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file.
5 #ifndef V8_REGEXP_ARM_REGEXP_MACRO_ASSEMBLER_ARM_H_
6 #define V8_REGEXP_ARM_REGEXP_MACRO_ASSEMBLER_ARM_H_
8 #include "src/arm/assembler-arm.h"
9 #include "src/macro-assembler.h"
10 #include "src/regexp/regexp-macro-assembler.h"
16 #ifndef V8_INTERPRETED_REGEXP
17 class RegExpMacroAssemblerARM: public NativeRegExpMacroAssembler {
19 RegExpMacroAssemblerARM(Isolate* isolate, Zone* zone, Mode mode,
20 int registers_to_save);
21 virtual ~RegExpMacroAssemblerARM();
22 virtual int stack_limit_slack();
23 virtual void AdvanceCurrentPosition(int by);
24 virtual void AdvanceRegister(int reg, int by);
25 virtual void Backtrack();
26 virtual void Bind(Label* label);
27 virtual void CheckAtStart(Label* on_at_start);
28 virtual void CheckCharacter(unsigned c, Label* on_equal);
29 virtual void CheckCharacterAfterAnd(unsigned c,
32 virtual void CheckCharacterGT(uc16 limit, Label* on_greater);
33 virtual void CheckCharacterLT(uc16 limit, Label* on_less);
34 // A "greedy loop" is a loop that is both greedy and with a simple
35 // body. It has a particularly simple implementation.
36 virtual void CheckGreedyLoop(Label* on_tos_equals_current_position);
37 virtual void CheckNotAtStart(Label* on_not_at_start);
38 virtual void CheckNotBackReference(int start_reg, Label* on_no_match);
39 virtual void CheckNotBackReferenceIgnoreCase(int start_reg,
41 virtual void CheckNotCharacter(unsigned c, Label* on_not_equal);
42 virtual void CheckNotCharacterAfterAnd(unsigned c,
45 virtual void CheckNotCharacterAfterMinusAnd(uc16 c,
49 virtual void CheckCharacterInRange(uc16 from,
52 virtual void CheckCharacterNotInRange(uc16 from,
54 Label* on_not_in_range);
55 virtual void CheckBitInTable(Handle<ByteArray> table, Label* on_bit_set);
57 // Checks whether the given offset from the current position is before
58 // the end of the string.
59 virtual void CheckPosition(int cp_offset, Label* on_outside_input);
60 virtual bool CheckSpecialCharacterClass(uc16 type,
63 virtual Handle<HeapObject> GetCode(Handle<String> source);
64 virtual void GoTo(Label* label);
65 virtual void IfRegisterGE(int reg, int comparand, Label* if_ge);
66 virtual void IfRegisterLT(int reg, int comparand, Label* if_lt);
67 virtual void IfRegisterEqPos(int reg, Label* if_eq);
68 virtual IrregexpImplementation Implementation();
69 virtual void LoadCurrentCharacter(int cp_offset,
70 Label* on_end_of_input,
71 bool check_bounds = true,
73 virtual void PopCurrentPosition();
74 virtual void PopRegister(int register_index);
75 virtual void PushBacktrack(Label* label);
76 virtual void PushCurrentPosition();
77 virtual void PushRegister(int register_index,
78 StackCheckFlag check_stack_limit);
79 virtual void ReadCurrentPositionFromRegister(int reg);
80 virtual void ReadStackPointerFromRegister(int reg);
81 virtual void SetCurrentPositionFromEnd(int by);
82 virtual void SetRegister(int register_index, int to);
83 virtual bool Succeed();
84 virtual void WriteCurrentPositionToRegister(int reg, int cp_offset);
85 virtual void ClearRegisters(int reg_from, int reg_to);
86 virtual void WriteStackPointerToRegister(int reg);
87 virtual bool CanReadUnaligned();
89 // Called from RegExp if the stack-guard is triggered.
90 // If the code object is relocated, the return address is fixed before
92 static int CheckStackGuardState(Address* return_address,
97 // Offsets from frame_pointer() of function parameters and stored registers.
98 static const int kFramePointer = 0;
100 // Above the frame pointer - Stored registers and stack passed parameters.
102 static const int kStoredRegisters = kFramePointer;
103 // Return address (stored from link register, read into pc on return).
104 static const int kReturnAddress = kStoredRegisters + 8 * kPointerSize;
105 static const int kSecondaryReturnAddress = kReturnAddress + kPointerSize;
106 // Stack parameters placed by caller.
107 static const int kRegisterOutput = kSecondaryReturnAddress + kPointerSize;
108 static const int kNumOutputRegisters = kRegisterOutput + kPointerSize;
109 static const int kStackHighEnd = kNumOutputRegisters + kPointerSize;
110 static const int kDirectCall = kStackHighEnd + kPointerSize;
111 static const int kIsolate = kDirectCall + kPointerSize;
113 // Below the frame pointer.
114 // Register parameters stored by setup code.
115 static const int kInputEnd = kFramePointer - kPointerSize;
116 static const int kInputStart = kInputEnd - kPointerSize;
117 static const int kStartIndex = kInputStart - kPointerSize;
118 static const int kInputString = kStartIndex - kPointerSize;
119 // When adding local variables remember to push space for them in
120 // the frame in GetCode.
121 static const int kSuccessfulCaptures = kInputString - kPointerSize;
122 static const int kInputStartMinusOne = kSuccessfulCaptures - kPointerSize;
123 // First register address. Following registers are below it on the stack.
124 static const int kRegisterZero = kInputStartMinusOne - kPointerSize;
126 // Initial size of code buffer.
127 static const size_t kRegExpCodeSize = 1024;
129 static const int kBacktrackConstantPoolSize = 4;
131 // Load a number of characters at the given offset from the
132 // current position, into the current-character register.
133 void LoadCurrentCharacterUnchecked(int cp_offset, int character_count);
135 // Check whether preemption has been requested.
136 void CheckPreemption();
138 // Check whether we are exceeding the stack limit on the backtrack stack.
139 void CheckStackLimit();
142 // Generate a call to CheckStackGuardState.
143 void CallCheckStackGuardState(Register scratch);
145 // The ebp-relative location of a regexp register.
146 MemOperand register_location(int register_index);
148 // Register holding the current input position as negative offset from
149 // the end of the string.
150 inline Register current_input_offset() { return r6; }
152 // The register containing the current character after LoadCurrentCharacter.
153 inline Register current_character() { return r7; }
155 // Register holding address of the end of the input string.
156 inline Register end_of_input_address() { return r10; }
158 // Register holding the frame address. Local variables, parameters and
159 // regexp registers are addressed relative to this.
160 inline Register frame_pointer() { return fp; }
162 // The register containing the backtrack stack top. Provides a meaningful
163 // name to the register.
164 inline Register backtrack_stackpointer() { return r8; }
166 // Register holding pointer to the current code object.
167 inline Register code_pointer() { return r5; }
169 // Byte size of chars in the string to match (decided by the Mode argument)
170 inline int char_size() { return static_cast<int>(mode_); }
172 // Equivalent to a conditional branch to the label, unless the label
173 // is NULL, in which case it is a conditional Backtrack.
174 void BranchOrBacktrack(Condition condition, Label* to);
176 // Call and return internally in the generated code in a way that
177 // is GC-safe (i.e., doesn't leave absolute code addresses on the stack)
178 inline void SafeCall(Label* to, Condition cond = al);
179 inline void SafeReturn();
180 inline void SafeCallTarget(Label* name);
182 // Pushes the value of a register on the backtrack stack. Decrements the
183 // stack pointer by a word size and stores the register's value there.
184 inline void Push(Register source);
186 // Pops a value from the backtrack stack. Reads the word at the stack pointer
187 // and increments it by a word size.
188 inline void Pop(Register target);
190 Isolate* isolate() const { return masm_->isolate(); }
192 MacroAssembler* masm_;
194 // Which mode to generate code for (Latin1 or UC16).
197 // One greater than maximal register index actually used.
200 // Number of registers to output at the end (the saved registers
201 // are always 0..num_saved_registers_-1)
202 int num_saved_registers_;
204 // Labels used internally.
207 Label success_label_;
208 Label backtrack_label_;
210 Label check_preempt_label_;
211 Label stack_overflow_label_;
214 #endif // V8_INTERPRETED_REGEXP
217 }} // namespace v8::internal
219 #endif // V8_REGEXP_ARM_REGEXP_MACRO_ASSEMBLER_ARM_H_