Subzero: Add a few performance measurement tools.

src/IceTimerTree.h

Index: src/IceTimerTree.h
diff --git a/src/IceTimerTree.h b/src/IceTimerTree.h
index 029b7f46bb0186067499097f69a06f453be2c7ad..463bc045a3212fb1ef5f80660991748d002fa87f 100644
--- a/src/IceTimerTree.h
+++ b/src/IceTimerTree.h
@@ -38,15 +38,15 @@ public:
 };
 
 class TimerStack {
-  TimerStack(const TimerStack &) = delete;
+  // TimerStack(const TimerStack &) = delete;

[jvoung (off chromium), 2014/10/06 16:30:56]

Is this because of std::vector?

[Jim Stichnoth, 2014/10/06 21:29:57]

Yes, specifically the Timers.push_back() call.

   TimerStack &operator=(const TimerStack &) = delete;
 
 public:
-  TimerStack(const IceString &TopLevelName);
+  TimerStack();
   static TimerIdT getTimerID(const IceString &Name);
   void push(TimerIdT ID);
   void pop(TimerIdT ID);
-  void dump(Ostream &Str);
+  void dump(Ostream &Str, bool DumpCumulative);
 
 private:
   void update();