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

Side by Side Diff: test/common/wasm/wasm-module-runner.cc

Issue 2421453002: [wasm] Implement {Compile,Runtime}Error; fix traps from start function (Closed)
Patch Set: Fix merge artefact Created 4 years, 2 months 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 unified diff | Download patch
« no previous file with comments | « src/wasm/wasm-result.cc ('k') | test/mjsunit/wasm/errors.js » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
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 "test/common/wasm/wasm-module-runner.h" 5 #include "test/common/wasm/wasm-module-runner.h"
6 6
7 #include "src/handles.h" 7 #include "src/handles.h"
8 #include "src/isolate.h" 8 #include "src/isolate.h"
9 #include "src/objects.h" 9 #include "src/objects.h"
10 #include "src/property-descriptor.h" 10 #include "src/property-descriptor.h"
(...skipping 18 matching lines...) Expand all
29 const byte* module_end, 29 const byte* module_end,
30 ModuleOrigin origin) { 30 ModuleOrigin origin) {
31 // Decode the module, but don't verify function bodies, since we'll 31 // Decode the module, but don't verify function bodies, since we'll
32 // be compiling them anyway. 32 // be compiling them anyway.
33 ModuleResult decoding_result = 33 ModuleResult decoding_result =
34 DecodeWasmModule(isolate, zone, module_start, module_end, false, origin); 34 DecodeWasmModule(isolate, zone, module_start, module_end, false, origin);
35 35
36 std::unique_ptr<const WasmModule> module(decoding_result.val); 36 std::unique_ptr<const WasmModule> module(decoding_result.val);
37 if (decoding_result.failed()) { 37 if (decoding_result.failed()) {
38 // Module verification failed. throw. 38 // Module verification failed. throw.
39 thrower->Error("WASM.compileRun() failed: %s", 39 thrower->CompileError("WASM.compileRun() failed: %s",
40 decoding_result.error_msg.get()); 40 decoding_result.error_msg.get());
41 return nullptr; 41 return nullptr;
42 } 42 }
43 43
44 if (thrower->error()) return nullptr; 44 if (thrower->error()) return nullptr;
45 return module.release(); 45 return module.release();
46 } 46 }
47 47
48 const Handle<JSObject> InstantiateModuleForTesting(Isolate* isolate, 48 const Handle<JSObject> InstantiateModuleForTesting(Isolate* isolate,
49 ErrorThrower* thrower, 49 ErrorThrower* thrower,
50 const WasmModule* module) { 50 const WasmModule* module) {
51 CHECK(module != nullptr); 51 CHECK(module != nullptr);
52 52
53 if (module->import_table.size() > 0) { 53 if (module->import_table.size() > 0) {
54 thrower->Error("Not supported: module has imports."); 54 thrower->CompileError("Not supported: module has imports.");
55 } 55 }
56 if (module->export_table.size() == 0) { 56 if (module->export_table.size() == 0) {
57 thrower->Error("Not supported: module has no exports."); 57 thrower->CompileError("Not supported: module has no exports.");
58 } 58 }
59 if (thrower->error()) return Handle<JSObject>::null(); 59 if (thrower->error()) return Handle<JSObject>::null();
60 60
61 // Although we decoded the module for some pre-validation, run the bytes 61 // Although we decoded the module for some pre-validation, run the bytes
62 // again through the normal pipeline. 62 // again through the normal pipeline.
63 MaybeHandle<JSObject> module_object = CreateModuleObjectFromBytes( 63 MaybeHandle<JSObject> module_object = CreateModuleObjectFromBytes(
64 isolate, module->module_start, module->module_end, thrower, 64 isolate, module->module_start, module->module_end, thrower,
65 ModuleOrigin::kWasmOrigin, Handle<Script>::null(), nullptr, nullptr); 65 ModuleOrigin::kWasmOrigin, Handle<Script>::null(), nullptr, nullptr);
66 if (module_object.is_null()) { 66 if (module_object.is_null()) {
67 thrower->Error("Module pre-validation failed."); 67 thrower->CompileError("Module pre-validation failed.");
68 return Handle<JSObject>::null(); 68 return Handle<JSObject>::null();
69 } 69 }
70 MaybeHandle<JSObject> maybe_instance = WasmModule::Instantiate( 70 MaybeHandle<JSObject> maybe_instance = WasmModule::Instantiate(
71 isolate, thrower, module_object.ToHandleChecked(), 71 isolate, thrower, module_object.ToHandleChecked(),
72 Handle<JSReceiver>::null(), Handle<JSArrayBuffer>::null()); 72 Handle<JSReceiver>::null(), Handle<JSArrayBuffer>::null());
73 Handle<JSObject> instance; 73 Handle<JSObject> instance;
74 if (!maybe_instance.ToHandle(&instance)) { 74 if (!maybe_instance.ToHandle(&instance)) {
75 return Handle<JSObject>::null(); 75 return Handle<JSObject>::null();
76 } 76 }
77 return instance; 77 return instance;
78 } 78 }
79 79
80 const Handle<JSObject> CompileInstantiateWasmModuleForTesting( 80 const Handle<JSObject> CompileInstantiateWasmModuleForTesting(
81 Isolate* isolate, ErrorThrower* thrower, Zone* zone, 81 Isolate* isolate, ErrorThrower* thrower, Zone* zone,
82 const byte* module_start, const byte* module_end, ModuleOrigin origin) { 82 const byte* module_start, const byte* module_end, ModuleOrigin origin) {
83 std::unique_ptr<const WasmModule> module(DecodeWasmModuleForTesting( 83 std::unique_ptr<const WasmModule> module(DecodeWasmModuleForTesting(
84 isolate, zone, thrower, module_start, module_end, origin)); 84 isolate, zone, thrower, module_start, module_end, origin));
85 85
86 if (module == nullptr) { 86 if (module == nullptr) {
87 thrower->Error("Wasm module decode failed"); 87 thrower->CompileError("Wasm module decoding failed");
88 return Handle<JSObject>::null(); 88 return Handle<JSObject>::null();
89 } 89 }
90 return InstantiateModuleForTesting(isolate, thrower, module.get()); 90 return InstantiateModuleForTesting(isolate, thrower, module.get());
91 } 91 }
92 92
93 int32_t RunWasmModuleForTesting(Isolate* isolate, Handle<JSObject> instance, 93 int32_t RunWasmModuleForTesting(Isolate* isolate, Handle<JSObject> instance,
94 int argc, Handle<Object> argv[], 94 int argc, Handle<Object> argv[],
95 ModuleOrigin origin) { 95 ModuleOrigin origin) {
96 ErrorThrower thrower(isolate, "RunWasmModule"); 96 ErrorThrower thrower(isolate, "RunWasmModule");
97 const char* f_name = origin == ModuleOrigin::kAsmJsOrigin ? "caller" : "main"; 97 const char* f_name = origin == ModuleOrigin::kAsmJsOrigin ? "caller" : "main";
(...skipping 16 matching lines...) Expand all
114 114
115 int32_t InterpretWasmModule(Isolate* isolate, ErrorThrower* thrower, 115 int32_t InterpretWasmModule(Isolate* isolate, ErrorThrower* thrower,
116 const WasmModule* module, int function_index, 116 const WasmModule* module, int function_index,
117 WasmVal* args) { 117 WasmVal* args) {
118 CHECK(module != nullptr); 118 CHECK(module != nullptr);
119 119
120 Zone zone(isolate->allocator()); 120 Zone zone(isolate->allocator());
121 v8::internal::HandleScope scope(isolate); 121 v8::internal::HandleScope scope(isolate);
122 122
123 if (module->import_table.size() > 0) { 123 if (module->import_table.size() > 0) {
124 thrower->Error("Not supported: module has imports."); 124 thrower->CompileError("Not supported: module has imports.");
125 } 125 }
126 if (module->export_table.size() == 0) { 126 if (module->export_table.size() == 0) {
127 thrower->Error("Not supported: module has no exports."); 127 thrower->CompileError("Not supported: module has no exports.");
128 } 128 }
129 129
130 if (thrower->error()) return -1; 130 if (thrower->error()) return -1;
131 131
132 ModuleEnv module_env; 132 ModuleEnv module_env;
133 module_env.module = module; 133 module_env.module = module;
134 module_env.origin = module->origin; 134 module_env.origin = module->origin;
135 135
136 for (size_t i = 0; i < module->functions.size(); i++) { 136 for (size_t i = 0; i < module->functions.size(); i++) {
137 FunctionBody body = { 137 FunctionBody body = {
138 &module_env, module->functions[i].sig, module->module_start, 138 &module_env, module->functions[i].sig, module->module_start,
139 module->module_start + module->functions[i].code_start_offset, 139 module->module_start + module->functions[i].code_start_offset,
140 module->module_start + module->functions[i].code_end_offset}; 140 module->module_start + module->functions[i].code_end_offset};
141 DecodeResult result = VerifyWasmCode(isolate->allocator(), body); 141 DecodeResult result = VerifyWasmCode(isolate->allocator(), body);
142 if (result.failed()) { 142 if (result.failed()) {
143 thrower->Error("Function did not verify"); 143 thrower->CompileError("Function did not verify");
144 return -1; 144 return -1;
145 } 145 }
146 } 146 }
147 147
148 // The code verifies, we create an instance to run it in the interpreter. 148 // The code verifies, we create an instance to run it in the interpreter.
149 WasmInstance instance(module); 149 WasmInstance instance(module);
150 instance.context = isolate->native_context(); 150 instance.context = isolate->native_context();
151 instance.mem_size = GetMinModuleMemSize(module); 151 instance.mem_size = GetMinModuleMemSize(module);
152 // TODO(ahaas): Move memory allocation to wasm-module.cc for better 152 // TODO(ahaas): Move memory allocation to wasm-module.cc for better
153 // encapsulation. 153 // encapsulation.
(...skipping 10 matching lines...) Expand all
164 WasmInterpreter::State interpreter_result = thread->Run(); 164 WasmInterpreter::State interpreter_result = thread->Run();
165 if (instance.mem_start) { 165 if (instance.mem_start) {
166 free(instance.mem_start); 166 free(instance.mem_start);
167 } 167 }
168 if (interpreter_result == WasmInterpreter::FINISHED) { 168 if (interpreter_result == WasmInterpreter::FINISHED) {
169 WasmVal val = thread->GetReturnValue(); 169 WasmVal val = thread->GetReturnValue();
170 return val.to<int32_t>(); 170 return val.to<int32_t>();
171 } else if (thread->state() == WasmInterpreter::TRAPPED) { 171 } else if (thread->state() == WasmInterpreter::TRAPPED) {
172 return 0xdeadbeef; 172 return 0xdeadbeef;
173 } else { 173 } else {
174 thrower->Error( 174 thrower->RangeError(
175 "Interpreter did not finish execution within its step bound"); 175 "Interpreter did not finish execution within its step bound");
176 return -1; 176 return -1;
177 } 177 }
178 } 178 }
179 179
180 int32_t CallWasmFunctionForTesting(Isolate* isolate, Handle<JSObject> instance, 180 int32_t CallWasmFunctionForTesting(Isolate* isolate, Handle<JSObject> instance,
181 ErrorThrower* thrower, const char* name, 181 ErrorThrower* thrower, const char* name,
182 int argc, Handle<Object> argv[], 182 int argc, Handle<Object> argv[],
183 ModuleOrigin origin) { 183 ModuleOrigin origin) {
184 Handle<JSObject> exports_object; 184 Handle<JSObject> exports_object;
(...skipping 12 matching lines...) Expand all
197 197
198 Handle<JSFunction> main_export = Handle<JSFunction>::cast(desc.value()); 198 Handle<JSFunction> main_export = Handle<JSFunction>::cast(desc.value());
199 199
200 // Call the JS function. 200 // Call the JS function.
201 Handle<Object> undefined = isolate->factory()->undefined_value(); 201 Handle<Object> undefined = isolate->factory()->undefined_value();
202 MaybeHandle<Object> retval = 202 MaybeHandle<Object> retval =
203 Execution::Call(isolate, main_export, undefined, argc, argv); 203 Execution::Call(isolate, main_export, undefined, argc, argv);
204 204
205 // The result should be a number. 205 // The result should be a number.
206 if (retval.is_null()) { 206 if (retval.is_null()) {
207 thrower->Error("WASM.compileRun() failed: Invocation was null"); 207 thrower->RuntimeError("WASM.compileRun() failed: Invocation was null");
208 return -1; 208 return -1;
209 } 209 }
210 Handle<Object> result = retval.ToHandleChecked(); 210 Handle<Object> result = retval.ToHandleChecked();
211 if (result->IsSmi()) { 211 if (result->IsSmi()) {
212 return Smi::cast(*result)->value(); 212 return Smi::cast(*result)->value();
213 } 213 }
214 if (result->IsHeapNumber()) { 214 if (result->IsHeapNumber()) {
215 return static_cast<int32_t>(HeapNumber::cast(*result)->value()); 215 return static_cast<int32_t>(HeapNumber::cast(*result)->value());
216 } 216 }
217 thrower->Error("WASM.compileRun() failed: Return value should be number"); 217 thrower->RuntimeError(
218 "WASM.compileRun() failed: Return value should be number");
218 return -1; 219 return -1;
219 } 220 }
220 221
221 void SetupIsolateForWasmModule(Isolate* isolate) { 222 void SetupIsolateForWasmModule(Isolate* isolate) {
222 WasmJs::InstallWasmMapsIfNeeded(isolate, isolate->native_context()); 223 WasmJs::InstallWasmMapsIfNeeded(isolate, isolate->native_context());
223 WasmJs::InstallWasmModuleSymbolIfNeeded(isolate, isolate->global_object(), 224 WasmJs::InstallWasmModuleSymbolIfNeeded(isolate, isolate->global_object(),
224 isolate->native_context()); 225 isolate->native_context());
225 } 226 }
226 } // namespace testing 227 } // namespace testing
227 } // namespace wasm 228 } // namespace wasm
228 } // namespace internal 229 } // namespace internal
229 } // namespace v8 230 } // namespace v8
OLDNEW
« no previous file with comments | « src/wasm/wasm-result.cc ('k') | test/mjsunit/wasm/errors.js » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698