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
37 #include "stat_timing.h"
43 #ifndef DISABLE_STATEV
47 static FILE* stat_ev_file = NULL;
49 int stat_ev_enabled = 0;
50 int stat_ev_timer_sp = 0;
51 timing_ticks_t stat_ev_timer_elapsed[MAX_TIMER];
52 timing_ticks_t stat_ev_timer_start[MAX_TIMER];
55 static regex_t *filter = NULL;
56 static inline int key_matches(const char *key)
61 return regexec(filter, key, 0, NULL, 0) == 0;
64 void stat_ev_printf(char ev, const char *key, const char *fmt, ...)
66 if (!key_matches(key))
69 fprintf(stat_ev_file, "%c;%s", ev, key);
75 ir_vsnprintf(buf, sizeof(buf), fmt, args);
77 fprintf(stat_ev_file, ";%s", buf);
79 fprintf(stat_ev_file, "\n");
82 void stat_ev_begin(const char *prefix, const char *filt)
86 snprintf(buf, sizeof(buf), "%s.ev", prefix);
87 stat_ev_file = fopen(buf, "wt");
89 if (filt && filt[0] != '\0') {
91 if (regcomp(®ex, filt, REG_EXTENDED) == 0)
95 stat_ev_enabled = stat_ev_file != NULL;
98 void stat_ev_end(void)
101 fclose(stat_ev_file);