Info propagation.

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 316 matching lines @@
   TestCharacterClassEscapes('.', Dot);
   TestCharacterClassEscapes('d', IsDigit);
   TestCharacterClassEscapes('D', NotDigit);
   TestCharacterClassEscapes('s', IsWhiteSpace);
   TestCharacterClassEscapes('S', NotWhiteSpace);
   TestCharacterClassEscapes('w', IsWord);
   TestCharacterClassEscapes('W', NotWord);
 }
 
 
+static RegExpNode* Compile(const char* input) {
+  unibrow::Utf8InputBuffer<> buffer(input, strlen(input));
+  RegExpParseResult result;
+  if (!v8::internal::ParseRegExp(&buffer, &result))
+    return NULL;
+  RegExpNode* node = NULL;
+  RegExpEngine::Compile(&result, &node, false);
+  return node;
+}
+
+
 static void Execute(const char* input,
                     const char* str,
                     bool dot_output = false) {
   v8::HandleScope scope;
-  unibrow::Utf8InputBuffer<> buffer(input, strlen(input));
   ZoneScope zone_scope(DELETE_ON_EXIT);
-  RegExpParseResult result;
-  if (!v8::internal::ParseRegExp(&buffer, &result))
-    return;
-  RegExpNode* node = NULL;
-  RegExpEngine::Compile(&result, &node, false);
+  RegExpNode* node = Compile(input);
   USE(node);
 #ifdef DEBUG
   if (dot_output) {
     RegExpEngine::DotPrint(input, node);
     exit(0);
   }
 #endif  // DEBUG
 }
 
 
@@ skipping 390 matching lines @@
     uc32 u = upper[0];
     if (length > 1 || (c >= 128 && u < 128))
       u = c;
     if (u != canonicalize(c))
       printf("%x\n", c);
     CHECK_EQ(u, canonicalize(c));
   }
 }
 
 
+TEST(SimplePropagation) {
+  v8::HandleScope scope;
+  ZoneScope zone_scope(DELETE_ON_EXIT);
+  RegExpNode* node = Compile("(a|^b|c)");
+  CHECK(node->info()->determine_start);
+}
+
+
 TEST(Graph) {
-  Execute("fo[ob]ar|[ba]z|x[yz]*", "", true);
+  Execute("(a|^b|c)", "", true);
 }