+/** Backend options */
+struct be_options_t {
+ unsigned dump_flags; /**< backend dumping flags */
+ int timing; /**< time the backend phases */
+ int opt_profile; /**< instrument code for profiling */
+ int omit_fp; /**< try to omit the frame pointer */
+ int stabs_debug_support; /**< enable stabs debugging support */
+ int vrfy_option; /**< backend verify option */
+ int scheduler; /**< the scheduler */
+ char ilp_server[128]; /**< the ilp server name */
+ char ilp_solver[128]; /**< the ilp solver name */
+ char stat_file_name[256]; /**< name of the file where the statistics are put to */