+#define DUMP_INITIAL (1 << 0)
+#define DUMP_SCHED (1 << 1)
+#define DUMP_PREPARED (1 << 2)
+#define DUMP_RA (1 << 3)
+#define DUMP_FINAL (1 << 4)
+
+/* options visible for anyone */
+be_options_t be_options = {
+ /* ilp server */
+ "i44pc52.info.uni-karlsruhe.de",
+
+ /* ilp solver */
+ "cplex"
+};
+
+/* dump flags */
+static unsigned dump_flags = DUMP_INITIAL | DUMP_SCHED | DUMP_PREPARED | DUMP_RA | DUMP_FINAL;
+
+/* register allocator to use. */
+static const be_ra_t *ra = &be_ra_chordal_allocator;
+
+/* back end instruction set architecture to use */
+static const arch_isa_if_t *isa_if = &ia32_isa_if;
+
+#ifdef WITH_LIBCORE
+
+static lc_opt_entry_t *be_grp_root = NULL;
+
+/* possible dumping options */
+static const lc_opt_enum_mask_items_t dump_items[] = {
+ { "none", 0 },
+ { "initial", DUMP_INITIAL },
+ { "sched", DUMP_SCHED },
+ { "prepared", DUMP_PREPARED },
+ { "regalloc", DUMP_RA },
+ { "final", DUMP_FINAL },
+ { "all", 2 * DUMP_FINAL - 1 },
+ { NULL, 0 }
+};
+
+/* register allocators */
+static const lc_opt_enum_const_ptr_items_t ra_items[] = {
+ { "chordal", &be_ra_chordal_allocator },
+ { "external", &be_ra_external_allocator },
+ { NULL, NULL }
+};