| 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 #ifndef V8_WASM_AST_DECODER_H_ | 5 #ifndef V8_WASM_AST_DECODER_H_ |
| 6 #define V8_WASM_AST_DECODER_H_ | 6 #define V8_WASM_AST_DECODER_H_ |
| 7 | 7 |
| 8 #include "src/signature.h" | 8 #include "src/signature.h" |
| 9 #include "src/wasm/decoder.h" | 9 #include "src/wasm/decoder.h" |
| 10 #include "src/wasm/wasm-opcodes.h" | 10 #include "src/wasm/wasm-opcodes.h" |
| (...skipping 71 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 82 MachineType machine_type; | 82 MachineType machine_type; |
| 83 int length; | 83 int length; |
| 84 | 84 |
| 85 inline GlobalIndexOperand(Decoder* decoder, const byte* pc) { | 85 inline GlobalIndexOperand(Decoder* decoder, const byte* pc) { |
| 86 index = decoder->checked_read_u32v(pc, 1, &length, "global index"); | 86 index = decoder->checked_read_u32v(pc, 1, &length, "global index"); |
| 87 type = kAstStmt; | 87 type = kAstStmt; |
| 88 machine_type = MachineType::None(); | 88 machine_type = MachineType::None(); |
| 89 } | 89 } |
| 90 }; | 90 }; |
| 91 | 91 |
| 92 struct Block; | 92 struct Control; |
| 93 struct BreakDepthOperand { | 93 struct BreakDepthOperand { |
| 94 uint32_t arity; |
| 94 uint32_t depth; | 95 uint32_t depth; |
| 95 Block* target; | 96 Control* target; |
| 96 int length; | 97 int length; |
| 97 inline BreakDepthOperand(Decoder* decoder, const byte* pc) { | 98 inline BreakDepthOperand(Decoder* decoder, const byte* pc) { |
| 98 depth = decoder->checked_read_u32v(pc, 1, &length, "break depth"); | 99 int len1 = 0; |
| 100 int len2 = 0; |
| 101 arity = decoder->checked_read_u32v(pc, 1, &len1, "argument count"); |
| 102 depth = decoder->checked_read_u32v(pc, 1 + len1, &len2, "break depth"); |
| 103 length = len1 + len2; |
| 99 target = nullptr; | 104 target = nullptr; |
| 100 } | 105 } |
| 101 }; | 106 }; |
| 102 | 107 |
| 103 struct BlockCountOperand { | 108 struct CallIndirectOperand { |
| 104 uint32_t count; | 109 uint32_t arity; |
| 105 int length; | |
| 106 inline BlockCountOperand(Decoder* decoder, const byte* pc) { | |
| 107 count = decoder->checked_read_u32v(pc, 1, &length, "block count"); | |
| 108 } | |
| 109 }; | |
| 110 | |
| 111 struct SignatureIndexOperand { | |
| 112 uint32_t index; | 110 uint32_t index; |
| 113 FunctionSig* sig; | 111 FunctionSig* sig; |
| 114 int length; | 112 int length; |
| 115 inline SignatureIndexOperand(Decoder* decoder, const byte* pc) { | 113 inline CallIndirectOperand(Decoder* decoder, const byte* pc) { |
| 116 index = decoder->checked_read_u32v(pc, 1, &length, "signature index"); | 114 int len1 = 0; |
| 115 int len2 = 0; |
| 116 arity = decoder->checked_read_u32v(pc, 1, &len1, "argument count"); |
| 117 index = decoder->checked_read_u32v(pc, 1 + len1, &len2, "signature index"); |
| 118 length = len1 + len2; |
| 117 sig = nullptr; | 119 sig = nullptr; |
| 118 } | 120 } |
| 119 }; | 121 }; |
| 120 | 122 |
| 121 struct FunctionIndexOperand { | 123 struct CallFunctionOperand { |
| 124 uint32_t arity; |
| 122 uint32_t index; | 125 uint32_t index; |
| 123 FunctionSig* sig; | 126 FunctionSig* sig; |
| 124 int length; | 127 int length; |
| 125 inline FunctionIndexOperand(Decoder* decoder, const byte* pc) { | 128 inline CallFunctionOperand(Decoder* decoder, const byte* pc) { |
| 126 index = decoder->checked_read_u32v(pc, 1, &length, "function index"); | 129 int len1 = 0; |
| 130 int len2 = 0; |
| 131 arity = decoder->checked_read_u32v(pc, 1, &len1, "argument count"); |
| 132 index = decoder->checked_read_u32v(pc, 1 + len1, &len2, "function index"); |
| 133 length = len1 + len2; |
| 127 sig = nullptr; | 134 sig = nullptr; |
| 128 } | 135 } |
| 129 }; | 136 }; |
| 130 | 137 |
| 131 struct ImportIndexOperand { | 138 struct CallImportOperand { |
| 139 uint32_t arity; |
| 132 uint32_t index; | 140 uint32_t index; |
| 133 FunctionSig* sig; | 141 FunctionSig* sig; |
| 134 int length; | 142 int length; |
| 135 inline ImportIndexOperand(Decoder* decoder, const byte* pc) { | 143 inline CallImportOperand(Decoder* decoder, const byte* pc) { |
| 136 index = decoder->checked_read_u32v(pc, 1, &length, "import index"); | 144 int len1 = 0; |
| 145 int len2 = 0; |
| 146 arity = decoder->checked_read_u32v(pc, 1, &len1, "argument count"); |
| 147 index = decoder->checked_read_u32v(pc, 1 + len1, &len2, "import index"); |
| 148 length = len1 + len2; |
| 137 sig = nullptr; | 149 sig = nullptr; |
| 138 } | 150 } |
| 139 }; | 151 }; |
| 140 | 152 |
| 141 struct BranchTableOperand { | 153 struct BranchTableOperand { |
| 154 uint32_t arity; |
| 142 uint32_t table_count; | 155 uint32_t table_count; |
| 143 const byte* table; | 156 const byte* table; |
| 144 int length; | 157 int length; |
| 145 inline BranchTableOperand(Decoder* decoder, const byte* pc) { | 158 inline BranchTableOperand(Decoder* decoder, const byte* pc) { |
| 146 int varint_length; | 159 int len1 = 0; |
| 160 int len2 = 0; |
| 161 arity = decoder->checked_read_u32v(pc, 1, &len1, "argument count"); |
| 147 table_count = | 162 table_count = |
| 148 decoder->checked_read_u32v(pc, 1, &varint_length, "expected #entries"); | 163 decoder->checked_read_u32v(pc, 1 + len1, &len2, "table count"); |
| 149 length = varint_length + (table_count + 1) * sizeof(uint32_t); | 164 length = len1 + len2 + (table_count + 1) * sizeof(uint32_t); |
| 150 | 165 |
| 151 uint32_t table_start = 1 + varint_length; | 166 uint32_t table_start = 1 + len1 + len2; |
| 152 if (decoder->check(pc, table_start, (table_count + 1) * sizeof(uint32_t), | 167 if (decoder->check(pc, table_start, (table_count + 1) * sizeof(uint32_t), |
| 153 "expected <table entries>")) { | 168 "expected <table entries>")) { |
| 154 table = pc + table_start; | 169 table = pc + table_start; |
| 155 } else { | 170 } else { |
| 156 table = nullptr; | 171 table = nullptr; |
| 157 } | 172 } |
| 158 } | 173 } |
| 159 inline uint32_t read_entry(Decoder* decoder, int i) { | 174 inline uint32_t read_entry(Decoder* decoder, int i) { |
| 160 DCHECK(i >= 0 && static_cast<uint32_t>(i) <= table_count); | 175 DCHECK(i >= 0 && static_cast<uint32_t>(i) <= table_count); |
| 161 return table ? decoder->read_u32(table + i * sizeof(uint32_t)) : 0; | 176 return table ? decoder->read_u32(table + i * sizeof(uint32_t)) : 0; |
| 162 } | 177 } |
| 163 }; | 178 }; |
| 164 | 179 |
| 165 struct MemoryAccessOperand { | 180 struct MemoryAccessOperand { |
| 166 uint32_t alignment; | 181 uint32_t alignment; |
| 167 uint32_t offset; | 182 uint32_t offset; |
| 168 int length; | 183 int length; |
| 169 inline MemoryAccessOperand(Decoder* decoder, const byte* pc) { | 184 inline MemoryAccessOperand(Decoder* decoder, const byte* pc) { |
| 170 int alignment_length; | 185 int alignment_length; |
| 171 alignment = | 186 alignment = |
| 172 decoder->checked_read_u32v(pc, 1, &alignment_length, "alignment"); | 187 decoder->checked_read_u32v(pc, 1, &alignment_length, "alignment"); |
| 173 int offset_length; | 188 int offset_length; |
| 174 offset = decoder->checked_read_u32v(pc, 1 + alignment_length, | 189 offset = decoder->checked_read_u32v(pc, 1 + alignment_length, |
| 175 &offset_length, "offset"); | 190 &offset_length, "offset"); |
| 176 length = alignment_length + offset_length; | 191 length = alignment_length + offset_length; |
| 177 } | 192 } |
| 178 }; | 193 }; |
| 179 | 194 |
| 195 struct ReturnArityOperand { |
| 196 uint32_t arity; |
| 197 int length; |
| 198 |
| 199 inline ReturnArityOperand(Decoder* decoder, const byte* pc) { |
| 200 arity = decoder->checked_read_u32v(pc, 1, &length, "return count"); |
| 201 } |
| 202 }; |
| 203 |
| 180 typedef compiler::WasmGraphBuilder TFBuilder; | 204 typedef compiler::WasmGraphBuilder TFBuilder; |
| 181 struct ModuleEnv; // forward declaration of module interface. | 205 struct ModuleEnv; // forward declaration of module interface. |
| 182 | 206 |
| 183 // All of the various data structures necessary to decode a function body. | 207 // All of the various data structures necessary to decode a function body. |
| 184 struct FunctionBody { | 208 struct FunctionBody { |
| 185 ModuleEnv* module; // module environment | 209 ModuleEnv* module; // module environment |
| 186 FunctionSig* sig; // function signature | 210 FunctionSig* sig; // function signature |
| 187 const byte* base; // base of the module bytes, for error reporting | 211 const byte* base; // base of the module bytes, for error reporting |
| 188 const byte* start; // start of the function body | 212 const byte* start; // start of the function body |
| 189 const byte* end; // end of the function body | 213 const byte* end; // end of the function body |
| (...skipping 48 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 238 int OpcodeLength(const byte* pc, const byte* end); | 262 int OpcodeLength(const byte* pc, const byte* end); |
| 239 | 263 |
| 240 // Computes the arity (number of sub-nodes) of the opcode at the given address. | 264 // Computes the arity (number of sub-nodes) of the opcode at the given address. |
| 241 int OpcodeArity(ModuleEnv* module, FunctionSig* sig, const byte* pc, | 265 int OpcodeArity(ModuleEnv* module, FunctionSig* sig, const byte* pc, |
| 242 const byte* end); | 266 const byte* end); |
| 243 } // namespace wasm | 267 } // namespace wasm |
| 244 } // namespace internal | 268 } // namespace internal |
| 245 } // namespace v8 | 269 } // namespace v8 |
| 246 | 270 |
| 247 #endif // V8_WASM_AST_DECODER_H_ | 271 #endif // V8_WASM_AST_DECODER_H_ |
| OLD | NEW |