RegExp: Add support for table-based character class

src/x64/regexp-macro-assembler-x64.cc

Index: src/x64/regexp-macro-assembler-x64.cc
===================================================================
--- src/x64/regexp-macro-assembler-x64.cc	(revision 11134)
+++ src/x64/regexp-macro-assembler-x64.cc	(working copy)
@@ -572,6 +572,38 @@
 }
 
 
+void RegExpMacroAssemblerX64::CheckCharacterInRange(
+    uc16 from,
+    uc16 to,
+    Label* on_in_range) {
+  __ lea(rax, Operand(current_character(), -from));
+  __ cmpl(rax, Immediate(to - from));
+  BranchOrBacktrack(below_equal, on_in_range);
+}
+
+
+void RegExpMacroAssemblerX64::CheckCharacterNotInRange(
+    uc16 from,
+    uc16 to,
+    Label* on_not_in_range) {
+  __ lea(rax, Operand(current_character(), -from));
+  __ cmpl(rax, Immediate(to - from));
+  BranchOrBacktrack(above, on_not_in_range);
+}
+
+
+void RegExpMacroAssemblerX64::CheckBitInTable(
+    Handle<ByteArray> table,

[ulan, 2012/03/27 11:02:43]

Can't we use a packed table here too? Like in the interpreter.

[Erik Corry, 2012/03/28 09:40:26]

That would be slower.

+    Label* on_bit_set) {
+  __ Move(rax, table);
+  __ movq(rbx, current_character());
+  __ and_(rbx, Immediate(kTableSize - 1));

[ulan, 2012/03/27 11:02:43]

kTableMask instead of (kTableSize - 1) would be better.

[Erik Corry, 2012/03/28 09:40:26]

Done.

+  __ cmpb(FieldOperand(rax, rbx, times_1, ByteArray::kHeaderSize),
+          Immediate(0));
+  BranchOrBacktrack(not_equal, on_bit_set);
+}
+
+
 bool RegExpMacroAssemblerX64::CheckSpecialCharacterClass(uc16 type,
                                                          Label* on_no_match) {
   // Range checks (c in min..max) are generally implemented by an unsigned