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/assert-scope.h" | 5 #include "src/assert-scope.h" |
6 #include "src/debug/debug.h" | 6 #include "src/debug/debug.h" |
7 #include "src/factory.h" | 7 #include "src/factory.h" |
8 #include "src/isolate.h" | 8 #include "src/isolate.h" |
9 #include "src/wasm/module-decoder.h" | 9 #include "src/wasm/module-decoder.h" |
10 #include "src/wasm/wasm-module.h" | 10 #include "src/wasm/wasm-module.h" |
11 #include "src/wasm/wasm-objects.h" | 11 #include "src/wasm/wasm-objects.h" |
12 | 12 |
13 using namespace v8::internal; | 13 using namespace v8::internal; |
14 using namespace v8::internal::wasm; | 14 using namespace v8::internal::wasm; |
15 | 15 |
16 namespace { | 16 namespace { |
17 | 17 |
18 enum { | 18 enum { |
19 kWasmDebugInfoWasmObj, | 19 kWasmDebugInfoWasmObj, |
20 kWasmDebugInfoWasmBytesHash, | 20 kWasmDebugInfoWasmBytesHash, |
21 kWasmDebugInfoFunctionByteOffsets, | |
22 kWasmDebugInfoFunctionScripts, | |
23 kWasmDebugInfoAsmJsOffsets, | 21 kWasmDebugInfoAsmJsOffsets, |
24 kWasmDebugInfoNumEntries | 22 kWasmDebugInfoNumEntries |
25 }; | 23 }; |
26 | 24 |
27 ByteArray *GetOrCreateFunctionOffsetTable(Handle<WasmDebugInfo> debug_info) { | 25 // TODO(clemensh): Move asm.js offset tables to the compiled module. |
28 Object *offset_table = debug_info->get(kWasmDebugInfoFunctionByteOffsets); | 26 FixedArray *GetAsmJsOffsetTables(Handle<WasmDebugInfo> debug_info, |
29 Isolate *isolate = debug_info->GetIsolate(); | 27 Isolate *isolate) { |
30 if (!offset_table->IsUndefined(isolate)) return ByteArray::cast(offset_table); | |
31 | |
32 FunctionOffsetsResult function_offsets; | |
33 { | |
34 Handle<JSObject> wasm_instance(debug_info->wasm_instance(), isolate); | |
35 uint32_t num_imported_functions = | |
36 static_cast<uint32_t>(wasm::GetNumImportedFunctions(wasm_instance)); | |
37 Handle<SeqOneByteString> wasm_bytes = wasm::GetWasmBytes(wasm_instance); | |
38 DisallowHeapAllocation no_gc; | |
39 const byte *bytes_start = wasm_bytes->GetChars(); | |
40 const byte *bytes_end = bytes_start + wasm_bytes->length(); | |
41 function_offsets = wasm::DecodeWasmFunctionOffsets(bytes_start, bytes_end, | |
42 num_imported_functions); | |
43 } | |
44 DCHECK(function_offsets.ok()); | |
45 size_t array_size = 2 * kIntSize * function_offsets.val.size(); | |
46 CHECK_LE(array_size, static_cast<size_t>(kMaxInt)); | |
47 ByteArray *arr = | |
48 *isolate->factory()->NewByteArray(static_cast<int>(array_size)); | |
49 int idx = 0; | |
50 for (std::pair<int, int> p : function_offsets.val) { | |
51 arr->set_int(idx++, p.first); | |
52 arr->set_int(idx++, p.second); | |
53 } | |
54 DCHECK_EQ(arr->length(), idx * kIntSize); | |
55 debug_info->set(kWasmDebugInfoFunctionByteOffsets, arr); | |
56 | |
57 return arr; | |
58 } | |
59 | |
60 std::pair<int, int> GetFunctionOffsetAndLength(Handle<WasmDebugInfo> debug_info, | |
61 int func_index) { | |
62 ByteArray *arr = GetOrCreateFunctionOffsetTable(debug_info); | |
63 DCHECK(func_index >= 0 && func_index < arr->length() / kIntSize / 2); | |
64 | |
65 int offset = arr->get_int(2 * func_index); | |
66 int length = arr->get_int(2 * func_index + 1); | |
67 // Assert that it's distinguishable from the "illegal function index" return. | |
68 DCHECK(offset > 0 && length > 0); | |
69 return {offset, length}; | |
70 } | |
71 | |
72 Vector<const uint8_t> GetFunctionBytes(Handle<WasmDebugInfo> debug_info, | |
73 int func_index) { | |
74 Handle<JSObject> wasm_instance(debug_info->wasm_instance()); | |
75 Handle<SeqOneByteString> module_bytes = wasm::GetWasmBytes(wasm_instance); | |
76 std::pair<int, int> offset_and_length = | |
77 GetFunctionOffsetAndLength(debug_info, func_index); | |
78 return Vector<const uint8_t>( | |
79 module_bytes->GetChars() + offset_and_length.first, | |
80 offset_and_length.second); | |
81 } | |
82 | |
83 FixedArray *GetOffsetTables(Handle<WasmDebugInfo> debug_info, | |
84 Isolate *isolate) { | |
85 Object *offset_tables = debug_info->get(kWasmDebugInfoAsmJsOffsets); | 28 Object *offset_tables = debug_info->get(kWasmDebugInfoAsmJsOffsets); |
86 if (!offset_tables->IsUndefined(isolate)) { | 29 if (!offset_tables->IsUndefined(isolate)) { |
87 return FixedArray::cast(offset_tables); | 30 return FixedArray::cast(offset_tables); |
88 } | 31 } |
89 | 32 |
| 33 Handle<JSObject> wasm_instance(debug_info->wasm_instance(), isolate); |
| 34 Handle<WasmCompiledModule> compiled_module(GetCompiledModule(*wasm_instance), |
| 35 isolate); |
| 36 DCHECK(compiled_module->has_asm_js_offset_tables()); |
| 37 |
90 AsmJsOffsetsResult asm_offsets; | 38 AsmJsOffsetsResult asm_offsets; |
91 { | 39 { |
92 Handle<JSObject> wasm_instance(debug_info->wasm_instance(), isolate); | |
93 Handle<WasmCompiledModule> compiled_module = | |
94 handle(GetCompiledModule(*wasm_instance), isolate); | |
95 DCHECK(compiled_module->has_asm_js_offset_tables()); | |
96 Handle<ByteArray> asm_offset_tables = | 40 Handle<ByteArray> asm_offset_tables = |
97 compiled_module->asm_js_offset_tables(); | 41 compiled_module->asm_js_offset_tables(); |
98 uint32_t num_imported_functions = | |
99 static_cast<uint32_t>(wasm::GetNumImportedFunctions(wasm_instance)); | |
100 DisallowHeapAllocation no_gc; | 42 DisallowHeapAllocation no_gc; |
101 const byte *bytes_start = asm_offset_tables->GetDataStartAddress(); | 43 const byte *bytes_start = asm_offset_tables->GetDataStartAddress(); |
102 const byte *bytes_end = bytes_start + asm_offset_tables->length(); | 44 const byte *bytes_end = bytes_start + asm_offset_tables->length(); |
103 asm_offsets = wasm::DecodeAsmJsOffsets(bytes_start, bytes_end, | 45 asm_offsets = wasm::DecodeAsmJsOffsets(bytes_start, bytes_end); |
104 num_imported_functions); | |
105 } | 46 } |
106 // Wasm bytes must be valid and must contain asm.js offset table. | 47 // Wasm bytes must be valid and must contain asm.js offset table. |
107 DCHECK(asm_offsets.ok()); | 48 DCHECK(asm_offsets.ok()); |
108 DCHECK_GE(static_cast<size_t>(kMaxInt), asm_offsets.val.size()); | 49 DCHECK_GE(static_cast<size_t>(kMaxInt), asm_offsets.val.size()); |
109 int num_functions = static_cast<int>(asm_offsets.val.size()); | 50 int num_functions = static_cast<int>(asm_offsets.val.size()); |
110 DCHECK_EQ(wasm::GetNumberOfFunctions(handle(debug_info->wasm_instance())), | 51 DCHECK_EQ( |
111 num_functions); | 52 wasm::GetNumberOfFunctions(handle(debug_info->wasm_instance())), |
| 53 static_cast<int>(num_functions + |
| 54 compiled_module->module()->num_imported_functions)); |
112 Handle<FixedArray> all_tables = | 55 Handle<FixedArray> all_tables = |
113 isolate->factory()->NewFixedArray(num_functions); | 56 isolate->factory()->NewFixedArray(num_functions); |
114 debug_info->set(kWasmDebugInfoAsmJsOffsets, *all_tables); | 57 debug_info->set(kWasmDebugInfoAsmJsOffsets, *all_tables); |
115 for (int func = 0; func < num_functions; ++func) { | 58 for (int func = 0; func < num_functions; ++func) { |
116 std::vector<std::pair<int, int>> &func_asm_offsets = asm_offsets.val[func]; | 59 std::vector<std::pair<int, int>> &func_asm_offsets = asm_offsets.val[func]; |
117 if (func_asm_offsets.empty()) continue; | 60 if (func_asm_offsets.empty()) continue; |
118 size_t array_size = 2 * kIntSize * func_asm_offsets.size(); | 61 size_t array_size = 2 * kIntSize * func_asm_offsets.size(); |
119 CHECK_LE(array_size, static_cast<size_t>(kMaxInt)); | 62 CHECK_LE(array_size, static_cast<size_t>(kMaxInt)); |
120 ByteArray *arr = | 63 ByteArray *arr = |
121 *isolate->factory()->NewByteArray(static_cast<int>(array_size)); | 64 *isolate->factory()->NewByteArray(static_cast<int>(array_size)); |
(...skipping 26 matching lines...) Expand all Loading... |
148 } | 91 } |
149 Handle<Object> hash_obj = factory->NewNumberFromInt(hash, TENURED); | 92 Handle<Object> hash_obj = factory->NewNumberFromInt(hash, TENURED); |
150 arr->set(kWasmDebugInfoWasmBytesHash, *hash_obj); | 93 arr->set(kWasmDebugInfoWasmBytesHash, *hash_obj); |
151 | 94 |
152 return Handle<WasmDebugInfo>::cast(arr); | 95 return Handle<WasmDebugInfo>::cast(arr); |
153 } | 96 } |
154 | 97 |
155 bool WasmDebugInfo::IsDebugInfo(Object *object) { | 98 bool WasmDebugInfo::IsDebugInfo(Object *object) { |
156 if (!object->IsFixedArray()) return false; | 99 if (!object->IsFixedArray()) return false; |
157 FixedArray *arr = FixedArray::cast(object); | 100 FixedArray *arr = FixedArray::cast(object); |
158 Isolate *isolate = arr->GetIsolate(); | |
159 return arr->length() == kWasmDebugInfoNumEntries && | 101 return arr->length() == kWasmDebugInfoNumEntries && |
160 IsWasmInstance(arr->get(kWasmDebugInfoWasmObj)) && | 102 IsWasmInstance(arr->get(kWasmDebugInfoWasmObj)) && |
161 arr->get(kWasmDebugInfoWasmBytesHash)->IsNumber() && | 103 arr->get(kWasmDebugInfoWasmBytesHash)->IsNumber(); |
162 (arr->get(kWasmDebugInfoFunctionByteOffsets)->IsUndefined(isolate) || | |
163 arr->get(kWasmDebugInfoFunctionByteOffsets)->IsByteArray()) && | |
164 (arr->get(kWasmDebugInfoFunctionScripts)->IsUndefined(isolate) || | |
165 arr->get(kWasmDebugInfoFunctionScripts)->IsFixedArray()); | |
166 } | 104 } |
167 | 105 |
168 WasmDebugInfo *WasmDebugInfo::cast(Object *object) { | 106 WasmDebugInfo *WasmDebugInfo::cast(Object *object) { |
169 DCHECK(IsDebugInfo(object)); | 107 DCHECK(IsDebugInfo(object)); |
170 return reinterpret_cast<WasmDebugInfo *>(object); | 108 return reinterpret_cast<WasmDebugInfo *>(object); |
171 } | 109 } |
172 | 110 |
173 JSObject *WasmDebugInfo::wasm_instance() { | 111 JSObject *WasmDebugInfo::wasm_instance() { |
174 return JSObject::cast(get(kWasmDebugInfoWasmObj)); | 112 return JSObject::cast(get(kWasmDebugInfoWasmObj)); |
175 } | 113 } |
176 | 114 |
177 Script *WasmDebugInfo::GetFunctionScript(Handle<WasmDebugInfo> debug_info, | |
178 int func_index) { | |
179 Isolate *isolate = debug_info->GetIsolate(); | |
180 Object *scripts_obj = debug_info->get(kWasmDebugInfoFunctionScripts); | |
181 Handle<FixedArray> scripts; | |
182 if (scripts_obj->IsUndefined(isolate)) { | |
183 Handle<JSObject> wasm_instance(debug_info->wasm_instance(), isolate); | |
184 int num_functions = wasm::GetNumberOfFunctions(wasm_instance); | |
185 scripts = isolate->factory()->NewFixedArray(num_functions, TENURED); | |
186 debug_info->set(kWasmDebugInfoFunctionScripts, *scripts); | |
187 } else { | |
188 scripts = handle(FixedArray::cast(scripts_obj), isolate); | |
189 } | |
190 | |
191 DCHECK(func_index >= 0 && func_index < scripts->length()); | |
192 Object *script_or_undef = scripts->get(func_index); | |
193 if (!script_or_undef->IsUndefined(isolate)) { | |
194 return Script::cast(script_or_undef); | |
195 } | |
196 | |
197 Handle<Script> script = | |
198 isolate->factory()->NewScript(isolate->factory()->empty_string()); | |
199 scripts->set(func_index, *script); | |
200 | |
201 script->set_type(Script::TYPE_WASM); | |
202 script->set_wasm_instance(debug_info->wasm_instance()); | |
203 script->set_wasm_function_index(func_index); | |
204 | |
205 int hash = 0; | |
206 debug_info->get(kWasmDebugInfoWasmBytesHash)->ToInt32(&hash); | |
207 char buffer[32]; | |
208 SNPrintF(ArrayVector(buffer), "wasm://%08x/%d", hash, func_index); | |
209 Handle<String> source_url = | |
210 isolate->factory()->NewStringFromAsciiChecked(buffer, TENURED); | |
211 script->set_source_url(*source_url); | |
212 | |
213 int func_bytes_len = | |
214 GetFunctionOffsetAndLength(debug_info, func_index).second; | |
215 Handle<FixedArray> line_ends = isolate->factory()->NewFixedArray(1, TENURED); | |
216 line_ends->set(0, Smi::FromInt(func_bytes_len)); | |
217 line_ends->set_map(isolate->heap()->fixed_cow_array_map()); | |
218 script->set_line_ends(*line_ends); | |
219 | |
220 // TODO(clemensh): Register with the debugger. Note that we cannot call into | |
221 // JS at this point since this function is called from within stack trace | |
222 // collection (which means we cannot call Debug::OnAfterCompile in its | |
223 // current form). See crbug.com/641065. | |
224 if (false) isolate->debug()->OnAfterCompile(script); | |
225 | |
226 return *script; | |
227 } | |
228 | |
229 Handle<String> WasmDebugInfo::DisassembleFunction( | |
230 Handle<WasmDebugInfo> debug_info, int func_index) { | |
231 std::ostringstream disassembly_os; | |
232 | |
233 { | |
234 Vector<const uint8_t> bytes_vec = GetFunctionBytes(debug_info, func_index); | |
235 DisallowHeapAllocation no_gc; | |
236 | |
237 AccountingAllocator allocator; | |
238 bool ok = PrintAst( | |
239 &allocator, FunctionBodyForTesting(bytes_vec.start(), bytes_vec.end()), | |
240 disassembly_os, nullptr); | |
241 DCHECK(ok); | |
242 USE(ok); | |
243 } | |
244 | |
245 // Unfortunately, we have to copy the string here. | |
246 std::string code_str = disassembly_os.str(); | |
247 CHECK_LE(code_str.length(), static_cast<size_t>(kMaxInt)); | |
248 Factory *factory = debug_info->GetIsolate()->factory(); | |
249 Vector<const char> code_vec(code_str.data(), | |
250 static_cast<int>(code_str.length())); | |
251 return factory->NewStringFromAscii(code_vec).ToHandleChecked(); | |
252 } | |
253 | |
254 Handle<FixedArray> WasmDebugInfo::GetFunctionOffsetTable( | |
255 Handle<WasmDebugInfo> debug_info, int func_index) { | |
256 class NullBuf : public std::streambuf {}; | |
257 NullBuf null_buf; | |
258 std::ostream null_stream(&null_buf); | |
259 | |
260 std::vector<std::tuple<uint32_t, int, int>> offset_table_vec; | |
261 | |
262 { | |
263 Vector<const uint8_t> bytes_vec = GetFunctionBytes(debug_info, func_index); | |
264 DisallowHeapAllocation no_gc; | |
265 | |
266 AccountingAllocator allocator; | |
267 bool ok = PrintAst( | |
268 &allocator, FunctionBodyForTesting(bytes_vec.start(), bytes_vec.end()), | |
269 null_stream, &offset_table_vec); | |
270 DCHECK(ok); | |
271 USE(ok); | |
272 } | |
273 | |
274 size_t arr_size = 3 * offset_table_vec.size(); | |
275 CHECK_LE(arr_size, static_cast<size_t>(kMaxInt)); | |
276 Factory *factory = debug_info->GetIsolate()->factory(); | |
277 Handle<FixedArray> offset_table = | |
278 factory->NewFixedArray(static_cast<int>(arr_size), TENURED); | |
279 | |
280 int idx = 0; | |
281 for (std::tuple<uint32_t, int, int> elem : offset_table_vec) { | |
282 offset_table->set(idx++, Smi::FromInt(std::get<0>(elem))); | |
283 offset_table->set(idx++, Smi::FromInt(std::get<1>(elem))); | |
284 offset_table->set(idx++, Smi::FromInt(std::get<2>(elem))); | |
285 } | |
286 DCHECK_EQ(idx, offset_table->length()); | |
287 | |
288 return offset_table; | |
289 } | |
290 | |
291 int WasmDebugInfo::GetAsmJsSourcePosition(Handle<WasmDebugInfo> debug_info, | 115 int WasmDebugInfo::GetAsmJsSourcePosition(Handle<WasmDebugInfo> debug_info, |
292 int func_index, int byte_offset) { | 116 int func_index, int byte_offset) { |
293 Isolate *isolate = debug_info->GetIsolate(); | 117 Isolate *isolate = debug_info->GetIsolate(); |
294 FixedArray *offset_tables = GetOffsetTables(debug_info, isolate); | 118 Handle<JSObject> instance(debug_info->wasm_instance(), isolate); |
| 119 FixedArray *offset_tables = GetAsmJsOffsetTables(debug_info, isolate); |
295 | 120 |
| 121 WasmCompiledModule *compiled_module = wasm::GetCompiledModule(*instance); |
| 122 int num_imported_functions = |
| 123 compiled_module->module()->num_imported_functions; |
| 124 DCHECK_LE(num_imported_functions, func_index); |
| 125 func_index -= num_imported_functions; |
296 DCHECK_LT(func_index, offset_tables->length()); | 126 DCHECK_LT(func_index, offset_tables->length()); |
297 ByteArray *offset_table = ByteArray::cast(offset_tables->get(func_index)); | 127 ByteArray *offset_table = ByteArray::cast(offset_tables->get(func_index)); |
298 | 128 |
299 // Binary search for the current byte offset. | 129 // Binary search for the current byte offset. |
300 int left = 0; // inclusive | 130 int left = 0; // inclusive |
301 int right = offset_table->length() / kIntSize / 2; // exclusive | 131 int right = offset_table->length() / kIntSize / 2; // exclusive |
302 DCHECK_LT(left, right); | 132 DCHECK_LT(left, right); |
303 while (right - left > 1) { | 133 while (right - left > 1) { |
304 int mid = left + (right - left) / 2; | 134 int mid = left + (right - left) / 2; |
305 if (offset_table->get_int(2 * mid) <= byte_offset) { | 135 if (offset_table->get_int(2 * mid) <= byte_offset) { |
306 left = mid; | 136 left = mid; |
307 } else { | 137 } else { |
308 right = mid; | 138 right = mid; |
309 } | 139 } |
310 } | 140 } |
311 // There should be an entry for each position that could show up on the stack | 141 // There should be an entry for each position that could show up on the stack |
312 // trace: | 142 // trace: |
313 DCHECK_EQ(byte_offset, offset_table->get_int(2 * left)); | 143 DCHECK_EQ(byte_offset, offset_table->get_int(2 * left)); |
314 return offset_table->get_int(2 * left + 1); | 144 return offset_table->get_int(2 * left + 1); |
315 } | 145 } |
OLD | NEW |