| 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 | 
|---|