Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(1192)

Unified Diff: src/scanner.cc

Issue 1481613002: Create ast/ and parsing/ subdirectories and move appropriate files (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: Rebase Created 5 years, 1 month ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « src/scanner.h ('k') | src/scanner-character-streams.h » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: src/scanner.cc
diff --git a/src/scanner.cc b/src/scanner.cc
deleted file mode 100644
index 3031144b0915ad528b4f7ab1d8ba0ff95f31c980..0000000000000000000000000000000000000000
--- a/src/scanner.cc
+++ /dev/null
@@ -1,1673 +0,0 @@
-// Copyright 2011 the V8 project authors. All rights reserved.
-// Use of this source code is governed by a BSD-style license that can be
-// found in the LICENSE file.
-
-// Features shared by parsing and pre-parsing scanners.
-
-#include "src/scanner.h"
-
-#include <stdint.h>
-
-#include <cmath>
-
-#include "src/ast-value-factory.h"
-#include "src/char-predicates-inl.h"
-#include "src/conversions-inl.h"
-#include "src/list-inl.h"
-#include "src/parser.h"
-
-namespace v8 {
-namespace internal {
-
-
-Handle<String> LiteralBuffer::Internalize(Isolate* isolate) const {
- if (is_one_byte()) {
- return isolate->factory()->InternalizeOneByteString(one_byte_literal());
- }
- return isolate->factory()->InternalizeTwoByteString(two_byte_literal());
-}
-
-
-// Default implementation for streams that do not support bookmarks.
-bool Utf16CharacterStream::SetBookmark() { return false; }
-void Utf16CharacterStream::ResetToBookmark() { UNREACHABLE(); }
-
-
-// ----------------------------------------------------------------------------
-// Scanner
-
-Scanner::Scanner(UnicodeCache* unicode_cache)
- : unicode_cache_(unicode_cache),
- bookmark_c0_(kNoBookmark),
- octal_pos_(Location::invalid()) {
- bookmark_current_.literal_chars = &bookmark_current_literal_;
- bookmark_current_.raw_literal_chars = &bookmark_current_raw_literal_;
- bookmark_next_.literal_chars = &bookmark_next_literal_;
- bookmark_next_.raw_literal_chars = &bookmark_next_raw_literal_;
-}
-
-
-void Scanner::Initialize(Utf16CharacterStream* source) {
- source_ = source;
- // Need to capture identifiers in order to recognize "get" and "set"
- // in object literals.
- Init();
- // Skip initial whitespace allowing HTML comment ends just like
- // after a newline and scan first token.
- has_line_terminator_before_next_ = true;
- SkipWhiteSpace();
- Scan();
-}
-
-
-template <bool capture_raw>
-uc32 Scanner::ScanHexNumber(int expected_length) {
- DCHECK(expected_length <= 4); // prevent overflow
-
- uc32 x = 0;
- for (int i = 0; i < expected_length; i++) {
- int d = HexValue(c0_);
- if (d < 0) {
- return -1;
- }
- x = x * 16 + d;
- Advance<capture_raw>();
- }
-
- return x;
-}
-
-
-template <bool capture_raw>
-uc32 Scanner::ScanUnlimitedLengthHexNumber(int max_value) {
- uc32 x = 0;
- int d = HexValue(c0_);
- if (d < 0) {
- return -1;
- }
- while (d >= 0) {
- x = x * 16 + d;
- if (x > max_value) return -1;
- Advance<capture_raw>();
- d = HexValue(c0_);
- }
- return x;
-}
-
-
-// Ensure that tokens can be stored in a byte.
-STATIC_ASSERT(Token::NUM_TOKENS <= 0x100);
-
-// Table of one-character tokens, by character (0x00..0x7f only).
-static const byte one_char_tokens[] = {
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::LPAREN, // 0x28
- Token::RPAREN, // 0x29
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::COMMA, // 0x2c
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::COLON, // 0x3a
- Token::SEMICOLON, // 0x3b
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::CONDITIONAL, // 0x3f
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::LBRACK, // 0x5b
- Token::ILLEGAL,
- Token::RBRACK, // 0x5d
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::ILLEGAL,
- Token::LBRACE, // 0x7b
- Token::ILLEGAL,
- Token::RBRACE, // 0x7d
- Token::BIT_NOT, // 0x7e
- Token::ILLEGAL
-};
-
-
-Token::Value Scanner::Next() {
- if (next_.token == Token::EOS) {
- next_.location.beg_pos = current_.location.beg_pos;
- next_.location.end_pos = current_.location.end_pos;
- }
- current_ = next_;
- if (V8_UNLIKELY(next_next_.token != Token::UNINITIALIZED)) {
- next_ = next_next_;
- next_next_.token = Token::UNINITIALIZED;
- return current_.token;
- }
- has_line_terminator_before_next_ = false;
- has_multiline_comment_before_next_ = false;
- if (static_cast<unsigned>(c0_) <= 0x7f) {
- Token::Value token = static_cast<Token::Value>(one_char_tokens[c0_]);
- if (token != Token::ILLEGAL) {
- int pos = source_pos();
- next_.token = token;
- next_.location.beg_pos = pos;
- next_.location.end_pos = pos + 1;
- Advance();
- return current_.token;
- }
- }
- Scan();
- return current_.token;
-}
-
-
-Token::Value Scanner::PeekAhead() {
- if (next_next_.token != Token::UNINITIALIZED) {
- return next_next_.token;
- }
- TokenDesc prev = current_;
- Next();
- Token::Value ret = next_.token;
- next_next_ = next_;
- next_ = current_;
- current_ = prev;
- return ret;
-}
-
-
-// TODO(yangguo): check whether this is actually necessary.
-static inline bool IsLittleEndianByteOrderMark(uc32 c) {
- // The Unicode value U+FFFE is guaranteed never to be assigned as a
- // Unicode character; this implies that in a Unicode context the
- // 0xFF, 0xFE byte pattern can only be interpreted as the U+FEFF
- // character expressed in little-endian byte order (since it could
- // not be a U+FFFE character expressed in big-endian byte
- // order). Nevertheless, we check for it to be compatible with
- // Spidermonkey.
- return c == 0xFFFE;
-}
-
-
-bool Scanner::SkipWhiteSpace() {
- int start_position = source_pos();
-
- while (true) {
- while (true) {
- // The unicode cache accepts unsigned inputs.
- if (c0_ < 0) break;
- // Advance as long as character is a WhiteSpace or LineTerminator.
- // Remember if the latter is the case.
- if (unicode_cache_->IsLineTerminator(c0_)) {
- has_line_terminator_before_next_ = true;
- } else if (!unicode_cache_->IsWhiteSpace(c0_) &&
- !IsLittleEndianByteOrderMark(c0_)) {
- break;
- }
- Advance();
- }
-
- // If there is an HTML comment end '-->' at the beginning of a
- // line (with only whitespace in front of it), we treat the rest
- // of the line as a comment. This is in line with the way
- // SpiderMonkey handles it.
- if (c0_ == '-' && has_line_terminator_before_next_) {
- Advance();
- if (c0_ == '-') {
- Advance();
- if (c0_ == '>') {
- // Treat the rest of the line as a comment.
- SkipSingleLineComment();
- // Continue skipping white space after the comment.
- continue;
- }
- PushBack('-'); // undo Advance()
- }
- PushBack('-'); // undo Advance()
- }
- // Return whether or not we skipped any characters.
- return source_pos() != start_position;
- }
-}
-
-
-Token::Value Scanner::SkipSingleLineComment() {
- Advance();
-
- // The line terminator at the end of the line is not considered
- // to be part of the single-line comment; it is recognized
- // separately by the lexical grammar and becomes part of the
- // stream of input elements for the syntactic grammar (see
- // ECMA-262, section 7.4).
- while (c0_ >= 0 && !unicode_cache_->IsLineTerminator(c0_)) {
- Advance();
- }
-
- return Token::WHITESPACE;
-}
-
-
-Token::Value Scanner::SkipSourceURLComment() {
- TryToParseSourceURLComment();
- while (c0_ >= 0 && !unicode_cache_->IsLineTerminator(c0_)) {
- Advance();
- }
-
- return Token::WHITESPACE;
-}
-
-
-void Scanner::TryToParseSourceURLComment() {
- // Magic comments are of the form: //[#@]\s<name>=\s*<value>\s*.* and this
- // function will just return if it cannot parse a magic comment.
- if (c0_ < 0 || !unicode_cache_->IsWhiteSpace(c0_)) return;
- Advance();
- LiteralBuffer name;
- while (c0_ >= 0 && !unicode_cache_->IsWhiteSpaceOrLineTerminator(c0_) &&
- c0_ != '=') {
- name.AddChar(c0_);
- Advance();
- }
- if (!name.is_one_byte()) return;
- Vector<const uint8_t> name_literal = name.one_byte_literal();
- LiteralBuffer* value;
- if (name_literal == STATIC_CHAR_VECTOR("sourceURL")) {
- value = &source_url_;
- } else if (name_literal == STATIC_CHAR_VECTOR("sourceMappingURL")) {
- value = &source_mapping_url_;
- } else {
- return;
- }
- if (c0_ != '=')
- return;
- Advance();
- value->Reset();
- while (c0_ >= 0 && unicode_cache_->IsWhiteSpace(c0_)) {
- Advance();
- }
- while (c0_ >= 0 && !unicode_cache_->IsLineTerminator(c0_)) {
- // Disallowed characters.
- if (c0_ == '"' || c0_ == '\'') {
- value->Reset();
- return;
- }
- if (unicode_cache_->IsWhiteSpace(c0_)) {
- break;
- }
- value->AddChar(c0_);
- Advance();
- }
- // Allow whitespace at the end.
- while (c0_ >= 0 && !unicode_cache_->IsLineTerminator(c0_)) {
- if (!unicode_cache_->IsWhiteSpace(c0_)) {
- value->Reset();
- break;
- }
- Advance();
- }
-}
-
-
-Token::Value Scanner::SkipMultiLineComment() {
- DCHECK(c0_ == '*');
- Advance();
-
- while (c0_ >= 0) {
- uc32 ch = c0_;
- Advance();
- if (c0_ >= 0 && unicode_cache_->IsLineTerminator(ch)) {
- // Following ECMA-262, section 7.4, a comment containing
- // a newline will make the comment count as a line-terminator.
- has_multiline_comment_before_next_ = true;
- }
- // If we have reached the end of the multi-line comment, we
- // consume the '/' and insert a whitespace. This way all
- // multi-line comments are treated as whitespace.
- if (ch == '*' && c0_ == '/') {
- c0_ = ' ';
- return Token::WHITESPACE;
- }
- }
-
- // Unterminated multi-line comment.
- return Token::ILLEGAL;
-}
-
-
-Token::Value Scanner::ScanHtmlComment() {
- // Check for <!-- comments.
- DCHECK(c0_ == '!');
- Advance();
- if (c0_ == '-') {
- Advance();
- if (c0_ == '-') return SkipSingleLineComment();
- PushBack('-'); // undo Advance()
- }
- PushBack('!'); // undo Advance()
- DCHECK(c0_ == '!');
- return Token::LT;
-}
-
-
-void Scanner::Scan() {
- next_.literal_chars = NULL;
- next_.raw_literal_chars = NULL;
- Token::Value token;
- do {
- // Remember the position of the next token
- next_.location.beg_pos = source_pos();
-
- switch (c0_) {
- case ' ':
- case '\t':
- Advance();
- token = Token::WHITESPACE;
- break;
-
- case '\n':
- Advance();
- has_line_terminator_before_next_ = true;
- token = Token::WHITESPACE;
- break;
-
- case '"': case '\'':
- token = ScanString();
- break;
-
- case '<':
- // < <= << <<= <!--
- Advance();
- if (c0_ == '=') {
- token = Select(Token::LTE);
- } else if (c0_ == '<') {
- token = Select('=', Token::ASSIGN_SHL, Token::SHL);
- } else if (c0_ == '!') {
- token = ScanHtmlComment();
- } else {
- token = Token::LT;
- }
- break;
-
- case '>':
- // > >= >> >>= >>> >>>=
- Advance();
- if (c0_ == '=') {
- token = Select(Token::GTE);
- } else if (c0_ == '>') {
- // >> >>= >>> >>>=
- Advance();
- if (c0_ == '=') {
- token = Select(Token::ASSIGN_SAR);
- } else if (c0_ == '>') {
- token = Select('=', Token::ASSIGN_SHR, Token::SHR);
- } else {
- token = Token::SAR;
- }
- } else {
- token = Token::GT;
- }
- break;
-
- case '=':
- // = == === =>
- Advance();
- if (c0_ == '=') {
- token = Select('=', Token::EQ_STRICT, Token::EQ);
- } else if (c0_ == '>') {
- token = Select(Token::ARROW);
- } else {
- token = Token::ASSIGN;
- }
- break;
-
- case '!':
- // ! != !==
- Advance();
- if (c0_ == '=') {
- token = Select('=', Token::NE_STRICT, Token::NE);
- } else {
- token = Token::NOT;
- }
- break;
-
- case '+':
- // + ++ +=
- Advance();
- if (c0_ == '+') {
- token = Select(Token::INC);
- } else if (c0_ == '=') {
- token = Select(Token::ASSIGN_ADD);
- } else {
- token = Token::ADD;
- }
- break;
-
- case '-':
- // - -- --> -=
- Advance();
- if (c0_ == '-') {
- Advance();
- if (c0_ == '>' && has_line_terminator_before_next_) {
- // For compatibility with SpiderMonkey, we skip lines that
- // start with an HTML comment end '-->'.
- token = SkipSingleLineComment();
- } else {
- token = Token::DEC;
- }
- } else if (c0_ == '=') {
- token = Select(Token::ASSIGN_SUB);
- } else {
- token = Token::SUB;
- }
- break;
-
- case '*':
- // * *=
- token = Select('=', Token::ASSIGN_MUL, Token::MUL);
- break;
-
- case '%':
- // % %=
- token = Select('=', Token::ASSIGN_MOD, Token::MOD);
- break;
-
- case '/':
- // / // /* /=
- Advance();
- if (c0_ == '/') {
- Advance();
- if (c0_ == '@' || c0_ == '#') {
- Advance();
- token = SkipSourceURLComment();
- } else {
- PushBack(c0_);
- token = SkipSingleLineComment();
- }
- } else if (c0_ == '*') {
- token = SkipMultiLineComment();
- } else if (c0_ == '=') {
- token = Select(Token::ASSIGN_DIV);
- } else {
- token = Token::DIV;
- }
- break;
-
- case '&':
- // & && &=
- Advance();
- if (c0_ == '&') {
- token = Select(Token::AND);
- } else if (c0_ == '=') {
- token = Select(Token::ASSIGN_BIT_AND);
- } else {
- token = Token::BIT_AND;
- }
- break;
-
- case '|':
- // | || |=
- Advance();
- if (c0_ == '|') {
- token = Select(Token::OR);
- } else if (c0_ == '=') {
- token = Select(Token::ASSIGN_BIT_OR);
- } else {
- token = Token::BIT_OR;
- }
- break;
-
- case '^':
- // ^ ^=
- token = Select('=', Token::ASSIGN_BIT_XOR, Token::BIT_XOR);
- break;
-
- case '.':
- // . Number
- Advance();
- if (IsDecimalDigit(c0_)) {
- token = ScanNumber(true);
- } else {
- token = Token::PERIOD;
- if (c0_ == '.') {
- Advance();
- if (c0_ == '.') {
- Advance();
- token = Token::ELLIPSIS;
- } else {
- PushBack('.');
- }
- }
- }
- break;
-
- case ':':
- token = Select(Token::COLON);
- break;
-
- case ';':
- token = Select(Token::SEMICOLON);
- break;
-
- case ',':
- token = Select(Token::COMMA);
- break;
-
- case '(':
- token = Select(Token::LPAREN);
- break;
-
- case ')':
- token = Select(Token::RPAREN);
- break;
-
- case '[':
- token = Select(Token::LBRACK);
- break;
-
- case ']':
- token = Select(Token::RBRACK);
- break;
-
- case '{':
- token = Select(Token::LBRACE);
- break;
-
- case '}':
- token = Select(Token::RBRACE);
- break;
-
- case '?':
- token = Select(Token::CONDITIONAL);
- break;
-
- case '~':
- token = Select(Token::BIT_NOT);
- break;
-
- case '`':
- token = ScanTemplateStart();
- break;
-
- default:
- if (c0_ < 0) {
- token = Token::EOS;
- } else if (unicode_cache_->IsIdentifierStart(c0_)) {
- token = ScanIdentifierOrKeyword();
- } else if (IsDecimalDigit(c0_)) {
- token = ScanNumber(false);
- } else if (SkipWhiteSpace()) {
- token = Token::WHITESPACE;
- } else {
- token = Select(Token::ILLEGAL);
- }
- break;
- }
-
- // Continue scanning for tokens as long as we're just skipping
- // whitespace.
- } while (token == Token::WHITESPACE);
-
- next_.location.end_pos = source_pos();
- next_.token = token;
-}
-
-
-void Scanner::SeekForward(int pos) {
- // After this call, we will have the token at the given position as
- // the "next" token. The "current" token will be invalid.
- if (pos == next_.location.beg_pos) return;
- int current_pos = source_pos();
- DCHECK_EQ(next_.location.end_pos, current_pos);
- // Positions inside the lookahead token aren't supported.
- DCHECK(pos >= current_pos);
- if (pos != current_pos) {
- source_->SeekForward(pos - source_->pos());
- Advance();
- // This function is only called to seek to the location
- // of the end of a function (at the "}" token). It doesn't matter
- // whether there was a line terminator in the part we skip.
- has_line_terminator_before_next_ = false;
- has_multiline_comment_before_next_ = false;
- }
- Scan();
-}
-
-
-template <bool capture_raw, bool in_template_literal>
-bool Scanner::ScanEscape() {
- uc32 c = c0_;
- Advance<capture_raw>();
-
- // Skip escaped newlines.
- if (!in_template_literal && c0_ >= 0 && unicode_cache_->IsLineTerminator(c)) {
- // Allow CR+LF newlines in multiline string literals.
- if (IsCarriageReturn(c) && IsLineFeed(c0_)) Advance<capture_raw>();
- // Allow LF+CR newlines in multiline string literals.
- if (IsLineFeed(c) && IsCarriageReturn(c0_)) Advance<capture_raw>();
- return true;
- }
-
- switch (c) {
- case '\'': // fall through
- case '"' : // fall through
- case '\\': break;
- case 'b' : c = '\b'; break;
- case 'f' : c = '\f'; break;
- case 'n' : c = '\n'; break;
- case 'r' : c = '\r'; break;
- case 't' : c = '\t'; break;
- case 'u' : {
- c = ScanUnicodeEscape<capture_raw>();
- if (c < 0) return false;
- break;
- }
- case 'v':
- c = '\v';
- break;
- case 'x': {
- c = ScanHexNumber<capture_raw>(2);
- if (c < 0) return false;
- break;
- }
- case '0': // Fall through.
- case '1': // fall through
- case '2': // fall through
- case '3': // fall through
- case '4': // fall through
- case '5': // fall through
- case '6': // fall through
- case '7':
- c = ScanOctalEscape<capture_raw>(c, 2);
- break;
- }
-
- // According to ECMA-262, section 7.8.4, characters not covered by the
- // above cases should be illegal, but they are commonly handled as
- // non-escaped characters by JS VMs.
- AddLiteralChar(c);
- return true;
-}
-
-
-// Octal escapes of the forms '\0xx' and '\xxx' are not a part of
-// ECMA-262. Other JS VMs support them.
-template <bool capture_raw>
-uc32 Scanner::ScanOctalEscape(uc32 c, int length) {
- uc32 x = c - '0';
- int i = 0;
- for (; i < length; i++) {
- int d = c0_ - '0';
- if (d < 0 || d > 7) break;
- int nx = x * 8 + d;
- if (nx >= 256) break;
- x = nx;
- Advance<capture_raw>();
- }
- // Anything except '\0' is an octal escape sequence, illegal in strict mode.
- // Remember the position of octal escape sequences so that an error
- // can be reported later (in strict mode).
- // We don't report the error immediately, because the octal escape can
- // occur before the "use strict" directive.
- if (c != '0' || i > 0) {
- octal_pos_ = Location(source_pos() - i - 1, source_pos() - 1);
- }
- return x;
-}
-
-
-const int kMaxAscii = 127;
-
-
-Token::Value Scanner::ScanString() {
- uc32 quote = c0_;
- Advance<false, false>(); // consume quote
-
- LiteralScope literal(this);
- while (true) {
- if (c0_ > kMaxAscii) {
- HandleLeadSurrogate();
- break;
- }
- if (c0_ < 0 || c0_ == '\n' || c0_ == '\r') return Token::ILLEGAL;
- if (c0_ == quote) {
- literal.Complete();
- Advance<false, false>();
- return Token::STRING;
- }
- uc32 c = c0_;
- if (c == '\\') break;
- Advance<false, false>();
- AddLiteralChar(c);
- }
-
- while (c0_ != quote && c0_ >= 0
- && !unicode_cache_->IsLineTerminator(c0_)) {
- uc32 c = c0_;
- Advance();
- if (c == '\\') {
- if (c0_ < 0 || !ScanEscape<false, false>()) return Token::ILLEGAL;
- } else {
- AddLiteralChar(c);
- }
- }
- if (c0_ != quote) return Token::ILLEGAL;
- literal.Complete();
-
- Advance(); // consume quote
- return Token::STRING;
-}
-
-
-Token::Value Scanner::ScanTemplateSpan() {
- // When scanning a TemplateSpan, we are looking for the following construct:
- // TEMPLATE_SPAN ::
- // ` LiteralChars* ${
- // | } LiteralChars* ${
- //
- // TEMPLATE_TAIL ::
- // ` LiteralChars* `
- // | } LiteralChar* `
- //
- // A TEMPLATE_SPAN should always be followed by an Expression, while a
- // TEMPLATE_TAIL terminates a TemplateLiteral and does not need to be
- // followed by an Expression.
-
- Token::Value result = Token::TEMPLATE_SPAN;
- LiteralScope literal(this);
- StartRawLiteral();
- const bool capture_raw = true;
- const bool in_template_literal = true;
-
- while (true) {
- uc32 c = c0_;
- Advance<capture_raw>();
- if (c == '`') {
- result = Token::TEMPLATE_TAIL;
- ReduceRawLiteralLength(1);
- break;
- } else if (c == '$' && c0_ == '{') {
- Advance<capture_raw>(); // Consume '{'
- ReduceRawLiteralLength(2);
- break;
- } else if (c == '\\') {
- if (c0_ > 0 && unicode_cache_->IsLineTerminator(c0_)) {
- // The TV of LineContinuation :: \ LineTerminatorSequence is the empty
- // code unit sequence.
- uc32 lastChar = c0_;
- Advance<capture_raw>();
- if (lastChar == '\r') {
- ReduceRawLiteralLength(1); // Remove \r
- if (c0_ == '\n') {
- Advance<capture_raw>(); // Adds \n
- } else {
- AddRawLiteralChar('\n');
- }
- }
- } else if (!ScanEscape<capture_raw, in_template_literal>()) {
- return Token::ILLEGAL;
- }
- } else if (c < 0) {
- // Unterminated template literal
- PushBack(c);
- break;
- } else {
- // The TRV of LineTerminatorSequence :: <CR> is the CV 0x000A.
- // The TRV of LineTerminatorSequence :: <CR><LF> is the sequence
- // consisting of the CV 0x000A.
- if (c == '\r') {
- ReduceRawLiteralLength(1); // Remove \r
- if (c0_ == '\n') {
- Advance<capture_raw>(); // Adds \n
- } else {
- AddRawLiteralChar('\n');
- }
- c = '\n';
- }
- AddLiteralChar(c);
- }
- }
- literal.Complete();
- next_.location.end_pos = source_pos();
- next_.token = result;
- return result;
-}
-
-
-Token::Value Scanner::ScanTemplateStart() {
- DCHECK(c0_ == '`');
- next_.location.beg_pos = source_pos();
- Advance(); // Consume `
- return ScanTemplateSpan();
-}
-
-
-Token::Value Scanner::ScanTemplateContinuation() {
- DCHECK_EQ(next_.token, Token::RBRACE);
- next_.location.beg_pos = source_pos() - 1; // We already consumed }
- return ScanTemplateSpan();
-}
-
-
-void Scanner::ScanDecimalDigits() {
- while (IsDecimalDigit(c0_))
- AddLiteralCharAdvance();
-}
-
-
-Token::Value Scanner::ScanNumber(bool seen_period) {
- DCHECK(IsDecimalDigit(c0_)); // the first digit of the number or the fraction
-
- enum { DECIMAL, HEX, OCTAL, IMPLICIT_OCTAL, BINARY } kind = DECIMAL;
-
- LiteralScope literal(this);
- bool at_start = !seen_period;
- if (seen_period) {
- // we have already seen a decimal point of the float
- AddLiteralChar('.');
- ScanDecimalDigits(); // we know we have at least one digit
-
- } else {
- // if the first character is '0' we must check for octals and hex
- if (c0_ == '0') {
- int start_pos = source_pos(); // For reporting octal positions.
- AddLiteralCharAdvance();
-
- // either 0, 0exxx, 0Exxx, 0.xxx, a hex number, a binary number or
- // an octal number.
- if (c0_ == 'x' || c0_ == 'X') {
- // hex number
- kind = HEX;
- AddLiteralCharAdvance();
- if (!IsHexDigit(c0_)) {
- // we must have at least one hex digit after 'x'/'X'
- return Token::ILLEGAL;
- }
- while (IsHexDigit(c0_)) {
- AddLiteralCharAdvance();
- }
- } else if (c0_ == 'o' || c0_ == 'O') {
- kind = OCTAL;
- AddLiteralCharAdvance();
- if (!IsOctalDigit(c0_)) {
- // we must have at least one octal digit after 'o'/'O'
- return Token::ILLEGAL;
- }
- while (IsOctalDigit(c0_)) {
- AddLiteralCharAdvance();
- }
- } else if (c0_ == 'b' || c0_ == 'B') {
- kind = BINARY;
- AddLiteralCharAdvance();
- if (!IsBinaryDigit(c0_)) {
- // we must have at least one binary digit after 'b'/'B'
- return Token::ILLEGAL;
- }
- while (IsBinaryDigit(c0_)) {
- AddLiteralCharAdvance();
- }
- } else if ('0' <= c0_ && c0_ <= '7') {
- // (possible) octal number
- kind = IMPLICIT_OCTAL;
- while (true) {
- if (c0_ == '8' || c0_ == '9') {
- at_start = false;
- kind = DECIMAL;
- break;
- }
- if (c0_ < '0' || '7' < c0_) {
- // Octal literal finished.
- octal_pos_ = Location(start_pos, source_pos());
- break;
- }
- AddLiteralCharAdvance();
- }
- }
- }
-
- // Parse decimal digits and allow trailing fractional part.
- if (kind == DECIMAL) {
- if (at_start) {
- uint64_t value = 0;
- while (IsDecimalDigit(c0_)) {
- value = 10 * value + (c0_ - '0');
-
- uc32 first_char = c0_;
- Advance<false, false>();
- AddLiteralChar(first_char);
- }
-
- if (next_.literal_chars->one_byte_literal().length() <= 10 &&
- value <= Smi::kMaxValue && c0_ != '.' && c0_ != 'e' && c0_ != 'E') {
- next_.smi_value_ = static_cast<int>(value);
- literal.Complete();
- HandleLeadSurrogate();
-
- return Token::SMI;
- }
- HandleLeadSurrogate();
- }
-
- ScanDecimalDigits(); // optional
- if (c0_ == '.') {
- AddLiteralCharAdvance();
- ScanDecimalDigits(); // optional
- }
- }
- }
-
- // scan exponent, if any
- if (c0_ == 'e' || c0_ == 'E') {
- DCHECK(kind != HEX); // 'e'/'E' must be scanned as part of the hex number
- if (kind != DECIMAL) return Token::ILLEGAL;
- // scan exponent
- AddLiteralCharAdvance();
- if (c0_ == '+' || c0_ == '-')
- AddLiteralCharAdvance();
- if (!IsDecimalDigit(c0_)) {
- // we must have at least one decimal digit after 'e'/'E'
- return Token::ILLEGAL;
- }
- ScanDecimalDigits();
- }
-
- // The source character immediately following a numeric literal must
- // not be an identifier start or a decimal digit; see ECMA-262
- // section 7.8.3, page 17 (note that we read only one decimal digit
- // if the value is 0).
- if (IsDecimalDigit(c0_) ||
- (c0_ >= 0 && unicode_cache_->IsIdentifierStart(c0_)))
- return Token::ILLEGAL;
-
- literal.Complete();
-
- return Token::NUMBER;
-}
-
-
-uc32 Scanner::ScanIdentifierUnicodeEscape() {
- Advance();
- if (c0_ != 'u') return -1;
- Advance();
- return ScanUnicodeEscape<false>();
-}
-
-
-template <bool capture_raw>
-uc32 Scanner::ScanUnicodeEscape() {
- // Accept both \uxxxx and \u{xxxxxx}. In the latter case, the number of
- // hex digits between { } is arbitrary. \ and u have already been read.
- if (c0_ == '{') {
- Advance<capture_raw>();
- uc32 cp = ScanUnlimitedLengthHexNumber<capture_raw>(0x10ffff);
- if (cp < 0) {
- return -1;
- }
- if (c0_ != '}') {
- return -1;
- }
- Advance<capture_raw>();
- return cp;
- }
- return ScanHexNumber<capture_raw>(4);
-}
-
-
-// ----------------------------------------------------------------------------
-// Keyword Matcher
-
-#define KEYWORDS(KEYWORD_GROUP, KEYWORD) \
- KEYWORD_GROUP('b') \
- KEYWORD("break", Token::BREAK) \
- KEYWORD_GROUP('c') \
- KEYWORD("case", Token::CASE) \
- KEYWORD("catch", Token::CATCH) \
- KEYWORD("class", Token::CLASS) \
- KEYWORD("const", Token::CONST) \
- KEYWORD("continue", Token::CONTINUE) \
- KEYWORD_GROUP('d') \
- KEYWORD("debugger", Token::DEBUGGER) \
- KEYWORD("default", Token::DEFAULT) \
- KEYWORD("delete", Token::DELETE) \
- KEYWORD("do", Token::DO) \
- KEYWORD_GROUP('e') \
- KEYWORD("else", Token::ELSE) \
- KEYWORD("enum", Token::FUTURE_RESERVED_WORD) \
- KEYWORD("export", Token::EXPORT) \
- KEYWORD("extends", Token::EXTENDS) \
- KEYWORD_GROUP('f') \
- KEYWORD("false", Token::FALSE_LITERAL) \
- KEYWORD("finally", Token::FINALLY) \
- KEYWORD("for", Token::FOR) \
- KEYWORD("function", Token::FUNCTION) \
- KEYWORD_GROUP('i') \
- KEYWORD("if", Token::IF) \
- KEYWORD("implements", Token::FUTURE_STRICT_RESERVED_WORD) \
- KEYWORD("import", Token::IMPORT) \
- KEYWORD("in", Token::IN) \
- KEYWORD("instanceof", Token::INSTANCEOF) \
- KEYWORD("interface", Token::FUTURE_STRICT_RESERVED_WORD) \
- KEYWORD_GROUP('l') \
- KEYWORD("let", Token::LET) \
- KEYWORD_GROUP('n') \
- KEYWORD("new", Token::NEW) \
- KEYWORD("null", Token::NULL_LITERAL) \
- KEYWORD_GROUP('p') \
- KEYWORD("package", Token::FUTURE_STRICT_RESERVED_WORD) \
- KEYWORD("private", Token::FUTURE_STRICT_RESERVED_WORD) \
- KEYWORD("protected", Token::FUTURE_STRICT_RESERVED_WORD) \
- KEYWORD("public", Token::FUTURE_STRICT_RESERVED_WORD) \
- KEYWORD_GROUP('r') \
- KEYWORD("return", Token::RETURN) \
- KEYWORD_GROUP('s') \
- KEYWORD("static", Token::STATIC) \
- KEYWORD("super", Token::SUPER) \
- KEYWORD("switch", Token::SWITCH) \
- KEYWORD_GROUP('t') \
- KEYWORD("this", Token::THIS) \
- KEYWORD("throw", Token::THROW) \
- KEYWORD("true", Token::TRUE_LITERAL) \
- KEYWORD("try", Token::TRY) \
- KEYWORD("typeof", Token::TYPEOF) \
- KEYWORD_GROUP('v') \
- KEYWORD("var", Token::VAR) \
- KEYWORD("void", Token::VOID) \
- KEYWORD_GROUP('w') \
- KEYWORD("while", Token::WHILE) \
- KEYWORD("with", Token::WITH) \
- KEYWORD_GROUP('y') \
- KEYWORD("yield", Token::YIELD)
-
-
-static Token::Value KeywordOrIdentifierToken(const uint8_t* input,
- int input_length, bool escaped) {
- DCHECK(input_length >= 1);
- const int kMinLength = 2;
- const int kMaxLength = 10;
- if (input_length < kMinLength || input_length > kMaxLength) {
- return Token::IDENTIFIER;
- }
- switch (input[0]) {
- default:
-#define KEYWORD_GROUP_CASE(ch) \
- break; \
- case ch:
-#define KEYWORD(keyword, token) \
- { \
- /* 'keyword' is a char array, so sizeof(keyword) is */ \
- /* strlen(keyword) plus 1 for the NUL char. */ \
- const int keyword_length = sizeof(keyword) - 1; \
- STATIC_ASSERT(keyword_length >= kMinLength); \
- STATIC_ASSERT(keyword_length <= kMaxLength); \
- if (input_length == keyword_length && input[1] == keyword[1] && \
- (keyword_length <= 2 || input[2] == keyword[2]) && \
- (keyword_length <= 3 || input[3] == keyword[3]) && \
- (keyword_length <= 4 || input[4] == keyword[4]) && \
- (keyword_length <= 5 || input[5] == keyword[5]) && \
- (keyword_length <= 6 || input[6] == keyword[6]) && \
- (keyword_length <= 7 || input[7] == keyword[7]) && \
- (keyword_length <= 8 || input[8] == keyword[8]) && \
- (keyword_length <= 9 || input[9] == keyword[9])) { \
- if (escaped) { \
- return token == Token::FUTURE_STRICT_RESERVED_WORD \
- ? Token::ESCAPED_STRICT_RESERVED_WORD \
- : Token::ESCAPED_KEYWORD; \
- } \
- return token; \
- } \
- }
- KEYWORDS(KEYWORD_GROUP_CASE, KEYWORD)
- }
- return Token::IDENTIFIER;
-}
-
-
-bool Scanner::IdentifierIsFutureStrictReserved(
- const AstRawString* string) const {
- // Keywords are always 1-byte strings.
- if (!string->is_one_byte()) return false;
- if (string->IsOneByteEqualTo("let") || string->IsOneByteEqualTo("static") ||
- string->IsOneByteEqualTo("yield")) {
- return true;
- }
- return Token::FUTURE_STRICT_RESERVED_WORD ==
- KeywordOrIdentifierToken(string->raw_data(), string->length(), false);
-}
-
-
-Token::Value Scanner::ScanIdentifierOrKeyword() {
- DCHECK(unicode_cache_->IsIdentifierStart(c0_));
- LiteralScope literal(this);
- if (IsInRange(c0_, 'a', 'z')) {
- do {
- uc32 first_char = c0_;
- Advance<false, false>();
- AddLiteralChar(first_char);
- } while (IsInRange(c0_, 'a', 'z'));
-
- if (IsDecimalDigit(c0_) || IsInRange(c0_, 'A', 'Z') || c0_ == '_' ||
- c0_ == '$') {
- // Identifier starting with lowercase.
- uc32 first_char = c0_;
- Advance<false, false>();
- AddLiteralChar(first_char);
- while (IsAsciiIdentifier(c0_)) {
- uc32 first_char = c0_;
- Advance<false, false>();
- AddLiteralChar(first_char);
- }
- if (c0_ <= kMaxAscii && c0_ != '\\') {
- literal.Complete();
- return Token::IDENTIFIER;
- }
- } else if (c0_ <= kMaxAscii && c0_ != '\\') {
- // Only a-z+: could be a keyword or identifier.
- literal.Complete();
- Vector<const uint8_t> chars = next_.literal_chars->one_byte_literal();
- return KeywordOrIdentifierToken(chars.start(), chars.length(), false);
- }
-
- HandleLeadSurrogate();
- } else if (IsInRange(c0_, 'A', 'Z') || c0_ == '_' || c0_ == '$') {
- do {
- uc32 first_char = c0_;
- Advance<false, false>();
- AddLiteralChar(first_char);
- } while (IsAsciiIdentifier(c0_));
-
- if (c0_ <= kMaxAscii && c0_ != '\\') {
- literal.Complete();
- return Token::IDENTIFIER;
- }
-
- HandleLeadSurrogate();
- } else if (c0_ == '\\') {
- // Scan identifier start character.
- uc32 c = ScanIdentifierUnicodeEscape();
- // Only allow legal identifier start characters.
- if (c < 0 ||
- c == '\\' || // No recursive escapes.
- !unicode_cache_->IsIdentifierStart(c)) {
- return Token::ILLEGAL;
- }
- AddLiteralChar(c);
- return ScanIdentifierSuffix(&literal, true);
- } else {
- uc32 first_char = c0_;
- Advance();
- AddLiteralChar(first_char);
- }
-
- // Scan the rest of the identifier characters.
- while (c0_ >= 0 && unicode_cache_->IsIdentifierPart(c0_)) {
- if (c0_ != '\\') {
- uc32 next_char = c0_;
- Advance();
- AddLiteralChar(next_char);
- continue;
- }
- // Fallthrough if no longer able to complete keyword.
- return ScanIdentifierSuffix(&literal, false);
- }
-
- literal.Complete();
-
- if (next_.literal_chars->is_one_byte()) {
- Vector<const uint8_t> chars = next_.literal_chars->one_byte_literal();
- return KeywordOrIdentifierToken(chars.start(), chars.length(), false);
- }
- return Token::IDENTIFIER;
-}
-
-
-Token::Value Scanner::ScanIdentifierSuffix(LiteralScope* literal,
- bool escaped) {
- // Scan the rest of the identifier characters.
- while (c0_ >= 0 && unicode_cache_->IsIdentifierPart(c0_)) {
- if (c0_ == '\\') {
- uc32 c = ScanIdentifierUnicodeEscape();
- escaped = true;
- // Only allow legal identifier part characters.
- if (c < 0 ||
- c == '\\' ||
- !unicode_cache_->IsIdentifierPart(c)) {
- return Token::ILLEGAL;
- }
- AddLiteralChar(c);
- } else {
- AddLiteralChar(c0_);
- Advance();
- }
- }
- literal->Complete();
-
- if (escaped && next_.literal_chars->is_one_byte()) {
- Vector<const uint8_t> chars = next_.literal_chars->one_byte_literal();
- return KeywordOrIdentifierToken(chars.start(), chars.length(), true);
- }
- return Token::IDENTIFIER;
-}
-
-
-bool Scanner::ScanRegExpPattern(bool seen_equal) {
- // Scan: ('/' | '/=') RegularExpressionBody '/' RegularExpressionFlags
- bool in_character_class = false;
-
- // Previous token is either '/' or '/=', in the second case, the
- // pattern starts at =.
- next_.location.beg_pos = source_pos() - (seen_equal ? 2 : 1);
- next_.location.end_pos = source_pos() - (seen_equal ? 1 : 0);
-
- // Scan regular expression body: According to ECMA-262, 3rd, 7.8.5,
- // the scanner should pass uninterpreted bodies to the RegExp
- // constructor.
- LiteralScope literal(this);
- if (seen_equal) {
- AddLiteralChar('=');
- }
-
- while (c0_ != '/' || in_character_class) {
- if (c0_ < 0 || unicode_cache_->IsLineTerminator(c0_)) return false;
- if (c0_ == '\\') { // Escape sequence.
- AddLiteralCharAdvance();
- if (c0_ < 0 || unicode_cache_->IsLineTerminator(c0_)) return false;
- AddLiteralCharAdvance();
- // If the escape allows more characters, i.e., \x??, \u????, or \c?,
- // only "safe" characters are allowed (letters, digits, underscore),
- // otherwise the escape isn't valid and the invalid character has
- // its normal meaning. I.e., we can just continue scanning without
- // worrying whether the following characters are part of the escape
- // or not, since any '/', '\\' or '[' is guaranteed to not be part
- // of the escape sequence.
-
- // TODO(896): At some point, parse RegExps more throughly to capture
- // octal esacpes in strict mode.
- } else { // Unescaped character.
- if (c0_ == '[') in_character_class = true;
- if (c0_ == ']') in_character_class = false;
- AddLiteralCharAdvance();
- }
- }
- Advance(); // consume '/'
-
- literal.Complete();
-
- return true;
-}
-
-
-Maybe<RegExp::Flags> Scanner::ScanRegExpFlags() {
- // Scan regular expression flags.
- LiteralScope literal(this);
- int flags = 0;
- while (c0_ >= 0 && unicode_cache_->IsIdentifierPart(c0_)) {
- RegExp::Flags flag = RegExp::kNone;
- switch (c0_) {
- case 'g':
- flag = RegExp::kGlobal;
- break;
- case 'i':
- flag = RegExp::kIgnoreCase;
- break;
- case 'm':
- flag = RegExp::kMultiline;
- break;
- case 'u':
- if (!FLAG_harmony_unicode_regexps) return Nothing<RegExp::Flags>();
- flag = RegExp::kUnicode;
- break;
- case 'y':
- if (!FLAG_harmony_regexps) return Nothing<RegExp::Flags>();
- flag = RegExp::kSticky;
- break;
- default:
- return Nothing<RegExp::Flags>();
- }
- if (flags & flag) return Nothing<RegExp::Flags>();
- AddLiteralCharAdvance();
- flags |= flag;
- }
- literal.Complete();
-
- next_.location.end_pos = source_pos();
- return Just(RegExp::Flags(flags));
-}
-
-
-const AstRawString* Scanner::CurrentSymbol(AstValueFactory* ast_value_factory) {
- if (is_literal_one_byte()) {
- return ast_value_factory->GetOneByteString(literal_one_byte_string());
- }
- return ast_value_factory->GetTwoByteString(literal_two_byte_string());
-}
-
-
-const AstRawString* Scanner::NextSymbol(AstValueFactory* ast_value_factory) {
- if (is_next_literal_one_byte()) {
- return ast_value_factory->GetOneByteString(next_literal_one_byte_string());
- }
- return ast_value_factory->GetTwoByteString(next_literal_two_byte_string());
-}
-
-
-const AstRawString* Scanner::CurrentRawSymbol(
- AstValueFactory* ast_value_factory) {
- if (is_raw_literal_one_byte()) {
- return ast_value_factory->GetOneByteString(raw_literal_one_byte_string());
- }
- return ast_value_factory->GetTwoByteString(raw_literal_two_byte_string());
-}
-
-
-double Scanner::DoubleValue() {
- DCHECK(is_literal_one_byte());
- return StringToDouble(
- unicode_cache_,
- literal_one_byte_string(),
- ALLOW_HEX | ALLOW_OCTAL | ALLOW_IMPLICIT_OCTAL | ALLOW_BINARY);
-}
-
-
-bool Scanner::ContainsDot() {
- DCHECK(is_literal_one_byte());
- Vector<const uint8_t> str = literal_one_byte_string();
- return std::find(str.begin(), str.end(), '.') != str.end();
-}
-
-
-int Scanner::FindSymbol(DuplicateFinder* finder, int value) {
- if (is_literal_one_byte()) {
- return finder->AddOneByteSymbol(literal_one_byte_string(), value);
- }
- return finder->AddTwoByteSymbol(literal_two_byte_string(), value);
-}
-
-
-bool Scanner::SetBookmark() {
- if (c0_ != kNoBookmark && bookmark_c0_ == kNoBookmark &&
- next_next_.token == Token::UNINITIALIZED && source_->SetBookmark()) {
- bookmark_c0_ = c0_;
- CopyTokenDesc(&bookmark_current_, &current_);
- CopyTokenDesc(&bookmark_next_, &next_);
- return true;
- }
- return false;
-}
-
-
-void Scanner::ResetToBookmark() {
- DCHECK(BookmarkHasBeenSet()); // Caller hasn't called SetBookmark.
-
- source_->ResetToBookmark();
- c0_ = bookmark_c0_;
- StartLiteral();
- StartRawLiteral();
- CopyTokenDesc(&next_, &bookmark_current_);
- current_ = next_;
- StartLiteral();
- StartRawLiteral();
- CopyTokenDesc(&next_, &bookmark_next_);
-
- bookmark_c0_ = kBookmarkWasApplied;
-}
-
-
-bool Scanner::BookmarkHasBeenSet() { return bookmark_c0_ >= 0; }
-
-
-bool Scanner::BookmarkHasBeenReset() {
- return bookmark_c0_ == kBookmarkWasApplied;
-}
-
-
-void Scanner::DropBookmark() { bookmark_c0_ = kNoBookmark; }
-
-
-void Scanner::CopyTokenDesc(TokenDesc* to, TokenDesc* from) {
- DCHECK_NOT_NULL(to);
- DCHECK_NOT_NULL(from);
- to->token = from->token;
- to->location = from->location;
- to->literal_chars->CopyFrom(from->literal_chars);
- to->raw_literal_chars->CopyFrom(from->raw_literal_chars);
-}
-
-
-int DuplicateFinder::AddOneByteSymbol(Vector<const uint8_t> key, int value) {
- return AddSymbol(key, true, value);
-}
-
-
-int DuplicateFinder::AddTwoByteSymbol(Vector<const uint16_t> key, int value) {
- return AddSymbol(Vector<const uint8_t>::cast(key), false, value);
-}
-
-
-int DuplicateFinder::AddSymbol(Vector<const uint8_t> key,
- bool is_one_byte,
- int value) {
- uint32_t hash = Hash(key, is_one_byte);
- byte* encoding = BackupKey(key, is_one_byte);
- HashMap::Entry* entry = map_.LookupOrInsert(encoding, hash);
- int old_value = static_cast<int>(reinterpret_cast<intptr_t>(entry->value));
- entry->value =
- reinterpret_cast<void*>(static_cast<intptr_t>(value | old_value));
- return old_value;
-}
-
-
-int DuplicateFinder::AddNumber(Vector<const uint8_t> key, int value) {
- DCHECK(key.length() > 0);
- // Quick check for already being in canonical form.
- if (IsNumberCanonical(key)) {
- return AddOneByteSymbol(key, value);
- }
-
- int flags = ALLOW_HEX | ALLOW_OCTAL | ALLOW_IMPLICIT_OCTAL | ALLOW_BINARY;
- double double_value = StringToDouble(
- unicode_constants_, key, flags, 0.0);
- int length;
- const char* string;
- if (!std::isfinite(double_value)) {
- string = "Infinity";
- length = 8; // strlen("Infinity");
- } else {
- string = DoubleToCString(double_value,
- Vector<char>(number_buffer_, kBufferSize));
- length = StrLength(string);
- }
- return AddSymbol(Vector<const byte>(reinterpret_cast<const byte*>(string),
- length), true, value);
-}
-
-
-bool DuplicateFinder::IsNumberCanonical(Vector<const uint8_t> number) {
- // Test for a safe approximation of number literals that are already
- // in canonical form: max 15 digits, no leading zeroes, except an
- // integer part that is a single zero, and no trailing zeros below
- // the decimal point.
- int pos = 0;
- int length = number.length();
- if (number.length() > 15) return false;
- if (number[pos] == '0') {
- pos++;
- } else {
- while (pos < length &&
- static_cast<unsigned>(number[pos] - '0') <= ('9' - '0')) pos++;
- }
- if (length == pos) return true;
- if (number[pos] != '.') return false;
- pos++;
- bool invalid_last_digit = true;
- while (pos < length) {
- uint8_t digit = number[pos] - '0';
- if (digit > '9' - '0') return false;
- invalid_last_digit = (digit == 0);
- pos++;
- }
- return !invalid_last_digit;
-}
-
-
-uint32_t DuplicateFinder::Hash(Vector<const uint8_t> key, bool is_one_byte) {
- // Primitive hash function, almost identical to the one used
- // for strings (except that it's seeded by the length and representation).
- int length = key.length();
- uint32_t hash = (length << 1) | (is_one_byte ? 1 : 0);
- for (int i = 0; i < length; i++) {
- uint32_t c = key[i];
- hash = (hash + c) * 1025;
- hash ^= (hash >> 6);
- }
- return hash;
-}
-
-
-bool DuplicateFinder::Match(void* first, void* second) {
- // Decode lengths.
- // Length + representation is encoded as base 128, most significant heptet
- // first, with a 8th bit being non-zero while there are more heptets.
- // The value encodes the number of bytes following, and whether the original
- // was Latin1.
- byte* s1 = reinterpret_cast<byte*>(first);
- byte* s2 = reinterpret_cast<byte*>(second);
- uint32_t length_one_byte_field = 0;
- byte c1;
- do {
- c1 = *s1;
- if (c1 != *s2) return false;
- length_one_byte_field = (length_one_byte_field << 7) | (c1 & 0x7f);
- s1++;
- s2++;
- } while ((c1 & 0x80) != 0);
- int length = static_cast<int>(length_one_byte_field >> 1);
- return memcmp(s1, s2, length) == 0;
-}
-
-
-byte* DuplicateFinder::BackupKey(Vector<const uint8_t> bytes,
- bool is_one_byte) {
- uint32_t one_byte_length = (bytes.length() << 1) | (is_one_byte ? 1 : 0);
- backing_store_.StartSequence();
- // Emit one_byte_length as base-128 encoded number, with the 7th bit set
- // on the byte of every heptet except the last, least significant, one.
- if (one_byte_length >= (1 << 7)) {
- if (one_byte_length >= (1 << 14)) {
- if (one_byte_length >= (1 << 21)) {
- if (one_byte_length >= (1 << 28)) {
- backing_store_.Add(
- static_cast<uint8_t>((one_byte_length >> 28) | 0x80));
- }
- backing_store_.Add(
- static_cast<uint8_t>((one_byte_length >> 21) | 0x80u));
- }
- backing_store_.Add(
- static_cast<uint8_t>((one_byte_length >> 14) | 0x80u));
- }
- backing_store_.Add(static_cast<uint8_t>((one_byte_length >> 7) | 0x80u));
- }
- backing_store_.Add(static_cast<uint8_t>(one_byte_length & 0x7f));
-
- backing_store_.AddBlock(bytes);
- return backing_store_.EndSequence().start();
-}
-
-} // namespace internal
-} // namespace v8
« no previous file with comments | « src/scanner.h ('k') | src/scanner-character-streams.h » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698