diff options
| -rw-r--r-- | Tools/scripts/summarize_stats.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Tools/scripts/summarize_stats.py b/Tools/scripts/summarize_stats.py index 1c8d10f7027..ce25374f3a9 100644 --- a/Tools/scripts/summarize_stats.py +++ b/Tools/scripts/summarize_stats.py @@ -404,6 +404,9 @@ def emit_specialization_overview(opcode_stats, total): total = 0 counts = [] for i, opcode_stat in enumerate(opcode_stats): + # Avoid double counting misses + if title == "Misses" and "specializable" in opcode_stat: + continue value = opcode_stat.get(field, 0) counts.append((value, opname[i])) total += value |