emit total in metrics in a way that shows its diffs too

1 files changed, 2 insertions, 1 deletions

diff --git a/src/passes/Metrics.cpp b/src/passes/Metrics.cpp
index 8890c3cc3..c18d1d7cd 100644
--- a/src/passes/Metrics.cpp
+++ b/src/passes/Metrics.cpp
@@ -44,6 +44,8 @@ struct Metrics : public WalkerPass<PostWalker<Metrics, UnifiedExpressionVisitor<
       keys.push_back(i.first);
       total += i.second;
     }
+    keys.push_back("[total]");
+    counts["[total]"] = total;
     sort(keys.begin(), keys.end(), [](const char* a, const char* b) -> bool {
       return strcmp(b, a) > 0;
     });
@@ -69,7 +71,6 @@ struct Metrics : public WalkerPass<PostWalker<Metrics, UnifiedExpressionVisitor<
       }
       o << "\n";
     }
-    o << left << setw(16) << "Total" << ": " << setw(8) << total << '\n';
     lastMetricsPass = this;
   }
 };