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