OLD | NEW |
1 // Copyright 2015 the V8 project authors. All rights reserved. | 1 // Copyright 2015 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/module-decoder.h" | 5 #include "src/wasm/module-decoder.h" |
6 | 6 |
7 #include "src/base/functional.h" | 7 #include "src/base/functional.h" |
8 #include "src/base/platform/platform.h" | 8 #include "src/base/platform/platform.h" |
9 #include "src/macro-assembler.h" | 9 #include "src/macro-assembler.h" |
10 #include "src/objects.h" | 10 #include "src/objects.h" |
(...skipping 100 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
111 int string_leb_length = 0; | 111 int string_leb_length = 0; |
112 uint32_t string_length = | 112 uint32_t string_length = |
113 consume_u32v(&string_leb_length, "section name length"); | 113 consume_u32v(&string_leb_length, "section name length"); |
114 const byte* section_name_start = pc_; | 114 const byte* section_name_start = pc_; |
115 consume_bytes(string_length); | 115 consume_bytes(string_length); |
116 if (failed()) { | 116 if (failed()) { |
117 TRACE("Section name of length %u couldn't be read\n", string_length); | 117 TRACE("Section name of length %u couldn't be read\n", string_length); |
118 break; | 118 break; |
119 } | 119 } |
120 | 120 |
| 121 TRACE(" +%d section name : \"%.*s\"\n", |
| 122 static_cast<int>(section_name_start - start_), |
| 123 string_length < 20 ? string_length : 20, section_name_start); |
| 124 |
121 WasmSection::Code section = | 125 WasmSection::Code section = |
122 WasmSection::lookup(section_name_start, string_length); | 126 WasmSection::lookup(section_name_start, string_length); |
123 | 127 |
124 // Read and check the section size. | 128 // Read and check the section size. |
125 int section_leb_length = 0; | 129 int section_leb_length = 0; |
126 uint32_t section_length = | 130 uint32_t section_length = |
127 consume_u32v(§ion_leb_length, "section length"); | 131 consume_u32v(§ion_leb_length, "section length"); |
128 if (!checkAvailable(section_length)) { | 132 if (!checkAvailable(section_length)) { |
129 // The section would extend beyond the end of the module. | 133 // The section would extend beyond the end of the module. |
130 break; | 134 break; |
(...skipping 33 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
164 int length; | 168 int length; |
165 uint32_t functions_count = consume_u32v(&length, "functions count"); | 169 uint32_t functions_count = consume_u32v(&length, "functions count"); |
166 module->functions.reserve(SafeReserve(functions_count)); | 170 module->functions.reserve(SafeReserve(functions_count)); |
167 for (uint32_t i = 0; i < functions_count; i++) { | 171 for (uint32_t i = 0; i < functions_count; i++) { |
168 module->functions.push_back({nullptr, // sig | 172 module->functions.push_back({nullptr, // sig |
169 i, // func_index | 173 i, // func_index |
170 0, // sig_index | 174 0, // sig_index |
171 0, // name_offset | 175 0, // name_offset |
172 0, // name_length | 176 0, // name_length |
173 0, // code_start_offset | 177 0, // code_start_offset |
174 0, // code_end_offset | 178 0}); // code_end_offset |
175 false}); // exported | |
176 WasmFunction* function = &module->functions.back(); | 179 WasmFunction* function = &module->functions.back(); |
177 function->sig_index = consume_sig_index(module, &function->sig); | 180 function->sig_index = consume_sig_index(module, &function->sig); |
178 } | 181 } |
179 break; | 182 break; |
180 } | 183 } |
181 case WasmSection::Code::FunctionBodies: { | 184 case WasmSection::Code::FunctionBodies: { |
182 int length; | 185 int length; |
183 const byte* pos = pc_; | 186 const byte* pos = pc_; |
184 uint32_t functions_count = consume_u32v(&length, "functions count"); | 187 uint32_t functions_count = consume_u32v(&length, "functions count"); |
185 if (functions_count != module->functions.size()) { | 188 if (functions_count != module->functions.size()) { |
(...skipping 11 matching lines...) Expand all Loading... |
197 | 200 |
198 TRACE(" +%d %-20s: (%d bytes)\n", pc_offset(), "function body", | 201 TRACE(" +%d %-20s: (%d bytes)\n", pc_offset(), "function body", |
199 size); | 202 size); |
200 pc_ += size; | 203 pc_ += size; |
201 if (pc_ > limit_) { | 204 if (pc_ > limit_) { |
202 error(pc_, "function body extends beyond end of file"); | 205 error(pc_, "function body extends beyond end of file"); |
203 } | 206 } |
204 } | 207 } |
205 break; | 208 break; |
206 } | 209 } |
207 case WasmSection::Code::OldFunctions: { | |
208 int length; | |
209 uint32_t functions_count = consume_u32v(&length, "functions count"); | |
210 module->functions.reserve(SafeReserve(functions_count)); | |
211 // Set up module environment for verification. | |
212 ModuleEnv menv; | |
213 menv.module = module; | |
214 menv.instance = nullptr; | |
215 menv.origin = origin_; | |
216 // Decode functions. | |
217 for (uint32_t i = 0; i < functions_count; i++) { | |
218 if (failed()) break; | |
219 TRACE("DecodeFunction[%d] module+%d\n", i, | |
220 static_cast<int>(pc_ - start_)); | |
221 | |
222 module->functions.push_back({nullptr, // sig | |
223 i, // func_index | |
224 0, // sig_index | |
225 0, // name_offset | |
226 0, // name_length | |
227 0, // code_start_offset | |
228 0, // code_end_offset | |
229 false}); // exported | |
230 WasmFunction* function = &module->functions.back(); | |
231 DecodeFunctionInModule(module, function, false); | |
232 } | |
233 if (ok() && verify_functions) { | |
234 for (uint32_t i = 0; i < functions_count; i++) { | |
235 if (failed()) break; | |
236 WasmFunction* function = &module->functions[i]; | |
237 VerifyFunctionBody(i, &menv, function); | |
238 if (result_.failed()) { | |
239 error(result_.error_pc, result_.error_msg.get()); | |
240 } | |
241 } | |
242 } | |
243 break; | |
244 } | |
245 case WasmSection::Code::Names: { | 210 case WasmSection::Code::Names: { |
246 int length; | 211 int length; |
247 const byte* pos = pc_; | 212 const byte* pos = pc_; |
248 uint32_t functions_count = consume_u32v(&length, "functions count"); | 213 uint32_t functions_count = consume_u32v(&length, "functions count"); |
249 if (functions_count != module->functions.size()) { | 214 if (functions_count != module->functions.size()) { |
250 error(pos, pos, "function name count %u mismatch (%u expected)", | 215 error(pos, pos, "function name count %u mismatch (%u expected)", |
251 functions_count, | 216 functions_count, |
252 static_cast<uint32_t>(module->functions.size())); | 217 static_cast<uint32_t>(module->functions.size())); |
253 break; | 218 break; |
254 } | 219 } |
(...skipping 202 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
457 | 422 |
458 // Decodes a single anonymous function starting at {start_}. | 423 // Decodes a single anonymous function starting at {start_}. |
459 FunctionResult DecodeSingleFunction(ModuleEnv* module_env, | 424 FunctionResult DecodeSingleFunction(ModuleEnv* module_env, |
460 WasmFunction* function) { | 425 WasmFunction* function) { |
461 pc_ = start_; | 426 pc_ = start_; |
462 function->sig = consume_sig(); // read signature | 427 function->sig = consume_sig(); // read signature |
463 function->name_offset = 0; // ---- name | 428 function->name_offset = 0; // ---- name |
464 function->name_length = 0; // ---- name length | 429 function->name_length = 0; // ---- name length |
465 function->code_start_offset = off(pc_); // ---- code start | 430 function->code_start_offset = off(pc_); // ---- code start |
466 function->code_end_offset = off(limit_); // ---- code end | 431 function->code_end_offset = off(limit_); // ---- code end |
467 function->exported = false; // ---- exported | |
468 | 432 |
469 if (ok()) VerifyFunctionBody(0, module_env, function); | 433 if (ok()) VerifyFunctionBody(0, module_env, function); |
470 | 434 |
471 FunctionResult result; | 435 FunctionResult result; |
472 result.CopyFrom(result_); // Copy error code and location. | 436 result.CopyFrom(result_); // Copy error code and location. |
473 result.val = function; | 437 result.val = function; |
474 return result; | 438 return result; |
475 } | 439 } |
476 | 440 |
477 // Decodes a single function signature at {start}. | 441 // Decodes a single function signature at {start}. |
(...skipping 13 matching lines...) Expand all Loading... |
491 // Decodes a single global entry inside a module starting at {pc_}. | 455 // Decodes a single global entry inside a module starting at {pc_}. |
492 void DecodeGlobalInModule(WasmGlobal* global) { | 456 void DecodeGlobalInModule(WasmGlobal* global) { |
493 global->name_offset = consume_string(&global->name_length, false); | 457 global->name_offset = consume_string(&global->name_length, false); |
494 DCHECK(unibrow::Utf8::Validate(start_ + global->name_offset, | 458 DCHECK(unibrow::Utf8::Validate(start_ + global->name_offset, |
495 global->name_length)); | 459 global->name_length)); |
496 global->type = mem_type(); | 460 global->type = mem_type(); |
497 global->offset = 0; | 461 global->offset = 0; |
498 global->exported = consume_u8("exported") != 0; | 462 global->exported = consume_u8("exported") != 0; |
499 } | 463 } |
500 | 464 |
501 // Decodes a single function entry inside a module starting at {pc_}. | |
502 // TODO(titzer): legacy function body; remove | |
503 void DecodeFunctionInModule(WasmModule* module, WasmFunction* function, | |
504 bool verify_body = true) { | |
505 byte decl_bits = consume_u8("function decl"); | |
506 | |
507 const byte* sigpos = pc_; | |
508 function->sig_index = consume_u16("signature index"); | |
509 | |
510 if (function->sig_index >= module->signatures.size()) { | |
511 return error(sigpos, "invalid signature index"); | |
512 } else { | |
513 function->sig = module->signatures[function->sig_index]; | |
514 } | |
515 | |
516 TRACE(" +%d <function attributes:%s%s>\n", static_cast<int>(pc_ - start_), | |
517 decl_bits & kDeclFunctionName ? " name" : "", | |
518 decl_bits & kDeclFunctionExport ? " exported" : ""); | |
519 | |
520 function->exported = decl_bits & kDeclFunctionExport; | |
521 | |
522 if (decl_bits & kDeclFunctionName) { | |
523 function->name_offset = | |
524 consume_string(&function->name_length, function->exported); | |
525 } | |
526 | |
527 uint16_t size = consume_u16("body size"); | |
528 if (ok()) { | |
529 if ((pc_ + size) > limit_) { | |
530 return error(pc_, limit_, | |
531 "expected %d bytes for function body, fell off end", size); | |
532 } | |
533 function->code_start_offset = static_cast<uint32_t>(pc_ - start_); | |
534 function->code_end_offset = function->code_start_offset + size; | |
535 TRACE(" +%d %-20s: (%d bytes)\n", static_cast<int>(pc_ - start_), | |
536 "function body", size); | |
537 pc_ += size; | |
538 } | |
539 } | |
540 | |
541 bool IsWithinLimit(uint32_t limit, uint32_t offset, uint32_t size) { | 465 bool IsWithinLimit(uint32_t limit, uint32_t offset, uint32_t size) { |
542 if (offset > limit) return false; | 466 if (offset > limit) return false; |
543 if ((offset + size) < offset) return false; // overflow | 467 if ((offset + size) < offset) return false; // overflow |
544 return (offset + size) <= limit; | 468 return (offset + size) <= limit; |
545 } | 469 } |
546 | 470 |
547 // Decodes a single data segment entry inside a module starting at {pc_}. | 471 // Decodes a single data segment entry inside a module starting at {pc_}. |
548 void DecodeDataSegmentInModule(WasmModule* module, WasmDataSegment* segment) { | 472 void DecodeDataSegmentInModule(WasmModule* module, WasmDataSegment* segment) { |
549 const byte* start = pc_; | 473 const byte* start = pc_; |
550 int length; | 474 int length; |
(...skipping 281 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
832 return FunctionError("size > maximum function size"); | 756 return FunctionError("size > maximum function size"); |
833 isolate->counters()->wasm_function_size_bytes()->AddSample( | 757 isolate->counters()->wasm_function_size_bytes()->AddSample( |
834 static_cast<int>(size)); | 758 static_cast<int>(size)); |
835 WasmFunction* function = new WasmFunction(); | 759 WasmFunction* function = new WasmFunction(); |
836 ModuleDecoder decoder(zone, function_start, function_end, kWasmOrigin); | 760 ModuleDecoder decoder(zone, function_start, function_end, kWasmOrigin); |
837 return decoder.DecodeSingleFunction(module_env, function); | 761 return decoder.DecodeSingleFunction(module_env, function); |
838 } | 762 } |
839 } // namespace wasm | 763 } // namespace wasm |
840 } // namespace internal | 764 } // namespace internal |
841 } // namespace v8 | 765 } // namespace v8 |
OLD | NEW |