| OLD | NEW |
| 1 <html> | 1 <html> |
| 2 <!-- | 2 <!-- |
| 3 Copyright 2016 the V8 project authors. All rights reserved. Use of this source | 3 Copyright 2016 the V8 project authors. All rights reserved. Use of this source |
| 4 code is governed by a BSD-style license that can be found in the LICENSE file. | 4 code is governed by a BSD-style license that can be found in the LICENSE file. |
| 5 --> | 5 --> |
| 6 | 6 |
| 7 <head> | 7 <head> |
| 8 <style> | 8 <style> |
| 9 .entry-details {} | 9 .entry-details {} |
| 10 | 10 |
| (...skipping 53 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 64 this.state = "(" + split[1] + " => " + parts[2]; | 64 this.state = "(" + split[1] + " => " + parts[2]; |
| 65 var offset = this.parsePositionAndFile(parts, 6); | 65 var offset = this.parsePositionAndFile(parts, 6); |
| 66 if (offset == -1) return | 66 if (offset == -1) return |
| 67 if (this.file === undefined) return | 67 if (this.file === undefined) return |
| 68 this.file = this.file.slice(0, -1); | 68 this.file = this.file.slice(0, -1); |
| 69 } else { | 69 } else { |
| 70 var offset = this.parsePositionAndFile(parts, 2); | 70 var offset = this.parsePositionAndFile(parts, 2); |
| 71 if (offset == -1) return | 71 if (offset == -1) return |
| 72 this.state = parts[++offset]; | 72 this.state = parts[++offset]; |
| 73 this.map = parts[offset + 1]; | 73 this.map = parts[offset + 1]; |
| 74 if (this.map.startsWith("map=")) { | 74 if (this.map !== undefined && this.map.startsWith("map=")) { |
| 75 this.map = this.map.substring(4); | 75 this.map = this.map.substring(4); |
| 76 offset++; | 76 offset++; |
| 77 } else { | 77 } else { |
| 78 this.map = undefined; | 78 this.map = undefined; |
| 79 } | 79 } |
| 80 if (this.type !== "CompareIC") { | 80 if (this.type !== "CompareIC") { |
| 81 // if there is no address we have a smi key | 81 // if there is no address we have a smi key |
| 82 var address = parts[++offset]; | 82 var address = parts[++offset]; |
| 83 if (address !== undefined && address.indexOf("0x") === 0) { | 83 if (address !== undefined && address.indexOf("0x") === 0) { |
| 84 this.key = parts.slice(++offset).join(" "); | 84 this.key = parts.slice(++offset).join(" "); |
| (...skipping 125 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 210 } | 210 } |
| 211 result.sort((a, b) => { | 211 result.sort((a, b) => { |
| 212 return b.count - a.count | 212 return b.count - a.count |
| 213 }); | 213 }); |
| 214 return result; | 214 return result; |
| 215 } | 215 } |
| 216 | 216 |
| 217 | 217 |
| 218 | 218 |
| 219 function escapeHtml(unsafe) { | 219 function escapeHtml(unsafe) { |
| 220 if (!unsafe) return ""; |
| 220 return unsafe.toString() | 221 return unsafe.toString() |
| 221 .replace(/&/g, "&") | 222 .replace(/&/g, "&") |
| 222 .replace(/</g, "<") | 223 .replace(/</g, "<") |
| 223 .replace(/>/g, ">") | 224 .replace(/>/g, ">") |
| 224 .replace(/"/g, """) | 225 .replace(/"/g, """) |
| 225 .replace(/'/g, "'"); | 226 .replace(/'/g, "'"); |
| 226 } | 227 } |
| 227 | 228 |
| 228 function updateTable() { | 229 function updateTable() { |
| 229 var select = document.getElementById("group-key"); | 230 var select = document.getElementById("group-key"); |
| (...skipping 126 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 356 </p> | 357 </p> |
| 357 <p> | 358 <p> |
| 358 <table id="table" width="100%"> | 359 <table id="table" width="100%"> |
| 359 <tbody id="table-body"> | 360 <tbody id="table-body"> |
| 360 </tbody> | 361 </tbody> |
| 361 </table> | 362 </table> |
| 362 </p> | 363 </p> |
| 363 </body> | 364 </body> |
| 364 | 365 |
| 365 </html> | 366 </html> |
| OLD | NEW |