Fixed a "bug"
[libfirm] / ir / stat / statev.h
1 /*
2  * Copyright (C) 1995-2007 University of Karlsruhe.  All right reserved.
3  *
4  * This file is part of libFirm.
5  *
6  * This file may be distributed and/or modified under the terms of the
7  * GNU General Public License version 2 as published by the Free Software
8  * Foundation and appearing in the file LICENSE.GPL included in the
9  * packaging of this file.
10  *
11  * Licensees holding valid libFirm Professional Edition licenses may use
12  * this file in accordance with the libFirm Commercial License.
13  * Agreement provided with the Software.
14  *
15  * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
16  * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
17  * PURPOSE.
18  */
19
20 /**
21  * @file
22  * @brief       Statistic events.
23  * @author      Sebastian Hack
24  * @date        17.06.2007
25  * @version     $Id$
26  */
27
28 #ifndef FIRM_STATEVENT_H
29 #define FIRM_STATEVENT_H
30
31 #ifndef FIRM_STATISTICS
32
33 #define stat_ev_do(expr)
34 #define stat_ev_if                  if (0)
35 #define stat_ev_dbl(name, val)
36 #define stat_ev(name)
37
38 #define stat_ev_cnt_decl(var)
39 #define stat_ev_cnt_inc(var)
40 #define stat_ev_cnt_done(name, var)
41 #define stat_ev_tim_push()
42 #define stat_ev_tim_pop(name)
43
44 #define stat_ev_ctx_push_fobj(key, firm_object)
45 #define stat_ev_ctx_push(key, value)
46 #define stat_ev_ctx_pop(key)
47 #define stat_ev_flush()
48
49 #else
50
51 #include <stdio.h>
52 #include "timing.h"
53
54 extern void               stat_ev_printf(char ev_type, const char *key, const char *fmt, ...);
55
56 extern int                stat_ev_enabled;
57 extern int                stat_ev_timer_sp;
58 extern timing_ticks_t     stat_ev_timer_elapsed[];
59 extern timing_ticks_t     stat_ev_timer_start[];
60 extern timing_sched_env_t stat_ev_sched_rt;
61 extern timing_sched_env_t stat_ev_sched_normal;
62
63 static INLINE __attribute__((unused)) void stat_ev_tim_push(void) {
64         timing_ticks_t temp;
65         int sp = stat_ev_timer_sp++;
66         timing_ticks(temp);
67         if (sp == 0)
68                 timing_sched_set(&stat_ev_sched_rt);
69         else {
70                 timing_ticks_sub(temp, stat_ev_timer_start[sp - 1]);
71                 timing_ticks_add(stat_ev_timer_elapsed[sp - 1], temp);
72         }
73         timing_ticks_init(stat_ev_timer_elapsed[sp]);
74         timing_ticks(stat_ev_timer_start[sp]);
75 }
76
77 static INLINE __attribute__((unused)) void stat_ev_tim_pop(const char *name) {
78         int sp;
79         timing_ticks_t temp;
80         timing_ticks(temp);
81         sp = --stat_ev_timer_sp;
82         timing_ticks_sub(temp, stat_ev_timer_start[sp]);
83         timing_ticks_add(stat_ev_timer_elapsed[sp], temp);
84         if (name != NULL && stat_ev_enabled)
85                 stat_ev_printf('E', name, "%g", timing_ticks_dbl(stat_ev_timer_elapsed[sp]));
86         if (sp == 0)
87                 timing_sched_set(&stat_ev_sched_normal);
88         else
89                 timing_ticks(stat_ev_timer_start[sp - 1]);
90 }
91
92 #define stat_ev_ctx_push_fmt(key, fmt, value) \
93         do { \
94                 if (stat_ev_enabled) { \
95                         stat_ev_tim_push(); \
96                         stat_ev_printf('P', key, fmt, (value)); \
97                         stat_ev_tim_pop(NULL); \
98                 } \
99         } while(0)
100
101 #define stat_ev_ctx_pop(key) \
102         do { \
103                 if (stat_ev_enabled) { \
104                         stat_ev_tim_push(); \
105                         stat_ev_printf('O', key, NULL); \
106                         stat_ev_tim_pop(NULL); \
107                 } \
108         } while(0)
109
110 #define stat_ev_emit(name, value) \
111         do { \
112                 if (stat_ev_enabled) { \
113                         stat_ev_tim_push(); \
114                         stat_ev_printf('E', name, "%g", (double) (value)); \
115                         stat_ev_tim_pop(NULL); \
116                 } \
117         } while(0)
118
119 #define stat_ev_ctx_push_fobj(key, firm_object) stat_ev_ctx_push_fmt((key), "%+F", (firm_object))
120 #define stat_ev_ctx_push_str(key, str)          stat_ev_ctx_push_fmt((key), "%s", (str))
121 #define stat_ev_ctx_push(key)                   stat_ev_ctx_push_fmt((key), "X", NULL)
122
123 #define stat_ev_dbl(name, val)      stat_ev_emit((name), (val))
124 #define stat_ev(name)               stat_ev_emit((name), 0.0)
125
126 #define stat_ev_cnt_decl(var)       int stat_ev_cnt_var_ ## var = 0
127 #define stat_ev_cnt_inc(var)        do { ++stat_ev_cnt_var_ ## var; } while(0)
128 #define stat_ev_cnt_done(var, name) stat_ev_emit((name), stat_ev_cnt_var_ ## var)
129
130 #define stat_ev_do(expr)            (stat_ev_enabled ? ((expr), 1) : 0)
131 #define stat_ev_if                  if (stat_ev_enabled)
132
133 /**
134  * Initialize the stat ev machinery.
135  * @param filename_prefix  The prefix of the filename (.ev or .ev.gz will be appended).
136  * @param filter           All pushes, pops and events will be filtered by this.
137  *                         If we have regex support, you can give an extended regex here.
138  *                         If not, each key will be matched against this.
139  *                         Matched means, we look if the key starts with @p filter.
140  *                         If NULL is given, each key passes, ie thefilter is always TRUE.
141  */
142 void stat_ev_begin(const char *filename_prefix, const char *filter);
143 void stat_ev_end(void);
144
145 #define stat_ev_flush()             do { if (stat_ev_enabled) fflush(stat_ev_enabled); } while(0)
146
147 #endif
148
149 #endif /* FIRM_STATEVENT_H */