-
#ifndef _BE_MAIN_H
#define _BE_MAIN_H
#include "lower_dw.h"
#include "dbginfo.h"
+#define LC_STOP_AND_RESET_TIMER(timer) do { lc_timer_stop(timer); lc_timer_reset(timer); } while(0)
+
/**
* This structure contains parameters that should be
* propagated to the libFirm parameter set.
/**
* Main interface to the frontend.
*/
-void be_main(FILE *file_handle);
+void be_main(FILE *file_handle, const char *cup_name);
/** The type of the debug info retriever function. */
typedef const char *(*retrieve_dbg_func)(const dbg_info *dbg, unsigned *line);