2 * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved.
4 * This file is part of libFirm.
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.
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.
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
22 * @brief Statistic events.
23 * @author Sebastian Hack
36 #include "stat_timing.h"
42 #ifndef DISABLE_STATEV
46 static FILE* stat_ev_file = NULL;
48 int stat_ev_enabled = 0;
49 int stat_ev_timer_sp = 0;
50 timing_ticks_t stat_ev_timer_elapsed[MAX_TIMER];
51 timing_ticks_t stat_ev_timer_start[MAX_TIMER];
54 static regex_t *filter = NULL;
55 static inline int key_matches(const char *key)
60 return regexec(filter, key, 0, NULL, 0) == 0;
63 void stat_ev_printf(char ev, const char *key, const char *fmt, ...)
65 if (!key_matches(key))
68 fprintf(stat_ev_file, "%c;%s", ev, key);
74 ir_vsnprintf(buf, sizeof(buf), fmt, args);
76 fprintf(stat_ev_file, ";%s", buf);
78 fprintf(stat_ev_file, "\n");
81 void stat_ev_begin(const char *prefix, const char *filt)
85 snprintf(buf, sizeof(buf), "%s.ev", prefix);
86 stat_ev_file = fopen(buf, "wt");
88 if (filt && filt[0] != '\0') {
90 if (regcomp(®ex, filt, REG_EXTENDED) == 0)
94 stat_ev_enabled = stat_ev_file != NULL;
97 void stat_ev_end(void)
100 fclose(stat_ev_file);