X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbelive.h;h=f368fb3ffb374a29569bfbf62a19f579288f2a75;hb=b9d45e08e23bcf058fa8f2d9e18dd78e8cccd044;hp=5a66463bac17ce56fdf1b803a552526c0abc01e0;hpb=38a61f1b728691464e6458a2e121ab796d67594a;p=libfirm

diff --git a/ir/be/belive.h b/ir/be/belive.h
index 5a66463ba..f368fb3ff 100644
--- a/ir/be/belive.h
+++ b/ir/be/belive.h
@@ -68,6 +68,13 @@ void be_liveness_remove(be_lv_t *lv, ir_node *irn);
  */
 void be_liveness_introduce(be_lv_t *lv, ir_node *irn);
 
+/**
+ * Add all nodes which are missing in the current liveness data.
+ * The liveness data of the already existing nodes (in the liveness data) is not touched.
+ * @param The liveness info.
+ */
+void be_liveness_add_missing(be_lv_t *lv);
+
 /**
  * Dump the liveness information for a graph.
  * @param f The output.
@@ -109,8 +116,9 @@ int (be_is_live_end)(const be_lv_t *lv, const ir_node *block, const ir_node *irn
 /**
  * Check, if the SSA dominance property is fulfilled.
  * @param irg The graph.
+ * @return   1 if dominance property is fulfilled, 0 otherwise
  */
-void be_check_dominance(ir_graph *irg);
+int be_check_dominance(ir_graph *irg);
 
 /**
  * The liveness transfer function.