ager@chromium.org | beb2571 | 2010-11-29 08:02:25 +0000 | [diff] [blame] | 1 | // Copyright 2010 the V8 project authors. All rights reserved. |
| 2 | // Redistribution and use in source and binary forms, with or without |
| 3 | // modification, are permitted provided that the following conditions are |
| 4 | // met: |
| 5 | // |
| 6 | // * Redistributions of source code must retain the above copyright |
| 7 | // notice, this list of conditions and the following disclaimer. |
| 8 | // * Redistributions in binary form must reproduce the above |
| 9 | // copyright notice, this list of conditions and the following |
| 10 | // disclaimer in the documentation and/or other materials provided |
| 11 | // with the distribution. |
| 12 | // * Neither the name of Google Inc. nor the names of its |
| 13 | // contributors may be used to endorse or promote products derived |
| 14 | // from this software without specific prior written permission. |
| 15 | // |
| 16 | // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS |
| 17 | // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT |
| 18 | // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR |
| 19 | // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT |
| 20 | // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, |
| 21 | // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT |
| 22 | // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
| 23 | // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
| 24 | // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
| 25 | // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE |
| 26 | // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| 27 | |
| 28 | #include "../include/v8stdint.h" |
sgjesse@chromium.org | ea88ce9 | 2011-03-23 11:19:56 +0000 | [diff] [blame] | 29 | |
lrn@chromium.org | 1c09276 | 2011-05-09 09:42:16 +0000 | [diff] [blame] | 30 | #include "preparse-data-format.h" |
ager@chromium.org | beb2571 | 2010-11-29 08:02:25 +0000 | [diff] [blame] | 31 | #include "preparse-data.h" |
| 32 | |
fschneider@chromium.org | fb144a0 | 2011-05-04 12:43:48 +0000 | [diff] [blame] | 33 | #include "checks.h" |
| 34 | #include "globals.h" |
| 35 | #include "hashmap.h" |
sgjesse@chromium.org | ea88ce9 | 2011-03-23 11:19:56 +0000 | [diff] [blame] | 36 | |
ager@chromium.org | beb2571 | 2010-11-29 08:02:25 +0000 | [diff] [blame] | 37 | namespace v8 { |
| 38 | namespace internal { |
| 39 | |
ager@chromium.org | beb2571 | 2010-11-29 08:02:25 +0000 | [diff] [blame] | 40 | |
machenbach@chromium.org | 381adef | 2014-03-14 03:04:56 +0000 | [diff] [blame^] | 41 | template <typename Char> |
| 42 | static int vector_hash(Vector<const Char> string) { |
| 43 | int hash = 0; |
| 44 | for (int i = 0; i < string.length(); i++) { |
| 45 | int c = static_cast<int>(string[i]); |
| 46 | hash += c; |
| 47 | hash += (hash << 10); |
| 48 | hash ^= (hash >> 6); |
| 49 | } |
| 50 | return hash; |
| 51 | } |
| 52 | |
| 53 | |
| 54 | static bool vector_compare(void* a, void* b) { |
| 55 | CompleteParserRecorder::Key* string1 = |
| 56 | reinterpret_cast<CompleteParserRecorder::Key*>(a); |
| 57 | CompleteParserRecorder::Key* string2 = |
| 58 | reinterpret_cast<CompleteParserRecorder::Key*>(b); |
| 59 | if (string1->is_one_byte != string2->is_one_byte) return false; |
| 60 | int length = string1->literal_bytes.length(); |
| 61 | if (string2->literal_bytes.length() != length) return false; |
| 62 | return memcmp(string1->literal_bytes.start(), |
| 63 | string2->literal_bytes.start(), length) == 0; |
| 64 | } |
| 65 | |
| 66 | |
| 67 | CompleteParserRecorder::CompleteParserRecorder() |
ager@chromium.org | beb2571 | 2010-11-29 08:02:25 +0000 | [diff] [blame] | 68 | : function_store_(0), |
machenbach@chromium.org | 381adef | 2014-03-14 03:04:56 +0000 | [diff] [blame^] | 69 | literal_chars_(0), |
| 70 | symbol_store_(0), |
| 71 | symbol_keys_(0), |
| 72 | string_table_(vector_compare), |
| 73 | symbol_id_(0) { |
ager@chromium.org | beb2571 | 2010-11-29 08:02:25 +0000 | [diff] [blame] | 74 | preamble_[PreparseDataConstants::kMagicOffset] = |
| 75 | PreparseDataConstants::kMagicNumber; |
| 76 | preamble_[PreparseDataConstants::kVersionOffset] = |
| 77 | PreparseDataConstants::kCurrentVersion; |
| 78 | preamble_[PreparseDataConstants::kHasErrorOffset] = false; |
| 79 | preamble_[PreparseDataConstants::kFunctionsSizeOffset] = 0; |
| 80 | preamble_[PreparseDataConstants::kSymbolCountOffset] = 0; |
| 81 | preamble_[PreparseDataConstants::kSizeOffset] = 0; |
| 82 | ASSERT_EQ(6, PreparseDataConstants::kHeaderSize); |
| 83 | #ifdef DEBUG |
| 84 | prev_start_ = -1; |
| 85 | #endif |
machenbach@chromium.org | 381adef | 2014-03-14 03:04:56 +0000 | [diff] [blame^] | 86 | should_log_symbols_ = true; |
ager@chromium.org | beb2571 | 2010-11-29 08:02:25 +0000 | [diff] [blame] | 87 | } |
| 88 | |
| 89 | |
machenbach@chromium.org | 381adef | 2014-03-14 03:04:56 +0000 | [diff] [blame^] | 90 | void CompleteParserRecorder::LogMessage(int start_pos, |
ager@chromium.org | beb2571 | 2010-11-29 08:02:25 +0000 | [diff] [blame] | 91 | int end_pos, |
| 92 | const char* message, |
| 93 | const char* arg_opt) { |
| 94 | if (has_error()) return; |
| 95 | preamble_[PreparseDataConstants::kHasErrorOffset] = true; |
| 96 | function_store_.Reset(); |
| 97 | STATIC_ASSERT(PreparseDataConstants::kMessageStartPos == 0); |
| 98 | function_store_.Add(start_pos); |
| 99 | STATIC_ASSERT(PreparseDataConstants::kMessageEndPos == 1); |
| 100 | function_store_.Add(end_pos); |
| 101 | STATIC_ASSERT(PreparseDataConstants::kMessageArgCountPos == 2); |
| 102 | function_store_.Add((arg_opt == NULL) ? 0 : 1); |
| 103 | STATIC_ASSERT(PreparseDataConstants::kMessageTextPos == 3); |
| 104 | WriteString(CStrVector(message)); |
ager@chromium.org | ea91cc5 | 2011-05-23 06:06:11 +0000 | [diff] [blame] | 105 | if (arg_opt != NULL) WriteString(CStrVector(arg_opt)); |
machenbach@chromium.org | 381adef | 2014-03-14 03:04:56 +0000 | [diff] [blame^] | 106 | should_log_symbols_ = false; |
ager@chromium.org | beb2571 | 2010-11-29 08:02:25 +0000 | [diff] [blame] | 107 | } |
| 108 | |
| 109 | |
machenbach@chromium.org | 381adef | 2014-03-14 03:04:56 +0000 | [diff] [blame^] | 110 | void CompleteParserRecorder::WriteString(Vector<const char> str) { |
ager@chromium.org | beb2571 | 2010-11-29 08:02:25 +0000 | [diff] [blame] | 111 | function_store_.Add(str.length()); |
| 112 | for (int i = 0; i < str.length(); i++) { |
| 113 | function_store_.Add(str[i]); |
| 114 | } |
| 115 | } |
| 116 | |
mstarzinger@chromium.org | e0e1b0d | 2013-07-08 08:38:06 +0000 | [diff] [blame] | 117 | |
machenbach@chromium.org | 381adef | 2014-03-14 03:04:56 +0000 | [diff] [blame^] | 118 | void CompleteParserRecorder::LogOneByteSymbol(int start, |
| 119 | Vector<const uint8_t> literal) { |
| 120 | ASSERT(should_log_symbols_); |
| 121 | int hash = vector_hash(literal); |
| 122 | LogSymbol(start, hash, true, literal); |
ager@chromium.org | beb2571 | 2010-11-29 08:02:25 +0000 | [diff] [blame] | 123 | } |
| 124 | |
| 125 | |
machenbach@chromium.org | 381adef | 2014-03-14 03:04:56 +0000 | [diff] [blame^] | 126 | void CompleteParserRecorder::LogTwoByteSymbol(int start, |
| 127 | Vector<const uint16_t> literal) { |
| 128 | ASSERT(should_log_symbols_); |
| 129 | int hash = vector_hash(literal); |
| 130 | LogSymbol(start, hash, false, Vector<const byte>::cast(literal)); |
ager@chromium.org | beb2571 | 2010-11-29 08:02:25 +0000 | [diff] [blame] | 131 | } |
| 132 | |
| 133 | |
fschneider@chromium.org | 9e3e0b6 | 2011-01-03 10:16:46 +0000 | [diff] [blame] | 134 | void CompleteParserRecorder::LogSymbol(int start, |
| 135 | int hash, |
machenbach@chromium.org | 381adef | 2014-03-14 03:04:56 +0000 | [diff] [blame^] | 136 | bool is_one_byte, |
fschneider@chromium.org | 9e3e0b6 | 2011-01-03 10:16:46 +0000 | [diff] [blame] | 137 | Vector<const byte> literal_bytes) { |
machenbach@chromium.org | 381adef | 2014-03-14 03:04:56 +0000 | [diff] [blame^] | 138 | Key key = { is_one_byte, literal_bytes }; |
yangguo@chromium.org | 4a9f655 | 2013-03-04 14:46:33 +0000 | [diff] [blame] | 139 | HashMap::Entry* entry = string_table_.Lookup(&key, hash, true); |
ager@chromium.org | beb2571 | 2010-11-29 08:02:25 +0000 | [diff] [blame] | 140 | int id = static_cast<int>(reinterpret_cast<intptr_t>(entry->value)); |
| 141 | if (id == 0) { |
fschneider@chromium.org | 9e3e0b6 | 2011-01-03 10:16:46 +0000 | [diff] [blame] | 142 | // Copy literal contents for later comparison. |
| 143 | key.literal_bytes = |
| 144 | Vector<const byte>::cast(literal_chars_.AddBlock(literal_bytes)); |
ager@chromium.org | beb2571 | 2010-11-29 08:02:25 +0000 | [diff] [blame] | 145 | // Put (symbol_id_ + 1) into entry and increment it. |
| 146 | id = ++symbol_id_; |
| 147 | entry->value = reinterpret_cast<void*>(id); |
fschneider@chromium.org | 9e3e0b6 | 2011-01-03 10:16:46 +0000 | [diff] [blame] | 148 | Vector<Key> symbol = symbol_keys_.AddBlock(1, key); |
ager@chromium.org | beb2571 | 2010-11-29 08:02:25 +0000 | [diff] [blame] | 149 | entry->key = &symbol[0]; |
| 150 | } |
| 151 | WriteNumber(id - 1); |
| 152 | } |
| 153 | |
| 154 | |
| 155 | Vector<unsigned> CompleteParserRecorder::ExtractData() { |
| 156 | int function_size = function_store_.size(); |
| 157 | // Add terminator to symbols, then pad to unsigned size. |
| 158 | int symbol_size = symbol_store_.size(); |
| 159 | int padding = sizeof(unsigned) - (symbol_size % sizeof(unsigned)); |
| 160 | symbol_store_.AddBlock(padding, PreparseDataConstants::kNumberTerminator); |
| 161 | symbol_size += padding; |
| 162 | int total_size = PreparseDataConstants::kHeaderSize + function_size |
| 163 | + (symbol_size / sizeof(unsigned)); |
| 164 | Vector<unsigned> data = Vector<unsigned>::New(total_size); |
| 165 | preamble_[PreparseDataConstants::kFunctionsSizeOffset] = function_size; |
| 166 | preamble_[PreparseDataConstants::kSymbolCountOffset] = symbol_id_; |
mstarzinger@chromium.org | e27d617 | 2013-04-17 11:51:44 +0000 | [diff] [blame] | 167 | OS::MemCopy(data.start(), preamble_, sizeof(preamble_)); |
ager@chromium.org | beb2571 | 2010-11-29 08:02:25 +0000 | [diff] [blame] | 168 | int symbol_start = PreparseDataConstants::kHeaderSize + function_size; |
| 169 | if (function_size > 0) { |
| 170 | function_store_.WriteTo(data.SubVector(PreparseDataConstants::kHeaderSize, |
| 171 | symbol_start)); |
| 172 | } |
| 173 | if (!has_error()) { |
| 174 | symbol_store_.WriteTo( |
| 175 | Vector<byte>::cast(data.SubVector(symbol_start, total_size))); |
| 176 | } |
| 177 | return data; |
| 178 | } |
| 179 | |
| 180 | |
| 181 | void CompleteParserRecorder::WriteNumber(int number) { |
titzer@chromium.org | f5a2454 | 2014-03-04 09:06:17 +0000 | [diff] [blame] | 182 | // Split the number into chunks of 7 bits. Write them one after another (the |
| 183 | // most significant first). Use the MSB of each byte for signalling that the |
| 184 | // number continues. See ScriptDataImpl::ReadNumber for the reading side. |
ager@chromium.org | beb2571 | 2010-11-29 08:02:25 +0000 | [diff] [blame] | 185 | ASSERT(number >= 0); |
| 186 | |
| 187 | int mask = (1 << 28) - 1; |
titzer@chromium.org | f5a2454 | 2014-03-04 09:06:17 +0000 | [diff] [blame] | 188 | int i = 28; |
| 189 | // 26 million symbols ought to be enough for anybody. |
| 190 | ASSERT(number <= mask); |
| 191 | while (number < mask) { |
ager@chromium.org | beb2571 | 2010-11-29 08:02:25 +0000 | [diff] [blame] | 192 | mask >>= 7; |
titzer@chromium.org | f5a2454 | 2014-03-04 09:06:17 +0000 | [diff] [blame] | 193 | i -= 7; |
ager@chromium.org | beb2571 | 2010-11-29 08:02:25 +0000 | [diff] [blame] | 194 | } |
titzer@chromium.org | f5a2454 | 2014-03-04 09:06:17 +0000 | [diff] [blame] | 195 | while (i > 0) { |
| 196 | symbol_store_.Add(static_cast<byte>(number >> i) | 0x80u); |
| 197 | number &= mask; |
| 198 | mask >>= 7; |
| 199 | i -= 7; |
| 200 | } |
| 201 | ASSERT(number < (1 << 7)); |
ager@chromium.org | beb2571 | 2010-11-29 08:02:25 +0000 | [diff] [blame] | 202 | symbol_store_.Add(static_cast<byte>(number)); |
| 203 | } |
| 204 | |
| 205 | |
| 206 | } } // namespace v8::internal. |