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 |