2 * @file firm_timing.h -- timing for the Firm compiler
4 * (C) 2006 Michael Beck beck@ipd.info.uni-karlsruhe.de
6 #ifndef __FIRM_TIMING_H__
7 #define __FIRM_TIMING_H__
10 #include <libfirm/timing.h>
12 void timer_init(void);
13 void timer_register(ir_timer_t *timer, const char *description);
14 void timer_term(FILE *f);
15 void timer_push(ir_timer_t *timer);
16 void timer_pop(ir_timer_t *timer);
17 void timer_start(ir_timer_t *timer);
18 void timer_stop(ir_timer_t *timer);