Add bytecodes and an interpreter for executing regular expressions. Very...

test/cctest/test-regexp.cc

 // Copyright 2006-2008 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 18 matching lines @@
 #include <stdlib.h>
 #include <set>
 
 #include "v8.h"
 
 #include "cctest.h"
 #include "zone-inl.h"
 #include "parser.h"
 #include "ast.h"
 #include "jsregexp-inl.h"
+#include "assembler-re2k.h"
+#include "interpreter-re2k.h"
 
 
 using namespace v8::internal;
 
 
 class RegExpTestCase {
  public:
   RegExpTestCase()
     : pattern_(NULL),
       flags_(NULL),
@@ skipping 374 matching lines @@
     OutSet outs = table.Get(p);
     for (int j = 0; j < kRangeCount; j++) {
       uc16* range = ranges[j];
       bool is_on = false;
       for (int k = 0; !is_on && (k < 2 * kRangeSize); k += 2)
         is_on = (range[k] <= p && p <= range[k + 1]);
       CHECK_EQ(is_on, outs.Get(j));
     }
   }
 }
+
+
+TEST(Assembler) {
+  V8::Initialize(NULL);
+
+  byte codes[1024];
+  Re2kAssembler assembler(codes, 1024);
+#define __ assembler.
+  Label advance;
+  Label look_for_foo;
+  __ GoTo(&look_for_foo);
+  __ Bind(&advance);
+  __ AdvanceCP();
+  __ Bind(&look_for_foo);
+  __ FailIfWithin(3);
+  __ LoadCurrentChar(0);
+  __ CheckChar('f', &advance);
+  __ LoadCurrentChar(1);
+  __ CheckChar('o', &advance);
+  __ LoadCurrentChar(2);
+  __ CheckChar('o', &advance);
+  __ SetCapture(0);
+  __ SetCapture(1, 2);
+  __ Succeed();
+
+  v8::HandleScope scope;
+  Handle<ByteArray> array = Factory::NewByteArray(assembler.length());
+  assembler.Copy(array->GetDataStartAddress());
+  int captures[2];
+
+  Handle<String> f1 = Factory::NewStringFromAscii(CStrVector("Now is the time"));
+  CHECK(!Re2kInterpreter::Match(*array, *f1, captures, 0));
+
+  Handle<String> f2 = Factory::NewStringFromAscii(CStrVector("foo bar baz"));
+  CHECK(Re2kInterpreter::Match(*array, *f2, captures, 0));
+  CHECK_EQ(0, captures[0]);
+  CHECK_EQ(2, captures[1]);
+
+  Handle<String> f3 = Factory::NewStringFromAscii(CStrVector("tomfoolery"));
+  CHECK(Re2kInterpreter::Match(*array, *f3, captures, 0));
+  CHECK_EQ(3, captures[0]);
+  CHECK_EQ(5, captures[1]);
+}
+
+
+