/*
- * 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.
*
#define stat_ev_tim_push()
#define stat_ev_tim_pop(name)
+#define stat_ev_ctx_push(key)
+#define stat_ev_ctx_push_str(key, str)
+#define stat_ev_ctx_push_fmt(key, fmt, value)
#define stat_ev_ctx_push_fobj(key, firm_object)
-#define stat_ev_ctx_push(key, value)
#define stat_ev_ctx_pop(key)
#define stat_ev_flush()
#else
#include <stdio.h>
-#include "timing.h"
+#include "stat_timing.h"
extern void stat_ev_printf(char ev_type, const char *key, const char *fmt, ...);
#define stat_ev_ctx_push(key) stat_ev_ctx_push_fmt((key), "X", NULL)
#define stat_ev_dbl(name, val) stat_ev_emit((name), (val))
-#define stat_ev_int(name, val) stat_ev_dbl((name), (double)(val))
+#define stat_ev_int(name, val) stat_ev_dbl((name), (double) (val))
#define stat_ev(name) stat_ev_emit((name), 0.0)
#define stat_ev_cnt_decl(var) int stat_ev_cnt_var_ ## var = 0