[Courgette Experiment] Track and print TempMapping total and peak allocation to measure Courgette d…

courgette/courgette_tool.cc

Index: courgette/courgette_tool.cc
diff --git a/courgette/courgette_tool.cc b/courgette/courgette_tool.cc
index 46bd578e1d38b4db610295686a3d97dcb870ef40..27c1078645dd544ebbcee022797ee86d52e2b612 100644
--- a/courgette/courgette_tool.cc
+++ b/courgette/courgette_tool.cc
@@ -25,6 +25,7 @@
 #include "courgette/courgette.h"
 #include "courgette/courgette_flow.h"
 #include "courgette/encoded_program.h"
+#include "courgette/memory_allocator.h"
 #include "courgette/program_detector.h"
 #include "courgette/streams.h"
 #include "courgette/third_party/bsdiff/bsdiff.h"
@@ -464,5 +465,12 @@ int main(int argc, const char* argv[]) {
     }
   }
 
+  fprintf(stderr, "TempMapping: Cur: %lld\n",
+          courgette::TempMapping::alloc_cur);
+  fprintf(stderr, "TempMapping: Sum: %lld\n",
+          courgette::TempMapping::alloc_sum);
+  fprintf(stderr, "TempMapping: Max: %lld\n",
+          courgette::TempMapping::alloc_max);
+
   return 0;
 }