| 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/signature.h" | 5 #include "src/signature.h" |
| 6 | 6 |
| 7 #include "src/bit-vector.h" | 7 #include "src/bit-vector.h" |
| 8 #include "src/flags.h" | 8 #include "src/flags.h" |
| 9 #include "src/handles.h" | 9 #include "src/handles.h" |
| 10 #include "src/zone/zone-containers.h" | 10 #include "src/zone/zone-containers.h" |
| (...skipping 209 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 220 inline bool Complete(const byte* pc, CallIndirectOperand& operand) { | 220 inline bool Complete(const byte* pc, CallIndirectOperand& operand) { |
| 221 ModuleEnv* m = module_; | 221 ModuleEnv* m = module_; |
| 222 if (m && m->module && operand.index < m->module->signatures.size()) { | 222 if (m && m->module && operand.index < m->module->signatures.size()) { |
| 223 operand.sig = m->module->signatures[operand.index]; | 223 operand.sig = m->module->signatures[operand.index]; |
| 224 return true; | 224 return true; |
| 225 } | 225 } |
| 226 return false; | 226 return false; |
| 227 } | 227 } |
| 228 | 228 |
| 229 inline bool Validate(const byte* pc, CallIndirectOperand& operand) { | 229 inline bool Validate(const byte* pc, CallIndirectOperand& operand) { |
| 230 uint32_t table_index = 0; | |
| 231 if (!module_->IsValidTable(table_index)) { | |
| 232 error("function table has to exist to execute call_indirect"); | |
| 233 return false; | |
| 234 } | |
| 235 if (Complete(pc, operand)) { | 230 if (Complete(pc, operand)) { |
| 236 return true; | 231 return true; |
| 237 } | 232 } |
| 238 error(pc, pc + 1, "invalid signature index: #%u", operand.index); | 233 error(pc, pc + 1, "invalid signature index: #%u", operand.index); |
| 239 return false; | 234 return false; |
| 240 } | 235 } |
| 241 | 236 |
| 242 inline bool Validate(const byte* pc, BreakDepthOperand& operand, | 237 inline bool Validate(const byte* pc, BreakDepthOperand& operand, |
| 243 ZoneVector<Control>& control) { | 238 ZoneVector<Control>& control) { |
| 244 if (operand.depth < control.size()) { | 239 if (operand.depth < control.size()) { |
| (...skipping 1790 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2035 BitVector* AnalyzeLoopAssignmentForTesting(Zone* zone, size_t num_locals, | 2030 BitVector* AnalyzeLoopAssignmentForTesting(Zone* zone, size_t num_locals, |
| 2036 const byte* start, const byte* end) { | 2031 const byte* start, const byte* end) { |
| 2037 FunctionBody body = {nullptr, nullptr, nullptr, start, end}; | 2032 FunctionBody body = {nullptr, nullptr, nullptr, start, end}; |
| 2038 WasmFullDecoder decoder(zone, nullptr, body); | 2033 WasmFullDecoder decoder(zone, nullptr, body); |
| 2039 return decoder.AnalyzeLoopAssignmentForTesting(start, num_locals); | 2034 return decoder.AnalyzeLoopAssignmentForTesting(start, num_locals); |
| 2040 } | 2035 } |
| 2041 | 2036 |
| 2042 } // namespace wasm | 2037 } // namespace wasm |
| 2043 } // namespace internal | 2038 } // namespace internal |
| 2044 } // namespace v8 | 2039 } // namespace v8 |
| OLD | NEW |