use save_optimization_state() restore_optimization_state()
[libfirm] / ir / be / bechordal_t.h
index 61364e0..62d878c 100644 (file)
@@ -90,9 +90,11 @@ void be_ra_chordal_check(be_chordal_env_t *chordal_env);
 
 enum {
        /* spill method */
-       BE_CH_SPILL_BELADY    = 3,
+       BE_CH_SPILL_BELADY    = 1,
        BE_CH_SPILL_ILP       = 2,
-       BE_CH_SPILL_MORGAN        = 1,
+       BE_CH_SPILL_MORGAN    = 3,
+        BE_CH_SPILL_REMAT     = 4,
+        BE_CH_SPILL_APPEL     = 5,
 
        /* Dump flags */
        BE_CH_DUMP_NONE       = (1 << 0),
@@ -116,12 +118,21 @@ enum {
        BE_CH_COPYMIN_PARK_MOON = 6,
 
        /* ifg flavor */
-       BE_CH_IFG_STD         = 1,
-       BE_CH_IFG_FAST        = 2,
+       BE_CH_IFG_STD     = 1,
+       BE_CH_IFG_FAST    = 2,
+       BE_CH_IFG_CLIQUE  = 3,
+       BE_CH_IFG_POINTER = 4,
+       BE_CH_IFG_LIST    = 5,
+       BE_CH_IFG_CHECK   = 6,
 
        /* lower perm options */
        BE_CH_LOWER_PERM_SWAP   = (1 << 0),
        BE_CH_LOWER_PERM_COPY   = (1 << 1),
+
+       /* verify options */
+       BE_CH_VRFY_OFF    = 1,
+       BE_CH_VRFY_WARN   = 2,
+       BE_CH_VRFY_ASSERT = 3,
 };
 
 struct _be_ra_chordal_opts_t {
@@ -130,6 +141,7 @@ struct _be_ra_chordal_opts_t {
        int copymin_method;
        int ifg_flavor;
        int lower_perm_opt;
+       int vrfy_option;
 
        char ilp_server[128];
        char ilp_solver[128];