ast.cc revision 3e5fa29ddb82551500b118e9bf37af3966277b70
16ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// Copyright 2010 the V8 project authors. All rights reserved. 2a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// Redistribution and use in source and binary forms, with or without 3a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// modification, are permitted provided that the following conditions are 4a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// met: 5a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// 6a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// * Redistributions of source code must retain the above copyright 7a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// notice, this list of conditions and the following disclaimer. 8a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// * Redistributions in binary form must reproduce the above 9a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// copyright notice, this list of conditions and the following 10a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// disclaimer in the documentation and/or other materials provided 11a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// with the distribution. 12a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// * Neither the name of Google Inc. nor the names of its 13a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// contributors may be used to endorse or promote products derived 14a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// from this software without specific prior written permission. 15a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// 16a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 17a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 18a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 19a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 20a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 21a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 22a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 23a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 24a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 25a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 26a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 27a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 28a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block#include "v8.h" 29a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 30a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block#include "ast.h" 31d0582a6c46733687d045e4188a1bcd0123c758a1Steve Block#include "parser.h" 32a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block#include "scopes.h" 33a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block#include "string-stream.h" 3425f6136652d8341ed047e7fc1a450af5bd218ea9Kristian Monsen#include "ast-inl.h" 3525f6136652d8341ed047e7fc1a450af5bd218ea9Kristian Monsen#include "jump-target-inl.h" 36a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 37a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blocknamespace v8 { 38a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blocknamespace internal { 39a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 40a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 41a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockVariableProxySentinel VariableProxySentinel::this_proxy_(true); 42a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockVariableProxySentinel VariableProxySentinel::identifier_proxy_(false); 43a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockValidLeftHandSideSentinel ValidLeftHandSideSentinel::instance_; 44a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockProperty Property::this_property_(VariableProxySentinel::this_proxy(), NULL, 0); 45a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockCall Call::sentinel_(NULL, NULL, 0); 46a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 47a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 48a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// ---------------------------------------------------------------------------- 49a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// All the Accept member functions for each syntax tree node type. 50a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 516ded16be15dd865a9b21ea304d5273c8be299c87Steve Block#define DECL_ACCEPT(type) \ 526ded16be15dd865a9b21ea304d5273c8be299c87Steve Block void type::Accept(AstVisitor* v) { v->Visit##type(this); } 53a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockAST_NODE_LIST(DECL_ACCEPT) 54a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block#undef DECL_ACCEPT 55a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 56a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 57a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// ---------------------------------------------------------------------------- 58a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// Implementation of other node functionality. 59a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 606ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockAssignment* ExpressionStatement::StatementAsSimpleAssignment() { 616ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return (expression()->AsAssignment() != NULL && 626ded16be15dd865a9b21ea304d5273c8be299c87Steve Block !expression()->AsAssignment()->is_compound()) 636ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ? expression()->AsAssignment() 646ded16be15dd865a9b21ea304d5273c8be299c87Steve Block : NULL; 656ded16be15dd865a9b21ea304d5273c8be299c87Steve Block} 666ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 676ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 686ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockCountOperation* ExpressionStatement::StatementAsCountOperation() { 696ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return expression()->AsCountOperation(); 706ded16be15dd865a9b21ea304d5273c8be299c87Steve Block} 716ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 726ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 730d5e116f6aee03185f237311a943491bb079a768Kristian MonsenVariableProxy::VariableProxy(Variable* var) 740d5e116f6aee03185f237311a943491bb079a768Kristian Monsen : name_(var->name()), 750d5e116f6aee03185f237311a943491bb079a768Kristian Monsen var_(NULL), // Will be set by the call to BindTo. 760d5e116f6aee03185f237311a943491bb079a768Kristian Monsen is_this_(var->is_this()), 770d5e116f6aee03185f237311a943491bb079a768Kristian Monsen inside_with_(false), 780d5e116f6aee03185f237311a943491bb079a768Kristian Monsen is_trivial_(false) { 790d5e116f6aee03185f237311a943491bb079a768Kristian Monsen BindTo(var); 800d5e116f6aee03185f237311a943491bb079a768Kristian Monsen} 810d5e116f6aee03185f237311a943491bb079a768Kristian Monsen 820d5e116f6aee03185f237311a943491bb079a768Kristian Monsen 83a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockVariableProxy::VariableProxy(Handle<String> name, 84a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block bool is_this, 85a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block bool inside_with) 86a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block : name_(name), 87a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block var_(NULL), 88a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block is_this_(is_this), 896ded16be15dd865a9b21ea304d5273c8be299c87Steve Block inside_with_(inside_with), 9080d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen is_trivial_(false) { 91a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block // names must be canonicalized for fast equality checks 92a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block ASSERT(name->IsSymbol()); 93a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 94a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 95a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 96a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockVariableProxy::VariableProxy(bool is_this) 979ac36c9faca11611ada13b4054edbaa0738661d0Iain Merrick : var_(NULL), 989ac36c9faca11611ada13b4054edbaa0738661d0Iain Merrick is_this_(is_this), 999ac36c9faca11611ada13b4054edbaa0738661d0Iain Merrick inside_with_(false), 1009ac36c9faca11611ada13b4054edbaa0738661d0Iain Merrick is_trivial_(false) { 101a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 102a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 103a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 104a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockvoid VariableProxy::BindTo(Variable* var) { 105a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block ASSERT(var_ == NULL); // must be bound only once 106a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block ASSERT(var != NULL); // must bind 107a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block ASSERT((is_this() && var->is_this()) || name_.is_identical_to(var->name())); 108a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block // Ideally CONST-ness should match. However, this is very hard to achieve 109a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block // because we don't know the exact semantics of conflicting (const and 110a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block // non-const) multiple variable declarations, const vars introduced via 111a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block // eval() etc. Const-ness and variable declarations are a complete mess 112a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block // in JS. Sigh... 113a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block var_ = var; 1146ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var->set_is_used(true); 115a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 116a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 117a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 118a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockToken::Value Assignment::binary_op() const { 119a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block switch (op_) { 120a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block case Token::ASSIGN_BIT_OR: return Token::BIT_OR; 121a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block case Token::ASSIGN_BIT_XOR: return Token::BIT_XOR; 122a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block case Token::ASSIGN_BIT_AND: return Token::BIT_AND; 123a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block case Token::ASSIGN_SHL: return Token::SHL; 124a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block case Token::ASSIGN_SAR: return Token::SAR; 125a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block case Token::ASSIGN_SHR: return Token::SHR; 126a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block case Token::ASSIGN_ADD: return Token::ADD; 127a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block case Token::ASSIGN_SUB: return Token::SUB; 128a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block case Token::ASSIGN_MUL: return Token::MUL; 129a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block case Token::ASSIGN_DIV: return Token::DIV; 130a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block case Token::ASSIGN_MOD: return Token::MOD; 131a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block default: UNREACHABLE(); 132a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } 133a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return Token::ILLEGAL; 134a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 135a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 136a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 137a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockbool FunctionLiteral::AllowsLazyCompilation() { 138a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return scope()->AllowsLazyCompilation(); 139a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 140a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 141a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 142a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockObjectLiteral::Property::Property(Literal* key, Expression* value) { 1433e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu emit_store_ = true; 144a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block key_ = key; 145a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block value_ = value; 146a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block Object* k = *key->handle(); 147a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block if (k->IsSymbol() && Heap::Proto_symbol()->Equals(String::cast(k))) { 148a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block kind_ = PROTOTYPE; 149a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } else if (value_->AsMaterializedLiteral() != NULL) { 150a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block kind_ = MATERIALIZED_LITERAL; 151a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } else if (value_->AsLiteral() != NULL) { 152a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block kind_ = CONSTANT; 153a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } else { 154a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block kind_ = COMPUTED; 155a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } 156a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 157a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 158a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 159a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockObjectLiteral::Property::Property(bool is_getter, FunctionLiteral* value) { 1603e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu emit_store_ = true; 161a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block key_ = new Literal(value->name()); 162a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block value_ = value; 163a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block kind_ = is_getter ? GETTER : SETTER; 164a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 165a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 166a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 167d0582a6c46733687d045e4188a1bcd0123c758a1Steve Blockbool ObjectLiteral::Property::IsCompileTimeValue() { 168d0582a6c46733687d045e4188a1bcd0123c758a1Steve Block return kind_ == CONSTANT || 169d0582a6c46733687d045e4188a1bcd0123c758a1Steve Block (kind_ == MATERIALIZED_LITERAL && 170d0582a6c46733687d045e4188a1bcd0123c758a1Steve Block CompileTimeValue::IsCompileTimeValue(value_)); 171d0582a6c46733687d045e4188a1bcd0123c758a1Steve Block} 172d0582a6c46733687d045e4188a1bcd0123c758a1Steve Block 173d0582a6c46733687d045e4188a1bcd0123c758a1Steve Block 1743e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhuvoid ObjectLiteral::Property::set_emit_store(bool emit_store) { 1753e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu emit_store_ = emit_store; 1763e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu} 1773e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu 1783e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu 1793e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhubool ObjectLiteral::Property::emit_store() { 1803e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu return emit_store_; 1813e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu} 1823e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu 1833e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu 1843e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhubool IsEqualString(void* first, void* second) { 1853e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu Handle<String> h1(reinterpret_cast<String**>(first)); 1863e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu Handle<String> h2(reinterpret_cast<String**>(second)); 1873e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu return (*h1)->Equals(*h2); 1883e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu} 1893e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu 1903e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhubool IsEqualSmi(void* first, void* second) { 1913e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu Handle<Smi> h1(reinterpret_cast<Smi**>(first)); 1923e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu Handle<Smi> h2(reinterpret_cast<Smi**>(second)); 1933e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu return (*h1)->value() == (*h2)->value(); 1943e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu} 1953e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu 1963e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhuvoid ObjectLiteral::CalculateEmitStore() { 1973e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu HashMap properties(&IsEqualString); 1983e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu HashMap elements(&IsEqualSmi); 1993e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu for (int i = this->properties()->length() - 1; i >= 0; i--) { 2003e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu ObjectLiteral::Property* property = this->properties()->at(i); 2013e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu Literal* literal = property->key(); 2023e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu Handle<Object> handle = literal->handle(); 2033e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu 2043e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu if (handle->IsNull()) { 2053e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu continue; 2063e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu } 2073e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu 2083e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu uint32_t hash; 2093e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu HashMap* table; 2103e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu void* key; 2113e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu uint32_t index; 2123e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu if (handle->IsSymbol()) { 2133e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu Handle<String> name(String::cast(*handle)); 2143e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu ASSERT(!name->AsArrayIndex(&index)); 2153e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu key = name.location(); 2163e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu hash = name->Hash(); 2173e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu table = &properties; 2183e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu } else if (handle->ToArrayIndex(&index)) { 2193e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu key = handle.location(); 2203e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu hash = index; 2213e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu table = &elements; 2223e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu } else { 2233e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu ASSERT(handle->IsNumber()); 2243e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu double num = handle->Number(); 2253e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu char arr[100]; 2263e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu Vector<char> buffer(arr, ARRAY_SIZE(arr)); 2273e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu const char* str = DoubleToCString(num, buffer); 2283e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu Handle<String> name = Factory::NewStringFromAscii(CStrVector(str)); 2293e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu key = name.location(); 2303e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu hash = name->Hash(); 2313e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu table = &properties; 2323e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu } 2333e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu // If the key of a computed property is in the table, do not emit 2343e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu // a store for the property later. 2353e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu if (property->kind() == ObjectLiteral::Property::COMPUTED) { 2363e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu if (table->Lookup(literal, hash, false) != NULL) { 2373e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu property->set_emit_store(false); 2383e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu } 2393e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu } 2403e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu // Add key to the table. 2413e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu table->Lookup(literal, hash, true); 2423e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu } 2433e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu} 2443e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu 2453e5fa29ddb82551500b118e9bf37af3966277b70Teng-Hui Zhu 246a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockvoid TargetCollector::AddTarget(BreakTarget* target) { 247a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block // Add the label to the collector, but discard duplicates. 248a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block int length = targets_->length(); 249a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block for (int i = 0; i < length; i++) { 250a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block if (targets_->at(i) == target) return; 251a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } 252a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block targets_->Add(target); 253a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 254a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 255a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 2566ded16be15dd865a9b21ea304d5273c8be299c87Steve Blockbool Expression::GuaranteedSmiResult() { 2576ded16be15dd865a9b21ea304d5273c8be299c87Steve Block BinaryOperation* node = AsBinaryOperation(); 2586ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (node == NULL) return false; 2596ded16be15dd865a9b21ea304d5273c8be299c87Steve Block Token::Value op = node->op(); 2606ded16be15dd865a9b21ea304d5273c8be299c87Steve Block switch (op) { 2616ded16be15dd865a9b21ea304d5273c8be299c87Steve Block case Token::COMMA: 2626ded16be15dd865a9b21ea304d5273c8be299c87Steve Block case Token::OR: 2636ded16be15dd865a9b21ea304d5273c8be299c87Steve Block case Token::AND: 2646ded16be15dd865a9b21ea304d5273c8be299c87Steve Block case Token::ADD: 2656ded16be15dd865a9b21ea304d5273c8be299c87Steve Block case Token::SUB: 2666ded16be15dd865a9b21ea304d5273c8be299c87Steve Block case Token::MUL: 2676ded16be15dd865a9b21ea304d5273c8be299c87Steve Block case Token::DIV: 2686ded16be15dd865a9b21ea304d5273c8be299c87Steve Block case Token::MOD: 2696ded16be15dd865a9b21ea304d5273c8be299c87Steve Block case Token::BIT_XOR: 2706ded16be15dd865a9b21ea304d5273c8be299c87Steve Block case Token::SHL: 2716ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return false; 2726ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break; 2736ded16be15dd865a9b21ea304d5273c8be299c87Steve Block case Token::BIT_OR: 2746ded16be15dd865a9b21ea304d5273c8be299c87Steve Block case Token::BIT_AND: { 2756ded16be15dd865a9b21ea304d5273c8be299c87Steve Block Literal* left = node->left()->AsLiteral(); 2766ded16be15dd865a9b21ea304d5273c8be299c87Steve Block Literal* right = node->right()->AsLiteral(); 2776ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (left != NULL && left->handle()->IsSmi()) { 2786ded16be15dd865a9b21ea304d5273c8be299c87Steve Block int value = Smi::cast(*left->handle())->value(); 2796ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (op == Token::BIT_OR && ((value & 0xc0000000) == 0xc0000000)) { 2806ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Result of bitwise or is always a negative Smi. 2816ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return true; 2826ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 2836ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (op == Token::BIT_AND && ((value & 0xc0000000) == 0)) { 2846ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Result of bitwise and is always a positive Smi. 2856ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return true; 2866ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 2876ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 2886ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (right != NULL && right->handle()->IsSmi()) { 2896ded16be15dd865a9b21ea304d5273c8be299c87Steve Block int value = Smi::cast(*right->handle())->value(); 2906ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (op == Token::BIT_OR && ((value & 0xc0000000) == 0xc0000000)) { 2916ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Result of bitwise or is always a negative Smi. 2926ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return true; 2936ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 2946ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (op == Token::BIT_AND && ((value & 0xc0000000) == 0)) { 2956ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Result of bitwise and is always a positive Smi. 2966ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return true; 2976ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 2986ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 2996ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return false; 3006ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break; 3016ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 3026ded16be15dd865a9b21ea304d5273c8be299c87Steve Block case Token::SAR: 3036ded16be15dd865a9b21ea304d5273c8be299c87Steve Block case Token::SHR: { 3046ded16be15dd865a9b21ea304d5273c8be299c87Steve Block Literal* right = node->right()->AsLiteral(); 3056ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (right != NULL && right->handle()->IsSmi()) { 3066ded16be15dd865a9b21ea304d5273c8be299c87Steve Block int value = Smi::cast(*right->handle())->value(); 3076ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if ((value & 0x1F) > 1 || 3086ded16be15dd865a9b21ea304d5273c8be299c87Steve Block (op == Token::SAR && (value & 0x1F) == 1)) { 3096ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return true; 3106ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 3116ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 3126ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return false; 3136ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break; 3146ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 3156ded16be15dd865a9b21ea304d5273c8be299c87Steve Block default: 3166ded16be15dd865a9b21ea304d5273c8be299c87Steve Block UNREACHABLE(); 3176ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break; 3186ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 3196ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return false; 3206ded16be15dd865a9b21ea304d5273c8be299c87Steve Block} 3216ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 32280d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen 32380d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsenvoid Expression::CopyAnalysisResultsFrom(Expression* other) { 32480d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen bitfields_ = other->bitfields_; 32580d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen type_ = other->type_; 32680d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen} 32780d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen 32880d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen 32980d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsenbool UnaryOperation::ResultOverwriteAllowed() { 33080d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen switch (op_) { 33180d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen case Token::BIT_NOT: 33280d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen case Token::SUB: 33380d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen return true; 33480d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen default: 33580d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen return false; 33680d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen } 33780d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen} 33880d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen 33980d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen 34080d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsenbool BinaryOperation::ResultOverwriteAllowed() { 34180d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen switch (op_) { 34280d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen case Token::COMMA: 34380d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen case Token::OR: 34480d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen case Token::AND: 34580d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen return false; 34680d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen case Token::BIT_OR: 34780d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen case Token::BIT_XOR: 34880d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen case Token::BIT_AND: 34980d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen case Token::SHL: 35080d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen case Token::SAR: 35180d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen case Token::SHR: 35280d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen case Token::ADD: 35380d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen case Token::SUB: 35480d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen case Token::MUL: 35580d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen case Token::DIV: 35680d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen case Token::MOD: 35780d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen return true; 35880d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen default: 35980d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen UNREACHABLE(); 36080d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen } 36180d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen return false; 36280d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen} 36380d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen 36480d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen 36580d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian MonsenBinaryOperation::BinaryOperation(Assignment* assignment) { 36680d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen ASSERT(assignment->is_compound()); 36780d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen op_ = assignment->binary_op(); 36880d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen left_ = assignment->target(); 36980d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen right_ = assignment->value(); 37080d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen pos_ = assignment->position(); 37180d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen CopyAnalysisResultsFrom(assignment); 37280d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen} 37380d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen 37480d68eab642096c1a48b6474d6ec33064b0ad1f5Kristian Monsen 375a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// ---------------------------------------------------------------------------- 376a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// Implementation of AstVisitor 377a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 3786ded16be15dd865a9b21ea304d5273c8be299c87Steve Blockbool AstVisitor::CheckStackOverflow() { 3796ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (stack_overflow_) return true; 3806ded16be15dd865a9b21ea304d5273c8be299c87Steve Block StackLimitCheck check; 3816ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (!check.HasOverflowed()) return false; 3826ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return (stack_overflow_ = true); 3836ded16be15dd865a9b21ea304d5273c8be299c87Steve Block} 3846ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 385a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 3863ce2e2076e8e3e60cf1810eec160ea2d8557e9e7Steve Blockvoid AstVisitor::VisitDeclarations(ZoneList<Declaration*>* declarations) { 3873ce2e2076e8e3e60cf1810eec160ea2d8557e9e7Steve Block for (int i = 0; i < declarations->length(); i++) { 3883ce2e2076e8e3e60cf1810eec160ea2d8557e9e7Steve Block Visit(declarations->at(i)); 3893ce2e2076e8e3e60cf1810eec160ea2d8557e9e7Steve Block } 3903ce2e2076e8e3e60cf1810eec160ea2d8557e9e7Steve Block} 3913ce2e2076e8e3e60cf1810eec160ea2d8557e9e7Steve Block 3923ce2e2076e8e3e60cf1810eec160ea2d8557e9e7Steve Block 393a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockvoid AstVisitor::VisitStatements(ZoneList<Statement*>* statements) { 394a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block for (int i = 0; i < statements->length(); i++) { 395a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block Visit(statements->at(i)); 396a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } 397a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 398a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 399a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 400a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockvoid AstVisitor::VisitExpressions(ZoneList<Expression*>* expressions) { 401a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block for (int i = 0; i < expressions->length(); i++) { 402a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block // The variable statement visiting code may pass NULL expressions 403a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block // to this code. Maybe this should be handled by introducing an 404a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block // undefined expression or literal? Revisit this code if this 405a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block // changes 406a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block Expression* expression = expressions->at(i); 407a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block if (expression != NULL) Visit(expression); 408a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } 409a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 410a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 411a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 412a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// ---------------------------------------------------------------------------- 413a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// Regular expressions 414a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 415a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block#define MAKE_ACCEPT(Name) \ 416a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block void* RegExp##Name::Accept(RegExpVisitor* visitor, void* data) { \ 417a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return visitor->Visit##Name(this, data); \ 418a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } 419a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockFOR_EACH_REG_EXP_TREE_TYPE(MAKE_ACCEPT) 420a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block#undef MAKE_ACCEPT 421a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 422a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block#define MAKE_TYPE_CASE(Name) \ 423a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block RegExp##Name* RegExpTree::As##Name() { \ 424a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return NULL; \ 425a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } \ 426a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block bool RegExpTree::Is##Name() { return false; } 427a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockFOR_EACH_REG_EXP_TREE_TYPE(MAKE_TYPE_CASE) 428a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block#undef MAKE_TYPE_CASE 429a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 430a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block#define MAKE_TYPE_CASE(Name) \ 431a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block RegExp##Name* RegExp##Name::As##Name() { \ 432a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return this; \ 433a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } \ 434a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block bool RegExp##Name::Is##Name() { return true; } 435a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockFOR_EACH_REG_EXP_TREE_TYPE(MAKE_TYPE_CASE) 436a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block#undef MAKE_TYPE_CASE 437a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 438a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockRegExpEmpty RegExpEmpty::kInstance; 439a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 440a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 441a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockstatic Interval ListCaptureRegisters(ZoneList<RegExpTree*>* children) { 442a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block Interval result = Interval::Empty(); 443a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block for (int i = 0; i < children->length(); i++) 444a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block result = result.Union(children->at(i)->CaptureRegisters()); 445a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return result; 446a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 447a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 448a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 449a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockInterval RegExpAlternative::CaptureRegisters() { 450a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return ListCaptureRegisters(nodes()); 451a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 452a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 453a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 454a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockInterval RegExpDisjunction::CaptureRegisters() { 455a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return ListCaptureRegisters(alternatives()); 456a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 457a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 458a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 459a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockInterval RegExpLookahead::CaptureRegisters() { 460a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return body()->CaptureRegisters(); 461a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 462a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 463a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 464a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockInterval RegExpCapture::CaptureRegisters() { 465a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block Interval self(StartRegister(index()), EndRegister(index())); 466a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return self.Union(body()->CaptureRegisters()); 467a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 468a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 469a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 470a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockInterval RegExpQuantifier::CaptureRegisters() { 471a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return body()->CaptureRegisters(); 472a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 473a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 474a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 475f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdochbool RegExpAssertion::IsAnchoredAtStart() { 476a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return type() == RegExpAssertion::START_OF_INPUT; 477a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 478a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 479a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 480f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdochbool RegExpAssertion::IsAnchoredAtEnd() { 481f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch return type() == RegExpAssertion::END_OF_INPUT; 482f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch} 483f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 484f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 485f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdochbool RegExpAlternative::IsAnchoredAtStart() { 486a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block ZoneList<RegExpTree*>* nodes = this->nodes(); 487a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block for (int i = 0; i < nodes->length(); i++) { 488a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block RegExpTree* node = nodes->at(i); 489f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch if (node->IsAnchoredAtStart()) { return true; } 490f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch if (node->max_match() > 0) { return false; } 491f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch } 492f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch return false; 493f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch} 494f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 495f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 496f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdochbool RegExpAlternative::IsAnchoredAtEnd() { 497f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch ZoneList<RegExpTree*>* nodes = this->nodes(); 498f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch for (int i = nodes->length() - 1; i >= 0; i--) { 499f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch RegExpTree* node = nodes->at(i); 500f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch if (node->IsAnchoredAtEnd()) { return true; } 501a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block if (node->max_match() > 0) { return false; } 502a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } 503a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return false; 504a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 505a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 506a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 507f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdochbool RegExpDisjunction::IsAnchoredAtStart() { 508a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block ZoneList<RegExpTree*>* alternatives = this->alternatives(); 509a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block for (int i = 0; i < alternatives->length(); i++) { 510f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch if (!alternatives->at(i)->IsAnchoredAtStart()) 511a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return false; 512a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } 513a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return true; 514a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 515a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 516a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 517f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdochbool RegExpDisjunction::IsAnchoredAtEnd() { 518f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch ZoneList<RegExpTree*>* alternatives = this->alternatives(); 519f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch for (int i = 0; i < alternatives->length(); i++) { 520f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch if (!alternatives->at(i)->IsAnchoredAtEnd()) 521f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch return false; 522f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch } 523f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch return true; 524f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch} 525f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 526f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 527f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdochbool RegExpLookahead::IsAnchoredAtStart() { 528f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch return is_positive() && body()->IsAnchoredAtStart(); 529f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch} 530f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 531f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 532f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdochbool RegExpCapture::IsAnchoredAtStart() { 533f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch return body()->IsAnchoredAtStart(); 534a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 535a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 536a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 537f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdochbool RegExpCapture::IsAnchoredAtEnd() { 538f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch return body()->IsAnchoredAtEnd(); 539a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 540a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 541a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 542a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// Convert regular expression trees to a simple sexp representation. 543a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// This representation should be different from the input grammar 544a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// in as many cases as possible, to make it more difficult for incorrect 545a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// parses to look as correct ones which is likely if the input and 546a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// output formats are alike. 547a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockclass RegExpUnparser: public RegExpVisitor { 548a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block public: 549a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block RegExpUnparser(); 550a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block void VisitCharacterRange(CharacterRange that); 551a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block SmartPointer<const char> ToString() { return stream_.ToCString(); } 552a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block#define MAKE_CASE(Name) virtual void* Visit##Name(RegExp##Name*, void* data); 553a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block FOR_EACH_REG_EXP_TREE_TYPE(MAKE_CASE) 554a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block#undef MAKE_CASE 555a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block private: 556a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block StringStream* stream() { return &stream_; } 557a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block HeapStringAllocator alloc_; 558a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block StringStream stream_; 559a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block}; 560a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 561a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 562a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockRegExpUnparser::RegExpUnparser() : stream_(&alloc_) { 563a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 564a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 565a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 566a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockvoid* RegExpUnparser::VisitDisjunction(RegExpDisjunction* that, void* data) { 567a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add("(|"); 568a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block for (int i = 0; i < that->alternatives()->length(); i++) { 569a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add(" "); 570a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block that->alternatives()->at(i)->Accept(this, data); 571a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } 572a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add(")"); 573a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return NULL; 574a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 575a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 576a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 577a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockvoid* RegExpUnparser::VisitAlternative(RegExpAlternative* that, void* data) { 578a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add("(:"); 579a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block for (int i = 0; i < that->nodes()->length(); i++) { 580a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add(" "); 581a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block that->nodes()->at(i)->Accept(this, data); 582a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } 583a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add(")"); 584a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return NULL; 585a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 586a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 587a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 588a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockvoid RegExpUnparser::VisitCharacterRange(CharacterRange that) { 589a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add("%k", that.from()); 590a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block if (!that.IsSingleton()) { 591a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add("-%k", that.to()); 592a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } 593a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 594a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 595a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 596a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 597a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockvoid* RegExpUnparser::VisitCharacterClass(RegExpCharacterClass* that, 598a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block void* data) { 599a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block if (that->is_negated()) 600a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add("^"); 601a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add("["); 602a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block for (int i = 0; i < that->ranges()->length(); i++) { 603a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block if (i > 0) stream()->Add(" "); 604a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block VisitCharacterRange(that->ranges()->at(i)); 605a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } 606a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add("]"); 607a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return NULL; 608a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 609a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 610a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 611a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockvoid* RegExpUnparser::VisitAssertion(RegExpAssertion* that, void* data) { 612a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block switch (that->type()) { 613a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block case RegExpAssertion::START_OF_INPUT: 614a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add("@^i"); 615a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block break; 616a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block case RegExpAssertion::END_OF_INPUT: 617a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add("@$i"); 618a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block break; 619a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block case RegExpAssertion::START_OF_LINE: 620a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add("@^l"); 621a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block break; 622a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block case RegExpAssertion::END_OF_LINE: 623a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add("@$l"); 624a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block break; 625a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block case RegExpAssertion::BOUNDARY: 626a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add("@b"); 627a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block break; 628a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block case RegExpAssertion::NON_BOUNDARY: 629a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add("@B"); 630a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block break; 631a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } 632a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return NULL; 633a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 634a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 635a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 636a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockvoid* RegExpUnparser::VisitAtom(RegExpAtom* that, void* data) { 637a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add("'"); 638a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block Vector<const uc16> chardata = that->data(); 639a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block for (int i = 0; i < chardata.length(); i++) { 640a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add("%k", chardata[i]); 641a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } 642a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add("'"); 643a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return NULL; 644a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 645a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 646a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 647a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockvoid* RegExpUnparser::VisitText(RegExpText* that, void* data) { 648a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block if (that->elements()->length() == 1) { 649a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block that->elements()->at(0).data.u_atom->Accept(this, data); 650a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } else { 651a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add("(!"); 652a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block for (int i = 0; i < that->elements()->length(); i++) { 653a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add(" "); 654a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block that->elements()->at(i).data.u_atom->Accept(this, data); 655a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } 656a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add(")"); 657a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } 658a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return NULL; 659a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 660a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 661a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 662a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockvoid* RegExpUnparser::VisitQuantifier(RegExpQuantifier* that, void* data) { 663a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add("(# %i ", that->min()); 664a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block if (that->max() == RegExpTree::kInfinity) { 665a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add("- "); 666a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } else { 667a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add("%i ", that->max()); 668a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } 669e46be819fca9468a0cd4e74859ce0f778eb8ca60Leon Clarke stream()->Add(that->is_greedy() ? "g " : that->is_possessive() ? "p " : "n "); 670a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block that->body()->Accept(this, data); 671a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add(")"); 672a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return NULL; 673a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 674a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 675a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 676a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockvoid* RegExpUnparser::VisitCapture(RegExpCapture* that, void* data) { 677a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add("(^ "); 678a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block that->body()->Accept(this, data); 679a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add(")"); 680a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return NULL; 681a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 682a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 683a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 684a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockvoid* RegExpUnparser::VisitLookahead(RegExpLookahead* that, void* data) { 685a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add("(-> "); 686a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add(that->is_positive() ? "+ " : "- "); 687a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block that->body()->Accept(this, data); 688a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add(")"); 689a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return NULL; 690a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 691a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 692a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 693a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockvoid* RegExpUnparser::VisitBackReference(RegExpBackReference* that, 694a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block void* data) { 695a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Add("(<- %i)", that->index()); 696a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return NULL; 697a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 698a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 699a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 700a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockvoid* RegExpUnparser::VisitEmpty(RegExpEmpty* that, void* data) { 701a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block stream()->Put('%'); 702a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return NULL; 703a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 704a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 705a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 706a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockSmartPointer<const char> RegExpTree::ToString() { 707a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block RegExpUnparser unparser; 708a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block Accept(&unparser, NULL); 709a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return unparser.ToString(); 710a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 711a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 712a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 713a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockRegExpDisjunction::RegExpDisjunction(ZoneList<RegExpTree*>* alternatives) 714a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block : alternatives_(alternatives) { 715a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block ASSERT(alternatives->length() > 1); 716a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block RegExpTree* first_alternative = alternatives->at(0); 717a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block min_match_ = first_alternative->min_match(); 718a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block max_match_ = first_alternative->max_match(); 719a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block for (int i = 1; i < alternatives->length(); i++) { 720a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block RegExpTree* alternative = alternatives->at(i); 721a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block min_match_ = Min(min_match_, alternative->min_match()); 722a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block max_match_ = Max(max_match_, alternative->max_match()); 723a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } 724a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 725a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 726a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 727a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockRegExpAlternative::RegExpAlternative(ZoneList<RegExpTree*>* nodes) 728a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block : nodes_(nodes) { 729a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block ASSERT(nodes->length() > 1); 730a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block min_match_ = 0; 731a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block max_match_ = 0; 732a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block for (int i = 0; i < nodes->length(); i++) { 733a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block RegExpTree* node = nodes->at(i); 734a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block min_match_ += node->min_match(); 735a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block int node_max_match = node->max_match(); 736a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block if (kInfinity - max_match_ < node_max_match) { 737a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block max_match_ = kInfinity; 738a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } else { 739a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block max_match_ += node->max_match(); 740a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } 741a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block } 742a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 743a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 7446ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 74525f6136652d8341ed047e7fc1a450af5bd218ea9Kristian MonsenWhileStatement::WhileStatement(ZoneStringList* labels) 74625f6136652d8341ed047e7fc1a450af5bd218ea9Kristian Monsen : IterationStatement(labels), 74725f6136652d8341ed047e7fc1a450af5bd218ea9Kristian Monsen cond_(NULL), 74825f6136652d8341ed047e7fc1a450af5bd218ea9Kristian Monsen may_have_function_literal_(true) { 74925f6136652d8341ed047e7fc1a450af5bd218ea9Kristian Monsen} 75025f6136652d8341ed047e7fc1a450af5bd218ea9Kristian Monsen 75125f6136652d8341ed047e7fc1a450af5bd218ea9Kristian Monsen 75225f6136652d8341ed047e7fc1a450af5bd218ea9Kristian MonsenCaseClause::CaseClause(Expression* label, ZoneList<Statement*>* statements) 75325f6136652d8341ed047e7fc1a450af5bd218ea9Kristian Monsen : label_(label), statements_(statements) { 75425f6136652d8341ed047e7fc1a450af5bd218ea9Kristian Monsen} 75525f6136652d8341ed047e7fc1a450af5bd218ea9Kristian Monsen 756a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} } // namespace v8::internal 757