always emit push/pop in statev

[libfirm] / ir / stat / statev.c

diff --git a/ir/stat/statev.c b/ir/stat/statev.c
index 3831ff3..b628ad1 100644 (file)
--- a/ir/stat/statev.c
+++ b/ir/stat/statev.c
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 1995-2007 University of Karlsruhe.  All right reserved.
+ * Copyright (C) 1995-2008 University of Karlsruhe.  All right reserved.
  *
  * This file is part of libFirm.
  *
@@ -35,7 +35,7 @@
 #include <stdarg.h>
 
 #include "util.h"
-#include "timing.h"
+#include "stat_timing.h"
 #include "irprintf.h"
 #include "statev.h"
 
@@ -104,7 +104,7 @@ static INLINE int key_matches(const char *key)
 
 void stat_ev_printf(char ev, const char *key, const char *fmt, ...)
 {
-       if (!key_matches(key))
+       if (ev == 'E' && !key_matches(key))
                return;
 
        mfprintf(stat_ev_file, "%c;%s", ev, key);