X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbechordal_t.h;h=62d878cc1c5b1ae69882effcb3e043e176740a99;hb=f18068011c9ecbaae10861850157f564509becbe;hp=61364e0f0743a23967a4f7986f70e601bb5ab7c9;hpb=f436f72951577e35b60e0ea1f2e6a536e4f479bb;p=libfirm diff --git a/ir/be/bechordal_t.h b/ir/be/bechordal_t.h index 61364e0f0..62d878cc1 100644 --- a/ir/be/bechordal_t.h +++ b/ir/be/bechordal_t.h @@ -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];