OLD | NEW |
1 // Copyright 2016 the V8 project authors. All rights reserved. | 1 // Copyright 2016 the V8 project authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 #include "src/wasm/wasm-function-name-table.h" | 5 #include "src/wasm/wasm-function-name-table.h" |
6 | 6 |
7 #include "src/wasm/wasm-module.h" | 7 #include "src/wasm/wasm-module.h" |
8 | 8 |
9 namespace v8 { | 9 namespace v8 { |
10 namespace internal { | 10 namespace internal { |
11 namespace wasm { | 11 namespace wasm { |
12 | 12 |
13 // Build an array with all function names. If there are N functions in the | 13 // Build an array with all function names. If there are N functions in the |
14 // module, then the first (kIntSize * (N+1)) bytes are integer entries. | 14 // module, then the first (kIntSize * (N+1)) bytes are integer entries. |
15 // The first integer entry encodes the number of functions in the module. | 15 // The first integer entry encodes the number of functions in the module. |
16 // The entries 1 to N contain offsets into the second part of this array. | 16 // The entries 1 to N contain offsets into the second part of this array. |
17 // If a function is unnamed (not to be confused with an empty name), then the | 17 // If a function is unnamed (not to be confused with an empty name), then the |
18 // integer entry is the negative offset of the next function name. | 18 // integer entry is the negative offset of the next function name. |
19 // After these N+1 integer entries, the second part begins, which holds a | 19 // After these N+1 integer entries, the second part begins, which holds a |
20 // concatenation of all function names. | 20 // concatenation of all function names. |
21 Handle<ByteArray> BuildFunctionNamesTable(Isolate* isolate, | 21 // |
22 const WasmModule* module) { | 22 // Returns undefined if the array length would not fit in an integer value. |
| 23 Handle<Object> BuildFunctionNamesTable(Isolate* isolate, |
| 24 const WasmModule* module) { |
23 uint64_t func_names_length = 0; | 25 uint64_t func_names_length = 0; |
24 for (auto& func : module->functions) func_names_length += func.name_length; | 26 for (auto& func : module->functions) func_names_length += func.name_length; |
25 int num_funcs_int = static_cast<int>(module->functions.size()); | 27 int num_funcs_int = static_cast<int>(module->functions.size()); |
26 int current_offset = (num_funcs_int + 1) * kIntSize; | 28 int current_offset = (num_funcs_int + 1) * kIntSize; |
27 uint64_t total_array_length = current_offset + func_names_length; | 29 uint64_t total_array_length = current_offset + func_names_length; |
28 int total_array_length_int = static_cast<int>(total_array_length); | 30 int total_array_length_int = static_cast<int>(total_array_length); |
29 // Check for overflow. | 31 // Check for overflow. Just skip function names if it happens. |
30 CHECK(total_array_length_int == total_array_length && num_funcs_int >= 0 && | 32 if (total_array_length_int != total_array_length || num_funcs_int < 0 || |
31 num_funcs_int == module->functions.size()); | 33 num_funcs_int != module->functions.size()) |
| 34 return isolate->factory()->undefined_value(); |
32 Handle<ByteArray> func_names_array = | 35 Handle<ByteArray> func_names_array = |
33 isolate->factory()->NewByteArray(total_array_length_int, TENURED); | 36 isolate->factory()->NewByteArray(total_array_length_int, TENURED); |
| 37 if (func_names_array.is_null()) return isolate->factory()->undefined_value(); |
34 func_names_array->set_int(0, num_funcs_int); | 38 func_names_array->set_int(0, num_funcs_int); |
35 int func_index = 0; | 39 int func_index = 0; |
36 for (const WasmFunction& fun : module->functions) { | 40 for (const WasmFunction& fun : module->functions) { |
37 WasmName name = module->GetNameOrNull(&fun); | 41 WasmName name = module->GetNameOrNull(&fun); |
38 if (name.start() == nullptr) { | 42 if (name.start() == nullptr) { |
39 func_names_array->set_int(func_index + 1, -current_offset); | 43 func_names_array->set_int(func_index + 1, -current_offset); |
40 } else { | 44 } else { |
41 func_names_array->copy_in(current_offset, | 45 func_names_array->copy_in(current_offset, |
42 reinterpret_cast<const byte*>(name.start()), | 46 reinterpret_cast<const byte*>(name.start()), |
43 name.length()); | 47 name.length()); |
(...skipping 18 matching lines...) Expand all Loading... |
62 : abs(func_names_array->get_int(func_index + 2)); | 66 : abs(func_names_array->get_int(func_index + 2)); |
63 ScopedVector<byte> buffer(next_offset - offset); | 67 ScopedVector<byte> buffer(next_offset - offset); |
64 func_names_array->copy_out(offset, buffer.start(), next_offset - offset); | 68 func_names_array->copy_out(offset, buffer.start(), next_offset - offset); |
65 if (!unibrow::Utf8::Validate(buffer.start(), buffer.length())) return {}; | 69 if (!unibrow::Utf8::Validate(buffer.start(), buffer.length())) return {}; |
66 return factory->NewStringFromUtf8(Vector<const char>::cast(buffer)); | 70 return factory->NewStringFromUtf8(Vector<const char>::cast(buffer)); |
67 } | 71 } |
68 | 72 |
69 } // namespace wasm | 73 } // namespace wasm |
70 } // namespace internal | 74 } // namespace internal |
71 } // namespace v8 | 75 } // namespace v8 |
OLD | NEW |