timer: Enlarge the display space for description and time.

[cparser] / driver / firm_timing.c

diff --git a/driver/firm_timing.c b/driver/firm_timing.c
index 7d6f9b7..ecc9152 100644 (file)
--- a/driver/firm_timing.c
+++ b/driver/firm_timing.c
@@ -2,8 +2,6 @@
  * @file firm_timing.c -- timing for the Firm compiler
  *
  * (C) 2006-2009  Michael Beck   beck@ipd.info.uni-karlsruhe.de
- *
- * $Id$
  */
 #include "firm_timing.h"
 
@@ -47,9 +45,11 @@ void timer_term(FILE *f)
 
        for (info = infos; info != NULL; info = next) {
                ir_timer_t *timer = info->timer;
-               double      val         = (double)ir_timer_elapsed_usec(timer) / 1000.0;
-               const char *description = info->description;
-               fprintf(f, "%-45s %8.3f msec\n", description, val);
+               if (f != NULL) {
+                       double      val         = (double)ir_timer_elapsed_usec(timer) / 1000.0;
+                       const char *description = info->description;
+                       fprintf(f, "%-60s %10.3f msec\n", description, val);
+               }
 
                ir_timer_free(timer);
                xfree(info->description);
@@ -70,9 +70,8 @@ void timer_push(ir_timer_t *timer)
 
 void timer_pop(ir_timer_t *timer)
 {
-       (void) timer;
        if (timers_inited)
-               ir_timer_pop();
+               ir_timer_pop(timer);
 }
 
 void timer_start(ir_timer_t *timer)