| 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-interpreter.h" | 5 #include "src/wasm/wasm-interpreter.h" |
| 6 | 6 |
| 7 #include "src/utils.h" | 7 #include "src/utils.h" |
| 8 #include "src/wasm/decoder.h" | 8 #include "src/wasm/decoder.h" |
| 9 #include "src/wasm/function-body-decoder.h" | 9 #include "src/wasm/function-body-decoder.h" |
| 10 #include "src/wasm/wasm-external-refs.h" | 10 #include "src/wasm/wasm-external-refs.h" |
| (...skipping 1165 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1176 stack_.resize(stack_.size() - pop_count); | 1176 stack_.resize(stack_.size() - pop_count); |
| 1177 } | 1177 } |
| 1178 | 1178 |
| 1179 void Execute(InterpreterCode* code, pc_t pc, int max) { | 1179 void Execute(InterpreterCode* code, pc_t pc, int max) { |
| 1180 Decoder decoder(code->start, code->end); | 1180 Decoder decoder(code->start, code->end); |
| 1181 pc_t limit = code->end - code->start; | 1181 pc_t limit = code->end - code->start; |
| 1182 while (--max >= 0) { | 1182 while (--max >= 0) { |
| 1183 #define PAUSE_IF_BREAK_FLAG(flag) \ | 1183 #define PAUSE_IF_BREAK_FLAG(flag) \ |
| 1184 if (V8_UNLIKELY(break_flags_ & WasmInterpreter::BreakFlag::flag)) max = 0; | 1184 if (V8_UNLIKELY(break_flags_ & WasmInterpreter::BreakFlag::flag)) max = 0; |
| 1185 | 1185 |
| 1186 if (pc >= limit) { | 1186 DCHECK_GT(limit, pc); |
| 1187 // Fell off end of code; do an implicit return. | |
| 1188 TRACE("@%-3zu: ImplicitReturn\n", pc); | |
| 1189 if (!DoReturn(&code, &pc, &limit, code->function->sig->return_count())) | |
| 1190 return; | |
| 1191 decoder.Reset(code->start, code->end); | |
| 1192 PAUSE_IF_BREAK_FLAG(AfterReturn); | |
| 1193 continue; | |
| 1194 } | |
| 1195 | 1187 |
| 1196 const char* skip = " "; | 1188 const char* skip = " "; |
| 1197 int len = 1; | 1189 int len = 1; |
| 1198 byte opcode = code->start[pc]; | 1190 byte opcode = code->start[pc]; |
| 1199 byte orig = opcode; | 1191 byte orig = opcode; |
| 1200 if (V8_UNLIKELY(opcode == kInternalBreakpoint)) { | 1192 if (V8_UNLIKELY(opcode == kInternalBreakpoint)) { |
| 1201 orig = code->orig_start[pc]; | 1193 orig = code->orig_start[pc]; |
| 1202 if (SkipBreakpoint(code, pc)) { | 1194 if (SkipBreakpoint(code, pc)) { |
| 1203 // skip breakpoint by switching on original code. | 1195 // skip breakpoint by switching on original code. |
| 1204 skip = "[skip] "; | 1196 skip = "[skip] "; |
| (...skipping 423 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1628 FOREACH_OTHER_UNOP_NAN(EXECUTE_OTHER_UNOP_NAN) | 1620 FOREACH_OTHER_UNOP_NAN(EXECUTE_OTHER_UNOP_NAN) |
| 1629 #undef EXECUTE_OTHER_UNOP_NAN | 1621 #undef EXECUTE_OTHER_UNOP_NAN |
| 1630 | 1622 |
| 1631 default: | 1623 default: |
| 1632 V8_Fatal(__FILE__, __LINE__, "Unknown or unimplemented opcode #%d:%s", | 1624 V8_Fatal(__FILE__, __LINE__, "Unknown or unimplemented opcode #%d:%s", |
| 1633 code->start[pc], OpcodeName(code->start[pc])); | 1625 code->start[pc], OpcodeName(code->start[pc])); |
| 1634 UNREACHABLE(); | 1626 UNREACHABLE(); |
| 1635 } | 1627 } |
| 1636 | 1628 |
| 1637 pc += len; | 1629 pc += len; |
| 1630 if (pc == limit) { |
| 1631 // Fell off end of code; do an implicit return. |
| 1632 TRACE("@%-3zu: ImplicitReturn\n", pc); |
| 1633 if (!DoReturn(&code, &pc, &limit, code->function->sig->return_count())) |
| 1634 return; |
| 1635 decoder.Reset(code->start, code->end); |
| 1636 PAUSE_IF_BREAK_FLAG(AfterReturn); |
| 1637 } |
| 1638 } | 1638 } |
| 1639 // Set break_pc_, even though we might have stopped because max was reached. | 1639 // Set break_pc_, even though we might have stopped because max was reached. |
| 1640 // We don't want to stop after executing zero instructions next time. | 1640 // We don't want to stop after executing zero instructions next time. |
| 1641 break_pc_ = pc; | 1641 break_pc_ = pc; |
| 1642 state_ = WasmInterpreter::PAUSED; | 1642 state_ = WasmInterpreter::PAUSED; |
| 1643 CommitPc(pc); | 1643 CommitPc(pc); |
| 1644 } | 1644 } |
| 1645 | 1645 |
| 1646 WasmVal Pop() { | 1646 WasmVal Pop() { |
| 1647 DCHECK_GT(stack_.size(), 0); | 1647 DCHECK_GT(stack_.size(), 0); |
| (...skipping 274 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1922 return none; | 1922 return none; |
| 1923 } | 1923 } |
| 1924 | 1924 |
| 1925 void InterpretedFrame::SetLocalVal(int index, WasmVal val) { UNIMPLEMENTED(); } | 1925 void InterpretedFrame::SetLocalVal(int index, WasmVal val) { UNIMPLEMENTED(); } |
| 1926 | 1926 |
| 1927 void InterpretedFrame::SetExprVal(int pc, WasmVal val) { UNIMPLEMENTED(); } | 1927 void InterpretedFrame::SetExprVal(int pc, WasmVal val) { UNIMPLEMENTED(); } |
| 1928 | 1928 |
| 1929 } // namespace wasm | 1929 } // namespace wasm |
| 1930 } // namespace internal | 1930 } // namespace internal |
| 1931 } // namespace v8 | 1931 } // namespace v8 |
| OLD | NEW |