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 #ifndef WASM_RUN_UTILS_H | 5 #ifndef WASM_RUN_UTILS_H |
6 #define WASM_RUN_UTILS_H | 6 #define WASM_RUN_UTILS_H |
7 | 7 |
8 #include <stdint.h> | 8 #include <stdint.h> |
9 #include <stdlib.h> | 9 #include <stdlib.h> |
10 #include <string.h> | 10 #include <string.h> |
(...skipping 34 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
45 // exception. | 45 // exception. |
46 #define CHECK_TRAP32(x) \ | 46 #define CHECK_TRAP32(x) \ |
47 CHECK_EQ(0xdeadbeef, (bit_cast<uint32_t>(x)) & 0xFFFFFFFF) | 47 CHECK_EQ(0xdeadbeef, (bit_cast<uint32_t>(x)) & 0xFFFFFFFF) |
48 #define CHECK_TRAP64(x) \ | 48 #define CHECK_TRAP64(x) \ |
49 CHECK_EQ(0xdeadbeefdeadbeef, (bit_cast<uint64_t>(x)) & 0xFFFFFFFFFFFFFFFF) | 49 CHECK_EQ(0xdeadbeefdeadbeef, (bit_cast<uint64_t>(x)) & 0xFFFFFFFFFFFFFFFF) |
50 #define CHECK_TRAP(x) CHECK_TRAP32(x) | 50 #define CHECK_TRAP(x) CHECK_TRAP32(x) |
51 | 51 |
52 #define WASM_RUNNER_MAX_NUM_PARAMETERS 4 | 52 #define WASM_RUNNER_MAX_NUM_PARAMETERS 4 |
53 #define WASM_WRAPPER_RETURN_VALUE 8754 | 53 #define WASM_WRAPPER_RETURN_VALUE 8754 |
54 | 54 |
55 #define BUILD(r, ...) \ | 55 #define BUILD(r, ...) \ |
56 do { \ | 56 do { \ |
57 byte code[] = {__VA_ARGS__}; \ | 57 byte code[] = {__VA_ARGS__}; \ |
58 r.Build(code, code + arraysize(code)); \ | 58 r.Build(code, code + arraysize(code), false); \ |
| 59 } while (false) |
| 60 |
| 61 #define BUILD_FAIL(r, ...) \ |
| 62 do { \ |
| 63 byte code[] = {__VA_ARGS__}; \ |
| 64 r.Build(code, code + arraysize(code), true); \ |
59 } while (false) | 65 } while (false) |
60 | 66 |
61 namespace { | 67 namespace { |
62 using namespace v8::base; | 68 using namespace v8::base; |
63 using namespace v8::internal; | 69 using namespace v8::internal; |
64 using namespace v8::internal::compiler; | 70 using namespace v8::internal::compiler; |
65 using namespace v8::internal::wasm; | 71 using namespace v8::internal::wasm; |
66 | 72 |
67 const uint32_t kMaxGlobalsSize = 128; | 73 const uint32_t kMaxGlobalsSize = 128; |
68 | 74 |
(...skipping 152 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
221 isolate_, ret_code, name, | 227 isolate_, ret_code, name, |
222 static_cast<int>(this->module->functions[index].sig->parameter_count()), | 228 static_cast<int>(this->module->functions[index].sig->parameter_count()), |
223 exportedSig, module_object); | 229 exportedSig, module_object); |
224 return ret; | 230 return ret; |
225 } | 231 } |
226 | 232 |
227 void SetFunctionCode(uint32_t index, Handle<Code> code) { | 233 void SetFunctionCode(uint32_t index, Handle<Code> code) { |
228 instance->function_code[index] = code; | 234 instance->function_code[index] = code; |
229 } | 235 } |
230 | 236 |
231 void AddIndirectFunctionTable(uint16_t* functions, uint32_t table_size) { | 237 void AddIndirectFunctionTable(FunctionSig* sig, uint32_t table, |
232 module_.function_tables.push_back( | 238 uint16_t* functions, uint32_t table_size) { |
233 {table_size, table_size, std::vector<uint16_t>()}); | 239 module_.function_tables.push_back({!module_.function_tables.size(), sig, |
| 240 table, table_size, table_size, |
| 241 std::vector<uint16_t>()}); |
234 for (uint32_t i = 0; i < table_size; ++i) { | 242 for (uint32_t i = 0; i < table_size; ++i) { |
235 module_.function_tables.back().values.push_back(functions[i]); | 243 module_.function_tables.back().values.push_back(functions[i]); |
236 } | 244 } |
237 | 245 |
238 Handle<FixedArray> values = BuildFunctionTable( | 246 Handle<FixedArray> values = BuildFunctionTable( |
239 isolate_, static_cast<int>(module_.function_tables.size() - 1), | 247 isolate_, static_cast<int>(module_.function_tables.size() - 1), |
240 &module_); | 248 &module_); |
241 instance->function_tables.push_back(values); | 249 instance->function_tables.push_back(values); |
242 } | 250 } |
243 | 251 |
(...skipping 27 matching lines...) Expand all Loading... |
271 global_offset += size; | 279 global_offset += size; |
272 // limit number of globals. | 280 // limit number of globals. |
273 CHECK_LT(global_offset, kMaxGlobalsSize); | 281 CHECK_LT(global_offset, kMaxGlobalsSize); |
274 return &module->globals.back(); | 282 return &module->globals.back(); |
275 } | 283 } |
276 }; | 284 }; |
277 | 285 |
278 inline void TestBuildingGraph(Zone* zone, JSGraph* jsgraph, ModuleEnv* module, | 286 inline void TestBuildingGraph(Zone* zone, JSGraph* jsgraph, ModuleEnv* module, |
279 FunctionSig* sig, | 287 FunctionSig* sig, |
280 SourcePositionTable* source_position_table, | 288 SourcePositionTable* source_position_table, |
281 const byte* start, const byte* end) { | 289 const byte* start, const byte* end, bool fail) { |
282 compiler::WasmGraphBuilder builder(zone, jsgraph, sig, source_position_table); | 290 compiler::WasmGraphBuilder builder(zone, jsgraph, sig, source_position_table); |
283 DecodeResult result = | 291 DecodeResult result = |
284 BuildTFGraph(zone->allocator(), &builder, module, sig, start, end); | 292 BuildTFGraph(zone->allocator(), &builder, module, sig, start, end); |
285 if (result.failed()) { | 293 if ((result.failed() && !fail) || (!result.failed() && fail)) { |
286 ptrdiff_t pc = result.error_pc - result.start; | 294 ptrdiff_t pc = result.error_pc - result.start; |
287 ptrdiff_t pt = result.error_pt - result.start; | 295 ptrdiff_t pt = result.error_pt - result.start; |
288 std::ostringstream str; | 296 std::ostringstream str; |
289 str << "Verification failed: " << result.error_code << " pc = +" << pc; | 297 str << "Verification failed: " << result.error_code << " pc = +" << pc; |
290 if (result.error_pt) str << ", pt = +" << pt; | 298 if (result.error_pt) str << ", pt = +" << pt; |
291 str << ", msg = " << result.error_msg.get(); | 299 str << ", msg = " << result.error_msg.get(); |
292 FATAL(str.str().c_str()); | 300 FATAL(str.str().c_str()); |
293 } | 301 } |
| 302 if (result.failed()) return; |
294 builder.Int64LoweringForTesting(); | 303 builder.Int64LoweringForTesting(); |
295 if (FLAG_trace_turbo_graph) { | 304 if (FLAG_trace_turbo_graph) { |
296 OFStream os(stdout); | 305 OFStream os(stdout); |
297 os << AsRPO(*jsgraph->graph()); | 306 os << AsRPO(*jsgraph->graph()); |
298 } | 307 } |
299 } | 308 } |
300 | 309 |
301 template <typename ReturnType> | 310 template <typename ReturnType> |
302 class WasmFunctionWrapper : public HandleAndZoneScope, | 311 class WasmFunctionWrapper : public HandleAndZoneScope, |
303 private GraphAndBuilders { | 312 private GraphAndBuilders { |
(...skipping 210 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
514 CommonOperatorBuilder* common() { return &main_common_; } | 523 CommonOperatorBuilder* common() { return &main_common_; } |
515 MachineOperatorBuilder* machine() { return &main_machine_; } | 524 MachineOperatorBuilder* machine() { return &main_machine_; } |
516 void InitializeDescriptor() { | 525 void InitializeDescriptor() { |
517 if (descriptor_ == nullptr) { | 526 if (descriptor_ == nullptr) { |
518 descriptor_ = testing_module_->GetWasmCallDescriptor(main_zone(), sig); | 527 descriptor_ = testing_module_->GetWasmCallDescriptor(main_zone(), sig); |
519 } | 528 } |
520 } | 529 } |
521 CallDescriptor* descriptor() { return descriptor_; } | 530 CallDescriptor* descriptor() { return descriptor_; } |
522 uint32_t function_index() { return function_->func_index; } | 531 uint32_t function_index() { return function_->func_index; } |
523 | 532 |
524 void Build(const byte* start, const byte* end) { | 533 void Build(const byte* start, const byte* end, bool fail) { |
525 // Build the TurboFan graph. | 534 // Build the TurboFan graph. |
526 local_decls.Prepend(main_zone(), &start, &end); | 535 local_decls.Prepend(main_zone(), &start, &end); |
527 TestBuildingGraph(main_zone(), &jsgraph, testing_module_, sig, | 536 TestBuildingGraph(main_zone(), &jsgraph, testing_module_, sig, |
528 &source_position_table_, start, end); | 537 &source_position_table_, start, end, fail); |
529 if (interpreter_) { | 538 if (!fail && interpreter_) { |
530 // Add the code to the interpreter. | 539 // Add the code to the interpreter. |
531 CHECK(interpreter_->SetFunctionCodeForTesting(function_, start, end)); | 540 CHECK(interpreter_->SetFunctionCodeForTesting(function_, start, end)); |
532 } | 541 } |
533 } | 542 } |
534 | 543 |
535 byte AllocateLocal(LocalType type) { | 544 byte AllocateLocal(LocalType type) { |
536 uint32_t index = local_decls.AddLocals(1, type); | 545 uint32_t index = local_decls.AddLocals(1, type); |
537 byte result = static_cast<byte>(index); | 546 byte result = static_cast<byte>(index); |
538 DCHECK_EQ(index, result); | 547 DCHECK_EQ(index, result); |
539 return result; | 548 return result; |
(...skipping 101 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
641 if (p3 != MachineType::None()) | 650 if (p3 != MachineType::None()) |
642 storage_[index++] = WasmOpcodes::LocalTypeFor(p3); | 651 storage_[index++] = WasmOpcodes::LocalTypeFor(p3); |
643 | 652 |
644 compiler_.InitializeDescriptor(); | 653 compiler_.InitializeDescriptor(); |
645 wrapper_.Init(compiler_.descriptor(), p0, p1, p2, p3); | 654 wrapper_.Init(compiler_.descriptor(), p0, p1, p2, p3); |
646 } | 655 } |
647 | 656 |
648 // Builds a graph from the given Wasm code and generates the machine | 657 // Builds a graph from the given Wasm code and generates the machine |
649 // code and call wrapper for that graph. This method must not be called | 658 // code and call wrapper for that graph. This method must not be called |
650 // more than once. | 659 // more than once. |
651 void Build(const byte* start, const byte* end) { | 660 void Build(const byte* start, const byte* end, bool fail) { |
652 CHECK(!compiled_); | 661 CHECK(!compiled_); |
653 compiled_ = true; | 662 compiled_ = true; |
654 compiler_.Build(start, end); | 663 compiler_.Build(start, end, fail); |
655 | 664 |
656 if (!interpret()) { | 665 if (!interpret() && !fail) { |
657 // Compile machine code and install it into the module. | 666 // Compile machine code and install it into the module. |
658 Handle<Code> code = compiler_.Compile(); | 667 Handle<Code> code = compiler_.Compile(); |
659 | 668 |
660 if (compiler_.testing_module_) { | 669 if (compiler_.testing_module_) { |
661 // Update the table of function code in the module. | 670 // Update the table of function code in the module. |
662 compiler_.testing_module_->SetFunctionCode( | 671 compiler_.testing_module_->SetFunctionCode( |
663 compiler_.function_->func_index, code); | 672 compiler_.function_->func_index, code); |
664 } | 673 } |
665 | 674 |
666 wrapper_.SetInnerCode(code); | 675 wrapper_.SetInnerCode(code); |
(...skipping 107 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
774 // interpreter. | 783 // interpreter. |
775 #define WASM_EXEC_TEST(name) \ | 784 #define WASM_EXEC_TEST(name) \ |
776 void RunWasm_##name(WasmExecutionMode execution_mode); \ | 785 void RunWasm_##name(WasmExecutionMode execution_mode); \ |
777 TEST(RunWasmCompiled_##name) { RunWasm_##name(kExecuteCompiled); } \ | 786 TEST(RunWasmCompiled_##name) { RunWasm_##name(kExecuteCompiled); } \ |
778 TEST(RunWasmInterpreted_##name) { RunWasm_##name(kExecuteInterpreted); } \ | 787 TEST(RunWasmInterpreted_##name) { RunWasm_##name(kExecuteInterpreted); } \ |
779 void RunWasm_##name(WasmExecutionMode execution_mode) | 788 void RunWasm_##name(WasmExecutionMode execution_mode) |
780 | 789 |
781 } // namespace | 790 } // namespace |
782 | 791 |
783 #endif | 792 #endif |
OLD | NEW |