X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbelive.h;h=c1e58fa0de626d978bf759be0f7121aacb13d69a;hb=65c7054fd76fe79d02225ee567f63bae64946fc2;hp=cf9c6fb1fbd91cab1382089a563ca80a91182843;hpb=b267d8d2e4100aa20cc3771b1b8558d9e0302ed1;p=libfirm diff --git a/ir/be/belive.h b/ir/be/belive.h index cf9c6fb1f..c1e58fa0d 100644 --- a/ir/be/belive.h +++ b/ir/be/belive.h @@ -46,5 +46,10 @@ int (is_live_out)(const ir_node *block, const ir_node *irn); */ int (is_live_end)(const ir_node *block, const ir_node *irn); +/** + * Check, if the SSA dominance property is fulfilled. + * @param irg The graph. + */ +void be_check_dominance(ir_graph *irg); #endif